Curved digital surfaces have hidden global dependencies
- What it is
- The paper claims a smooth surface mesh can have a global dimensional defect invisible to local checks.
- Who did it
- Xinyu Wu and Jiansong Deng
- What it could mean
- A smooth-looking digital surface can hide a mathematical trap. This result could reveal why local mesh checks miss whole-shape dependencies—relevant to the mathematics behind CAD, animation, and simulation.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Geometry-dependent rank defect in (C¹) cubic spline space ↗See the proposed checks
Extract the 18-triangle coordinates and (t=1/5) specialization; independently form the smoothing-cofactor and Bernstein--Bézier matrices over exact rationals; verify their ranks and that every interior four-star is nonsingular; then compare the resulting dimension with the stated lower bound.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The manuscript claims a nondegenerate planar 18-triangle complex at (t=1/5) where (dim S¹₃(mathcal T)=34) exceeds Schumaker's predicted lower bound 33 despite no singular interior four-star, refuting the conjectured sufficiency of the local correction (sigma).
- Why this could matter
- Curved digital surfaces have hidden global dependencies Splines are the smooth patches behind computer-aided design, animation, and numerical simulation. This paper says checking each local mesh neighborhood can miss a dependency created by the geometry of the whole surface.
- If it holds up
- Enabling: spline software and mathematical models may need global checks, helping prevent silent dimension errors in CAD, surface design, and simulation pipelines.
- If it does not
- The classical local correction may still be sufficient; the unusual extra degree of freedom would trace to a rank or geometry calculation error.
- Impact horizon
- Enabling · CAD and geometry · Numerical simulation · Spline theory
- Version
- submitted 2026-09-02 10:43:50 UTC
- Why we tracked it
- a fresh, explicit counterexample to the proposed universal attainment of Schumaker's lower bound, with a tightly specified 18-triangle family but no replay artifact on the primary record.
- Highest-risk dependency
- The counterexample requires that the coordinate specialization remains nondegenerate and that both rank calculations use exactly the same spline-space constraints; a numerical rank claim alone would not settle either condition.
- Available artifacts
- arXiv provides PDF, experimental HTML, and TeX source; no linked code, exact matrix data, formal proof, or certificate repository was found on the primary record.
- Current boundary
- Intake record only; examination not started.