[论文解读] Phase transitions for geodesic flows and the geometric potential

Aníbal Velozo|arXiv (Cornell University)|Apr 9, 2017

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

一句话总结

本文构建了几何有限、负曲率的流形——具体为具有 $ k \geq 3 $ 个穿孔的球面——其中测地流的几何势（不稳定雅可比行列式）表现出类型 A 的相变。通过在尖点附近精心设计度量以使势函数缓慢衰减，作者证明了该势的压强映射变得非解析，一阶导数出现不连续，且平衡态仅在 $ t < s_{n,m} $ 时存在，而当 $ t > s_{n,m} $ 时压强映射呈线性，表明存在一个尖锐的相变。

ABSTRACT

In this paper we study the phenomenon of phase transitions for the geodesic flow on some geometrically finite negatively curved manifolds. We define a class of potentials going slowly to zero through the cusps of $M$ for which the pressure map exhibits a phase transition. By a careful choice of the metric at the cusp we construct a geometrically finite manifold for which the geometric potential (or unstable Jacobian) exhibits a phase transition. Our results apply, in particular, to the geodesic flow on an $M$-puncture sphere, for every $M\ge 3$, and a suitable choice of Riemannian metric.

研究动机与目标

• 研究非紧致、几何有限、负曲率流形上测地流热力学形式系统的相变存在性。
• 解决非紧致流形中压强映射缺乏正则性的问题，特别是在势函数在无穷远处缓慢衰减时的情况。
• 构造显式例子——具体为 $ k $ 个穿孔的球面，其中 $ k \geq 3 $ ——使得几何势表现出相变。
• 证明此类相变源于尖点处势函数的缓慢衰减，即使势函数是 Hölder 连续的也是如此。
• 表明平衡态仅在临界逆温度 $ s_{n,m} $ 以下存在，而当压强映射在该值以上变为线性时，表明存在相变。

提出的方法

• 通过在尖点处使用扩展的施瓦茨群（含抛物与双曲生成元）的修改度量，构造一族几何有限流形 $ M_{n,m} $。
• 将势函数 $ F_{n,m}^{su} $ 定义为不稳定雅可比行列式（即几何势），并将其压强映射 $ P(tF_{n,m}^{su}) $ 视为逆温度 $ t $ 的函数。
• 利用庞加莱级数及其群作用的收敛性/发散性类型，分析 $ tF_{n,m}^{su} $ 的平衡态存在性。
• 应用强正递归（SPR）势理论，证明当 $ t > t_{n,m} $ 时存在平衡态，但当 $ t < t_{n,m} $ 时不存在，其中 $ t_{n,m} \in [-1,0) $。
• 证明当 $ t > s_{n,m} = -t_{n,m} $ 时，压强映射为线性，表明存在类型 A 的相变。
• 利用 $ Q = -F_{n,m}^{su} - (N-1) $ 导致收敛型庞加莱级数的事实，通过临界指数分析实现相变的构造。

实验结果

研究问题

• RQ1 在非紧致、几何有限、负曲率流形上，若势函数为 Hölder 连续，测地流的压强映射是否可能发生相变？
• RQ2 势函数通过尖点的衰减速率满足何种条件时，会在热力学形式系统中引发相变？
• RQ3 在 $ k \geq 3 $ 个穿孔的球面上，其上在适当黎曼度量下，几何势（不稳定雅可比行列式）是否允许相变？
• RQ4 即使势函数为 Hölder 连续且在无穷远处缓慢衰减，是否仍可为几何势的压强映射构造出类型 A 的相变？
• RQ5 庞加莱级数的收敛类型与势函数 $ tF^{su} $ 的平衡态存在性之间存在何种关系？

主要发现

• 当 $ n $ 和 $ m $ 足够大时，流形 $ M_{n,m} $ 为扩展的施瓦茨流形，其几何势 $ F_{n,m}^{su} $ 表现出类型 A 的相变。
• 存在一个临界值 $ s_{n,m} \in (0,1] $，使得当 $ t < s_{n,m} $ 时 $ tF_{n,m}^{su} $ 存在平衡态，但当 $ t > s_{n,m} $ 时不存在。
• 压强映射 $ P(tF_{n,m}^{su}) $ 在 $ t > s_{n,m} $ 时为线性，表明在 $ t = s_{n,m} $ 处一阶导数出现不连续，这是相变的典型特征。
• 测地流在 $ M_{n,m} $ 上存在唯一的最大熵测度，由抛物与双曲生成元的庞加莱级数的发散型所证实。
• 该构造适用于任意 $ k $ 个穿孔的球面（$ k \geq 3 $），表明此类相变并非局限于特定拓扑。
• 相变源于势函数在尖点处的缓慢衰减，且在尖点附近度量修改下仍保持稳定，只要衰减速率受到控制。