[論文レビュー] The high order block RIP condition for signal recovery

Wengu Chen, Yaling Li|arXiv (Cornell University)|Oct 20, 2016

Sparse and Compressive Sensing Techniques参考文献 39被引用数 4

ひとこと要約

本稿は、ノイズありおよび正確にブロックスパースでない条件下でも、混合 $l_{2}/l_{1}$ 最小化によるブロックスパース信号の安定的・ロバストな復元を保証する高次のブロック制限等長性性質（RIP）条件を確立する。主な貢献は、ブロックRIPに基づく鋭い十分条件であり、古典的な $l_1$-ベースの復元保証を構造的スパarsityに拡張したもので、その最適性は、境界を超えた際に復元に失敗する具体的な反例によって示されている。

ABSTRACT

In this paper, we consider the recovery of block sparse signals, whose nonzero entries appear in blocks (or clusters) rather than spread arbitrarily throughout the signal, from incomplete linear measurement. A high order sufficient condition based on block RIP is obtained to guarantee the stable recovery of all block sparse signals in the presence of noise, and robust recovery when signals are not exactly block sparse via mixed $l_{2}/l_{1}$ minimization. Moreover, a concrete example is established to ensure the condition is sharp. The significance of the results presented in this paper lies in the fact that recovery may be possible under more general conditions by exploiting the block structure of the sparsity pattern instead of the conventional sparsity pattern.

研究の動機と目的

• ノイズが存在する状況下での混合 $l_{2}/l_{1}$ 最小化を用いたブロックスパース信号のロバストな復元保証の開発。
• 高次のブロックRIP条件を導入することで、古典的な $l_1$-ベースの復元理論をブロック構造スパースパターンに拡張すること。
• ブロックスパース信号の正確かつ安定的復元が保証される鋭い十分条件の確立。
• 境界を超えた際に復元が失敗する具体的な反例を用いて、導出された条件の最適性を示すこと。

提案手法

• ポリトープに基づくスパース表現技術をブロック設定に拡張し、ブロックスパース復元の幾何的性質を分析する。
• 標準的なRIPをブロック構造信号に一般化するため、$t > 1$ に対して定義されるブロック制限等長性定数 $\delta_{tk|\mathcal{I}}$ を用いた高次のブロックRIP条件を導入する。
• ブロックスパースベクトル上の測定行列の乖離を制御するために、$l_{2,1}$-ノルムを用いた変分的議論を用いる。
• $\delta_{tk|\mathcal{I}}$ が $\sqrt{1 - 1/t} + \varepsilon$ を超えると復元に失敗する具体例として、特定の信号および測定行列を構築し、条件が鋭いことを証明する。
• ブロックRIP条件を応用して、ノイズなしおよびノイズありの両設定における安定的・ロバストな復元のための十分な境界を導出する。
• ブロック $l_{2,1}$-ノルム最小化がブロック $l_{2,0}$-最小化問題の凸緩和に等価であることに依存する。

実験結果

リサーチクエスチョン

• RQ1 混合 $l_{2}/l_{1}$ 最小化によるブロックスパース信号の安定的・ロバストな復元を保証する高次のブロックRIP条件は何か？
• RQ2 提案されたブロックRIP条件は、圧縮センシングにおける古典的な $l_1$-ベースの復元保証をどのように改善するか？
• RQ3 導出された条件が最適である、すなわちある意味で必要条件であると示せるか？
• RQ4 ブロックRIP定数 $\delta_{tk|\mathcal{I}}$ とノイズあり設定における復元性能の関係は何か？
• RQ5 混合 $l_{2}/l_{1}$ 最小化がどのような条件下でブロックスパース信号を復元できず、その失敗はどのように特徴づけられるか？

主な発見

• 本稿は、混合 $l_{2}/l_{1}$ 最小化によるブロックスパース信号の安定的・ロバストな復元を保証する高次のブロックRIP条件 $\delta_{tk|\mathcal{I}} < \sqrt{1 - 1/t} + \varepsilon$ を確立した。
• 測定行列が導出されたブロックRIP境界を満たす場合、ノイズなしでは正確な復元が保証され、ノイズありでは安定的復元が保証される。
• 境界を超えた際に復元に失敗する具体的な反例が構築され、条件が鋭いことが証明された。
• すべてのブロックサイズ $d_i = 1$ の場合、結果はCaiとZhang [8]の古典的な $l_1$-最小化の復元保証に還元され、先行研究と整合性を示した。
• ブロック構造を活用することで、標準的なRIPよりもより一般的な条件下での復元が可能であることが導かれた。
• 解析により、$\|\gamma_0\|_{2,1} < \|x_0\|_{2,1}$ かつ $A\gamma_0 = Ax_0$ を満たす場合でさえ、ノイズが限りなく小さくなる極限においても、混合 $l_{2}/l_{1}$ 最小化法が特定のブロックスパース信号を復元できないことが確認された。