[論文レビュー] Cycle type of random permutations: A toolkit

Kevin Ford|arXiv (Cornell University)|Apr 24, 2021

Analytic Number Theory Research参考文献 51被引用数 6

ひとこと要約

この論文は、対称群 $\mathcal{S}_n$ 内のランダムな置換のサイクル型を分析するための組合せ論的・確率論的ツールキットを提示する。均一で定量的な結果を明示的な誤差項とともに強調し、各長さ $j$ のサイクル数がパラメータ $1/j$ のポアソン分布に近似されること、および互いに素なサイクル長の集合に対するカウントは漸近的に独立であることを示している。収束速度は初等的な確率論的および解析的手法により導出される。

ABSTRACT

We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.

研究の動機と目的

• ランダムな置換 $\mathcal{S}_n$ におけるサイクル型に関する基本的な分布的結果を統一的かつアクセス可能な参考文献として提供すること。
• 複雑な母関数や再帰関係に依存しない、一般性と柔軟性に富んだ手法を開発すること。
• サイクルカウントの分布、特に同時分布および条件付き分布に対する定量的で均一なバウンドを確立すること。
• 数論的類似（例えば、素因数分解）と類似点を明らかにするが、構造的差異にも注意を払うこと。
• 組合せ論、群論、数論への応用に適した自己完結的で初等的なツールキットを提供すること。

提案手法

• ポアソン近似モデルを用いる：$C_j(\sigma)$ は $\text{Poisson}(1/j)$ に近似され、集中不等式を用いて誤差バウンドが導出される。
• チェン＝スタイン法と局所極限定理を用いて、サイクルカウントがそのポアソン期待値から逸脱する度合いを制御する。
• スターリングの公式とオイラー＝マクローリンの和公式を用いて、ポアソン確率の和を近似し、正規分布と関連付ける。
• 恒等式 $\mathbb{P}_n(C_I(\sigma) = k) \approx \exp\left(-H(I)\right) \frac{H(I)^k}{k!}$ を用いる。ここで $H(I) = \sum_{j \in I} \frac{1}{j}$ であり、明示的な誤差項を含む。
• 尾部推定と積分比較を用いて、ポアソン分布への正規近似の誤差にバウンドを導出する。
• ディクマント関数 $\rho(u)$ における再帰的推定を用いて、すべての $j$ および集合 $I$ に対してサイクルカウント分布の相対誤差の均一バウンドを確立する。

実験結果

リサーチクエスチョン

• RQ1 一様ランダムな置換 $\sigma \in \mathcal{S}_n$ における長さ $j$ のサイクル数の分布は何か？
• RQ2 互いに素な集合 $I \subseteq [n]$ に対して、$C_I(\sigma)$ のカウントはどのように同時に振る舞い、その漸近的独立性の速度は何か？
• RQ3 $C(\sigma) = k$ を条件とするとき、$C_I(\sigma)$ の条件付き分布は何か？
• RQ4 ポアソンモデルは $C_I(\sigma)$ の分布をどの程度よく近似するか？ そして定量的な誤差バウンドは何か？
• RQ5 ランダムな置換における最小および最大サイクル長の分布は何か？ また、$n$ に対してどのようにスケーリングされるか？

主な発見

• $C_j(\sigma)$、すなわち長さ $j$ のサイクル数は、全変動距離において $\text{Poisson}(1/j)$ に漸近的に分布し、誤差が $O(1/j^2)$ である。
• 任意の有限集合 $I$ に対して、$C_I(\sigma)$ の分布はパラメータ $H(I) = \sum_{j \in I} \frac{1}{j}$ のポアソン分布に漸近的に近い。$H(I) \to \infty$ のとき、誤差は $O(1/H(I)^3)$ である。
• 互いに素な $I_1, \dots, I_k$ に対して、$C_{I_1}(\sigma), \dots, C_{I_k}(\sigma)$ は漸近的に独立であり、誤差は $O(1/\min H(I_j)^3)$ である。
• 全サイクル数 $C(\sigma)$ は中心極限定理を満たし、$\frac{C(\sigma) - H_n}{\sqrt{H_n}} \to N(0,1)$ が分布収束する。コルモゴロフ距離における誤差は $O(1/\sqrt{H_n})$ である。
• 最大サイクル長の分布は $n/e$ のまわりに集中しており、高確率で $\text{Largest cycle} \leq n(1 - \log 2) + o(n)$ が成り立つ。
• 集合 $I$ に属する長さのサイクルが存在しない確率は、$H(I) \to \infty$ のとき $\exp\left(-H(I)\right) + O\left(\frac{1}{H(I)^3}\right)$ である。