[論文レビュー] New Constructions and Characterizations of Flat and Almost Flat Grassmannian Fusion Frames

Emily J. King|arXiv (Cornell University)|Dec 17, 2016

Mathematical Analysis and Transform Methods参考文献 37被引用数 6

ひとこと要約

本稿では、半正則可除差集合を用いて、等弦的および等斜交的タイト融合フレームの新規構成を提示し、平坦かつスパースな表現を可能にする。正規直交基底の代数的整数部分環への属する成分を持つための整数条件を確立し、平坦等角タイトフレームに関する既存の結果を高次元部分空間へ一般化するとともに、このようなフレームが存在するための必要な数論的制約を提示する。

ABSTRACT

Configurations of subspaces like equichordal and equiisoclinic tight fusion frames, which are in some sense optimally spread apart and which also have reconstruction properties emulating those of orthonormal bases, are useful in various applications, such as wireless communications and quantum information theory. In this paper, a new construction of infinite classes of equichordal tight fusion frames built on semiregular divisible difference sets is presented. Sometimes this construction yields an equiisoclinic packing. Each of the constructed fusion frames is shown to have both a flat representation and a sparse representation. Furthermore, integrality conditions which characterize when equichordal and equiisoclinic fusion frames can have orthonormal bases with entries in a subring of the algebraic integers are proven. Keywords: fusion frame, Grassmannian packing, difference sets, simplex bound, equichordal, equiisoclinic

研究の動機と目的

• 半正則可除差集合を用いて、等弦的および等斜交的タイト融合フレームの新たな無限族を構築すること。
• これらの融合フレームのための平坦的かつスパースな行列表現を提供し、実装の容易性を高めること。
• 融合フレーム部分空間の正規直交基底が代数的整数の部分環に属する成分を持つための必要十分な整数条件を導出すること。
• 代数的数論を用いて、平坦等角タイトフレームに関する既知の結果を高次元融合フレームへ一般化すること。
• このような融合フレームが一定またはほぼ一定の絶対値を持つ成分（すなわち平坦またはほぼ平坦なフレーム）で構成可能となる条件を特定すること。

提案手法

• 半正則可除差集合から融合フレームを構成し、弦距離の最小化により最適なパッキングを実現する。
• 差集合から導かれる行列構造の分析を通じて、得られた融合フレームが平坦的およびスパースな表現を有することを証明する。
• トレース恒等式および射影性質を用いて、対応する射影のトレースを表現し、それらを弦距離および斜交距離に関連付ける。
• 特に代数的整数と有理数の交わり（定理21）を用いて、フレームパラメータに対する整数制約を導出する。
• スケーリングされた正規直交基底（√kを用いて）の成分が代数的整数の部分環に属することを活用し、フレームパラメータに対する必要条件を導出する。
• 平坦等角タイトフレーム（m=1）からの結果を高次元融合フレーム（m>1）へ一般化し、等弦的または等斜交的条件のもとで、同じ整数条件が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 半正則可除差集合のような組合せ的設計を用いて、等弦的および等斜交的タイト融合フレームの無限族を体系的に構築できるか？
• RQ2 このような融合フレームが平坦的またはスパースな行列で表現可能となる条件は何か？ これにより、効率的な実装が可能となる。
• RQ3 融合フレーム部分空間の正規直交基底が、絶対値が一定またはほぼ一定の代数的整数の部分環に属する成分を持つための数論的制約は何か？
• RQ4 等斜交的融合フレームにおける平坦性の整数条件は、既知の等角タイトフレーム（m=1）の結果をどのように一般化するか？
• RQ5 実数の平坦タイト融合フレームとハダマード行列の部分行列との間に、整数条件が示唆する構造的関係は存在するか？

主な発見

• 半正則可除差集合を用いた等弦的タイト融合フレームの構成により、平坦的およびスパースな表現を併せ持つ、最適なグラスマンジャンパッキングの無限族が得られる。
• 代数的整数の共役閉部分環に属する成分を持つ正規直交基底を有する等弦的融合フレームでは、$\frac{km(mn-k)}{n-1}$ が整数でなければならない。
• 同じ成分制約の下で等斜交的融合フレームでは、$\frac{k(mn-k)}{n-1}$ が整数でなければならない。これはm=1の場合を一般化する。
• 成分 $\sqrt{k}L_i$ が $q$ 乗単位根（$q=p^s$、$p$ は素数）である場合、$p$ は $nm$ を割り切り、$q=2$ の場合は $4$ が $nm$ を割り切るか、$k=nm=1,2$ でなければならない。これはハダマード行列の制約と整合的である。
• 導出された整数条件は平坦性のための必要条件であり、本稿では実数の平坦タイト融合フレームがハダマード行列の部分行列から生じる必要があると予想している。
• 既存の平坦等角タイトフレームに関する知見（例：[STDJ07]）を高次元融合フレームへ一般化し、平坦性の一般ケースにおいても、同じ代数的数論的制約が支配的であることが示された。