[论文解读] New bounds for equiangular lines

Alexander Barg, Wei-Hsuan Yu|arXiv (Cornell University)|Nov 13, 2013

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

一句话总结

本文利用半定规划（SDP）建立了 ℝⁿ 中等角线最大数量的新上界，解决了此前未解决的案例：当 24 ≤ n ≤ 41 时，M(n) = 276，且 M(43) = 344。该研究改进了 Gerzon 上界，并部分证实了 Lemmens-Seidel 猜想，表明对于等角线集合，SDP 所得上界比经典线性规划方法更为紧致。

ABSTRACT

A set of lines in $\mathbb{R}^n$ is called equiangular if the angle between each pair of lines is the same. We address the question of determining the maximum size of equiangular line sets in $\mathbb{R}^n$, using semidefinite programming to improve the upper bounds on this quantity. Improvements are obtained in dimensions $24 \leq n \leq 136$. In particular, we show that the maximum number of equiangular lines in $\mathbb{R}^n$ is $276$ for all $24 \leq n \leq 41$ and is 344 for $n=43.$ This provides a partial resolution of the conjecture set forth by Lemmens and Seidel (1973).

研究动机与目标

• 利用半定规划（SDP）确定 ℝⁿ 中等角线最大数量的更紧致上界。
• 解决关于内积为 arccos(1/5) 与 arccos(1/7) 的等角线集合的 Lemmens-Seidel 猜想中此前未解决的案例。
• 在维度 24 ≤ n ≤ 136 范围内，改进 Gerzon 上界与经典线性规划上界对 M(n) 的估计。
• 对先前上界松散或发散的特定维度，刻画等角线集合的确切最大大小。

提出的方法

• 将等角线问题表述为半定规划（SDP）松弛，以推导 M(n) 的上界。
• 应用 SDP 方法计算内积 α = 1/5 与 α = 1/7 的等角线集合在维度 24 ≤ n ≤ 136 范围内的上界。
• 以基于 Gegenbauer 多项式的线性规划（LP）上界为基线，证明 SDP 所得结果在 k = 3,4,5 及更高时严格更优。
• 通过计算在 Gₖⁿ(a) < 0 时 1/|Gₖⁿ(a)| 的最小值，推导 LP 上界，并与 SDP 结果进行比较。
• 验证当 k ≤ 54 且 n = 3(2k−1)²−4 ≤ 34343 时，SDP 上界优于 LP 上界。
• 利用 SDP 框架证明：M₁/₅(71) ≤ 416，M₁/₇(143) ≤ 1506，且 M₁/₉(239) ≤ 3902，三者均低于 LP 上界。

实验结果

研究问题

• RQ1 在维度 24 ≤ n ≤ 41 时，ℝⁿ 中等角线的最大数量是多少？此前的上界存在不确定性。
• RQ2 半定规划能否改进等角线集合的经典 Gerzon 上界与线性规划上界？
• RQ3 Lemmens-Seidel 猜想中 M₁/₅(n) = 276（23 ≤ n ≤ 185）是否成立？能否部分证实？
• RQ4 在等角线集合的背景下，SDP 上界在哪些维度上严格优于 LP 上界？
• RQ5 是否存在一个通用的最优 Gegenbauer 系数索引 k = 4，使得其在一系列维度与角度下产生最紧致的 LP 上界？

主要发现

• 在所有维度 24 ≤ n ≤ 41 中，等角线的最大数量恰好为 276，解决了长期悬而未决的开放问题。
• 当 n = 43 时，等角线的最大数量恰好为 344，证实了 Lemmens-Seidel 猜想的特定情况。
• 对于所有维度 44 ≤ n ≤ 136，SDP 方法均优于 Gerzon 上界，提供了此前未知的确切上界。
• 当 n = 71 时，SDP 上界给出 M₁/₅(71) ≤ 416，显著优于 LP 上界 876。
• SDP 上界在 k = 3,4,5 时严格优于 LP 上界，并可扩展至 k ≤ 54，表明 LP 上界并非始终紧致。
• 本文证实：在 23 ≤ n ≤ 60 范围内，M₁/₅(n) = 276，支持了 Lemmens-Seidel 猜想在此区间内的成立。