[論文レビュー] Sharp Conditions for Exact Support Recovery of Sparse Signals with Noise via OMP.

Jinming Wen, Zhengchun Zhou+3 more|arXiv (Cornell University)|Dec 22, 2015

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

ひとこと要約

本稿は、ノイズ付きのスパース信号の正確なサポート回復に関して、直交匹配 Pursuit (OMP) を用いた鋭い十分かつ必要十分条件を確立する。ノイズが $ l_2 $ および $ l_∞ $ で有界である場合、制限等方性定数 $\delta_{K+1}(\mathbf{A}) < \frac{1}{\sqrt{K+1}}$ かつ非ゼロ信号成分の最小絶対値が緩い制約を満たすとき、OMP は正確に真のサポートを回復する。この境界は、RIC の観点から最適であることが示される。

ABSTRACT

Sufficient conditions for exact support recovery of a sparse signal from noisy measurements with orthogonal matching pursuit (OMP) have been extensively studied in the literature. In this paper, we first show that if the restricted isometry constant (RIC) $\delta_{k+1}(\A)$ of the sensing matrix $\A$ satisfies $\delta_{K+1}(\A) < \frac{1}{\sqrt {K+1} }$, then under some constraints on the minimum magnitude of the nonzero elements of the $K-$sparse signal $\x$, the support of $\x$ can be exactly recovered from the measurements $\y=\A\x+\v$ by OMP under the $l_2$ and $l_{\infty}$ bounded noises. These two conditions are sharp in terms of the RIC since 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$ satisfying $\delta_{K+1}(\A)=t$ for which OMP may fail to recover the signal $\x$. Our constraints on the minimum magnitude of nonzero elements of $\x$ are also much weaker than existing ones. Moreover, we propose some necessary conditions for the exact support recovery of $\x$ on the minimum magnitude of the nonzero elements of $\x$.

研究の動機と目的

• ノイズ付き測定下での $ K $-スパース信号の正確なサポート回復を OMP で行うためのタイトな十分条件を確立すること。
• 成功した回復が可能となる非ゼロ成分の最小絶対値に対する、可能な限り弱い制約を同定すること。
• 正確なサポート回復のための信号絶対値に関する必要条件を導出し、理論的特徴付けを完成させること。
• 任意のより大きな閾値に対して反例を構成することで、RIC 閾値 $\delta_{K+1} < \frac{1}{\sqrt{K+1}}$ の鋭さを示すこと。

提案手法

• 感覚行列 $\mathbf{A}$ の制限等方性定数 $\delta_{K+1}(\mathbf{A})$ に基づいた、正確なサポート回復の十分条件の導出。
• $ l_2 $ および $ l_\infty $ 有界ノイズモデル下での OMP の性能分析。
• 先行研究と比較してより弱い非ゼロ成分の最小絶対値の下界を導入。
• 任意の $\delta_{K+1} = t \geq \frac{1}{\sqrt{K+1}}$ に対して明示的な反例を構成し、RIC 条件の鋭さを証明。
• 正確な回復のための信号の非ゼロ成分の最小絶対値に関する必要条件の導出。

実験結果

リサーチクエスチョン

• RQ1 ノイズ付き条件下で OMP を用いて $ K $-スパース信号の正確なサポート回復を保証するための、制限等方性定数 $\delta_{K+1}(\mathbf{A})$ の最もタイトな上界は何か？
• RQ2 スパース信号の非ゼロ成分の最小絶対値は、OMP による正確なサポート回復が可能となるまでどれほど弱くできるか？
• RQ3 十分条件 $\delta_{K+1}(\mathbf{A}) < \frac{1}{\sqrt{K+1}}$ が鋭いか、つまりこの境界を超えた場合に失敗が生じる可能性があるかを示せるか？
• RQ4 OMP がサポート回復に成功するための非ゼロ成分の最小絶対値に関する必要条件は何か？
• RQ5 提案された条件は、信号絶対値制約の観点から、既存の結果と比較してどれほど強いのか？

主な発見

• 最小非ゼロ成分絶対値が緩い制約を満たす限り、$ l_2 $ および $ l_\infty $ 有界ノイズ下で $\delta_{K+1}(\mathbf{A}) < \frac{1}{\sqrt{K+1}}$ であれば、$ K $-スパース信号の正確なサポート回復が OMP で可能である。
• 本稿で提案された非ゼロ成分の最小絶対値に関する制約は、既存の文献におけるものよりも顕著に弱い。
• $ K \geq 2 $ および任意の $ t \in \left[\frac{1}{\sqrt{K+1}}, 1\right) $ に対して、$\delta_{K+1}(\mathbf{A}) = t$ となる $ K $-スパース信号 $\mathbf{x}$ と感覚行列 $\mathbf{A}$ が存在し、OMP がサポートを回復しないことを示す反例を構成した。これにより、RIC 閾値の鋭さが証明された。
• 本稿では、正確な回復のための非ゼロ成分の最小絶対値に関する必要条件を導出し、理論的枠組みを完成させた。
• 結果として、RIC 閾値 $\frac{1}{\sqrt{K+1}}$ が最適であり、サポート回復の失敗リスクを回避するためには緩められないことが示された。