[論文レビュー] 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)$ であり、posetの列挙分野における長年の未解決問題を解消した。

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.

研究の動機と目的

• ラベル付き区間順序の漸近的列挙を解明すること。これはposet理論における長年の未解決問題である。
• 非ラベル付き区間順序および剛体非ラベル付き区間順序に関する先行研究を、ラベル付きの場合に拡張すること。
• 母関数と組合せ的漸近解析を用いて、正確な漸近的成長率を導出すること。
• 一様ランダムなラベル付き区間順序における重複保持（自動同型に起因する対称性）の分布を特定すること。

提案手法

• 非ラベル付き剛体区間順序の生成関数 $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$ の漸近的性質を導出する。
• Bousquet-Mélou らの生成関数 $I(x)$ との関係 $R(x) = I\left(\frac{x}{1+x}\right)$ を用いて係数の移行を可能にする。
• ラプラスの方法と漸近展開技術を用い、$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}}$ の役割は何か？

主な発見

• $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$ のとき 0 に近づくため、ポアソン近似が正当化される。
• ラベル付き区間順序の漸近公式における主要定数 $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$ の明示的計算が可能となる。