[论文解读] Simple Spectrum for Tensor Products of Mixing Map Powers

V. V. Ryzhikov|arXiv (Cornell University)|Jul 24, 2011

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文构造了一个混合的秩一变换 $T$，使得其无限张量积 $T \otimes T^2 \otimes T^3 \otimes \cdots$ 具有简单谱。通过使用经过精心设计的随机秩一构造与填充序列，作者确保了 $T$ 的幂具有特定的弱极限，从而在张量积空间中实现谱不相交与循环向量的生成，最终通过归纳谱论证与弱收敛技术确立了简单谱。

ABSTRACT

We prove the existence of a mixing rank one map $T$ such that the product $T\otimes T^2\otimes T^3\otimes...$ has simple spectrum. This result is used in S.V. Thikhonov's proof of the existence of mixing transformation with homogeneous spectrum of multiplicity $m>2$.

研究动机与目标

• 构造一个混合的保测变换 $T$，使得其无限张量积 $T \otimes T^2 \otimes T^3 \otimes \cdots$ 具有简单谱。
• 将有限张量积的谱技术扩展至单个变换幂的无限张量积。
• 提出一种基于受控填充序列的随机秩一构造方法，以在张量积中实现期望的谱行为。
• 通过建立混合映射幂的无限张量积的简单谱，解决遍历理论中的一个谱问题。

提出的方法

• 使用设计用于产生 $T$ 的幂的特定弱极限的随机秩一构造与填充序列，特别是 $T^{km_j} \to a_k I + (1 - a_k)\Theta$（当 $k \neq s$ 时）。
• 引入三段式填充数组：$a$-段用于常数填充，$b$-段使用周期性 $nH_j - 1$ 个填充以生成类似 $T$ 的行为，$c$-段使用递增填充以诱导混合性。
• 采用弱算子收敛 $\approx_w$ 分析 $T^{km_j}$ 的渐近行为，确保其收敛于恒等算子、移位算子与常数投影的组合。
• 利用归纳法与来自 $(s,n)$-性质的谱不相交性，证明由 $f^{\otimes n}$ 生成的循环子空间在 $L^2 \otimes \cdots \otimes L^2$ 中稠密，从而推出简单谱。
• 利用不同张量积 $T^{n_1} \otimes \cdots \otimes T^{n_k}$ 由于具有不同的弱极限而谱不相交的事实，确保无谱重叠。
• 应用极限论证：构造一列 $c_p$-部分混合变换 $T_p$，使得 $T_p \otimes T_p^2 \otimes \cdots$ 具有简单谱，然后取 $T_p \to T$（当 $p \to \infty$ 时），得到一个混合极限变换并保持所需的谱性质。

实验结果

研究问题

• RQ1 能否构造一个混合变换 $T$，使得其无限张量积 $T \otimes T^2 \otimes T^3 \otimes \cdots$ 具有简单谱？
• RQ2 变换幂 $T^k$ 需满足何种条件，才能在张量积空间中实现谱不相交？
• RQ3 如何设计随机秩一构造，使得 $T^{km_j} \to a_k I + (1 - a_k)\Theta$（当 $k \neq s$ 时），而 $T^{sm_j} \to \Theta$？
• RQ4 是否可以通过极限构造，将有限张量积的谱简单性推广至无限积？
• RQ5 能否以类似方式控制流的谱行为，以确保其指数的乘积具有简单谱？

主要发现

• 存在一个混合的秩一变换 $T$，使得其无限张量积 $T \otimes T^2 \otimes T^3 \otimes \cdots$ 具有简单谱。
• 该构造采用具有三段式填充序列的随机秩一框架，以实现 $T^{km_j} \to a_k I + (1 - a_k)\Theta$（当 $k \neq s$ 时）与 $T^{sm_j} \to \Theta$，从而确保谱不相交。
• 对于 $k = 1, 2, \dots, n-1$，幂 $T^{km_j}$ 弱收敛于 $a_k I + (1 - a_k)\Theta$，而 $T^{nm_j} \to aI + bT + c\Theta$，从而实现谱的归纳控制。
• 由 $f^{\otimes n}$ 生成的循环子空间在 $H^{\otimes n}$ 中稠密，证明了 $T \otimes T^2 \otimes \cdots \otimes T^n$ 具有简单谱。
• 作为 $T_p \to T$ 的极限变换 $T$ 是混合的，并通过标准逼近技术继承了有限积的谱简单性。
• 该结果支持一个猜想：存在一个混合流 $T_t$，使得所有乘积 $T_{t_1} \otimes T_{t_2} \otimes \cdots$ 均具有简单谱，且可能存在一个涉及 $T_{t_i m_j}$ 弱极限的谱判据。