[论文解读] Equiangular lines, Incoherent sets and Quasi-symmetric designs

Neil I. Gillespie|arXiv (Cornell University)|Sep 15, 2018

Mathematical Approximation and Integration参考文献 27被引用 5

一句话总结

本文证明了在 $\mathbb{R}^d$ 中，当且仅当 $d = 2, 3, 7,$ 或 $23$ 时，等角线同时达到绝对界 $d(d+1)/2$ 和非相干界 $d$，从而解决了长期存在的分类问题。该研究将此类集合与紧致球面 5 设计及准对称设计联系起来，证明仅在这些维度下存在同时饱和两个界限的配置，并得出一个令人惊讶的结论：在附加假设下，$\mathbb{R}^6$ 中最大的 16 条线集合是唯一的额外例子。

ABSTRACT

The absolute upper bound on the number of equiangular lines that can be found in $\mathbf{R}^d$ is $d(d+1)/2$. Examples of sets of lines that saturate this bound are only known to exist in dimensions $d=2,3,7$ or $23$. By considering the additional property of incoherence, we prove that there exists a set of equiangular lines that saturates the absolute bound and the incoherence bound if and only if $d=2,3,7$ or $23$. This allows us classify all tight spherical $5$-designs $X$ in $\mathbf{S}^{d-1}$, the unit sphere, with the property that there exists a set of $d$ points in $X$ whose pairwise inner products are positive. For a given angle $κ$, there exists a relative upper bound on the number of equiangular lines in $\mathbf{R}^d$ with common angle $κ$. We prove that classifying sets of lines that saturate this bound along with the incoherence bound is equivalent to classifying certain quasi-symmetric designs, which are combinatorial designs with two block intersection numbers. Given a further natural assumption, we classify the known sets of lines that saturate these two bounds. This family comprises of the lines mentioned above and the maximal set of $16$ equiangular lines found in $\mathbf{R}^6$. There are infinitely many known sets of lines that saturate the relative bound, so this result is surprising. To shed some light on this, we identify the $E_8$ lattice with the projection onto an $8$-dimensional subspace of a sublattice of the Leech lattice defined by $276$ equiangular lines in $\mathbf{R}^{23}$. This identification leads us to observe a correspondence between sets of equiangular lines in small dimensions and the exceptional curves of del Pezzo surfaces.

研究动机与目标

• 分类所有在 $\mathbb{R}^d$ 中同时达到绝对上界 $d(d+1)/2$ 和非相干界 $d$ 的等角线集合。
• 确定存在紧致球面 5 设计的维度 $d$，其包含 $d$ 个点且两两点对内积为正。
• 建立饱和相对界的等角线集合与具有两个块交集数的特定准对称设计之间的对应关系。
• 研究更高维度中此类配置的存在性，特别是 $d=839$，并评估先前猜想的有效性。

提出的方法

• 使用谱图论和实内积空间中的线性代数，证明仅当 $d=2,3,7,23$ 时，等角线集合才能同时达到绝对界和非相干界。
• 利用紧致球面 5 设计与达到绝对界的等角线集合之间的等价性，在 $d$ 个点之间两两点积为正的条件下对这类设计进行分类。
• 建立饱和相对界的等角线集合与具有两个块交集数的特定准对称 2 设计之间的双射关系。
• 应用 Calderbank、Blokhuis 和 Frankl 的数论与组合约束，排除某些准对称设计的参数族，特别是当 $i \equiv 4 \mod 8$ 或 $i \equiv 2 \mod 4$ 时。
• 识别出 $E_8$ 格为由 $\mathbb{R}^{23}$ 中 276 条等角线定义的 Leech 格子格的投影，揭示了例外格与等角线系统之间更深层次的几何联系。
• 使用整数 $i$ 的多项式参数化生成准对称设计与等角线的候选族，并通过同余与编码理论障碍分析其存在性。

实验结果

研究问题

• RQ1 在哪些维度 $d$ 下，$\mathbb{R}^d$ 中存在同时达到绝对界 $d(d+1)/2$ 和非相干界 $d$ 的等角线集合？
• RQ2 哪些紧致球面 5 设计位于 $\mathbb{S}^{d-1}$ 中，包含 $d$ 个点且所有点对内积为正？
• RQ3 除了 $d=2,3,7,23$ 和 $\mathbb{R}^6$ 的已知例子外，是否存在其他等角线集合同时饱和相对界与非相干界？
• RQ4 此类配置的存在性是否可与具有两个块交集数的组合设计联系起来？如果是，哪些参数族是可能的？
• RQ5 是否存在一个在 $\mathbb{R}^{839}$ 中饱和绝对界的等角线集合？这对猜想 8.4 暗示了什么？

主要发现

• 在 $\mathbb{R}^d$ 中，等角线同时达到绝对界 $d(d+1)/2$ 和非相干界 $d$ 当且仅当 $d = 2, 3, 7,$ 或 $23$，其他维度均不满足两个条件。
• 除 $d=2,3,7,23$ 的情况外，唯一已知同时饱和相对界与非相干界的等角线集合是 $\mathbb{R}^6$ 中最大的 16 条线集合，其对应唯一参数族。
• 在 $\mathbb{S}^{d-1}$ 中的紧致球面 5 设计若包含 $d$ 个点且所有点对内积为正，当且仅当 $d=2,3,7,23$ 时存在，且其与相应的等角线集合等距同构。
• 对于由整数 $i$ 参数化的准对称设计族，Calderbank 与 Blokhuis 的必要条件被满足，但通过 [14] 中的同余障碍，$i \equiv 4 \mod 8$（族 1）和 $i \equiv 2 \mod 4$（族 2）的存在性被排除。
• $E_8$ 格被识别为由 $\mathbb{R}^{23}$ 中 276 条等角线定义的 Leech 格子格的投影，揭示了例外格与等角线系统之间深层的联系。
• 尽管存在无穷多组满足相对界与非相干界条件的参数集，但仅有有限组（具体为 $d=2,3,7,23$ 和 $\mathbb{R}^6$ 的情况）能产生实际的线配置，凸显了在看似无限族中存在惊人有限性的现象。