[论文解读] New bounds for equiangular lines and spherical two-distance sets

Wei-Hsuan Yu|arXiv (Cornell University)|Sep 5, 2016

Mathematical Approximation and Integration参考文献 11被引用 3

一句话总结

本论文通过符号半定规划松弛方法，建立了 ℝⁿ 中等角线的新上界，证明了对于任意整数 a ≥ 3 且维度 n 属于区间 [a²−2, 3a²−16]，角度为 arccos(1/a) 的等角线最大数量至多为 ½(a²−2)(a²−1)。这些上界适用于无穷多个维度，并可推广至球面上的二距离集，将已知结果的适用范围扩展至 n ≤ 417。

ABSTRACT

A set of lines in $\mathbb{R}^n$ is called equiangular if the angle between each pair of lines is the same. We derive new upper bounds on the cardinality of equiangular lines. Let us denote the maximum cardinality of equiangular lines in $\mathbb{R}^n$ with the common angle $\arccos α$ by $M_α(n)$. We prove that $M_{\frac 1 a} (n) \leq \frac 1 2 ( a^2-2) ( a^2-1)$ for any $n \in \mathbb{N}$ in the interval $a^2 -2 \leq n \leq 3 a^2-16$ and $a \geq 3$. Moreover, we discuss the relation between equiangular lines and spherical two-distance sets and we obtain the new results on the maximum spherical two-distance sets in $\mathbb{R}^n$ up to $n \leq 417$.

研究动机与目标

• 推导 ℝⁿ 中等角线最大数量的新上界，适用于无穷多个维度，不限于有限情形。
• 建立等角线与球面上二距离集之间的联系，将后者在 n≤417 范围内的上界扩展。
• 提供无需依赖凸优化软件的手算上界，通过半定规划的符号松弛实现。
• 通过证明某些线集在 n=14, 16, 19, 20 和 42 等维度中不存在，解决等角线构型中的开放问题。
• 支持一个猜想：当 n 较大时，ℝⁿ 中等角线的最大大小由最接近的奇数倒数角度决定。

提出的方法

• 推导符号半定规划松弛，避免依赖 CVX 等数值求解器。
• 将松弛方法应用于与等角线构型相关的矩阵不等式，获得在维度区间内有效的上界。
• 利用从 SDP 约束代数化简得到的不等式 M₁/ₐ(n) ≤ ½(a²−2)(a²−1)，其中 a ≥ 3 且 n ∈ [a²−2, 3a²−16]。
• 借助等角线与球面上二距离集之间的对偶性，将上界从一个问题传递到另一个问题。
• 应用相对界公式 fₐ(n) = n(1−a²)/(1−na²)，并证明其在 n 和 a 上的单调性，以支持区间主导性。
• 通过已知上界及先前研究（如 [7], [14]）的数值验证，结果在 n≤400 范围内成立。

实验结果

研究问题

• RQ1 在无穷多个维度下，ℝⁿ 中等角线数量的最紧致上界是什么？
• RQ2 符号半定规划松弛能否在不使用数值求解器的情况下，产生可手算的上界？
• RQ3 等角线的上界与 ℝⁿ 中球面上二距离集的最大大小之间有何关系？
• RQ4 在哪些维度 n 下，Gerzon 上界 M(n) = n(n+1)/2 无法实现？我们能否证明接近该上界的构型不存在？
• RQ5 是否存在一个基于奇数倒数的通用上界模式，适用于 n 的大范围区间？

主要发现

• 对于任意整数 a ≥ 3 且 n ∈ [a²−2, 3a²−16]，角度为 arccos(1/a) 的等角线最大数量至多为 ½(a²−2)(a²−1)，构成了一类全新的无穷上界族。
• 当 a=3（角度为 arccos(1/3)）时，上界给出 M₁/₃(n) ≤ 28，适用于维度 7 ≤ n ≤ 11，优于先前结果。
• 当 a=5 时，上界给出 M₁/₅(n) ≤ 276，适用于 23 ≤ n ≤ 59，将已知结果扩展至先前未覆盖的范围。
• 本文证明，在 ℝⁿ 中球面上二距离集的最大大小为 n(n+1)/2，适用于 7 ≤ n ≤ 417，但当 n = (2k+1)²−3（k=2 到 9）时，适用更紧的上界。
• 结果确认：在 ℝ¹⁴ 中不存在 30 条等角线，在 ℝ¹⁶ 中不存在 42 条，在 ℝ¹⁹ 中不存在 76 条，在 ℝ²⁰ 中不存在 96 条，解决了多个开放问题。
• 若在 ℝⁿ 中存在一个紧致的球面 5 设计，且 n = (2k+1)²−2，则对所有 n ∈ [n, 3(2k+1)²−16]，有 M(n) = ½((2k+1)²−2)((2k+1)²−1)，一次性解决了超过 200 个情形。