[论文解读] 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

一句话总结

本文提出了一个类似Cohen-Lenstra的启发式方法，用于描述随机图的雅可比群在规范对偶配对下的分布。该启发式方法假设：一个带有配对的有限交换群以与其阶和保持配对的自同构群大小乘积成反比的频率出现。该方法预测雅可比群为循环群的概率约为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.

研究动机与目标

• 开发一种改进的Cohen-Lenstra启发式方法，以捕捉随机图雅可比群中固有的规范对偶配对，而经典启发式方法未能涵盖这一点。
• 通过引入保持配对的自同构群计数，解释经验观察结果——例如雅可比群的奇部为循环群的概率约为94.6%，与经典Cohen-Lenstra预测的约97.75%存在偏差。
• 为Erdős–Rényi随机图的雅可比群在顶点数趋于无穷时的极限分布提供一个猜想性框架。
• 通过Z_p上随机对称矩阵的理论结果和大规模图雅可比群的实证数据，验证该启发式方法。

提出的方法

• 提出新启发式：带有对偶配对(Γ, δ)的有限交换群出现的频率与1/(|Γ| ⋅ |Aut(Γ, δ)|)成正比，其中Aut(Γ, δ)是保持配对的自同构群。
• 证明：在Haar测度下分布的Z_p上随机对称矩阵，其余核的分布符合该启发式。
• 利用图的拉普拉斯矩阵是对称矩阵且其余核的挠子群部分即为雅可比群，且该群自然带有对偶配对这一事实。
• 对随机图（最多10^5个样本）进行大规模实验，计算带有配对的雅可比群的实证频率，并与预测值进行比较。
• 分析雅可比群的Sylow p-子群，并检验不同素数间的独立性，支持p-部分在统计上独立的猜想。
• 对p = 2和奇素数p，分类带有对偶配对的有限交换p-群，利用文献中的生成元与关系定义测试空间。

实验结果

研究问题

• RQ1 为何随机图的雅可比群的奇部为循环群的概率（约94.6%）与经典Cohen-Lenstra预测（约97.75%）存在偏差？
• RQ2 能否通过引入图雅可比群中固有对偶配对的改进Cohen-Lenstra启发式方法，解释观测到的分布行为？
• RQ3 随机图雅可比群的Sylow p-子群在不同素数间是否在统计上独立？
• RQ4 在Haar测度下分布的Z_p上随机对称矩阵的余核是否服从所提出的启发式分布？
• RQ5 随机图雅可比群为循环群的预测概率是多少？与实证观察结果相比如何？

主要发现

• 本文猜想：随机图的雅可比群为循环群的概率约为0.7935，该结果基于包含保持配对的自同构群的新型启发式方法。
• 对10^5个20个顶点的随机图的实证数据显示，带有配对的雅可比群的相对频率与启发式预测的比例高度吻合，大多数群的观测值与期望值之比在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 vs. 48），支持p-部分独立的猜想。
• 理论结果证实：在Haar测度下分布的Z_p上随机对称矩阵，其余核的分布符合所提出的启发式，为该猜想提供了强有力支持。