[論文レビュー] Upper bounds for $s$-distance sets and equiangular lines

Alexey Glazyrin, Wei-Hsuan Yu|arXiv (Cornell University)|Nov 29, 2016

Mathematical Approximation and Integration参考文献 37被引用数 16

ひとこと要約

本稿は、コンパクトな2点推移可能空間における$ s $-距離集合の上限を導出するため、ゾーン球関数を用いた新規手法を提示する。$ \mathbb{R}^n $における球面的2距離集合の最大サイズは、すべての$ n \geq 7 $に対して$ \frac{n(n+1)}{2} $であることが証明され、$ n = (2k+1)^2 - 3 $を除き例外は存在しない。また、角度$ \alpha = \frac{1}{a} $の等角集合に対して、普遍的な上限$ \sim\frac{2}{3}na^2 $を確立し、この上限に達するすべての等角集合を分類する。

ABSTRACT

The set of points in a metric space is called an $s$-distance set if pairwise distances between these points admit only $s$ distinct values. Two-distance spherical sets with the set of scalar products $\{α, -α\}$, $α\in[0,1)$, are called equiangular. The problem of determining the maximum size of $s$-distance sets in various spaces has a long history in mathematics. We suggest a new method of bounding the size of an $s$-distance set in compact two-point homogeneous spaces via zonal spherical functions. This method allows us to prove that the maximum size of a spherical two-distance set in $\mathbb{R}^n$, $n\geq 7$, is $\frac{n(n+1)}2$ with possible exceptions for some $n=(2k+1)^2-3$, $k \in \mathbb{N}$. We also prove the universal upper bound $\sim \frac 2 3 n a^2$ for equiangular sets with $α=\frac 1 a$ and, employing this bound, prove a new upper bound on the size of equiangular sets in all dimensions. Finally, we classify all equiangular sets reaching this new bound.

研究の動機と目的

• コンパクトな2点推移可能空間、特に球面上における$ s $-距離集合のサイズに対するタイトな上限を確立すること。
• $ n \geq 7 $における$ \mathbb{R}^n $内での2距離集合の最大サイズに関する長年の予想を解消すること。例外は有限個に限られる。
• 特に大きな$ n $に対して、$ \mathbb{R}^n $内での等角直線の一般上限を改善し、極値的構成を分類すること。
• ゾーン球関数に基づく新しい代数的枠組みを通じて、等角集合と強正則グラフ、球面デザインを結びつけること。

提案手法

• コンパクトな2点推移可能空間におけるゾーン球関数を活用し、線形計画法に類似した不等式を用いて$ s $-距離集合のサイズを制限する。
• 調和解析と表現論を応用して、特に$ s=2 $の場合の球面的$ s $-距離集合の上限を導出する。
• 等角集合とタイトな球面的4デザインの関係を活用し、極値的構成を分析する。
• 特に強正則グラフの性質を用いたスペクトルグラフ理論を駆使し、新たな上限に達する等角集合を特徴付ける。
• すべての$ n $に対して有効な普遍的な上限$ \sim\frac{2}{3}na^2 $を、内積が$ \pm\frac{1}{a} $である等角集合に対して導出する。
• 関連する強正則グラフのパラメータを分析することで、この上限に達するすべての等角集合を分類する。

実験結果

リサーチクエスチョン

• RQ1 すべての$ n \geq 7 $に対して、$ \mathbb{R}^n $内での2距離集合の最大サイズは何か？また、$ n = (2k+1)^2 - 3 $を除き、その他の例外は存在するか？
• RQ2 古典的なゲルツォンの上限は、漸近的に改善可能か？$ M(n) $の正確な増加率は何か？
• RQ3 等角集合が$ \alpha = \frac{1}{a} $のとき、新たな上限$ \sim\frac{2}{3}na^2 $に到達する条件は何か？
• RQ4 2距離集合には、タイトな球面的4デザインであるか、単体の中点の部分集合であるという構造的二分法が存在するか？
• RQ5 $ \limsup_{n \to ∞} \frac{M(n)}{n^2} $の正確な漸近的挙動は何か？また、$ \alpha = \frac{1}{a} $のとき、$ a $に依存してどのように変化するか？

主な発見

• すべての$ n \geq 7 $に対して、$ \mathbb{R}^n $内での球面的2距離集合の最大サイズは$ \frac{n(n+1)}{2} $であり、$ n = (2k+1)^2 - 3 $でのみ例外が存在する可能性がある。
• すべての$ n $に対して、内積が$ \pm\frac{1}{a} $である等角集合に対して、普遍的な上限$ \sim\frac{2}{3}na^2 $が確立された。
• この上限に達するすべての等角集合は分類され、パラメータ$ (N,k,\frac{3k-N-1}{2},\frac{k}{2}) $の強正則グラフから生じることが示された。
• $ n \in [47,75] $では$ M(n) \leq 1127 $、$ n \in [79,116] $では$ M(n) \leq 3159 $、$ n \in [167,221] $では$ M(n) \leq 14027 $である。これは特定の構成の非存在に起因する。
• 固定された$ a $に対して、$ n $が大きいとき、$ \sim\frac{2}{3}na^2 $の上限はゲルツォンの上限$ \binom{n+1}{2} $を上回り、$ \frac{1}{3} \leq \limsup_{n \to ∞} \max_a \frac{M_{1/a}(n)}{na^2} \leq \frac{2}{3} $の関係が確立された。
• 本稿は、強正則グラフを用いた等角フレームの分類について、従来の結果に依存しない、完全に自己完結的な証明を提供する。