The free state for the Potts model on Cayley trees is either extremal or glassy

技術要約：ケイリー木上のポッツモデルにおける自由状態は、極値的かグラス状のいずれかである

問題設定
本論文は、分岐因子 $d \ge 2$ のケイリー木 $T_d$ 上の $q$ 状態ポッツモデルにおける自由状態（自由境界条件によって得られる無限体積ギブス測度）の構造を調査している。統計力学における中心的な問いの一つは、与えられたギブス測度が「極値的（extremal）」であるか（すなわち、他のギブス測度の凸結合として分解できない純粋状態であるか）、あるいは「非極値的（non-extremal）」であるかという点である。

イジングモデル（$q=2$）において、一意性の閾値（したがって自由状態の極値性）が $\beta \le \text{arctanh}(1/d)$ であることは確立されているが、非一意性の領域（$\beta > \text{arctanh}(1/d)$）における自由状態の構造はより複雑である。Gandolfo, Maes, Ruiz, および Shlosman (2020) による先行研究では、十分に低い温度（大きな $\beta$）において、自由状態が連続的な極値状態へと分解されることが示された。しかし、この結果はペールズの輪郭（Peierls contour）議論に依存しており、これは低温領域でのみ有効な手法であった。ここで取り組む未解決問題は、この「グラス状（glassy）」の挙動（無可算個の極値成分への分解）が、全非極値領域、具体的には $\beta > \text{arctanh}(1/\sqrt{d})$ において持続するかどうか、そして一般的な $q$ や外部場を持つモデルに対しても同様の二分法が成立するかどうかである。

手法
著者らは、ペールスの議論による低温への制限を回避するため、オーバーラップ秩序パラメータに関するゼロ・ワン法則を中心とした証明戦略を展開している。

1. オーバーラップ秩序パラメータ ($Q$): エドワーズ・アンダーソン秩序パラメータに着想を得て、著者らは、境界構成が与えられた条件下で、自由状態から独立に抽出された2つのサンプルが、同一の極値ギブス測度を与える確率を測るオーバーラップ $Q$ を定義する。具体的には、$Q = \mu^\emptyset_\beta \otimes \mu^\emptyset_\beta (\{(\eta^{(1)}, \eta^{(2)}) : \mu^{\eta^{(1)}} = \mu^{\eta^{(2)}}\})$ であり、ここで $\mu^\eta$ は境界 $\eta$ を与えたときの条件付き測度の極限を表す。
2. 極値測度の特徴付け: 命題2を用いて、2つの極値ギブス測度が等しいための必要十分条件を確立する。それらは、部分木の深い位置にある根における尤度比（または「場」）が同一でなければならない。これにより、測度の等価性の問題は、特定の再帰列の収束の問題へと還元される。
3. 木上の再帰方程式: ケイリー木の自己相似構造とエドワーズ・ソカル結合（ポッツモデルをランダムクラスターモデルに関連付けるもの）を利用して、条件付きオーバーラップ確率 $c_{ij}$ に関する非線形方程式系を導出する。これらの式は、根におけるオーバーラップを、その子の根におけるオーバーラップの分岐因子 $d$ 乗に関連付ける。
4. ゼロ・ワン法則: 証明の核心は、これらの再帰方程式の不動点の解析にある。$M$ をオーバーラップ確率の最大値と定義することで、著者らは $M$ が $M = M^d$ を満たさなければならないことを示す。$d \ge 2$ であるため、解は $M=0$ または $M=1$ のみとなる。これは、オーバーラップ $Q$ がほとんど確実に 0 または 1 であることを意味する。

主要な貢献と結果

• 定理 1 (主要な二分法): 本論文は、任意の逆温度 $\beta \ge 0$ において、ケイリー木 $T_d$ ($d \ge 2$) 上のポッツモデルの自由状態 $\mu^\emptyset_\beta$ が、以下の厳格な二分法を満たすことを証明している：

  1. それは極値的である（すなわち、$\mu^\emptyset_\beta \in \text{ex}\mathcal{G}_\beta$）。
  2. それはグラス状である。つまり、その極値分解測度 $\lambda_{\mu^\emptyset_\beta}$ は原子を持たない。その結果、その分解のサポートには無可算個の極値ギブス測度が含まれる。
     分解が可算個の原子を含むような中間的なケースは存在しない。

• 系 1 (イジングモデルの閾値): 定理 1 をイジングモデル ($q=2$) に適用し、既知の極値性閾値（Bleher, Ruiz, Zagrebnov）と組み合わせることで、自由状態が $\beta > \text{arctanh}(1/\sqrt{d})$ の場合にのみグラス状であることを確立した。これは、以前の「連続分解」の結果を、非常に低い温度領域から全スピングラス領域へと拡張するものである。

• 外部場への一般化 (定理 2): 手法は、一様な外部場を持つポッツモデルへと拡張される。本論文は、あらゆる「完全な均質分裂ギブス測度（completely homogeneous splitting Gibbs measure; CHSGM）」も同様の極値的／グラス状の二分法を満たすことを証明している。

• スピングラスとの関連: 著者らは、無可算個の極値状態の存在がスピングラス相の特徴であることを指摘している。彼らは、ケイリー木上の強磁性イジングモデルの自由状態が、ランダムな結合を持つモデルで見られるスピングラス転移を反映した転移 $\beta = \text{arctanh}(1/\sqrt{d})$ を示すことを示唆している。これは、$\mathbb{Z}^d$ 上のイジングモデルの自由状態（通常、プラスとマイナスの状態の単純な平均となる）では観察されない現象である。

意義
本論文は、ペールの輪郭議論という障壁を克服したと主張している。この議論は、連続分解の証明を低温領域に限定していた。オーバーラップ秩序パラメータに基づく、木の構造とエドワーズ・ソカル結合を用いたゼロ・ワン法則を導入することで、著者らは全パラメータ空間にわたって自由状態を厳密に特徴付けている。

その意義は以下の点にある：

1. 相図の完成: ケイリー木上のイジングモデルにおける自由状態のグラス状挙動の正確な閾値 ($\beta > \text{arctanh}(1/\sqrt{d})$) を提供したこと。
2. 構造的洞察: 非極値領域において、自由状態は有限個または可算個の純粋状態の混合物にはなり得ず、必ず無可算な連続体としての混合物になるということを確立したこと。
3. 広範な適用可能性: この二分法が一般的な $q$ 状態ポッツモデルや一様な外部場を持つモデルにも保持されることを示し、木上の分裂ギブス測度に関する普遍的な構造的特性を示唆したこと。

著者らは、外部場を持つイジングモデル ($q=2, H \neq 0$) については控えめな姿勢を保っており、二分法は成立するものの、「真ん中の」状態（3つの可能な CHSGM のうち）が非極値的となる正確な領域を決定することは依然として未解決の問題であると述べている。