[论文解读] Structure of Random 312-Avoiding Permutations

Neal Madras, Lerna Pehlivan|arXiv (Cornell University)|Jan 24, 2014

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

一句话总结

本文分析了长度为 N 的均匀随机 312-避免排列的概率结构，推导出特定元素出现在对角线下方（即 σᵢ = j 且 j < i）的概率的精确公式与渐近公式。结果表明，一个此类点的概率量级为 N⁻³ᐟ²，而两个间隔较远的点的概率量级为 N⁻³，且存在非独立的相关性。对角线下方点的极限构型收敛于类似随机游走的轨迹。

ABSTRACT

We evaluate the probabilities of various events under the uniform distribution on the set of 312-avoiding permutations of 1,...,N. We derive exact formulas for the probability that the ith element of a random permutation is a specific value less than i, and for joint probabilities of two such events. In addition, we obtain asymptotic approximations to these probabilities for large N when the elements are not close to the boundaries or to each other. We also evaluate the probability that the graph of a random 312-avoiding permutation has k specified decreasing points, and we show that for large N the points below the diagonal look like trajectories of a random walk.

研究动机与目标

• 评估在均匀随机 312-避免排列中，特定元素出现在对角线下方的精确与渐近概率。
• 刻画对角线下方多个递减点的联合分布，并确定其依赖结构。
• 证明对角线下方点的极限构型收敛于类似随机游走的过程。
• 推导出排列中 k 个指定递减点出现的精确公式。

提出的方法

• 基于 312-避免排列的结构进行组合分解，特别关注对角线及递减序列的作用。
• 应用生成函数与卡塔兰数恒等式，计算单点与多点的精确概率。
• 采用极限测度 θ(T, B(T)) 描述对角线下方递减点构型的渐近概率。
• 依赖定理 2.8 与命题 2.15，将排列类的大小与卡塔兰数及 ρ(a,b) 函数的乘积关联起来。
• 使用函数 ρ(a,b) = C_{a-1}C_{b-1}/4^{a+b-1} 来建模对角线下方点过程跳跃的极限分布。
• 应用条件概率论证与渐近分析，证明在极限下收敛于具有 i.i.d. 增量（分布为 π(−a,b)）的随机游走过程。

实验结果

研究问题

• RQ1 均匀随机 312-避免排列中，特定元素 σᵢ = j（j < i）出现的精确概率是多少？
• RQ2 两个此类事件的联合概率行为如何？它们是否独立？
• RQ3 当 N 较大时，k 个指定递减点位于对角线下方的概率的渐近行为是什么？
• RQ4 对角线下方点的局部构型在极限下如何表现？是否类似于随机游走？

主要发现

• 随机 312-避免排列中，特定点位于对角线下方（σᵢ = j 且 j < i）的概率渐近量级为 N⁻³ᐟ²。
• 两个间隔较远的对角线下方递减点的联合概率渐近量级为 N⁻³，而非单个点概率的乘积。
• 两点概率表现出非平凡相关性：对于某些构型，事件呈正相关或负相关，如推论 2.13 所示。
• 对角线下方递减点集合的极限分布收敛于一个具有 i.i.d. 增量（分布为 π(−a,b)）的无限随机游走过程。
• 在给定点 (N−t+1, j) 的条件下，附近递减点的分布收敛于 ρ(a,b) 项的乘积，证实了局部自相似性。
• 对于 k 个递减点的构型 T，极限测度 θ(T, B(T)) 由乘积 ∏_{m=1}^k π(−aₘ, bₘ) 给出，其中 π(−a,b) = C_{b−1}C_{a−1}/4^{a+b−1}。