Invariant measures for the box-ball system based on stationary Markov chains and periodic Gibbs measures

本論文は、定常マルコフ連鎖に基づく箱玉系の不変測度の既存結果を総説し、周期的ギブス測度に基づく新たな不変測度とその無限体积极限、さらに関連するスケール極限やウルトラディスクリート・トダ格子への応用を包括的に論じています。

要約

この論文は、**「箱とボールのシステム（Box-Ball System）」**という、一見単純だが奥深いゲームの「ルールを変えても変わらない状態（不変測度）」を見つけるという、数学的な探検記です。

専門用語を捨てて、日常の比喩を使ってこの研究の世界を解説しましょう。

1. 箱とボールのゲームとは？（箱とボールのシステム）

想像してみてください。無限に続く廊下に、並んだ「箱」があります。

• ボールが入っている箱は「1」
• 空っぽの箱は「0」

ここに、**「運び屋（キャリア）」**という役者が左から右へ歩き出します。

• ボールがある箱に出会うと、ボールを拾って持ち歩きます。
• 空っぽの箱に出会うと、持っているボールを置きます（もし持っていなければ何もしません）。

この「運び屋」が廊下を一通り歩き終わると、ボールの配置がガラッと変わります。これが「箱とボールのシステム」の動きです。
実はこの動きは、**「ソリトン（孤立波）」**という、波がぶつかり合っても形を保ちながら進む不思議な現象をシミュレートしているんです。

2. この研究の目的：「変わらない魔法の配置」を見つける

さて、このゲームを何回も繰り返すと、ボールの配置はどんどん変わっていきます。
しかし、**「ある特定の配置の『確率のルール』を使えば、ゲームを何回やっても、全体としての『ボールの並び方の雰囲気』が変わらない」という不思議な状態があることが分かっています。これを「不変測度（Invariant Measure）」**と呼びます。

これまでの研究では、「ランダムにボールを置く（独立した確率）」や「前の箱の状態に依存して置く（マルコフ連鎖）」といったルールで、この「変わらない魔法」が見つかりました。

この論文の新しい発見は以下の 3 つです。

① 「周期の魔法」の発見（Gibbs 測度）

これまでの研究は「無限に続く廊下」の話でしたが、今回は**「円形の廊下（周期）」に注目しました。
円形の廊下で、特定の「ソリトン（波の塊）」の数が決まっているような配置を、「ギブス測度（Gibbs Measure）」**という統計力学の魔法のレシピを使って定義しました。

• 比喩： 円形のテーブルに並んだお皿。特定の「おにぎりの塊（ソリトン）」の数が決まっているような並び方を、確率的に定義したのです。
• 結果： この円形テーブルのルールも、ゲームを繰り返しても「雰囲気」が変わらないことが証明されました。

② 「無限大」への接続

面白いことに、この「円形テーブルのルール」を、テーブルのサイズを無限に大きくしていくと、これまでの「無限の廊下」のルール（独立な確率やマルコフ連鎖）に自然に収束することが分かりました。

• 比喩： 小さな円形のプールをどんどん大きくして、やがて無限に広い海になると、その水の動きは「海」の動きと全く同じになる、という感じです。

③ 「ジグザグ」の発見とトダ格子

さらに、ボールの運び屋の動きを拡大鏡で見ると、ある特定の条件下で**「ジグザグ・プロセス（Zigzag Process）」**という、ジグザグに動く線が現れることが分かりました。

• 比喩： 山と谷を繰り返す道。
• このジグザグな動きも、同じように「変わらない魔法」を持っています。

そして、このジグザグな動きは、「超離散トダ格子（Ultra-discrete Toda Lattice）」という、物理学の別の有名なモデル（粒子の相互作用を表すもの）の動きそのものだったのです！
つまり、「箱とボールのゲームのルール」を少し変形すると、「粒子の動き」の法則が見えてくるという、意外なつながりを発見しました。

3. まとめ：なぜこれが重要なのか？

この論文は、単に「ボールを並べるゲーム」の話ではありません。

1. ソリトン（波）の法則： 複雑な波の動きが、実は単純な「箱とボール」のルールで説明できることを、確率論的に裏付けました。
2. 新しい視点： 「円形（周期）」のルールから「無限」のルールを導き出すことで、これまでバラバラだった現象を一つにまとめました。
3. 意外なつながり： 「箱とボール」のゲームと、物理学の「トダ格子（粒子の動き）」が、実は同じ「ジグザグな道」を共有していることを示し、異なる分野をつなぐ架け橋となりました。

一言で言えば：
「一見単純な『ボールを箱に移動させるゲーム』には、自然界の複雑な波や粒子の動きを解き明かすための、驚くほど美しい『不変の法則』が隠されていた」という発見の物語です。

技術概要

論文「INVARIANT MEASURES FOR THE BOX-BALL SYSTEM BASED ON STATIONARY MARKOV CHAINS AND PERIODIC GIBBS MEASURES」の技術的サマリー

1. 概要と背景

本論文は、1990 年代に Takahashi と Satsuma によって導入された**ボックス・ボール・システム（BBS: Box-Ball System）の確率的性質、特に不変測度（invariant measures）**に関する研究をまとめたものです。BBS は、ソリトン（孤立波）の相互作用を記述する離散積分系モデルであり、KdV 方程式と深く関連しています。

従来の研究では、BBS の組合せ論的性質や有限粒子系における挙動が中心でしたが、近年はランダムな初期配置からなる確率過程としての BBS の研究が進んでいます。本論文は、著者らによる先行研究 [4] で確立された結果を総覧しつつ、**周期的な配置に対する新しい不変測度（ギブス測度に基づく）**を導入し、それらが無限体积极限として既存の測度（i.i.d. やマルコフ連鎖に基づくもの）を再現することを示しています。さらに、これらの離散系から連続極限（スケーリング極限）を導き出し、**ジグザグ過程（zigzag process）**やその周期的バージョンの不変性を証明し、**超離散 Toda 格子（ultra-discrete Toda lattice）**の自然な不変測度との関係を明らかにしています。

2. 問題設定と手法

2.1 問題設定

BBS のダイナミクスは、無限の粒子配置 $\eta = (\eta_n)_{n \in \mathbb{Z}}$（$\eta_n=1$ で粒子、$0$ で空）に対して定義されます。このダイナミクスは、Pitman 変換（過去最大値に関する反射）を用いた経路符号化 $S$ を介して記述されます。
$$(TS)_n = 2M_n - S_n - 2M_0, \quad M_n = \sup_{m \le n} S_m$$
ここで、$S_n - S_{n-1} = 1 - 2\eta_n$ です。
本論文の主要な問いは、「どのようなランダムな粒子配置 $\eta$ の分布が、BBS の時間発展 $T$ に対して不変（$T\eta \stackrel{d}{=} \eta$）となるか？」という点です。

2.2 手法

1. Pitman 変換とキャリア過程の対称性:
   不変性を判定するための強力なツールとして、Theorem 1.1 を用います。これは、配置 $\eta$ の空間反転対称性（$\overleftarrow{\eta} \stackrel{d}{=} \eta$）、キャリア過程 $W$ の反転対称性（$\overline{W} \stackrel{d}{=} W$）、および配置自体の不変性（$T\eta \stackrel{d}{=} \eta$）の 3 つの条件のうち、任意の 2 つが成り立てば 3 つ目が成り立つというものです。
2. 周期的ギブス測度の導入:
   周期 $N$ の配置空間上で、ソリトン分解に基づく保存量 $f_k$（ソリトンの数やサイズを数える関数）を用いたギブス測度を定義します。
   $$P(\eta^N = x) \propto \exp\left( -\sum_{k=0}^\infty \beta_k f_k(x) \right) \mathbf{1}_{\{f_0(x) < N/2\}}$$
   ここで、$\beta_k$ はパラメータ、$f_0$ は粒子数、$f_k$ はサイズ $k$ 以上のソリトン数を表します。
3. スケーリング極限（Scaling Limits）:
   離散的な配置を適切なスケール因子（$\varepsilon$）で拡大し、連続時間・連続空間の確率過程（ブラウン運動、ジグザグ過程など）への収束を証明します。これにより、離散系で得られた不変性が連続極限においても保持されることを示します。
4. Palm 測度の利用:
   超離散 Toda 格子のダイナミクスを記述するために、ジグザグ過程の局所最大値（local maximum）が原点にあるように条件付けられた Palm 測度を導入し、その不変性を証明します。

3. 主要な貢献と結果

3.1 離散系における不変測度の体系化と拡張

先行研究 [4] で示された以下の既知の不変測度を再確認し、それらを統一的な枠組みで記述しました。

• i.i.d. ベルヌーイ配置: パラメータ $p < 1/2$ の独立同分布。
• 定常マルコフ連鎖配置: 遷移行列が特定の条件（$p_0 + p_1 < 1$）を満たす 2 状態マルコフ連鎖。
• 有界ソリトン配置: i.i.d. 配置を「ソリトンサイズが $K$ 以下」という条件で条件付けした極限分布。

これらに対し、本論文は周期的ギブス測度を新しい不変測度として導入しました（Corollary 2.9）。

• 結果: 上記の i.i.d.、マルコフ、有界ソリトン配置のすべてが、周期的ギブス測度の無限体积极限（$N \to \infty$）として得られることを証明しました（Proposition 2.14）。
• 意義: これにより、BBS の不変測度のクラスが、ソリトン分解に基づくギブス測度の族によって統一的に記述可能であることが示されました。

3.2 連続極限と新しい確率過程

離散系から連続極限を導き、以下の連続確率過程が Pitman 変換に対して不変であることを示しました。

• ドリフト付き両側ブラウン運動: 高密度極限として得られます。
• ジグザグ過程（Zigzag Process）: 遷移確率が $\varepsilon$ に比例して変化するマルコフ配置の極限として得られます。これは、傾きが $+1$ と $-1$ を交互に取る直線セグメントからなる過程です。
  • 新規性: ジグザグ過程自体は待ち行列理論で知られていましたが、その周期的バージョン（Periodic Zigzag Process）が BBS の周期的マルコフ配置の極限として現れ、Pitman 変換に対して不変であることは本論文で初めて示されました（Proposition 3.8）。
• 有界ソリトン条件付きブラウン運動: 過去最大値から $K$ 以内にとどまるように条件付けられたブラウン運動の周期的バージョンも不変であることが示されました。

3.3 超離散 Toda 格子への応用

超離散 Toda 格子のダイナミクスは、BBS の経路符号化に Pitman 変換を適用し、さらに局所最大値を原点にシフトする操作として記述できます。

• Palm 測度の構成: ジグザグ過程（およびその周期的バージョン）に対して、原点が局所最大値となるように条件付けられた Palm 測度を定義しました。
• 結果: この Palm 測度に対応する超離散 Toda 格子の状態（粒子間距離 $Q_j$ とギャップ $E_j$）は、独立な指数分布（または周期的なディリクレ分布）に従うとき、Toda 格子のダイナミクスに対して不変であることが証明されました（Corollary 4.4, 4.8）。
• 意義: 超離散 Toda 格子に対する自然な不変測度が、BBS の確率的構造から導かれることを示しました。

3.4 片側過程との関係

最後に、両側過程の不変性から、非負に留まるように条件付けられた片側過程（ランダムウォークやジグザグ過程）の分布特性が得られることを示しました（Proposition 5.1）。これは、Pitman 変換が 1 次元ブラウン運動を 3 次元 Bessel 過程（非負条件付きブラウン運動）へ変換するという古典的な結果の一般化です。

4. 結論と意義

本論文は、ボックス・ボール・システム（BBS）の確率論的解析において以下の重要な進展をもたらしました。

1. 不変測度の統一的記述: 既存の i.i.d. やマルコフ的な不変測度を、ソリトン分解に基づく周期的ギブス測度の極限として捉え直し、その構造を明確にしました。
2. 新規な確率過程の発見: 周期的なジグザグ過程を BBS のスケーリング極限として発見し、その不変性を証明しました。これは待ち行列理論と可積分系を結びつける新たな視点を提供します。
3. 可積分系への応用: 得られた結果を応用し、超離散 Toda 格子に対する自然な不変測度（独立な指数分布やディリクレ分布に基づくもの）を構築しました。
4. 理論的枠組みの確立: Pitman 変換、キャリア過程、ソリトン分解、および Palm 測度を統合した枠組みにより、離散系から連続系、そして可積分系への橋渡しを成功させました。

これらの結果は、可積分確率過程（Integrable Probability）の分野において、BBS や Toda 格子のような離散可積分系のランダムな初期値問題に対する理解を深める重要な基盤となっています。