[论文解读] Sharp Sufficient Conditions for Stable Recovery of Block Sparse Signals by Block Orthogonal Matching Pursuit

Jinming Wen, Zhengchun Zhou+3 more|arXiv (Cornell University)|May 10, 2016

Sparse and Compressive Sensing Techniques参考文献 63被引用 7

一句话总结

本文建立了使用块正交匹配追踪（BOMP）对块稀疏信号实现稳定恢复的精确充分条件。证明了当块限制等距性性质（块-RIP）常数满足 $\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）算法对块稀疏信号实现精确与稳定恢复的精确充分条件。
• 分析块限制等距性性质（块-RIP）在确保 $K$ 次迭代内成功恢复中的作用。
• 研究是否可对结构化块稀疏信号（如 $\alpha$-强衰减信号）实现比一般情况更宽松的块-RIP条件。
• 探索在块-RIP约束下，块稀疏信号的部分恢复保证。

提出的方法

• 分析基于块限制等距性性质（块-RIP），其中 $\delta_{K+1}$ 表示感知矩阵 $\boldsymbol{A}$ 的第 $K+1$ 个块-RIP 常数。
• 论文推导了在 $\delta_{K+1}$ 的界约束下，BOMP 能够在 $K$ 次迭代内精确或稳定恢复块 $K$-稀疏信号的充分条件。
• 对于 $\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$ 次迭代内实现精确或稳定恢复。
• 相较于一般情况下 $\ell_1$-最小化所需的 $\delta_{2K} < \sqrt{2}/2$ 条件，$\delta_{K+1} < \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)$，均存在一个矩阵 $\boldsymbol{A}$ 和一个块 $K$-稀疏信号 $\boldsymbol{x}$，使得 BOMP 在 $K$ 次迭代内失败。