[论文解读] There are no 76 equiangular lines in $R^{19}$

Wei-Hsuan Yu|arXiv (Cornell University)|Nov 27, 2015

Finite Group Theory Research参考文献 9被引用 7

一句话总结

该论文通过证明若存在 ℝ¹⁹ 中的 76 条等角线，则将导致一个强正则图 (75,32,10,16) 的存在，而该图此前已被证明不存在，从而证明在 ℝ¹⁹ 中不存在 76 条等角线。该结果将 M(19)（19 维空间中等角线的最大数量）的上界降低至最多 75，并进一步表明相关强正则图及 ℝ²⁰ 中 96 条等角线也不存在。

ABSTRACT

Maximum size of equiangular lines in $\mathbb{R}^{19}$ has been known in the range between 72 to 76 since 1973. Acoording to the nonexistence of strongly regular graph $(75,32,10,16)$ \cite{aza15}, Larmen-Rogers-Seidel Theorem \cite{lar77} and Lemmen-Seidel bounds on equiangular lines with common angle $\frac 1 3$ \cite{lem73}, we can prove that there are no 76 equiangular lines in $\mathbb{R}^{19}$. As a corollary, there is no strongly regular graph $(76,35,18,14)$. Similar discussion can prove that there are no 96 equiangular lines in $\mathbb{R}^{20}$.

研究动机与目标

• 解决自 1973 年以来长期悬而未决的关于在 ℝ¹⁹ 中是否存在 76 条等角线的问题。
• 填补已知 M(19)（19 维空间中等角线最大数量）上界中的缺口。
• 建立等角线、等角紧框架（ETFs）与强正则图（SRGs）之间的联系。
• 将该方法扩展至证明在 ℝ²⁰ 中不存在 96 条等角线及相关强正则图。

提出的方法

• 利用 Neumann 定理将 ℝ¹⁹ 中等角线的公共角度限制在 1/3 或 1/5，当 M > 2n 时。
• 应用 Lemmens–Seidel 上界，排除 1/3 作为 76 条线的可能角度。
• 证明若存在 76 条夹角为 1/5 的等角线，则将构成一个等角紧框架（ETF），从而意味着一个强正则图 (75,32,10,16) 的存在。
• 利用已知的强正则图 (75,32,10,16) 不存在的事实，得出在 ℝ¹⁹ 中不存在 76 条等角线的结论。
• 利用强正则图的对偶性与互补性，证明 (76,35,18,14) 及其相关图不存在。
• 通过将论证扩展至 ℝ²⁰，将 96 条等角线与强正则图 (96,45,24,18) 和 (96,38,10,18) 的不存在性联系起来。

实验结果

研究问题

• RQ1 自 1973 年以来，M(19) 的上界一直为 76，那么在 ℝ¹⁹ 中是否存在 76 条等角线？
• RQ2 在 ℝ¹⁹ 中存在 76 条等角线是否意味着强正则图 (75,32,10,16) 的存在？
• RQ3 能否利用强正则图 (75,32,10,16) 的不存在性来排除在 ℝ¹⁹ 中存在 76 条等角线的可能性？
• RQ4 ETF、SRG 与球面 2 距离集之间是否存在可被用于证明不存在性的联系？
• RQ5 该方法能否被扩展以排除在 ℝ²⁰ 中存在 96 条等角线的可能性？

主要发现

• 在 ℝ¹⁹ 中不存在 76 条等角线，M(19) 的上界被降低至最多 75。
• 强正则图 (75,32,10,16) 的不存在性意味着在 ℝ¹⁹ 中不存在 76 条等角线。
• 作为推论，强正则图 (76,35,18,14) 及其补图 (76,40,18,24) 均不存在。
• 该方法可扩展至证明在 ℝ²⁰ 中不存在 96 条等角线，且强正则图 (96,45,24,18) 与 (96,38,10,18) 也不存在。
• 该论文确认 ETF(19,76,1/5) 不存在，并为分析更高维空间中类似配置提供了框架。
• 结果支持 M(19) = 72 的猜想，因为通过 Witt 设计已可实现 72 条等角线。