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

技术摘要：两种 Box-Ball 系统线性化方法之间的关系

问题陈述
由 Takahashi 和 Satsuma 引入的 Box-Ball 系统（BBS）是一种其动力学可以线性化的孤子细胞自动机。目前存在两种主要的线性化方法：一种是 Kerov-Kirillov-Reshetikhin (KKR) 双射，它利用带装载（rigged）杨图，并通过量子可积系统（晶基）的角度来处理该系统；另一种是 Ferrari、Nguyen、Rolla 和 Wang 引入的槽位配置（slot configuration）方法，它依赖于通过 Takahashi-Satsuma (TS) 算法进行的孤子识别，并适用于研究随机化 BBS 和广义流体力学。[FNRW] 中指出，一个重要的开放问题是缺乏对 KKR 双射与槽位配置之间关系的明确阐述。此外，由于槽位配置是通过 TS 算法定义的，这使得其仅对有限配置是顺序性的，从而限制了其在一般无限配置中的适用性，因为在这些配置中，孤子识别可能会失效。

方法论
作者引入了一个名为**座位数配置（seat number configuration）**的新型中间框架，用以桥接这两种线性化方法。

1. 带有座位数的载体（Carrier with Seat Numbers）： 他们改进了标准的载体模型（容量为 $\ell$ 的载体），通过用自然数 $k \in \mathbb{N}$ 对载体的座位进行索引。修改后的更新规则为：当球被拿起或放下时，它会占据或腾出最小可用编号的座位。
2. 座位数配置： 这一过程生成了二进制配置 $\eta^{\uparrow}_k$ 和 $\eta^{\downarrow}_k$，指示在特定位置，球是进入还是离开第 $k$ 个座位。
3. 顺序构造： 与需要全局信息（或 TS 算法）来定义槽位配置不同，座位数配置是基于截至当前位置的球配置的历史记录顺序定义的。
4. 交错杨图： 作者构造了一组由座位数配置导出的增长的交错杨图对序列 $(\mu^{\uparrow}(x), \mu^{\downarrow}(x))$。他们证明了 KKR 双射对应于该对投影到第一个分量 $(\mu^{\uparrow}, J^{\uparrow})$ 的过程。

主要贡献与结果

• 通过座位数实现线性化： 作者证明了座位数配置使 BBS 动力学线性化。具体而言，他们基于座位数定义了孤子的“有效位置” $\xi_k(x)$。他们展示了在时间演化 $T$ 下，这些有效位置会按孤子大小 $k$ 进行线性偏移（定理 much 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. 流体力学应用： 其结果为将基于槽位的线性化技术推广到多色 BBS 模型提供了蓝图，而目前的 KKR 方法在处理此类模型的严格流体力学极限时非常困难。
4. 有限容量扩展： 它确认了槽位分解的线性化性质在具有有限载体容量的 BBS 中依然成立，这一结果对于推导此类系统的广义流体力学极限是必要的。

作者对未来的扩展保持了谦逊的态度，指出虽然其结果暗示了推广到多色模型的路径，但此类扩展在现有文献中尚不存在。他们还澄清，其主要关注点是半直线上两种线性化之间的关系，尽管他们也简要提到，通过适当的偏移，其方法也可适配于全直线。