[论文解读] Spectral multiplicities for infinite measure preserving transformations

Alexandre I. Danilenko, Valery V. Ryzhikov|arXiv (Cornell University)|May 21, 2009

Advanced Mathematical Modeling in Engineering参考文献 17被引用 5

一句话总结

本文通过证明任意子集 $ E \subset \mathbb{N} $ 均可作为柯布曼算子的基本谱重数集合，解决了无限测度保持遍历变换的谱重数问题。作者利用对称幂与秩一变换的紧致扩张，通过余换元扩张与谱逼近技术，构造出显式例子，在无限测度情形下实现了完整刻画，而该问题在有限测度情形仍为开放问题。

ABSTRACT

Each subset $E\subset\Bbb N$ is realized as the set of essential values of the multiplicity function for the Koopman operator of an ergodic conservative infinite measure preserving transformation.

研究动机与目标

• 确定哪些子集 $ E \subset \mathbb{N} $ 可作为遍历保守无限测度保持变换 $ T $ 的基本谱重数集合 $ \mathcal{M}(T) $。
• 将此前在有限测度情形仍为开放问题的罗赫林谱重数问题，推广至无限测度情形。
• 利用对称幂 $ T^{\odot p} $、紧致扩张 $ T_\alpha $ 与余换元技术，构造此类变换的显式例子。
• 克服有限测度情形中存在常值函数所引入的非本质重数等障碍。

提出的方法

• 构造一个具有简单谱与连续谱类型的秩一变换 $ T $，确保对所有 $ k \in \mathbb{N} $，$ U_T^{\odot k} $ 均具有简单谱。
• 利用对称幂 $ T^{\odot m} $ 与紧致扩张 $ T_{\alpha,H} $ 构造乘积变换 $ T^{\odot m} \times T_{\alpha,H} $。
• 应用引理 1.1，证明 $ U_T^{\otimes k} $ 在 $ \Gamma $-不变张量上的限制具有重数为 $ k! / \#\Gamma $ 的齐次谱。
• 利用取值于有限交换群 $ K/H $ 的余换元扩张 $ T_{\alpha,H} $，通过余换元遍历性准则确保遍历性。
• 通过弱极限建立谱逼近：对 $ \chi \in \widehat{K/H} $，证明当 $ n \to \infty $ 时，$ U_{T,\chi}^{2h_n} \to \frac{l_\chi(b)}{k+1} I + \frac{k}{k+1} U_{T,\chi}^* $。
• 利用谱投影的收敛性与 $ \mathcal{K} $ 在 $ K $ 中的稠密性，推导出 $ U_{T^{\odot m} \times T_{\alpha,H}} $ 的重数集合恰好为 $ \{m+1\} \cup E $。

实验结果

研究问题

• RQ1 哪些子集 $ E \subset \mathbb{N} $ 可作为遍历保守无限测度保持变换 $ T $ 的基本谱重数集合 $ \mathcal{M}(T) $？
• RQ2 罗赫林谱重数问题是否可在无限测度情形下得到解决，而该问题在有限测度情形仍为未解？
• RQ3 当不存在常值函数干扰重数时，如何构造具有指定谱重数的变换？
• RQ4 对称幂与紧致扩张在无限测度情形下实现任意谱重数集合的过程中起何种作用？

主要发现

• 对任意子集 $ E \subset \mathbb{N} $，存在一个遍历多重递归的无限测度保持变换 $ T $，使得 $ \mathcal{M}(T) = E $。
• 构造方法使用 $ T^{\odot m} \times T_{\alpha,H} $，其中 $ m+1 \in E $，且 $ T $ 为具有简单谱的秩一变换。
• 证明了 $ U_{T^{\odot m} \times T_{\alpha,H}} $ 的谱重数恰好为 $ \{m+1\} \cup E $，当 $ m+1 \in E $ 时即等于 $ E $。
• 证明依赖于谱逼近：$ U_{T,\chi}^{2h_n} \to \frac{l_\chi(b)}{k+1} I + \frac{k}{k+1} U_{T,\chi}^* $，由此导出乘积算子的重数为 $ m+1 $。
• 变换 $ T^{\odot m} \times T_{\alpha,H} $ 是遍历的，因为余换元 $ 1 \otimes \alpha $ 的遍历性由 $ \mathcal{K} $ 在 $ K $ 中的稠密性所保证。
• 该方法避开了有限测度情形中的谱障碍，即常值函数在对称幂中引入了非本质重数。