[논문 리뷰] Sharp Sufficient Conditions for Stable Recovery of Block Sparse Signals by Block Orthogonal Matching Pursuit

Jinming Wen, Zhengchun Zhou외 3명|arXiv (Cornell University)|2016. 05. 10.

Sparse and Compressive Sensing Techniques참고 문헌 63인용 수 7

한 줄 요약

이 논문은 블록 스포래스 신호의 안정적 복원을 위한 블록 수직 매칭 추적(BOMP) 알고리즘에 대해 날카운 충분 조건을 수립한다. 블록 제한 이sov메트리 성질(block-RIP) 상수 $\delta_{K+1}$ 가 $\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}

연구 동기 및 목표

• 블록 수직 매칭 추적(BOMP) 알고리즘을 사용하여 블록 $K$-스포래스 신호의 정확하고 안정적인 복원을 위한 날카운 충분 조건을 수립하기.
• 블록 제한 이sov메트리 성질(block-RIP)이 $K$ 반복 이내 성공적인 복원을 보장하는 데서 수행하는 역할을 분석하기.
• 예를 들어 $\alpha$-강하게 감쇠하는 신호와 같은 구조적 블록 스포래스 신호에 대해 block-RIP에 대한 더 덜 엄격한 조건을 달성할 수 있는지 조사하기.
• 블록-RIP 제약 조건 하에서 블록 스포래스 신호의 부분 복원 보장을 탐색하기.

제안 방법

• 분석은 블록 제한 이sov메트리 성질(block-RIP)에 기반하며, $\delta_{K+1}$ 는 측정 행렬 $\boldsymbol{A}$ 의 $K+1$-번째 블록-RIP 상수를 나타낸다.
• 논문은 BOMP가 $K$ 반복 내에 블록 $K$-스포래스 신호를 정확하거나 안정적으로 복원할 수 있는 충분 조건을 유도하며, 이는 $\delta_{K+1}$ 의 범위에 기반한다.
• $\alpha$-강하게 감쇠하는 블록 스포래스 신호의 경우, 복원 분석에 감쇠율 제약 조건을 통합하여 향상된 조건을 도출한다.
• 이론적 증명은 코시-슈바르츠 부등식 및 블록 노름에 대한 재귀적 경계를 활용하며, $\ell_{2,1}$-노름과 블록 공명성의 성질을 이용한다.
• 조건의 날카로움은 반례를 통해 입증된다: 임의의 $\delta \geq 1/\sqrt{K+1}$ 에 대해, BOMP가 $K$ 반복 내에서 실패할 수 있는 행렬과 신호가 존재한다.
• 분석은 부분 복원으로 확장되며, $\delta_{K+1} < \sqrt{2}/2$ 일 경우, 블록 $K$-스포래스 신호의 일부 블록이 특정 구조 조건을 만족할 경우 복원 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 BOMP가 $K$ 반복 내에 임의의 블록 $K$-스포래스 신호를 정확하거나 안정적으로 복원하기 위한 블록-RIP 상수 $\delta_{K+1}$ 에 대한 가장 날카운 충분 조건은 무엇인가?
• RQ2 감쇠하는 $\alpha$-강하게 감쇠하는 블록 스포래스 신호에 대해 복원 조건을 개선할 수 있으며, 이 개선에 있어 $\alpha$ 는 어떤 역할을 하는가?
• RQ3 $\delta_{K+1} < \sqrt{2}/2$ 조건이 $\alpha$-강하게 감쇠하는 블록 스포래스 신호의 복원에 대해 날카로운가? 그리고 최소한의 $\alpha$ 는 얼마여야 하는가?
• RQ4 BOMP가 블록 스포래스 신호의 부분 복원을 달성할 수 있는 조건는 무엇이며, 이 조건 역시 날카로운가?
• RQ5 이론적 상한은 비균일한 블록 크기 또는 다중 색인 선택 전략으로 확장될 수 있는가?

주요 결과

• $\delta_{K+1} < 1/\sqrt{K+1}$ 조건은 BOMP가 $K$ 반복 내에 임의의 블록 $K$-스포래스 신호를 정확하거나 안정적으로 복원할 수 있도록 보장하며, 이 조건은 충분하고 날카로운 상한이다.
• $\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)$ 에 대해, BOMP가 $K$ 반복 내에서 실패할 수 있는 행렬 $\boldsymbol{A}$ 와 블록 $K$-스포래스 신호 $\boldsymbol{x}$ 가 존재함을 보여준다.