[论文解读] Juggling card sequences

Steve Butler, Fan Chung+2 more|arXiv (Cornell University)|Apr 6, 2015

Algorithms and Data Compression参考文献 9被引用 5

一句话总结

本文引入了投掷卡序列作为组合模型，通过由卡牌序列诱导的置换来表示投掷模式，每张卡牌对应球排列的循环移位。研究发现，随机n张卡牌序列产生单一b-循环置换的概率恰好为1/b，且与n无关，揭示了群上随机游走中均匀平稳分布的深层联系。

ABSTRACT

Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step. This interpretation has many algebraic and combinatorial properties, with connections to Stirling numbers, Dyck paths, Narayana numbers, boson normal ordering, arc-labeled digraphs, and more. Some of these connections are investigated with a particular focus on enumerating juggling patterns satisfying certain ordering constraints, including where the number of crossings is fixed.

研究动机与目标

• 将投掷卡序列形式化为建模周期性投掷模式的组合框架。
• 研究由投掷卡牌序列诱导的置换的代数与组合结构。
• 枚举产生特定置换类型的卡牌序列，特别是具有固定循环结构或交叉数的序列。
• 探索投掷卡序列与组合对象（如第一类Stirling数、Dyck路径和Narayana数）之间的联系。
• 建立一个出人意料的不变性：无论序列长度n为何，随机卡牌序列诱导出单一b-循环的概率恰好为1/b。

提出的方法

• 使用卡牌序列C_i表示投掷模式，其中每张卡牌在b个球上诱导一个循环置换(i i−1 … 1)。
• 将整体置换π_A建模为序列A = C_{i1}C_{i2}…C_{in}中各张卡牌置换的复合。
• 通过循环数和最长循环长度L(σ)来定义π_A的循环结构，该长度决定了产生置换σ的不同卡牌序列的数量。
• 利用第一类Stirling数及其相关组合恒等式，计算产生指定循环类型的置换的序列数量。
• 运用群论论证，证明由卡牌序列在对称群S_b上诱导的随机游走的平稳分布是均匀的，从而得出1/b的结果。
• 利用生成函数和容斥原理，枚举具有固定循环结构或固定交叉数的序列。

实验结果

研究问题

• RQ1 长度为n的投掷卡牌序列中，有多少种能产生给定置换σ？
• RQ2 长度为n的投掷卡牌序列中，有多少种能产生单一b-循环置换？
• RQ3 具有固定交叉数或固定循环结构的投掷卡牌序列有多少种？
• RQ4 随着n增大，诱导置换π_A的循环类型分布如何变化？
• RQ5 为何对于任意序列长度n，获得b-循环置换的概率恰好为1/b？

主要发现

• 随机长度为n的投掷卡牌序列产生单一b-循环置换的概率恰好为1/b，且与n无关。
• 对于满足L(σ) = k的置换σ，产生σ的序列数量为∑_{j=b−k}^{b} {n race j}，其中{n race j}为第二类Stirling数。
• 诱导出b-循环的序列数量恰好为总序列数b^n的1/b，这是由于在S_b上诱导的随机游走平稳分布的均匀性所致。
• 该结果可推广至m球投掷：无论m或n为何，获得b-循环的概率仍为1/b。
• 在任意生成集和任意非零概率分配下，S_b上由卡牌序列诱导的随机游走的平稳分布为均匀分布，该结论通过群论中的不动点论证得以证明。
• 收敛到极限循环类型分布∑_{ℓ} [b race ℓ]/b! 的过程迅速，仅在有限n的“末端情况”下偏离极限。