[论文解读] Upper bounds for $s$-distance sets and equiangular lines

Alexey Glazyrin, Wei-Hsuan Yu|arXiv (Cornell University)|Nov 29, 2016

Mathematical Approximation and Integration参考文献 37被引用 16

一句话总结

本文提出了一种新颖的方法，利用球面区域函数推导紧致两点齐次空间中 $s$-距离集的上界，证明了在 $\mathbb{R}^n$ 中球面二距离集的最大大小为 $\frac{n(n+1)}{2}$，对所有 $n \geq 7$ 成立，仅在 $n = (2k+1)^2 - 3$ 处可能存在例外。此外，还建立了针对夹角 $\alpha = \frac{1}{a}$ 的等角集的通用上界 $\sim\frac{2}{3}na^2$，并分类了所有达到此上界的集合。

ABSTRACT

The set of points in a metric space is called an $s$-distance set if pairwise distances between these points admit only $s$ distinct values. Two-distance spherical sets with the set of scalar products $\{α, -α\}$, $α\in[0,1)$, are called equiangular. The problem of determining the maximum size of $s$-distance sets in various spaces has a long history in mathematics. We suggest a new method of bounding the size of an $s$-distance set in compact two-point homogeneous spaces via zonal spherical functions. This method allows us to prove that the maximum size of a spherical two-distance set in $\mathbb{R}^n$, $n\geq 7$, is $\frac{n(n+1)}2$ with possible exceptions for some $n=(2k+1)^2-3$, $k \in \mathbb{N}$. We also prove the universal upper bound $\sim \frac 2 3 n a^2$ for equiangular sets with $α=\frac 1 a$ and, employing this bound, prove a new upper bound on the size of equiangular sets in all dimensions. Finally, we classify all equiangular sets reaching this new bound.

研究动机与目标

• 建立紧致两点齐次空间中 $s$-距离集大小的紧致上界，特别是球面上的情形。
• 解决关于 $\mathbb{R}^n$ 中二距离集最大大小的长期猜想，针对 $n \geq 7$，仅存在有限多个可能的例外。
• 改进 $\mathbb{R}^n$ 中等角直线的一般上界，尤其在 $n$ 较大时，并对极值构型进行分类。
• 通过基于球面区域函数的新代数框架，将等角集与强正则图及球面设计联系起来。

提出的方法

• 利用紧致两点齐次空间中的球面区域函数，通过类似线性规划的不等式来界定 $s$-距离集的大小。
• 应用调和分析与表示论，推导球面 $s$-距离集的上界，特别是 $s=2$ 的情形。
• 利用等角集与紧致球面四设计之间的联系，分析极值构型。
• 运用谱图论，特别是强正则图的性质，刻画达到新上界的等角集。
• 推导出等角集的通用上界 $\sim\frac{2}{3}na^2$，其中两两内积为 $\pm\frac{1}{a}$，对所有 $n$ 成立。
• 通过分析相关强正则图的参数，对所有达到此上界的等角集进行分类。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^n$ 中，当 $n \geq 7$ 时，二距离集的最大大小是多少？是否存在超出 $n = (2k+1)^2 - 3$ 的例外？
• RQ2 能否在渐近意义下改进等角直线的经典 Gerzon 上界？$M(n)$ 的精确增长速率是什么？
• RQ3 在何种条件下，夹角为 $\alpha = \frac{1}{a}$ 的等角集能达到新的上界 $\sim\frac{2}{3}na^2$？
• RQ4 是否存在二距离集的结构二分性：即要么是紧致球面四设计，要么是单纯形中点的子集？
• RQ5 当 $n \to \infty$ 时，$\limsup_{n \to \infty} \frac{M(n)}{n^2}$ 的精确渐近行为是什么？对于 $\alpha = \frac{1}{a}$，其随 $a$ 如何变化？

主要发现

• 在 $\mathbb{R}^n$ 中，球面二距离集的最大大小为 $\frac{n(n+1)}{2}$，对所有 $n \geq 7$ 成立，仅在 $n = (2k+1)^2 - 3$ 处可能存在例外。
• 对所有 $n$，建立了夹角为 $\pm\frac{1}{a}$ 的等角集的通用上界 $\sim\frac{2}{3}na^2$。
• 所有达到此上界的等角集均被分类，并证明其来源于参数为 $(N,k,\frac{3k-N-1}{2},\frac{k}{2})$ 的强正则图。
• 对于 $n \in [47,75]$，有 $M(n) \leq 1127$；对于 $n \in [79,116]$，有 $M(n) \leq 3159$；对于 $n \in [167,221]$，有 $M(n) \leq 14027$，这是由于某些构型不存在所致。
• 当 $a$ 固定时，上界 $\sim\frac{2}{3}na^2$ 改进了 Gerzon 的上界 $\binom{n+1}{2}$，并确立了比值 $\frac{1}{3} \leq \limsup_{n \to \infty} \max_a \frac{M_{1/a}(n)}{na^2} \leq \frac{2}{3}$。
• 本文提供了通过强正则图对等角紧框架分类的全新自包含证明，独立于早期结果。