[論文レビュー] Group Invariant Scattering

Stéphane Mallat|arXiv (Cornell University)|Jan 12, 2011

Mathematical Analysis and Transform Methods参考文献 12被引用数 9

ひとこと要約

この論文は、波let変換と絶対値演算の級列を用いて、平行移動および回転不変表現を構築することで、C²微分同相写像の作用に対してリプシッツ連続である群不変散乱変換を導入する。主な貢献は、信号エネルギーを保存し、同じパワースペクトルを持つ信号を高次モーメントを捉えることで区別できる、安定で非拡大な散乱変換である。

ABSTRACT

This paper constructs translation invariant operators on L2(R^d), which are Lipschitz continuous to the action of diffeomorphisms. A scattering propagator is a path ordered product of non-linear and non-commuting operators, each of which computes the modulus of a wavelet transform. A local integration defines a windowed scattering transform, which is proved to be Lipschitz continuous to the action of diffeomorphisms. As the window size increases, it converges to a wavelet scattering transform which is translation invariant. Scattering coefficients also provide representations of stationary processes. Expected values depend upon high order moments and can discriminate processes having the same power spectrum. Scattering operators are extended on L2 (G), where G is a compact Lie group, and are invariant under the action of G. Combining a scattering on L2(R^d) and on Ld (SO(d)) defines a translation and rotation invariant scattering on L2(R^d).

研究の動機と目的

• L²(Rᵈ)における平行移動不変な信号表現を、微小な微分同相写像変形に対して安定であるように開発すること。
• 回転不変性を実現するため、SO(d) を含むコンパクトなリー群への散乱フレームワークの拡張すること。
• L²ノルムを保存し、C²微分同相写像に対してリプシッツ連続である散乱変換を構築すること。
• 高次モーメントを用いて、同じパワースペクトルを持つ定常過程を区別できるようにすること。
• 窓付きおよび無限路散乱変換の理論的収束性と安定性を確立すること。

提案手法

• 非線形かつ非可換な演算子の経路順序積として散乱伝搬子を構築し、それぞれが波let変換の絶対値を計算する。
• 伝搬子出力の局所的積分により窓付き散乱変換を定義し、非拡大性とノルム保存性を保証する。
• 変位場の勾配およびヘッセ行列項を用いて、散乱演算子と微分同相写像演算子の交換子をバウンディングすることで、C²微分同相写像に対するリプシッツ連続性を証明する。
• コンパクトなリー群 G における L²(G) にフレームワークを拡張し、群作用に対して不変性を達成する。
• L²(Rᵈ) および L²(SO(d)) における散乱を組み合わせることで、並進および回転不変な変換を構築する。
• 無限路空間 P̄∞ 上の測度論を用いて極限散乱変換を定義し、それが L²(P̄∞, dμ) に属することを証明する。

実験結果

リサーチクエスチョン

• RQ1 微小な微分同相写像変形に対しても安定なまま、平行移動不変な信号表現を構築できるか？
• RQ2 ウェーブレットに基づく表現を、高周波成分を保存しつつ、平行移動に対して不変にできるか？
• RQ3 C²微分同相写像に対して散乱変換がリプシッツ連続であるための条件は何か？
• RQ4 散乱係数は、同じパワースペクトルを持つ定常過程を区別できるか？
• RQ5 SO(d) のようなコンパクトなリー群に散乱を拡張することで、回転不変性を達成できるか？

主な発見

• 窓付き散乱変換は非拡大であり、すべての f ∈ L²(Rᵈ) に対して ||Φ(f)||𝓗 = ||f|| を満たす。
• 散乱変換は C²微分同相写像に対してリプシッツ連続であり、||∇τ||∞ および ||Hτ||∞ に依存するが、||τ||∞ には依存しない。
• 窓サイズが大きくなるにつれて、窓付き散乱変換は非可算路空間 P̄∞ 上の並進不変散乱変換に収束する。
• 散乱係数は定常過程の高次モーメントを捉え、フーリエパワースペクトルを超えて区別を可能にする。
• 無限路散乱変換は L²(Rᵈ) の関数を L²(P̄∞, dμ) にマップし、ヒルベルト空間フレームワーク内での理論的妥当性を確立する。
• ウェーブレット交換子カーネルは定常性および可積分性条件を満たし、確率的微分同相写像に対して散乱変換の安定性を保証する。