[論文レビュー] New RIC Bounds via l_q-minimization with 0<q<=1 in Compressed Sensing.

Shenglong Zhou, Lingchen Kong+2 more|arXiv (Cornell University)|Aug 2, 2013

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

ひとこと要約

本稿は、0 < q ≤ 1 における ℓq-最小化を用いた正確なスパース信号復元のための、改善された制限等方性定数（RIC）の境界を確立する。新規の ℓq-ノルム不等式を活用し、スパースベクトルの構造を分析することで、先行研究より tighter な境界を導出する。具体的には、t > 1 のとき δtk < √(t−1)/t であれば正確な復元が保証され、q ∈ (0, 1/2) の場合に δ2k の上限が 0.5547、q ∈ (1/2, 1) の場合に 0.6782 に改善される。また、q = 1/2 または q = 1 のとき、偶数 k に対しては δk < 1/3、奇数 k ≥ 3 に対しては δk < 0.3203 が成り立つ。

ABSTRACT

The restricted isometry constants (RICs) play an important role in exact recovery theory of sparse signals via l_q(0<q<=1) relaxations in compressed sensing. Recently, Cai and Zhang[6] have achieved a sharp bound \delta_tk<\sqrt{1-1/t} for t>=4/3 to guarantee the exact recovery of k sparse signals through the l_1 minimization. This paper aims to establish new RICs bounds via l_q(0<q<=1) relaxation. Based on a key inequality on l_q norm, we show that (i) the exact recovery can be succeeded via l_{1/2} and l_1 minimizations if \delta_tk<\sqrt{1-1/t} for any t>1, (ii)several sufficient conditions can be derived, such as for any 0<q<1/2, \delta_2k<0.5547 when k>=2, for any 1/2<q<1, \delta_2k<0.6782 when k>=1, (iii) the bound on \delta_k is given as well for any 0<q<=1, especially for q=1/2,1, we obtain \delta_k<1/3 when k(>=2) is even or \delta_k<0.3203 when k(>=3) is odd.

研究の動機と目的

• 0 < q ≤ 1 における ℓq-最小化を用いた正確なスパース信号復元のための、既存の制限等方性定数（RIC）境界を改善すること。
• ℓ1-最小化における鋭い δ2k < √2/2 境界を、ℓ1/2-最小化および他の ℓq-緩和法へ拡張すること。
• 先行研究を上回る、q に依存するよりタイトな正確復元の十分条件を導出すること。
• 偶数および奇数 k に対して明示的な δk 境界を確立すること。特に q = 1/2 および q = 1 の場合に注目する。
• ℓq-最小化が k スパース信号を正確に復元するための理論的条件を統合的かつ洗練させること。

提案手法

• ℓ1, ℓq, ℓ∞, ℓ−∞ ノルムの間の重要な不等式を導出：∥x∥1 ≤ ∥x∥q / (n^{1/q−1}) + p_q n (∥x∥∞ − ∥x∥−∞)，ここで q ∈ (0,1] に対して p_q = q^{q/(1−q)} − q^{1/(1−q)} である。
• この不等式を用いて、残差ベクトル h = x − x* を h−max(k) と hmax(k) に分解し、最大 k 個の成分の ℓ1 ノルムに注目する。
• 多面体表現補題（補題 II.1）を適用し、h−max(k) を有界な ℓ∞-ノルムを持つスパースベクトルの凸結合として表現する。
• Φhmax(k) と Φh−max(k) 間の内積を制限するため、パラメータ化されたベクトル族 ηi = hmax(k) + h(1) + μui を導入し、変分的枠組みで RIP および ROC 性質を活用する。
• 制限直交性定数（ROC）フレームワークを用いて、Φhmax(k) と Φh−max(k) 間の内積を δk と θk,k で評価する。
• ∥hmax(k)∥q^q ≥ ∥h−max(k)∥q^q を仮定することで矛盾を導出し、Φh = 0 を満たさない厳密な正性条件を導く。

実験結果

リサーチクエスチョン

• RQ1 ℓ1-最小化における鋭い δ2k < √2/2 境界を、0 < q ≤ 1 における ℓq-最小化へ拡張できるか？
• RQ2 q ∈ (0,1) の ℓq-最小化において、正確な復元を保証するための、最もタイトな RIC 境界 δ2k は何か？
• RQ3 δk の境界は、スパース度 k と q ∈ (0,1] の選択にどのように依存するか。特に q = 1/2 および q = 1 の場合に注目する。
• RQ4 ℓq-ノルムと制限等方性性質の関係を活用して、正確な復元のための改善された十分条件を導出できるか？
• RQ5 k の偶奇（偶数対奇数）が、ℓ1/2 および ℓ1 最小化における達成可能な δk 境界に与える影響は何か？

主な発見

• 任意の t > 1 に対して、δtk < √(t−1)/t であれば、ℓ1/2 および ℓ1 最小化の両方で k スパース信号の正確な復元が保証される。
• 任意の q ∈ (0, 1/2) に対して、k ≥ 2 のとき、正確な復元の十分条件は δ2k < 0.5547 である。
• 任意の q ∈ (1/2, 1) に対して、k ≥ 1 のとき、正確な復元の十分条件は δ2k < 0.6782 である。
• q = 1/2 のとき、k ≥ 2 かつ k が偶数の場合は δk < 1/3、k ≥ 3 かつ k が奇数の場合は δk < 0.3203 が成り立つ。
• q = 1 のとき、k ≥ 3 かつ k が奇数の場合は δk < 0.3203、k ≥ 2 かつ k が偶数の場合は δk < 1/3 が成り立つ。
• 導出された境界は、先行研究（例：[16] の δ2k < 0.4531、[20] の δ2k < 0.5）を上回り、特に q ∈ (0, 1/2) の場合に顕著にタイトである。