[论文解读] Thermodynamic formalism and Substitutions

Nicolas Bédaride, Pascal Hubert+1 more|arXiv (Cornell University)|Nov 10, 2015

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

一句话总结

本文通过证明存在唯一的非零连续不动点，建立了符号动力系统中一类带标记代换（generalizing the Thue-Morse case）的势函数上重整化算子的收敛性。在势函数满足适当初始条件时，迭代重整化 $ R^n(φ) $ 收敛于该不动点，且其显式渐近极限取决于代换的局部结构。

ABSTRACT

This paper studies properties of a Renormalization Operator for potentials in symbolic dynamics. These operators first appeared in \cite{BLL} and the link with substitutions was done in \cite{BL1}. Their fixed points are natural candidates to have pathologic behavior such as phase transitions. If $R$ is such an operator, we study the convergence of $R^{n}(φ)$ to the non-nul fixed point. We define the family of marked substitutions, which contains the Thue-Morse substitution, and show that the associated renormalization operators on potentials admits a unique non-nul continuous fixed point. Then, we show that $R^{n}(φ)$ converges to the fixed point as soon as $φ$ has the right germ close to $\mathbb K$.

研究动机与目标

• 研究符号动力系统中势函数上重整化算子 $ R^n(φ) $ 的收敛性。
• 确定 $ R^n(φ) $ 收敛于非零连续不动点的条件。
• 通过带标记代换的概念，将 Thue-Morse 代换的结果推广到更广泛的代换类。
• 将重整化动力学与热力学形式主义中的相变及病态行为联系起来。
• 表明带标记代换通过局部化并控制语言中的混沌扰动（即“事故”）来确保收敛性。

提出的方法

• 定义符号动力系统中作用于势函数 $ \varphi $ 的重整化算子 $ R $。
• 引入带标记代换类，其中左右标记允许从有限前缀和后缀重构字母。
• 利用代换的常长度性质分析无限词的语言 $ \mathcal{L} $，并定义函数 $ \delta(x) $，用于度量包含给定后缀的最短词长。
• 分析移位动力系统 $ \sigma^k(H^n(x)) $ 以确定 $ \delta_k^n $，即包含从位置 $ k $ 开始的后缀的最短词长。
• 应用引理 4.2，当假设语言扩展更长时导出矛盾，从而证明 $ \delta_k^n $ 的精确值。
• 将重整化势函数 $ R^n(\varphi)(x) $ 计算为逆长度之和，并取 $ n \to \infty $ 的极限，得到显式渐近表达式。

实验结果

研究问题

• RQ1 在何种条件下，重整化算子 $ R^n(\varphi) $ 收敛于非零连续不动点？
• RQ2 代换的结构性质——特别是带标记性——如何影响重整化算子的收敛性？
• RQ3 当 $ \varphi $ 在集合 $ \mathbb{K} $ 附近具有特定胚时，$ R^n(\varphi)(x) $ 的渐近行为是什么？
• RQ4 势函数的重整化算子能否与准周期系统（如代换）中的相变相联系？
• RQ5 ‘事故’——语言结构中的局部扰动——如何影响 $ R^n(\varphi) $ 的收敛性？能否加以控制？

主要发现

• 对于任意带标记代换，重整化算子 $ \mathcal{R} $ 存在唯一的非零连续不动点。
• 若 $ \varphi(x) = \frac{1}{p} + o(1/p) $ 且 $ d(x, \mathbb{K}) = 2^{-p} $，则当 $ p \geq 3 $ 时，有 $ R^n(\varphi)(x) \to \ln\left(\frac{p}{p-1}\right) $。
• 当 $ p = 2 $ 时，极限为 $ \frac{1}{2} \ln\left(\frac{4}{3}\right) $，对应于 $ \delta(x) = 2 $ 的情形。
• 当 $ \varphi $ 在 $ \mathbb{K} $ 附近具有正确胚时，$ R^n(\varphi) $ 的收敛性得以保证，从而实现不动点。
• 证明表明，语言中的‘事故’（即后缀的意外扩展）被局部化，且由于带标记性条件，不会破坏收敛性。
• 渐近极限通过将求和 $ \sum_{k=0}^{2^n-1} \frac{1}{p \cdot 2^n - k} $ 近似为黎曼和而导出，其极限收敛于 $ \ln\left(\frac{p}{p-1}\right) $。