[论文解读] Spectrum and abnormals in sub-Riemannian geometry: the 4D quasi-contact case

Nikhil Savale|arXiv (Cornell University)|Sep 1, 2019

Geometric Analysis and Curvature Flows参考文献 40被引用 4

一句话总结

该论文首次建立了子黎曼流形中异常测地线与谱几何之间的联系，证明了4D拟接触情形下的精确Weyl定律、波迹展开式以及量子遍历性。研究结果表明，异常测地线——特别是特征线丛的闭积分曲线——在波迹的奇异支撑及特征值渐近分布中起着核心作用。

ABSTRACT

We prove several relations between spectrum and dynamics including wave trace expansion, sharp/improved Weyl laws, propagation of singularities and quantum ergodicity for the sub-Riemannian (sR) Laplacian in the four dimensional quasi-contact case. A key role in all results is played by the presence of abnormal geodesics and represents the first such appearance of these in sub-Riemannian spectral geometry.

研究动机与目标

• 建立异常测地线在子黎曼谱几何中的作用，解决长期悬而未决的开放问题。
• 推导4D拟接触情形下子黎曼拉普拉斯算子的精确且改进的Weyl定律。
• 分析波迹展开式，并以正常与异常测地线周期的形式识别其奇异支撑。
• 在特征流满足遍历性假设的条件下证明量子遍历性，从而将动力系统与谱分布联系起来。

提出的方法

• 使用适配于子黎曼结构的Hermite微分式与全局伪微分演算，尤其在特征簇Σ附近。
• 在特征簇及闭特征附近应用Birkhoff标准型，分析哈密顿流的局部动力学。
• 应用Egorov定理于波传播算子，将算子的时间演化与哈密顿流下符号的前推联系起来。
• 通过参数构造与Tauberian论证推导波迹渐近性，将小时间行为与谱计数联系起来。
• 将von Neumann平均遍历定理应用于特征向量场Z的流，以控制量子遍历性中的方差。
• 在球面法丛SNS*Σ上使用微局部分析，将方差估计转化为符号时间平均的L²收敛性。

实验结果

研究问题

• RQ1 异常测地线是否影响子黎曼拉普拉斯算子的谱渐近性？
• RQ2 在4D拟接触情形下能否建立精确Weyl定律？其精确的主项是什么？
• RQ3 波迹的奇异支撑如何与正常及异常测地线的周期相关？
• RQ4 在何种动力学条件下，子黎曼拉普拉斯算子的量子遍历性成立？
• RQ5 特征向量场Z及其流在谱与动力学分析中起什么作用？

主要发现

• 建立了计数函数 $ N(\theta) $ 的精确Weyl定律：$ N(\theta) = \frac{1}{24\theta} \theta^{5/2} \nu_{\text{Popp}}(X) + O(\theta^2) $，在闭特征测度为零的假设下，误差界得到改进。
• 波迹的奇异支撑包含于 $ \big\backslash \{0\} \cup (-\infty, -T_{\text{abnormal}}^E] \cup [T_{\text{abnormal}}^E, \infty) \cup \mathscr{L}_{\text{normal}} $，其中 $ T_{\text{abnormal}}^E $ 是 $ L^E $ 的闭积分曲线的最小周期。
• 小时间波迹表现出对数与幂律奇异性结构：$ \text{tr } e^{it\sqrt{\Delta}} = \sum_{j=0}^N c_{j,0} (t+i0)^{j-5} + \sum_{j=0}^N c_{j,1} (t+i0)^{j-3} \ln(t+i0) + \sum_{j=0}^N c_{j,2} t^j \ln^2(t+i0) + O(t^N) $。
• 在特征流 $ Z $ 遍历且体积保持的条件下，量子遍历性成立，可观测量的方差在高能极限下趋于零。
• 方差估计依赖于在 $ \hat{Z} $-流下符号时间平均的 $ L^2 $ 收敛性，该收敛性由von Neumann平均遍历定理保证。
• 量子遍历性的主要障碍是符号类中存在非平凡的 $ \hat{Z} $-不变函数，除非 $ \hat{\rho}_Z = 1 $，否则可能导致方差无法趋于零。