[論文レビュー] An open problem concerning operator representations of frames

Ole Christensen, Marzieh Hasannasab|arXiv (Cornell University)|May 1, 2017

Mathematical Analysis and Transform Methods参考文献 7被引用数 3

ひとこと要約

本稿では、$L^2(\mathbb{R})$ 内の過完備 Gabor フレームおよび他の過完備フレームが、有界線形作用素 $T$ とある $\varphi \in L^2(\mathbb{R})$ を用いて $\{T^k\varphi\}_{k=0}^\infty$ の形に表現可能かどうかを調査する。フレーム要素が同一の正規直交基底に属する連続する要素がグループ化されるように順序付けられている場合、$T$ の全射性に関する制約のため、このような表現は不可能であることが示され、過完備 Gabor フレームに対してこのような表現が存在するか否かは未解決の問題として提示されている。

ABSTRACT

Recent research has shown that the properties of overcomplete Gabor frames and frames arising from shift-invariant systems form a precise match with certain conditions that are necessary for a frame in $L^2(\mathbf R)$ to have a representation $\{T^k φ\}_{k=0}^\infty$ for some bounded linear operator $T$ on $L^2(\mathbf R)$ and some $φ\in L^2(\mathbf R).$ However, for frames of this type the existence of such a representation has only been confirmed in the case of Riesz bases. This leads to several open questions connecting dynamical sampling, coherent states, frame theory, and operator theory. The key questions can either be considered in the general functional analytic context of operators on a Hilbert space, or in the specific situation of Gabor frames in $L^2(\mathbf R).$

研究の動機と目的

• 過完備 Gabor フレームが $L^2(\mathbb{R})$ 内で、有界線形作用素 $T$ とある $\varphi \in L^2(\mathbb{R})$ を用いて $\{T^k\varphi\}_{k=0}^\infty$ の形に表現可能かどうかを特定すること。
• 可分ヒルベルト空間内のフレームが、有界作用素 $T$ を用いて $\{T^k\varphi\}_{k=0}^\infty$ の形に表現可能となる条件を調査すること。
• フレーム要素の順序付けが、このような作用素表現の存在に与える役割を検討すること。特に $\mathbb{N}_0$ と $\mathbb{Z}$ のインデックス付けの比較を行うこと。
• このような表現を可能にするフレームの構造的制約、特に合成作用素の核とフレーム過剰性との関係を分析すること。
• 動的サンプリング、一様状態、作用素論における未解決問題を、反復作用素によるフレーム表現に接続することで同定すること。

提案手法

• 合成作用素 $U$ 及びその核 $N_U$ を用いてフレーム表現 $\{T^k\varphi\}_{k=0}^\infty$ を分析し、フレーム過剰性を $\dim(N_U)$ と関連付ける。
• 有界作用素 $T$ が $\{T^k\varphi\}_{k=0}^\infty$ を通じてフレームを生成できるためには、$T$ が全射でなければならないという条件を導出。これは $T$ の像がヒルベルト空間を張らなければならないという要件から生じる。
• フレームを二つの正規直交基底 $\{e_k\}$ 及び $\{\varepsilon_k\}$ に分解し、フレーム列における基底要素間の遷移を分類するためのインデックス集合 $I_1, I_2, I_3, I_4$ を定義する。
• 背理法を用いて、$I_2 = \emptyset$ または $I_4 = \emptyset$ の場合、$T$ は有界ではあり得ず、全射性を満たさないことを示す。
• $\mathbb{N}_0$ インデックスケースと $\mathbb{Z}$ インデックスケースを比較し、$\mathbb{Z}$ インデックスでは特定のフレーム順序（例えば、基底を交互に並べたもの）に対して有界表現が可能である一方、$\mathbb{N}_0$ インデックスでは不可能であることを指摘する。
• 正規双対フレームおよびフレーム作用素 $S = UU^*$ を用いて、フレームの性質と作用素表現との関係を分析する。

実験結果

リサーチクエスチョン

• RQ1 過完備 Gabor フレームが $L^2(\mathbb{R})$ 内で、有界線形作用素 $T$ とある $\varphi \in L^2(\mathbb{R})$ を用いて $\{T^k\varphi\}_{k=0}^\infty$ の形に表現可能かどうか。
• RQ2 フレーム要素の順序付けが、有界作用素 $T$ が存在して $\{T^k\varphi\}_{k=0}^\infty$ がフレームを生成するのを妨げる構造的条件は何か。
• RQ3 $\mathbb{N}_0$ インデックスと $\mathbb{Z}$ インデックスの違いが、特にシフト不変または Gabor フレームに対して、このような作用素表現の可能性に顕著な影響を与えるか。
• RQ4 可分ヒルベルト空間内のフレームが、有界作用素 $T$ を用いて $\{T^k\varphi\}_{k=0}^\infty$ の形に表現可能となる一般の特徴づけは可能か。
• RQ5 二つの正規直交基底の和集合として得られるフレームが、同じ基底に属する連続する要素がグループ化されるように順序付けられている場合でも、このような表現を許容するか。もし許容されないなら、その理由は何か。

主な発見

• 二つの正規直交基底 $\{e_k\}$ 及び $\{\varepsilon_k\}$ の和集合として得られるフレーム $\{f_k\}_{k=1}^\infty$ は、フレーム要素が同一の正規直交基底に属する連続する要素がグループ化されるように順序付けられている場合、$I_2 = \emptyset$ または $I_4 = \emptyset$ であると、有界作用素 $T$ を用いた $\{T^k\varphi\}_{k=0}^\infty$ の表現は不可能である。ここで $I_2$ 及び $I_4$ は、連続する要素が同じ正規直交基底に属するインデックスを表す。
• このような表現が存在するためには作用素 $T$ が全射でなければならない。$I_2 = \emptyset$ かつ $I_4 = \emptyset$ の場合、$T$ の像は真の閉部分空間に含まれるため、全射性に反する。
• $\mathbb{Z}$ インデックスケースでは、二つの正規直交基底を交互に並べた順序に対しても、このような表現が可能である（例 2.4 を参照）。これは $\mathbb{N}_0$ と $\mathbb{Z}$ のインデックス付けの間で顕著な違いを示している。
• この結果は、有界作用素表現の存在がフレーム要素の順序付けに極めて依存しており、特定の順序（例えば、同じ基底の要素をグループ化する順序）はこのような表現と両立できないことを示唆している。
• 本稿では、合成作用素の核によって定式化された「すべての方向に無限の過剰性」を持つフレームのみが、このような表現を潜在的に許容すると示している。過完備フレーム、例えば Gabor システムは、これらの条件を満たす可能性がある。
• 未解決の問題として残っている：過完備 Gabor フレームは、このような表現に必要な条件を満たしているが、実際に有界 $T$ を用いた $\{T^k\varphi\}_{k=0}^\infty$ の表現を許容するかどうかは不明のままである。