[論文レビュー] How Many Iterations are Needed for the Exact Recovery of Sparse Signals using Orthogonal Matching Pursuit

Jian Wang, Byonghyo Shim|arXiv (Cornell University)|Nov 19, 2012

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

ひとこと要約

本稿は、直交匹配 Pursuit (OMP) が $K$-スパース信号を正確に回復するのに要する反復回数を分析する。測定行列が制限等長性性質 (RIP) を満たす場合、OMP は最大 $\lceil 2.8K \rceil$ 回の反復で正確な回復を達成することを証明し、従来の境界を改善し、OMP の性能の理論的限界に近づける。

ABSTRACT

Orthogonal matching pursuit (OMP) is a greedy algorithm widely used for the recovery of sparse signals from compressed measurements. In this paper, we analyze the number of iterations required for the OMP algorithm to perform exact recovery of sparse signals. Our analysis shows that OMP can accurately recover all $K$-sparse signals within $\lceil 2.8 K ceil$ iterations when the measurement matrix satisfies a restricted isometry property (RIP). Our result improves upon the recent result of Zhang and also bridges the gap between Zhang's result and the fundamental limit of OMP at which exact recovery of $K$-sparse signals cannot be uniformly guaranteed.

研究の動機と目的

• OMP が $K$-スパース信号を正確に回復するのに要する最小反復回数を特定すること。
• OMP の反復複雑度に関する既存の理論的境界を改善すること。
• 既知の OMP の性能限界と、一様回復の理論的根本限界との差を埋めること。
• 制限等長性性質 (RIP) の下で OMP の反復回数に対するより緊密な上界を確立すること。

提案手法

• 分析は、測定行列のコherence と安定性を反復中に制御するために制限等長性性質 (RIP) を活用する。
• 著者らは、反復間での残差エネルギーの減衰を分析することで、反復回数の理論的上界を導出する。
• 重要なステップとして、RIP 条件下で OMP が $\lceil 2.8K \rceil$ 回以内に正しいサポートインデックスを選択することを証明する。
• すべての $K$-スパース信号に対して一様回復を保証するために、極端な場合の分析を用いる。
• 証明は、残差ベクトルと真の信号のサポートとの間の相関を制限することに依存する。

実験結果

リサーチクエスチョン

• RQ1 測定行列が制限等長性性質 (RIP) を満たす場合、OMP が任意の $K$-スパース信号を正確に回復するのに要する最大反復回数は何か？
• RQ2 本稿で得られた OMP の反復回数の新しい境界は、アルゴリズムの理論的根本限界と比べてどう異なるか？
• RQ3 OMP の反復複雑度を、一様回復の既知の性能上限に近づけるようにタイトにできるか？
• RQ4 制限等長性性質は、OMP の収束に対するより緊密な境界をどの程度可能にするか？

主な発見

• 測定行列が制限等長性性質 (RIP) を満たす場合、OMP は $\lceil 2.8K \rceil$ 回の反復以内にすべての $K$-スパース信号を正確に回復できる。
• この境界は、張の結果から得られた従来の上界を改善し、OMP の理論的限界に近づける。
• この結果により、スパース信号の一様回復に要する反復複雑度のより緊密で正確な推定値が確立される。
• 解析により、RIP 条件が有限で予測可能な反復回数内に正確な回復を保証することを確認した。