[論文レビュー] Invertibility and Robustness of Phaseless Reconstruction

Radu Bălan, Yang Wang|arXiv (Cornell University)|Aug 21, 2013

Medical Imaging Techniques and Applications参考文献 36被引用数 15

ひとこと要約

本稿は、実数有限次元ヒルベルト空間における位相なし再構成の理論的性能限界を確立し、ロバストかつ安定した回復には最小閾値 $ m = 2n - 1 $ を超える冗長性が必要であることを示している。スケールに依存しない安定性が達成可能となるのは、冗長性が $ r_0 > 2 $ を超過する場合に限られ、ランダムなガウスフレームを用いることで、核ノルム距離における二重リプシッツ境界を介して高確率で達成される。

ABSTRACT

This paper is concerned with the question of reconstructing a vector in a finite-dimensional real Hilbert space when only the magnitudes of the coefficients of the vector under a redundant linear map are known. We analyze various Lipschitz bounds of the nonlinear analysis map and we establish theoretical performance bounds of any reconstruction algorithm. We show that robust and stable reconstruction requires additional redundancy than the critical threshold.

研究の動機と目的

• 実数有限次元ヒルベルト空間における安定かつロバストな位相なし再構成の理論的性能限界を確立すること。
• 特に最小閾値 $ m = 2n - 1 $ を超える領域での安定再構成に必要な最小冗長性を特定すること。
• 非線形解析写像 $ \alpha_{\mathcal{F}} $ 及びその二乗 $ \alpha_{\mathcal{F}}^2 $ のリプシッツ性を、特に核ノルム距離において分析すること。
• 次元 $ n $ に伴うロバスト性のスケーリングを、特にフレーム要素のノルムが有界である場合に分析すること。
• 決定論的および確率的安定性の境界を比較し、$ m/n > 2 $ であるランダムフレームが、高確率でスケールに依存しない安定性を実現できることを示すこと。

提案手法

• 非線形解析写像 $ \alpha_{\mathcal{F}}: x \mapsto (|\langle x, f_k \rangle|)_{k=1}^m $ を分析し、フレーム理論および特異値解析を用いて上界および下界のリプシッツ境界を導出する。
• 対称作用素上の核ノルムに由来する定義域上の修正された距離を導入し、これにより $ \alpha_{\mathcal{F}}^2 $ が双リプシッツ的となるようにし、ロバスト性解析を可能にする。
• 特異値分解およびフレームの冗長性を用いて、部分フレームの最小特異値 $ \sigma_n(G) $ を評価し、下界リプシッツ定数 $ \omega $ に対する境界を得る。
• 特に王 [45] の研究を含む確率的行列理論の結果を応用し、i.i.d. ガウスフレームで $ m/n = r_0 > 2 $ の場合、下界および上界リプシッツ定数 $ \omega $ および $ \Delta $ が高確率でゼロから離れていることを示す。
• 集中不等式を用いて、$ \mathbb{P}(\text{事象}) \geq 1 - c_0 e^{-\beta n} $ の形の高確率境界を確立し、次元にわたる安定性を保証する。
• asymptotic 界を導出し、$ m = 2n - 1 $ の場合に $ \omega $ が $ O(1/\sqrt{n}) $ 以下にしか減衰しないことを示し、より高い冗長性下ではより速い減衰が予想されることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 冗長性が $ m = 2n - 1 $ 未満の場合に、ロバストかつ安定した位相なし再構成が達成可能か？
• RQ2 位相なし再構成におけるスケールに依存しない安定性を達成するための最小冗長性は何か？
• RQ3 異なる距離において、位相なし解析写像 $ \alpha_{\mathcal{F}} $ 及びその二乗 $ \alpha_{\mathcal{F}}^2 $ のリプシッツ定数はどのように振る舞うか？
• RQ4 フレーム要素のノルムが有界である場合に、再構成の安定性は次元 $ n $ に伴いどのようにスケーリングされるか？
• RQ5 冗長性 $ r_0 = m/n > 2 $ であるランダムガウスフレームが、高確率でリプシッツ定数の下界に一様な下限を保証できるか？

主な発見

• $ m = 2n - 1 $ の場合、下界リプシッツ定数 $ \omega $ は $ \omega \leq L/\sqrt{n} $ を満たし、次元が増加するに従い不安定性が増大することを示唆する。
• $ m = 2n - 1 $ の場合、最初の $ n+1 $ 個のベクトルからなる任意の $ n \times n $ 部分フレームの最小特異値 $ \sigma_n(G) $ は $ \sigma_n(G) \leq L/\sqrt{n} $ で有界であり、これにより $ \omega \leq L/\sqrt{n} $ が得られる。
• 予想 5.1 では、$ m = 2n - 1 $ の場合に $ \omega \leq C L \beta^{-n} $ が成り立つとされ、より高い冗長性下では指数的減衰が予想される。
• $ m = 2n + k_0 $ で $ k_0 $ を固定した場合、$ n \to \infty $ のとき $ \omega \to 0 $ となるため、スケールに依存しない安定性は依然として達成不可能である。
• 冗長性 $ r_0 = m/n > 2 $ の場合、ランダムガウスフレームにより、$ \Delta \geq \Delta_0 $ および $ \omega \geq \omega_0 $ を満たす正の定数 $ \Delta_0, \omega_0 $ が次元 $ n $ に依存せずに高確率で成立する。
• 対称作用素上の核ノルム距離において、二乗写像 $ \alpha_{\mathcal{F}}^2 $ は双リプシッツ的となり、定数は $ r_0 $ のみに依存する。これにより、ロバストな再構成が可能になる。