[论文解读] The distribution of sandpile groups of random graphs

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

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

一句话总结

该论文确定了 Erdős–Rényi 随机图 $G(n,q)$ 的沙堆群（雅可比群）在 $n \to \infty$ 时的渐近分布。它证明了这些群的 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$-矩 $\mathbb{E}(\#\operatorname{Sur}(S_\Gamma, G))$，证明其收敛于 $\prod_i a_i^{i-1}$，其中 $a_i$ 是 $G$ 的不变量。
• 证明关于具有依赖对角线元素的随机对称积分矩阵的余核矩的普遍性结果。
• 利用矩通过一种新颖论证重建 Sylow $p$-子群的极限分布，该论证可处理超指数增长。
• 应用 $\mathbb{Z}/p\mathbb{Z}$ 上的随机矩阵理论，分析沙堆群的 $p$-秩分布。
• 利用有限交换 $p$-群上对称双线性型的结构，计算极限分布中的归一化因子。
• 利用不同素数上的 Sylow 子群的独立性，将单素数结果推广到有限素数集上的联合分布。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，$\Gamma \sim G(n,q)$ 的沙堆群 $S_\Gamma$ 的极限分布是什么？
• RQ2 为何沙堆群不遵循 Cohen-Lenstra 算法？新的分布如何描述其渐近行为？
• RQ3 沙堆群的 Sylow $p$-子群的渐近行为如何？它们在不同素数上是否独立？
• RQ4 尽管矩呈现 $p^{k^2}$ 型增长，$\mathbb{E}(\#\operatorname{Sur}(S_\Gamma, G))$ 是否仍能唯一确定极限分布？
• RQ5 沙堆群为循环群或阶为无平方因子的概率的渐近值是多少？

主要发现

• 当 $n \to \infty$ 时，$S_\Gamma$ 同构于任意固定有限交换群 $G$ 的概率趋于零，因此分布不集中在单个群上。
• Sylow $p$-子群 $S_{\Gamma,p}$ 的极限分布为 $\frac{\#\{\text{对称、双线性、非退化 } \phi: G \times G \to \mathbb{C}^*\}}{|G| \cdot |\operatorname{Aut}(G)|} \prod_{k \geq 0} (1 - p^{-2k-1})$，且与边概率 $q$ 无关。
• 当 $G = \mathbb{Z}/p^r\mathbb{Z}$ 时，概率渐近约为 $p^{-r}$；当 $G = (\mathbb{Z}/p\mathbb{Z})^r$ 时，约为 $p^{-r(r+1)/2}$，这解释了为何循环 $p$-群更常见。
• $S_\Gamma$ 的 $p$-秩在分布上收敛于 $\mathbb{Z}/p\mathbb{Z}$ 上随机对称矩阵的秩，且 $\lim_{n \to \infty} \mathbb{P}(\operatorname{rank}(S_\Gamma \otimes \mathbb{Z}/p\mathbb{Z}) = r) = p^{-r(r+1)/2} \prod_{i=r+1}^\infty (1 - p^{-i}) \prod_{i=1}^\infty (1 - p^{-2i})^{-1}$。
• 沙堆群为循环群的渐近概率至多为 $\zeta(3)^{-1}\zeta(5)^{-1}\zeta(7)^{-1}\cdots \approx 0.793521$，与先前猜想不同。
• 群阶 $|S_\Gamma|$ 为无平方因子的渐近概率至多为 $\zeta(2)^{-1}\zeta(3)^{-1}\zeta(5)^{-1}\cdots$，该界源于联合 Sylow 子群行为。