Relationships between two linearizations of the box-ball system : Kerov-Kirillov-Reshetikhin bijection and slot configuration

技術要約：ボックス・ボール・システムにおける2つの線形化手法間の関係性

問題提起
高橋と津佐間によって導入されたボックス・ボール・システム（BBS）は、そのダイナミクスが線形化可能なソリトン細胞オートマトンである。主要な線形化手法として、リグ付きヤング図形を利用し、量子可積分系（結晶基底）の観点からシステムを扱うKerov-Kirillov-Reshetikhin（KKR）バイジェクションと、Ferrari, Nguyen, Rolla, および Wangによるスロット構成法（FNRW）の2つが存在する。後者は、Takahashi-Satsuma（TS）アルゴリズムによるソリトンの特定に基づき、ランダム化されたBBSや一般化された流体力学の研究に有用である。FNRWにおいて指摘された重要な未解決問題は、KKRバイジェクションとスロット構成の間の関係性が明確にされていないことであった。さらに、スロット構成の定義はTSアルゴリズムを介しているため、有限の構成に対してのみ逐次的であり、ソリトンの特定が失敗する可能性のある一般的な無限構成への適用には限界がある。

手法
著者らは、これら2つの線形化手法を橋渡しするための、**シート番号構成（seat number configuration）**という新しい中間フレームワークを導入する。

1. シート番号を持つキャリア： 著者らは、標準的なキャリアモデル（容量 $\ell$ のキャリア）を改良し、キャリアの座席（seat）を自然数 $k \in \mathbb{N}$ でインデックス付けする。ボールを拾い上げる、あるいは置く際の更新規則を修正し、ボールが最小の利用可能な番号の座席を占有または解放するようにする。
2. シート番号構成： このプロセスにより、特定のサイトにおいてボールが入るか出るかを示すバイナリ構成 $\eta^{\uparrow}_k$ および $\eta^{\downarrow}_k$ が生成される。
3. 逐次的構成： 全域的な情報（またはTSアルゴリズム）を必要とするスロット構成とは異なり、シート番号構成は、現在のサイトに至るまでのボール構成の履歴に基づいて逐次的に定義される。
4. インターレースするヤング図形： 著者らは、シート番号構成から導かれる、インターレース（交互に組み合わさった）する一対のヤング図形の増大列 $(\mu^{\uparrow}(x), \mu^{\downarrow}(x))$ を構築する。彼らは、KKRバイジェクションがこのペアの第1成分 $(\mu^{\uparrow}, J^{\uparrow})$ への射影に対応することを証明する。

主な貢献と結果

• シート番号による線形化： 著者らは、シート番号構成がBBSのダイナミクスを線形化することを証明する。具体的には、シート番号に基づくソリトンの「有効位置」 $\xi_k(x)$ を定義する。彼らは、時間発展 $T$ の下で、これらの有効位置がソリトンサイズ $k$ だけ線形にシフトすることを示す（定理 2.1）。この線形化は、無限のボールを含む任意の構成 $\eta \in \Omega$ に対して成立し、TSアルゴリズムを必要としない。
• KKRバイジェクションとの関係（命題 2.2）： 本論文は、シート番号構成とKKRバイジェクションの間の明示的な関連性を確立する。分割 $\lambda_k(x)$（KKR分割の共役）が $(k, \uparrow)$-シートの累積カウントに対応することを証明する。さらに、リギング値 $J_{k,j}$ は、シート番号から導かれる「空隙（vacancy）」関数によって決定されることを示す。これは、純粋に組合せ論的なKKRバイジェクションに対して、直感的かつ動的な解釈を与えるものである。
• スロット構成との関係（命題 2.3）： 著者らは、有限のボール構成に対して、シート番号構成がスロット構成と等価であることを証明する。具体的には、あるサイト $x$ がFNRWの意味での $k$-スロットであることは、新しいフレームワークにおける $(k, \uparrow)$-シートまたは$(k, \downarrow)$-シートに対応することと同値である。これにより、スロット構成を逐次的に構築することが可能となり、一般的な構成に対する元の定義の制限が解消される。
• KKRとスロットの明示的な関係（定理 2.2）： 上記の関係を組み合わせることで、著者らはKKRのリギング $J$ とスロット分解 $\tilde{\zeta}$ を結ぶ明示的な公式を導出する。リギング $J_{k,j}$ の要素は、$k$-ソリトンの有効位置を $k$ だけシフトさせたものとして特定される。
• 有限容量における線形化（定理 2.3）： 確立された関係を用いて、著者らは、キャリアの容量が有限 $\ell < \infty$ である場合でも、スロット構成がBBSを線形化することを実証する。スロット分解の時間発展は、$(T_\ell \tilde{\zeta})_k(i) = \tilde{\zeta}_k(i - (k \wedge \ell))$ という規則に従う。

意義
本論文は、KKRバイジェクションとスロット構成の関係を明らかにするという未解決問題を解決したと主張している。その意義は以下の通りである：

1. 視点の統一： シート番号構成を通じて、「古典的」な可積分系の観点（ソリトンとスロット構成）と、「量子」可積分系の観点（KKRバイジェクションと結晶基底）を結合させる。
2. 一般化： シート番号構成が一般化として機能することを示すことで、TSアルゴリズムが失敗する（無限のボールを含む）一般的な構成に対しても、スロット構成の定義を拡張する。
3. 流体力学的応用： これらの結果は、既存のKKRベースの手法では厳密な流体力学的極限の解析が困難なマルチカラーBBSモデルに対して、スロットベースの線形化技術を一般化するための設計図を提供する。
4. 有限容量への拡張： スロット分解の線形化特性が、有限容量のキャリアを持つBBSにおいても保持されることを確認しており、これは当該システムの一般化された流体力学的極限を導出するために必要な結果である。

著者らは、将来の拡張について控えめなトーンを維持しており、彼らの結果はマルチカラーモデルへの一般化の道筋を示唆しているものの、そのような拡張はまだ文献には存在しないと述べている。また、彼らの主な焦点は半直線上の2つの線形化の関係にあることを明確にしつつも、適切なオフセットを用いれば、彼らの手法が全直線にも適応可能であることを簡潔に述べている。