A central limit theorem for a generalization of the Ewens measure to random tuples of commuting permutations

1. Problématique et Contexte

L'article s'intéresse à la statistique des tuplets ordonnés de permutations commutantes dans le groupe symétrique $S_n$. Plus précisément, les auteurs étudient le nombre d'orbites conjointes, noté $\kappa_{\ell,n}(\sigma_1, \dots, \sigma_\ell)$, pour un $\ell$-tuplet $(\sigma_1, \dots, \sigma_\ell)$ de permutations qui commutent deux à deux ($\sigma_i \sigma_j = \sigma_j \sigma_i$).

• Généralisation de la mesure d'Ewens : Dans le cas classique ($\ell=1$), le nombre d'orbites correspond au nombre de cycles d'une permutation unique. La distribution d'Ewens, fondamentale en génétique des populations et en combinatoire, attribue une probabilité proportionnelle à $x^{\text{nombre de cycles}}$. Les auteurs généralisent cette mesure aux tuples commutants en définissant une probabilité sur l'ensemble $C_{\ell,n}$ des tuples commutants, pondérée par $x^{\kappa_{\ell,n}}$.
• Objectif : Prouver un Théorème Central Limite (TCL) pour la variable aléatoire $K_{\ell,n}$ (le nombre d'orbites conjointes) lorsque $n \to \infty$, pour tout $\ell \ge 1$ et tout paramètre de poids $x > 0$.
• Cas particuliers :
  • Pour $\ell=1$, ce résultat redonne le TCL classique de Goncharov (cas uniforme $x=1$) et celui de Hansen (cas général $x>0$).
  • Pour $\ell \ge 2$, il s'agit d'une nouvelle contribution majeure, car la structure des tuples commutants est beaucoup plus complexe (liée aux tores discrets tordus).

2. Méthodologie

La preuve repose sur une analyse de point selle (saddle point analysis) appliquée aux fonctions génératrices, dans un contexte lié aux asymptotiques de Hardy-Ramanujan et au théorème de Meinardus, mais adapté à une situation de pôles multiples.

A. Fonctions Génératrices et Décomposition

Les auteurs utilisent la formule de Bryan et Fulman pour la fonction génératrice ordinaire $G_\ell(x, z)$ des polynômes $H_{\ell,n}(x)$ (qui sont les moments factoriels normalisés) :
$$G_\ell(x, z) = \sum_{n=0}^\infty H_{\ell,n}(x) z^n = \prod_{\delta_1, \dots, \delta_{\ell-1}=1}^\infty \left(1 - z^{\delta_1 \cdots \delta_{\ell-1}}\right)^{-x \delta_1^{\ell-2} \delta_2^{\ell-3} \cdots \delta_{\ell-2}}$$
Cette fonction est holomorphe dans le disque unité. Les coefficients $H_{\ell,n}(x)$ sont extraits via la formule intégrale de Cauchy.

B. Analyse de Point Selle

L'analyse se concentre sur l'intégrale de contour $|z|=r=e^{-t}$.

1. Optimisation du rayon : Le rayon $t$ est choisi pour minimiser le module de l'intégrande, ce qui conduit à une équation implicite reliant $t$ et $n$ via une fonction spéciale $Z^{[\ell]}_\ell(t)$.
2. Décomposition de l'intégrale : L'intégrale est scindée en deux parties :
   • Grand arc (Major arc) : Autour de $\theta = 0$ (où $z = e^{-t+i\theta}$), où l'intégrande est maximal. Ici, une approximation quadratique (Gaussienne) est utilisée.
   • Petit arc (Minor arc) : Le reste du contour, où l'intégrande décroît exponentiellement vite, rendant sa contribution négligeable.
3. Fonctions $Z^{[\ell]}$ : L'analyse asymptotique fait intervenir des séries de type Dirichlet généralisées notées $Z^{[\ell]}_{\alpha_1, \dots, \alpha_\ell}(t)$. Les auteurs établissent des propriétés analytiques rigoureuses de ces fonctions (convergence, dérivabilité, comportement asymptotique quand $t \to 0^+$) en utilisant des approximations d'Euler-Maclaurin et le théorème de convergence dominée.

C. Convergence des Fonctions Génératrices de Moments

Pour prouver le TCL, les auteurs utilisent le théorème de continuité de Curtiss pour les fonctions génératrices de moments (MGF). Ils montrent que la MGF normalisée de $K_{\ell,n}$ converge vers celle d'une loi normale standard $N(0,1)$.

3. Résultats Principaux

Le théorème principal (Théorème 1.1) établit que pour $\ell \ge 2$ et $x > 0$, la variable $K_{\ell,n}$ suit asymptotiquement une loi normale.

Comportement Asymptotique des Moments

Les espérances et variances sont données par :
$$\mathbb{E}[K_{\ell,n}] \sim (x K_\ell)^{1/\ell} \frac{1}{\ell-1} n^{\frac{\ell-1}{\ell}}$$
$$\text{Var}(K_{\ell,n}) \sim (x K_\ell)^{1/\ell} \frac{1}{\ell(\ell-1)} n^{\frac{\ell-1}{\ell}}$$
où $K_\ell = (\ell-1)! \zeta(2)\zeta(3)\cdots\zeta(\ell)$ est une constante impliquant les valeurs de la fonction zêta de Riemann.

Note : Pour $\ell=1$, la puissance $n^{(\ell-1)/\ell}$ devient logarithmique ($\ln n$), ce qui correspond aux résultats classiques.

Convergence en Distribution

La variable normalisée converge en distribution et en moments vers une loi gaussienne standard :
$$\frac{K_{\ell,n} - \mathbb{E}[K_{\ell,n}]}{\sqrt{\text{Var}(K_{\ell,n})}} \xrightarrow{d} \mathcal{N}(0, 1)$$
Les auteurs fournissent également des simulations numériques (Figure 2) montrant l'excellent accord entre la distribution exacte (pour $n=150$) et l'approximation gaussienne.

4. Contributions Clés

1. Généralisation du TCL d'Ewens : Extension du résultat classique des permutations uniques aux tuples commutants, un problème combinatoire beaucoup plus riche et difficile.
2. Analyse Asymptotique Nouvelle : Développement d'une méthode de point selle pour des produits infinis avec des exposants dépendant de la structure du produit des indices (pôles multiples), généralisant le théorème de Meinardus.
3. Introduction des Fonctions $Z^{[\ell]}$ : Définition et étude approfondie d'une nouvelle famille de fonctions analytiques ($Z^{[\ell]}_{\alpha}(t)$) qui apparaissent naturellement dans ce contexte et dont les propriétés asymptotiques sont cruciales pour la preuve.
4. Preuve Autonomie : La preuve est rédigée de manière auto-contenue, rendant accessible des techniques d'analyse complexe et de théorie des nombres à un public plus large, sans supposer une expertise préalable en théorie des pôles multiples.

5. Signification et Perspectives

• Combinatoire et Théorie des Nombres : Le travail relie la structure des permutations commutantes (liée aux tores discrets tordus) à des constantes arithmétiques profondes (fonction zêta). Il offre une confirmation partielle de la conjecture de log-concavité des nombres $A(\ell, n, k)$.
• Théorie des Matrices Aléatoires : Les tuples de permutations commutantes peuvent être vus comme des modèles discrets de matrices unitaires commutantes aléatoires. Ce résultat ouvre la voie à l'étude de modèles de matrices aléatoires avec contraintes de commutation, un domaine où la littérature est rare.
• Théorie des Groupes : Le problème est équivalent à l'étude des homomorphismes aléatoires du groupe abélien libre $\mathbb{Z}^\ell$ vers $S_n$. Cela suggère des généralisations possibles vers d'autres groupes (comme les groupes d'Artin à angles droits).
• Physique Statistique : La mesure étudiée est analogue à un gaz de polymères. Les résultats pourraient avoir des implications pour les systèmes de spins quantiques et les modèles de gaz de polymères dilués.

En résumé, cet article établit un pont rigoureux entre la combinatoire des permutations commutantes, l'analyse asymptotique complexe et la théorie des probabilités, en prouvant que la loi gaussienne est universelle pour le nombre d'orbites conjointes, même dans des structures géométriques complexes comme les tores discrets.