Columnar order in random packings of $2\times2$ squares on the square lattice

この論文は、格子点上の$2\times2$正方形のランダムパッキングにおいて、パラメータ$\lambda$が大きい場合に回転対称性が破れた柱状秩序が現れ、4 つの極限ギブス測度が存在し、すべての周期的ギブス測度がこれら 4 つの混合で表されることを証明し、さらにチェス盤推定の拡張を導入したものである。

要約

この論文は、**「2×2 の正方形（タイル）を、隙間なく（あるいはできるだけ隙間を減らして）並べるゲーム」**の、非常に密度の高い状態における不思議な振る舞いを解明したものです。

数学者のダニエル・ハダスさんとロン・ペルドさんが、この「タイルの詰め込み」が、ある条件（高い「化学的ポテンシャル」、つまりタイルを置きたいという強い欲求）を満たすと、**「整然とした列（カラム）を作る」**という現象が起きることを証明しました。

以下に、専門用語を排し、日常の比喩を使ってわかりやすく解説します。

---

1. 物語の舞台：「タイルの詰め込みゲーム」

想像してください。床には無限に広がるマス目（格子）があります。そこには、2×2 の大きさの正方形のタイルがあります。
ルールは簡単です：

• タイルは重なり合えない（互いに干渉しない）。
• タイルを置くほど、得点（エネルギー）が上がる。

このゲームで、タイルを**「とにかくたくさん置きたい（密度を高めたい）」**という状況（論文では「高いファガシティー」と呼ばれます）を考えます。

低密度の状態（タイルが少ないとき）

タイルが少なければ、どこに置いてもいいので、タイルは**「ぐちゃぐちゃ」**に散らばっています。どの方向も平等で、秩序はありません。

高密度の状態（タイルがいっぱいになったとき）

ここで面白いことが起きます。タイルをぎゅうぎゅうに詰めようとすると、**「整然とした列（カラム）」**を作るのが最も効率的であることがわかったのです。

---

2. 発見された「不思議な秩序」：スライド現象と柱状秩序

この研究の最大のポイントは、**「なぜ整然と並ぶのか？」**という部分です。

従来の予想：「完全な詰め込み」は無限にある

タイルを隙間なく敷き詰める（完全充填）方法を考えると、実は**「無限に多くの方法」**があります。

• 例えば、縦の列を 1 マスずつ下にずらす（スライドさせる）。
• 横の列を 1 マスずつ右にずらす。

この「ずらす（スライド）」操作を自由に行えるため、物理学者たちは以前、「タイルはどの状態も平等で、特定の秩序（相）は生まれないのではないか？」と疑っていました。つまり、「タイルはただの液体のように、どこでも自由に動けるはずだ」と考えられていたのです。

この論文の結論：「秩序の破れ」

しかし、この論文は**「それは違う！」と証明しました。
タイルを詰め込むと、タイルたちは「縦の列」か「横の列」**のどちらかの形に、自発的に整列するのです。

• 柱状秩序（Columnar Order）： タイルが「縦の列」を作って並ぶか、「横の列」を作って並ぶか、そのどちらかになります。
• 対称性の破れ： 最初は「縦も横も平等」だったのが、ある瞬間に「縦が好き！」か「横が好き！」かのどちらかを選び、その方向に固まるのです。

これは、**「液体が結晶化する」**ような現象ですが、少し違います。

• 結晶： 3 次元すべてが固定される（氷のように硬い）。
• この現象： 列の方向は固定されるが、列の中での動きは自由（柱状の液体のように、列は動ける）。

---

3. 4 つの「世界のあり方」

この研究では、タイルが整列する状態が**「4 つ」**しかないことを突き止めました。

1. 縦列・左寄せ（縦の列を作り、左側のマスに寄る）
2. 縦列・右寄せ（縦の列を作り、右側のマスに寄る）
3. 横列・上寄せ（横の列を作り、上のマスに寄る）
4. 横列・下寄せ（横の列を作り、下のマスに寄る）

タイルたちは、この 4 つのパターンのどれか一つに「決着」をつけます。一度決まると、他のパターンに簡単には戻れません。まるで、「縦の列を作る国」と「横の列を作る国」が分立したような状態です。

---

4. 証明の手法：チェス盤の魔法

どうやってこれを証明したのでしょうか？彼らは**「チェス盤の推論（Chessboard Estimate）」**という強力な数学的な道具を使いました。

• 比喩： 部屋（タイルの配置）をチェス盤のように分割し、「黒いマス」と「白いマス」のバランスを調べます。
• 工夫： 従来の手法は「有限の部屋」しか扱えなかったのですが、この論文では**「無限に広がる部屋」**に対してもこの手法を適用できるように拡張しました。
• 結果： 「整然と並ばない（ぐちゃぐちゃな）状態」は、エネルギー的に非常に不利（確率が極めて低い）であることを示し、「整然と並ぶ状態」こそが自然な姿だと証明しました。

また、**「スティック（棒）」**という概念を導入しました。

• 縦に並んだタイルの境界には「縦の棒」が、横に並んだタイルの境界には「横の棒」が現れます。
• 高密度になると、この「棒」が長く伸びて、空間を縦か横に区切ります。
• 縦の棒と横の棒は、お互いに交わることができません。そのため、空間全体が「縦の棒で支配された領域」か「横の棒で支配された領域」かのどちらかになるのです。

---

5. この発見の意味：なぜ重要なのか？

• 物理学的な意義： 「スライド現象（自由にずらせる現象）」があるモデルでも、実は秩序が生まれることを初めて厳密に証明しました。これは、液晶（リキッドクリスタル）の振る舞いを理解する上で重要な手がかりになります。
  • 液晶は、液体のように流れる一方で、分子が特定の方向を向いている（秩序がある）状態です。この論文は、**「格子状のタイルでも、同じような『柱状の秩序』が生まれる」**ことを示しました。
• 数学的な革新： 「無限の世界」での確率論的な証明手法を新しく開発しました。これは、他の複雑なパッキング問題（例えば、3 次元の立方体を詰める問題など）に応用できる可能性があります。

まとめ

この論文は、**「2×2 のタイルをぎゅうぎゅうに詰めると、タイルたちは『縦の列』か『横の列』のどちらかを選んで、整然と並ぶ」**という、一見単純そうで実は深遠な現象を、数学的に厳密に解明したものです。

「自由に見えるスライド（ずらし）」という混乱の中で、タイルたちは自発的に「秩序」を選び取ったのです。それは、無秩序な液体が、ある瞬間に「柱状の結晶」へと姿を変えるような、美しい物理現象の証明と言えます。

技術概要

1. 問題設定 (The Problem)

モデルの定義:
正方形格子 $\mathbb{Z}^2$ 上の 2×2 ハード・スクエア・モデルを考察します。各格子点 $(x, y)$ には、その点を中心とする 2×2 の正方形（タイル）$T_{(x,y)}$ が対応します。ハード・コア条件により、異なるタイルの内部は重なり合えません。配置 $\sigma$ は、タイルの有無を示す関数 $\sigma: \mathbb{Z}^2 \to \{0, 1\}$ として表現され、ファガシティ（化学ポテンシャル）$\lambda > 0$ に対して、配置の確率は $\lambda$ の（タイル数）乗に比例します。

背景と課題:

• 低ファガシティ領域: 古典的な手法（Dobrushin 一意性定理や不一致パーコレーション）により、$\lambda$ が小さいときは一意のギブス測度（無秩序相）が存在することが知られています。
• 高ファガシティ領域の難しさ: 高密度では、タイルが格子をほぼ完全に埋め尽くす「完全に充填された配置（fully-packed configurations）」が支配的になります。しかし、このモデルでは「スライディング現象（sliding phenomenon）」と呼ばれる特徴が存在します。つまり、完全に充填された配置が連続的（無限個）に存在し、列（または行）を 1 格子点分ずらすことで新たな充填配置が得られます。
• 既存の予想との対立: このスライディング現象は、Pirogov-Sinai 理論などの標準的な高密度相転移の解析手法を適用することを困難にします。Fröhlich らや Mazel-Stuhl-Suhov らは、スライディング現象を持つモデルでは高ファガシティ領域でもギブス測度が一意である（無秩序である）と予想していました。一方、物理学の文献では、柱状秩序（columnar order）やネマティック秩序が現れるという議論もありました。

本研究の目的:
2×2 ハード・スクエア・モデルが高ファガシティ領域において、一意なギブス測度を持つのか、それとも複数のギブス測度（秩序相）が存在するのかを厳密に決定し、その秩序の性質を記述することです。

2. 手法 (Methodology)

本研究は、反射 positivity（反射陽性）に基づく「チェスボード推定（chessboard estimate）」を中核とした、いくつかの高度な確率論的・組合せ論的手法を組み合わせることで証明を構築しています。

主要な技術的アプローチ:

1. チェスボード推定の無限体積への拡張:

   • 標準的なチェスボード推定は有限体積（トーラス上の測度）に対して適用されます。著者らは、これを無限体積の周期的ギブス測度に直接適用できる形で拡張しました（Proposition 3.8）。これは、無限体積における相関の制御や、境界条件の影響を排除する上で決定的な役割を果たしました。

2. 「スティック（Sticks）」の概念とメソスコピックな長方形の分割:

   • 配置中のタイルの配置の「ずれ」を「スティック（棒）」として定義しました。具体的には、異なるパリティを持つタイルの境界に現れるエッジの最大経路です。
   • 垂直方向に秩序がある領域では垂直スティックが長く現れ、水平方向に秩序がある領域では水平スティックが長く現れます。
   • 主要な補題（Lemma 4.1）: メソスコピックなサイズ（$\sqrt{\lambda}$ よりも十分小さいが、面積は十分大きい）の長方形は、高い確率で何らかのスティックによって「分割（divided）」されることを示しました。これは、秩序相と無秩序相の境界（インターフェース）が稀であることを意味します。

3. ペイエルス型議論（Peierls-type argument）:

   • 上記のスティックの分割確率を用いて、垂直に秩序立った状態と水平に秩序立った状態が共存できないこと、そしてそれぞれが独立して安定した相として存在することを示しました。
   • 1 次元ハード・コアモデルの解析（Proposition 4.2）を基礎とし、2 次元系を「1 次元システムの和」として近似する構成を用いて、分配関数の下限評価を行いました。

4. 不一致パーコレーション（Disagreement Percolation）:

   • 異なるギブス測度からサンプリングされた 2 つの配置間の「不一致（disagreement）」が無限に伝播しないことを示すことで、測度の一意性や極値性（extremality）を証明しました（Theorem 8.2, Lemma 8.3）。
   • これにより、4 つの異なる相（垂直/水平 $\times$ パリティ 0/1）が互いに排他的であり、それらがすべての周期的ギブス測度を張ることが示されました。

3. 主要な貢献と結果 (Key Contributions and Results)

定理 1.1: 柱状秩序の存在と相関の減衰
高ファガシティ（$\lambda > \lambda_0$）において、以下の性質を持つギブス測度 $\mu_{(\text{ver}, 0)}$ が存在します。

• 対称性の破れ: この測度は垂直方向の並進対称性は保ちますが、水平方向の並進対称性と 90 度の回転対称性を破ります。
• 柱状秩序: タイルの中心の $x$ 座標の偶奇が偏ります。具体的には、$x$ が奇数である位置にタイルが存在する確率が $1/2 - \Theta(\lambda^{-1/2})$ であり、$x$ が偶数である位置では $\Theta(\lambda^{-1})$ と非常に小さくなります。
• 異方的な相関減衰:
  • 垂直方向（秩序が保たれている方向）: 相関は指数関数的に減衰しますが、減衰率は遅く、相関長は $O(\sqrt{\lambda})$ です。
  • 水平方向（秩序が破れている方向）: 相関は速く減衰し、相関長は $O(1)$ です。
  • 隣接する列間の相関も $\lambda$ が大きいとき非常に小さいことが示されました。

定理 1.2: 周期的ギブス測度の完全な分類
高ファガシティ領域において、すべての周期的ギブス測度は、以下の 4 つの極値的（extremal）な周期的ギブス測度の凸結合として一意に表されます。

1. $\mu_{(\text{ver}, 0)}$: 垂直方向に秩序、$x$ 座標のパリティ 0
2. $\mu_{(\text{ver}, 1)}$: 垂直方向に秩序、$x$ 座標のパリティ 1
3. $\mu_{(\text{hor}, 0)}$: 水平方向に秩序、$y$ 座標のパリティ 0
4. $\mu_{(\text{hor}, 1)}$: 水平方向に秩序、$y$ 座標のパリティ 1

これらは、格子の回転対称性と並進対称性の一部を破る「柱状相（columnar phase）」を形成します。

その他の重要な結果:

• スライディング現象の克服: 無限個の完全に充填された配置が存在するにもかかわらず、高ファガシティではそれらが「1 次元システムのランダムな和」からの摂動として振る舞い、結果として有限個の秩序相に収束することを証明しました。
• スライディング現象を持つ他のモデルへの示唆: 立方体（3 次元）や他の格子（三角形格子など）におけるパッキング問題においても、同様の柱状秩序が現れる可能性について議論し、予想を提示しました。

4. 意義 (Significance)

1. 数学的物理学における厳密な証明:

   • 長年、スライディング現象を持つモデルでは高密度で秩序が現れない（一意測度である）と考えられてきましたが、本研究は 2×2 ハード・スクエア・モデルにおいて複数のギブス測度が存在し、柱状秩序が現れることを初めて厳密に証明しました。
   • これは、Pirogov-Sinai 理論が直接適用できない場合でも、反射陽性とチェスボード推定を組み合わせることで秩序相を解析できることを示す重要な事例です。

2. 液体結晶モデルとの関連:

   • 本研究で示された「柱状秩序（columnar order）」は、液体結晶物理学における柱状相（rotational symmetry が破れ、2 つの軸方向の並進対称性が破れる状態）に相当します。ハード・コアモデル（粒子間の排他的相互作用のみ）から、このような複雑な秩序が数学的に導出されたことは、統計力学の基礎理論にとって大きな進展です。

3. 手法論的な革新:

   • 「チェスボード推定」を無限体積の周期的測度に直接適用する手法の確立は、他の格子モデルやスピン系への応用可能性を開くものであり、今後の研究において重要なツールとなるでしょう。
   • 「スティック」と「メソスコピックな分割」という概念は、高密度パッキング問題における秩序の構造を捉えるための新しい視点を提供しています。

4. 未解決問題への道筋:

   • 本研究は、より高次元の立方体パッキングや、他の格子（三角形格子、六角格子）におけるスライディング現象を持つモデルの解析への道筋を示しました。特に、3 次元の 2×2×2 立方体モデルなど、今後の研究対象として具体的な予想を提示しています。

結論

Daniel Hadas と Ron Peled のこの論文は、2×2 ハード・スクエア・モデルが高ファガシティ領域において、回転対称性と並進対称性の一部を破る「柱状秩序」状態に遷移し、4 つの異なる極値的ギブス測度を持つことを数学的に厳密に証明しました。スライディング現象という難問に対して、チェスボード推定の拡張とペイエルス型議論を巧みに組み合わせることで、従来の予想（一意測度説）を覆す結果を得ており、統計力学における相転移理論と液体結晶の理解に大きく貢献しています。