[论文解读] Marked Gibbs measures via cluster expansion

Yuri Kondratiev, Tobias Kuna+1 more|ArXiv.org|Aug 4, 1999

Markov Chains and Monte Carlo Methods参考文献 21被引用 24

一句话总结

本文在高温度和低活性度参数区域，利用在一般局部紧致可分度量空间（粒子位置）和可分度量空间（标记）上的簇展开技术，建立了带标记吉布斯测度的存在性与唯一性。该构造基于通过成对势能扰动带标记泊松测度，利用簇展开估计证明收敛性，并验证了有限范围相互作用下的DLR方程。

ABSTRACT

We give a sufficiently detailed account on the construction of marked Gibbs measures in the high temperature and low fugacity regime. This is proved for a wide class of underlying spaces and potentials such that stability and integrability conditions are satisfied. That is, for state space we take a locally compact separable metric space $X$ and a separable metric space $S$ for the mark space. This framework allowed us to cover several models of classical and quantum statistical physics. Furthermore, we also show how to extend the construction for more general spaces as e.g., separable standard Borel spaces. The construction of the marked Gibbs measures is based on the method of cluster expansion.

研究动机与目标

• 在统计物理中为任意基础空间与标记空间上的带标记吉布斯测度构建一般框架。
• 将簇展开方法推广至带标记配置，涵盖具有内部自由度的经典与量子模型。
• 在势能满足稳定性和可积性条件时，证明带标记吉布斯测度的存在性与唯一性。
• 将构造从标准Borel空间推广至更一般的可测空间。
• 验证通过极限得到的测度满足有限范围势能的DLR方程，从而确认其为吉布斯测度。

提出的方法

• 在局部紧致可分度量空间 $X$ 和可分度量空间 $S$ 上定义带标记配置空间 $\Omega_X(S)$。
• 利用乘积测度 $\sigma^\tau = \tau(x,ds)\sigma(dx)$ 在 $\Omega_X(S)$ 上构造带标记泊松测度 $\pi_{\sigma}^\tau$。
• 通过成对势能 $\phi$ 对泊松测度进行指数倾斜，定义有限体积吉布斯型扰动 $\Pi_\Lambda^{\sigma^\tau,\phi}$ 作为吉布斯规范。
• 应用簇展开方法分析配分函数与关联函数的收敛性，使用基于树的估计。
• 利用树和的估计以及 $|e^{-\beta\phi} - 1|$ 的可积性控制展开，依赖于稳定性和有限范围假设。
• 证明极限测度 $\mu$ 关于 $\pi_{\sigma}^\tau$ 局部绝对连续，并满足有限范围 $\phi$ 的DLR方程。

实验结果

研究问题

• RQ1 在何种条件下，对于状态空间 $X$、标记空间 $S$ 和成对势能 $\phi$，带标记吉布斯测度在高温度与低活性度参数区域存在？
• RQ2 簇展开方法能否推广至非平坦、抽象可测空间（超越 $\mathbb{R}^d$）上的带标记吉布斯测度构造？
• RQ3 当势能不一定是有限范围时，如何确保带标记吉布斯测度的簇展开收敛？
• RQ4 何种条件可保证通过簇展开得到的极限测度满足DLR方程，从而被确认为吉布斯测度？
• RQ5 该构造在多大程度上可从Borel空间推广至一般标准Borel空间？

主要发现

• 本文证明了在稳定性和可积性条件下，带标记吉布斯测度 $\mu$ 作为有限体积规范 $\Pi_\Lambda^{\sigma^\tau,\phi}$ 的弱极限存在且唯一。
• 极限测度 $\mu$ 关于带标记泊松测度 $\pi_{\sigma}^\tau$ 局部绝对连续，如定理5.3所示。
• 对于有限范围成对势能 $\phi$，极限测度 $\mu$ 满足DLR方程，从而被确认为吉布斯测度，如定理5.6所确立。
• 簇展开提供了级数收敛性的显式估计，依赖于含 $e^{2\beta B}$ 和 $C(\beta)$ 的界，树计数通过 $|\mathfrak{T}([n+1])| = (n+1)^{n-1}$ 实现。
• 该构造被扩展至可分标准Borel空间，扩大了其在一般统计物理模型中的适用性。
• 该方法为涉及电流代数与量子场论的正则化量子化方案中的基态测度构造提供了严格的理论基础。