[论文解读] Projective multiresolution analyses for dilations in higher dimensions

Judith Packer|ArXiv.org|Feb 25, 2005

Medical Imaging Techniques and Applications参考文献 20被引用 6

一句话总结

本文通过使用 $C(\mathbb{T}^n)$ 上的有限生成投影模，将高维小波框架的投影多分辨率分析（pMRA）从 $n=2$ 推广至 $n \geq 3$。提出一种方法，通过伸缩与平移算子生成小波子空间 $W_j$ 的模框架，并证明当 $n=3$ 且伸缩矩阵为单位矩阵的标量倍时，任意有限生成投影 $C(\mathbb{T}^3)$-模均可作为初始模 $V_0$，包括 $V_0$、$V_1$ 和 $W_0$ 均为非自由模的情形。主要贡献在于高维空间中系统构造非自由、投影的小波模框架。

ABSTRACT

We continue the study of projective module wavelet frames corresponding to diagonal dilation matrices on $\mathbb R^n$ with integer entries, focusing on the construction of a projective multi-resolution analysis corresponding to dilations whose domains are finitely generated projective modules over continuous complex-valued functions on $n$-tori, $n\geq 3$. We are able to generalize some of these results to dilation matrices that are conjugates of integral diagonal dilation matrices by elements of $SL(n,\mathbb Z).$ We follow the method proposed by the author and M. Rieffel, and are able to come up with examples of non-free projective module wavelet frames which can be described via this construction. As an application of our results, in the case $n=3,$ when the dilation matrix is a constant multiple of the identity, we embed every finitely generated module as an initial module.

研究动机与目标

• 将投影多分辨率分析（pMRA）的理论从 $n=2$ 推广至具有整数系数的伸缩矩阵的高维空间 $n \geq 3$。
• 将高维 $L^2(\mathbb{R}^n)$ 型希尔伯特 $C^*$-模中小波子空间 $W_j$ 的模框架构造方法进行推广。
• 证明当 $n=3$ 且伸缩矩阵为单位矩阵的标量倍时，任意有限生成投影 $C(\mathbb{T}^3)$-模均可作为 pMRA 中的初始模 $V_0$。
• 构造出 $V_0$、$V_1$ 和小波模 $W_0$ 均为非自由的情形，与二维情况下 $W_0$ 总是自由模的情况形成对比。

提出的方法

• 本文使用希尔伯特 $C(\mathbb{T}^n)$-模 $\Xi$，即 $C_c(\mathbb{R}^n)$ 在 $C(\mathbb{T}^n)$-值内积下完成后的空间，来建模小波空间。
• 通过傅里叶变换将伸缩算子 $D_A$ 转化为乘法算子 $D = \mathcal{F} \circ D_A \circ \mathcal{F}^*$，从而实现在频域中的分析。
• 构造依赖于平移算子 $\varepsilon_v$ 与伸缩算子 $D^j$ 在模生成元上的作用，通过归纳法生成 $W_j$ 的框架。
• 利用 $\mathbb{Z}^n / A^j(\mathbb{Z}^n)$ 的陪集代表元来标记框架元素，并通过特征律与内积恒等式保证正交性。
• 该方法证明：若 $W_0$ 为秩 $r$ 的自由模，则 $W_j$ 为秩 $r d^j$ 的自由模，其中 $d = |\det A|$，此结论基于框架生成元的正交性。
• 关键技术工具是通过关系式 $D^{j+1} \varepsilon_{v_l}(\Psi_k)$ 递推构造 $W_j$ 的模框架，其中 $\{v_l\}$ 是 $\mathbb{Z}^n / A^{j+1}(\mathbb{Z}^n)$ 的陪集代表元。

实验结果

研究问题

• RQ1 能否使用 $C(\mathbb{T}^n)$ 上的有限生成投影模，为 $n \geq 3$ 构造投影多分辨率分析？
• RQ2 该构造能否从对角伸缩矩阵推广至通过 $SL(n,\mathbb{Z})$ 元素共轭于对角矩阵的伸缩矩阵？
• RQ3 在高维空间中，能否构造一个 pMRA，使得初始模 $V_0$ 与小波模 $W_0$ 均为非自由 $C(\mathbb{T}^n)$-模？
• RQ4 当 $n=3$ 且 $A = cI$ 时，是否每个有限生成投影 $C(\mathbb{T}^3)$-模均可作为 pMRA 中的初始模 $V_0$？
• RQ5 当 $W_0$ 为自由模时，小波模 $W_j$ 在何种条件下仍保持自由？其秩如何随 $j$ 变化？

主要发现

• 当 $n=3$ 且 $A = cI$（单位矩阵的标量倍）时，每个有限生成投影 $C(\mathbb{T}^3)$-模均可作为 pMRA 中的初始模 $V_0$ 嵌入其中。
• 本文构造了一个 pMRA，其中 $V_0$、$V_1$ 和小波模 $W_0$ 均为有限生成且非自由的 $C(\mathbb{T}^3)$-模，这是在二维情况下未出现的新现象。
• 小波模 $W_j$ 的框架通过归纳法构造为 $\{D^j \varepsilon_{v_l}(\Psi_k) \mid 0 \leq l \leq d^j - 1, \; 1 \leq k \leq r\}$，其中 $\{v_l\}$ 是 $\mathbb{Z}^n / A^j(\mathbb{Z}^n)$ 的陪集代表元。
• 若 $W_0$ 为秩 $r$ 的自由模，则 $W_j$ 为秩 $r d^j$ 的自由模，其中 $d = |\det A|$，且框架生成元在 $C(\mathbb{T}^n)$-模意义下正交。
• 该构造通过将 $K$-理论与模框架理论推广至 $n \geq 3$，特别是针对通过 $SL(n,\mathbb{Z})$ 共轭于整数对角矩阵的伸缩矩阵，推广了二维情形的结果。
• 该方法确保 $V_0$ 与所有 $W_j$ 的模框架并集构成整个空间 $\Xi$ 的标准模框架，从而在 $C(\mathbb{T}^n)$-模拓扑下保证完备性。