[论文解读] Sharp phase transition for the continuum Widom-Rowlinson model

David Dereudre, Pierre Houdebert|arXiv (Cornell University)|Jul 13, 2018

Stochastic processes and statistical mechanics参考文献 31被引用 5

一句话总结

该论文通过新颖地应用随机树算法和OSSS不等式，证明了连续Widom-Rowlinson模型中存在一个尖锐的相变：在亚临界相中，连通性呈指数衰减；在超临界相中，无限簇连通性具有线性下界。此外，研究进一步表明，当 $ \beta $ 足够大时，吉布斯态的非唯一性（液-气相变）恰好发生在渗透阈值 $ z = \beta $ 处，从而解决了该领域的一个关键猜想。

ABSTRACT

The Widom-Rowlinson model (or the Area-interaction model) is a Gibbs point process in $\mathbb{R}^d$ with the formal Hamiltonian $H(ω)= ext{Volume}(\cup_{x\inω} B_1(x))$, where $ω$ is a locally finite configuration of points and $B_1(x)$ denotes the unit closed ball centred at $x$. The model is tuned by two parameters: the activity $z>0$ and the inverse temperature $β\ge 0$. We investigate the phase transition of the model in the point of view of percolation theory and the liquid-gas transition. First, considering the graph connecting points with distance smaller than $2r>0$, we show that for any $β>0$, there exists $00$). We solve partially this conjecture by showing that for $β$ large enough the non-uniqueness holds if and only if $z=β$. We show also that this critical value $z=β$ corresponds to the percolation threshold $ ilde{z}^a(β, r)=β$ for $β$ large enough, providing a straight connection between these two notions of phase transition.

研究动机与目标

• 通过渗滤理论，在连续Widom-Rowlinson模型中建立尖锐相变。
• 通过证明当且仅当 $ z = \beta $ 时非唯一性成立，解决关于吉布斯态唯一性/非唯一性的长期猜想。
• 将渗透阈值 $ \widetilde{z}_{c}^{a}(\beta,r) $ 与液-气相变点 $ z = \beta $ 联系起来。
• 发展并应用随机树算法框架于相互作用的连续粒子系统，为该模型证明一个新的OSSS不等式。

提出的方法

• 作者使用随机树算法分析连续Widom-Rowlinson模型中的连通性，构建了不同边界条件下吉布斯测度之间的耦合。
• 他们为Widom-Rowlinson模型证明了一个新的OSSS型不等式，从而能够控制单个点对全局连通性的影响。
• 该方法依赖于在立方体中递归探索点配置，基于与已探索区域的距离，使用确定性规则选择下一个立方体。
• 通过利用空配置概率的正下界，确保算法以几乎必然的方式终止，从而导致步数呈几何分布。
• 利用Palm理论将点过程的性质与簇大小行为相关联，证明了连通性的指数衰减和线性下界。
• 对液-气相变的分析涉及研究配分函数的导数，并应用标准导数定理，推导出吉布斯测度导数的关键恒等式。

实验结果

研究问题

• RQ1 连续Widom-Rowlinson模型在渗滤连通性方面是否表现出尖锐相变？
• RQ2 该模型中吉布斯态的非唯一性是否等价于渗透阈值，特别是在 $ z = \beta $ 处（当 $ \beta $ 足够大时）？
• RQ3 随机树算法框架能否被推广至相互作用的连续粒子系统，以证明尖锐相变？
• RQ4 渗透阈值 $ \widetilde{z}_{c}^{a}(\beta,r) $ 与液-气相变点之间存在何种关系？

主要发现

• 对于任意 $ \beta > 0 $，存在一个临界活性 $ \widetilde{z}_{c}^{a}(\beta,r) \in (0, \infty) $，使得当 $ z < \widetilde{z}_{c}^{a}(\beta,r) $ 时，连通性呈指数衰减。
• 在超临界相 $ z > \widetilde{z}_{c}^{a}(\beta,r) $ 中，与无穷远连通的概率被一个关于 $ z - \widetilde{z}_{c}^{a}(\beta,r) $ 的线性函数下界控制，意味着无限簇具有正密度。
• 函数 $ \beta \mapsto \widetilde{z}_{c}^{a}(\beta,r) $ 是非减的且Lipschitz连续。
• 当 $ \beta $ 足够大时，吉布斯态的非唯一性当且仅当 $ z = \beta $ 成立，从而证实了文献中的一个关键猜想。
• 对于大 $ \beta $，非唯一性的临界值 $ z = \beta $ 恰好与渗透阈值 $ \widetilde{z}_{c}^{a}(\beta,r) $ 重合，建立了两种相变之间的直接联系。