[論文レビュー] The variance of the Stirling cycle numbers

Herbert S. Wilf|ArXiv.org|Nov 17, 2005

Advanced Combinatorial Mathematics参考文献 1被引用数 5

ひとこと要約

この論文は、$ n $ 個の要素に対する一様にランダムに選ばれた2つの置換が同じサイクル数を持つ確率の漸近的確率を導出し、$ n $ が大きいとき $ \sim \frac{1}{2\sqrt{\pi \log n}} $ に減少することを示している。複素解析とガンマ関数を用いた積分表現を用いて、スターリング数の2乗和を評価し、調和数および漸近的ラプラス法と結びつける。

ABSTRACT

We show that the probability that two permutations of $n$ letters have the same number of cycles is \[\sim \frac{1}{2\sqrt{π\log{n}}}.\]

研究の動機と目的

• 置換のサイクル数が等しいペアの数を数える、スターリングサイクル数の2乗和 $ \sum_k {n \brack k}^2 $ の漸近的挙動を特定すること。
• ミクロス・ボーナが提起した、$ n $ 個の要素に対する2つのランダムな置換が同じサイクル数を持つ確率に関する疑問を解消すること。
• 複素解析と積分変換を用いて、和 $ f(n) = \sum_k {n \brack k}^2 $ を評価し、ガンマ関数および調和数と結びつけること。
• 関数 $ f(n) $ の正確な漸近的成長率を確立し、サイクル数の一致確率に至ること。

提案手法

• 恒等式 $ \sum |a_k|^2 = \frac{1}{2\pi} \int_0^{2\pi} |g(e^{i\theta})|^2 d\theta $ を用い、$ g(z) = \prod_{j=0}^{n-1} (z + j) $ とすることで、$ f(n) = \sum_k {n \brack k}^2 $ を三角関数積分として表現する。
• 積分を $ e^{i\theta} $ の関数として書き直し、$ (n-1)!^2 $ を因数として取り出し、$ e^{2H_{n-1}\cos\theta} $ を介して調和数 $ H_{n-1} $ を導入する。
• ガンマ関数の無限積表示を用いて、残りの積を $ \left| \frac{e^{-\gamma e^{i\theta}}}{e^{i\theta} \Gamma(e^{i\theta})} \right|^2 $ として表現（低次の項を除く）。
• ガンマ関数の漸近展開と $ \Gamma(e^{i\theta}) \sim \text{正則関数} $ という恒等式を用い、被積分関数を $ \frac{e^{2(\cos\theta - 1)\log n}}{|\Gamma(e^{i\theta})|^2} $ に簡略化する。
• 得られた積分 $ I(n) = \int_0^{2\pi} \frac{e^{2(\cos\theta - 1)\log n}}{|\Gamma(e^{i\theta})|^2} d\theta $ にラプラス法を適用し、$ I(n) \sim \sqrt{\frac{\pi}{\log n}} $ を示す。
• 階乗の成長と組み合わせることで、$ f(n) \sim \frac{n!^2}{2\sqrt{\pi \log n}} $ を導出し、最終的な確率結果を得る。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ n $ 個の要素に対する独立かつ一様に選ばれた2つの置換が同じサイクル数を持つ漸近的確率は何か？
• RQ2 スターリングサイクル数の2乗和 $ \sum_k {n \brack k}^2 $ は $ n $ と共にどのように増加するか？
• RQ3 複素解析および特殊関数を用いて、$ \sum_k {n \brack k}^2 $ の積分表現を漸近的に評価できるか？
• RQ4 ガンマ関数は、サイクル数の和の漸近的評価においてどのような役割を果たすか？
• RQ5 調和数 $ H_{n-1} $ は、ランダムな置換におけるサイクル数の分布にどのように影響を与えるか？

主な発見

• スターリングサイクル数の2乗和は、$ n \to \infty $ のとき $ f(n) = \sum_k {n \brack k}^2 \sim \frac{n!^2}{2\sqrt{\pi \log n}} $ を満たす。
• 2つのランダムな置換が同じサイクル数を持つ確率は漸近的に $ \sim \frac{1}{2\sqrt{\pi \log n}} $ である。
• 積分 $ I(n) = \int_0^{2\pi} \frac{e^{2(\cos\theta - 1)\log n}}{|\Gamma(e^{i\theta})|^2} d\theta $ の主寄与は、指数関数が最大値をとる $ \theta = 0 $ の近傍に集中する。
• ラプラス法による $ I(n) $ の漸近的評価により $ I(n) \sim \sqrt{\frac{\pi}{\log n}} $ が得られ、これが $ f(n) $ の最終的な漸近的挙動を決定づける。
• 結果は、複素解析、ガンマ関数の無限積表示、および振動積分の漸近的解析を組み合わせることで得られる。
• 最終的な確率は、$ n $ の対数の逆平方根のオーダーで減少し、非常にゆっくりとした減少を示す。これは、$ n $ が大きくてもサイクル数の一致確率が無視できないまま残ることを示している。