[論文レビュー] Equiangular lines, Incoherent sets and Quasi-symmetric designs

Neil I. Gillespie|arXiv (Cornell University)|Sep 15, 2018

Mathematical Approximation and Integration参考文献 27被引用数 5

ひとこと要約

本稿は、$\mathbb{R}^d$ における等角線が絶対的上限 $d(d+1)/2$ と非整合性上限 $d$ の両方を達成するための必要十分条件が、$d = 2, 3, 7,$ もしくは $23$ であることを確立した。これは長年の分類問題を解決するものであり、このような集合がタイトな球面5デザインおよび準対称デザインと関連していることを示し、両方の上限を達成する配置が存在するのはこれらの次元に限られ、さらに追加の仮定のもとで $\mathbb{R}^6$ における最大16本の線集合が唯一の追加例であるという驚くべき結果を得た。

ABSTRACT

The absolute upper bound on the number of equiangular lines that can be found in $\mathbf{R}^d$ is $d(d+1)/2$. Examples of sets of lines that saturate this bound are only known to exist in dimensions $d=2,3,7$ or $23$. By considering the additional property of incoherence, we prove that there exists a set of equiangular lines that saturates the absolute bound and the incoherence bound if and only if $d=2,3,7$ or $23$. This allows us classify all tight spherical $5$-designs $X$ in $\mathbf{S}^{d-1}$, the unit sphere, with the property that there exists a set of $d$ points in $X$ whose pairwise inner products are positive. For a given angle $κ$, there exists a relative upper bound on the number of equiangular lines in $\mathbf{R}^d$ with common angle $κ$. We prove that classifying sets of lines that saturate this bound along with the incoherence bound is equivalent to classifying certain quasi-symmetric designs, which are combinatorial designs with two block intersection numbers. Given a further natural assumption, we classify the known sets of lines that saturate these two bounds. This family comprises of the lines mentioned above and the maximal set of $16$ equiangular lines found in $\mathbf{R}^6$. There are infinitely many known sets of lines that saturate the relative bound, so this result is surprising. To shed some light on this, we identify the $E_8$ lattice with the projection onto an $8$-dimensional subspace of a sublattice of the Leech lattice defined by $276$ equiangular lines in $\mathbf{R}^{23}$. This identification leads us to observe a correspondence between sets of equiangular lines in small dimensions and the exceptional curves of del Pezzo surfaces.

研究の動機と目的

• 等角線の集合が、$\mathbb{R}^d$ において絶対的上限 $d(d+1)/2$ と非整合性上限 $d$ の両方を同時に達成する場合を分類すること。
• 正の pairwise 内積を持つ $d$ 点を含むタイトな球面5デザインが存在する次元 $d$ を特定すること。
• 等角線の集合が相対的上限を達成する場合と、特定の2つのブロック交差数を持つ準対称デザインとの間の対応関係を確立すること。
• 特に $d=839$ のような高次元におけるこのような配置の存在を調査し、以前の予想の妥当性を評価すること。

提案手法

• スペクトルグラフ理論および実内積空間上の線形代数を用いて、等角線の集合が絶対的上限と非整合性上限の両方を達成するのは $d=2,3,7,23$ のみであることを証明する。
• タイトな球面5デザインと絶対的上限を達成する等角線集合との同値性を用い、$d$ 点の間で正の内積を持つ条件のもとで、このようなデザインを分類する。
• 相対的上限を達成する等角線の集合と、2つのブロック交差数を持つ特定の準対称2デザインとの間の全単射を確立する。
• Calderbank, Blokhuis, および Frankl が得た数論的および組合せ論的制約を適用し、特に $i \equiv 4 \mod 8$ または $i \equiv 2 \mod 4$ の場合の準対称デザインのパラメータ族を除外する。
• 23次元空間における276本の等角線によって定義されるLeech格子の部分格子の射影として $E_8$ 格子が特定され、例外的格子と等角線系との間の深い幾何的関係が明らかになった。
• 整数 $i$ を用いた多項式パラメータ化により、準対称デザインおよび等角線の候補族を生成し、合同性および符号理論的障害を用いてその存在を分析する。

実験結果

リサーチクエスチョン

• RQ1 どの次元 $d$ において、$\mathbb{R}^d$ における等角線の集合が、絶対的上限 $d(d+1)/2$ と非整合性上限 $d$ の両方を同時に達成するか？
• RQ2 球面 $\mathbb{S}^{d-1}$ におけるタイトな球面5デザインで、$d$ 個の点がすべてのペアワイズ内積が正であるものを含むのはどの場合か？
• RQ3 $d=2,3,7,23$ および $\mathbb{R}^6$ の既知の例以外に、相対的上限と非整合性上限の両方を達成する等角線の集合は存在するか？
• RQ4 このような配置の存在が、2つのブロック交差数を持つ組合せデザインと関連づけられるか。もしそうならば、どのパラメータ族が可能か？
• RQ5 $\mathbb{R}^{839}$ に絶対的上限を達成する等角線の集合が存在するか。これは予想8.4にどのような含意をもたらすか？

主な発見

• 等角線が $\mathbb{R}^d$ で絶対的上限 $d(d+1)/2$ と非整合性上限 $d$ の両方を達成するのは、$d = 2, 3, 7,$ または $23$ のみであり、それ以外の次元では両条件を満たさない。
• 相対的上限と非整合性上限の両方を達成する等角線の集合として、$d=2,3,7,23$ の場合に加え、$\mathbb{R}^6$ における最大16本の線集合が唯一の追加例であり、これは一意なパラメータ族に対応する。
• 正のペアワイズ内積を持つ $d$ 点を含むタイトな球面5デザインは、$\mathbb{S}^{d-1}$ に存在するのは $d=2,3,7,23$ のみであり、それらは対応する等角線集合と等長である。
• 整数 $i$ をパラメータとする準対称デザインの族では、CalderbankとBlokhuisの必要条件を満たすが、[14] の合同性障害により $i \equiv 4 \mod 8$（ファミリー1）および $i \equiv 2 \mod 4$（ファミリー2）の場合は存在が除外される。
• $E_8$ 格子は、23次元空間における276本の等角線によって定義されるLeech格子の部分格子の射影として特定され、例外的格子と等角線系との間の深い関係が明らかになった。
• 相対的上限と非整合性上限を満たすパラメータセットは無限に存在するが、実際に線の配置を形成するのは $d=2,3,7,23$ および $\mathbb{R}^6$ のみであり、無限族の中での驚くべき有限性が浮き彫りになった。