[论文解读] A Markov growth process for Macdonald's distribution on reduced words

Benjamin Young|arXiv (Cornell University)|Sep 26, 2014

Advanced Combinatorial Mathematics参考文献 9被引用 4

一句话总结

本文通过大卫·利特尔的广义 bumping 算法的创新应用，给出了主导排列的麦克唐纳恒等式的一个算法-双射证明。它引入了一种在约化字上的马尔可夫增长过程，实现了高效采样，并通过插入映射在约化字与标准杨表之间建立了双射关系，证明了对于具有 k 个逆序的主导排列，其所有约化字的麦克唐纳权重之和恰好为 k!。

ABSTRACT

We give an algorithmic-bijective proof of Macdonald's reduced word identity in the theory of Schubert polynomials, in the special case where the permutation is dominant. Our bijection uses a novel application of David Little's generalized bumping algorithm. We also describe a Markov growth process for an associated probability distribution on reduced words. Our growth process can be implemented efficiently on a computer and allows for fast sampling of reduced words. We also discuss various partial generalizations and links to Little's work on the RSK algorithm.

研究动机与目标

• 为麦克唐纳的主导排列恒等式提供一个构造性、算法-双射的证明，该证明此前尚不存在。
• 设计一种在约化字上的马尔可夫增长过程，以实现计算机高效实现，并快速采样符合麦克唐纳分布的约化字。
• 将利特尔的 bumping 算法推广，以在主导排列的约化字与标准杨表之间建立双射关系。
• 探索 Fomin-Kirillov 代数框架与双射组合数学之间的联系，特别是通过插入映射和接线图。
• 为将这些方法推广到非主导排列及其他 Schubert 多项式恒等式奠定基础。

提出的方法

• 该方法采用从利特尔广义 bumping 算法导出的迭代插入-弹出映射 $\mathscr{I}\!\!\!\mathscr{B}$，以在约化字与标准杨表之间构造双射。
• 该增长过程被建模为一个有向图 $\Lambda_T^x$，其中顶点为约化字，边表示插入操作，边的多重性由参数 $x$ 决定。
• 通过尊重罗思图（Rothe 图）的偏序关系，将对应于生成元 $s_i$ 的交叉点插入接线图中，从而构建双射。
• 通过一种‘向下弹出’机制反转插入过程，确保每个约化字都能通过一系列此类操作唯一生成。
• 该算法由一个形状为 $\lambda$ 的标准杨表 $T$ 参数化，控制插入顺序，并确保对所有 $T$ 的选择均保持双射性。
• 马尔可夫过程通过为每一步插入交叉点的可能方式数分配与之成比例的转移概率来定义，其平稳分布与麦克唐纳权重 $\mu(\mathbf{a}) = \prod_t a_t$ 一致。

实验结果

研究问题

• RQ1 能否使用构造性算法方法，通过双射方式证明主导排列的麦克唐纳恒等式？
• RQ2 如何设计一种马尔可夫过程，以在计算复杂度高效的前提下，按麦克唐纳权重分布采样约化字？
• RQ3 参数 $T$（一个标准杨表）在双射中的作用是什么？它如何影响增长过程的结构？
• RQ4 广义 bumping 算法能否被调整，以在保持双射性的同时，完整建模主导排列的所有约化字？
• RQ5 当 $x \to \infty$ 时，增长图 $\Lambda_T^x$ 的极限结构是什么？它与经典的 Robinson-Schensted 对应有何关联？

主要发现

• 本文通过算法插入过程，建立了主导排列 $\pi$ 的约化字与形状为 $\lambda$ 的标准杨表之间的双射关系，其中 $\lambda$ 是 $\pi$ 的罗思图。
• 对于具有 $k$ 个逆序的主导排列 $\pi$，其所有约化字 $\mathbf{a}$ 的麦克唐纳权重 $\mu(\mathbf{a}) = \prod_t a_t$ 之和恰好为 $k!$，从而验证了麦克唐纳恒等式。
• 约化字上的马尔可夫增长过程通过一个带权边的图 $\Lambda_T^x$ 实现，从空字到给定字 $\mathbf{a}$ 的路径数等于 $\mu(\mathbf{a})$，从而将麦克唐纳权重实现为路径计数。
• 极限情形 $x \to \infty$ 产生一个图 $\Lambda_T^\infty$，其边对应于 Robinson-Schensted 插入步骤，将该构造与经典杨表插入联系起来。
• 该算法效率高，可在罗思图大小的界内实现麦克唐纳分布下约化字的快速采样。
• 该方法推广了利特尔的 bumping 算法，并为通过双射组合数学研究 Schubert 多项式及其恒等式提供了新框架。