[论文解读] On the Limiting Distribution for the Longest Alternating Sequence in a Random Permutation

Harold Widom|ArXiv.org|Nov 21, 2005

Random Matrices and Applications参考文献 3被引用 6

一句话总结

本文证明了理查德·斯坦利的猜想：在对随机排列中的最长交错子序列长度进行适当的中心化和标准化后，其极限分布收敛于方差为 8/45 的正态分布。作者通过生成函数方法和复积分表示下的最陡下降法，通过分析鞍点及被积函数在原点附近的渐近行为，推导出极限分布。

ABSTRACT

Recently Richard Stanley initiated a study of the distribution of the length as(w) of the longest alternating subsequence in a random permutation w from the symmetric group $S_n$. Among other things he found an explicit formula for the generating function (on n and k) for the probability that as(w) is at most k and conjectured that the distribution, suitably centered and normalized, tended to a Gaussian with variance 8/45. In this note we present a proof of the conjecture based on the generating function.

研究动机与目标

• 证明理查德·斯坦利的猜想，即随机排列中最长交错子序列长度的极限分布为正态分布。
• 在 n → ∞ 时，建立最长交错子序列长度的精确渐近分布。
• 利用解析组合学与复分析，验证极限正态分布的猜想方差 8/45。
• 通过积分表示与渐近方法，严格分析该分布的生成函数。

提出的方法

• 本文以斯坦利推导出的分布 $ p_n(k) $ 的生成函数 $ B(x,y) $ 为起点。
• 通过变量替换 $ y = \text{sech}\,u $，将双重积分转化为适合复分析处理的形式。
• 通过留数计算求解 $ x $-积分，发现仅偶数索引的极点有贡献，从而得到一个关于 $ j $ 的求和，其中包含 $ \tanh u $ 和 $ (u + 2j\pi i)^{-n-1} $。
• 对主项（$ j = 0 $）应用最陡下降法，聚焦于指数部分 $ \sigma(u) = \alpha \tanh u + \log \cosh u $ 的鞍点。
• 将路径形变为通过鞍点 $ u_0 $ 的最陡下降路径，并利用 $ u = 0 $ 附近的渐近展开提取主导项行为。
• 通过变量替换 $ u = n^{-1/4} v^{1/2} $ 对积分进行缩放，并在控制收敛定理下取极限，从而恢复正态累积分布函数。

实验结果

研究问题

• RQ1 随机排列中，最长交错子序列长度的极限分布是否收敛于正态分布？
• RQ2 该子序列长度的极限正态分布的精确方差是多少？
• RQ3 能否从斯坦利的生成函数出发，利用复分析严格推导出猜想的渐近行为？
• RQ4 留数求和中的高阶项对渐近分布有何影响？

主要发现

• 极限分布 $ K(t) $ 存在，且表达式为 $ K(t) = \frac{1}{\sqrt{\pi}} \int_{-\infty}^{t\sqrt{45}/4} e^{-s^2} ds $，证实其为正态分布形式。
• 极限正态分布的方差恰好为 $ 8/45 $，与斯坦利的猜想一致。
• 关于 $ j \neq 0 $ 的求和项对应的积分呈指数衰减，不影响主导渐近行为。
• 积分的主要贡献来自 $ j = 0 $ 项，其通过最陡下降法的渐近分析得出正态极限。
• 最陡下降法成功识别出鞍点 $ u_0 $，其与临界值 $ \alpha = 2/3 $ 一致，对应于中心化点 $ 2n/3 $。
• 最终的渐近表达式与均值为 $ 2n/3 $、方差为 $ 8n/45 $ 的正态随机变量的累积分布函数完全一致。