[論文レビュー] 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$ における連続的硬球模型に対して、境界条件が異なる2つの硬球ギブズ測度を結合するための、ポアソン過程からの従属削減を用いた、新規の不一致拡散フレームワークを導入する。この手法により、関連するボーレル模型における非拡散性が、ギブズ測度の一意性、相関の指数的減衰、および有限体積誤差の境界を示し、特に2次元および高次元において、従来のクラスター展開手法を上回る、相転移の臨界活性の下界を改善する。

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$ における連続的硬球模型へ一般化すること。
• 異なる境界条件を持つ2つの硬球ギブズ測度と支配的ボーレル模型との結合を確立すること。
• 関連するボーレル模型における拡散の解析を通じて、相転移の臨界活性の下界を導出すること。
• 特に2次元および高次元において、既存のクラスター展開手法の境界を上回る、相転移閾値の改善を達成すること。
• 境界条件を尊重し、可測かつ再帰的に定義されたねじれた不一致結合を構築し、非可算な連続的空間における解析を可能とすること。

提案手法

• 硬球とポアソン点過程の間の再帰的条件付き結合を通じて、ほとんど確実に有限な台を持つねじれた不一致結合を構築する。
• ポアソン過程からの従属削減を硬球模型に定義し、削減確率を未探索領域の自由エネルギーの微分に比例させる。
• 得られた結合を用いて、異なる境界条件を持つ2つの硬球配置間の不一致点集合を確率的に支配する。
• 不一致集合をボーレル模型に写像し、点同士が距離 $R$ 以内にあれば接続するものとし、この模型における拡散を用いて境界条件の影響を制御する。
• ボーレル模型におけるほとんど確実な有限な拡散クラスタが、コン pact 部分領域上で2つの硬球配置が等しくなることを示し、測度の一意性を導く。
• 境界条件に関して結合の可測性を活用し、再帰的構成と完全結合の同時可測性を保証する。

実験結果

リサーチクエスチョン

• RQ1 不一致拡散は、ラティス系から $\ mathbb{R}^d$ における連続的硬球模型へ一般化可能か？
• RQ2 関連するボーレル模型における非拡散性は、硬球模型におけるギブズ測度の一意性および相関の指数的減衰を示唆するか？
• RQ3 このフレームワークは、クラスター展開手法と比較して、相転移の臨界活性の下界を改善できるか？
• RQ4 従属削減機構は、非可算な連続的空間設定において、可測性と確率的支配を保ちながら解析を可能にするか？
• RQ5 2次元および高次元において、この不一致拡散アプローチによって達成可能な臨界活性の下界の定量的改善は何か？

主な発見

• ボーレル模型における非拡散性は、硬球模型におけるギブズ測度の一意性、ペア相関の指数的減衰、および有限体積誤差の境界を示す。
• 1次元では、この手法によりトンクの古典的結果（任意の活性において相転移が発生しない）が再現される。
• 2次元では、導出された臨界活性の下界は、既存の最良のクラスター展開境界を少なくとも2倍上回る。
• 高次元では、不一致拡散の境界は、離散モデルからの外挿に基づき、クラスター展開手法で到達可能な活性領域を上回る。
• ねじれた不一致結合は、境界条件に対して可測な再帰的依存関係を有し、連続的空間における厳密な解析を可能にする。
• 主な革新点である、自由エネルギーの微分に比例する削減確率を有する従属削減は、非可算な配置を制御可能とし、結合がほとんど確実に有限であることを可能にする。