箱玉系のソースを表示

{{Uncategorized|date=2024年8月}}
'''箱玉系'''（はこだまけい、''[[英語|英]]: Box-ball system''）とは、1990年に数学者の高橋大輔と[[薩摩順吉]]によって考案された、1次元フィルター型[[セル・オートマトン]]の一種である<ref>Daisuke Takahashi and Junkichi Satsuma, “A soliton cellular automaton”, J. Phys. Soc. Japan '''67''' (1998), 1809-1810.</ref>。

代表的な離散[[可積分系]]である離散[[KdV方程式]]や離散戸田分子方程式に対して超離散化という極限操作を行うことで箱玉系の時間発展方程式が得られることが知られており，解の[[ソリトン]]性や無限個の保存量をもつことなど，離散可積分系のもつ多くのよい性質を引き継いでいる。また，[[量子群]]の結晶基底からも自然に箱玉系の時間発展が導出されることが知られている。

== 概要 ==
[[File:Time Evolution of the Box-Ball System.png|thumb|箱玉系の時間発展の例]]
１列に並んだ箱に有限個の玉が入った状態を考える。玉を以下の規則に従って移動させる。

# 最も左の箱に入った玉を、その箱の右側で最も近い空き箱に移動させる。
# まだ動かしていない最も左の箱に入った玉を、その箱の右側で最も近い空き箱に移動させる。
# すべての玉が一回ずつ移動するまで２．を繰り返す。

単純な規則であるが，連続した箱に入った玉の列はソリトン性をもつ。

空き箱を0、玉の入った箱を1として0/1の列で状態を表すことが多い。

== 他の定義 ==
概要で説明した規則と同値な時間発展規則が複数知られている。
=== 玉を動かす順番について ===
概要における説明では最も左にある玉から順番に移動させているが，時刻  <math>t</math>において玉が入っている箱には時刻 <math>t+1</math>に玉は入らないというルールを与えれば玉を動かす順番にかかわらず同じ時間発展が得られる。
=== 運搬車 ===
空の運搬車(carrier)を考えて，左端から始めて右方向へ移動させる。箱の前を通るごとに以下の規則に従って玉の積み下ろしを行う。
# 箱に玉が入っているとき，その玉を運搬車に載せる。
# 箱に玉が入っておらず，運搬車に玉が(1個以上)載っているとき，玉を1個運搬車から箱に下ろす。
# 箱に玉が入っておらず，運搬車が空のとき，何もしない。
すべての玉が別の箱へ移動した時点で運搬車を止めて，1回の時間発展と見做す。

== 時間発展の表現 ==
=== 超離散KdV方程式 ===
時刻 <math>t</math> における箱玉系の状態を <math>\eta^t=(\eta_0^t, \eta_1^t, \ldots), \eta_i^t\in\{0, 1\}</math> とすると、時間発展は区分線形な方程式
<center><math>\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\}</math></center>
で表される。この方程式は超離散[[KdV方程式]]として知られる。右辺の<math>\min</math>内第2項は，<math>j</math>番目の箱を通る直前における運搬車に積まれた玉の個数と対応している。

===超離散戸田方程式===
また、箱玉系において連続した空き箱の個数を左から順に <math>E_0^t, E_1^t, \ldots, E_N^t=+\infty</math> , 連続した玉の入った箱の個数を左から順に <math>Q_1^t, Q_2^t, \ldots, Q_N^t</math> とする(<math>N</math>はソリトンの個数)と、時間発展は
<center><math>\displaystyle
\begin{cases}
Q_i^{t+1}&=\min\left\{\sum_{j=1}^i Q_j^t-\sum_{j=1}^{i-1} Q_j^{t+1}, E_i^t\right\}\\
E_i^{t+1}&=Q_{i+1}^t+E_i^t-Q_i^{t+1}
\end{cases}
</math></center>
で表される。この方程式は超離散戸田方程式として知られる。

=== ピットマン変換 ===
時刻<math>t</math>における状態<math>\eta^t=(\eta_0^t, \eta_1^t, \ldots), \eta_i^t\in\{0, 1\}</math>に対して，半無限数列<math>\{z_i^t\}_{i=0}^\infty</math>を
<center><math>z_0^t=0, z_{i+1}^t=z_i^t+(1-2\eta_i^t)</math></center>で定めると1次元[[ランダムウォーク]]と見做せる。さらに半無限数列<math>\{M_i^t\}_{i=0}^\infty</math>を
<center><math>M_0^t=0, M_{i+1}^t=\max(M_i^t, z_{i+1}^t)</math></center>で定めると，時間発展方程式は
<center><math>z_i^{t+1}=2M_i^t-z_i^t</math></center>となる。

<math>M_i^t=\max_{0\leq j\leq i}z_j^t</math>，時間発展は<math>M_i^t</math>に対する<math>z_i^t</math>の折り返しであり，確率論の分野ではピットマン変換として知られる。

=== ミーリ・オートマトン ===
[[File:Mealy automaton of BBS.png|thumb|箱玉系の時間発展に対応するミーリ・オートマトンの状態遷移図]]
箱玉系の時間発展は無限個の状態<math>q_0, q_1, \ldots</math>をもつ[[ミーリ・マシン|ミーリ・オートマトン]]を用いて表すことができる。時刻<math>t</math>における状態<math>\eta^t=(\eta_0^t, \eta_1^t, \ldots), \eta_i^t\in\{0, 1\}</math>を入力したとき，時刻<math>t+1</math>における状態<math>\eta^{t+1}=(\eta_0^{t+1}, \eta_1^{t+1}, \ldots)</math>が出力される。また，状態<math>q_i\,(i=0, 1, \ldots)</math>は運搬車を用いた解釈における運搬車に積まれている玉の個数と対応する。

== 拡張された箱玉系==
離散KdV方程式や離散戸田方程式の一般化の超離散化を考えることで，様々な箱玉系の一般化を考えることができる。
*運搬車容量つき箱玉系<ref>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.</ref> - 超離散[[mKdV方程式]]
*玉に番号がついた箱玉系(玉に種類がある)<ref>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.</ref><ref>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.</ref> - 超離散(非自励)[[KP方程式]]のある簡略, I型超離散ハングリー戸田格子
*箱に番号がついた箱玉系<ref>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).</ref> - II型超離散ハングリー戸田格子
また，解がソリトン性をもつミーリ・オートマトンとして知られているものがある。
* <math>m</math>箱飛ばしルール，<math>k</math>番目空き箱ルール<ref>Satoshi Tsujimoto, "新しい箱玉系のルールとその解析", (2017): 13--18.</ref>

== 時間発展の線形化==
Kerov-Kirillov-Reshetikhin(KKR)全単射によって箱玉系の状態を艤装配位(rigged configuration)と呼ばれる、ソリトンの大きさを表す[[ヤング図形]]とソリトンの位相を表すリギング(rigging)の組に対応させることで、箱玉系の時間発展は線形化できる<ref>Atsuo Kuniba, Masato Okado, Reiho Sakamoto, Taichiro Takagi and Yasuhiko Yamada, "Crystal interpretation of Kerov-Kirillov-Reshetikhin bijection", Nucl. Phys. B. '''740''', 299(2006).</ref>。

== 出典 ==
{{Reflist}}
== 外部リンク ==
* https://projecteuler.net/problem=426

{{DEFAULTSORT:はこたまけい}}
[[Category:セル・オートマトン]]
[[Category:可積分系]]
[[Category:数学に関する記事]]