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

問題の記述
本論文は、有限アーベル $p$ 群の分布、具体的にはランダムグラフに関連するサンドタイル群（sandpile groups）のシロー $p$ 部分群について調査している。Erdős–Rényi ランダムグラフおよびランダム $d$ 正則グラフにおける分布は概ね解明されているが（Cohen–Lenstra のハイオリスティックスまたはその特定の変種に収束する）、ランダム二部グラフにおけるサンドタイル群の挙動については、まだ十分に探索されていない。対処されている中心的な問題は、$n \to \infty$ におけるランダム二部グラフ $G(n, \lceil \alpha n \rceil, u)$ のサンドタイル群のシロー $p$ 部分群の極限分布の決定である。

さらに、本論文は「モーメント法」の文脈におけるより広範な理論的問い、すなわち、モーメントが分布を一意に決定するかどうかという問題に取り組んでいる。Wood は、モーメントが急速に増大しすぎない場合にはモーメントが唯一の分布を決定することを確立したが、本論文では、モーメントが急速に増大する場合（例：$p=2$ の場合）において、全く同じモーメントを共有する異なる分布の大きな族を構成する方法を探求している。

手法
著者らは、確率論的組合せ論、代数的数論、および対称関数の理論を組み合わせた手法を用いている。主な手法的構成要素は以下の通りである：

1. サンドタイル群とランダムグラフ： 本研究は、グラフ $\Gamma$ の簡約ラプラシアンの余核としてサンドタイル群 $S_\Gamma$ を定義する手法を利用している。著者らは、エッジが確率 $u$ で含まれるランダム二部グラフ $G(n_1, n_2, u)$ を分析している。
2. モーメント法： 主要な解析ツールはモーメントの計算である。分割 $\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$ の確率を、分割の共役部分の和として計算できる形式で表現することができる。

主要な貢献と結果

• ランダム二部グラフに関する予想： 本論文は、ランダム二部グラフのサンドタイル群のシロー $p$ 部分群の極限分布を提示する予想 1.3 を提唱している。

  • 奇素数 $p$ に対して、分布は標準的な対称行列分布 $P^{\text{Sym}}_{\infty, p}$ であると予測される。
  • $p=2$ の場合、分布は修正されたもの、すなわち $2^{l(\lambda)-1} P^{\text{Sym}}_{\infty, 2}(\lambda)$ であると予測される（ここで $l(\lambda)$ は分割の長さである）。
  • 著者らは、パラメータ $\alpha$（小さい方の頂点集合と大きい方の頂点集合の比）が $\alpha > 1/p$ を満たす必要があるという閾値現象を観察し、この予想を支持する数値的証拠（セクション 2）を提供している。

• 同一のモーメントを持つ分布の族： モーメントを共有する、明確に異なる測度の大きな族を構成することは、本論文の主要な理論的貢献である。

  • 著者らは、厳密な分割 $\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 の冪根を含む類体群に動機付けられたもの）の一般化のモーメント。
  • 定理 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}$ 次元の立方体であることを証明している。

意義と主張
本論文は、主に 2 つの領域において重要性を主張している：

1. サンドタイル群の理解の進展： ランダム二部グラフにおけるサンドタイル群の分布を定式化し、証拠を提供することにより、本研究は Erdős–Rényi および正則グラフに対して知られている普遍性の結果を、新しいクラスのランダムグラフへと拡張している。$p=2$ の場合の特別なケースの特定は、グラフの構造と素数 $p$ に依存するサンドタイル群の微妙な挙動を浮き彫りにしている。

2. モーメントによる決定の一意性への挑戦： 同一のモーメントを持つ分布の大きな族の構成は、モーメントが急速に増大する場合におけるモーメント法の対照的な事例として機能する。著者らは、Wood の定理が特定の成長条件の下で一意性を保証する一方で、自らの研究は「モーメントの値が大きくなると、モーメントは測度を決定しなくなる」ことを明示している。これは、有限アーベル群の文脈におけるモーメント法の最近の発展（Wood, Sawin などを引用）に合致する、非一意性の具体的な例を提供している。

本論文は、すべてのケースについて予想 1.3 を証明したと主張しているわけではない（奇素数のケースについては、別の著作で近日中に証明される旨を注記している）が、モーメント等価な族の構成は完全かつ厳密な結果であり、文献に見られるいくつかの以前の現象を統一するものであると主張している。