Comparing the Lee-Yang gap with the mass gap in the sub-critical planar Ising model

技術的要約：劣臨界平面イジング模型におけるリー–ヤン・ギャップと質量ギャップの比較

問題設定
本論文は、劣臨界（無秩序）相における平面イジング模型の2つの基本的なスペクトル量、すなわち質量ギャップ（$m_\beta$）とリー–ヤン・ギャップ（$L_\beta$）の間の定量的関係を調査している。

• 質量ギャップ（$m_\beta$）は、磁場がない状態における2点相関関数の指数関数的な減衰率（相関距離の逆数）を特徴付ける。
• リー–ヤン・ギャップ（$L_\beta$）は、複素磁場平面における分配関数の最も近い零点から原点までの距離（具体的には、最も近い純虚数の零点の絶対値）として定義される。

シュレーディンガー作用素におけるコンブ・トーマス（Combes–Thomas）の評価が、グリーン関数の空間的減衰率とスペクトルの距離を関連付けている一方で、イジング模型における厳密な定量的類似性は欠けていた。先行研究では、指数関数的減衰が零点のない領域を意味するという定性的なつながりは確立されていたが、臨界点 $\beta_c$ 付近における $m_\beta$ と $L_\beta$ の正確なスケーリング関係は未解決の問題であった。著者らは、$m_\beta$ が $L_\beta^{8/15}$ とスケーリングすること（あるいは逆に $L_\beta \sim m_\beta^{15/8}$ となること）を証明し、これら2つのギャップが同等であることを示すことを目的としている。

手法
証明は、質量ギャップに関するリー–ヤン・ギャップの下界および上界を確立することに分割される。

1. 下界 ($m_\beta \gtrsim L_\beta^{8/15}$):

   • 著者らは、リー–ヤン積公式（アダマール因子分解）を利用して、圧力（対数分配関数）の微分とリー–ヤン零点を関連付ける。
   • 著者らは、平面イジング模型の標準的な評価、特に感受率（$\chi_\beta \sim m_\beta^{-7/4}$）と臨界磁化（$E_{\beta_c, h}[\sigma_0] \sim h^{1/15}$）の漸近挙動を用いる。
   • 磁化の分散（感受率に関連）と磁場に対する磁化の単調性を組み合わせることで、不等式 $L_\beta^{14/15} \lesssim m_\beta^{7/4}$ を導出し、目的の冪乗則を得る。

2. 上界 ($m_\beta \lesssim L_\beta^{8/15}$):

   • この方向の証明はより技術的に複雑であり、有限ブロック展開とランダム電流モーメント境界、および特定の相関不等式に依存している。
   • ランダム電流モーメント境界: 著者らは、相関不等式（具体的にはアイゼンマン（Aizenman）不等式およびグリフィス–ケリー–シャーマン（Griffiths–Kelly–Sherman）不等式）を用いて、有限ブロックの磁化に関するガウス型境界を確立する。
   • 相関不等式: 著者らは、任意の（実）磁場におけるスピンの共分散を、零磁場における相関によって抑えるというディン、ソン、サン（Ding, Song, and Sun; DSS）による結果を利用する。これにより、ブロック内のスピンの条件付き分布を、異なる境界条件（具体的には、任意の構成 vs 全プラス構成）の間で比較することが可能になる。
   • 有限ブロック展開: DSS不等式を用いて、「零点なし判定基準」を構築する。著者らはブロック $T_\ell$ とその周囲のシェル $S_\ell$ を定義する。もし縮退された集合間の零磁場相関（$q_\beta(\ell)$）が十分に小さければ、分配関数はある特定の複素近傍において非ゼロとなる。
   • 平面交差境界: 相関 $q_\beta(\ell)$ が相関スケール（$\ell \sim 1/m_\beta$）において指数関数的に減衰することを検証するために、著者らはパーコレーション理論（Duminil-Copin and Manolescu; Köhler-Schindler and Tassion）の手法を適応させる。彼らは、FK-イジング模型におけるRSW（Russo–Seymour–Welsh）型の交差評価を用いて、劣臨界相において分離されたワイヤード集合間の接続確率が指数関数的に小さいことを示す。
   • 零点なし判定基準と感受率の境界（$\chi_\beta \sim m_\beta^{-7/4}$）およびブロックサイズ $\ell \sim 1/m_\beta$ を組み合わせることで、$m_\beta$ に対する $L_\beta$ の下界を導出する。

主要な貢献と結果

• 主定理 (Theorem 1.1): 著者らは、正方形の箱における自由境界条件を持つ平面イジング模型について、$\beta$ が $\beta_c$ に十分近いとき、定数 $c, C > 0$ が存在して以下が成り立つことを証明した：
  $$c L_\beta^{8/15} \leq m_\beta \leq C L_\beta^{8/15}$$
  これは、連続体場理論（Fonseca and Zamolodchikov）から導かれたスケーリング予測（リー–ヤン・エッジが固定された $h_{cont}/|m_{cont}|^{15/8}$ で発生する）を裏付けるものである。
• 一様階乗境界: 著者らは、圧力（対数分配関数）の磁場微分に関する一様境界を確立した。具体的には、任意の $k \geq 1$ に対して：
  $$\frac{1}{|\Lambda_L|} \left| \partial_h^{2k} \log Z_{\beta, L}(h) \bigg|_{h=0} \right| \leq (2k)! C^{2k} m_\beta^{2 - 15k/4}$$
  この結果は、リー–ヤン積および確立されたギャップ境界から直接導かれる。
• ランダム磁場イジング模型 (RFIM) の予想: 著者らは、空間的減衰と複素磁場ギャップを区別しながら、RFIMについて議論している。彼らは、RFIMにおいては、質量ギャップは正に保たれる一方で、秩序相を模倣するような、ほぼ消失したランダム磁場を持つ大きな領域が存在するため、リー–ヤン・ギャップはほとんど確実にゼロになる（$L_\beta^\eta = 0$）のではないかと予想している。
• より短い証明への障害: 付録において、著者らはCJNによる最近の論文で主張されたウルセル関数（Ursell function）の単調性に基づく、より短い証明の可能性について分析している。彼らは、その研究で使用されている特定の補助的不等式に対する反例を提示し、なぜ現在の証明においてブロック展開と平面交差の議論が必要であるのかを説明している。

意義
本論文は、劣臨界平面イジング模型におけるリー–ヤン・ギャップと質量ギャップの間の、初の厳密な定量的比較を提供するものである。定性的なつながり（指数関数的減衰 $\iff$ 零点のない領域）は既知であったが、本研究は両者を結ぶ正確な臨界指数（$15/8$）を確立した。
著者らは、この比較がシュレーディンガー作用素におけるコンブ・トーマス（Combes–Thomas）の評価によって動機付けられていることを指摘しており、量子作用素のスペクトルギャップと統計力学モデルのリー–ヤン零との間に深い構造的な類似性があることを示唆している。この結果は、格子模型におけるヤン–リー・エッジの連続体スケーリング予測を検証するものである。また、本研究は、単純なウルセル関数の単調性に基づく議論が障害に直面することを示し、平面交差評価とランダム電流技術を用いることの必要性を浮き彫りにしている。