[论文解读] More on spherical designs of harmonic index $t$

Yan Zhu, Eiichi Bannaĭ+3 more|arXiv (Cornell University)|Jul 20, 2015

Mathematical Approximation and Integration参考文献 11被引用 4

一句话总结

本文研究了调和指标 $t$ 和 $T$ 的球面设计，建立了类似 Fisher 的下界，并对达到这些下界的紧致设计进行了分类。通过线性规划、勒让德多项式分析、广义 Larman-Rogers-Seidel 定理、椭圆丢番图方程以及半定规划，本文证明了调和指标为 6 和 8 的紧致球面设计不存在，且当 $e \geq 3$ 时，对 $2e$ 的情形也渐近不存在；同时分析了 $T = \{8,4\}$ 和 $T = \{12,8,4\}$ 等情形。

ABSTRACT

A finite subset $Y$ on the unit sphere $S^{n-1} \subseteq \mathbb{R}^n$ is called a spherical design of harmonic index $t$, if the following condition is satisfied: $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $t$. Also, for a subset $T$ of $\mathbb{N} = \{1,2,\cdots \}$, a finite subset $Y\subset S^{n-1}$ is called a spherical design of harmonic index $T,$ if $\sum_{\mathbf{x}\in Y}f(\mathbf{x})=0$ is satisfied for all real homogeneous harmonic polynomials $f(x_1,\ldots,x_n)$ of degree $k$ with $k\in T$. In the present paper we first study Fisher type lower bounds for the sizes of spherical designs of harmonic index $t$ (or for harmonic index $T$). We also study 'tight' spherical designs of harmonic index $t$ or index $T$. Here 'tight' means that the size of $Y$ attains the lower bound for this Fisher type inequality. The classification problem of tight spherical designs of harmonic index $t$ was started by Bannai-Okuda-Tagami (2015), and the case $t = 4$ was completed by Okuda-Yu (2015+). In this paper we show the classification (non-existence) of tight spherical designs of harmonic index 6 and 8, as well as the asymptotic non-existence of tight spherical designs of harmonic index $2e$ for general $e\geq 3$. We also study the existence problem for tight spherical designs of harmonic index $T$ for some $T$, in particular, including index $T = \{8,4\}$. We use (i) the linear programming method by Delsarte, (ii) the detailed information on the locations of the zeros as well as the local minimum values of Gegenbauer polynomials, (iii) the generalization by Hiroshi Nozaki of the Larman-Rogers-Seidel theorem on $2$-distance sets to $s$-distance sets, (iv) the theory of elliptic diophantine equations, and (v) the semidefinite programming method of eliminating some $2$-angular line systems for small dimensions.

研究动机与目标

• 为调和指标 $t$ 和 $T$ 的球面设计的大小建立类似 Fisher 的下界。
• 对调和指标 $t$ 和 $T$ 的紧致设计进行分类，其中紧致性指达到下界。
• 研究此类紧致设计的存在性与非存在性，特别是针对偶数指标 $t = 2e$ 和复合集 $T = \{t_1, t_2, \dots\}$ 的情形。
• 将分类结果扩展至此前未解决的情形，如 $t=4$ 扩展至 $t=6$ 和 $t=8$，并研究 $T=\{8,4\}$ 及其他多指标集合。

提出的方法

• 应用 Delsarte 的线性规划方法，推导调和指标 $T$ 的球面设计大小的上界。
• 对勒让德多项式的零点和局部极小值进行详细分析，以限制设计点可能的配置。
• 将 Larman-Rogers-Seidel 定理推广至 $s$-距离集，以限制具有少量内积的点集结构。
• 利用椭圆丢番图方程，排除设计存在性问题中出现的关键代数条件的有理解。
• 采用半定规划（SDP）排除候选的 2-角线系统，并验证小维度下的界。
• 结合代数数论与数值上界，分析当 $b_{n,T}$ 与 LP 或 SDP 上界一致时的情形，从而推断紧致 $T$-设计的非存在性。

实验结果

研究问题

• RQ1 是否存在调和指标为 6 的紧致球面设计？若不存在，哪些代数与分析障碍导致其不可能？
• RQ2 能否对调和指标为 8 的紧致球面设计进行分类？它们在所有维度下都存在吗？
• RQ3 当 $e \to \infty$ 时，调和指标为 $2e$ 的紧致球面设计的渐近行为如何？对于大 $e$，是否存在非存在性？
• RQ4 对于 $T = \{8,4\}$，是否存在紧致球面设计？多调和阶之间的相互作用带来何种约束？
• RQ5 在何种条件下，下界 $b_{n,T}$ 与 LP 或 SDP 的上界重合，从而推断紧致 $T$-设计的非存在性？

主要发现

• 对于任意维度 $n \geq 1$，均不存在调和指标为 6 的紧致球面设计，该结论通过勒让德多项式零点的初等代数与分析约束得到证明。
• 同样地，对于任意维度，均不存在调和指标为 8 的紧致球面设计，该结论通过调和指标 8 条件的详细分析及关联代数恒等式得到确认。
• 对于一般 $e \geq 3$，调和指标为 $2e$ 的紧致球面设计在渐近意义上不存在，因为 Fisher 型下界与完整 $2e$-设计的下界增长速率相同，使得紧致性变得越来越不可能。
• 对于 $T = \{8,4\}$，本文证明不存在紧致球面设计，依据是涉及内积的推导有理表达式非整数，且丢番图条件不成立。
• 对于 $T = \{12,8,4\}$，除可能的 $n = 9, 13, 16$ 外，不存在紧致设计，因为在这些维度中 LP 与 SDP 上界与下界 $b_{n,T}$ 一致，从而推断其余维度中不存在。
• 分析表明，紧致调和指标 $T$-设计极为稀少，仅有少数可能的例外；且调和指标 $T$-设计的理论在结构与渐近行为上介于完整 $2e$-设计与调和指标 $2e$-设计之间。