[論文レビュー] A null space property approach to compressed sensing with frames

Xuemei Chen, Rongrong Wang+1 more|arXiv (Cornell University)|Feb 28, 2013

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

ひとこと要約

本稿では、過完全辞書を用いた ℓ¹-合成によるスパース信号の正確復元のための、初めての必要十分条件である、辞書に基づくノルム空間性質（D-NSP）を導入する。D がフルスパークであるとき、D-NSP は AD が標準的な NSP を満たすことと同値であり、これは高相関性を持つ辞書がこの枠組みにおいて安定な復元を可能にしないことを示唆する。また、許容性は摂動に対して安定ではないことが示される。

ABSTRACT

An interesting topic in compressive sensing concerns problems of sensing and recovering signals with sparse representations in a dictionary. In this note, we study conditions of sensing matrices A for the L1-synthesis method to accurately recover sparse, or nearly sparse signals in a given dictionary D. In particular, we propose a dictionary based null space property (D-NSP) which, to the best of our knowledge, is the first sufficient and necessary condition for the success of the L1 recovery. This new property is then utilized to detect some of those dictionaries whose sparse families cannot be compressed universally. Moreover, when the dictionary is full spark, we show that AD being NSP, which is well-known to be only sufficient for stable recovery via L1-synthesis method, is indeed necessary as well.

研究の動機と目的

• 過完全辞書 D に表現されたスパース信号の ℓ¹-合成による正確復元が可能となる条件を特定すること。
• センシング行列 A が、x₀ = Dz₀ を ℓ¹-最小化により安定かつ正確に復元するための条件を同定すること。
• 辞書のコherエンスとスパークが、ℓ¹-合成におけるセンシング行列の許容性を決定づける役割を調査すること。
• D-NSP と標準 NSP の関係、特にフルスパーク仮定下での関係を明確化すること。
• 許容性が小さな摂動に対して安定でないことを示すこと、特にコヒーレンスが増加する場合に著しく顕著である。

提案手法

• 辞書に特化した新しいノルム空間性質、すなわち D-NSP を提案。定義は以下の通り：すべての v ∈ ker(A) ∖ {0} および |T| ≤ k を満たすすべての T に対して、||v_T||₁ < ||v_{T^c}||₁ が成り立つこと。
• ノイズなし条件下で、k-スパース信号の ℓ¹-合成による正確復元に関して、D-NSP が必要かつ十分であることを確立。
• D がフルスパーク（任意の d 列が線形独立）であるとき、D-NSP は AD が標準的な NSP を満たすことと同値であることを証明。
• ℓ¹-最適性とベクトル分解に基づく背理法を用いて、D-NSP の失敗が一意でないまたは誤った復元を引き起こすことを示す。
• コヒーレンスの下で許容されない辞書の明示的反例（d×(d+1) サイズ）を構築し、許容性の欠如を示す。
• ベクトル分解とノルム不等式に関する補題 IV.3 を適用し、摂動を加えた特定の辞書に対して D-NSP が成立しないことを証明。

実験結果

リサーチクエスチョン

• RQ1 過完全辞書 D に表現されたスパース信号を ℓ¹-合成で正確に復元するための必要十分条件は何か？
• RQ2 センシング行列 A のノルム空間性質は、辞書 D の構造とどのように関係するか？
• RQ3 D が非常に高相関性または線形従属の列を有する場合、ℓ¹-合成法はどの条件下で安定かつ正確に機能するか？
• RQ4 D がフルスパークであるとき、D-NSP は AD の標準 NSP と同値であるか？その辞書設計へのインパクトは何か？
• RQ5 特にコヒーレンスが増加する場合に、辞書の許容性は小さな摂動に対して安定か？

主な発見

• D-NSP は、過完全辞書におけるスパース信号の ℓ¹-合成による正確復元のための、これまでに知られている唯一の必要十分条件である。
• D がフルスパークであるとき、A が D-NSP を満たすことは、AD が標準 NSP を満たすことと同値であり、きわめて緊密な同値性が確立される。
• フルスパーク辞書では、スパース表現 z₀ を正確に復元できない限り、ℓ¹-合成法は成功しない。これは、信号復元は係数復元よりも容易であるという一般的な信念に反する。
• 非常に高相関性を持つフルスパーク辞書は許容されない。なぜなら、D-NSP を破るため、安定な復元が不可能になるからである。
• 許容性は摂動に対して安定ではない。完全に相関性の高い辞書に対して、任意に小さな変更を加えるだけで、フルスパークで高相関性であり、かつ許容されない辞書が得られる。
• 本稿では、d×(d+1) サイズの許容されない辞書の明示的例を構築し、列の追加により任意の次元に拡張可能であることを示している。