[論文レビュー] Projective multiresolution analyses for $L^2(R^2)$

Judith Packer, Marc A. Rieffel|ArXiv.org|Aug 14, 2003

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

ひとこと要約

本稿は、$L^2(\mathbb{R}^2)$における射影的マルチレゾリューション解析（PMRA）を導入し、初期空間を$C(\mathbb{T}^2)$上の有限生成射影的加群とする。これは自由加群に限らない古典的ウェーブレット理論の一般化である。整数係数の対角$2\times2$拡大行列に対してPMRAを構成し、対応するウェーブレット加群が$X((\det A)q, a)$に同型であることを示し、モジュールフレームと$K$-理論分類を用いて、$\det A > 0$のときウェーブレット空間が自由、$\det A < 0$かつ$a \neq 0$のとき非自由であることを証明する。

ABSTRACT

We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an $n$-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for $L^2(\brn)$. Then we show how to construct examples for the case of any diagonal $2 imes 2$ dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective $C(\mathbb T^2)$-module. We compute the isomorphism classes of the corresponding wavelet modules.

研究の動機と目的

• スケーリング関数の自由加群を、$C(\mathbb{T}^2)$上の任意の有限生成射影的加群に置き換えることにより、古典的マルチレゾリューション解析を一般化すること。
• 射影的加群を用いた$L^2(\mathbb{R}^2)$におけるウェーブレットおよびノーマライズドタイトフレームの構築フレームワークを確立すること。
• 特に対角$2\times2$拡大行列に基づくこのようなPMRAから生じるウェーブレット加群の同型類を特定すること。
• モジュール理論的技法を用いて、$\det A > 0$のときウェーブレット空間が自由、$\det A < 0$かつ$a \neq 0$のとき非自由であることを示すこと。

提案手法

• 射影的マルチレゾリューション解析（PMRA）を、$L^2(\mathbb{R}^2)$内の部分空間の増大列$\{V_j\}$として定義し、$V_0$を$\mathbb{T}^2$上の複素ベクトル bundle の連続セクションの逆フーリエ変換のなす、$C(\mathbb{T}^2)$-射影的加群とする。
• Hilbert $C^*$-加群の代数的構造を用いて$C(\mathbb{T}^2)$-加群フレームを定義し、$L^2(\mathbb{R}^2)$の正規化されたタイトフレームを導出する。
• 周波数領域におけるスケーリング関数を、$\Xi$（$C_c(\mathbb{R}^2)$の強いノルムにおける完備化）の$C(\mathbb{T}^2)$-部分加群の生成子として構成する。
• 関数空間$Z(p;q;a)$に群作用（自己同型）を適用し、それらを等型成分に分解することで、加群同型分類を可能にする。
• $K$-理論におけるキャンセレーション性質（定理4.2による）を用いて、直和分解からウェーブレット加群の同型類を分類する。
• $X(q,a)$加群の構造とその拡大作用における振る舞いを活用し、ウェーブレット空間$W_0$の同型型を計算する。

実験結果

リサーチクエスチョン

• RQ1 自由$C(\mathbb{T}^2)$-加群に限らない、任意の有限生成射影的加群へのマルチレゾリューション解析の一般化は可能か？
• RQ2 射影的マルチレゾリューション解析は、自然に$L^2(\mathbb{R}^2)$の正規化されたタイトフレームを生じるか？
• RQ3 与えられた対角$2\times2$拡大行列に基づくPMRAから生じるウェーブレット加群$W_0$の同型類は何か？
• RQ4 ウェーブレット加群が自由または非自由である条件は何か、特に$\det A$の符号とどのように関係するか？
• RQ5 任意の有限生成射影的$C(\mathbb{T}^2)$-加群および任意の整数係数対角$2\times2$整数拡大行列に対して、このようなPMRAを構成可能か？

主な発見

• ウェーブレット空間$W_0$は、$\mathcal{A}$-加群として$X\big{(}(|\det(A)|-1)q, (\mathrm{sign}(\det(A))-1)a\big{)}$に同型である。
• $\det A > 0$のとき、$W_0$は自由加群である。$\det A < 0$かつ$a \neq 0$のとき、$W_0$は自由でない。
• 初期加群$V_0$は$X(q,a)$に同型であり、ウェーブレット加群$W_0$は$W_0 \oplus X(q,a) \cong X(|\det(A)|q, \mathrm{sign}(\det(A))a)$を満たす。
• 任意の対角$2\times2$拡大行列$A$（整数係数）および任意の有限生成射影的$C(\mathbb{T}^2)$-加群に対して、$V_0$がその加群に同型となるPMRAを構成可能である。
• 構成は、巡回群作用による関数空間の等型成分への分解に依存し、$K$-理論による加群同型分類を可能にする。
• ウェーブレット加群$V_1$は$Y_A(q,a)$に同型であり、これ自体は$X((\det A)q, a)$に同型である。