[论文解读] Continued fractions for permutation statistics

Sergi Elizalde|arXiv (Cornell University)|Mar 25, 2017

Advanced Combinatorial Mathematics参考文献 17被引用 7

一句话总结

本文提出一种基于循环图的视觉框架，将排列统计量（如不动点、超越点、环和逆序数）转化为着色Motzkin路径上的等价统计量，从而实现通过连分数进行计数。核心贡献是通过组合双射和生成函数，给出了循环排列中超越点递增的排列数由贝尔数给出的新证明，扩展了排列计数中已知结果。

ABSTRACT

We explore a bijection between permutations and colored Motzkin paths that has been used in different forms by Foata and Zeilberger, Biane, and Corteel. By giving a visual representation of this bijection in terms of so-called cycle diagrams, we find simple translations of some statistics on permutations (and subsets of permutations) into statistics on colored Motzkin paths, which are amenable to the use of continued fractions. We obtain new enumeration formulas for subsets of permutations with respect to fixed points, excedances, double excedances, cycles, and inversions. In particular, we prove that cyclic permutations whose excedances are increasing are counted by the Bell numbers.

研究动机与目标

• 开发一种使用循环图将排列统计量系统性地转化为着色Motzkin路径上统计量的可视化与系统化方法。
• 利用着色Motzkin路径生成函数的连分数框架，对具有特定组合性质的排列子集进行计数。
• 恢复并扩展关于超越点、环、不动点和逆序数等排列计数的已知结果。
• 证明具有递增超越点的循环排列由贝尔数计数，这是排列统计背景下一个新颖且重要的结果。

提出的方法

• 本文引入循环图作为排列的可视化表示，通过点与对角方格之间的几何连接，编码循环结构、不动点和超越点。
• 通过将循环图类型（如不动点、左括号、右括号等）的对角序列映射为上升、下降和平行步，建立排列与着色Motzkin路径之间的双射。
• 利用Flajolet的连分数框架处理加权Motzkin路径的生成函数，将路径统计量转化为排列统计量的生成函数。
• 引入路径步长的权重系统，其中高度相关权重 $ d_h $ 和 $ ilde{ ext{d}}_h $ 对应该路径对应的排列数量，从而实现通过连分数进行计数。
• 该方法可施加约束条件，如模式避免（例如避免321模式）、循环结构（如循环排列）和超越点单调性。
• 提供一种反向工程机制，通过分析权重序列 $ d_h $ 和 $ ilde{ ext{d}}_h $，可能揭示仅知前几项的未知序列的更简公式。

实验结果

研究问题

• RQ1 如何系统性地将排列统计量（如超越点、不动点、环和逆序数）转化为着色Motzkin路径上的统计量？
• RQ2 具有递增超越点的循环排列的生成函数是什么？它是否与已知的组合序列相关？
• RQ3 连分数框架能否用于计数由循环结构和超越点条件定义的排列子集？
• RQ4 如何利用Motzkin路径的权重序列 $ d_h $ 和 $ ilde{ ext{d}}_h $ 识别或推测未知组合序列的闭式表达？
• RQ5 贝尔数与具有递增超越点的循环排列之间有何联系？

主要发现

• 具有递增超越点的循环排列由贝尔数计数，为这一经典序列提供了新的组合解释。
• 关于不动点、超越点、双重超越点、环和逆序数的排列的生成函数，可通过Motzkin路径对应关系表示为连分数。
• 该方法恢复并扩展了关于排列统计量等分布性的已知结果，包括与逆序数和弱超越点相关的结论。
• 对各种组合序列（如Catalan数、Motzkin数、Bell数、阶乘数）的权重序列 $ d_h $ 和 $ ilde{ ext{d}}_h $ 明确计算，并显示出简单规律。
• 该框架可识别避免特定模式的排列（如避免123模式）的生成函数，通过连分数展开实现。
• 利用 $ d_h $ 和 $ ilde{ ext{d}}_h $ 的反向工程机制，可帮助推测或发现仅知前几项的序列的闭式表达，即使其生成函数非D-有限。