Rotational invariance in critical planar lattice models

技術的要約：臨界平面格子モデルにおける回転不変性

問題提起
本論文は、二次元格子モデルの統計力学における根本的な問い、すなわち臨界状態における大規模な性質の回転不変性について扱っている。繰り込み群（RG）の形式論は、臨界固定点が並進、回転、およびスケール不変性を示すと予測しており、共形場理論（CFT）は完全な共形不変性を示唆している。しかし、これらに対する厳密な数学的証明は、歴史的に特定のモデル（例：三角格子上のサイトパーコレーション、アイジングモデル、ダイマー、一様全域木など）に限定されてきた。これらの証明は通常、特定の離散対称性に強く依存する離散正則観測量に依拠している。

著者らは、正方格子上のクラスター重み $q \in [1, 4]$ におけるランダム・クラスター・モデル（フォルツァイン＝カスケットル・パーコレーション）に焦点を当てている。この範囲には、ベルヌーイ・パーコレーション（$q=1$）および臨界ポッツモデル（$q=2, 3, 4$）が含まれる。中心となる問題は、これらのモデルのスケール極限が回転不変であることを証明することであり、これは、モデル固有の正則観測量に頼ることなく、完全な共形不変性を証明するための極めて重要なステップを確立するものである。

手法
著者らは、場の理論に着想を得た戦略として、スター・トライアングル変換（またはヤン・バクスター方程式）を主要なツールとして用いている。本研究は、ベテ・アンザッツを用いて特定の固有値や分配関数を計算した従来のアプローチとは異なり、アイソラディアル（等半径）グラフの設定におけるスター・トライアングル変換の構造的特性に基づいている。

核心となる手法は以下の通りである：

1. アイソラディアル埋め込み： 著者らは、歪んだ正方格子の族 $L(\alpha)$（これはアイソラディアルな長方形格子である）上でランダム・クラスター・モデルを考える。これらの格子は、エッジ・パラメータの不均一性（水平方向対垂直方向）が、埋め込みの幾何学的性質によって補償されるように構成されている。
2. トラック交換変換： 著者らは、スター・トライアングル変換を用いて、「トラック」（ダイヤモンドグラフにおける面の列）を交換することにより、格子 $L(\beta)$ を $L(\alpha)$ へと徐々に変形させる一連の変換を定義する。このプロセスは、頂点間の連結性は保持するが、クラスターの幾何学的形状を変化させる。
3. 結合と再サンプリング： $L(\beta)$ 上の配置と $L(\alpha)$ 上の配置を比較するために、著者らは配置の結合 $(\omega_t)$ を構築する。ここでの重要な技術的革新は、極値の再サンプリングである。クラスターの極値付近の局所的な環境が、大域的な配置から独立して振る舞うこと（インシピエント無限クラスター（IIC）を模倣すること）を保証するため、変換の各ステップにおいて、クラスクターの極値を囲む小さなボックス内で配置を再サンプリングする。
4. ドリフト解析： メゾスコピックなクラスターの極値座標（上、下、左、右）の進化を分析する。著者らは、これらの座標が「ドリフト」（極値の期待増分）によって決定される線形変換 $M_{\beta, \alpha}$ に従って進化することを示す。
5. 対称性の議論： この線形変換が恒等写像であること（普遍性を意味する）を証明するために、反射によって生成される変換群の下で、標準的な正方格子 $L(\pi/2)$ 上の臨界測度が漸近的に不変であることを利用した対称性の議論を用いる。これらの変換の固有値を分析することで、ドリフトが消失しなければならないことを導き出し、結果として $M_{\beta, \alpha}$ が恒等写像であることを強制する。

主要な貢献と結果

• 定理 1.2（回転不変性）： 著者らは、臨界ランダム・クラスター・モデル（$q \in [1, 4]$）が漸近的に回転不変であることを証明した。具体的には、格子 $\delta \mathbb{Z}^2$ 上の測度と、回転させた格子 $e^{i\alpha}\delta \mathbb{Z}^2$ 上の測度の間の距離は、Camia-Newman ($d_{CN}$) および Schramm-Smirnov ($d_{SS}$) トポロジーの両方において、$\delta \to 0$ のとき消失する。
• 定理 1.7（アイソラディアル長方形グラフ上の普遍性）： 任意のアイソラディアル長方形格子 $L(\alpha)$（$q \in [1, 4]$）におけるランダム・クラスター・モデルは、標準的な正方格子 $L(\pi/2)$ 上のモデルと漸近的に等価であることを確立した。これは、アイソラディアル埋め込みが、モデルの不均一性を補償して共形不変なスケール極限を確保するための「正しい」幾何学的補償であることを裏付けている。
• 定理 1.9（線形変換までの普遍性）： モデル $L(\beta)$ と $L(\alpha)$ が可逆な線形写像 $M_{\beta, \alpha}$ によって関連付けられていることを示す、より弱い中間結果。主定理の証明は、臨界の場合においてこの写像が恒等写像であることを示すことに依存している。
• ポッツモデルへの系： エドワーズ＝ソカル結合を用いることで、著者らは臨界 $q$ 状態ポッツモデル（$q \in \{2, 3, 4\}$）のスピンスピン相関が、大規模において回転不変であることを導出している。
• 横断確率への系： これらの結果は、単連結領域におけるクアッド（四角形）の横断確率が、スケール極限において回転に対して不変であることを意味する。

意義と主張
本論文の結果は、臨界ランダム・クラスター・モデルに対応する範囲（$1 \le q \le 4$）における、全平面六頂点モデルからガウス自由場（GFF）への収束を証明するための足掛かりとなるものである（詳細は別論文 [22] に詳述）。

著者らは、自らの戦略が一般的であり、ヤン・バクスター方程式を満たす広範なクラスの可積分平面系に適用可能であり、アシュキン・テラー・モデルや特定のループ・モデルへの拡張が可能であることを強調している。離散正則観測量に頼る代わりに、スター・トライアングル変換と混合特性（RSW）を利用することで、本論文は、より広いクラスのモデルに対して共形不変性を証明するための、より堅牢な経路を提供している。本研究は、物理学のヒューリスティックな予測（RGおよびCFT）と、重要な一族の格子モデルに対する厳密な数学的証明との間の溝を埋めるものである。

謙虚さと限界
著者らは、結果の定量的バージョン（特に回転不変性における収束率）については、定量的な証明には大幅にテクニカルな議論が必要となるため、提供していないことを注記している。また、核となるメカニズムに集中するために、領域の検討を $C^1$ 級の滑らかな境界に制限しているが、結果はジョルダン領域にも拡張されると考えている。さらに、スピンスピン相関の回転不変性は証明しているものの、エネルギー相関の回転不変性を導出するには追加の作業が必要であり、本論文の対象外であることを明示している。