[论文解读] New upper bound for the cardinalities of $s$-distance sets on the unit sphere

Hiroshi Nozaki|arXiv (Cornell University)|Jun 1, 2009

Mathematical Approximation and Integration被引用 4

一句话总结

本文提出了一种新的上界，用于单位球面 $S^{d-1}$ 上的 $s$-距离集，该上界基于距离集特征多项式展开中 Gegenbauer 多项式系数的符号。该方法改进了 Fisher 型不等式，即使在线性规划上界失效时（特别是某些系数为负时）依然适用，通过将对应于正系数的调和空间维数之和，获得更紧的上界。

ABSTRACT

We have the Fisher type inequality and the linear programming bound as upper bounds for the cardinalities of $s$-distance sets on $S^{d-1}$. In this paper, we give a new upper bound for the cardinalities of $s$-distance sets on $S^{d-1}$ for any $s$. This upper bound improves the Fisher typer inequality and is useful for $s$-distance sets which are not applicable to the linear programming bound.

研究动机与目标

• 解决当线性规划上界因 Gegenbauer 系数为负而失效时，现有 $s$-距离集上界受限的问题。
• 在 Gegenbauer 展开系数中存在负值的情况下，开发一种即使线性规划条件不满足也依然有效的新型上界。
• 通过将调和多项式空间维数按 Gegenbauer 展开系数的符号加权，推广 Fisher 型不等式。
• 为一般和对径 $s$-距离集提供统一的框架，以调和空间维数 $h_i$ 显式表示上界。

提出的方法

• 该方法使用特征多项式 $F_X(t) = \prod_{\alpha \in A(X)}(t - \alpha)$ 的 Gegenbauer 多项式展开，表示为 $F_X(t) = \sum_{i=0}^s f_i G_i^{(d)}(t)$。
• 应用 Gegenbauer 多项式的加法公式，将球面上向量的内积与调和多项式取值联系起来。
• 采用对称矩阵构造方法，将集合 $X$ 的 Gram 矩阵与 Gegenbauer 系数 $f_i$ 关联，并应用矩阵特征值引理以限制 $X$ 的大小。
• 关键洞见在于：正系数 $f_i$ 的数量决定了上界，该上界由调和空间 $\mathrm{Harm}_l(\mathbb{R}^d)$ 的维数 $h_i$ 之和给出。
• 对于对径集，方法通过考虑 $Y$ 满足 $X = Y \cup (-Y)$ 进行调整，得到上界 $2\sum_{f_i > 0} h_i$，当所有相关 $f_i > 0$ 时，该上界恢复 Fisher 上界。
• 该方法不依赖于所有 $f_i$ 的非负性，因此在传统线性规划上界失效的情况下依然适用。

实验结果

研究问题

• RQ1 当 Gegenbauer 系数为负导致线性规划上界不适用时，能否为 $S^{d-1}$ 上的 $s$-距离集推导出新的上界？
• RQ2 当 Gegenbauer 展开系数的符号不全为非负时，如何改进或推广 Fisher 型不等式？
• RQ3 调和多项式空间的维数 $h_i$ 在限制 $s$-距离集大小方面起什么作用？
• RQ4 能否通过利用对称结构和系数符号分析，将该上界推广到对径 $s$-距离集？
• RQ5 在何种条件下，新上界与 Fisher 型上界相等或更优？

主要发现

• 本文建立了新的上界：$|X| \leq \sum_{i \text{ 与 } f_i > 0} h_i$，其中 $h_i$ 是 $d$ 个变量中 $i$ 次齐次调和多项式空间的维数。
• 对于对径 $s$-距离集，上界改进为 $|X| \leq 2\sum_{i \text{ 与 } f_i > 0} h_i$，当所有相关 $f_i > 0$ 时，该上界与 Fisher 型不等式一致。
• 即使某些 $f_i < 0$，该上界依然有效，而线性规划上界在这些情况下会失效。
• 该上界对某些配置是紧的：当 $s=1$ 时，上界为 $|X| \leq d$，由具有非负内积的正单纯形实现。
• 当 $s=2$ 时，上界 $|X| \leq \binom{d+1}{2}$ 在 $d \geq 7$ 时被实现，对应于 $d$ 维正单纯形各边中点的集合，此时 $f_0 > 0$，$f_1 \leq 0$，$f_2 > 0$。
• 紧的球面 $(2s-1)$-设计实现了上界 $|X| \leq \sum_{i=0}^{\lfloor s/2 \rfloor} h_{s-2i} = \binom{d+s-2}{s-1}$，证实了该上界在对称情形下的精确性。