[论文解读] The enumeration of simple permutations

Michael Albert, M. D. Atkinson+1 more|ArXiv.org|Apr 15, 2003

Advanced Combinatorial Mathematics参考文献 10被引用 75

一句话总结

本文研究了简单排列——即不将任何非平凡的非单元素区间映射到另一个区间的排列。研究证明了简单排列的生成函数不是P-递归的，推导出渐近展开式 $ s_n \sim n! / e^2 $，并证明了模2和3的幂的意外同余性质，揭示了简单排列计数序列中深层的算术结构。

ABSTRACT

A simple permutation is one which maps no proper non-singleton interval onto an interval. We consider the enumeration of simple permutations from several aspects. Our results include a straightforward relationship between the ordinary generating function for simple permutations and that for all permutations, that the coefficients of this series are not P-recursive, an asymptotic expansion for these coefficients, and a number of congruence results.

研究动机与目标

• 理解序列 $ s_n $（长度为 $ n $ 的简单排列的数量）的组合与算术结构。
• 确定序列 $ s_n $ 是否满足具有多项式系数的线性递推关系（即是否为P-递归）。
• 推导 $ s_n $ 的渐近展开式，特别是主导项。
• 研究 $ s_n $ 模2和奇素数的幂的同余性质。
• 探索与生成和识别简单排列相关的算法问题。

提出的方法

• 使用一个结构定理，将任意排列唯一地分解为对较小排列的膨胀的简单排列。
• 推导出简单排列的普通生成函数 $ S(x) $ 与所有排列的生成函数 $ F(x) = \sum k!x^k $ 之间的函数方程。
• 应用组合学和 $ p $-进赋值的技术，分析 $ S(x) $ 的系数，特别是其2-进和3-进性质。
• 利用库默尔定理（关于二进制加法中进位数的定理）来确定 $ s_n $ 展开式中二项式系数的2-进赋值。
• 采用生成函数运算和模运算，建立模3及2的幂的同余关系。
• 分析形式幂级数中的系数 $ \mathrm{Com}_n $，以推导 $ s_n $ 的同余结果。

实验结果

研究问题

• RQ1 序列 $ s_n $（计数长度为 $ n $ 的简单排列）是否为P-递归？
• RQ2 序列 $ s_n $ 的渐近增长速率是多少？能否推导出完整的渐近展开式？
• RQ3 序列 $ s_n $ 满足模2和3的幂的哪些同余性质？
• RQ4 $ s_n $ 的生成函数 $ S(x) $ 的系数与 $ F(x) $ 的函数逆之间有何关系？
• RQ5 能否设计出高效算法来生成或识别简单排列？

主要发现

• 序列 $ s_n $ 不是P-递归的，因为其生成函数 $ S(x) $ 的系数不满足任何具有多项式系数的线性递推关系。
• 序列 $ s_n $ 的渐近增长为 $ s_n \sim n! / e^2 $，展开式中的高阶项仍难以确定。
• 对于奇数 $ n $，有 $ s_n \equiv 2 \mod 2^{(n-1)/2} $；对于偶数 $ n $，有 $ s_n \equiv -2 \mod 2^{n/2} $，表明存在深层的2-进结构。
• 序列 $ s_n $ 满足同余式 $ s_n \equiv -C_{n-1} + (-1)^n \mod 3 $，其中 $ C_{n-1} $ 为第 $ (n-1) $ 个卡塔兰数。
• $ S(x) $ 的系数与 $ F(x) $ 的函数逆的系数之间相差交替的 $ \pm 2 $，这是一种出人意料的算术关系。
• 在推导中出现的序列 $ \mathrm{Com}_n $ 满足 $ \mathrm{Com}_n \equiv C_{n-1} \mod 3 $，从而将其与卡塔兰数联系起来。