[論文レビュー] The Continuous Wavelet Transform and Symmetric Spaces

Raymond C. Fabec, Gestur Ólafsson|ArXiv.org|Nov 8, 2001

Mathematical Analysis and Transform Methods参考文献 6被引用数 5

ひとこと要約

本稿は、再帰的群と対称部分群を用いた群論的枠組みを導入することで、対称空間における非コンパクト安定化部分群への連続ウェーブレット変換の一般化を試みる。点の安定化部分群が非コンパクトな対称部分群である場合のウェーブレット変換の逆公式を確立し、従来の研究で標準的であったコンパクト安定化部分群の枠組みを超えて理論を拡張する。

ABSTRACT

The continuous wavelet transform has become a widely used tool in applied science during the last decade. In this article we discuss some generalizations coming from actions of closed subgroups of $\mathrm{GL}(n,\mathbb{R})$ acting on $\mathbb{R}^n$. In particular, we propose a way to invert the wavelet transform in the case where the stabilizer of a generic point in $\mathbb{R}^n$ is not compact, but a symmetric subgroup, a case that has not previously been discussed in the literature.

研究の動機と目的

• 文献でこれまで取り上げられていなかった、R^n 内の点の安定化部分群が非コンパクトである場合の連続ウェーブレット変換の一般化を目的とする。
• GL(n,R) の閉部分群が R^n 上に作用する場合の、ユニタリ表現フレームワークを用いたウェーブレット変換の構築を目的とする。
• 安定化部分群が対称部分群である場合のウェーブレット変換の逆公式の構成を目的とし、ウェーブレット係数から関数の再構成を可能にする。
• 各 G_i = R_i ×_π R^n が非コンパクトな対称安定化部分群を介してウェーブレットベクトルを支える、L^2(R^n) の既約部分空間への分解を目的とする。
• 群 R の選択が軌道に依存することを示し、すべての軌道にわたってパラボリック部分群が R に一様に置き換えられないことを示す。

提案手法

• H が R^n 上に表現 π により作用する半直積 G = H ×_π R^n を用い、ユニタリ表現の行列係数としてウェーブレット変換を定義する。
• 平方可積分表現および再現ヒルベルト空間の理論を応用し、L^2(R^n) 内のウェーブレットベクトルを同定する。
• 対称空間に関する Matsuki の定理を用い、R における開で互いに素な R-軌道に軌道を分解し、R 内でコンパクトな安定化部分群を持つ。
• 対偶表現 π′(a) = π(a^{-1})^t を用いて、軌道構造および L^2(R^n) の既約分解を分析する。
• 各既約 G_i-不変部分空間 L^2(O_i) 上で、R_i-作用とコンパクト安定化部分群を用いてウェーブレット変換および逆公式を構成する。
• 再構成に用いる群 R が軌道に依存することを示し、H = R^+ × SL(n,R) が Symm(n,R) 上に作用する例で明示する。

実験結果

リサーチクエスチョン

• RQ1 R^n 内の点の安定化部分群が非コンパクトである場合、特にそれが対称部分群である場合、連続ウェーブレット変換は逆転可能か？
• RQ2 GL(n,R) の閉部分群が R^n 上に作用する場合、標準的な ax+b 群を超えて、ウェーブレット変換をどのように一般化できるか？
• RQ3 対称空間および対称部分群は、非コンパクト安定化部分群の設定においてウェーブレットベクトルおよび逆公式の構成を可能にする役割を果たすか？
• RQ4 各軌道ごとに選ばれる群 R_i に応じて、L^2(R^n) の既約 G_i-不変部分空間への分解はどのように依存するか？
• RQ5 なぜパラボリック部分群は、ウェーブレット再構成プロセスにおいてすべての軌道にわたって群 R に一様に置き換えられないのか？

主な発見

• 一般点の安定化部分群が非コンパクトであっても、それが対称部分群である限り、ウェーブレット変換は逆転可能であり、古典的理論をコンパクト安定化部分群の枠組みを超えて拡張する。
• R^n 内の各軌道 O_i に対して、G_i = R_i ×_π R^n における G_i-不変部分空間への L^2(O_i) の分解が成り立ち、R_i はコンパクトな安定化部分群を持つ閉部分群である。
• ウェーブレット再構成に用いる群 R_i は軌道 O_i に依存する。H = R^+ × SL(n,R) が Symm(n,R) 上に作用する例では、R_p,q が符号 (p,q) に応じて変化することが示された。
• P = R^+ × SO_o(1,n) が R^{1+n} 上に作用すると、非コンパクト安定化部分群をもつ二つの開軌道 O_3,1 と O_3,2 が得られ、ウェーブレット変換は still 逆転可能である。
• L^2(R^{1+n}) ≃ L^2(O_1) ⊕ L^2(O_2) ⊕ L^2(O_3,1) ⊕ L^2(O_3,2) の分解により、すべての既約成分が平方可積分であり、ウェーブレットベクトルを有することが示された。
• 行列式が 0 である特異行列の集合は測度 0 であるため、開軌道 O_p,q の和集合は Symm(n,R) において稠密かつ開であり、ほとんど至る所での分解が保証される。