[论文解读] 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 是否存在实平坦紧融合框架与Hadamard矩阵子矩阵之间的结构联系，如整数条件所暗示的那样？

主要发现

• 通过半正则可除差集构造等弦长紧融合框架，可得到无限族最优格拉斯曼打包，且同时具有平坦和稀疏表示。
• 对于正交基元素属于代数整数共轭闭子环的等弦长融合框架，表达式 $\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$，与Hadamard矩阵约束一致。
• 所推导的整数条件是平坦性的必要条件，本文猜想实平坦紧融合框架必须源自Hadamard矩阵的子矩阵。
• 结果将先前关于平坦等角紧框架（如 [STDJ07]）的发现推广至高维融合框架，表明在一般情况下，相同的代数数论约束控制着平坦性。