イジング模型の“エネルギー場”はそのままでは単調でないが、最小の「薄め」で単調性がよみがえる
この論文は、イジング模型のエネルギー場(隣接する頂点のスピンが一致する辺の集合)が、結合定数を大きくしても常に確率的に大きくなるとは限らない、という問題を扱います。著者らはこの失敗を測るために「弱い支配(p–weak 支配)」と「弱い†支配(p–weak† 支配)」という二つの緩い概念を導入しました。そして、これらが成り立つ最適な薄め(thinning)の確率パラメータ p と p† を明示的に求めています。具体的には p(J)=1−e^{−2J} と p†(J)=1−e^{−4J} という値が現れます(J は各辺の結合定数)。
エネルギー場とは、グラフ上で隣り合う二点のスピンが同じである辺の集合です。スピンの相関は結合定数 J が増えると単調に増えることが知られていますが、エネルギー場全体の同時分布については必ずしも単調とは限りません。つまり、結合を強めてもある「増加する事象」が起きにくくなる場合が現れるのです。本研究は、この「完全な単調性の失敗」を回避するのではなく、どれだけ単調性が残っているかを定量化する点に主眼を置いています。
具体的な手法は二段構えです。まずランダムクラスタモデル(FK パーコレーション、あるいはランダムクラスタモデル)について、異なるパラメータ q の間を混ぜる新しい確率的支配不等式を示しました。ここで q≥1 の範囲を扱います。たとえば定理の一つでは FK_{p,q} が FK_{p~,q} と独立なベルヌーイ(Ber)過程との交差で上から被覆される、という強い形の支配を示します。ベルヌーイ過程 Ber_p は各辺を独立に確率 p で「保持」する、いわゆる独立薄めを意味します。次にこの結果と Edwards–Sokal 結合(イジング模型と FK モデルを結ぶ標準的な対応)を組み合わせて、イジングのエネルギー場に対する弱い支配のしきい値 p(J)=1−e^{−2J} を導きます。
なぜ重要かというと、イジング模型や関連モデルで自然に期待される単調性が崩れる場面でも、「独立に同じ割合で辺を拾う(薄める)」操作を挟めば比較を回復できることを示した点にあります。これは、エネルギー場に対する解析や他の観測量の比較に新たな道具を与えます。論文はまた、この薄め確率が最適であることを示す反例も示しており、しきい値が単なる技術的産物ではないと主張します。
重要な制約と注意点も明記されています。扱う FK モデルは q≥1 の場合に限られます。q<1 の場合はモデルの性質が根本的に変わり、本稿の不等式は成り立ちません。結果は有限グラフ上での記述が中心です。さらに、弱†支配(補集合に対しても安定なバージョン)には別のしきい値 p†(J)=1−e^{−4J} が現れ、補集合に対する安定性も考慮した場合の最適値となります。論文はホリーの不等式や Edwards–Sokal 結合といった既存の手法を活用して結果を導いており、より詳しい証明や一般化は本文で扱われています。