Year: 2026
Type: preprint
Abstract: We construct a nondegenerate conforming straight-line triangulation of a polygonal disk on which some vertex data admit no continuously differentiable piecewise polynomial interpolant of total degree at most three. The triangulation has 41 vertices and 56 triangles, and the graph induced by its interior vertices is a tree with eight arms of length two. Every cubic $C^1$ spline on this triangulation satisfies an explicit linear relation with integer coefficients among its vertex values. We derive the relation by a weighted sum of Bernstein--Bézier smoothness equations and verify it using rational coordinates and weights. This disproves Alfeld's conjecture on vertex interpolation. The nonexistence proof does not require a matrix rank computation. A separate computation in exact arithmetic gives rank 40 for the vertex evaluation map and dimension 107 for the spline space, attaining the classical dimension lower bound for this triangulation.
Source: arXiv (Cornell University)
Author: Qiu, Junkai
Institution: Dalian University of Technology
Subfield: Computational Mechanics
Field: Engineering
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212074696
Cites:
Cited by:
Related to: