[論文レビュー] The distribution of sandpile groups of random graphs

Melanie Matchett Wood|arXiv (Cornell University)|Feb 20, 2014

Topological and Geometric Data Analysis参考文献 29被引用数 15

ひとこと要約

本稿は、n → ∞ のとき、Erdős–Rényi 隨機グラフ G(n,q) の砂山群（ヤコビアン群）の漸近的分布を決定する。Sylow p-部分群が、Cohen-Lenstraとは異なる、Clancy, Leake, Payne が予想した新しい分布族に確率的に収束することを証明し、有限アーベル群への全射のモーメントが、主な解析的道具として機能する。

ABSTRACT

We determine the distribution of the sandpile group (a.k.a. Jacobian) of the Erdős-Rényi random graph G(n,q) as n goes to infinity. Since any particular group appears with asymptotic probability 0 (as we show), it is natural ask for the asymptotic distribution of Sylow p-subgroups of sandpile groups. We prove the distributions of Sylow p-subgroups converge to specific distributions conjectured by Clancy, Leake, and Payne. These distributions are related to, but different from, the Cohen-Lenstra distribution. Our proof involves first finding the expected number of surjections from the sandpile group to any finite abelian group (the "moments" of a random variable valued in finite abelian groups). To achieve this, we show a universality result for the moments of cokernels of random symmetric integral matrices that is strong enough to handle dependence in the diagonal entries. We then show these moments determine a unique distribution despite their p^{k^2}-size growth.

研究の動機と目的

• ランダムグラフにおける砂山群の分布に関するLorenziniの問いを解決すること。
• Cohen-Lenstraのヒューリスティクスが砂山群の頻度を予測できない理由を解明すること。
• G(n,q) における砂山群の Sylow p-部分群の漸近的分布を確立すること。
• 急速な成長を示すにもかかわらず、有限アーベル群への全射のモーメントが、極限分布を一意に決定することを示すこと。
• 群の位数の巡回性や平方因子なし性に関する、明示的な漸近的確率を導出すること。

提案手法

• 有限アーベル群 G に対して G-モーメント E(#Sur(S_Γ, G)) を計算し、それが a_i が G の不変量であるとき、∏_i a_i^{i-1} に収束することを示す。
• 対角成分が相関を持つランダムな整数対称行列のココルのモーメントに関する普遍性結果を証明する。
• 超指数的成長を扱う新しい議論を用いて、Sylow p-部分群の極限分布を再構成する。
• Z/pZ 上のランダム行列理論の結果を応用し、砂山群の p-ランク分布を分析する。
• 有限アーベル p-群上の対称双線形形式の構造を活用し、極限分布における正規化係数を計算する。
• 異なる素数における Sylow 部分群の独立性を活用して、単一素数の結果を有限素数集合上の同時分布へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 Γ ∼ G(n,q) のとき、n → ∞ の下で砂山群 S_Γ の極限分布は何か？
• RQ2 なぜ砂山群は Cohen-Lenstra ヒューリスティクスに従わないのか？ そして、それらの漸近的挙動を支配する新しい分布は何か？
• RQ3 砂山群の Sylow p-部分群は漸近的にどのように振る舞い、異なる素数におけるもの同士は独立か？
• RQ4 p^{k^2}-型の成長を示すにもかかわらず、E(#Sur(S_Γ, G)) のモーメントが極限分布を一意に決定できるか？
• RQ5 S_Γ が巡回群である、または位数が平方因子なしである確率の漸近的確率は何か？

主な発見

• n → ∞ のとき、任意の固定された有限アーベル群 G に対して、S_Γ ≅ G である確率は 0 に収束するため、分布は個々の群に集中しない。
• Sylow p-部分群 S_{Γ,p} の極限分布は、q に依存しない。その分布は、#\{対称的・双線形的・完全な φ: G × G → C^*\} / (|G| · |Aut(G)|) × ∏_{k ≥ 0} (1 - p^{-2k-1}) で与えられる。
• G = Z/p^rZ のとき、確率は漸近的に ≈ p^{-r} であり、G = (Z/pZ)^r のとき、≈ p^{-r(r+1)/2} である。これは、巡回 p-群がより一般的である理由を説明する。
• S_Γ の p-ランクは、Z/pZ 上のランダム対称行列のランクに確率的に収束する。lim_{n→∞} P(rank(S_Γ ⊗ Z/pZ) = r) = p^{-r(r+1)/2} × ∏_{i=r+1}^∞ (1 - p^{-i}) × ∏_{i=1}^∞ (1 - p^{-2i})^{-1} が成り立つ。
• S_Γ が巡回群である確率の漸近的上限は、ζ(3)^{-1}ζ(5)^{-1}ζ(7)^{-1}⋯ ≈ 0.793521 であり、以前の予想とは異なる。
• |S_Γ| が平方因子なしである確率の漸近的上限は、ζ(2)^{-1}ζ(3)^{-1}ζ(5)^{-1}⋯ であり、これは同時的な Sylow 部分群の挙動に起因する。