箱玉系

箱玉系（はこだまけい、英: Box-ball system）とは、1990年に数学者の高橋大輔と薩摩順吉によって考案された、1次元フィルター型セル・オートマトンの一種である。 代表的な離散可積分系である離散KdV方程式や離散戸田分子方程式に対して超離散化という極限操作を行うことで箱玉系の時間発展方程式が得られることが知られており，解のソリトン性や無限個の保存量をもつことなど，離散可積分系のもつ多くのよい性質を引き継いでいる。また，量子群の結晶基底からも自然に箱玉系の時間発展が導出されることが知られている。 １列に並んだ箱に有限個の玉が入った状態を考える。玉を以下の規則に従って移動させる。 最も左の箱に入った玉を、その箱の右側で最も近い空き箱に移動させる。 まだ動かしていない最も左の箱に入った玉を、その箱の右側で最も近い空き箱に移動させる。 すべての玉が一回ずつ移動するまで２．を繰り返す。 単純な規則であるが，連続した箱に入った玉の列はソリトン性をもつ。 空き箱を0、玉の入った箱を1として0/1の列で状態を表すことが多い。 概要で説明した規則と同値な時間発展規則が複数知られている。 概要における説明では最も左にある玉から順番に移動させているが，時刻 t {\displaystyle t} において玉が入っている箱には時刻 t + 1 {\displaystyle t+1} に玉は入らないというルールを与えれば玉を動かす順番にかかわらず同じ時間発展が得られる。 空の運搬車(carrier)を考えて，左端から始めて右方向へ移動させる。箱の前を通るごとに以下の規則に従って玉の積み下ろしを行う。 箱に玉が入っているとき，その玉を運搬車に載せる。 箱に玉が入っておらず，運搬車に玉が(1個以上)載っているとき，玉を1個運搬車から箱に下ろす。 箱に玉が入っておらず，運搬車が空のとき，何もしない。 すべての玉が別の箱へ移動した時点で運搬車を止めて，1回の時間発展と見做す。 時刻 t {\displaystyle t} における箱玉系の状態を η t = ( η 0 t , η 1 t , … ) , η i t ∈ { 0 , 1 } {\displaystyle \eta ^{t}=(\eta _{0}^{t},\eta _{1}^{t},\ldots ),\eta _{i}^{t}\in \{0,1\}} とすると、時間発展は区分線形な方程式 η i t + 1 = min { 1 − η i t , ∑ j = 0 i − 1 η j t − ∑ j = 0 i − 1 η j t + 1 } {\displaystyle \eta _{i}^{t+1}=\min \left\{1-\eta _{i}^{t},\sum _{j=0}^{i-1}\eta _{j}^{t}-\sum _{j=0}^{i-1}\eta _{j}^{t+1}\right\}} で表される。この方程式は超離散KdV方程式として知られる。右辺の min {\displaystyle \min } 内第2項は， j {\displaystyle j} 番目の箱を通る直前における運搬車に積まれた玉の個数と対応している。 また、箱玉系において連続した空き箱の個数を左から順に E 0 t , E 1 t , … , E N t = + ∞ {\displaystyle E_{0}^{t},E_{1}^{t},\ldots ,E_{N}^{t}=+\infty } , 連続した玉の入った箱の個数を左から順に Q 1 t , Q 2 t , … , Q N t {\displaystyle Q_{1}^{t},Q_{2}^{t},\ldots ,Q_{N}^{t}} とする( N {\displaystyle N} はソリトンの個数)と、時間発展は { Q j t + 1 = min { ∑ i = 1 j Q i t − ∑ i = 1 j − 1 Q i t + 1 , E i t } E j t + 1 = Q j + 1 t + E j t − Q j t + 1 {\displaystyle \displaystyle {\begin{cases}Q_{j}^{t+1}&=\min \left\{\sum _{i=1}^{j}Q_{i}^{t}-\sum _{i=1}^{j-1}Q_{i}^{t+1},E_{i}^{t}\right\}\\E_{j}^{t+1}&=Q_{j+1}^{t}+E_{j}^{t}-Q_{j}^{t+1}\end{cases}}} で表される。この方程式は超離散戸田方程式として知られる。 時刻 t {\displaystyle t} における状態 η t = ( η 0 t , η 1 t , … ) , η i t ∈ { 0 , 1 } {\displaystyle \eta ^{t}=(\eta _{0}^{t},\eta _{1}^{t},\ldots ),\eta _{i}^{t}\in \{0,1\}} に対して，半無限数列 { z i t } i = 0 ∞ {\displaystyle \{z_{i}^{t}\}_{i=0}^{\infty }} を z 0 t = 0 , z i + 1 t = z i t + ( 1 − 2 η i t ) {\displaystyle z_{0}^{t}=0,z_{i+1}^{t}=z_{i}^{t}+(1-2\eta _{i}^{t})} で定めると1次元ランダムウォークと見做せる。さらに半無限数列 { M i t } i = 0 ∞ {\displaystyle \{M_{i}^{t}\}_{i=0}^{\infty }} を M 0 t = 0 , M i + 1 t = max ( M i t , z i + 1 t ) {\displaystyle M_{0}^{t}=0,M_{i+1}^{t}=\max(M_{i}^{t},z_{i+1}^{t})} で定めると，時間発展方程式は z i t + 1 = 2 M i t − z i t {\displaystyle z_{i}^{t+1}=2M_{i}^{t}-z_{i}^{t}} となる。 M i t = max 0 ≤ j ≤ i z j t {\displaystyle M_{i}^{t}=\max _{0\leq j\leq i}z_{j}^{t}} ，時間発展は M i t {\displaystyle M_{i}^{t}} に対する z i t {\displaystyle z_{i}^{t}} の折り返しであり，確率論の分野ではピットマン変換として知られる。 箱玉系の時間発展は無限個の状態 q 0 , q 1 , … {\displaystyle q_{0},q_{1},\ldots } をもつミーリ・オートマトンを用いて表すことができる。時刻 t {\displaystyle t} における状態 η t = ( η 0 t , η 1 t , … ) , η i t ∈ { 0 , 1 } {\displaystyle \eta ^{t}=(\eta _{0}^{t},\eta _{1}^{t},\ldots ),\eta _{i}^{t}\in \{0,1\}} を入力したとき，時刻 t + 1 {\displaystyle t+1} における状態 η t + 1 = ( η 0 t + 1 , η 1 t + 1 , … ) {\displaystyle \eta ^{t+1}=(\eta _{0}^{t+1},\eta _{1}^{t+1},\ldots )} が出力される。また，状態 q i ( i = 0 , 1 , … ) {\displaystyle q_{i}\,(i=0,1,\ldots )} は運搬車を用いた解釈における運搬車に積まれている玉の個数と対応する。 離散KdV方程式や離散戸田方程式の一般化の超離散化を考えることで，様々な箱玉系の一般化を考えることができる。 運搬車容量つき箱玉系 - 超離散mKdV方程式 玉に番号がついた箱玉系(玉に種類がある) - 超離散(非自励)KP方程式のある簡略, I型超離散ハングリー戸田格子 箱に番号がついた箱玉系 - II型超離散ハングリー戸田格子 また，解がソリトン性をもつミーリ・オートマトンとして知られているものがある。 m {\displaystyle m} 箱飛ばしルール， k {\displaystyle k} 番目空き箱ルール Kerov-Kirillov-Reshetikhin(KKR)全単射によって箱玉系の状態を艤装配位(rigged configuration)と呼ばれる、ソリトンの大きさを表すヤング図形とソリトンの位相を表すリギング(rigging)の組に対応させることで、箱玉系の時間発展は線形化できる。 ^ Daisuke Takahashi and Junkichi Satsuma, “A soliton cellular automaton”, J. Phys. Soc. Japan 67 (1998), 1809-1810. ^ Daisuke Takahashi and Junta Matsukidaira, “Box and ball system with a carrier and ultradiscrete modified KdV equation”, J. Phys. A: Math. Gen. 30 (1997), L733-L739. ^ Tetsuji Tokihiro, Daisuke Takahashi and Junta Matsukidaira, “Box and ball system as a realization of ultradiscrete nonautonomous KP equation”, J. Phys. A: Math. Gen. 33 no.3 (2000), 607-619. ^ Tetsuji Tokihiro, Atsushi Nagai and Junkichi Satsuma, “Proof of solitonical nature of box and ball systems by means of inverse ultra-discretization”, Inverse Problems 15 no.6 (1999), 1639-1662. ^ Yusaku Yamamoto, Akiko Fukuda, Sonomi Kakizaki, Emiko Ishiwata, Masashi Iwasaki and Toshimasa Nakamura “Box and Ball System with Numbered Boxes”, Math. Phys. Anal. Geom. 25 13 (2022). ^ Satoshi Tsujimoto, "新しい箱玉系のルールとその解析", (2017): 13--18. ^ Atsuo Kuniba, Masato Okado, Reiho Sakamoto, Taichiro Takagi and Yasuhiko Yamada, "Crystal interpretation of Kerov-Kirillov-Reshetikhin bijection", Nucl. Phys. B. 740, 299(2006). https://projecteuler.net/problem=426