[論文レビュー] Soft Recovery With General Atomic Norms

Axel Flinth|arXiv (Cornell University)|May 10, 2017

Sparse and Compressive Sensing Techniques参考文献 15被引用数 3

ひとこと要約

本稿は、測定演算子にやや弱い仮定を置く条件下で、構造的信号の近似的な局在化（スパース分解におけるアトムの近似局在）を保証する、アトムノルム最小化の一般化された二重証明条件を導入する。主な貢献は、無限次元設定ですらも成立する理論的枠組みを提供し、ピークの局在化が真の信号のピークに近くなることを保証することである。超解像や行列回復への応用を含む。

ABSTRACT

This paper describes a dual certificate condition on a linear measurement operator $A$ (defined on a Hilbert space $\mathcal{H}$ and having finite-dimensional range) which guarantees that an atomic norm minimization, in a certain sense, will be able to approximately recover a structured signal $v_0 \in \mathcal{H}$ from measurements $Av_0$. Put very streamlined, the condition implies that peaks in a sparse decomposition of $v_0$ are close the the support of the atomic decomposition of the solution $v^*$. The condition applies in a relatively general context - in particular, the space $\mathcal{H}$ can be infinite-dimensional. The abstract framework is applied to several concrete examples, one example being super-resolution. In this process, several novel results which are interesting on its own are obtained.

研究の動機と目的

• 正確なリカバリーが不可能な状況における構造的逆問題におけるソフトリカバリーの一般理論的枠組みを確立すること。
• コherentな辞書におけるアトムノルム最小化の不安定性を解消し、アトム成分の近似的なリカバリーを証明すること。
• 従来の圧縮センシングの保証を正確なリカバリーにとどまらず、信号アトムの近似局在化にまで拡張すること。
• 無限次元ヒルバート空間および多様なアトム構造に適用可能な統一的分析を提供すること。
• 解のアトム分解が真の信号の分解にどれほど近いかを保証する明示的な条件を導出すること。

提案手法

• 測定演算子 $ A $ に対して、真の信号と回復信号のアトム成分の近接性を保証する二重証明条件を提案する。
• 無限次元ヒルバート空間にこの枠組みを適用し、複素指数関数やガウスカーネルなどの連続的辞書の解析を可能にする。
• アトムの集合 $ \Phi $ に対して $ \|v\|_{\mathcal{A}} = \inf\{ t > 0 \mid v \in t \overline{\text{conv}} \Phi \} $ で定義される一般化されたアトムノルムを用いる。
• フィルタ $ \phi $ による畳み込みに基づく測定モデルを導入し、有限サンプリング演算子 $ T_M $ を得、$ \phi $ および $ M $ に対する安定リカバリーのための条件を導出する。
• フレーム理論と $ \ell_{1,2} $-ノルムの推定を用いて、ソフトリカバリーに必要な測定数の上限を導出する。
• ガウスフィルタを用いた場合、分離距離 $ \Delta_{\text{sep}} $、局在化誤差 $ \Delta $、ピーク振幅 $ |c_{x_0}^0| $ の間のトレードオフを、ガウスフィルタを含む明示的評価式で分析する。

実験結果

リサーチクエスチョン

• RQ1 測定演算子 $ A $ がどのような条件下であれば、アトムノルム最小化により構造的信号のアトム分解を近似的にリカバーできるか？
• RQ2 正確なリカバリーに失敗した場合でも、解のアトム分解のサポートが真の信号のサポートに近くなるように保証するにはどうすればよいか？
• RQ3 アトム間の最小分離距離、成分の振幅、および解における局在化誤差の間にはどのような関係があるか？
• RQ4 ガウスフィルタなどのフィルタ $ \phi $ の選択が、測定数とソフトリカバリーの精度にどのように影響するか？
• RQ5 この理論的枠組みは、連続周波数成分を伴う超解像のような無限次元設定にも適用可能か？

主な発見

• 二重証明条件により、真の信号のピークが十分な振幅と他との分離を満たしていれば、その対応アトムが解において半径 $ \Delta $ の近傍に局在化することが保証される。
• ガウスフィルタ $ \phi $ の場合、必要な最小分離距離 $ \Delta_{\text{sep}} $ は $ \Lambda \sqrt{2 \log \left( \frac{1 - |c_{x_0}^0|}{|c_{x_0}^0|(1 - \theta)} \right)} $ に比例する。ここで $ \theta $ は信頼水準を制御する。
• 振幅 $ |c_{x_0}^0| = 0.1 $ で $ \gamma = 0.5 $ の場合、$ \Delta_{\text{sep}} = 3.95\Lambda $ であれば、局在化誤差は $ \Delta = 2.1\Lambda $ 以内に収まる。
• 測定数 $ |M| $ は $ \left\lceil \frac{| one| \Lambda^{-2 + \alpha^{-1}}}{\gamma^{2 + \alpha^{-1}}} \right\rceil $ に比例し、信号長とフィルタ幅に依存することが示された。
• この枠組みにより、正確なリカバリーが不可能なコherentな辞書に対しても、ソフトリカバリーが可能であることが証明された。
• 結果はノイズに強く、超解像や低ランク行列回復を含む多様なアトム構造に適用可能である。