Geometry-dependent rank defect in $C^1$ cubic spline space

Xinyu Wu; Jiansong Deng

Home/Archive/arXiv

arXiv · 2609.02424

Geometry-dependent rank defect in $C^1$ cubic spline space

Xinyu Wu·Jiansong Deng

View original source ↗Read source document ↗Export metadata ↓

Abstract

Determining the dimension of the $C^1$ cubic spline space $S_3^1(\mathcal{T})$ on an arbitrary nondegenerate planar triangulation has remained unresolved since the 1970s. Schumaker's lower bound includes a local correction $σ$ for singular interior four-stars, and it was conjectured that this bound is always attained. We disprove this conjecture by constructing a one-parameter family of nondegenerate realizations of a fixed 18-triangle complex, with only the central vertex moving as $v_6(t)=(t,0)$ on the admissible interval $I=(-3/4,24/55)$. The family exhibits three distinct cases. For $t\in I\setminus\{1/5,3/83\}$, the lower bound is attained and $\dim S_3^1(\mathcal{T}(t))=33$. At $t=3/83$, the central four-star is singular, $σ=1$, and the resulting dimension 34 is exactly accounted for by the classical local correction. At $t=1/5$, however, all interior vertices are nonsingular and $σ=0$, yet $\dim S_3^1(\mathcal{T}(1/5))=34>P_{\mathcal{T}(1/5)}(1,3)=33$. The smoothing-cofactor calculation shows that the dependence at $t=3/83$ is confined to the central vertex block, whereas the dependence at $t=1/5$ couples all seven interior vertex cycles even though every individual block has full row rank. A complementary Bernstein--Bézier calculation gives the same dimension profile. Thus the singular-four-star correction does not capture every geometry-dependent contribution to $\dim S_3^1(\mathcal{T})$; genuinely global compatibility must also be taken into account.

Explore related subjects

math.NA cs.NA math.CO

Keep this discovery

BibTeX RIS

Xinyu Wu, Jiansong Deng. 2026-09-02. Geometry-dependent rank defect in $C^1$ cubic spline space. https://arxiv.org/abs/2609.02424

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.NA subject math.CO subject math.NA subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

Windowed thinning and query complexity for the bouncy particle and Zigzag samplers

Let $μ(d x)\propto e^{-U(x)} d x$ on $\R^d$, where $U$ is $m$-strongly convex and $L$-smooth, and denote by $κ=L/m$ the condition number. We consider windowed thinning, an exact simulation method for the bouncy particle sampler and the coordinate Zigzag process. The method divides a trajectory into deterministic windows and uses a gradient evaluation at the beginning of each window to construct a tractable local envelope for the event rate. Combining this construction with quantitative mixing estimates and finite-time bounds on the expected numbers of bounces and flips yields query complexity guarantees from a Gaussian cold start. For total-variation error $\varepsilon$, the expected query counts are $O(κ^{1/2}d\,(d\logκ+\log\frac1\varepsilon))$ gradient queries for the bouncy particle sampler and $O(κd^{1/4}(d\logκ+\log\frac1\varepsilon))$ full-gradient equivalents for Zigzag, where $d$ coordinate-partial queries count as one equivalent.

math.NA↗

arXiv2026

Structural Packing and Dyadic Factorization of Sparse Positive Definite Matrices

Efficient inversion of large sparse positive definite matrices requires exploiting sparsity patterns beyond those captured by conventional bandwidth reduction. In this work, we recast nested dissection, a prominent alternative, as a two-stage framework. The matrix was first packed into block-tridiagonal or dyadic form, followed by sparse Gram-Schmidt orthogonalization. This decomposition provided a unified perspective on sparse matrix factorization and inversion and identified dyadic structure as a fundamental component of sparse Cholesky factorization. For the first stage, we introduced a packing algorithm that recovered block-tridiagonal and dyadic patterns using a novel $\ell_1$ criterion. Using approximate distances obtained through classical multidimensional scaling, the method was effective when the target structure was sufficiently represented among the nonzero entries. Iterative application could also remove structural noise and reveal hidden dyadic organization, corresponding to separator identification in nested dissection. For the second stage, we developed the theory of dyadically structured matrices. We derived sparse factorization and inversion procedures, analyzed their computational complexity, and obtained an efficient inversion algorithm. A modified version reduced the cost of inverting block-tridiagonal matrices, demonstrating the benefit of exploiting their structure directly rather than treating them as generic band matrices.

math.NA↗

arXiv2026

Spectra of Non-Self-Adjoint Almost Mathieu Matrices and the Scottish Flag Operator

For $N\geq 3$ and a potential phase $\vartheta\in\mathbb{R}$, we study the non-self-adjoint almost Mathieu matrix obtained by multiplying the discrete Laplacian by a complex phase with angle $φ\in\mathbb{R}$, $A_N(φ,\vartheta)=e^{iφ}(S+S^{-1})/2+\operatorname{diag}(\cos(2πj/N+\vartheta))_{j\in\mathbb{Z}/N\mathbb{Z}}$, where $S e_j=e_{j+1}$ is the periodic shift on $\mathbb{C}^N$. We derive a Chambers formula and isolate the part $Q_{N,φ}$ of the characteristic polynomial that depends only on $N$ and $φ$, but not on $\vartheta$ or on a change of boundary conditions for the shift operator. We then show, for every $N$, that the zeros of $Q_{N,φ}$ lie on the two perpendicular lines $e^{iφ/2}\mathbb{R}\cup e^{i(φ/2+π/2)}\mathbb{R}$. For even $N$, the same property holds for the matrices $A_N(φ,\vartheta)$ with $\vartheta\in 2π\mathbb{Z}/N$, and we compute their limiting eigenvalue measure explicitly. For $φ\in[-π,π]$, the eigenvalue distribution approximates elliptic-integral densities with masses $1-|φ|/π$ and $|φ|/π$, and maximal radii $2|\cos(φ/2)|$ and $2|\sin(φ/2)|$, respectively. At $φ=π/2$, the central polynomial $Q_{N,φ}$ factors into positive quartic factors. This proves that the Scottish flag matrix, after Trefethen and Chapman, has its spectrum on the two diagonal lines of the saltire.

math.SP↗