[论文解读] Cycles of random permutations with restricted cycle lengths

Florent Benaych-Georges|ArXiv.org|Dec 12, 2007

Bayesian Methods and Mixture Models参考文献 9被引用 9

一句话总结

该论文在允许循环长度集合 A 满足一般条件的前提下，建立了随机排列中固定长度循环数量的渐近独立性与泊松极限定理。对于满足密度条件的无限集合 A，循环计数弱收敛至独立的泊松(1/k)分布；对于有限集合 A，最大长度的循环占主导地位，其计数按 n^{l/d}/l 的方式缩放，其中 d = max A。

ABSTRACT

We prove some general results about the asymptotics of the distribution of the number of cycles of given length of a random permutation whose distribution is invariant under conjugation. These results were first established to be applied in a forthcoming paper (Cycles of free words in several random permutations with restricted cycles lengths), where we prove results about cycles of random permutations which can be written as free words in several independent random permutations. However, we also apply them here to prove asymptotic results about random permutations with restricted cycle lengths. More specifically, for $A$ a set of positive integers, we consider a random permutation chosen uniformly among the permutations of $\{1,..., n\}$ which have all their cycle lengths in $A$, and then let $n$ tend to infinity. Improving slightly a recent result of Yakymiv (Random A-Permutations: Convergence to a Poisson Process), we prove that under a general hypothesis on $A$, the numbers of cycles with fixed lengths of this random permutation are asymptotically independent and distributed according to Poisson distributions. In the case where $A$ is finite, we prove that the behavior of these random variables is completely different: cycles with length $\max A$ are predominant.

研究动机与目标

• 建立随机排列中固定长度循环数量收敛至独立泊松分布的一般条件。
• 将关于均匀随机排列的经典结果推广至 A-排列（即循环长度被限制在集合 A 中的排列）的情形。
• 分析当 A 为有限集与无限集时，循环计数表现出的对比性渐近行为，特别关注有限情况下最大循环长度的主导性。
• 为后续研究中自由词中独立随机排列的受限循环长度的循环行为提供理论基础。
• 通过共轭不变性与矩渐近分析，提供一种简洁且分析性的证明方法，区别于以往的解析组合学方法。

提出的方法

• 利用对称群上概率测度的共轭不变性，简化循环计数矩的计算。
• 使用恒等式 $\mathbb{E}_n[N_l(\sigma_n)^m] = \frac{1}{l^m} \sum_{j=1}^m \binom{m}{m_1,\dots,m_j} \mathbb{P}_n(1,\dots,j \text{ 属于长度为 } l \text{ 的循环})$，将问题简化为计算联合循环成员概率。
• 通过索引的划分与多项式系数进行组合计数，计算 j 个特定元素位于长度为 l 的循环中的概率。
• 利用生成函数及 A-排列的指数生成函数的已知结果，对比率 $|\mathfrak{S}_{n-k}^{(A)}| / |\mathfrak{S}_n^{(A)}|$ 进行渐近分析。
• 通过聚焦于单元素划分，推导出主导渐近项，显示 $\mathbb{P}_n(1,\dots,j \text{ 位于长度为 } l \text{ 的循环}) \sim n^{(l/d - 1)j}$，其中 d = max A。
• 结合矩渐近分析与分布收敛性，得出当 A 无限时弱收敛至泊松乘积分布，当 A 有限时呈现幂律缩放。

实验结果

研究问题

• RQ1 在允许循环长度集合 A 满足何种条件时，A-排列中固定长度循环数量的分布收敛至独立的泊松随机变量？
• RQ2 当 A 为有限集与无限集时，循环计数的渐近行为有何不同？
• RQ3 当 A 为有限集且 d = max A 时，A-排列中长度为 l 的循环数量的精确缩放行为是什么？
• RQ4 在有限集合 A 中，最大循环长度 d 如何影响排列的渐近结构，特别是对元素覆盖比例的影响？
• RQ5 是否可以通过矩方法在不依赖完整生成函数渐近分析的前提下，建立 A-排列中循环计数的渐近独立性？

主要发现

• 对于满足密度假设（如正上密度）的无限集合 A，循环计数的联合分布 $ (N_k(\sigma_n))_{k \in A, k \leq l} $ 满足当 n → ∞ 时弱收敛至 $ \bigotimes_{k \in A, k \leq l} \operatorname{Poiss}(1/k) $。
• 当 A 为有限集且 d = max A 时，长度为 l 的循环数量满足 $ \mathbb{E}_n[N_l(\sigma_n)^m] \sim \frac{n^{lm/d}}{l^m} $，这意味着对所有 p ≥ 1，有 $ N_l(\sigma_n)/n^{l/d} \to 1/l $ 在 $ L^p $ 中收敛。
• 长度为 d 的循环占主导地位：d-循环覆盖的元素比例几乎必然收敛至 1，因此排列渐近阶为 d。
• 比率 $ |\mathfrak{S}_{n-k}^{(A)}| / |\mathfrak{S}_n^{(A)}| $ 的渐近行为被证明为渐近等价于 $ n^{k/d} $，这驱动了矩的渐近分析。
• 该证明方法避免了 Yakymiv (2007) 所使用的完整解析组合学工具，转而采用共轭不变性与初等矩分析。
• 该结果改进了 Yakymiv (2007)，在更弱的假设下建立了泊松极限，并通过矩收敛提供了更短、更直接的证明。