[論文レビュー] Improved Bounds on the Restricted Isometry Constant for Orthogonal Matching Pursuit

Jinming Wen, Xiaomei Zhu+1 more|arXiv (Cornell University)|Jun 17, 2014

Sparse and Compressive Sensing Techniques参考文献 7被引用数 5

ひとこと要約

本稿は、圧縮センシングにおける直交匹配 pursuit (OMP) の制限付き等長性定数 (RIC) について、より鋭い上限を確立する。δ_{K+1} ≥ 1/√(K+1) のとき、OMP は任意の K スパース信号の復元に失敗することが示され、さらに δ_{K+1} ≤ 1/(√K + 1) であれば、すべての K スパース信号の正確な復元が保証されることを示している。これは、先行研究の十分条件を改善している。

ABSTRACT

In this letter, we first construct a counter example to show that for any given positive integer $K\geq 2$ and for any $\frac{1}{\sqrt{K+1}}\leq t<1$, there always exist a $K-$sparse $\x$ and a matrix $\A$ with the restricted isometry constant $δ_{K+1}=t$ such that the OMP algorithm fails in $K$ iterations. Secondly, we show that even when $δ_{K+1}=\frac{1}{\sqrt{K}+1}$, the OMP algorithm can also perfectly recover every $K-$sparse vector $\x$ from $\y=\A\x$ in $K$ iteration. This improves the best existing results which were independently given by Mo et al. and Wang et al.

研究の動機と目的

• 直交匹配 pursuit (OMP) を用いた K スパース信号の正確な復元を保証するにあたって、制限付き等長性定数 (RIC) δ_{K+1} の最も鋭い上界を特定すること。
• OMP が K ステップ内で失敗する可能性がある閾値 δ_{K+1} の境界を解明すること。
• δ_{K+1} の上界を鋭くすることで、OMP 復元の既存の十分条件を改善すること。

提案手法

• 任意の t ∈ [1/√(K+1), 1) に対して、δ_{K+1} = t となる K スパース信号 x と行列 A の反例を構築し、OMP が K ステップ内で失敗することを示す。
• 固有値分解を用いた対称正定値行列の構築により、所望の RIC 値を満たすように保証する。
• δ_{K+1} ≤ 1/(√K + 1) であれば、各ステップで残差と辞書アトムの内積を比較することで、OMP が正しいサポートインデックスを選択することを証明する。
• 補題 2.3 を適用し、RIC を A(x - x') と A(x + x') のノルムに関連づけ、RIC の境界に対する同値条件を確立する。
• 数学的帰納法と行列ノルムの不等式を用いて、新しい境界のもとで、正しいサポートとの相関が誤ったインデックスより大きくなることを示す。
• 既知の RIC と OMP の挙動に関する結果を活用し、必要条件と十分条件のギャップを埋めるために、独創的な核心的議論を導入して、先行研究の証明を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 δ_{K+1} < 1/√K のとき、OMP は K スパース信号の復元に失敗する可能性があるか？ これは、以前の予想と矛盾する。
• RQ2 δ_{K+1} = 1/√(K+1) が、OMP が K ステップ内で失敗する可能性がある真の閾値であるか？
• RQ3 OMP 復元の十分条件を δ_{K+1} < 1/(√K + 1) から δ_{K+1} ≤ 1/(√K + 1) に改善できるか？
• RQ4 すべての K スパース信号に対する OMP の成功を保証する最小の RIC 値は何か？
• RQ5 OMP 復元の必要条件と十分条件の間にギャップは存在するか？ そして、そのギャップは埋められるか？

主な発見

• 任意の K ≥ 2 および任意の t ∈ [1/√(K+1), 1) に対して、δ_{K+1}(A) = t となる K スパース信号 x と行列 A が存在し、OMP は K ステップ内で失敗する。
• 反例により、δ_{K+1} < 1/√K であっても OMP が失敗する可能性があることが示され、δ_{K+1} < 1/√K が失敗の閾値であるという予想は否定された。
• 本稿では、δ_{K+1} ≤ 1/(√K + 1) が、すべての K スパース信号の正確な復元を保証する十分条件であると確立している。
• この十分条件は、以前の最良結果である δ_{K+1} < 1/(√K + 1) よりも鋭く、等号を含むようになった。
• 証明により、δ_{K+1} ≤ 1/(√K + 1) のもとで、各ステップにおいて残差と正しいサポートとの相関が、誤ったインデックスとの相関を上回ることを示している。
• 著者らは、δ_{K+1} = 1/(√K + 1) の等号の場合でも OMP の成功が保証されることを証明しており、従来の理論的境界のギャップを埋めている。