Sandpile groups of random bipartite graphs and families of distributions with the same moments

问题陈述

本文研究了有限阿贝尔 $p$-群的分布，特别是与随机图相关的砂堆群（sandpile groups）的 Sylow $p$-子群。虽然 Erdős–Rényi 随机图和随机 $d$-正则图的分布已基本得到理解（收敛于 Cohen–Lenstra 启发式分布或其特定变体），但随机二部图砂堆群的行为仍有待深入探索。本文解决的核心问题是：确定随机二部图 $G(n, \lceil \alpha n \rceil, u)$ 的砂堆群 Sylow $p$-子群在 $n \to \infty$ 时的极限分布。

此外，本文在“矩方法”（method of moments）的背景下探讨了一个更广泛的理论问题：矩是否能唯一确定一个分布。虽然 Wood 已经证明，如果矩的增长速度不是太快，则矩可以唯一确定一个分布，但本文探讨了如何构建具有相同矩的大规模不同分布族，特别是在矩增长过快（例如当 $p=2$ 时）的情况下。

研究方法

作者结合了概率组合数学、代数数论和对称函数理论。关键的方法论组成部分包括：

1. 砂堆群与随机图： 研究利用减少后的拉普拉斯矩阵（reduced Laplacian）的核（cokernel）来定义图 $\Gamma$ 的砂堆群 $S_\Gamma$。作者分析了边以概率 $u$ 包含的随机二部图 $G(n_1, n_2, u)$。
2. 矩方法： 主要的分析工具是矩的计算。对于分配（partition）上的分布 $\nu$ 以及一个固定的分配 $\mu$，$\mu$-矩被定义为随机群（根据 $\nu$ 选择）到固定群 $G_\mu$ 的满同态个数的期望值。
3. Hall–Littlewood 对称函数： 为了计算这些矩，作者将问题转化为 Hall–Littlewood 对称多项式 $P_\lambda$ 和 $Q_\lambda$ 的语言。他们利用了 Nguyen 和 Van Peski 所建立的关于满射数量 $|\text{Sur}_p(\lambda, \mu)|$ 与这些多项式之间的关系。
4. $q$-超几何级数： 涉及这些多项式的求和评估高度依赖于基本超几何级数（特别是 $r\phi_s$ 系列）中的恒等式以及变换公式（例如 Rogers–Szegő 变换等）。
5. 马尔可夫链解释： 这些分布通过转换概率 $K(a, b)$ 进行解释，这使得作者能够将分配 $\lambda$ 的概率表示为这些转换权重的乘积。这便于通过对分配的共轭部分求和来计算矩。

主要贡献与结果

• 关于随机二部图的猜想： 本文提出了 猜想 1.3，该猜想阐述了随机二部图砂堆群 Sylow $p$-子群的极限分布。

  • 对于奇素数 $p$，预测的分布是标准的对称矩阵分布 $P^{\text{Sym}}_{\infty, p}$。
  • 对于 $p=2$，预测的分布是一个修正版本：$2^{l(\lambda)-1} P^{\text{Sym}}_{\infty, 2}(\lambda)$，其中 $l(\lambda)$ 是分配的长度。
  • 作者提供了数值证据（第 2 节）支持该猜想在 $p=2$ 和 $p=3$ 时的情况，并观察到了一个阈值现象，即参数 $\alpha$（较小顶点集与较大顶点集的比例）必须满足 $\alpha > 1/p$，分布才会收敛到预测的形式。

• 具有相同矩的分布族： 本文的一个主要理论贡献是构建了大规模具有相同矩的不同测度族。

  • 作者定义了一个由严格分配 $\kappa$ 和位于多胞形 $A_r$ 中的向量 $\alpha$ 参数化的测度族 $\tilde{P}^{\text{Sym}, \kappa}_{p, \alpha}$。
  • 定理 1.9 指出，对于长度为 $r$ 的固定严格分配 $\kappa$，存在一个 $2^{r-1}$ 参数的测度族，它们都拥有相同的矩。
  • 这一构造推广了 Mészáros 在随机 $d$-正则图（其中 $d$ 为偶数且 $p=2$）中观察到的特定情况，以及随机二部图的特殊情况（$p=2$）。本文证明了这些看似不同的分布实际上是同一个矩等价族中的成员。

• 各种分布的矩计算： 本文提供了若干分布的闭式公式，通常是重新证明已知结果或将其扩展到实参数 $p > 1$：

  • 定理 1.11： Cohen–Lenstra 分布 $P_{d, u}$ 的矩。
  • 定理 1.12： 一种广义的 Malle 分布的矩（受含有单位根的代数数类群启发）。
  • 定理 1.13： 一种广义的 Garton 分布的矩。
  • 定理 1.10： 归一化测度 $P^{M, (k)}_{p, \alpha}$ 的矩，显示其等于 $p^{n(\mu) + kl(\mu)}$。

• 技术引理： 本文包含了关于转换函数 $K(a, b)$ 的性质以及多胞形 $A_r$ 几何结构的详细技术证明，证明了 $A_r$ 是一个 $2^{r-1}$ 维的立方体。

意义与主张

本文声称其意义主要体现在两个领域：

1. 推进对砂堆群的理解： 通过提出并提供随机二部图中砂堆群分布的证据，这项工作将已知于 Erdős–Rényi 和正则图的普适性结果扩展到了新的一类随机图。对于 $p=2$ 的特殊情况的识别，突出了砂堆群的行为如何根据图结构和素数 $p$ 而产生细微的变化。

2. 挑战矩确定性的唯一性： 构建具有相同矩的大规模分布族，是对矩增长过快时矩方法之局限性的有力回应。作者明确指出，虽然 Wood 的定理在满足特定增长条件时保证了唯一性，但本文的工作表明，“当矩的值较大时，矩不再能确定测度”。这为在有限阿贝尔群背景下的非唯一性提供了具体的例子，符合近期在矩方法领域的发展趋势（引用了 Wood, Sawin 等人的研究）。

本文并未声称证明了适用于所有情况的猜想 1.3（指出对于奇素数的证明将在后续的独立工作中完成），而是断言构建矩等价族是一个完整且严谨的结果，它统一了文献中此前观察到的几种现象。