[论文解读] Parabolic Molecules

Philipp Grohs, Gitta Kutyniok|arXiv (Cornell University)|Jun 1, 2012

Advanced Numerical Analysis Techniques参考文献 20被引用 3

一句话总结

本文引入抛物分子作为基于抛物缩放的定向表示系统（如曲波和剪切波）的统一数学框架。它证明了抛物分子对之间近乎正交，从而可在不同系统间转移稀疏逼近和光滑性空间的结果，而无需逐个重新证明，其核心贡献是建立了一个通用理论，识别出对各向异性数据（如剪贴画图像）实现最优逼近的稀疏性等价类。

ABSTRACT

Anisotropic decompositions using representation systems based on parabolic scaling such as curvelets or shearlets have recently attracted significantly increased attention due to the fact that they were shown to provide optimally sparse approximations of functions exhibiting singularities on lower dimensional embedded manifolds. The literature now contains various direct proofs of this fact and of related sparse approximation results. However, it seems quite cumbersome to prove such a canon of results for each system separately, while many of the systems exhibit certain similarities. In this paper, with the introduction of the notion of {\em parabolic molecules}, we aim to provide a comprehensive framework which includes customarily employed representation systems based on parabolic scaling such as curvelets and shearlets. It is shown that pairs of parabolic molecules have the fundamental property to be almost orthogonal in a particular sense. This result is then applied to analyze parabolic molecules with respect to their ability to sparsely approximate data governed by anisotropic features. For this, the concept of {\em sparsity equivalence} is introduced which is shown to allow the identification of a large class of parabolic molecules providing the same sparse approximation results as curvelets and shearlets. Finally, as another application, smoothness spaces associated with parabolic molecules are introduced providing a general theoretical approach which even leads to novel results for, for instance, compactly supported shearlets.

研究动机与目标

• 开发一个统一框架，将基于抛物缩放的各类定向表示系统（如曲波和剪切波）统一起来。
• 识别出支撑最优稀疏逼近的共同结构特性——特别是分子对的近乎正交性，这些特性适用于具有各向异性特征的函数。
• 引入稀疏性等价的概念，实现对抛物分子按其逼近行为进行分类，而无需逐案证明。
• 为与抛物分子相关的光滑性空间提供理论基础，将结果扩展至新系统（如紧supp剪切波）。
• 通过预先分析其稀疏性和光滑性特性，实现新表示系统的设计与比较的系统化。

提出的方法

• 将抛物分子的概念引入，作为曲波和剪切波的推广，通过抛物缩放下在频域和时域的局部化特性进行定义。
• 通过分子对的格拉姆矩阵的强非对角线衰减性质，定义其近乎正交性，并利用频域估计和算子演算方法进行证明。
• 采用微分算子的递归分解（通过Lk）来控制频域中的衰减，利用生成函数的结构特性。
• 使用极坐标和缩放变换分析不同尺度与方向的分子之间交叉项的衰减特性。
• 将该框架应用于推导稀疏性等价性：若生成函数足够光滑且局部化，则相关系统对剪贴画类图像的稀疏逼近率相同。
• 基于抛物分子引入各向异性光滑性空间，证明这些空间定义良好，并为紧supp剪切波等新系统提供新结果。

实验结果

研究问题

• RQ1 能否建立一个单一理论框架，统一分析基于抛物缩放的多样化定向表示系统（如曲波和剪切波）？
• RQ2 何种基本结构特性可确保基于抛物缩放的不同系统产生等价的稀疏逼近结果？
• RQ3 如何形式化定义稀疏性等价性，并用于根据逼近性能对抛物分子进行分类？
• RQ4 在不重新证明的前提下，稀疏逼近和光滑性空间结果能在多大程度上在不同系统间转移？
• RQ5 该框架能否扩展以设计具有可预测逼近和光滑性特性的新系统？

主要发现

• 任意两组抛物分子之间的格拉姆矩阵表现出强非对角线衰减，意味着这些分子在精确的量化意义上近乎正交。
• 抛物分子的近乎正交性使得可将一个系统（如曲波）的稀疏逼近结果无须重新证明地转移到同一类中的任何其他系统。
• 稀疏性等价性被确立为抛物分子生成函数之间的关系：若两个系统的生成函数足够光滑且局部化，则它们对剪贴画类图像的稀疏逼近率相同。
• 该框架可同时推导出所有已知曲波和剪切波构造（包括紧supp剪切波）的最优稀疏逼近率。
• 与抛物分子相关的各向异性光滑性空间定义良好，并提供一种新理论工具，甚至为成熟系统（如紧supp剪切波）也带来了新结果。
• 元定理得到验证：所有基于抛物缩放、具有光滑且局部化生成器的框架系统均表现出相同的逼近特性，包括对剪贴画图像的最优稀疏性。