[論文レビュー] On a Cohen-Lenstra Heuristic for Jacobians of Random Graphs

Julien Clancy, Nathan O. Kaplan+3 more|arXiv (Cornell University)|Feb 20, 2014

Advanced Combinatorial Mathematics参考文献 8被引用数 7

ひとこと要約

この論文は、グラフのヤコビアンの分布に関するコーエン＝レングスタ型のヒューリスティックを提案し、その自然な双対性ペアリングを考慮に入れる。有限アーベル群にペアリングが付随する場合、その出現確率はその位数とペアリングを保存する自己同型群のサイズの積に反比例すると予想し、ヤコビアンが巡回群である確率が約0.7935であると予測する。この予測は、Z_p 上のランダムな対称行列と大規模なグラフサンプリングによる理論的・実験的裏付けを伴う。

ABSTRACT

In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures.

研究の動機と目的

• 古典的ヒューリスティックが捉えきれない、ランダムグラフのヤコビアンに内在する自然な双対性ペアリングを考慮に入れた、洗練されたコーエン＝レングスタヒューリスティックの構築を目的とする。
• ペアリングに依存しない自己同型群の数え上げを組み込むことで、実験的観察（例：ヤコビアンの奇数部が約94.6%の確率で巡回群である）を説明することを目的とする。
• 頂点数が増加する際のエドーシュ＝レニー型ランダムグラフのヤコビアンの極限分布を、推測的な枠組みで提示することを目的とする。
• Z_p 上のランダム対称行列に関する理論的結果と、グラフヤコビアンに関する広範な実験的データを用いて、このヒューリスティックの妥当性を検証することを目的とする。

提案手法

• 新しいヒューリスティックを提唱：有限アーベル群にペアリング (Γ, δ) が付随する場合、その出現頻度は |Γ| ⋅ |Aut(Γ, δ)| の逆数に比例する。ここで Aut(Γ, δ) はペアリングを保存する自己同型群である。
• Z_p 上のランダム対称行列がハール測度に従う場合、その余核がこのヒューリスティックに従うことを証明する。
• グラフのヤコビアンは、そのラプラシアン行列（対称で、自然な双対性ペアリングを有する）のねじれ部分群に一致することを用いる。
• 最大10^5件のランダムグラフを用いた大規模な実験を行い、ペアリング付きヤコビアン群の実験的頻度を予測値と比較する。
• ヤコビアンのSylow p-部分群を分析し、異なる素数間で統計的に独立であるかを検証する。これにより、p-部が独立であるという仮説を支持する。
• p = 2 および奇素数 p について、文献に由来する生成元と関係式を用いて、ペアリング付き有限アーベル p-群を分類し、テスト空間を定義する。

実験結果

リサーチクエスチョン

• RQ1 ランダムグラフのヤコビアンの奇数部が巡回群である確率（約94.6%）が、古典的コーエン＝レングスタ予測（約97.75%）と逸脱する理由は何か？
• RQ2 グラフヤコビアンに内在する自然な双対性ペアリングを組み込んだ洗練されたコーエン＝レングスタヒューリスティックが、観察された分布的挙動を説明できるか？
• RQ3 ランダムグラフのヤコビアンのSylow p-部分群は、異なる素数間で統計的に独立か？
• RQ4 Z_p 上のランダム対称行列（ハール測度に従う）の余核は、提示されたヒューリスティック分布に従うか？
• RQ5 ランダムグラフのヤコビアンが巡回群であると予測される確率は何か？また、実験的観察と比較するとどうなるか？

主な発見

• 本論文は、ペアリングを保存する自己同型群を考慮に入れた新しいヒューリスティックに基づき、ランダムグラフのヤコビアンが巡回群である確率が約0.7935であると予想する。
• 20頂点のランダムグラフ10^5件の実験的データから、ペアリング付きヤコビアン群の相対頻度が、ヒューリスティックによる予測比と非常に近いことが判明。ほとんどの群について、観測値と期待値の比が1%以内に収束している。
• Sylow 2-部分群に関しては、観測頻度比（例：(Z/2Z)^3 で47.20）が予測値48に非常に近い。この結果は仮説を支持する。
• Sylow 3-部分群についても、観測比（例：A_3 ⊕ A_3 で70.56）が予測値72に近く、ヒューリスティックの妥当性をさらに裏付ける。
• 2×10^5件のランダムグラフにおけるSylow 2-および3-部分群の独立性を検証した結果、観測比（例：A_2 ⊕ A_2 ⊕ A_3 で47.18）が予測値48と一致。これにより、p-部が独立であるという仮説が支持される。
• 理論的結果により、Z_p 上のハール測度に従うランダム対称行列の余核が、提示されたヒューリスティック分布に従うことが確認され、仮説に対する強い支持が得られた。