球面 t-设计的最小点数 · 公开问题 05

问题

单位球面 𝕊² 上的有限点集 {x₁,…,x_N} 称为球面 t-设计，若对每个次数 ≤ t 的多项式 p 都有 (1/N)Σp(x_i) = ∫_𝕊²p dσ（σ 为均匀概率测度）——等分加权求积公式。问题：最少需要多少点？记最小值为 N(t)。已知量级是 N(t) ≍ t²，但常数未知：下界约 (1/2)t² 量级（Delsarte–Goethals–Seidel 型），上界来自 Bondarenko–Radchenko–Viazovska（BRV，2010 年代突破：存在常数 C 使任何 N ≥ C t² 都能安放 t-设计），两端的常数相差悬殊。锁定常数——或至少证明极限 lim N(t)/t² 存在——是球面求积理论的核心目标。

主要概念

调和分解与设计条件

球面上的 «多项式» 按次数分层：次数恰为 k 的球调和函数构成 (2k+1) 维空间 ℋ_k。设计条件逐层化简：常数的积分已知，故 t-设计 ⟺ 对每个 1 ≤ k ≤ t 与每个 Y ∈ ℋ_k 有 ΣY(x_i) = 0（非常数调和函数的球面平均为零）。加法定理把 ℋ_k 的标准正交基捆成核 Σ_mY_k,m(x)Y_k,m(y) = (2k+1)/4π · P_k(x·y)（P_k 为 Legendre 多项式）——这是把 «逐函数» 条件转成 «核» 条件的桥梁。

为什么量级是 t²

次数 ≤ t 的多项式空间维数为 (t+1)²，线性代数直觉说 «要确定 (t+1)² 个矩须 ≥ (t+1)² 个点»；但设计条件是 «平均相等» 而非 «确定全部矩»，等权结构让要求松动，真实下界走秩论证只给 c t²。上界方向，BRV 用 «分块递归» 把低阶设计拼成高阶设计，同样落在 C t²。两端都二次、常数未知——这是典型的 «渐近量级已定、常数大战» 格局。

主要命题与证明

命题 1（秩下界，完整证明）　若 {x₁,…,x_N}（带正权 w_i，Σw_i=1）是 𝕊² 上强度 t 的求积公式，则 N ≥ (⌊t/2⌋+1)²。

证明　取单项式基把 «次数 ≤ s 的多项式» 实现为 ℝ³ 上次数 ≤ s 的限制，记 v(x) 为次数 ≤ ⌊t/2⌋ 的单项式列向量（维数 D=(⌊t/2⌋+1)²）。考虑两个半正定矩阵：M = ∫ v(x)v(x)^T dσ 与 A = Σ_i w_i v(x_i)v(x_i)^T。M 正定：∫ q(x)² dσ > 0 对任何非零多项式 q（球面上非零多项式的零点测度为零）。故 rank M = D。A 是 N 个秩 1 矩阵的权和，rank A ≤ N。求积精度到次数 t ⟹ 对任何次数 ≤ t 的乘积多项式（每个 v_j·v_l 次数 ≤ 2⌊t/2⌋ ≤ t）有 ⟨M,·⟩ = ⟨A,·⟩，即 M−A 在 «次数 ≤ t 的单项式对» 的主子块上为零——特别地 M 与 A 在那块主子块相等，而该主子块的秩为 D（它是正定矩阵 M 的主子块，仍正定）。于是 D = rank(主子块) ≤ rank A ≤ N。□

命题 2（BRV 存在性定理，陈述）　存在显式常数 C，使得对每个 t 与每个 N ≥ C t²，球面 𝕊² 上存在 N 点的 t-设计。证明是 «分块拼装»：把球面按 Voronoi 意义分成 N 块，在每块内用低阶设计的 «局部拷贝» 迭代校正矩量。

梗概　BRV 的机器是 «从 (t−1) 到 t» 的升级：给定 (t−1)-设计 {x_i}，把每点替换成 «以 x_i 为中心的小 t-设计»（半径足够小时，低阶矩自动保持——因为低阶多项式在小球上近似常数），高阶矩的偏差由小球设计的朝向自由度吸收；迭代 t 次。常数 C 来自 «小球设计半径如何随层数衰减» 的显式估计。□

命题 3（设计条件的核形式，完整证明）　点集 {x_i} 是 t-设计 ⟺ 对每个奇偶性与 t 相同的 0 < k ≤ t（等权情形需全部 1 ≤ k ≤ t）有 Σ_i P_k(x_i·x_j) 的适当矩阵迹条件；等权情形的标准等价：Σ_i=1^N Y(x_i) = 0 对一切 Y ∈ ℋ_k、1 ≤ k ≤ t。

证明　（⟸）任何次数 ≤ t 的多项式可写成调和函数之和 p = Σ_k≤t Y_k + 常数（调和分解的直和性），常数两侧相等、每个 Y_k 两侧皆为零。（⟹）调和函数本身是次数 ≤ t 的多项式。□

进展与文献

Delsarte–Goethals–Seidel《Spherical codes and designs》（1977，调和理论的奠基）；McLaren 的下界；Bondarenko–Radchenko–Viazovska《Optimal spherical designs》（2015 前后）；Marzo–Marc–Ortega-Cerdà 对常数的后续压缩。开放核心：极限 lim N(t)/t² 的存在性与值；显式 «小» 设计（与 23 号 SIC 的量子侧呼应）；高维球面 𝕊^d 的对应问题（量级 t^d 的常数同样未知）。