[论文解读] 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为全火花（full spark）时，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₀的稳定且准确的恢复。
• 研究字典相干性和火花数（spark）在决定ℓ¹合成感知矩阵可适性中的作用。
• 阐明D-NSP与标准NSP之间的关系，特别是在全火花假设下的情形。
• 证明字典的可适性对小扰动不具稳定性，尤其在相干性增加时。

提出的方法

• 提出一种专为字典设计的新零空间性质，称为D-NSP，定义为：对所有v ∈ ker(A) ∖ {0} 以及所有满足|T| ≤ k的T，有||v_T||₁ < ||v_{T^c}||₁。
• 证明在无噪声条件下，D-NSP是通过ℓ¹合成精确恢复k-稀疏信号的必要且充分条件。
• 证明当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)大小的不可适字典的显式例子，并证明此类字典可通过列添加扩展至任意维度。