[论文解读] Quantum unique ergodicity

Steve Zelditch|arXiv (Cornell University)|Jan 27, 2003

Quantum chaos and dynamical systems参考文献 5被引用 3

一句话总结

该论文证明，在量子唯一遍历（QUE）系统中，当本征值间隙趋于零时，伪微分算子在本征函数之间的非对角矩阵元趋于零。关键结果表明，具有有界数量基本频率且具有奇异经典极限的准模在QUE系统中不可能存在，这意味着此类系统——如长亭系统和Donnelly的曲面——若支持这些局域化的准模，则不可能是QUE。

ABSTRACT

This short note proves that a Laplacian cannot be quantum uniquely ergodic if it possesses a quasimode of order zero which (i) has a singular limit, and (ii) is a linear combination of a uniformly bounded number of eigenfunctions (modulo an o(1) error). Bouncing ball quasimodes of the stadium are believed to have this property (E.J. Heller et al) and so are analogous quasimodes recently constructed by H. Donnelly on certain non-positively curved surfaces. The main ingredient is the proof that all sequences of off-diagonal matrix elements of QUE systems with vanishing spectral gaps tend to zero.

研究动机与目标

• 分析量子唯一遍历（QUE）系统中非对角矩阵元的渐近行为。
• 研究具有奇异经典极限（例如周期轨道上的疤痕）的准模与QUE性质之间的相容性。
• 建立一个排除支持少量基本频率和非Liouville极限的准模之QUE系统的判据。
• 基于准模结构，为理解长亭和Donnelly曲面等系统非QUE性质提供理论基础。

提出的方法

• 使用与矩阵元 $ \langle A\varphi_i, \varphi_j \rangle $ 相关的测度 $ d\tilde{\Phi}_{i,j} $ 的弱*极限来分析渐近行为。
• 应用弱*极限在测地流下的不变性，该结论源自量子遍历性研究的前期工作。
• 证明任何 $ d\tilde{\Phi}_{i,j} $ 的弱*极限必须是Liouville测度 $ dL $ 的常数倍，这是由遍历性与绝对连续性决定的。
• 通过本征函数正交性及极限中恒等算子的应用，证明当 $ i \neq j $ 时该常数必须为零。
• 将此结果应用于准模，通过将它们分解为具有有界频率集 $ \Lambda_k $ 的本征函数，假设 $ n(k) \leq C $。
• 若此类准模具有奇异极限测度 $ d\mu \neq dL $，则在QUE假设下导出矛盾。

实验结果

研究问题

• RQ1 具有有界数量基本频率和奇异经典极限的准模能否存在于量子唯一遍历系统中？
• RQ2 本征值聚集与支持局域化准模的系统中量子唯一遍历性失效之间有何关系？
• RQ3 在本征值间隙较小时，非对角矩阵元趋于零如何限制QUE系统中准模的结构？
• RQ4 在多大程度上，基于准模矩阵元奇异极限的软疤痕判据可用于排除QUE？
• RQ5 若长亭系统和Donnelly的非正曲率曲面的准模具有少量基本频率，则它们是否必然不是QUE？

主要发现

• 对于任意QUE系统，当 $ |\lambda_i - \lambda_j| \to 0 $ 时，非对角矩阵元 $ \langle A\varphi_i, \varphi_j \rangle $ 即使 $ i \neq j $ 也趋于零。
• 与这些矩阵元相关的测度 $ d\tilde{\Phi}_{i,j} $ 的任何弱*极限必须是Liouville测度 $ dL $ 的常数倍。
• 由于本征函数的正交性及 $ A = I $ 时的迹条件，该常数在 $ i \neq j $ 时必须为零。
• 若一个0阶准模 $ \{\psi_k\} $ 满足 $ n(k) \leq C $ 且具有奇异经典极限 $ d\mu \neq dL $，则它在QUE系统中不可能存在。
• 这意味着，若长亭或Donnelly曲面支持具有少量基本频率和疤痕效应的准模，则它们不是QUE。
• 该结果为广泛认为此类系统非QUE的观点提供了理论依据，其基础正是其准模结构。