[论文解读] New Upper Bounds for Equiangular Lines by Pillar Decomposition

Emily J. King, Xiaoxian Tang|arXiv (Cornell University)|Jun 10, 2016

graph theory and CDMA systems被引用 3

一句话总结

本文提出了一种新颖的柱分解方法，以推导出ℝʳ中等角线最大数量的更紧上界，优于Gerzon界和现有的半定规划（SDP）界。通过分析与负团的内积，并结合组合与线性代数技术，作者建立了显式且非平凡的上界，这些上界在较大维度下显著小于SDP结果，尤其在角度为arccos(1/5)和arccos(1/7)时表现突出。

ABSTRACT

We derive a procedure for computing an upper bound on the number of equiangular lines in various Euclidean vector spaces by generalizing the classical pillar decomposition developed by (Lemmens and Seidel, 1973); namely, we use linear algebra and combinatorial arguments to bound the number of vectors within an equiangular set which have inner products of certain signs with a negative clique. After projection and rescaling, such sets are also certain spherical two-distance sets, and semidefinite programming techniques may be used to bound the size. Applying our method, we prove new relative bounds for the angle arccos(1/5). Experiments show that our relative bounds for all possible angles are considerably less than the known SDP bounds for a range of larger dimension r. Our computational results also show an explicit bound on the size of a set of equiangular lines regardless of angle, which is strictly less than the well-known Gerzon's bound if r+2 is not a square of an odd number.

研究动机与目标

• 开发一种广义的柱分解方法，以计算ℝʳ中等角线最大数量的更紧上界。
• 改进经典Gerzon界和现有半定规划（SDP）界对等角线集合的上界。
• 为sₐ(r)提供显式、可计算的上界，当r+2不是奇数的平方时，其严格小于Gerzon的界。
• 证明新界在较大维度下始终优于SDP界，尤其在α = 1/5和α = 1/7时。
• 建立一个结合线性代数、组合数学与半定规划的框架，用于界定由等角线导出的球面二距离集。

提出的方法

• 通过分析相对于负团具有特定内积符号的向量，推广Lemmens和Seidel的经典柱分解方法。
• 使用投影与缩放，将等角线集合与球面二距离集关联，从而可应用半定规划技术。
• 应用组合论证，基于内积结构与团的性质，界定等角集合的大小。
• 通过涉及m的代数表达式导出显式上界，其中m为满足(2m+1)² ≤ r+2的最大整数。
• 使用SDP求解器（如通过CVX 3.0调用的sdpt3）计算并比较界，结果四舍五入至最近整数。
• 通过实验验证结果，覆盖维度44 ≤ r ≤ 400，将新界与标准SDP界及Gerzon界进行比较。

实验结果

研究问题

• RQ1 柱分解能否被广义化，以获得比现有半定规划方法更紧的等角线界？
• RQ2 在哪些维度r下，新界严格小于Gerzon的界，且在何种条件下发生？
• RQ3 对于α = 1/5和α = 1/7，在大维度r（如r ≥ 44）下，新界与SDP界相比如何？
• RQ4 该方法能否产生对sₐ(r)的非平凡、显式上界，且在高维中计算可行且优于SDP？
• RQ5 当SDP求解器失效时（如r > 250），新方法的性能如何？

主要发现

• 当r = 137时，新界为2015，而SDP界为9528，显示出显著改进。
• 对于所有满足44 ≤ r ≤ 400且r+2不是奇数平方的r，新界严格小于Gerzon的界。
• 当r = 44至46、76至78、117至118、166、222、286和358时，界由公式4r(m+1)(m+2)/((2m+3)²−r)给出，其中m为满足(2m+1)² ≤ r+2的最大整数。
• 对于其他满足44 ≤ r ≤ 400的r，界由公式((2m+1)²−2)((2m+1)²−1)/2给出，其中m定义同上。
• 对于r ≥ 94（α = 1/5）和r ≥ 235（α = 1/7），新界始终小于SDP界，且在更高维度中差距进一步扩大。
• 对于α < 1/7，SDP界在测试范围（r ≤ 400）内仍低于Gerzon的界，表明该方法的优势在较大角度时最为显著。