[論文レビュー] Fusion Frames: Existence and Construction

Robert Calderbank, Peter G. Casazza+3 more|ArXiv.org|Jun 30, 2009

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

ひとこと要約

この論文は、ヒルバート空間内の部分空間で構成される一般化フレーム（融合フレーム）の存在と構成法を確立する。特に、信号再構成が恒等写像に基づく逆演算に簡略化されるパーセバル融合フレームに注目する。空間的補完とナイマーク補完の手法を導入し、既存の融合フレームから新たな融合フレームを生成する。また、ほぼすべてのパrameterセットに対して、融合フレーム演算子の指定された固有値を持つ融合フレームを構成するアルゴリズムを提供する。

ABSTRACT

Fusion frame theory is an emerging mathematical theory that provides a natural framework for performing hierarchical data processing. A fusion frame is a frame-like collection of subspaces in a Hilbert space, thereby generalizing the concept of a frame for signal representation. In this paper, we study the existence and construction of fusion frames. We first present a complete characterization of a special class of fusion frames, called Parseval fusion frames. The value of Parseval fusion frames is that the inverse fusion frame operator is equal to the identity and therefore signal reconstruction can be performed with minimal complexity. We then introduce two general methods -- the spatial complement and the Naimark complement -- for constructing a new fusion frame from a given fusion frame. We then establish existence conditions for fusion frames with desired properties. In particular, we address the following question: Given $M, N, m \in \NN$ and $\{λ_j\}_{j=1}^M$, does there exist a fusion frame in $\RR^M$ with $N$ subspaces of dimension $m$ for which $\{λ_j\}_{j=1}^M$ are the eigenvalues of the associated fusion frame operator? We address this problem by providing an algorithm which computes such a fusion frame for almost any collection of parameters $M, N, m \in \NN$ and $\{λ_j\}_{j=1}^M$. Moreover, we show how this procedure can be applied, if subspaces are to be added to a given fusion frame to force it to become Parseval.

研究の動機と目的

• パーセバル融合フレームの完全な特徴付けを確立する。ここで融合フレーム演算子が恒等演算子であるため、信号再構成の計算が最小限に抑えられる。
• 既存の融合フレームから新たな融合フレームを構成する一般化手法（空間的補完とナイマーク補完）を開発する。
• 融合フレームの次元、重み、および融合フレーム演算子の固有値が指定された条件を満たすものとしての存在条件を特定する。
• 融合フレーム演算子の固有値が指定された $ \mathbb{R}^M $ に $ N $ 個の次元 $ m $ の部分空間を持つ融合フレームを構成するアルゴリズムを提供する。
• 既存の融合フレームに部分空間を追加することで、それをパーセバル構成に強制する方法を調査する。

提案手法

• 空間的補完構成法を導入し、融合フレームと補完フレームを組み合わせることで、望ましい性質を持つ新たな融合フレームを生成する。
• ナイマーク補完技術を適用し、双対融合フレーム構造を導出し、等価フレームおよびパーセバル融合フレームの構成を可能にする。
• スペクトル分解と固有値の操作を用いて、融合フレーム演算子が所望の固有値を持つことを保証する。
• 標準基底ベクトルのスパースな線形結合を用いて、融合フレーム部分空間を生成し、計算の効率性を高める。
• 融合フレーム演算子の式 $ S = \sum_{i\in I} v_i P_i $ を適用する。ここで $ P_i $ は部分空間 $ \mathcal{W}_i $ への直交射影である。この式を用いて再構成式を導出する。
• 定理 4.10 の恒等式 $ S + S_1 = A I $ を活用し、固有値 $ \mu_j = A - \lambda_j $ を持つ部分空間を追加することで、タイト性を強制する。

実験結果

リサーチクエスチョン

• RQ1 融合フレーム演算子の指定された固有値を持つ融合フレームが存在する条件は何か？
• RQ2 与えられた融合フレームに部分空間を追加することで、パーセバルにできるか？
• RQ3 融合フレームをタイトまたはパーセバルにするために必要な最小部分空間数は何か？
• RQ4 融合フレーム演算子のスペクトルが所望のものとなるように、融合フレームをどのように構成できるか？
• RQ5 重みと部分空間の次元は、融合フレームの構造とスパarsityを制御するために果たす役割は何か？

主な発見

• パーセバル融合フレームが存在するための必要十分条件は、融合フレーム演算子が恒等演算子であることである。これにより、逆行列を計算せずに再構成が可能になる。
• 空間的補完およびナイマーク補完法により、既存の融合フレームから新たな融合フレームを構成でき、フレーム境界やスペクトル特性を保存または変更することが可能である。
• 本稿では、$ \mathbb{R}^M $ に $ N $ 個の次元 $ m $ の部分空間を持ち、任意の指定された固有値集合 $ \{\lambda_j\}_{j=1}^M $ を持つ融合フレームを構成するアルゴリズムを提供する。これは、ほぼすべてのパrameterの組み合わせに対して有効である。
• 融合フレームをタイトにするために必要な $ m $ 次元部分空間の最小数は $ N_0 - N $ であり、ここで $ N_0 = \frac{AM}{m} $ である。この数は一般条件下で最適である。
• 構成法により、部分空間の生成ベクトルのスパarsityが保証され、実用的な信号処理応用における高速計算を支援する。
• タイト性を達成するためには、追加された部分空間に対して $ \sum_{j=1}^M \mu_j = N_1 m $ という固有値条件が満たされている必要があることが示され、導出されたパrameter制約の必要性が裏付けられた。