[论文解读] Asymptotic Enumeration of Labelled Interval Orders

Graham Brightwell, Mitchel T. Keller|arXiv (Cornell University)|Nov 29, 2011

Advanced Combinatorial Mathematics参考文献 7被引用 3

一句话总结

本文通过利用未标记刚性区间序的渐近分析及其与第二类斯特林数的联系，建立了 $n$ 个元素上标记区间序数的渐近公式。关键结果为 $\ell_n \sim (n!)^2 \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2}} \left(1 + O(1/n)\right)$，解决了偏序集枚举领域长期悬而未决的难题。

ABSTRACT

Building on work by Zagier, Bousquet-Mélou et al., and Khamis, we give an asymptotic formula for the number of labelled interval orders on an $n$-element set.

研究动机与目标

• 解决标记区间序的渐近枚举问题，这是偏序集理论中长期悬而未决的难题。
• 将先前关于未标记区间序与未标记刚性区间序的研究扩展至标记情形。
• 利用生成函数与组合渐近分析方法，推导出精确的渐近增长速率。
• 刻画随机标记区间序中重复持有（即与自同构相关的对称性）的分布。

提出的方法

• 使用Khamis关于未标记刚性区间序的生成函数 $R(x) = \sum r_n x^n = \sum_{n\geq 0} \prod_{i=1}^n \left(1 - \frac{1}{(1+x)^i}\right)$，推导 $r_n$ 的渐近行为。
• 通过关系式 $R(x) = I\left(\frac{x}{1+x}\right)$ 将 $R(x)$ 与Bousquet-Mélou等人提出的生成函数 $I(x)$ 联系起来，实现系数转移。
• 应用拉普拉斯方法与渐近展开技术，对系数提取式 $r_n = \sum_{k=0}^{n-1} (-1)^k \binom{n-1}{k} i_{n-k}$ 进行渐近分析，利用已知的 $i_t$ 的渐近表达式。
• 将标记区间序的数量表示为 $\ell_n = \sum_{k=1}^n r_k k! S(n,k)$，其中 $S(n,k)$ 为第二类斯特林数。
• 应用Hsu对 $S(n,n-j)$ 的渐近估计，分析 $j = n-k$ 的求和中的主导项。
• 结合 $r_k$ 与 $S(n,k)$ 的渐近展开式，推导出 $\ell_n$ 的最终渐近公式。

实验结果

研究问题

• RQ1 在 $n$ 个元素上，标记区间序的数量的精确渐近增长速率是什么？
• RQ2 在均匀随机的标记区间序中，对称性（即重复持有）如何分布？
• RQ3 未标记刚性区间序的渐近性质与标记情形之间存在何种关系？
• RQ4 在大随机区间序中，是否可以对具有相同上下集的元素对数量进行概率建模？
• RQ5 常数 $\frac{12\sqrt{3}}{\pi^{5/2}}$ 在 $\ell_n$ 的渐近公式主项中的作用是什么？

主要发现

• 在 $n$ 个元素上，标记区间序的数量满足 $\ell_n \sim (n!)^2 \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2}} \left(1 + O(1/n)\right)$，这是首个精确的渐近公式。
• 未标记刚性区间序的数量满足 $r_n \sim n! \sqrt{n} \left(\frac{6}{\pi^2}\right)^n \frac{12\sqrt{3}}{\pi^{5/2} e^{\pi^2/12}} \left(1 + O(1/n)\right)$，该结果通过生成函数复合推导得出。
• 具有重复持有的元素对数量的分布渐近服从参数为 $\pi^2/12$ 的泊松分布。
• 当 $n \to \infty$ 时，存在三个元素具有相同上下集的概率趋于零，这为泊松近似提供了合理性。
• $\ell_n$ 的渐近公式主项中的常数 $E_0 = \frac{12\sqrt{3}}{\pi^{5/2}}$ 源于 $e^{\pi^2/12} D_0$，其中 $D_0$ 是 $r_n$ 的主系数。
• 该方法可通过系数 $C_i$ 的递推公式，显式计算 $\ell_n$ 渐近展开中的高阶项 $E_1, E_2, \dots$。