有限缺陷刚性与二维球面上的最小球面4-设计

中文摘要 AI 辅助

我们证明，在二维球面 $\mathbb{S}^2$ 上，每个等权球面 $4$-设计至少包含十二个点。由于正二十面体是一个球面 $5$-设计，这确定了精确最小值 $$N_4(\mathbb{S}^2)=12;$$ 等价地，不存在具有 $9$、$10$ 或 $11$ 个点的此类设计。该证明是有限缺陷理论的一部分。若一个球面 $2m$-设计具有余秩 $c=N-\dim P_m$，则其 Naimark 补由单位向量 $u_x\in\mathbb{S}^{c-1}$ 组成，这些向量构成一个球面 $2$-设计，并满足精确耦合 $$u_x\cdot u_y=-\frac{K_m^{(d)}(x\cdot y)}{c}\qquad(x\ne y).$$ 这给出了成对核界、对径下界、Cayley-Bacharach 信息以及乘法关系空间的统一下界。在余秩为一的情况下，该设计分裂为两个等价的球面 $m$-设计。我们推导了其带符号 Schoenberg 系数的余数公式；当 $3\le d\le m+1$ 时，$m+3$ 次系数为负，从而在该范围内排除了余秩为一的情况。在强度为四和六时，任何维度中仅有的例子是正六边形和正八边形。在余秩为二时，补是一个圆 Gale 框架。其相位乘法强制产生至少 $d-1$ 个线性-二次混叠，并在每个维度中给出精确的范数和 socle 恒等式。对于 $\mathbb{S}^2$ 上的十一个节点，两个混叠产生一个实调和三次多项式和一个 Hermitian 四次矩阵。一个矩阵值 Cayley-Bacharach 论证消除了一般分支；例外分支归结为 Pauli 正规形式，并与二阶矩矛盾。在维度 $d\ge4$ 中，余秩为二的问题仍然开放；我们确定一个强制的二次 socle 是扩展当前论证的障碍。

英文摘要

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 kernel bound, an antipodal lower bound, Cayley-Bacharach information, and uniform lower bounds for multiplicative-relation spaces. In corank one the design splits into two equal spherical $m$-designs. We derive a residue formula for its signed Schoenberg coefficients; the coefficient of degree $m+3$ is negative exactly when $3\le d\le m+1$, excluding corank one throughout that range. At strengths four and six the only examples in any dimension are the regular hexagon and octagon, respectively.In corank two the complement is a circle Gale frame. Multiplication by its phase forces at least $d-1$ linear-quadratic aliases and yields exact norm and socle identities in every dimension. For eleven nodes on $\mathbb{S}^2$, two aliases produce a real harmonic cubic and a Hermitian quartic matrix. A matrix-valued Cayley-Bacharach argument eliminates the generic branch; the exceptional branch reduces to a Pauli normal form and contradicts the second moments. In dimensions $d\ge4$ the corank-two problem remains open; we identify a forced quadratic socle as the obstruction to extending the present argument.

补充信息

备注

39 pages