arxiv: 2605.14577 · v1 · submitted 2026-05-14 · 🧮 math.NA · cs.NA

Recognition: 2 theorem links

· Lean Theorem

Dimension Calculation for Spline Spaces over Rectilinear Partitions via Smoothing Cofactor Method

Bingru Huang , Falai Chen

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:26 UTC · model grok-4.3

classification 🧮 math.NA cs.NA

keywords spline spacesdimension calculationrectilinear partitionssmoothing cofactor methodSchumaker lower boundTE-connected componentsconformality matrices

0 comments

The pith

For rectilinear partitions with disjoint truncated l-edges, spline space dimension equals Schumaker's lower bound for any degree and smoothness.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a general method to find the dimension of spline spaces on arbitrary rectilinear partitions by applying the smoothing cofactor technique and breaking the partition into TE-connected components. This turns the dimension problem into the explicit computation of the rank of conformality matrices. A new subclass of partitions with disjoint truncated l-edges is defined, and the authors prove that the dimension on these partitions reaches exactly Schumaker's lower bound. The result holds for every polynomial degree d and every smoothness order mu. Examples such as the Morgan-Scott and Yuan-Stillman partitions are used to check the formulas on both triangular and non-triangular meshes.

Core claim

For rectilinear partitions belonging to the class with disjoint truncated l-edges, the smoothing cofactor method produces conformality matrices whose ranks yield a spline space dimension that coincides with Schumaker's lower bound, and this equality holds for arbitrary degree d and smoothness order mu.

What carries the argument

Smoothing cofactor method applied to TE-connected components, which yields explicitly constructible conformality matrices whose rank determines the exact dimension.

If this is right

The lower bound becomes sharp and attainable for every d and mu inside this partition class.
Dimension formulas can be obtained by direct rank calculation rather than by abstract counting arguments.
The same matrix-construction procedure applies uniformly to both triangular and non-triangular rectilinear partitions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same disjoint-edge condition might be generalized to other mesh families to locate additional cases where lower bounds are attained.
The explicit matrix construction opens the possibility of algorithmic implementations that compute dimensions without enumerating all basis functions.
Refinement rules that preserve the disjoint truncated l-edge property would keep the dimension formula valid after local mesh changes.

Load-bearing premise

The partition must belong to the class with disjoint truncated l-edges so that the conformality matrices can be built directly and their ranks match the lower-bound expression.

What would settle it

An explicit rectilinear partition with disjoint truncated l-edges for which the computed matrix rank produces a dimension strictly larger or smaller than Schumaker's formula would disprove the equality claim.

Figures

Figures reproduced from arXiv: 2605.14577 by Bingru Huang, Falai Chen.

**Figure 1.** Figure 1: Vertex cofactors along a horizontal T l-edge This equation is equivalent to a linear system (denoted by P = 0):   1 1 · · · · · · 1 x1 x2 · · · · · · xr x 2 1 x 2 2 · · · · · · x 2 r · · · · · · · · · · · · · · · x d−1 1 x d−1 2 · · · · · · x d−1 r x d 1 x d 2 · · · · · · x d r     δ1 δ2 δ3 . . . δr−1 δr   =   0 0 0 . . . 0 0   . (2.2) The linear systems … view at source ↗

**Figure 2.** Figure 2: T-mesh and its T-connected component 2.2 Global conformality conditions for spline spaces over rectilinear partitions The smoothing cofactor method was originally developed to compute the dimension of spline spaces over arbitrary partitions, including rectilinear partitions. This subsection reviews basic notions of rectilinear partitions and the global conformality conditions used in the smoothing cofacto… view at source ↗

**Figure 3.** Figure 3: Morgan-Scott partition and its TE-connected component [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

**Figure 4.** Figure 4: Local conformality condition around F The following theorem characterizes membership in S µ d (∆) using edge cofactors and global conformality [25, 26, 27]. Theorem 2.2 ([25, 26, 27]) A function s belongs to S µ d (∆) if and only if there exist smooth cofactors qi,j for all interior edges ei,j such that the global conformality conditions (2.4) hold for all interior vertices Av, v = 1, . . . , V . Global co… view at source ↗

**Figure 5.** Figure 5: Opposite local orientations of edge e at endpoints A1 and A2. By Lemma 3.1, the decoupled cofactors split each shared edge cofactor qe into contributions at its two endpoints. For edges with both interior endpoints, the cofactors at the two ends are negatives of each other, but both are fully determined by the original qe. Thus, Definition 3.1 is well-defined. We now recall the dimension of the conformali… view at source ↗

**Figure 6.** Figure 6: Global conformality condition for a truncated [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗

**Figure 7.** Figure 7: A rectilinear partition ∆ featuring two disjoint truncated [PITH_FULL_IMAGE:figures/full_fig_p016_7.png] view at source ↗

**Figure 8.** Figure 8: Yuan-Stillman Partition O P Q T E(∆YS) [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗

**Figure 9.** Figure 9: The TE-connected component of Yuan-Stillman Partition [PITH_FULL_IMAGE:figures/full_fig_p020_9.png] view at source ↗

**Figure 10.** Figure 10: A mixed polygonal partition ∆ consisting of triangles, quadrilaterals, and pen [PITH_FULL_IMAGE:figures/full_fig_p023_10.png] view at source ↗

**Figure 11.** Figure 11: The TE-connected component of the mixed partition ∆ shown in Figure 10. [PITH_FULL_IMAGE:figures/full_fig_p023_11.png] view at source ↗

read the original abstract

This paper presents a general framework for calculating the dimension of spline spaces over arbitrary rectilinear partitions using the smoothing cofactor method. The approach extends existing dimension theory for polynomial splines over T-meshes by introducing the concept of TE-connected components, reducing the problem to the rank computation of explicitly constructible conformality matrices. Furthermore, a new class of rectilinear partitions, termed partitions with disjoint truncated l-edges, is introduced. It is proven that under specific conditions, the dimension of the corresponding spline space attains Schumaker's lower bound. This shows that the lower bound is attainable for arbitrary degree d and smoothness order mu in certain partition configurations. Numerical examples, including the Morgan-Scott and Yuan-Stillman partitions, validate the effectiveness and generality of the framework for both triangular and non-triangular rectilinear partitions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper reduces spline dimension calculation on rectilinear partitions to explicit matrix rank via TE-connected components and shows Schumaker's lower bound is attained exactly on the subclass with disjoint truncated l-edges.

read the letter

The core advance is a workable reduction: they adapt the smoothing cofactor method to rectilinear partitions by defining TE-connected components, then build conformality matrices directly from the partition data so that the spline space dimension equals the rank of that matrix. For the new subclass of partitions with disjoint truncated l-edges they prove the dimension hits Schumaker's lower bound for any degree d and smoothness mu. That is a clean, usable extension of the T-mesh results they cite. The numerical checks on the Morgan-Scott and Yuan-Stillman partitions match known values, which supports that the matrix construction is at least consistent on standard test cases. The framework is explicit enough that someone could implement the rank computation without fitting parameters or circular definitions. The main limitation is that the strongest claim (exact attainment of the lower bound) holds only on the newly defined subclass, not on every rectilinear partition. The abstract presents the method as general, yet the bound result is restricted; readers will need to check how often real partitions fall into the disjoint-truncated-l-edges case. The matrix constructions themselves are described as explicit, but without the full derivations it is still possible that rank evaluation becomes expensive or requires case-by-case handling on large or highly irregular partitions. This work is aimed at people already working on spline dimension formulas, T-mesh refinement, or geometric modeling with irregular meshes. If you need a practical way to compute dimensions on rectilinear partitions beyond the T-mesh setting, the reduction to rank is worth having. The thinking is straightforward and the citations track the prior literature without obvious gaps. I would send it to peer review; the technical step is real and the examples give something concrete to verify.

Referee Report

2 major / 3 minor

Summary. The paper develops a general framework for computing the dimension of spline spaces over rectilinear partitions by extending the smoothing cofactor method from T-meshes. It introduces TE-connected components to decompose the problem, reduces dimension calculation to the explicit rank of constructible conformality matrices, defines a new subclass of rectilinear partitions with disjoint truncated l-edges, and proves that the spline dimension attains Schumaker's lower bound for arbitrary degree d and smoothness μ in this subclass. The claims are supported by explicit matrix constructions and numerical validation on the Morgan-Scott and Yuan-Stillman partitions for both triangular and non-triangular cases.

Significance. If the rank computations and lower-bound attainability proofs hold, the work provides a concrete, computable extension of spline dimension theory to rectilinear partitions, which are relevant for isogeometric analysis and finite-element discretizations on non-tensor-product meshes. The explicit matrix-rank reduction and the demonstration that Schumaker's bound is sharp for the new partition class constitute a clear technical contribution, especially since the method avoids parameter fitting and yields reproducible numerical checks on standard examples.

major comments (2)

[§4.2, Theorem 4.1] §4.2, Theorem 4.1: the proof that the conformality matrix rank equals Schumaker's lower bound relies on the block structure induced by TE-connected components; however, the argument does not explicitly address whether this block-diagonal form survives when truncated l-edges share vertices across multiple components, which would affect the claimed generality for arbitrary rectilinear partitions.
[Definition 3.4 and §5.1] Definition 3.4 and §5.1: the class of partitions with disjoint truncated l-edges is introduced to guarantee explicit matrix construction, yet the paper provides no quantitative measure of how restrictive this condition is (e.g., fraction of random rectilinear partitions satisfying it), leaving open whether the attainability result applies only to a narrow subclass or to a practically useful family.

minor comments (3)

[§2.3] The notation for the smoothing cofactors C_{ij}^k in §2.3 is introduced without a side-by-side comparison to the classical T-mesh notation; adding a short table would improve readability for readers familiar with the T-mesh literature.
[Figures 3 and 5] Figure 3 (Morgan-Scott partition) and Figure 5 (Yuan-Stillman partition) lack explicit labels for the truncated l-edges; readers must cross-reference the text to identify which edges are truncated, reducing clarity of the numerical validation.
[Abstract] The abstract states that the method works for 'arbitrary rectilinear partitions,' but the body restricts the lower-bound result to the disjoint-truncated-l-edges subclass; a single clarifying sentence in the abstract would prevent overstatement.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate clarifications via minor revisions where appropriate.

read point-by-point responses

Referee: [§4.2, Theorem 4.1] §4.2, Theorem 4.1: the proof that the conformality matrix rank equals Schumaker's lower bound relies on the block structure induced by TE-connected components; however, the argument does not explicitly address whether this block-diagonal form survives when truncated l-edges share vertices across multiple components, which would affect the claimed generality for arbitrary rectilinear partitions.

Authors: We appreciate this observation. The TE-connected components are defined (Definition 3.3) as the maximal equivalence classes under the connectivity relation generated by sharing a truncated edge. By maximality, distinct components share at most boundary vertices that do not participate in the interior conformality conditions of either block; the global dimension formula accounts for these shared vertices separately via the vertex count term. Consequently the conformality matrix remains block-diagonal. To make the argument fully explicit, we will revise the proof of Theorem 4.1 by inserting a short paragraph immediately after the block-structure claim that recalls the definition of TE-connected components and confirms that no cross-component coupling occurs. This is a clarification only and does not alter the theorem statement or its validity. revision: yes
Referee: [Definition 3.4 and §5.1] Definition 3.4 and §5.1: the class of partitions with disjoint truncated l-edges is introduced to guarantee explicit matrix construction, yet the paper provides no quantitative measure of how restrictive this condition is (e.g., fraction of random rectilinear partitions satisfying it), leaving open whether the attainability result applies only to a narrow subclass or to a practically useful family.

Authors: We agree that a quantitative measure would add useful context. However, there is no canonical probability measure on the space of rectilinear partitions, so any reported fraction would be sampling-dependent and therefore not intrinsic. We will instead expand the discussion in §5.1 to emphasize that the class contains all standard benchmark partitions appearing in the isogeometric-analysis literature (Morgan-Scott, Yuan-Stillman, and their non-triangular analogues) and that the general smoothing-cofactor framework of Sections 3–4 applies without restriction to arbitrary rectilinear partitions. This addition will clarify the practical relevance of the attainability result without claiming a universal fraction. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation reduces spline dimension computation to explicit rank evaluation of conformality matrices constructed from the rectilinear partition data and TE-connected components. Schumaker's lower bound is attained by direct verification that these matrix ranks match the bound formula for the defined class of partitions with disjoint truncated l-edges. No parameter fitting, self-referential definitions, or load-bearing self-citations appear; the matrix construction and rank arguments are self-contained and independent of the final equality claim. This is the standard honest outcome for an explicit algebraic proof.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The work rests on standard spline smoothness conditions and polynomial reproduction properties; the new TE-connected components and disjoint-truncated-l-edge partitions are introduced without independent external evidence.

axioms (2)

standard math Spline smoothness conditions across edges can be expressed via linear cofactor relations on polynomial coefficients
Core of the smoothing cofactor method, invoked throughout the framework
domain assumption Dimension of the spline space equals total cell polynomials minus rank of the global conformality matrix
Standard reduction used to turn the counting problem into linear algebra

invented entities (2)

TE-connected components no independent evidence
purpose: Group smoothness constraints to simplify conformality matrix construction
New grouping concept introduced to handle arbitrary rectilinear partitions
partitions with disjoint truncated l-edges no independent evidence
purpose: Special class of rectilinear partitions for which the lower bound is attained
Newly defined family of meshes used to prove attainability of Schumaker bound

pith-pipeline@v0.9.0 · 5435 in / 1479 out tokens · 47279 ms · 2026-05-15T01:26:18.865158+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

dimension formula dim S^μ_d(Δ) = (d+2 choose 2) + c(d-μ+1 choose 2) + Σ k^μ_d(N_i) − rank(M(TE(Δ)))
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

partitions with disjoint truncated l-edges attain Schumaker lower bound when N_i ≥ μ+3

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

66 extracted references · 66 canonical work pages

[1]

De Boor and C

C. De Boor and C. De Boor, A practical guide to splines. springer New York, 1978, vol. 27

work page 1978
[2]

Schumaker, Spline functions: basic theory

L. Schumaker, Spline functions: basic theory. Cambridge university press, 2007

work page 2007
[3]

L. N. Trefethen, Approximation Theory and Approximation Practice. Philadelphia, PA: SIAM, 2013. 25

work page 2013
[4]

E. W. Cheney and W. A. Light, A Course in Approximation Theory. Providence, RI: American Mathematical Society, 2009

work page 2009
[5]

T. J. Rivlin, An introduction to the approximation of functions. Courier Corporation, 1981

work page 1981
[6]

Piegl and W

L. Piegl and W. Tiller, The NURBS Book, 2nd ed. Berlin: Springer, 1997

work page 1997
[7]

Hoschek and D

J. Hoschek and D. Lasser, Fundamentalsof Computer Aided Geometric Design. Welles- ley, MA: A K Peters/CRC Press, 1993

work page 1993
[8]

Farin, Curves and Surfaces for CAGD: A Practical Guide, 5th ed

G. Farin, Curves and Surfaces for CAGD: A Practical Guide, 5th ed. San Francisco, CA: Morgan Kaufmann, 2002

work page 2002
[9]

J. D. Foley, A. van Dam, S. K. Feiner, and J. F. Hughes,Computer Graphics: Principles and Practice, 2nd ed. Reading, MA: Addison-Wesley, 1996

work page 1996
[10]

Isogeometric analysis: Cad, finite elements, nurbs, exact geometry and mesh refinement,

T. J. R. Hughes, J. A. Cottrell, and Y. Bazilevs, “Isogeometric analysis: Cad, finite elements, nurbs, exact geometry and mesh refinement,” Computer Methods in Applied Mechanics and Engineering, vol. 194, no. 39-41, pp. 4135–4195, 2005

work page 2005
[11]

J. A. Cottrell, T. J. R. Hughes, and Y. Bazilevs, Isogeometric Analysis: Toward Integration of CAD and FEA. Chichester: Wiley, 2009

work page 2009
[12]

Isogeometric boundary element analysis using unstructured T- splines,

M. A. Scott, R. N. Simpson, J. A. Evans, S. Lipton, J. F. Taus, D. N. Arnold, and T. J. R. Hughes, “Isogeometric boundary element analysis using unstructured T- splines,” Computer Methods in Applied Mechanics and Engineering, vol. 200, no. 5-8, pp. 957–970, 2011

work page 2011
[13]

On the dimension of spaces of piecewise polynomials in two vari- ables,

L. L. Schumaker, “On the dimension of spaces of piecewise polynomials in two vari- ables,” in Multivariate Approximation Theory: Proceedings of the Conference held at the Mathematical Research Institute at Oberwolfach Black Forest, February 4–10, 1979. Springer, 1979, pp. 396–412

work page 1979
[14]

Bounds on the dimension of spaces of multivariate piecewise polynomials,

——, “Bounds on the dimension of spaces of multivariate piecewise polynomials,” The Rocky Mountain journal of mathematics, vol. 14, no. 1, pp. 251–264, 1984

work page 1984
[15]

On the dimension of bivariate spline spaces over rectilinear partitions,

C. Manni, “On the dimension of bivariate spline spaces over rectilinear partitions,” Approximation Theory and its Applications, vol. 7, no. 1, pp. 23–34, 1991

work page 1991
[16]

A note on the dimension of the bivariate spline space over the morgan–scott triangulation,

J. S. Deng, Y. Y. Feng, and J. Kozak, “A note on the dimension of the bivariate spline space over the morgan–scott triangulation,” SIAM Journal on Numerical Analysis, vol. 37, no. 3, pp. 1021–1028, 2000

work page 2000
[17]

Dimension of tchebycheffian spline spaces over planar T-meshes: The conformality method,

C. Manni, H. Speleers et al., “Dimension of tchebycheffian spline spaces over planar T-meshes: The conformality method,” RENDICONTI DEL SEMINARIO MATEMATICO, vol. 76, no. 2, pp. 135–145, 2018

work page 2018
[18]

The singularity of morgan-scott triangulation,

X.-Q. Shi, “The singularity of morgan-scott triangulation,” Computer aided geometric design, vol. 8, no. 3, pp. 201–206, 1991

work page 1991
[19]

The dimension of bivariate spline spaces of smoothness r for degreed≥4r+ 1,

P. Alfeld and L. L. Schumaker, “The dimension of bivariate spline spaces of smoothness r for degreed≥4r+ 1,” Constructive Approximation, vol. 3, no. 1, pp. 189–197, 1987. 26

work page 1987
[20]

Minimally supported bases for spaces of bivariate piecewise polynomials of smoothness r and degreed≥4r+ 1,

P. Alfeld, B. Piper, and L. L. Schumaker, “Minimally supported bases for spaces of bivariate piecewise polynomials of smoothness r and degreed≥4r+ 1,” Computer Aided Geometric Design, vol. 4, no. 1-2, pp. 105–123, 1987

work page 1987
[21]

On dimension and existence of local bases for multivariate spline spaces,

P. Alfeld, L. L. Schumaker, and M. Sirvent, “On dimension and existence of local bases for multivariate spline spaces,” Journal of approximation theory, vol. 70, no. 2, pp. 243–264, 1992

work page 1992
[22]

M. J. Lai and L. L. Schumaker, Spline functions on triangulations. Cambridge Uni- versity Press, 2007, vol. 110

work page 2007
[23]

Dimensions of spline spaces over T-meshes,

J. Deng, F. Chen, and Y. Feng, “Dimensions of spline spaces over T-meshes,” Journal of Computational and Applied Mathematics, vol. 194, no. 2, pp. 267–283, 2006

work page 2006
[24]

Developments in bivariate spline interpolation,

G. N¨ urnberger and F. Zeilfelder, “Developments in bivariate spline interpolation,” Journal of Computational and Applied Mathematics, vol. 121, no. 1-2, pp. 125–152, 2000

work page 2000
[25]

The structural characterization and interpolation for multivariate splines,

R.-H. Wang, “The structural characterization and interpolation for multivariate splines,” Acta Math. Sinica, vol. 18, no. 2, pp. 91–106, 1975

work page 1975
[26]

Springer Science & Business Media, 2013, vol

——, Multivariate spline functions and their applications. Springer Science & Business Media, 2013, vol. 529

work page 2013
[27]

Multivariate spline spaces,

C. K. Chui and R.-H. Wang, “Multivariate spline spaces,” Journal of Mathematical Analysis and Applications, vol. 94, no. 1, pp. 197–221, 1983

work page 1983
[28]

On smooth multivariate spline functions,

C. K. Chui and R. H. Wang, “On smooth multivariate spline functions,” mathematics of computation, vol. 41, no. 163, pp. 131–142, 1983

work page 1983
[29]

The dimension and basis of spaces of multivariate splines,

R.-H. Wang, “The dimension and basis of spaces of multivariate splines,” Journal of Computational and Applied Mathematics, vol. 12, pp. 163–177, 1985

work page 1985
[30]

Spaces of bivariate cubic and quartic splines on type-1 triangulations,

C. K. Chui and R.-H. Wang, “Spaces of bivariate cubic and quartic splines on type-1 triangulations,” Journal of mathematical analysis and applications, vol. 101, no. 2, pp. 540–554, 1984

work page 1984
[31]

On the stability of the dimensions of spline spaces with highest order of smoothness over T-meshes,

B. Huang and F. Chen, “On the stability of the dimensions of spline spaces with highest order of smoothness over T-meshes,” Journal of Computational and Applied Mathematics, vol. 441, p. 115681, 2024

work page 2024
[32]

Improvement on the dimensions of spline spaces on T-mesh,

C. Li, R. Wang, and F. Zhang, “Improvement on the dimensions of spline spaces on T-mesh,” Journal of Information & Computational Science, vol. 3, no. 2, pp. 235–244, 2006

work page 2006
[33]

On the dimension of spline spaces over T-meshes with smoothing cofactor-conformality method,

X. Li and J. Deng, “On the dimension of spline spaces over T-meshes with smoothing cofactor-conformality method,” Computer Aided Geometric Design, vol. 41, pp. 76–86, 2016

work page 2016
[34]

Dimensions of biquadratic and bicubic spline spaces over hierarchical T-meshes,

C. Zeng, F. Deng, X. Li, and J. Deng, “Dimensions of biquadratic and bicubic spline spaces over hierarchical T-meshes,” Journal of Computational and Applied Mathematics, vol. 287, pp. 162–178, 2015. 27

work page 2015
[35]

Dimensions of spline spaces over non- rectangular T-meshes,

C. Zeng, M. Wu, F. Deng, and J. Deng, “Dimensions of spline spaces over non- rectangular T-meshes,” Advances in Computational Mathematics, vol. 42, no. 6, pp. 1259–1286, 2016

work page 2016
[36]

On the dimension of trivariate spline spaces with the highest order smoothness on 3D T-meshes,

C. Zeng and J. Deng, “On the dimension of trivariate spline spaces with the highest order smoothness on 3D T-meshes,” Advances in Computational Mathematics, vol. 44, no. 2, pp. 423–451, 2018

work page 2018
[37]

Tchebycheffian spline spaces over planar T-meshes: Dimension bounds and dimension instabilities,

C. Bracco, T. Lyche, C. Manni, and H. Speleers, “Tchebycheffian spline spaces over planar T-meshes: Dimension bounds and dimension instabilities,” Journal of Computational and Applied Mathematics, vol. 349, pp. 265–278, 2019

work page 2019
[38]

Homology of smooth splines: generic triangulations and a conjecture of strang,

L. J. Billera, “Homology of smooth splines: generic triangulations and a conjecture of strang,” Transactions of the american Mathematical Society, vol. 310, no. 1, pp. 325–340, 1988

work page 1988
[39]

Local cohomology of bivariate splines,

H. Schenck and M. Stillman, “Local cohomology of bivariate splines,” Journal of Pure and Applied Algebra, vol. 117, pp. 535–548, 1997

work page 1997
[40]

A family of ideals of minimal regularity and the hilbert series ofc r(δ),

——, “A family of ideals of minimal regularity and the hilbert series ofc r(δ),” Advances in Applied Mathematics, vol. 19, no. 2, pp. 169–182, 1997

work page 1997
[41]

On the dimension of spline spaces on planar T-meshes,

B. Mourrain, “On the dimension of spline spaces on planar T-meshes,” Mathematics of Computation, vol. 83, no. 286, pp. 847–871, 2014

work page 2014
[42]

On the dimension of tchebycheffian spline spaces over planar T-meshes,

C. Bracco, T. Lyche, C. Manni, F. Roman, and H. Speleers, “On the dimension of tchebycheffian spline spaces over planar T-meshes,”Computer Aided Geometric Design, vol. 45, pp. 151–173, 2016

work page 2016
[43]

Generalized spline spaces over T-meshes: Dimension formula and locally refined generalized B-splines,

——, “Generalized spline spaces over T-meshes: Dimension formula and locally refined generalized B-splines,” Applied Mathematics and Computation, vol. 272, pp. 187–198, 2016

work page 2016
[44]

A counter-example to the schenck-stiller “2r+ 1

B. Yuan and M. E. Stillman, “A counter-example to the schenck-stiller “2r+ 1” conjec- ture,” Advances in Applied Mathematics, vol. 110, pp. 33–41, 2019

work page 2019
[45]

An upper bound on the first homology of spline complexes,

B. Yuan, “An upper bound on the first homology of spline complexes,” arXiv preprint arXiv:1907.10811, 2019

work page arXiv 1907
[46]

Polynomial spline spaces of non- uniform bi-degree on T-meshes: combinatorial bounds on the dimension,

D. Toshniwal, B. Mourrain, and T. J. Hughes, “Polynomial spline spaces of non- uniform bi-degree on T-meshes: combinatorial bounds on the dimension,” Advances in Computational Mathematics, vol. 47, pp. 1–42, 2021

work page 2021
[47]

Dimension of polynomial splines of mixed smoothness on T-meshes,

D. Toshniwal and N. Villamizar, “Dimension of polynomial splines of mixed smoothness on T-meshes,” Computer Aided Geometric Design, vol. 80, p. 101880, 2020

work page 2020
[48]

Counting the dimension of splines of mixed smooth- ness: A general recipe, and its application to planar meshes of arbitrary topologies,

D. Toshniwal and M. DiPasquale, “Counting the dimension of splines of mixed smooth- ness: A general recipe, and its application to planar meshes of arbitrary topologies,” Advances in Computational Mathematics, vol. 47, pp. 1–29, 2021

work page 2021
[49]

Algebraic methods to study the dimension of super- smooth spline spaces,

D. Toshniwal and N. Villamizar, “Algebraic methods to study the dimension of super- smooth spline spaces,” Advances in Applied Mathematics, vol. 142, p. 102412, 2023. 28

work page 2023
[50]

A new bound for smooth spline spaces,

H. Schenck, M. Stillman, and B. Yuan, “A new bound for smooth spline spaces,”Journal of Combinatorial Algebra, vol. 4, no. 4, pp. 359–367, 2020

work page 2020
[51]

Homological techniques for the analysis of the di- mension of triangular spline spaces,

B. Mourrain and N. Villamizar, “Homological techniques for the analysis of the di- mension of triangular spline spaces,” Journal of Symbolic Computation, vol. 50, pp. 564–577, 2013

work page 2013
[52]

Algebraic methods in approximation theory,

H. Schenck, “Algebraic methods in approximation theory,” Computer Aided Geometric Design, vol. 45, pp. 14–31, 2016

work page 2016
[53]

The dimension of piecewise polynomials,

J. Morgan and R. Scott, “The dimension of piecewise polynomials,” Unpublished manuscript, 1977

work page 1977
[54]

Instability in the dimension of spaces of bivariate piecewise polynomials of degree 2r and smoothness order r,

D. Diener, “Instability in the dimension of spaces of bivariate piecewise polynomials of degree 2r and smoothness order r,” SIAM journal on numerical analysis, vol. 27, no. 2, pp. 543–551, 1990

work page 1990
[55]

On the dimensions of bivariate spline spaces and the stability of the dimensions,

C.-J. Li and J. Chen, “On the dimensions of bivariate spline spaces and the stability of the dimensions,” Journal of Computational and Applied Mathematics, vol. 236, no. 5, pp. 765–774, 2011

work page 2011
[56]

On the dimension of the cˆ 1 spline space for the morgan-scott triangulation from the blossoming approach,

Y. Y. Feng, J. Kozak, and M. Zhang, “On the dimension of the cˆ 1 spline space for the morgan-scott triangulation from the blossoming approach,” SERIES IN APPROXIMATIONS AND DECOMPOSITIONS, vol. 8, pp. 71–86, 1996

work page 1996
[57]

On the dimension of multivariate piecewise polynomials,

P. Alfeld, “On the dimension of multivariate piecewise polynomials,” Numerical analysis (Dundee, 1985), vol. 140, pp. 1–23, 1986

work page 1985
[58]

On the problem of instability in the dimension of a spline space over a T-mesh,

D. Berdinsky, M. Oh, T. Kim, and B. Mourrain, “On the problem of instability in the dimension of a spline space over a T-mesh,” Computers & Graphics, vol. 36, no. 5, pp. 507–513, 2012

work page 2012
[59]

The instability in the dimensions of spline spaces over T-meshes with nested T-cycles,

C. Li and P. Wang, “The instability in the dimensions of spline spaces over T-meshes with nested T-cycles,” Numer. Math., Theory Methods Appl, vol. 12, no. 1, pp. 187–211, 2019

work page 2019
[60]

On the problem of instability in the dimensions of spline spaces over T-meshes with T-cycles,

Q.-J. Guo, R.-H. Wang, and C.-J. Li, “On the problem of instability in the dimensions of spline spaces over T-meshes with T-cycles,” Journal of Computational Mathematics, pp. 248–262, 2015

work page 2015
[61]

T-splines and T-nurccs,

T. W. Sederberg, J. Zheng, A. Bakenov, and A. Nasri, “T-splines and T-nurccs,” ACM transactions on graphics (TOG), vol. 22, no. 3, pp. 477–484, 2003

work page 2003
[62]

T-spline simplification and local refinement,

T. W. Sederberg, D. L. Cardon, G. T. Finnigan, N. S. North, J. Zheng, and T. Lyche, “T-spline simplification and local refinement,” ACM transactions on graphics (TOG), vol. 23, no. 3, pp. 276–283, 2004

work page 2004
[63]

Dimension of bi-degree (d, d) spline spaces with the highest order of smoothness over hierarchical t-meshes,

B. Huang and F. Chen, “Dimension of bi-degree (d, d) spline spaces with the highest order of smoothness over hierarchical t-meshes,” Science China Mathematics, pp. 1–24, 2026

work page 2026
[64]

A preliminary study on the dimensional stability classification of polynomial spline spaces over T-meshes,

——, “A preliminary study on the dimensional stability classification of polynomial spline spaces over T-meshes,” 2025. [Online]. Available: https://arxiv.org/abs/2508.06217 29

work page arXiv 2025
[65]

Basis construction for polynomial spline spaces over arbitrary T-meshes,

S. Zhong, B. Huang, and F. Chen, “Basis construction for polynomial spline spaces over arbitrary T-meshes,” Computer Aided Geometric Design, p. 102534, 2026

work page 2026
[66]

Dimension of spline spaces with highest order smooth- ness over hierarchical T-meshes,

M. Wu, J. Deng, and F. Chen, “Dimension of spline spaces with highest order smooth- ness over hierarchical T-meshes,” Computer Aided Geometric Design, vol. 30, no. 1, pp. 20–34, 2013. A Appendix: Geometric Interpretation and Proof of the Consistency Condition In this appendix, we provide a rigorous geometric proof that the algebraic consistency con- ditio...

work page 2013