[논문 리뷰] New RIC Bounds via l_q-minimization with 0<q<=1 in Compressed Sensing.

Shenglong Zhou, Lingchen Kong외 2명|arXiv (Cornell University)|2013. 08. 02.

Sparse and Compressive Sensing Techniques참고 문헌 13인용 수 3

한 줄 요약

이 논문은 0 < q ≤ 1일 때 ℓq-최소화를 통한 정확한 희소 신호 복원을 위한 향상된 제한 이sovolution 상수(RIC) 경계를 수립한다. 새로운 ℓq-노름 부등식을 활용하고 희소 벡터의 구조를 분석함으로써 이전 연구보다 더 날카운 경계를 도출하며, t > 1일 때 δtk < √(t−1)/t 이면 정확한 복원이 보장됨을 보여주고, q ∈ (0, 1/2)에 대해 0.5547, q ∈ (1/2, 1)에 대해 0.6782의 향상된 δ2k 경계를 제공한다. 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-최소화를 사용한 정확한 희소 신호 복원을 위한 기존 제한 이sovolution 상수(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 노름에 집중한다.
• 다각형 표현 보조정리(Lemma II.1)를 적용하여 h−max(k)를 ℓ∞-노름이 유계인 희소 벡터들의 볼록 조합으로 표현한다.
• Φhmax(k)와 Φh−max(k) 사이의 내적을 제한하기 위해, 파arameterized 벡터 가족 η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-노름과 제한 이sovolution 성질 간의 관계를 활용하여 정확한 복원을 위한 향상된 충분조건를 도출할 수 있는가?
• 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)일 경우 두드러진 향상이 있다.