Skew column RSK dynamics and the box-ball system

技术摘要：斜列 RSK 动力学与方块球系统 (Box-Ball System)

问题陈述
本文研究了方块球系统（BBS）的一个二维推广的构建与分析。BBS 是一个以孤子行为著称的离散可积系统。经典的 BBS（由 Takahashi 和 Satsuma 引入）通过载体机制模拟一维晶格上的粒子输运，但它缺乏一种能够自然推广到二维的结构，且该结构需保留与列插入（column insertion）及 Robinson–Schensted–Knuth (RSK) 对应相关的特定组合结构。以往的着色 BBS 模型通常依赖于高秩 $R$-矩阵，且未能以包含经典 BBS 作为其特例（$n=1$）的方式来推广经典 BBS，同时也无法维持通过列插入进行的规范组合描述。作者旨在定义一种动力学，使之在经典 BBS 与可积概率模型（如圆柱体上的最后路径渗透模型）之间进行插值，并建立一个类似于经典 BBS 的 Kerov–Kirillov–Reshetikhin (KKR) 线性化方案。

方法论
作者引入了定义在宽度为 $2n$ 的周期性圆柱晶格上的斜列 RSK 动力学 (cRSK)。该构造通过以下几个相互关联的框架进行：

1. 两车道 BBS 与 Fomin 增长： 动力学构建在“两车道方块球映射” $F$ 之上，其中载体输运粒子对并允许在车道间进行横向移动。这一局部规则被重新表述为作用于交错符号的 Fomin 场 (Fomin fields of interlacing signatures) 上的增长算子 $F$。Fomin 场是一个从圆柱晶格到符号（弱递减整数序列）的映射，满足特定的交错条件和局部增长规则。
2. 杨表表示： 这些场被编码为一对斜半标准杨表 $(P_t, Q_t)$ 的序列。时间演化对应于底层 Fomin 场的晶格索引的偏移。
3. 仿射晶体结构： 核心技术手段是为表对空间配备两种交换的仿射晶体结构（具体为 $(\widehat{\mathfrak{sl}}_n \oplus \widehat{\mathfrak{sl}}_n)$-晶体）。作者利用作用在这些表对上的 Kashiwara 算子 ($E_i^{(k)}, F_i^{(k)}$)。
4. 连通性与前导路径： 作者证明了 Kirillov–Reshetikhin (KR) 晶体“正则子图”的一个新颖连通性定理。该定理确立了任何位于 KR 晶体张量积中的元素都可以通过特定晶体算子的“前导路径”连接到一个唯一的最高权重元素。该路径被用于定义一个线性化映射。
5. 向经典 BBS 的投影： 一个关键步骤是构建一个从 cRSK 状态空间到经典 BBS 配置空间的显式投影 $\text{Pr}$。该投影利用晶体算子将一对斜表还原为一对仅包含“1”条目的相同表，随后将其识别为 BBS 状态。

主要贡献与结果

• 定义 cRSK 动力学： 本文定义了作为一对斜半标准杨表确定性演化的斜列 RSK 动力学。研究表明，当 $n=1$ 时，该动力学退化为经典 BBS。该动力学表现出孤子行为，即系统渐近分解为以其大小决定速度的稳定簇（孤子）。
• 线性化算法 (定理 1.7)： 主要结果是构建了一个显式的双射 $\Upsilon_{\text{col}}$，用于线性化 cRSK 动力学。该映射将一对表 $(P, Q)$ 转换为一个四元组 $(H_1, H_2, \kappa, \nu)$：
  • $(H_1, H_2)$：一对水平弱表 (horizontally weak tableaux)，编码渐近孤子数据（振幅）。
  • $\kappa$：代表“角度”变量的整数列表（riggings）。
  • $\nu$：编码后向渐近数据的符号。
    在 cRSK 的时间演化下，组件 $(H_1, H_2, \nu)$ 保持不变（守恒量），而 $\kappa$ 通过平移进行线性演化：$\kappa \mapsto \kappa + \mu$，其中 $\mu$ 是孤子数据的形状。
• 与经典 BBS 的联系 (定理 1.8)： 作者证明了 cRSK 线性化中的 rigging $\kappa$ 精确对应于投影后的经典 BBS 配置的 KKR rigging。具体而言，$\kappa = J + \mu$，其中 $J$ 是投影状态的 KKR rigging。这建立了一个将 cRSK 动力学与经典 BBS 线性化联系起来的交换图。
• 广义 Greene 不变量 (定理 1.11)： 本文推导了关于相关圆柱环境下的最后路径渗透 (LPP) 的孤子长度（形状 $\mu$）的公式。形状 $\mu$ 由晶格上非相交回路（对于 $\mu$）和严格上-右路径（对于 $\mu'$）的最大权重决定，从而推广了 RSK 对应中的 Greene 定理。
• 对称函数恒等式： 通过对线性化坐标取生成函数，作者为变换 Hall–Littlewood 多项式 $Q'_\mu(x; q)$ 的求和恒等式提供了双射证明。这些恒等式包括 Cauchy 和 Kawanaka–Littlewood 类型恒等式，以及涉及参数 $\alpha$ 和 $\beta$ 的精细版本。

意义与主张
本文声称 cRSK 动力学是经典 BBS 的直接、可积的二维推广，并且在组合上与列插入有着规范的联系，这使其区别于其他基于行插入或高秩 $R$-矩阵的着色 BBS 模型。这项工作的意义在于：

1. 统一性： 它统一了仿射晶体的组合表示理论、BBS 的可积系统理论以及线系（line ensembles）的概率模型（通过 Fomin 场形式化）。
2. 线性化： 它将 KKR 线性化技术扩展到了二维设置，提供了一套完整的坐标（孤子数据和 riggings）来线性化非线性动力学。
3. 组合证明： 该构造为涉及变换 Hall–Littlewood 多项式的恒等式提供了新的双射证明，将可解增长过程与对称函数理论联系起来。
4. 连通性定理： 关于 KR 晶体中正则子图连通性的证明被呈现为一个具有独立价值的结果，可能适用于晶体理论中的其他问题。

作者指出，该模型为概率流体力学（研究 cRSK 动力学的平衡测度与混合时间）提供了未来的研究方向，以及向其他李类型或有理提升（rational lifts）扩展的可能性，但这些目前被视为开放性问题而非本文已建立的结果。