[论文解读] There are no deviations for the ergodic averages of the Giulietti-Liverani horocycle flows on the two-torus

Viviane Baladi|arXiv (Cornell University)|Jul 8, 2019

Mathematical Dynamics and Fractals参考文献 15被引用 5

一句话总结

本文证明，对于在二维环面上与 Cr Anosov 微分同胚（r ≥ r₁，且足够大）相关的Giulietti-Liverani 水平线流，其遍历平均不表现出偏差：它们要么线性增长，要么保持有界，不存在中间的幂律增长。证明依赖于 Artin-Mazur zeta 函数的拓扑不变性以及在各向异性分布空间上转移算子的谱分析，表明转移算子的所有共振态均位于开单位圆内，从而排除了偏差模式。作为推论，最大熵测度的相关性衰减速率严格快于 e⁻ʰᵗᵒڤ(F)。

ABSTRACT

We show that the ergodic averages for the horocycle flow on the two-torus associated by Giulietti and Liverani to an Anosov diffeomorphism either grow linearly or are bounded, in other words there are no deviations. For this, we use topological invariance of the Artin-Mazur zeta function to exclude resonances outside of the open unit disc. Transfer operators acting on suitable spaces of anisotropic distributions and their Ruelle determinants are the key tools in the proof. As a bonus, we show that for any smooth Anosov diffeomorphism F on the two-torus, the correlations for the measure of maximal entropy and smooth observables decay with a rate strictly smaller than exp(-h_top(F)). We compare our results with related work of Forni.

研究动机与目标

• 本文旨在解决 Giulietti-Liverani 水平线流在二维环面上的遍历平均是否在收敛速率上表现出非线性偏差的问题。
• 研究与该流相关的转移算子的谱结构，特别是其共振态相对于单位圆的位置。
• 目标之一是证明当 r 足够大时，转移算子的所有共振态严格位于开单位圆内，从而消除偏差模式。
• 次要目标是建立在 C∞ 观测函数下，最大熵测度的相关性衰减速率严格快于 e⁻ʰᵗᵒڤ(F)。
• 本研究旨在阐明无偏差共振态的动力学含义，特别是与上同调方程及轨道等分布性之间的关系。

提出的方法

• 证明利用 Artin-Mazur zeta 函数在拓扑共轭下的拓扑不变性，以约束谱数据的位置。
• 在各向异性的 Banach 空间上构造转移算子，谱分析聚焦于本质谱半径与最大谱半径。
• 采用 Ruelle 动力学行列式，将转移算子的谱与 zeta 函数关联，实现解析延拓与零点定位。
• 论证通过将 zeta 函数因式分解为与扩展动力系统相关的动力学行列式，利用已知的转移算子谱半径与本质谱半径结果。
• 利用半径 >1 的圆盘内行列式的全纯性，排除在闭单位圆盘上除 z = e⁻ʰᵗᵒڤ(F) 外的零点，从而证明单位圆周或外部无共振态。
• 证明通过调整解析域与谱命题，分别处理 ˜ρBT < 1 与 ˜ρBT ≥1 两种情形。

实验结果

研究问题

• RQ1 对于足够大的 r，Giulietti-Liverani 水平线流在二维环面上的遍历平均是否表现出非线性偏差（如幂律增长）？
• RQ2 当 r 足够大时，与该流相关的转移算子的所有共振态是否严格位于开单位圆内？
• RQ3 无偏差共振态是否意味着最大熵测度的相关性衰减速率严格快于 e⁻ʰᵗᵒڤ(F)？
• RQ4 能否通过 zeta 函数不变性与动力学行列式因式分解来控制转移算子的谱性质？
• RQ5 无偏差共振态的动力学后果是什么，特别是对上同调方程与轨道等分布性的影响？

主要发现

• 当 r ≥ r₁（取决于 F 的扩张/收缩率）时，转移算子 eL 的所有共振态严格位于开单位圆内，因此不存在偏差共振态。
• 作为推论，遍历平均 Hx,T(f) 以误差 C′(T^θ′_min∥f∥Cr + sup|f|) 收敛于 T·µs(f)，其中 θ′_min < 0，意味着不会出现幂律偏差。
• 最大熵测度与 C∞ 观测函数的相关性衰减速率严格小于 e⁻ʰᵗᵒڤ(F)，这是对先前界限的显著改进。
• 证明表明，动力 zeta 函数在闭单位圆盘内唯一的可能零点是 z = e⁻ʰᵗᵒڤ(F) 处的单零点，从而确认单位圆周或外部无共振态。
• 该结果适用于任意 C∞ Anosov 微分同胚在二维环面上的情形，且衰减速率在所有此类系统中一致。
• 该方法证实，转移算子的谱数据在拓扑共轭下保持不变，且 zeta 函数的解析结构完全决定了偏差的缺失。