[論文レビュー] Covariant representations for matrix-valued transfer operators

Dorin Ervin Dutkay, Kjetil Røysland|ArXiv.org|Jan 16, 2007

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

ひとこと要約

本稿は、行列値移譲作用素に関連する共変表現の中心化部分環とその移譲作用素の不動点の間に一対一対応を確立する。低 pass 条件の下で、共変表現が $ℝ^n$ 上に実現可能であり、調和バンドル写像とコサイクルを介して、作用素代数的構造と多スケール解析およびウェーブレット理論を結びつける。

ABSTRACT

Motivated by the multivariate wavelet theory, and by the spectral theory of transfer operators, we construct an abstract affine structure and a multiresolution associated to a matrix-valued weight. We describe the one-to-one correspondence between the commutant of this structure and the fixed points of the transfer operator. We show how the covariant representation can be realized on $\mathbb{R}^n$ if the weight satisfies some low-pass condition.

研究の動機と目的

• 共変表現の中心化部分環と行列値移譲作用素の不動点との間の対応関係を確立すること。
• 古典的ウェーブレット理論を行列値重みへ一般化し、多スケール解析（MRA）を拡張すること。
• 重みが low-pass 条件を満たす場合、共変表現が $ℝ^n$ 上に実現可能であることを示すこと。
• 作用素代数的構造（$C^*$-代数、コサイクル、調和写像など）とスペクトル理論およびウェーブレット構成とを結びつけること。
• 移譲作用素の力学を用いて、非 MRA ウェーブレットおよび Parseval フレーム・ウェーブレットを理解するための枠組みを提供すること。

提案手法

• 行列値重み関数から抽象的なアフィン構造と多スケール構造を構築する。
• $2\pi$-周期関数に作用する移譲作用素と調和バンドル写像を用いて共変表現を定義する。
• ヒルベルト空間バンドル上の移譲作用素の力学をモデル化するためにコサイクル表現を用いる。
• 可測かつ調和的バンドル写像の概念を用いて、移譲作用素の下で不変な構造を特徴付ける。
• 低 pass フィルタ条件を適用して、$L^2(\mathbb{R}^n)$ 内にスケーリング関数の存在を保証する。
• ユニタリ拡大と平行移動構造を用いて、$UTU^{-1} = T^2$ を満たすように共変表現を $ℝ^n$ 上に実現する。

実験結果

リサーチクエスチョン

• RQ1 行列値移譲作用素を用いて、行列値フィルタを備えた多スケール解析をどのように構築できるか。
• RQ2 共変表現の中心化部分環と移譲作用素の不動点との間の正確な対応関係は何か。
• RQ3 共変表現が $ℝ^n$ 上に実現可能な条件は何か。
• RQ4 調和的および可測バンドル写像は、移譲作用素のスペクトル的性質とどのように関係するか。
• RQ5 low-pass 条件は、スケーリング関数および Parseval フレーム・ウェーブレットの存在を保証するために果たす役割は何か。

主な発見

• 共変表現の中心化部分環と行列値移譲作用素の不動点との間に一対一対応が存在する。
• 移譲作用素 $R_{m_0}$ は $2\pi$-周期関数に $R_{m_0}f(x) = \frac{1}{2}\left(|m_0(\frac{x}{2})|^2f(\frac{x}{2}) + |m_0(\frac{x+2\pi}{2})|^2f(\frac{x+2\pi}{2})\right)$ で作用し、その不動点が表現の構造を決定する。
• フィルタ $m_0$ が low-pass 条件および QMF 条件を満たす場合、得られるウェーブレットは Parseval フレームを生成する。
• $\{\tilde{U}_l^j\pi_l(f)\varphi_k \mid j\in\mathbb{Z}, f\in C(\mathbb{T}^n), k\in\{1,\dots,d\}\}$ の線形包は $\oplus_{j=1}^l L^2(\mathbb{R}^n)$ で稠密であり、スーパーマルチスケーリング関数系の完全性を確認する。
• $L^2(\mathbb{R}^n)$ 内のスケーリング関数 $\varphi_i$ は $\varphi_i = \sum_{j=1}^l \mathcal{W}_j c_i$ で構成され、ここで $c_i$ は標準的セクションであり、フィルタ $m$ および相関行列 $h_j$ を用いたマルチスケーリング方程式を満たす。
• マルチスケーリング関数 $\varphi_1, \dots, \varphi_d$ の相関行列 $h$ は調和的であり、$\langle \varphi_i, \pi_l(f)\varphi_{i'} \rangle = \int_{\mathbb{T}^n} f h_{ii'} d\mu$ を満たし、移譲作用素に対して不変である。