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

1. Il Problema e il Contesto

L'articolo si occupa dello studio asintotico del numero di orbite congiunte ($\kappa_{\ell,n}$) generate da $n$-tupole ordinate di permutazioni che commutano tra loro nello gruppo simmetrico $S_n$.

• Definizione del problema: Sia $H = \langle \sigma_1, \dots, \sigma_\ell \rangle$ il sottogruppo generato da un $n$-tupla ordinata di permutazioni che commutano ($\sigma_i \sigma_j = \sigma_j \sigma_i$). L'oggetto di studio è la variabile casuale $K_{\ell,n}$, che conta il numero di orbite dell'azione di $H$ sull'insieme $[n] = \{1, \dots, n\}$.
• Generalizzazione della misura di Ewens: Gli autori introducono una misura di probabilità $P_{\ell,n,x}$ sull'insieme delle $n$-tupole commutanti, pesando ogni configurazione con un fattore $x^{\kappa_{\ell,n}}$, dove $x > 0$ è un parametro.
  • Nel caso $\ell=1$, questa misura coincide con la classica distribuzione di Ewens sul gruppo simmetrico, dove il peso dipende dal numero di cicli della singola permutazione.
  • Per $\ell \ge 2$, questa rappresenta una generalizzazione naturale alla struttura delle orbite congiunte di permutazioni commutanti.
• Obiettivo: Dimostrare un Teorema del Limite Centrale (CLT) per la variabile $K_{\ell,n}$ quando $n \to \infty$, determinando l'asintotica della media e della varianza e la convergenza alla distribuzione normale standard.

2. Metodologia

La dimostrazione si basa su un'analisi asintotica rigorosa delle funzioni generatrici, utilizzando tecniche di analisi complessa e metodi di punto di sella (saddle point analysis).

• Funzioni Generatrici: Si parte dalla funzione generatrice ordinaria $G_\ell(x, z) = \sum_{n=0}^\infty H_{\ell,n}(x) z^n$, dove $H_{\ell,n}(x)$ è il polinomio che codifica il numero di configurazioni con $k$ orbite. Grazie a una formula di Bryan e Fulman, questa funzione è espressa come un prodotto infinito:
  $$G_\ell(x, z) = \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}}$$
• Formula di Cauchy e Punto di Sella: I coefficienti $H_{\ell,n}(x)$ sono estratti tramite la formula integrale di Cauchy. L'integrale viene valutato ottimizzando il raggio del percorso di integrazione $r = e^{-t}$ per minimizzare il modulo dell'integrando. Questo porta alla definizione di un parametro critico $t_n$ determinato dall'equazione $n - x Z_\ell^{[\ell]}(t_n) = 0$, dove $Z_\ell^{[\ell]}(t)$ è una serie speciale definita dagli autori.
• Analisi delle Serie $Z$: Gli autori introducono e studiano le funzioni $Z_\alpha^{[\ell]}(t)$, che sono analoghi discreti di integrali di tipo Gamma incompleto. Dimostrano proprietà di convergenza e asintotiche per $t \to 0^+$, collegandole ai valori speciali della funzione Zeta di Riemann ($\zeta(s)$) e alla funzione Gamma di Eulero.
• Stima degli Integrali: L'integrale viene suddiviso in due regioni:
  1. Arco principale (Major arc): Intorno a $\theta = 0$, dove l'integrando è massimo. Qui si utilizza un'espansione di Taylor per approssimare l'integrando con una Gaussiana.
  2. Arco secondario (Minor arc): Dove l'integrando decade esponenzialmente e il contributo è trascurabile.
• Teorema di Curtiss: Per stabilire la convergenza in distribuzione, gli autori utilizzano il teorema di continuità per le funzioni generatrici dei momenti (moment generating functions), dimostrando che il logaritmo della funzione generatrice dei momenti normalizzata converge a $s^2/2$.

3. Risultati Chiave

A. Asintotica di Media e Varianza

Per $\ell \ge 2$ e $x > 0$, gli autori dimostrano che, al crescere di $n$:

• Media:
  $$\mathbb{E}[K_{\ell,n}] \sim (x K_\ell)^{1/\ell} \frac{1}{\ell-1} n^{\frac{\ell-1}{\ell}}$$
• Varianza:
  $$\text{Var}(K_{\ell,n}) \sim (x K_\ell)^{1/\ell} \frac{1}{\ell(\ell-1)} n^{\frac{\ell-1}{\ell}}$$
  dove la costante $K_\ell$ è definita come:
  $$K_\ell = (\ell-1)! \, \zeta(2)\zeta(3)\cdots\zeta(\ell)$$
  (Nota: per $\ell=1$, la formula si riduce al caso logaritmico classico di Goncharov/Ewens, con media e varianza $\sim x \ln n$).

B. Teorema del Limite Centrale

La variabile normalizzata converge in distribuzione (e nel senso dei momenti) alla normale standard:
$$\frac{K_{\ell,n} - \mathbb{E}[K_{\ell,n}]}{\sqrt{\text{Var}(K_{\ell,n})}} \xrightarrow{d} \mathcal{N}(0, 1)$$
Questo risultato generalizza il CLT di Hansen (per $\ell=1$) e il classico risultato di Goncharov (per il caso uniforme $\ell=1, x=1$).

C. Connessioni Strutturali

• Le configurazioni con una singola orbita sono identificate a "tori discreti $\ell$-dimensionali twistati".
• Il lavoro collega la combinatoria delle permutazioni commutanti alla teoria dei numeri (funzione somma dei divisori $\sigma(j)$ per $\ell=2$) e alla teoria dei gruppi (omomorfismi da $\mathbb{Z}^\ell$ a $S_n$).

4. Contributi Principali

1. Generalizzazione del CLT: Estende il teorema del limite centrale dal caso delle singole permutazioni ($\ell=1$) a tuple di permutazioni commutanti ($\ell \ge 2$), un problema combinatorio significativamente più complesso.
2. Analisi Asintotica di Ordine Superiore: Fornisce una prova completa e auto-contenuta che gestisce un caso di "polo multiplo" nell'analisi di punto di sella, collegandosi alle asintotiche di Hardy-Ramanujan e al teorema di Meinardus, ma con tecniche adattate a questa specifica struttura di prodotto infinito.
3. Nuova Misura di Probabilità: Introduce formalmente una misura di tipo Ewens per le tuple commutanti, aprendo la strada a nuovi studi in probabilità combinatoria.
4. Accessibilità: Nonostante l'uso di tecniche analitiche avanzate, la dimostrazione è scritta in modo da essere accessibile a un pubblico più ampio, evitando di dipendere eccessivamente da risultati esterni non dimostrati.

5. Significato e Prospettive Future

• Conferma della Log-Concavità: Il risultato fornisce una conferma debole (in senso asintotico) alla congettura di log-concavità per i numeri $A(\ell, n, k)$, poiché la densità della Gaussiana è una funzione log-concava.
• Modelli di Matrici Casuali: Le tuple di permutazioni commutanti possono essere viste come modelli discreti di matrici unitarie commutanti casuali. Questo lavoro offre un punto di riferimento per lo studio di varietà di commutazione (commuting varieties) in contesti probabilistici.
• Teoria dei Gruppi: Il lavoro si collega allo studio degli omomorfismi casuali da gruppi finitamente presentati (in particolare gruppi di Artin ad angolo retto) a gruppi simmetrici.
• Direzioni Future: Gli autori suggeriscono lo studio di deviazioni grandi e moderate, l'upgrade a un CLT locale, e l'estensione della misura per pesi dipendenti dalla dimensione o dalla struttura fine delle orbite (gas di polimeri).

In sintesi, l'articolo rappresenta un avanzamento significativo nella comprensione della struttura statistica delle permutazioni commutanti, unendo strumenti potenti di analisi complessa a problemi profondi di combinatoria e teoria dei gruppi.