[論文レビュー] Asymptotic normality and combinatorial aspects of the prefix exchange distance distribution

Simona Grusea, Anthony Labarre|arXiv (Cornell University)|Apr 16, 2016

Genome Rearrangement Algorithms参考文献 26被引用数 2

ひとこと要約

本稿は、ランダムな順列におけるプレフィックス交換距離の分布について、新しい組合せ的証明を提供し、その平均と分散の正確な式を導出し、漸近的正規性を確立する。n → ∞ のとき、正規化されたプレフィックス交換距離は標準正規分布に分布収束する。平均は n + log n、分散は log n である。

ABSTRACT

The prefix exchange distance of a permutation is the minimum number of exchanges involving the leftmost element that sorts the permutation. We give new combinatorial proofs of known results on the distribution of the prefix exchange distance for a random uniform permutation. We also obtain expressions for the mean and the variance of this distribution, and finally, we show that the normalised prefix exchange distribution converges in distribution to the standard normal distribution.

研究の動機と目的

• .
• プレフィックス交換距離分布の平均および分散の正確な組合せ的表現を導出すること。
• 大規模な n における正規化されたプレフィックス交換距離の漸近的正規性を確立すること。
• スター順序集合の第二種のホイットニー数に関する既知の結果を、完全に組合せ的証明によって再確認すること。

提案手法

• .
• 組合せ的議論を用いて、サイズ n の順列でプレフィックス交換距離が k であるものの個数 Wn,k であるホイットニー数 Wn,k の再帰的関係および正確な公式を再導出する。
• 母関数とガンマ関数の漸近的解析を用いて、正規化された距離の特性関数を分析する。
• リーヴィの収束定理を適用し、特性関数が標準正規分布の特性関数に点収束することを示す。
• 特に、Γ(n + e^{it/σn}) / n! ~ n^{e^{it/σn} - 1} (1 + o(1)) である漸近展開を用いる。
• 漸近的平均 µn ~ n + log n および分散 σn² ~ log n を特性関数の操作と組み合わせ、N(0,1) への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 .
• RQ2 プレフィックス交換距離分布の平均および分散の正確な組合せ的表現は何か？
• RQ3 n → ∞ のとき、プレフィックス交換距離の分布はどのように振る舞うか？
• RQ4 組合せ的および解析的技法を用いて、プレフィックス交換距離の漸近的正規性を厳密に証明できるか？

主な発見

• .
• 正規化されたプレフィックス交換距離 Dn = (pexc(π) - µn) / σn は、n → ∞ のとき、標準正規分布 N(0,1) に分布収束する。
• プレフィックス交換距離の平均は漸近的に n + log n であり、分散は漸近的に log n である。
• 正規化された距離の特性関数は点収束し、e^{-t²/2} に収束する。これにより、標準正規分布への収束が確認される。
• 証明は、比 Γ(n + e^{it/σn}) / (n! Γ(e^{it/σn})) ~ n^{e^{it/σn} - 1} (1 + o(1)) である、新規の漸近展開に依存している。
• 特性関数の和における主要寄与は k = n-1 項から来る。この項は e^{-t²/2} に収束する。
• 他のすべての項は極限で消えるため、特性関数全体の収束が保証される。