[论文解读] Negative Entropy, Zero temperature and stationary Markov Chains on the interval

Artur O. Lopes, Joana Mohr+2 more|ArXiv.org|Jun 5, 2008

Quantum chaos and dynamical systems参考文献 37被引用 13

一句话总结

本论文研究了在区间 [0,1]^N 上的移位映射的遍历优化问题，其中势函数依赖于两个坐标，建立了在绝对连续平稳马尔可夫测度族 μ_β 沿着 β→∞ 收敛于唯一最大测度 μ_∞ 的零温极限下，满足大偏差原理。在 C² 和扭转条件之下，最大测度表现出单调图性质，并在 Mañé 意义下通常是唯一的，且显式构造了分离次作用函数。

ABSTRACT

We analyze some properties of maximizing stationary Markov probabilities on the Bernoulli space $[0,1]^\mathbb{N}$, More precisely, we consider ergodic optimization for a continuous potential $A$, where $A: [0,1]^\mathbb{N} o \mathbb{R}$ which depends only on the two first coordinates. We are interested in finding stationary Markov probabilities $μ_\infty$ on $ [0,1]^\mathbb{N}$ that maximize the value $ \int A d μ,$ among all stationary Markov probabilities $μ$ on $[0,1]^\mathbb{N}$. This problem correspond in Statistical Mechanics to the zero temperature case for the interaction described by the potential $A$. The main purpose of this paper is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities $μ_β$ which weakly converges to $μ_\infty$. The probabilities $μ_β$ are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure. Under the hypothesis of $A$ being $C^2$ and the twist condition, that is, $\frac{\partial^2 A}{\partial_x \partial_y} (x,y) eq 0$, for all $(x,y) \in [0,1]^2$, we show the graph property.

研究动机与目标

• 确定 [0,1]^N 上的平稳马尔可夫概率测度 μ_∞，使其在所有 σ-不变概率测度中最大化 ∫A dμ。
• 分析由庞托夫算子导出的一族绝对连续平稳马尔可夫测度 μ_β 在零温极限（β→∞）下的行为。
• 为 μ_β 收敛于 μ_∞ 的过程建立大偏差原理。
• 在 C² 和扭转条件下，证明最大测度 ν_∞ 在 [0,1]² 上具有图性质和单调性。
• 证明最大测度在 Mañé 意义下通常是唯一的，并为势函数 A 显式构造一个分离次作用函数。

提出的方法

• 利用庞托夫算子 L_βφ(x) = ∫ e^{βA(x,y)} φ(x) dx 及其伴随算子生成特征函数与特征值，通过不变测度得到 μ_β。
• 应用 Kre'in-Rutman 定理以确保算子存在正特征函数与正特征值。
• 通过投影 ν（即 μ 在 (x₁,x₂) ↦ (x₁,x₂) 下的像）将问题约化至 [0,1]²。
• 将值 m = sup_μ ∫A dμ 定义为最大遍历平均值，该值在零温极限下即为压力。
• 通过路径下确界定义值函数 h(x,y) = S(x,y)，满足 h(x,y) ≤ -A(x,y) + m。
• 利用 A 的 Hölder 连续性，证明函数 S_x(y) 的一致 Hölder 连续性，从而通过标准化次作用的级数构造出分离次作用 u。

实验结果

研究问题

• RQ1 一族绝对连续平稳马尔可夫测度 μ_β 在 β→∞ 时是否满足大偏差原理？
• RQ2 在何种条件下，[0,1]^N 上势函数 A 的最大测度 μ_∞ 是唯一的？
• RQ3 在 [0,1]² 上投影测度 ν_∞ 是否继承自 μ_∞ 的图性质与单调性？
• RQ4 对于满足扭转条件的 C² 势函数 A，能否显式构造一个分离的反向次作用？
• RQ5 μ_β 的零温极限与最大测度 μ_∞ 的支撑之间有何关系？

主要发现

• 测度族 μ_β 满足大偏差原理，其速率函数与熵惩罚压力相关，确保了对 μ_∞ 偏离的指数衰减。
• 在 C² 正则性与扭转条件 ∂²A/∂x∂y ≠ 0 下，[0,1]² 上的最大测度 ν_∞ 具有单调图性质，即 ν_∞ 支持于某个单调函数的图像上。
• 最大测度 μ_∞ 在 Mañé 意义下通常是唯一的，即对残渣集中的势函数 A，唯一性成立。
• 存在一个分离的反向次作用 u，使得当 x ∉ Ω(A) 时，max_y {u(y) - u(x) + A(x,y)} < m；当 x ∈ Ω(A) 时，该值等于 m，其中 Ω(A) 为循环点的集合。
• 函数 S_x(y) = 从 x 到 y 的路径上 ∑(A - m) 的下确界，满足 S_x(y) ≤ -A(x,y) + m，且其 Hölder 连续性指数与 A 相同。
• 所构造的次作用 u 是标准化反向次作用的无穷凸组合，且一致收敛，从而保证了连续性与分离性质。