[論文レビュー] Sparsity Equivalence of Anisotropic Decompositions

Gitta Kutyniok|arXiv (Cornell University)|Jan 19, 2011

Medical Imaging Techniques and Applications参考文献 22被引用数 12

ひとこと要約

本稿では、曲線波束（curvelets）やシェアレット（shearlets）などの異方的表現系にわたるスパース近似結果を統一・転送するためのスパース等価性の概念を導入する。これらの系がスパース行列変換を通じてスパース等価であることが確立されることで、フレームワークによりスパース結果の直接的転送が可能となり、類似した幾何的感度を示す系間で、新たな理論的知見が得られるとともに、解析が簡素化される。

ABSTRACT

Anisotropic decompositions using representation systems such as curvelets, contourlet, 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 concept of sparsity equivalence, we aim to provide a framework which allows categorization of the ability for sparse approximations of representation systems. This framework, in particular, enables transferring results on sparse approximations from one system to another. We demonstrate this concept for the example of curvelets and shearlets, and discuss how this viewpoint immediately leads to novel results for both systems.

研究の動機と目的

• 異方的表現系にわたるスパース近似特性を形式化し、各系に対して再帰的な証明を減らす。
• スパース行動に基づいて系を分類するフレームワークを構築し、スパース特性が等価な系間での結果の転送を可能にする。
• 新しい異方的系が最適なスパース近似を達成できる能力に基づいて、品質指標を提供する。
• フレームワークの有効性を示すために、曲線波束とシェアレットの間でスパース等価性を証明し、新たな理論的結果を導く。

提案手法

• 1つの表現系の係数系列を別の系に写像するスパース行列変換を介して、2つの表現系間のスパース等価性の概念を導入する。
• タイトフレームを用いたフレーム展開を定義し、ℓ²およびℓ¹ノルムを用いて最良n項近似誤差の減衰を分析する。
• 任意の分布gに対して⟨σ_η, g⟩_η = N₁(⟨γ_μ, g⟩_μ)を満たすスパース行列N₁の存在を証明することで、曲線波束とシェアレットの間のスパース等価性を確立する。
• クラスタコherenceと近似誤差推定値を用いて、冗長性の存在下でのスパース近似の安定性と精度を制御する。
• 先行研究（例：[14, Lemma 3.3]）の技術的補題を応用し、ウェーブレットとシェアレット間の内積推定値を保ち、クロス項の減衰を保証する。
• 重み付きℓ_pノルムおよび連続的パラメータ系に一般化することで、ラドン変換や曲線積分への適用可能性を拡張する。

実験結果

リサーチクエスチョン

• RQ1 幾何的感度が類似した別の異方的系に、ある系のスパース近似結果を体系的に転送できるか？
• RQ2 2つの表現系がスパース等価と見なされるために満たすべき条件は何か？
• RQ3 スパース等価性は、コンパクトサポートを持つシェアレットや第1世代の曲線波束などの新しい異方的系の解析をどの程度簡素化するか？
• RQ4 このフレームワークは重み付きノルムおよび連続的パラメータ系へどの程度拡張可能か？
• RQ5 クラスタコherenceと近似誤差は、系間で安定的かつスパースな再構成を保証するために果たす役割は何か？

主な発見

• 曲線波束とシェアレットはスパース等価であり、任意の分布gに対して、1つの系の係数系列を他方の系に写像するスパース行列N₁が存在する。
• フレームワークにより、スパース近似結果を1つの系から別の系へ直接転送可能となり、再帰的な証明作業が顕著に削減される。
• スパース等価性は、スパース変換行列の存在およびクラスタコherenceと近似誤差項の制御を通じて確立される。
• この手法は、正規直交可分メイヤー波束や径向波束など、他の系に対しても一般化可能であり、これらもスパース等価であることが示された。
• フレームワークは重み付きℓ_pノルムおよび連続的パラメータ系へ拡張可能であり、ラドン変換や曲線積分の解析が可能になる。
• 理論的基盤により、ウェーブレットとシェアレットを用いた完全分離などのスパース分解における新たな結果が得られる。