Lattice-supported splines on polytopal complexes

DOI10.1016/J.AAM.2013.12.002zbMATH Open1396.41005arXiv1312.3294OpenAlexW2082116329MaRDI QIDQ401500FDOQ401500

Authors: Michael R. DiPasquale 

Publication date: 27 August 2014

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

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.

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

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\)

zbMATH Keywords

regularitylocalizationpolyhedral splinepolytopal complex

Mathematics Subject Classification ID

Special polytopes (linear programming, centrally symmetric, etc.) (52B12) 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) Homological dimension and commutative rings (13D05) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• On a conjecture of Rose.
• Modules of splines on polyhedral complexes
• Algebraic methods in approximation theory
• Subalgebras of the Stanley-Reisner ring
• Kernel B-splines on general lattices
• Dimension of mixed splines on polytopal cells
• Associated primes of spline complexes

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)