多重解像度解析
多重解像度解析(たじゅうかいぞうどかいせき、multiresolution analysis, MRA)とは、2倍毎の解像度のウェーブレットを用いて離散ウェーブレット変換により解析する手法。スケーリング関数で基底展開された信号列を、半分の解像度のスケーリング関数とウェーブレット関数による基底展開の和に分解する。1989年に Stephane G. Mallat が発表した。
本来は異なる物だが、Mathematica や MATLAB をはじめとして、多くのソフトウェアでは多重解像度解析の事を離散ウェーブレット変換と呼んでいる。離散ウェーブレット変換の本来の定義は、離散ウェーブレット変換の項目を参照。
関数 f_j(x) をスケーリング関数 \phi で展開した上で、
f_j(x) = \sum_k c_k^{(j)} 2^{j/2} \phi(2^j x - k) = \sum_k c_k^{(j)} \phi_{j, k}(x)
下記のウェーブレット関数 \psi への展開を用いて、
g_j(x) = \sum_k d_k^{(j)} 2^{j/2} \psi(2^j x - k) = \sum_k d_k^{(j)} \psi_{j, k}(x)
関数 f_j(x) を異なる解像度(レベル)のウェーブレット関数に展開していく手法を多重解像度解析という。
f_j(x) = g_{j-1}(x) + g_{j-2}(x) + \cdots + g_{j-m}(x) + f_{j-m}(x)
下記関数集合が基底関数として使われる。
\{ \phi_{j-m, k}(t), \psi_{j-m, k}(t), \cdots, \psi_{j-1, k}(t) \mid k \in \mathbf{Z} \}
スケーリング関数とウェーブレット関数の間にはトゥースケール関係が成立する事が必要である。
以下の関係が成立する場合、トゥースケール関係と呼ぶ。
\phi(x) = \sum_{k \in \mathbf{Z} p_k \phi(2x - k)
\psi(x) = \sum_{k \in \mathbf{Z} q_k \phi(2x - k)
p_k, q_k の値はウェーブレット関数ごとに異なる。例えばハールウェーブレットの場合は、p_0 = p_1 = q_0 = 1,\ q_1 = -1 。
トゥースケール関係が成立していると、下記の式が成立する。
\phi(2x - l) = \frac{1}{2} \sum_{k \in \mathbf{Z} ( g_{2k - l} \phi(x - k) + h_{2k - l} \psi(x- k) ),\quad l \in \mathbf{Z}
\{g_k\}, \{h_k\} を分解数列と呼ぶ。例えば、直交ウェーブレットの場合、g_k = \overline{p}_{-k},\ h_k = \overline{q}_{-k} 。
分解数列が分かると、f_j(x) = g_{j-1}(x) + f_{j-1}(x) という変形が可能になり、これを再帰的に繰り返すと多重解像度解析になる。
2次元の場合は、まず、関数 f_j(x, y) をスケーリング関数 \phi で基底展開する。
f_j(x, y) = \sum_{k_1} \sum_{k_2} c_{k_1, k_2}^{(j)} 2^j \phi(2^j x - k_1) \phi(2^j y - k_2) = \sum_{k_1} \sum_{k_2} c_{k_1, k_2}^{(j)} \phi_{j, k_1}(x) \phi_{j, k2}(y)
\phi_{j, k_1}(x) \phi_{j, k_2}(y) に対して、
\phi_{j, k_1}(x) は \phi_{j - 1, k_1}(x) と \psi_{j - 1, k_1}(x) に分解し、
\phi_{j, k_2}(y) は \phi_{j - 1, k_2}(y) と \psi_{j - 1, k_2}(y) に分解し、
合わせて、
\{ \phi_{j - 1, k_1}(x) \phi_{j - 1, k_2}(y),\ \phi_{j - 1, k_1}(x) \psi_{j - 1, k_2}(y),\ \psi_{j - 1, k_1}(x) \phi_{j - 1, k_2}(y),\ \psi_{j - 1, k_1}(x) \psi_{j - 1, k_2}(y) \}
の4つに分解する。そして、\phi_{j - 1, k_1}(x) \phi_{j - 1, k_2}(y) を同じように再帰的に分解していく。
結果として、m 回繰り返すと、下記の関数集合が基底関数となる。
\{ \phi_{j-m, k_1}(x) \phi_{j-m, k_2}(y) \mid k_1 \in \mathbf{Z}, k_2 \in \mathbf{Z} \}\ \cup\ \{ \phi_{j_1, k_1}(x) \psi_{j_1, k_2}(y),\ \psi_{j_1, k_1}(x) \phi_{j_1, k_2}(y),\ \psi_{j_1, k_1}(x) \psi_{j_1, k_2}(y) \mid k_1 \in \mathbf{Z}, k_2 \in \mathbf{Z}, j - 1 \le j_1 \le j - m \}
3次元以上も同じ。
信号xの離散ウェーブレット変換は、一組のフィルターを通すことによって計算される。ここではリフティングスキームではなく1989年に発表された手法を説明する。
下記の関係性を満たす y_{\mathrm{low}[k] と y_{\mathrm{high}[k] を x[k] から計算するのが離散ウェーブレット変換である。j は入力依存の何らかの整数。\phi(t) はスケーリング関数、\psi(t) はウェーブレット関数。
\sum_k x[k] \phi(2^j t - k) = \sum_k y_{\mathrm{low}[k] \phi(2^{j-1} t - k) + \sum_k y_{\mathrm{high}[k] \psi(2^{j-1} t - k)
最初に入力信号列から x[k] を計算しないといけないが、ハールウェーブレットや Bior2.2 双直交ウェーブレットの場合は、入力信号の解像度と同じ解像度のスケーリング関数を使えば、x[k] = 入力信号列になり、特に計算は不要となる。
信号は、インパルス応答がgであるローパスフィルタと、同じくhであるハイパスフィルタを利用して分解される。得られた出力は、ハイパスフィルタから得たものを詳細係数(detail coefficients)、ローパスフィルタから得たものを近似係数(approximation coefficients)とよぶ。これら2つのフィルタは互いに密接な関係があり、直交ミラーフィルタとして知られたものである。
y_{\mathrm{low} [n] = \sum\limits_{k =  - \infty }^\infty  {x[k] g[2n - k]}
y_{\mathrm{high} [n] = \sum\limits_{k =  - \infty }^\infty  {x[k] h[2n - k]}
次に、半分にダウンサンプリングを行う。この分解によって、時間解像度は元の信号の半分になり、周波数解像度は2倍となる。これは、ハイゼンベルクの不確定性原理を満たしている。
ダウンサンプリングのオペレータとして\downarrowを使う。
(y \downarrow k)[n] = y[k\cdot n]
以上の式をまとめると以下のようになる。
y_{\mathrm{low} = (x*g)\downarrow 2
y_{\mathrm{high} = (x*h)\downarrow 2
しかしながら、x*gの計算の後にダウンサンプリングがあるため、計算に無駄がある。リフティングスキームは、この点を改善している。
この分解は、近似係数を再び分解することによって繰り返され、これを多重解像度解析と呼ぶ。これは、異なる時間周波数の局在性を持った部分空間を枝とする二分木によって表すことが出来る。これはフィルタバンクとして知られているものである。
各々のレベルにおいて、低周波と高周波に分解される。2^n の長さの入力信号は、ハールウェーブレットの場合は n のレベルに分解される。他のウェーブレットの場合も、おおよそ n になるが、多少ずれる。
ハールウェーブレットの場合での、32サンプルの信号を例にとる。周波数レンジは0から f_n であり、3レベルまで分解するとすると、以下の表のようになる。
1996年に Wim Sweldens が新しい離散ウェーブレット変換の計算方法であるリフティングスキーム(lifting scheme)を発表した。信号を偶数番目の要素と奇数番目の要素に分け、偶数番目の要素で奇数番目の要素を予測し、予測とのズレを高周波成分とし、残差を低周波成分とする手法である。論文の中で、自由に双直交ウェーブレット関数を定義できること、計算が高速化する事を長所に挙げている。ハールウェーブレットと双直交ウェーブレットを扱える。
閉部分空間の系列 \left\{V_{j}:j\in\mathbf{Z}\right\}\sub L^{2}(\mathbf{R}) が次の条件1〜5を満たすとき、\left\{ V_{j} \right\}_{j\in\mathbf{Z} は多重解像度解析を成すという。A^{c}はA の閉包を表す。
V_{j}\sub V_{j+1},\ j\in \mathbf{Z}
\cap_{j\in\mathbf{Z}V_{j}=\{0\},\ (\cup_{j\in\mathbf{Z}V_{j})^{c}=L^{2}(\mathbf{R})
f(x)\in V_{j}\Longleftrightarrow f(2x)\in V_{j+1}
f(x)\in V_{0} ならば f(x-k)\in V_{0},\ \forall k\in\mathbf{Z}
\phi (x)\in V_{0} が存在して \left\{\phi (x-k):k\in\mathbf{Z}\right\} が V_{0} においてRiesz基底を成す。すなわち、任意のf\in V_{0} に対して数列 \left\{a_{k}:k\in\mathbf{Z}\right\}\in l^{2} がただ一つ存在して、f=\sum_{k}a_{k}\phi\left(x-k\right) と表される。さらに定数 C_{2}\geq C_{1}>0 が存在して、任意の \left\{a_{k}:k\in\mathbf{Z}\right\}\in l^{2} に対して不等式 C_{1} \|a\|_2 \leq \| \sum_{j}a_{j}\phi (x-j) \| \leq C_{2} \|a\|_2 が成立する。
最後の条件はより厳しい条件として、
5'. \phi (x)\in V_{0} が存在して、\left\{ \phi (x-k):k\in\mathbf{Z}\right\} が V_{0} の正規直交基底となる。
が用いられる事も多い。ここではこの条件5'を用いる。
条件1は空間が入れ子になっていることを意味する。条件2は P_{j} を空間 V_{j} への直交射影作用素とすると、全ての f\in L^{2}(\mathbf{R}) に対して \lim _{j\rightarrow \infty}P_{j}f=f であることを意味する。条件3は条件1の全ての空間がスケール変換で得られる事を意味する。条件4は平行移動に対して空間が普遍であることを意味する。
閉部分空間の集まりが条件1〜5'を満たすときには、いつでも正規直交ウェーブレット \psi_{j,k}(x) = 2^{j/2} \psi(2^{j}x - k) による L^{2}(\mathbf{R}) の基底 \left\{ \psi_{j,k}:j,k \in \mathbf{Z} \right\} が存在し、P_{j+1}f = P_{j}f + \sum_{k \in \mathbf{Z}\left\langle f,\psi _{j,k}\right\rangle \psi_{j,k} が成立する。
ハールウェーブレットの離散ウェーブレット変換は下記のリフティングスキームの数式にて行える。入力を x として、x_e(z) は入力 x の先頭を1番目として偶数番目の要素、つまり、x[1::2]、x_o(z) は奇数番目の要素、つまり、x[0::2]。c が低周波成分(基底関数がスケーリング関数)、d が高周波成分(基底関数がウェーブレット関数)。
\begin{pmatrix}c \\
\end{pmatrix} = \begin{pmatrix}1 & 1/2 \\
0 & 1\end{pmatrix} \begin{pmatrix}1 & 0 \\
-1 & 1\end{pmatrix} \begin{pmatrix}x_e(z) \\
x_o(z)
\end{pmatrix}
ハールウェーブレットの離散ウェーブレット変換のソースコードは下記のようになる。入力は x で NumPy の配列で与える。多重解像度解析をしたい場合は、x = c して長さが1になるまで繰り返す。\phi_{n,k}(t) = \sqrt{2^n} \phi(2^n t-k) の形の基底関数の係数にしたい場合は、c *= sqrt(2) と d /= sqrt(2) をする。
ハールウェーブレットの逆離散ウェーブレット変換のソースコード。
Bior2.2双直交ウェーブレット(2階Bスプライン、線形スプライン)の離散ウェーブレット変換は下記のリフティングスキームの数式にて行える。z は一つ次の要素、z^{-1} は一つ前の要素を表す。
\begin{pmatrix}c \\
\end{pmatrix} = \begin{pmatrix}1 & (z^{-1} + 1) / 4 \\
0 & 1\end{pmatrix} \begin{pmatrix}1 & 0 \\
-(1 + z) / 2 & 1\end{pmatrix} \begin{pmatrix}x_e(z) \\
x_o(z)
\end{pmatrix}
Bior2.2の離散ウェーブレット変換のソースコード。配列の境界で足りない分は対称パディングで埋めている。
Bior2.2の逆離散ウェーブレット変換のソースコード。
もっとも単純な例である。ハールウェーブレットによる多重解像度解析をJavaで記述した。
下記コードは上記を逆ウェーブレット変換する。
C言語による、CDF 9/7 ウェーブレット変換(JPEG-2000で利用)のリフティングを用いた高速な実装は、 を参照。