[論文レビュー] Construction of Continuous Frames in Hilbert spaces

Asghar Rahimi, Bayaz Daraby+1 more|arXiv (Cornell University)|Jun 29, 2016

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

ひとこと要約

本稿では、測度空間 $(\Omega, \mu)$ とヒルバート空間の次元に関する条件を確立することにより、分離可能なヒルバート空間における連続フレームの構成を行う。$\mu(\Omega) < \infty$ かつ $\dim\mathcal{H} < \infty$ のとき、可測な分割上での正規化により離散的ベッセル列を連続フレームに変換でき、明示的なフレーム境界が得られる。

ABSTRACT

Extending the concept of frame to continuous frame, in this manuscript we will show that under certain conditions on the measure of $Ω$ and the dimension of $\h$ we can construct continuous frames. Also, some examples are given.

研究の動機と目的

• 測度論的構成を用いて、分離可能なヒルバート空間における離散的フレームの概念を連続フレームへと拡張すること。
• 連続フレームの存在に必要な十分条件を測度空間 $\Omega$ およびヒルバート空間 $\mathcal{H}$ に対して特定すること。
• $\mu(\Omega) < \infty$ および $\dim\mathcal{H} < \infty$ の制約下で、離散的ベッセル列が連続フレームとして再解釈可能であることを示すこと。
• ウェーブレットおよびガボール系を標準的モデルとして用いて、連続フレームの構成的例を提供すること。

提案手法

• 弱可測性およびフレーム境界 $A, B > 0$ を満たすことで連続フレームを定義し、すべての $f \in \mathcal{H}$ に対して $A\|f\|^2 \leq \int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) \leq B\|f\|^2$ が成り立つようにする。
• $\{f_k\}$ を離散的ベッセル列とするとき、$\omega \in \Omega_k$ に対して $F(\omega) = \frac{1}{\sqrt{\mu(\Omega_k)}} f_k$ と定義することで $F: \Omega \to \mathcal{H}$ を構成する。
• $\Omega$ の $\sigma$-有限性および有限測度を用いて、正規化の下でベッセル性およびフレーム境界が保たれることを保証する。
• フレーム作用素 $S_F$ を $S_F f = \int_\Omega \langle f, F(\omega)\rangle F(\omega) d\mu(\omega)$ で定義し、再構成公式を導出する。
• 既知の連続ウェーブレット変換および短時間フーリエ変換（STFT）の結果を応用し、ウェーブレットおよびガボール系が特定の測度に関して連続フレームであることを示す。
• 積分を分割された集合への和に還元することで、構築された $F$ が連続フレーム不等式を満たすことを確認し、フレーム境界が保たれることを検証する。

実験結果

リサーチクエスチョン

• RQ1 測度空間 $\Omega$ およびヒルバート空間 $\mathcal{H}$ に対して、どのような条件下で離散的ベッセル列が連続フレームに変換可能か。
• RQ2 $\mu(\Omega) < \infty$ および $\mathcal{H}$ の次元性が連続フレームの存在にどのように影響するか。
• RQ3 ウェーブレットやガボールフレームなどの標準的信号処理系が、自然に連続フレームとして解釈可能か。
• RQ4 元の離散的列のフレーム境界と、得られる連続フレームの境界との関係は何か。
• RQ5 プリフレーム作用素および解析作用素を用いて、連続フレームの有界性および構造をどのように特徴づけられるか。

主な発見

• $\mu(\Omega) < \infty$ かつ $\dim\mathcal{H} < \infty$ のとき、境界 $A, B$ を持つ離散的ベッセル列 $\{f_k\}$ は、同じ境界 $A$ および $B$ を持つ連続フレーム $F$ を誘導する。
• 構築された連続フレームは、すべての $f \in \mathcal{H}$ に対して $\int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) = \sum_k |\langle f, f_k\rangle|^2$ を満たし、フレーム不等式が保存される。
• $\mu(\Omega) < \infty$ かつ $\dim\mathcal{H} = \infty$ の場合、下界が欠落するため、完全な連続フレームではなく、単なるベッセル写像にとどまる。
• 適切なウェーブレット $\psi$ を持つウェーブレット系は、測度 $\frac{da\,db}{a^2}$ に関して $L^2(\mathbb{R})$ 上で連続タイトフレームをなし、フレーム境界は $1/C_\psi$ である。
• ガボール系 $\{M_b T_a g\}$ は、$\mathbb{R}^2$ 上のLebesgue測度に関して $L^2(\mathbb{R})$ 上で連続フレームをなし、フレーム境界は $\|g\|^2$ である。
• フレーム作用素 $S_F$ は有界で、正定値かつ可逆であり、任意の $f \in \mathcal{H}$ に対して $f = \int_\Omega \langle f, F(\omega)\rangle S_F^{-1}F(\omega) d\mu(\omega)$ により再構成可能である。