[論文レビュー] Sharp Sufficient Conditions for Stable Recovery of Block Sparse Signals by Block Orthogonal Matching Pursuit

Jinming Wen, Zhengchun Zhou+3 more|arXiv (Cornell University)|May 10, 2016

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

ひとこと要約

本稿は、ブロックスパース信号の安定回復のための鋭い十分条件を、ブロック直交マッチング Pursuit (BOMP) を用いて確立する。ブロック制限等長性 (block-RIP) 定数が $\delta_{K+1} < 1/\sqrt{K+1}$ を満たす場合、BOMP は $K$ ステップで任意のブロック $K$-スパース信号を正確または安定して回復でき、この条件はタイトである。$\alpha$-強く減少するブロックスパース信号の場合、$\delta_{K+1} < \sqrt{2}/2$ が特定の条件下で回復を保証するが、このクラスでは $\ell_1$-最小化に比べて制限が緩い。

ABSTRACT

In this paper, we use the block orthogonal matching pursuit (BOMP) algorithm to recover block sparse signals $\x$ from measurements $\y=\A\x+\v$, where $\v$ is an $\ell_2$-bounded noise vector (i.e., $\|\v\|_2\leq ε$ for some constant $ε$). We investigate some sufficient conditions based on the block restricted isometry property (block-RIP) for exact (when $\v=\0$) and stable (when $\v eq\0$) recovery of block sparse signals $\x$. First, on the one hand, we show that if $\A$ satisfies the block-RIP with $δ_{K+1}&lt;1/\sqrt{K+1}$, then every block $K$-sparse signal $\x$ can be exactly or stably recovered by BOMP in $K$ iterations. On the other hand, we show that, for any $K\geq 1$ and $1/\sqrt{K+1}\leq δ&lt;1$, there exists a matrix $\A$ satisfying the block-RIP with $δ_{K+1}=δ$ and a block $K$-sparse signal $\x$ such that BOMP may fail to recover $\x$ in $K$ iterations. Then, we study some sufficient conditions for recovering block $α$-strongly-decaying $K$-sparse signals. We show that if $\A$ satisfies the block-RIP with $δ_{K+1}1$ and $\sqrt{2}/2\leq δ&lt;1$, the recovery of $\x$ may fail in $K$ iterations for a sensing matrix $\A$ which satisfies the block-RIP with $δ_{K+1}=δ$. Finally, we study some sufficient conditions for partial recovery of block sparse signals. Specifically, if $\A$ satisfies the block-RIP with $δ_{K+1}

研究の動機と目的

• ブロック直交マッチング Pursuit (BOMP) アルゴリズムを用いたブロックスパース信号の正確および安定的回復のための鋭い十分条件を確立すること。
• ブロック制限等長性 (block-RIP) が $K$ ステップ以内の成功した回復を保証する役割を分析すること。
• 構造的ブロックスパース信号（例：$\alpha$-強く減少する信号）に対して、block-RIP にかかる条件をより緩くできるかを調査すること。
• ブロック-RIP 制約下でのブロックスパース信号の部分的回復保証を検討すること。

提案手法

• 分析はブロック制限等長性 (block-RIP) に基づく。ここで $\delta_{K+1}$ は測定行列 $\boldsymbol{A}$ の $K+1$ 番目のブロック-RIP 定数を表す。
• 本稿では、BOMP が $K$ ステップでブロック $K$-スパース信号を正確または安定して回復できるような十分条件を、$\delta_{K+1}$ の境界を用いて導出する。
• $\alpha$-強く減少するブロックスパース信号の場合、減少率の制約を回復解析に組み込み、改善された条件を導出する。
• 理論的証明は、コーシー・シュワルツの不等式やブロックノルムに関する再帰的境界を用い、$\ell_{2,1}$-ノルムおよびブロックコherence の性質を活用する。
• 条件の鋭さは、反例を用いて確立される：任意の $\delta \geq 1/\sqrt{K+1}$ に対して、$K$ ステップで失敗する行列と信号が存在する。
• 解析は部分的回復へと拡張され、$\delta_{K+1} < \sqrt{2}/2$ の下で、信号ブロックに特定の構造的条件が満たされれば、ブロック $K$-スパース信号の一部が回復可能であることが示された。

実験結果

リサーチクエスチョン

• RQ1 BOMP が任意のブロック $K$-スパース信号を $K$ ステップで正確または安定して回復できるための、block-RIP 定数 $\delta_{K+1}$ の最もタイトな十分条件は何か？
• RQ2 $\alpha$-強く減少するブロックスパース信号に対して、回復条件を改善できるか。また、$\alpha$ はこの改善にどのように寄与するか？
• RQ3 $\delta_{K+1} < \sqrt{2}/2$ が $\alpha$-強く減少するブロックスパース信号の回復に適しているかどうか、また最小で必要な $\alpha$ は何か？
• RQ4 BOMP がブロックスパース信号の部分的回復を達成できる条件は何か。この条件もタイトか？
• RQ5 理論的境界は、非一様なブロックサイズやマルチインデックス選択戦略へと拡張可能か？

主な発見

• BOMP が $K$ ステップで任意のブロック $K$-スパース信号を正確または安定して回復できるための条件 $\delta_{K+1} < 1/\sqrt{K+1}$ は、十分かつタイトである。
• $\alpha$-強く減少するブロック $K$-スパース信号の場合、$\alpha$ が特定の制約を満たす限り、$\delta_{K+1} < \sqrt{2}/2$ が $K$ ステップでの正確または安定的回復を保証する。
• この $\delta_{K+1} < \sqrt{2}/2$ 条件は、一般ケースにおいて $\ell_1$-最小化に必要な $\delta_{2K} < \sqrt{2}/2$ 条件よりも制限が緩い。
• 本稿では、$\delta_{K+1} < \sqrt{2}/2$ が、信号ブロックに特定の構造的条件が満たされる場合、ブロックスパース信号の部分的回復に対しても十分条件であることを証明した。
• $\alpha$-強く減少する信号の $\alpha$ に対する条件は鋭い：任意の $\alpha > 1$ に対して、$\delta_{K+1} \geq \sqrt{2}/2$ のとき、失敗が生じ得る。
• 本稿では、任意の $K \geq 1$ および $\delta \in [1/\sqrt{K+1}, 1)$ に対して、$K$ ステップで失敗する行列 $\boldsymbol{A}$ とブロック $K$-スパース信号 $\boldsymbol{x}$ の明示的反例を構成した。