arXiv++ Combinatorics

We study the space of splines $\mathcal{S}^{\mathbf{r}}(Σ^\mathscr{A})$ where ${\mathbf{r}}$ denotes a smoothness distribution and $Σ^\mathscr{A}$ is the fan of a central hyperplane arrangement $\mathscr{A}$ in $\mathbb{R}^3$. This is the first step in the analysis of splines on three-dimensional cross-cut partitions, which naturally generalize planar cross-cut partitions. We show that the Hilbert function of $\mathcal{S}^{\mathbf{r}}(Σ^\mathscr{A})$ is bounded by an expression that involves the dimensions of specific Koszul homology modules constructed from the defining equations of the hyperplane arrangement $\mathscr{A}$ and the smoothness distribution function. By exploiting this connection with Koszul homology, we are able to: 1) compute the dimension of the spline space in high degrees, 2) compute all values of the dimension of the spline space if $\mathscr{A}$ is generic with five or fewer hyperplanes, and 3) compute the Hilbert function of the spline space if $\mathscr{A}$ is a generic arrangement with sufficiently many hyperplanes and ${\mathbf{r}}$ is a constant distribution. As an application of our methods, we compute $\dim \mathcal{S}^0_d(Σ^\mathscr{A})$ and $\dim \mathcal{S}^1_d(Σ^\mathscr{A})$ for all values of $d$ when $\mathscr{A}$ is a generic arrangement.

We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call (generalized) oranges. Such partitions are composed of a finite number of maximal faces with exactly one shared medial face. We reduce the problem of finding the dimension of splines on oranges to computing dimensions of splines on simpler, lower-dimensional partitions that we call projected oranges. We use both algebraic and Bernstein-Bézier tools.

A tetrahedral complex all of whose tetrahedra meet at a common vertex is called a \textit{vertex star}. Vertex stars are a natural generalization of planar triangulations, and understanding splines on vertex stars is a crucial step to analyzing trivariate splines. It is particularly difficult to compute the dimension of splines on vertex stars in which the vertex is completely surrounded by tetrahedra -- we call these \textit{closed} vertex stars. A formula due to Alfeld, Neamtu, and Schumaker gives the dimension of $C^r$ splines on closed vertex stars of degree at least $3r+2$. We show that this formula is a lower bound on the dimension of $C^r$ splines of degree at least $(3r+2)/2$. Our proof uses apolarity and the so-called \textit{Waldschmidt constant} of the set of points dual to the interior faces of the vertex star. We also use an argument of Whiteley to show that the only splines of degree at most $(3r+1)/2$ on a generic closed vertex star are global polynomials.