[论文解读] Compactly Supported Shearlets are Optimally Sparse

Gitta Kutyniok, Wang‐Q Lim|arXiv (Cornell University)|Feb 12, 2010

Image and Signal Denoising Methods参考文献 12被引用 20

一句话总结

该论文通过证明其 $N$-项逼近误差在 $L^2$ 范数下以最优速率 $O(N^{-2}\rvert\log N\rvert^{-1})$ 衰减，建立了紧支撑的带状剪切波（shearlets）对类卡通图像——即除一条 $C^2$ 边缘曲线外整体光滑的函数——实现（几乎）最优稀疏逼近。证明依赖于新颖的估计方法，利用了紧支撑性和弱矩条件，克服了以往结果中要求生成元为带限（band-limited）的局限性。

ABSTRACT

Cartoon-like images, i.e., C^2 functions which are smooth apart from a C^2 discontinuity curve, have by now become a standard model for measuring sparse (non-linear) approximation properties of directional representation systems. It was already shown that curvelets, contourlets, as well as shearlets do exhibit (almost) optimally sparse approximation within this model. However, all those results are only applicable to band-limited generators, whereas, in particular, spatially compactly supported generators are of uttermost importance for applications. In this paper, we now present the first complete proof of (almost) optimally sparse approximations of cartoon-like images by using a particular class of directional representation systems, which indeed consists of compactly supported elements. This class will be chosen as a subset of shearlet frames -- not necessarily required to be tight -- with shearlet generators having compact support and satisfying some weak moment conditions.

研究动机与目标

• 通过证明紧支撑带状剪切波的最优稀疏性，填补方向表示系统理论理解中的空白。
• 解决图像处理中对空间局部化分析元素的实际需求，而这类元素在以往的最优性结果中被排除。
• 建立带紧支撑生成元和弱矩条件的带状剪切波系统，对类卡通图像实现近乎最优的非线性逼近速率。
• 提供一个与以往方法根本不同的完整证明框架，其特征在于缺乏方向性消失矩，同时具有紧支撑性。

提出的方法

• 作者分析了由满足弱矩条件的紧支撑生成元构成的带状剪切波框架（不一定是紧框架）所定义的带状剪切波系统。
• 通过局部化和区域划分技术，将带状剪切波系数 $\langle f, \psi_{j,k,0}\rangle$ 分解为靠近边缘曲线和远离边缘曲线区域的贡献。
• 对于靠近边缘的系数，利用泰勒展开和包含不连续性曲线的平行四边形上的积分，结合带状剪切波的紧支撑性，推导出估计式。
• 通过仔细分析带状剪切波生成元的傅里叶变换行为，特别是频域局部化与空间支撑之间的相互作用，建立衰减界。
• 证明根据参数 $s$（有限或无穷）区分不同情况，对应于边缘曲线的不同参数化方式，并为每种情况分别推导边界。
• 关键估计涉及将 $|\langle f, \psi_{j,k,0}\rangle|$ 有界于 $2^{-\frac{9}{4}j}$ 和 $2^{-\frac{11}{4}j}$ 量级的项，这些估计导致了最优逼近速率。

实验结果

研究问题

• RQ1 尽管缺乏方向性消失矩，紧支撑带状剪切波是否仍能对类卡通图像实现（几乎）最优稀疏逼近？
• RQ2 此类带状剪切波系统在 $L^2$ 范数下的 $N$-项逼近误差的精确衰减速率是多少？
• RQ3 与带限系统相比，带状剪切波生成元的紧支撑性如何影响系数衰减速率？
• RQ4 用于曲线波（curvelets）和轮廓波（contourlets）的证明技术能否适配到紧支撑情形，还是必须采用根本全新的方法？
• RQ5 当缺乏方向性消失矩时，弱矩条件在确保最优逼近中起到何种作用？

主要发现

• 紧支撑带状剪切波的 $N$-项逼近误差在 $L^2$ 范数下以最优速率 $O(N^{-2}\rvert\log N\rvert^{-1})$ 衰减，与曲线波和轮廓波的最佳已知速率一致。
• 即使缺乏方向性消失矩，该衰减速率仍可实现，其关键在于弱矩条件与紧支撑性的结合。
• 证明表明，当 $s$ 有限时，有 $|\langle f, \psi_{j,k,0}\rangle| \leq C \cdot 2^{-\frac{9}{4}j}$；当 $s = \infty$ 时，有 $|\langle f, \psi_{j,k,0}\rangle| \leq C \cdot 2^{-\frac{11}{4}j}$，这些估计对最终速率至关重要。
• 分析揭示，带状剪切波的紧支撑性引入了新的技术挑战，需要采用与以往基于带限生成元的证明截然不同的新方法。
• 结果证实，具有紧支撑的带状剪切波保持了最优稀疏性，使其适用于需要空间局部化的实际应用。
• 本工作首次为具有紧支撑元素的方向表示系统提供了最优稀疏性的完整证明，填补了长期存在的理论空白。