Large Deviations for the d'Arcais Numbers

Sintesi Tecnica: Grandi Deviazioni per i Numeri di d'Arcais

Enunciato del Problema
Questo articolo investiga il comportamento asintotico dei coefficienti dei polinomi di d'Arcais, indicati con $P_n(z)$. Tali polinomi sono definiti tramite la funzione generatrice:
$$\sum_{n=0}^{\infty} P_n(z) q^n = \exp\left(-z \ln((q; q)_\infty)\right)$$
dove $(q; q)_\infty = \prod_{k=1}^\infty (1-q^k)$ è il simbolo $q$-Pochhammer. I coefficienti sono dati da $P_n(z) = \sum_{k=1}^n A(2, n, k) z^k / n!$. L'oggetto principale di studio è la sequenza di coefficienti normalizzata $a(n, k) = k! A(2, n, k) / n!$.

Il lavoro è motivato dai recenti risultati di Abdesselam riguardanti il numero di $\ell$-uple commutanti di permutazioni di $[n]$ con una dimensione dell'orbita fissata. Mentre Abdesselam ha stabilito un Teorema del Limite Centrale Locale (LCLT) e la log-concavità per la "regione di tipicità" (dove la dimensione dell'orbita scala come $x\sqrt{n}$), questo articolo si concentra sul regime delle grandi deviazioni (large deviation regime). Nello specifico, analizza l'asintotica di $a(n, k)$ al tendere di $n \to \infty$ dove il rapporto $k_n/n \to \kappa \in [0, 1)$, assumendo $k_n \to \infty$.

Metodologia
La dimostrazione si basa sul metodo del punto di sella (specificamente la versione di Hayman) applicato alla formula integrale di Cauchy. Gli autori utilizzano la struttura della funzione generatrice dei numeri di d'Arcais, che sono identificati come la trasformata di Bell dell'indice di abbondanza $\sigma(n)/n$.

I passaggi tecnici chiave includono:

1. Analisi della Funzione Generatrice: Gli autori definiscono una funzione $F(y) = -\ln((e^{-y}; e^{-y})_\infty)$, che mette in relazione la funzione generatrice dell'indice di abbondanza. Analizzano le proprietà di $F(y)$, le sue derivate e le sue proprietà di simmetria modulare derivate dalla funzione eta di Dedekind.
2. Integrazione di Contorno: Il coefficiente $a(n, k)$ è espresso come un integrale di contorno:
   $$a(n, k) = \frac{1}{2\pi i} \oint z^{-n} \exp\left(k \ln(-\ln((z; z)_\infty))\right) dz$$
   Il cammino di integrazione è un cerchio di raggio $e^{-y}$, dove $y$ è scelto per soddisfare l'equazione del punto di sella.
3. Archi Maggiori e Minori: Seguendo il metodo del cerchio di Hardy-Ramanujan, l'integrale viene suddiviso in un "arco maggiore" (un piccolo intorno di $\theta=0$) e un "arco minore".
   • Arco Maggiore: L'integrando viene espanso utilizzando gli sviluppi di Taylor. Gli autori stabiliscono limiti uniformi per i coefficienti e i termini di errore quando $y \to 0^+$, utilizzando la simmetria modulare di $F(y)$ per gestire la singolarità in $y=0$.
   • Arco Minore: Vengono derivati limiti uniformi per dimostrare che il contributo dall'arco minore è esponenzialmente piccolo rispetto all'arco maggiore. Ciò comporta la dimostrazione di un limite inferiore su $1 - |F(y-i\theta)|^2/F(y)^2$ utilizzando la misura di probabilità $\rho_n(y)$ associata all'indice di abbondanza.
4. Trasformata di Legendre-Fenchel: La funzione di tasso delle grandi deviazioni è identificata come la trasformata di Legendre-Fenchel di una specifica funzione $g$, derivata dall'inversa di $f(y) = \ln(F(y))$.

Contributi Chiave e Risultati

1. Formula di Grande Deviazione di Tipo Bahadur-Rao:
   Il risultato principale (Teorema 3.1) fornisce una formula asintotica per $a(n, k_n)$ al tendere di $n \to \infty$ con $k_n/n \to \kappa \in [0, 1)$ e $k_n \to \infty$:
   $$\frac{k_n! A(2, n, k_n)}{n!} \sim \frac{\exp(k_n \ln(F(y_n)) + n y_n)}{\sqrt{2\pi k_n \left( \frac{F''(y_n)}{F(y_n)} - \left(\frac{F'(y_n)}{F(y_n)}\right)^2 \right)}}$$
   Qui, $y_n$ è l'unica soluzione a $-F'(y_n)/F(y_n) = 1/\kappa_n$ (dove $\kappa_n = k_n/n$).

2. Log-concavità nel Regime delle Grandi Deviazioni:
   Il Corollario 3.2 stabilisce che la sequenza $a(n, k)$ è log-concava per $n$ sufficientemente grande in questo regime. Nello specifico, il rapporto $\frac{a(n, k)^2}{a(n, k-1)a(n, k+1)}$ è mostrato essere positivo e asintoticamente equivalente a una specifica funzione di $y_n$ e $n$. Ciò estende i risultati di log-concavità precedentemente noti solo per la regione di tipicità ($k \sim \sqrt{n}$) alla regione delle grandi deviazioni.

3. Asimmetria della Funzione di Tasso:
   Il lavoro dimostra che la funzione di tasso delle grandi deviazioni non è simmetrica. Ciò è dimostrato mostrando che la funzione $F(y)F(y + \ln(F(y)))$ non è identicamente uguale a 1, una condizione che sarebbe necessaria per la simmetria. L'asimmetria è legata alle specifiche proprietà modulari della funzione eta di Dedekind.

4. Connessione con l'Indice di Abbondanza:
   Gli autori relazionano esplicitamente i numeri di d'Arcais con la trasformata di Bell dell'indice di abbondanza $\sigma(n)/n$. L'analisi asintotica si basa fortemente sulle proprietà analitiche della funzione generatrice dell'indice di abbondanza, ovvero $F(y)$.

Significatività e Ambito
Il lavoro sostiene di fornire una derivazione alternativa della log-concavità per il caso $\ell=2$ (coppie di permutazioni commutanti) in un regime distinto dai risultati LCLT di Abdesselam. Gli autori osservano che per $\ell=2$, la funzione generante pertinente possiede simmetria modulare (tramite la funzione eta di Dedekind), il che facilita la derivazione di tali asintotiche.

Gli autori sono modesti riguardo all'ambito dei loro risultati:

• Si concentrano strettamente su $\ell=2$. Non estendono i risultati a $\ell > 2$, notando che, sebbene Abdesselam abbia risultati per la regione di tipicità per $\ell$ più elevati, il regime delle grandi deviazioni per $\ell > 2$ rimane un problema aperto che richiede una comprensione ulteriore delle potenziali proprietà quasi-modulari.
• Riconoscono che i loro risultati coprono la regione in cui $k/n \to \kappa < 1$, lasciando il caso limite in cui $n-k$ è dell'ordine di 1 (coperto da Tripathi) e la regione in cui $k/n \to 1$ al di fuori dell'attuale ambito.
• Il lavoro funge da applicazione autosufficiente del metodo del cerchio senza frazioni di Farey, contrastando con l'apparato più complesso richiesto direttamente per l'indice di abbondanza, e serve come introduzione alla formula delle partizioni di Hardy-Ramanujan nell'appendice.

In sintesi, il saggio stabilisce precise asintotiche di grandi deviazioni per i numeri di d'Arcais, dimostra la log-concavità in questo regime e sottolinea il ruolo della simmetria modulare in questi problemi combinatori, rimandando la generalizzazione a $\ell$-uple commutanti di ordine superiore a lavori futuri.