The Ising magnetisation field and the Gaussian free field

技術要約：イジング磁化場とガウス自由場

問題提起
本研究は、平面統計力学およびランダム共形幾何学における二つの中心的な対象、すなわち臨界イジング磁化場（IMF）と連続的なガウス自由場（GFF）の間の根本的な関係を扱う。GFFは様々なモデルにおける高さ関数のスケーリング極限を記述することで知られており、一方でIMFは臨界イジング・スピン場のスケーリング極限として現れるが、単一のインスタンスとしてのGFFとIMFとの間の直接的かつ自然な結合は、これまで連続体において確立されていなかった。既存のアプローチ（例えば、イジング模型とフォーティン・カスケットル（FK）ランダムクラスター模型を結合するエドワーズ・ソカル結合）は、FKクラスター（そのスケーリング極限はコンフォーマル・ループ・アンサンブル $\text{CLE}_{16/3}$ である）を用いてIMFを記述している。しかし、著者らは、IMFは局所的なGFFの頂点演算子ではなく「ツイスト場」として物理的に記述されることから、異なる幾何学的表現を必要とする非局所的な関係を示唆している。

手法
著者らは、イジング模型の新しい離散的表現のスケーリング極限を取ることによって、この結合を構成する。彼らのアプローチは以下のステップに従う：

1. ダブル・ランダム・カレント（DRC）による離散的結合： 標準的なFK-イジング模型を用いる代わりに、著者らはエドワーズ・ソカルの枠組みに似ているが、パーコレーション模型がダブル・ランダム・カレント（DRC）モデルから導出される結合を利用する。具体的には、弱双対グラフ上でのソースレス（源なし）DRCのトレースの双対補集合を考える。双対補集合のクラスターに対して独立な対称コイン投げを割り当てることが、臨界イジング模型と正確に同じ分布を持つスピン配置を与えることを証明する（定理 1.9）。
2. マスター結合の拡張： 著者らは、プライマル（主）およびデュアル（双対）のXOR-イジング・スピンと高さ関数を結合する、Duminil-Copin, Qian, および Lis によって導入された「マスター結合」を、磁化場を含むように拡張する。これには、格子上のダイヤモンドグラフ上の高さ関数 $H$ の定義が含まれ、その勾配はプライマルとデュアルのXOR-イジング・スピンの積によって決定される。
3. スケーリング極限と幾何学的特定： DRCのスケーリング極限に関する最近の結果（DRCが特定の二値集合のGFFの反復へと収束すること）を援用することで、彼らはパーコレーション・クラスターのスケーリング極限を特定する。彼らは、DRCのクラスターの双対補集合が、DRC極限で記述されるクラスターの「補集合」に対応することを示す。これらの極限は、特定の高さギャップ（例：$A_{-2\lambda, 2\lambda}$）を持つGFFの二値集合として特定される。
4. 測度の構成と可測性： 離散的なクラスターの「面積」測度が、完全なパーコレーション構成だけでなく、限定的なクラスター幾何学自体に対しても可測な連続体測度へと収束することを証明することが、重要な技術的障壁である。著者らは、アニュラス（環状領域）の横断ではなくボックスカウンティングを用いた $L^2$ 近似スキームを採用し、必要な集中性と非相関性を確立するために、インシピエント・インフィニット・クラスター（IIC）測度を構築する。

主要な貢献と結果

• 一つのGFFに対する四つのIMFの結合： 主要な結果（定理 1.1）は、ゼロ境界条件を持つ単一のGFFのインスタンスと一連の独立なコイン投げを用いることで、四つの独立なイジング磁化場（二つの $+$ 境界条件を持つものと、二つの自由境界条件を持つもの）を生成する結合が存在することを確立する。
• 幾何学的分解（定理 1.2）： 著者らは、これらのIMFの明示的な決定論的表現を提供する。場は、特定のGFFの二値集合のクラスター上に支持される「面積」測度の符号付き和として表現される。
  • $+$ 境界条件の場合、分解は境界クラスター $C_0 = A_{-2\lambda, 2\lambda}(h)$ と、二値集合のループ内で反復的に定義される入れ子状のクラスターを含む。
  • 自由境界条件の場合、分解は $L_{-\sqrt{2}\lambda, \sqrt{2}\lambda}(h)$ のループに関連するクラスターから始まる。
  • 測度の符号は、GFFの幾何学（二値集合のラベル経由）と独立なコイン投げによって決定される。
• 測度の特定（定理 1.6）： 連続体測度 $\mu_C$ は、$\text{CLE}_4$（これは二値集合 $A_{-2\lambda, 2\lambda}$ に対応する）のカーペット上に支持される唯一の共形共変測度として特定される。これらは、クラスターの $(2-1/8)$ 次元のミンコフスキー・コンテンツ（またはボックスカウンティング・コンテンツ）に比例することが示される。
• 同時スケーリング極限（定理 1.10）： 著者らは、離散的な高さ関数、パーコレーション・クラスター、およびスケーリングされたスピン場が、それぞれの連続体対応物（GFF、二値集合、およびIMF）へと同時収束することを証明する。

意義と主張
著者らは、この構成が、ツイスト場の文脈における「ボゾニゼーション（ボソン化）」現象の自然な確率論的実現を代表していると主張している。頂点演算子はGFFの局所関数であるが、IMF（ツイスト場として）は非局所的である。本研究は、IMFをGFFの二値集合を用いて幾何学的に分解する厳密な手法を提供し、IMFと $\text{CLE}_{16/3}$ の枠組みを超えた平面ランダム幾何学との繋がりを拡張するものである。

本論文は、この特定の結合（二つの独立なIMFが単一のGFFとコイン投げの関数となる結合）の存在が、以前は予測されていなかったことを明記している。ただし、AruとLupuが二点関数の一致に基づき、同様の主張を最近予想していた。著者らの貢献は、離散的構造を通じてこの結合を厳密に構成し、得られる場のGFFに対する可測性を証明したことにある。

さらに、この手法はアシュキン・テラー（AT）模型にも拡張される。著者らは、AT磁化場の特定の高さギャップがAT結合パラメータに依存する二値集合の幾何学的分解が、AT磁化場に対しても同様に成り立つという予想を提示している。彼らは、提案された場の定義式が収束することを証明し、連続体AT磁化場の存在の証拠を提供している。

限界と範囲
本論文は、AT模型の完全なスケーリング極限の収束を証明したと主張しているわけではない（これは自由フェルミオン点以外では未解決の問題である）。むしろ、どのように幾何学的に表現され得るかについての枠組みと予想を提供している。結果は、全 $n$ 点相関関数ではなく、イジング模型の一点関数（定理 1.15）の収束に依拠しており、これが従来のいくつかのアプローチと本研究を区別している点である。構成は平面領域および臨界イジング模型に特化しており、AT模型への拡張は依然として予想および部分的な収束の証明の段階に留まっている。