[論文レビュー] 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 であり、n = 43 のとき 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 における M(n) に対して、Gerzonの上限および古典的線形計画法の上限を改善する。
• 従来の上限が緩やかまたは発散していた特定の次元において、等角線集合の正確な最大サイズを特定する。

提案手法

• 等角線問題を半正定値計画法（SDP）の緩和問題として定式化し、M(n) の上界を導出する。
• SDP手法を用いて、内積 α = 1/5 および α = 1/7 を持つ等角線集合の上限を計算し、特に次元 24 ≤ n ≤ 136 において有効であることを示す。
• Gegenbauer多項式に基づく線形計画法（LP）の上限を基準とし、k = 3,4,5 以降においてSDPが厳密にきつい結果をもたらすことを示す。
• Gₖⁿ(a) < 0 となる偶数 k における 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 k = 4 の普遍的な最適な Gegenbauer係数インデックスが、さまざまな次元と角度において、最もきついLPの上限をもたらすか？

主な発見

• 次元 24 ≤ n ≤ 41 における等角線の最大数は、すべて 276 に正確に等しく、長年の未解決事項が解消された。
• n = 43 の場合、等角線の最大数は正確に 344 であり、Lemmens-Seidel予想の特定のケースが確認された。
• 次元 44 ≤ n ≤ 136 において、SDP手法はGerzonの上限を改善し、以前に正確な値が得られていなかった新たな上界を提供した。
• n = 71 の場合、SDPの上限は M₁/₅(71) ≤ 416 を与え、LPの上限 876 よりも著しくきつくなった。
• k = 3,4,5 および k ≤ 54 の範囲で、SDPの上限はLPの上限を厳密に上回り、LPの上限が常にタイトではないことを示した。
• 本論文は、23 ≤ n ≤ 60 の範囲で M₁/₅(n) = 276 であることを確認し、Lemmens-Seidel予想がこの範囲で支持された。