Equality of the critical inverse temperatures for the one- and two-sided Dyson models

技術的要約：一方向および両方向ダイソンモデルにおける臨界逆温度の等価性

問題提起
本論文は、相互作用が $|i - j|^{-\alpha}$ として減衰する長距離ペア相互作用を持つ一次元イジングモデルである、ダイソンモデル（Dyson model）を扱っている。研究の焦点は、$1 < \alpha \le 2$ の領域にあり、相互作用は総和可能であるが、標準的な近接相互作用の一次元モデルの直感に反して、低温で相転移を引き起こすほど十分に長距離であるという設定にある。

中心となる問題は、二つの幾何学的構造間における臨界逆温度 ($\beta_c$) の比較である：

1. 全直線 ($\mathbb{Z}$): 両方向モデル。
2. 半直線 ($\mathbb{N}$): 一方向モデル。

FK-イジング・ランダムクラスター表現において、負の半直線を除去することは連結性を制限するため、半直線の臨界逆温度 $\beta^{\mathbb{N}}_c$ は全直線の値 $\beta^{\mathbb{Z}}_c$ 以上になる（すなわち $\beta^{\mathbb{Z}}_c \le \beta^{\mathbb{N}}_c$）。本論文の目的は、この逆の不等式を示すことで、$1 < \alpha < 2$ の範囲において $\beta^{\mathbb{N}}_c = \beta^{\mathbb{Z}}_c$ という等号を確立することである。

手法
証明は、FK-イジング・ランダムクラスター表現に基づき、確率的優越、スプリンクリング（sprinkling）技法、およびブロック・リノーマライゼーション（繰り込み）を組み合わせて用いる。核心となる戦略は、全直線の臨界点においてパーコレーションが発生することを証明することである。

1. 確率的優越とスプリンクリング:
   著者らは、ドメイン・マルコフ特性を利用して、より大きな区間上の自由境界測度が、より小さな区間上の測度を確率的に優越することを確立している。また、「スプリンクリング」議論を用い、FK-イジング構成に独立なベルヌーイ・グラフ（エッジ確率 $1 - e^{-\delta J(ij)}$）を加える。これにより、測度 $\nu^{\mathbb{N}}_\beta$ と、わずかに高い温度の測度 $\nu^{\mathbb{N}}_{\beta+2\delta}$ を比較することが可能となり、全直線と半直線の挙動の間の隔たりを埋めることができる。

2. 有限体積クラスター推定:
   主要な技術的要素は、全直線の臨界点 $\beta^{\mathbb{Z}}_c$ において、$\alpha/2 < \gamma < 1$ を満たすとき、大きな有限区間が、高確率でサイズ $N^\gamma$ 以上の内部クラスターを含むことを確立する補題2である。この推定は、帰納的なリノーマライゼーション・スキームを通じて導出される。

3. ブロック・リノーマライゼーションとパーコレーションへの還元:
   証明では、半直線を長さ $N$ のブロックに分割することで、粗視化されたモデルを構築する。

• 内部クラスター: 各ブロック内では、有限体積推定によって大きな内部クラスターの存在が保証される。
• ブロック間接続: これらの大きなクラスター間に、独立な長距離接続（スプリンクリング）が加えられる。
• サイト・ボンド・パーコレーションへの還元: これらのブロックの連結性は、一方向の長距離サイト・ボンド・パーコレーションを支配することが示される。サイト密度は、ブロックが大きなクラスターを含む確率に対応し、ボンド確率はブロック間の長距離相互作用の強さから導かれる。

4. Newman-Schulmanの定理の適用:
   著者らは、指数 $\alpha < 2$ の長距離パーコレーションに関するNewmanとSchulmanの定理を援用している。この定理は、サイト密度とボンド確率が十分に高い場合、粗視化されたモデルにおいてパーコレーションが発生することを保証する。ブロックサイズ $N$ を十分に大きく取ることで、支配的なモデルが超臨界状態になるように設定している。

主要な貢献および結果

• 主定理: 本論文は、相互作用指数 $1 < \alpha < 2$ のダイソンモデルにおいて、一方向と両方向の臨界逆温度が一致すること ($\beta^{\mathbb{N}}_c = \beta^{\mathbb{Z}}_c$) を証明している。
• ランダムクラスターモデルへの拡張: この議論は、クラスター重み $q \ge 1$ の一般的なランダムクラスターモデルにも適用可能であり、同じ $\alpha$ の範囲において $\beta^{\mathbb{N},q}_c = \beta^{\mathbb{Z},q}_c$ であることを示唆している。
• 技術的境界: 証明は、厳密な不等式 $2\gamma - \alpha > 0$（ここで $\gamma < 1$ はクラスターサイズの指数）に依存している。この条件は、リノーマライゼーションのステップが超臨界パーコレーションモデルを生み出すために必要である。

意義および限界

• 動機: この結果は、一方向ダイソン・ポテンシャルに対する転送作用素アプローチに関する疑問を解決するものである。Johansson、Öberg、Pollicottによる先行研究は、劣臨界領域 $\beta < \beta^{\mathbb{Z}}_c$（$\alpha > 3/2$ の場合）における連続固有関数の存在を確立している。$\beta^{\mathbb{N}}_c = \beta^{\mathbb{Z}}_c$ という等号は、全直線の閾値が $1 < \alpha < 2$ の範囲において、一方向システムにとって自然な閾値であることを裏付けている。
• 未解決問題: 著者らは、彼らの議論が境界となる $\alpha = 2$ のケースでは失敗することを明記している。なぜなら、$\gamma < 1$ を満たしながら $2\gamma - \alpha > 0$ を満たすことができないためである。したがって、$\alpha = 2$ における $\beta^{\mathbb{N}}_c = \beta^{\mathbb{Z}}_c$ の成立は依然として未解決の問題であるが、著者らはそれが真であると予想している。
• 謙虚な姿勢: 本論文は、$\alpha = 2$ のケースを解決したり、理論的な閾値の統一を超えた新しい応用を提供したりすることを主張していない。記述された特定の型のリノーマライゼーションおよびスプリンクリングの枠組みを用いて、$1 < \alpha < 2$ における等価性の証明に厳密に限定している。