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

Énoncé du problème
L'article étudie la distribution des $p$-groupes abéliens finis, plus précisément les sous-groupes de Sylow des groupes de sable associés à des graphes aléatoires. Alors que les distributions pour les graphes aléatoires d'Erdős–Rényi et les graphes aléatoires $d$-réguliers sont largement comprises (convergeant vers les heuristiques de Cohen–Lenstra ou des variations spécifiques de celles-ci), le comportement des groupes de sable pour les graphes bipartites aléatoires est moins exploré. Un problème central abordé est la détermination de la distribution limite des sous-groupes de Sylow des groupes de sable d'un graphe bipartite aléatoire $G(n, \lceil \alpha n \rceil, u)$ lorsque $n \to \infty$.

De plus, l'article traite d'une question théorique plus large dans le contexte de la « méthode des moments » : les moments déterminent-ils de manière unique une distribution ? Alors que Wood a établi que les moments déterminent une distribution unique s'ils ne croissent pas trop rapidement, cet article explore la construction de grandes familles de distributions distinctes qui partagent exactement les mêmes moments, particulièrement dans les cas où les moments croissent rapidement (par exemple, lorsque $p=2$).

Méthodologie
Les auteurs emploient une combinaison de combinatoire probabiliste, de théorie algébrique des nombres et de la théorie des fonctions symétriques. Les composantes méthodologiques clés incluent :

1. Groupes de sable et graphes aléatoires : L'étude utilise la définition du groupe de sable $S_\Gamma$ comme le cokernel du laplacien réduit d'un graphe $\Gamma$. Les auteurs analysent les graphes bipartites aléatoires $G(n_1, n_2, u)$ où les arêtes sont incluses avec une probabilité $u$.
2. Méthode des moments : Le principal outil analytique est le calcul des moments. Pour une distribution $\nu$ sur les partitions et une partition $\mu$ fixée, le $\mu$-moment est défini comme l'espérance du nombre d'homomorphismes surjectifs d'un groupe aléatoire (choisi selon $\nu$) vers le groupe fixe $G_\mu$.
3. Fonctions symétriques de Hall–Littlewood : Pour calculer ces moments, les auteurs traduisent le problème dans le langage des polynômes symétriques de Hall–Littlewood $P_\lambda$ et $Q_\lambda$. Ils utilisent la relation entre le nombre de surjections $|\text{Sur}_p(\lambda, \mu)|$ et ces polynômes, telle qu'établie par Nguyen et Van Peski.
4. Séries $q$-hypergéométriques : L'évaluation des sommes impliquant ces polynômes repose fortement sur des identités issues des séries hypergéométriques de base (spécifiquement les séries $r\phi_s$) et des formules de transformation (telles que celles de Rogers–Szegő et d'autres).
5. Interprétations par chaînes de Markov : Les distributions sont interprétées via des probabilités de transition $K(a, b)$, permettant aux auteurs d'exprimer la probabilité d'une partition $\lambda$ comme un produit de ces poids de transition. Cela facilite le calcul des moments en sommant sur les parties conjuguées des partitions.

Contributions clés et résultats

• Conjecture sur les graphes bipartites aléatoires : L'article propose la Conjecture 1.3, qui postule la distribution limite des sous-groupes de Sylow des groupes de sable de graphes bipartites aléatoires.

  • Pour les nombres premiers impairs $p$, la distribution est prédite comme étant la distribution de matrice symétrique standard $P^{\text{Sym}}_{\infty, p}$.
  • Pour $p=2$, la distribution est prédite comme étant une version modifiée : $2^{l(\lambda)-1} P^{\text{Sym}}_{\infty, 2}(\lambda)$, où $l(\lambda)$ est la longueur de la partition.
  • Les auteurs fournissent des preuves numériques (Section 2) soutenant cette conjecture pour $p=2$ et $p=3$, observant un phénomène de seuil où le paramètre $\alpha$ (le ratio de l'ensemble de sommets le plus petit par rapport au plus grand) doit satisfaire $\alpha > 1/p$ pour que la distribution converge vers la forme prédite.

• Familles de distributions aux moments identiques : Une contribution théorique majeure est la construction de grandes familles de mesures partageant les mêmes moments.

  • Les auteurs définissent une famille de mesures $\tilde{P}^{\text{Sym}, \kappa}_{p, \alpha}$ paramétrée par une partition stricte $\kappa$ et un vecteur $\alpha$ dans un polytope $A_r$.
  • Le Théorème 1.9 stipule que pour une partition stricte $\kappa$ de longueur $r$, il existe une famille de mesures à $2^{r-1}$ paramètres qui possèdent toutes les mêmes moments.
  • Cette construction généralise le cas spécifique observé par Mészáros pour les graphes $d$-réguliers aléatoires (où $d$ est pair et $p=2$) ainsi que le cas spécial pour les graphes bipartites aléatoires ($p=2$). L'article démontre que ces distributions apparemment différentes sont en réalité des membres de la même famille d'équivalence de moments.

• Calculs de moments pour diverses distributions : L'article fournit des formules en forme close pour les moments de plusieurs distributions, reprovant souvent des résultats connus ou les étendant à des paramètres réels $p > 1$ :

  • Théorème 1.11 : Moments de la distribution de Cohen–Lenstra $P_{d, u}$.
  • Théorème 1.12 : Moments d'une généralisation de la distribution de Malle (motivée par les groupes de classes des corps de nombres avec racines de l'unité).
  • Théorème 1.13 : Moments d'une généralisation de la distribution de Garton.
  • Théorème 1.10 : Moments des mesures normalisées $P^{M, (k)}_{p, \alpha}$, montrant qu'ils sont égaux à $p^{n(\mu) + kl(\mu)}$.

• Lemmes techniques : Le papier inclut des preuves techniques concernant les propriétés des fonctions de transition $K(a, b)$ et la géométrie du polytope $A_r$, prouvant que $A_r$ est un cube de dimension $2^{r-1}$.

Signification et revendications
L'article revendique une importance dans deux domaines principaux :

1. Faire progresser la compréhension des groupes de sable : En formulant et en fournissant des preuves pour la distribution des groupes de sable dans les graphes bipartites aléatoires, ce travail étend les résultats d'universalité connus pour les graphes d'Erdős–Rényi et réguliers à une nouvelle classe de graphes aléatoires. L'identification d'un cas spécial pour $p=2$ souligne le comportement nuancé des groupes de sable selon la structure du graphe et le nombre premier $p$.

2. Remettre en question l'unicité de la détermination par les moments : La construction de grandes familles de distributions ayant les mêmes moments sert de contrepoint à la méthode des moments lorsque les moments croissent trop rapidement. Les auteurs affirment explicitement que, bien que le théorème de Wood garantisse l'unicité sous certaines conditions de croissance, leur travail démontre que « les moments ne déterminent plus la mesure pour des valeurs de moments plus grandes ». Cela fournit des exemples concrets de non-unicité dans le contexte des groupes abéliens finis, s'inscrivant dans les développements récents plus larges de la méthode des moments (citant Wood, Sawin et d'autres).

L'article ne prétend pas prouver la Conjecture 1.3 pour tous les cas (notant qu'une preuve pour les nombres premiers impairs est à venir dans un travail séparé), mais affirme que la construction de familles équivalentes de moments est un résultat complet et rigoureux qui unifie plusieurs phénomènes précédemment observés dans la littérature.