[论文解读] On the limiting distribution of some numbers of crossings in set partitions

Anisse Kasraoui|arXiv (Cornell University)|Jan 28, 2013

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

一句话总结

该论文在元素数量 n 趋于无穷时，分别在线性与圆形表示下，建立了随机集合划分中弧交叉与弦交叉数的渐近正态性。通过生成函数与方差分析，证明当 k ≤ n/(2 log n)（线性）和 k = o(√n)（圆形）时，交叉数的标准化分布收敛于正态分布，线性情况下给出了精确的方差公式，圆形情况下观察到测度集中现象。

ABSTRACT

We study the asymptotic distribution of the two following combinatorial parameters: the number of arc crossings in the linear representation, ${\mathrm cr^{(\ell)}$, and the number of chord crossings in the circular representation, ${\mathrm cr^{(c)}$, of a random set partition. We prove that, for $k\leq n/(2\,\log n)$ (resp., ${k=o(\sqrt{n})}$), the distribution of the parameter ${\mathrm cr^{(\ell)}$ (resp., ${\mathrm cr^{(c)}$) taken over partitions of $[n]:=\{1,2,...,n\}$ into $k$ blocks is, after standardization, asymptotically Gaussian as $n$ tends to infinity. We give exact and asymptotic formulas for the variance of the distribution of the parameter ${\mathrm cr^{(\ell)}$ from which we deduce that the distribution of ${\mathrm cr^{(\ell)}$ and ${\mathrm cr^{(c)}$ taken over all partitions of $[n]$ is concentrated around its mean. The proof of these results relies on a standard analysis of generating functions associated with the parameter ${\mathrm cr^{(\ell)}$ obtained in earlier work of Stanton, Zeng and the author. We also determine the maximum values of the parameters ${\mathrm cr^{(\ell)}$ and ${\mathrm cr^{(c)}$.

研究动机与目标

• 分析线性集合划分表示中弧交叉数的极限分布。
• 研究圆形集合划分表示中弦交叉数的极限行为。
• 推导线性表示下交叉计数方差的精确与渐近公式。
• 确定在线性与圆形表示下可能的最大交叉数。
• 建立 [n] 的所有集合划分上总交叉分布的测度集中性。

提出的方法

• 利用斯坦顿、曾与作者早期工作中导出的交叉参数生成函数。
• 对生成函数应用标准渐近分析以计算矩与方差。
• 采用公式 Tₙ,ₖ(q) = ∑_{π∈Πₙᵏ} q^{cr^(ℓ)(π)} 分析 k-块划分中交叉数的分布。
• 利用连分数展开与有理生成函数恒等式提取方差与分布性质。
• 应用组合优化技术确定两种表示下最大交叉数。
• 基于 n mod 3 的情况分析，刻画最大交叉数的位置与取值。

实验结果

研究问题

• RQ1 在随机集合划分划分为 k 个块的线性表示下，弧交叉数的极限分布是什么？
• RQ2 当 n → ∞ 时，圆形表示下弦交叉数的分布如何渐近表现？
• RQ3 线性表示下交叉数方差的精确与渐近公式是什么？
• RQ4 在线性与圆形表示下，集合划分可能的最大交叉数是多少？
• RQ5 交叉数在整个 [n] 的划分集合上的分布有多集中？

主要发现

• 当 k ≤ n/(2 log n) 时，Πₙᵏ 上 cr^(ℓ) 的分布经标准化后渐近服从正态分布。
• 当 k = o(√n) 时，Πₙᵏ 上 cr^(c) 的分布经标准化后渐近服从正态分布。
• 推导出 cr^(ℓ) 方差的精确公式，从而实现精确的渐近分析。
• 在所有 [n] 的划分上，cr^(ℓ) 与 cr^(c) 的分布随着 n → ∞ 而集中在其均值附近。
• 在线性表示下，当 k ≥ ⌈n/2⌉ 时达到最大交叉数，此时恰好有 n−k 条交叉弧。
• 在圆形表示下，最大交叉数为 M^(c)_n,k = 6⌊n/3⌋²/2（当 n ≡ 0 mod 3 时），其余情况类似表达式。