[論文レビュー] Exponential frames for unbounded sets

Shahaf Nitzan, Alexander Olevskiı̆+1 more|arXiv (Cornell University)|Oct 21, 2014

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

ひとこと要約

本稿は、任意の非有界かつ有限測度を持つボレル集合 $ S \subset \mathbb{R} $ に対して、実数の離散的周波数集合 $ \Lambda \subset \mathbb{R} $ が存在し、指数関数系 $ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ が $ L^2(S) $ でフレームをなすことを証明する。この構成は、マーカス、スプレイマン、スリヴァスタヴァによる良好に可逆な部分行列に関する最近の進展に依拠しており、フレームの下限と上限が $ |S| $ に比例することを保証する。これにより、サンプリングと再構成におけるほぼ最適な安定性が達成される。

ABSTRACT

For every set $S$ of finite measure in $\mathbb{R}$ we construct a discrete set of real frequencies $Λ$ such that the exponential system $\{\exp(iλt),λ\inΛ\}$ is a frame in $L^2(S)$

研究の動機と目的

• 非有界かつ有限測度の集合 $ S \subset \mathbb{R} $ に対して、$ L^2(S) $ に指数関数的フレームが存在するかどうかという未解決問題を解消すること。
• フレームの下限と上限が $ |S| $ に比例するようにすることにより、最適性に近づけること。
• パレーゼ＝ウイーナー空間のための安定的サンプリング集合の理論を、非有界スペクトルへと拡張すること。
• 良好に可逆な部分行列に関する最近の結果を活用し、確率的技法を用いた非構成的構成により、このようなフレームを構成すること。

提案手法

• 正規直交行列の良好に可逆な部分行列に関するマーカス、スプレイマン、スリヴァスタヴァの定理 A を用い、フレームの下限と上限を制御する。
• 補題 B を用いた分割法により、指数関数系をバランスの取れた部分集合に再帰的に分割し、制御されたフレーム性質を保つ。
• スペクトル分解とフーリエ解析を用い、$ L^2(S) $ におけるフレーム性質をパレーゼ＝ウイーナー空間 $ PW_S $ におけるサンプリングに結びつける。
• 弱収束の議論を用い、有限近似 $ \Lambda_k $ の列から極限周波数集合 $ \Lambda $ を抽出し、極限においてもフレームの下限と上限が保たれることを保証する。
• スケーリングおよび平行移動不変性を用い、問題を長さ $ 2\pi d $ の区間内に収まる集合に還元することで、離散的サンプリングの結果を適用可能にする。
• 補題 10 を用い、有界な $ S $ に対して $ \Lambda \subset (1/d)\mathbb{Z} $ を構成し、その後、近似と極限過程により非有界な $ S $ へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 任意の非有界かつ有限測度の集合 $ S \subset \mathbb{R} $ に対して、$ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ が $ L^2(S) $ でフレームをなすような離散的周波数集合 $ \Lambda \subset \mathbb{R} $ が存在するか？
• RQ2 このようなフレームが、下限と上限が $ |S| $ に比例するように構成可能か？ すなわち、最適な境界 $ a = A = |S| $ に近づけるか？
• RQ3 行列分解定理に基づく非構成的かつ確率的技法を用いて、このようなフレームの存在を確立できるか？
• RQ4 長区間における周波数集合 $ \Lambda $ の漸近的密度は何か？ また、これは $ S $ の測度とどのように関係するか？

主な発見

• 任意の測度が有限な集合 $ S \subset \mathbb{R} $ に対して、$ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ が $ L^2(S) $ でフレームをなすような離散的集合 $ \Lambda \subset \mathbb{R} $ が存在する。
• フレームの下限と上限は、絶対定数 $ c, C > 0 $ を用いて $ c|S| $ と $ C|S| $ に比例し、ほぼ最適性を達成する。
• 周波数集合 $ \Lambda $ は、長区間 $ \Omega $ における密度が、絶対定数 $ k < 1/(2\pi) $、$ K > 4C $ を満たすように選べる。具体的には、$ k|S| < \#(\Lambda \cap \Omega)/|\Omega| < K|S| $ を満たす。
• 任意の有界な $ S $ に対して、その測度が $ |S| $ であるとき、周波数が $ (1/d)\mathbb{Z} $ に含まれるフレームが存在する。ここで $ d $ は $ S $ が長さ $ 2\pi d $ の区間内に含まれるような値である。
• この構成は、良好に可逆な部分行列に関するマーカス–スプレイマン–スリヴァスタヴァの定理に依拠しており、再帰的分割と極限過程を経て行われる。
• 非有界な $ S $ については、$ S $ を有界な集合の増大列 $ S_j $ で近似し、対応する周波数集合 $ \Lambda_j $ の弱収束極限をとることで結果を拡張する。