[論文レビュー] Lattices from tight equiangular frames

Albrecht Böttcher, Lenny Fukshansky+3 more|arXiv (Cornell University)|Jul 18, 2016

Mathematical Analysis and Transform Methods参考文献 18被引用数 5

ひとこと要約

この論文は、k次元ユークリッド空間における単位のタイトな等角フレームの整数スパンがいつ格子を形成するかを調査する。本論文は、フレーム角度のコサインが無理数である場合にはそのスパンが格子でないことを証明するが、n = k+1 および n = 2k の場合に無限に多くのkに対しては格子であることを示す。主な結果として、(7,28)フレームが21.57%の密度を持つ強くて完全な格子を生成することを構成的に示し、7次元におけるA₇格子やアーベル型に生成される格子を上回る。

ABSTRACT

We consider the set of all linear combinations with integer coefficients of the vectors of a unit tight equiangular $(k,n)$ frame and are interested in the question whether this set is a lattice, that is, a discrete additive subgroup of the $k$-dimensional Euclidean space. We show that this is not the case if the cosine of the angle of the frame is irrational. We also prove that the set is a lattice for $n = k+1$ and that there are infinitely many $k$ such that a lattice emerges for $n = 2k$. We dispose of all cases in dimensions $k$ at most $9$. In particular, we show that a $(7,28)$ frame generates a strongly eutactic lattice and give an alternative proof of Roland Bacher's recent observation that this lattice is perfect.

研究の動機と目的

• 単位のタイトな等角(k,n)フレームの整数スパンがR^kにおける離散加法的部分群（格子）であるかどうかを特定すること。
• そのような格子の幾何的性質、特に最小性、等角性、完全性を分析すること。
• フレームベクトルと生成された格子の最小ベクトルとの関係を調査すること。
• 小さな次元（k ≤ 9）における格子の状態を解明すること、特にn = k+1およびn = 2kの場合に注目すること。
• 直接的な構成と完全性の証明を提供し、バッハの先行結果を補完すること。

提案手法

• 論文は、Gをk×n行列とし、列がf₁,…,fₙを満たすタイトな等角フレーム（TEF）の行列表現を用いる。ここで、GGᵀ = (n/k)IおよびGᵀG = I + (1/α)Cを満たし、Cは対角成分が0で非対角成分が±1である。
• 整数スパンΛ(G) = span_Z{f₁,…,fₙ}を定義し、これが離散的かつ加法について閉じている、つまり格子を形成するかどうかを調査する。
• (7,28)フレームに対して、フレームベクトルから行列Dを構成し、整数演算と行列式の計算によりその逆行列性を証明する。その結果、det D = 3·2¹⁵⁹ ≠ 0が得られる。
• 最小ベクトルが空間を張り、かつフレームベクトルがそれらに含まれることを確認することで、格子Λ(F)が強くて完全であることを確立する。
• 行列式と最小ノルムを含む公式を用いて密度を計算し、21.57%の結果を得る。
• 完全性の証明は直接的かつ構成的であり、バッハの核に基づくアプローチとは対照的である。

実験結果

リサーチクエスチョン

• RQ1 単位のタイトな等角(k,n)フレームの整数スパンがR^kにおける格子である条件は何か？
• RQ2 生成された格子の最小ベクトルの集合に含まれるフレームが生成するフレームはいつか？
• RQ3 (7,28)フレームが生成する格子は完全で強くて完全か？
• RQ4 (7,28)フレームが生成する格子の密度は何か？ 7次元における既知の格子と比較するとどうか？
• RQ5 完全性は、代替的特徴付けに依存せずに、フレーム構成から直接証明可能か？

主な発見

• タイトな等角フレームの整数スパンは、フレームベクトル間の角度のコサインが無理数である場合には格子でない。
• n = k+1の場合は、整数スパンは常に格子を形成する。
• n = 2kの場合に、格子を形成するkが無限に多く存在する。
• (7,28)フレームは、強くて完全な格子を生成し、21.57%の密度を有する。
• この格子は、A₇格子（14.76%）やアーベル型に生成される7次元格子（20.88%）を上回るが、E₇格子の29.53%には及ばない。