Lattice-supported splines on polytopal complexes

DOI10.1016/J.AAM.2013.12.002MaRDI QIDQ401500zbMATH OpenOpenAlexFDO

Authors Michael R. DiPasquale

Publication date 27 August 2014

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.3294

zbMATH Keywords

localizationpolyhedral splinepolytopal complexregularity

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Spline approximation (41A15) Special polytopes (linear programming, centrally symmetric, etc.) (52B12)

Abstract: We study the module $C^r(mathcalP)$ of piecewise polynomial functions of smoothness $r$ on a pure $n$-dimensional polytopal complex $mathcalPsubsetmathbb{R}^n$, via an analysis of certain subcomplexes $mathcal{P}_W$ obtained from the intersection lattice of the interior codimension one faces of $mathcalP$. We obtain two main results: first, we show that in sufficiently high degree, the vector space $C_k^r(mathcalP)$ of splines of degree $leqk$ has a basis consisting of splines supported on the $mathcal{P}_W$ for $kgg0$. We call such splines lattice-supported. This shows that an analog of the notion of a star-supported basis for $C_k^r(Delta)$ studied by Alfeld-Schumaker in the simplicial case holds. Second, we provide a pair of conjectures, one involving lattice-supported splines, bounding how large $k$ must be so that $mbox{dim}_{m}athbbR{C}_k^r(mathcalP)$ agrees with the formula given by McDonald-Schenck. A family of examples shows that the latter conjecture is tight. The proposed bounds generalize known and conjectured bounds in the simplicial case.

Recommendations

• Piecewise polynomials on polyhedral complexes
• Modules of splines on polyhedral complexes
• On projective dimension of spline modules
• Dimension of mixed splines on polytopal cells
• Smooth planar \(r\)-splines of degree 2\(r\)

Cites work

• A dimension series for multivariate splines
• A practical guide to splines.
• Cohomology vanishing and a problem in approximation theory
• Combinatorial and topological invariants of modules of piecewise polynomials
• Equivariant Chow cohomology of toric varieties
• From spline approximation to Roth's equation and Schur functors
• Graphs, syzygies, and multivariate splines
• Homology of Smooth Splines: Generic Triangulations and a Conjecture of Strang
• scientific article; zbMATH DE number 92433 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Local cohomology of bivariate splines
• Modules of piecewise polynomials and their freeness
• Modules of splines on polyhedral complexes
• Nonexistence of Star-Supported Spline Bases
• On dimension and existence of local bases for multivariate spline spaces
• On the dimension of bivariate spline spaces of smoothness r and degree \(d=3r+1\)
• Piecewise polynomials on polyhedral complexes
• Super spline spaces of smoothness \(r\) and degree \(d\geq{} 3r+2\)
• The dimension of bivariate spline spaces of smoothness r for degree \(d\geq 4r+1\)
• The Geometry of Syzygies

Cited in

(9)

• Modules of splines on polyhedral complexes
• Subalgebras of the Stanley-Reisner ring
• Algebraic methods in approximation theory
• Kernel B-splines on general lattices
• scientific article; zbMATH DE number 6928857 (Why is no real title available?)
• Dimension of mixed splines on polytopal cells
• On a conjecture of Rose.
• Associated primes of spline complexes
• The algebra of splines: duality, group actions and homology

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Lattice-supported splines on polytopal complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q401500)