{"id":"arxiv/2609.31689","url":"https://arxiv.org/abs/2609.31689","tags":["math.CO","math.MG"],"score":0,"title":"Finite-Defect Rigidity and the Minimum Spherical 4-Design on the Two-Sphere","domain":"math.CO","source":"arxiv","authors":["Shalender Singh","Vishnupriya Singh"],"reviews":0,"subject":"math.CO","summary":"We prove that every equal-weight spherical $4$-design on $\\mathbb{S}^2$ has at least twelve points. Since the regular icosahedron is a spherical $5$-design, this determines the exact minimum$$N_4(\\mathbb{S}^2)=12;$$equivalently, no such design has $9$, $10$ or $11$ points.The proof is part of a finite-defect theory. If a spherical $2m$-design has corank $c=N-\\dim P_m$, its Naimark complement consists of unit vectors $u_x\\in\\mathbb{S}^{c-1}$ forming a spherical $2$-design and satisfying the exact coupling$$u_x\\cdot u_y=-\\frac{K_m^{(d)}(x\\cdot y)}{c}\\qquad(x\\ne y).$$This gives a pairwise…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}