[论文解读] Wavelet filters and infinite-dimensional unitary groups

Ola Bratteli, Palle E. T. Jørgensen|ArXiv.org|Jan 28, 2000

Mathematical Analysis and Transform Methods参考文献 22被引用 26

一句话总结

本文建立了小波滤波器、Cuntz代数 $\mathcal{O}_N$ 的表示以及无穷维酉环群 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 之间的双射对应关系。研究表明，正交镜像滤波器源于 $\mathcal{O}_N$ 的酉表示，并利用环群作用对低通滤波器进行分类与扩展，以构建多分辨率系统，且表示的不可约性与缩放因子 $N$ 的最小性相关联。其核心贡献在于通过 $\mathcal{O}_N$-表示与环群结构，统一了小波理论、算子代数与调和分析的框架。

ABSTRACT

In this paper, we study wavelet filters and their dependence on two numbers, the scale N and the genus g. We show that the wavelet filters, in the quadrature mirror case, have a harmonic analysis which is based on representations of the C^*-algebra O_N. A main tool in our analysis is the infinite-dimensional group of all maps T -> U(N) (where U(N) is the group of all unitary N-by-N matrices), and we study the extension problem from low-pass filter to multiresolution filter using this group.

研究动机与目标

• 建立小波滤波器、Cuntz代数 $\mathcal{O}_N$ 的表示以及环群 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 之间的双射对应关系。
• 通过酉环群作用，提供一种系统化方法，将低通滤波器扩展为多分辨率小波系统。
• 通过不可约性与酉等价性对 $\mathcal{O}_N$ 的小波表示进行分类，将其结构性质与缩放参数 $N$ 联系起来。
• 阐明亏格 $g$ 与缩放因子 $N$ 在决定小波表示分解结构中的作用。

提出的方法

• 利用 Cuntz 关系在 $L^2(\mathbb{T})$ 上定义 $\mathcal{O}_N$ 的表示，参数化为矩阵值函数 $A(z) \in \mathrm{U}(N)^\mathbb{T}$。
• 通过将 $A(z)$ 视为无穷维酉群 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 的元素，应用环群技术分析滤波器扩展。
• 通过分析 $\mathcal{B}(\mathcal{K})^\sigma$ 上算子 $\sigma^{(A)}$ 的谱，研究表示的可约性与分解。
• 利用多项式环的因式分解（推论 5.2）将低通滤波器构造为高通滤波器。
• 通过 $\sigma^{(B,A)}(E_{0,0})$ 的互换算子，确定表示 $T^{(A)}$ 与 $T^{(B)}$ 之间的酉等价性。
• 分析 $\mathcal{B}(\mathcal{K})^\sigma$ 中的极小投影，以识别小波表示的不可约分量。

实验结果

研究问题

• RQ1 如何利用无穷维酉群系统化地将低通小波滤波器扩展为多分辨率系统？
• RQ2 小波滤波器、$\mathcal{O}_N$-表示与环群元素 $\mathrm{Map}(\mathbb{T}, \mathrm{U}(N))$ 之间的确切对应关系是什么？
• RQ3 在何种条件下，$\mathcal{O}_N$ 的表示 $T^{(A)}$ 是不可约或可约的？
• RQ4 缩放因子 $N$ 与亏格 $g$ 如何影响小波表示的分解结构？
• RQ5 由不同滤波器生成的两个 $\mathcal{O}_N$-表示之间的酉等价性由什么特征决定？

主要发现

• 当且仅当在 $\mathcal{B}(\mathcal{K})^\sigma$ 中对应的投影为一维时，$\mathcal{O}_N$ 的表示 $T^{(A)}$ 是不可约的。
• 当 $N=2$ 时，矩阵 $A(z) = \begin{pmatrix}1&0\\0&z\end{pmatrix}$ 产生一个最小的二维投影 $e = E_{-1,-1} + E_{-2,-2}$，且 $T^{(A)}$ 在 $[\mathcal{O}_2 e \mathcal{K}]$ 上的限制是不可约的。
• 矩阵 $A(z) = \begin{pmatrix}0&1\\z&0\end{pmatrix}$ 导致分解 $L^2(\mathbb{T}) = [\mathcal{O}_2 e \mathcal{K}] \oplus [\mathcal{O}_2 f \mathcal{K}]$，其中包含两个非酉等价的不可约子表示。
• 表示 $T^{(A)}$ 与 $T^{(B)}$ 之间的互换算子存在的充要条件是 $A^{(0)*}B^{(0)}$ 的 $(0,0)$-元素为 1，且该条件蕴含对所有 $i$ 有 $A_{i,0}^{(0)} = B_{i,0}^{(0)}$，从而保证酉等价性。
• 当 $\lambda_0(A) = 1$ 时，实现 Cuntz 状态，且 $\mathcal{B}(\mathcal{K})^\sigma$ 中所有一维投影在标准基下均为对角形式。
• 当 $g > 2$ 时，分解结构更加丰富，尽管目前 $g=3$ 的显式例子尚未产生超出 $g=2$ 所观察到的结构。