技術要約：双曲平面における硬球モデルの相転移

1. 問題設定と動機

硬球モデルは、粒子が等しいサイズの球体として表され、ハードコア排除相互作用（重なりが許されない）を持つ、統計物理学における基本的な系である。ユークリッド空間 ($\mathbb{R}^d$) においては、活動度（フガシティ）$\lambda$ が増加するにつれて、システムが相転移を起こし、$\mathbb{R}^3$ での結晶化や $\mathbb{R}^2$ での回転対称性の破れといった現象につながるということが長年の予測となっている。しかし、1世紀以上にわたる研究にもかかわらず、任意の次元 $d$ における $\mathbb{R}^d$ でのこのような相転移の存在は、依然として大きな未解決問題である。

本論文は、双曲平面 ($\mathbb{H}^2$) における硬球モデルの相転移の存在に対処する。ここでの相転移は、半径 $r$ と十分に大きな活動度 $\lambda$ に対して、ギブス測度の非一意性と定義される。具体的には、著者らは $\lambda_u(\mathbb{H}^2, r) < \infty$ となる閾値が存在し、$\lambda > \lambda_u$ のとき、少なくとも2つの異なるギブス測度が存在することを示すことを目的としている。

2. 手法と枠組み

2.1. 定義とセットアップ

著者らは、ドブロシン・ランフォード・ルーラ（DLR）方程式を介して、計量測度空間 $X$（具体的には $\mathbb{H}^2$）上の硬球モデルを定義する。相転移は、ある $r$ と $\lambda$ に対して、ギブス測集合 $\text{Gibbs}(X; r, \lambda)$ が複数の要素を含む場合に発生するとされる。

潜在的なギブス測度を区別するために、著者らは密度の概念を利用する。球充填の空間上の等長変換不変な確率測度 $\mu$ に対して、密度とは、ランダムなサンプルから得られる球が、固定された原点を覆っている確率のことである。

2.2. 戦略：2つの異なる測度の構成

核心となる戦略は、大きな $\lambda$ に対して、異なる密度を持つ2つの異なる $(r, \lambda)$-ギブス測度を構成することである：

1. 「構造化された」測度： 最適な格子充填から導出される。
2. 「ランダムに近い」測度： 空間的な出生死滅グローバー動力学（Glauber dynamics）から導出され、**弱ポアソン因子（weak Poisson factor）**であることが示される。

証明の鍵は、特定の半径において、弱ポアソン因子によって達成可能な密度が最適充填密度よりも厳密に小さいことを示すことにある。

2.3. 主要な数学的ツール

• ベンジャミニ・シュラム収束： 双曲曲面（$\mathbb{H}^2$ の商空間）上の有限体積ギブス測度を、$\mathbb{H}^2$ 上の無限体積ギブス測度へと持ち上げるために使用される。
• グローバー動力学： 空の状態から始まる連続時間マルコフ連鎖（空間的出生死滅過程）。著者らは、この過程の部分列極限が、弱ポアソン因子となるギブス測度を与えることを示す。
• アニールド（ソフィック）エントロピー： 非可換群（特に自由群）の作用に対するエントロピーの概念。これは、「構造化された」格子測度と「ランダムに近い」ポアソン因子の間で区別するための主要なツールである。
  • 著者らは、周期的な測度（格子充填上に支持されるもの）が負のアニールドエントロピー（具体的には $-\infty$）を持つことを証明する。
  • 対照的に、弱ポアソン因子（および弱ベルヌーイ因子）は、非負のアニールドエントロピーを持つ。
  • このエントロピーの差により、最適な格子測度は弱ポアソン因子にはなり得ないことが証明される。

3. 主要な貢献と結果

3.1. $\mathbb{H}^2$ における相転移の存在

定理 2： すべての $r \in R_2$ に対して、硬球モデルは $\mathbb{H}^2$ 上で相転移を起こす（$\lambda_u(\mathbb{H}^2, r) < \infty$）ような、有界な開集合 $R_2 \subset (0, \infty)$ が存在する。

• $R_2$ は、ある有限な $\rho$ に対する区間 $(\rho, \infty)$ を含む。
• この結果は、「タイトな半径」 $r_n$ （$n \ge 7$）において、最適充填が唯一の格子充填となることに依存している。

3.2. 密度の分離

定理 6： 半径の集合 $R_2$ において、弱ポアソン因子によって達成可能な最適密度 $D_{\text{Pois}}(\mathbb{H}^2, r)$ は、最適充填密度 $D_{\text{opt}}(\mathbb{H}^2, r)$ よりも厳密に小さい。

• この差は、タイトな半径における唯一の最適測度が周期的であり、したがって弱ポアソン因子ではないこと（エントロピー論による）を示すことで確立される。
• 最適密度の連続性（定理 24）により、この差はタイトな半径の開近傍にも拡張される。

3.3. ギブス測度の構成

• 近最適密度： 最適な格子充填を用いた双曲曲面上の有限体積近似を用いて、大きな $\lambda$ に対して密度が $D_{\text{opt}}$ に任意に接近するギブス測度を構成する（セクション 4）。
• 低密度（ポアソン）測度： グローバー動力学を用いて、弱ポアソン因子となるギブス測度を構成する。その密度は $D_{\text{Pois}}$ によって上から抑えられる（セクション 5）。
• $D_{\text{Pois}} < D_{\text{opt}}$ であるため、これらの2つの測度は異なり、非一意性が証明される。

3.4. 完全飽和充填

定理 8： 本論文は、劣最適な密度を持つ、$\mathbb{H}^2$ における完全飽和球充填の存在を証明する。

• 充填が「完全飽和」であるとは、充填特性を維持したまま、有限個の球を取り除き、代わりに厳密により多くの数の球を置くことができない状態を指す。
• 著者らは、密度 $D_{\text{Pois}}$ を達成する任意の弱ポアソン因子が、完全飽和充填上に支持されていることを示す。
• これは、完全飽和充填が必然的に最適となるユークリッド空間とは対照的である。

4. 意義と主張

本論文は、特定の非ユークリッド的な設定（$\mathbb{H}^2$）において、硬球モデルの相転移の存在を解決したと主張している。

• 非可換性の役割： 著者らは、彼らの証明戦略が、双曲平面の非可換性に本質的に依存していることを強調している。$\mathbb{R}^d$ のような可換な空間では、ポアソン因子の最適密度は最適充填密度と一致する（$D_{\text{Pois}} = D_{\text{opt}}$）ため、この特定の分離の議論は成立しない。
• 区別としてのエントロピー： 本研究は、非可換群の文脈において、「ランダムに近い」（ポアソン／ベルヌーイ）測度と「構造化された」（周期的／格子）ギブス測度を区別するための厳密なツールとして、アニールドエントロピーを導入している。
• 限界： 著者らはその範囲について謙虚である。彼らは、$\mathbb{H}^2$ のすべての半径に対して相転移を証明したわけではなく、また、結果を $\mathbb{H}^d$ ($d > 2$) や $\mathbb{R}^d$ へと拡張したわけでもない。彼らは、最適密度の連続性と一意の周期的最適化子の存在がこれらの設定では知られていないことを指摘し、高次元またはユークリッド空間への拡張は未解決問題であると明記している。

5. 結論

本論文は、特定の、かつ非有界な半径の集合に対して、双曲平面上の硬球モデルが相転移を示すことを確立している。これは、格子充填から導出される近最適密度の測度と、グローバー動力学から導出されるより低い密度の測度という、2つの異なるギブス測度を構成することによって達成される。両者の区別は、最適格子測度がポアソン因子によって近似できないことを示すための、アニールドエントロピー理論を用いた密度の差を通じて証明される。この結果は、統計力学の相転移における非可換性のユニークな役割を浮き彫りにしている。