[论文解读] Disagreement percolation for the hard-sphere model

Christoph Hofer-Temmel|arXiv (Cornell University)|Jul 9, 2015

Stochastic processes and statistical mechanics参考文献 26被引用 11

一句话总结

本文提出了一种用于 $ mathbb{R}^d$ 中连续硬球模型的新型分歧渗滤框架，通过泊松过程的依赖性删失，将具有不同边界条件的两个硬球吉布斯测度耦合起来。该方法表明，相关布尔模型中的非渗滤性意味着吉布斯测度的唯一性、相关性的指数衰减以及有限体积误差界，从而得出相变临界活性的改进下界——尤其在二维和高维情形下，超越了以往的集团展开技术。

ABSTRACT

Disagreement percolation connects a Gibbs lattice gas and i.i.d. site percolation on the same lattice such that non-percolation implies uniqueness of the Gibbs measure. This work generalises disagreement percolation to the hard-sphere model and the Boolean model. Non-percolation of the Boolean model implies the uniqueness of the Gibbs measure and exponential decay of pair correlations and finite volume errors. Hence, lower bounds on the critical intensity for percolation of the Boolean model imply lower bounds on the critical activity for a (potential) phase transition. These lower bounds improve upon known bounds obtained by cluster expansion techniques. The proof uses a novel dependent thinning from a Poisson point process to the hard-sphere model, with the thinning probability related to a derivative of the free energy.

研究动机与目标

• 将分歧渗滤从格点系统推广至 $ mathbb{R}^d$ 中的连续硬球模型。
• 在具有不同边界条件的两个硬球吉布斯测度之间建立与主导布尔模型的耦合。
• 通过分析相关布尔模型中的渗滤性，推导相变临界活性的下界。
• 相较于现有集团展开方法，改进相变阈值的边界，尤其在二维和高维情形下。
• 构建一种可测的、递归定义的扭曲分歧耦合，其尊重边界条件，并在不可数连续统中实现分析。

提出的方法

• 通过硬球过程与泊松点过程之间的递归条件耦合，构建扭曲分歧耦合，确保几乎必然的有限支撑。
• 定义从泊松过程到硬球模型的依赖性删失，其中删失概率与未探索区域自由能的导数成正比。
• 利用所得耦合，随机支配具有不同边界条件的两个硬球配置之间的分歧点集合。
• 将分歧集合映射到布尔模型，其中距离小于 $R$ 的点被视为相连，并利用该模型中的渗滤性来控制边界条件的影响。
• 证明布尔模型中几乎必然的有限渗滤簇意味着在紧致子区域上两个硬球配置相等，从而导致测度唯一性。
• 利用耦合相对于边界条件的可测性，确保递归构造的可行性，并保证完整耦合的联合可测性。

实验结果

研究问题

• RQ1 分歧渗滤能否从格点系统推广至 $ mathbb{R}^d$ 中的连续硬球模型？
• RQ2 相关布尔模型中的非渗滤性是否意味着硬球模型中吉布斯测度的唯一性以及相关性的指数衰减？
• RQ3 该框架能否在相变临界活性下界方面超越集团展开技术？
• RQ4 依赖性删失机制如何在不可数连续统设定中实现分析，同时保持可测性与随机支配性？
• RQ5 在二维和高维情形下，通过此分歧渗滤方法可实现的临界活性边界在数量上的改进程度如何？

主要发现

• 布尔模型中的非渗滤性意味着硬球模型吉布斯测度的唯一性，以及对偶相关性的指数衰减和有限体积误差界。
• 在一维情形下，该方法恢复了托因克（Tonk）的经典结果：在任何活性下均无相变。
• 在二维情形下，推导出的临界活性下界至少比目前已知的集团展开边界高出两倍。
• 在高维情形下，分歧渗滤边界超越了集团展开技术可达到的活性区域，基于对离散模型的外推。
• 扭曲分歧耦合以递归方式构建，对边界条件具有可测依赖性，从而在连续统中实现严格分析。
• 关键创新——删失概率与自由能导数相关的依赖性删失——使得对不可数配置的控制成为可能，并使耦合几乎必然有限。