Critical and near-critical influence bounds for ferromagnetic Ising models

技術要約：強磁性イジングモデルにおける臨界および準臨界影響境界

問題提起
本論文は、最大次数 $\Delta \ge 3$ の有限グラフ上の強磁性イジングモデルにおける影響行列（influence matrix）の挙動を扱う。具体的には、ツリー一意性閾値（tree uniqueness threshold）において、およびその近傍における全影響（影響行列の最大行和、$\|\Psi\|_\infty$）のスケーリングを調査している。無限正則ツリーにおける相関は、臨界点において一様に和が収束する境界を持たないことが知られているが、有限グラフは制約を課す。全影響の期待される臨界スケールは $\sqrt{n}$ であり、これはスペクトル独立性（spectral independence）およびグラバー動力学（Glauber dynamics）の混合時間を支配する。Chenらによる先行研究は $\sqrt{n}$ の境界を予想したが、結合引数（coupling argument）を撤回した。一方、Bencsらによる最近の結果は、正則グラフに対して $O(\sqrt{n} \log n)$ の境界を確立している。中心となる問題は、対数因子を除去した正確な $\sqrt{n}$ 次のオーダーを強磁性モデルに対して証明し、これを準臨界領域へと拡張することである。

手法
証明は、主に以下の3つの構成要素を統合している：

1. 点別キャビティ境界（Pointwise Cavity Bounds）： 著者は、Carlson, Davies, Kolla, および Perkins による磁化の議論から導出されたキャビティ不等式を利用する。これには、一様な正の磁場 $h$ の下での頂点 $u$ における磁化 $m_u(h)$ の解析が含まれる。「キャビティ場」に関する再帰的な不等式（関数 $f_\beta(x) = \text{arctanh}(t \tanh x)$ を介して）を確立することで、磁化に関する点別の境界を導出する。臨界時（$\beta = \beta_c$）において、これは $m_u(h) \le 4h^{1/3}$ を与える。臨界以上では、境界は $m_u(h) \le C(\sqrt{\varepsilon} + h^{1/3})$ となる。ここで $\varepsilon$ は閾値からの距離を測定する。
2. 正の級数展開による磁化の傾き（Positive-Series Magnetization Tilt）： 磁化と感受率（相関の和）を関連付けるために、著者は双曲線正弦関数のスピン展開を用いる。Griffithsの不等式を用いることで、$E_0[\sigma_v \sinh(hM)]$ の級数展開が非負の項からなることを示す。これにより、感受率 $\chi_v$ を磁化 $m_v(h)$ と分配関数・チルト（partition function tilt）$Z(h)$ の積によって抑えることが可能になる。プローブ磁場 $h$ を最適化（具体的には $h \sim n^{-3/4}$ を選択）することにより、感受率の行に対して $\sqrt{n}$ の境界を導出する。
3. 磁場比較定理（Field Comparison Theorem）： ゼロ磁場における感受率の境界を、任意の外部磁場およびピニング（pinnings）へと拡張するために、本論文はDing, Song, および Sunによる比較定理を適用する。この定理は、任意の磁場下での影響をゼロ磁場における相関に関連付け、導出された境界を一般の場合へと効果的に転送する。

主要な貢献および結果
本論文は、影響行列 $\Psi$ に関する2つの主要な定理を確立している：

• 定理 1.1（臨界ケース）： 結合 $J_e \le \beta_c = \text{arctanh}(1/(\Delta-1))$ に対して、影響行列は $\|\Psi\|_\infty \le 4\sqrt{6e}\sqrt{k} < 17\sqrt{k}$ を満たす。ここで $k$ はピン留めされていない頂点の数である。この境界は、次数 $\Delta$、外部磁場、およびピニングに対して一様である。指数 $1/2$ はシャープであることが示されている。
• 定理 1.2（準臨界ケース）： 結合が $\beta$ によって制限され、$\varepsilon = ((\Delta-1)\tanh \beta - 1)_+$ である場合、境界は $\|\Psi\|_\infty \le \min\{k, 512e(\sqrt{k} + k\varepsilon)\}$ となる。これは閾値の上方における有限サイズ推定を与える。

動的な帰結
これらの影響境界から直接的な帰結として、ゼロ磁場単一サイト・グラバー動力学（ランダムスキャン・ヒートバス）の混合時間に関する結果を導出する：

• 系 1.3： $\varepsilon = O(\sqrt{\log n / n})$ である超臨界ウィンドウにおいて、混合時間 $T_{\text{mix}}$ は $n$ の多項式となる。具体的には、$\varepsilon \le B\sqrt{\log n/n}$ のとき、混合時間は $O(n^{2 + 2/(\Delta-2) + 5CB^2 \log(en)})$ で抑えられる。多項式の次数は、ウィンドウのサイズパラメータ $B$ に依存する。

意義および主張
本論文は、最近の一般的なグラフ境界（例：$O(\sqrt{n} \log n)$）に見られる対数因子を排除し、強磁性の場合の正確な平方根オーダー $\sqrt{n}$ を確立したと主張している。この結果は、一般的なグラフ上の強磁性イジングモデルにおける臨界スケールの終止点を解決するものである。著者は、証明が臨界ウィンドウにおける多項式混合を確立しているものの、最適な混合指数までは提供していないことを明記している。本研究は、$\sqrt{n}$ スケーリングの予想を厳密に裏付け、臨界温度の上方の有限サイズ領域へと拡張し、このウィンドウ全体を通じてスペクトル独立性が保持されることを示した。