An elementary proof of Brémont's theorem on the convergence of equilibrium measures at temperature zero

技术摘要：关于零温下平衡测度收敛性的 Brémont 定理的一个初等证明

问题陈述
本文研究了对于拓扑混合型有限亚移位 $(X, \sigma)$ 上的局部常函数 $f$，当参数 $t \to \infty$ 时，平衡测度 $m_{tf}$ 的收敛性问题。在热力学形式化中，$t$ 代表逆温度，而 $t \to \infty$ 的极限对应于零温极限。虽然已知 $m_{tf}$ 的累积点是 $f$-极值测度（即在具有最大熵的此类测度中使 $\int f dm$ 最大化的测度），但对于一般的连续函数，极限 $m_{tf}$ 不一定存在。Chazottes & Hochman 以及 Coronel & Rivera-Letelier 的先前工作表明，对于 Lipschitz 函数，极限可能不存在或对 $f$ 表现出敏感的依赖性。然而，Brémont 证明了如果 $f$ 是局部常函数，则极限存在。挑战在于存在多个 $f$-极值测度的情况；此时，极限是这些遍历测度的特定凸组合，而这种组合并非仅由极大化测度集所决定。

方法论
作者提供了一个新的、初等的证明来证明 Brémont 定理，避免了原证明中所使用的亚解析几何和准备定理（preparation theorem）等繁重工具。其方法论如下：

1. 归约为高阶块表示（Higher Block Presentation）： 作者假设 $f$ 和测试函数 $g$ 在长度为 $r$ 的柱集上是常数。他们将系统转化为高阶块表示，从而将问题简化为一个由原始 $N \times N$ 矩阵 $B$ 定义的亚移位，其中 $f$ 和 $g$ 仅依赖于前两个坐标。
2. 动力学 Zeta 函数与隐函数求导： 他们定义了一个转移矩阵 $B_{t,u}$，其条目为 $e^{tf(i,j) + ug(i,j)}$，并考虑与 $\Delta(z, t, u) = \det(I - zB_{t,u})$ 相关的动力学 zeta 函数。通过对 $1/\zeta$ 进行隐函数求导，他们推导出了一个公式（引理 2.1），该公式利用 $z(t) = e^{-P(tf)}$ 和 $\Delta$ 的偏导数来表达测度 $m_{tf}(g)$。
3. 系数的代数结构： 多项式 $\Delta(\cdot, t, 0)$ 的系数被证明是形如 $e^{\gamma t}$ 的指数函数的有限线性组合（属于环 $E$）。因此，$z(t)$ 是一个系数属于 $E$ 的多项式的零点。
4. 消元与代数依赖性： 核心技术步骤涉及从方程组中消去 $z(t)$。通过将实解析函数视为整环，并利用域论，作者证明了 $m_{tf}(g)$（记作 $y(t)$）满足一个系数属于 $E$ 的分式域的多项式方程。具体而言，他们展示了 $y(t)$ 关于由函数 $t \mapsto e^{\gamma t}$ 生成的域是代数的。
5. 通过初等引理进行渐近分析： 作者引入了引理 3.1，这是一个初等结果，指出一个满足具有 $E$ 中系数（并非全为恒等零）的多项式方程的有界连续函数 $y(t)$ 必有极限。该引理的证明依赖于分析当 $t \to \infty$ 时的主导指数项，以表明 $y(t)$ 的累积点集是有限的，且包含在某个极限多项式的根中，从而迫使收敛。

主要贡献与结果

• 初等证明： 本文提供了一个简短、自洽的证明，用于证明 Brémont 定理，该证明使用动力系统、线性代数和域论的标准工具，绕过了复杂的亚解析函数理论。
• 收敛性： 它严格建立了对于任何局部常函数 $f$，平衡测度 $m_{tf}$ 在弱-* 拓扑下收敛。
• 极限的代数性： 一个重要的结果是，极限测度对每个柱集赋予一个代数数。即使 $f$ 取超越值，极限权重也是代数数。
• 次数界限： 本文提供了一个关于这些代数数次数的显式界限。如果 $f$ 在长度为 $r$ 的柱集上是常数，则长度 $\le r$ 的柱集的极限测度的次数至多为长度为 $r-1$ 的柱集的数量（在证明中记为 $N$）。
• 系数的有理性： 如果 $f$ 取有理值，则控制极限的多项式的系数是有理数，这意味着极限是一个次数至多为 $N$ 的代数数。

意义与主张
作者声称，他们的方法提供了一种比 Brémont 原本依赖于深奥的亚解析函数结果更易于理解的替代方案。通过将问题框架化为平衡测度相对于指数函数的代数性质，他们将收敛机制隔离到一个简单的渐近论证（引理 3.1）中。

论文指出，虽然极限是 $f$-极值遍历测度的凸组合，但即使 $f$ 是有理的，该组合中的特定系数也不一定是理数。其意义在于结构性的洞察：极限测度并非任意的，而是受到约束，使其相对于指数函数生成的域是代数的。作者还提到，他们的结果与 Leplaideur（动力学）、Chazottes 等人（算法/重整化）以及 Garibaldi & Thieullen（Puiseux 级数）的其他证明相一致，特别是在极大化测度不唯一的情况下。

论文最后指出，极限测度是 $f$-极值遍历测度的凸组合，虽然极限的存在性是保证的，但这些特定的权重取决于势函数 $f$ 的精细结构，并且不能仅由极大化测度的集合来确定。