[論文レビュー] Remarks on the Restricted Isometry Property in Orthogonal Matching Pursuit algorithm

Qun Mo, Yi Shen|arXiv (Cornell University)|Jan 24, 2011

Sparse and Compressive Sensing Techniques参考文献 11被引用数 12

ひとこと要約

本稿は、直交匹配 Pursuit (OMP) を用いた K-スパース信号の正確な復元のための鋭い条件を確立する：もし制限等長定数 δ_{K+1} が 1/(√K + 1) より小さいならば、OMP は K ステップで信号を復元する。逆に、δ_{K+1} = 1/√K であるが OMP が失敗する行列を構成することで、Dai と Milenkovic の予想のタイトさを確認する。

ABSTRACT

This paper demonstrates theoretically that if the restricted isometry constant $δ_K$ of the compressed sensing matrix satisfies $$ δ_{K+1} < \frac{1}{\sqrt{K}+1}, $$ then a greedy algorithm called Orthogonal Matching Pursuit (OMP) can recover a signal with $K$ nonzero entries in $K$ iterations. In contrast, matrices are also constructed with restricted isometry constant $$ δ_{K+1} = \frac{1}{\sqrt{K}} $$ such that OMP can not recover $K$-sparse $x$ in $K$ iterations. This result shows that the conjecture given by Dai and Milenkovic is ture.

研究の動機と目的

• 直交一致 Pursuit (OMP) が K ステップで K-スパース信号を正確に回復できる理論的条件を確立すること。
• Dai と Milenkovic が提起した、OMP 回復のための制限等長定数の閾値に関する予想のタイトさを調査すること。
• δ_{K+1} 条件がわずかに弱いかつ OMP が K-スパース信号を回復できないような行列を明示的に構成すること。
• OMP の性能に関する δ_{K+1} < 1/(√K + 1) 界の鋭さについて、未解決の問題を解決すること。

提案手法

• OMP アルゴリズムの収束を考慮した制限等長性（RIP）の理論的分析。
• OMP を用いて K ステップで正確に K-スパース信号を回復できる十分条件 δ_{K+1} < 1/(√K + 1) の導出。
• δ_{K+1} = 1/√K であるが OMP が失敗するような、圧縮センシング行列の族の構成。
• 行列設計技術を用いて、構成された行列が指定された δ_{K+1} 値を満たす一方で OMP 回復に失敗することを保証すること。
• 導出された十分条件と構成された反例を比較することで、境界のタイトさを確立すること。

実験結果

リサーチクエスチョン

• RQ1 K-スパース信号が K ステップで OMP によって正確に回復されるための δ_{K+1} の正確な上限は何か？
• RQ2 OMP 回復のための予想された境界 δ_{K+1} < 1/(√K + 1) は十分かつ必要か？
• RQ3 δ_{K+1} = 1/√K であるが OMP が K ステップで K-スパース信号を回復できないような行列を構成できるか？
• RQ4 OMP の性能は、δ_{K+1} の値が 1/(√K + 1) の閾値と比較してどのように変化するか？

主な発見

• 条件 δ_{K+1} < 1/(√K + 1) は、任意の K-スパース信号が K ステップで OMP によって正確に回復可能であることを保証する。
• δ_{K+1} = 1/√K であるが OMP が K ステップで K-スパース信号を回復できない反例が構成された。
• 構成された反例により、δ_{K+1} < 1/(√K + 1) の境界が鋭く、さらに緩めることはできないことが確認された。
• この結果により、Dai と Milenkovic が提起した OMP 回復条件のタイトさに関する予想が裏付けられた。