Parity of parts and excludant statistics in partitions

Titolo: Parità delle parti e statistiche escludenti nelle partizioni

Autore: Gargi Mukherjee
Ambito: Teoria dei numeri, Combinatoria delle partizioni, Serie $q$.

1. Il Problema e il Contesto

Il paper si concentra sullo studio di statistiche escludenti (in particolare il minimal excludant o mex e il maximal excludant o max) applicate a classi specifiche di partizioni di un intero non negativo $n$.
Nella teoria delle partizioni, il mex di una partizione $\lambda$ è definito come il più piccolo intero positivo che non appare come parte in $\lambda$. Il max è il più grande intero non negativo, strettamente inferiore alla parte più grande di $\lambda$, che non appare in $\lambda$.

L'obiettivo principale dell'autore è analizzare queste statistiche non solo nel loro valore assoluto, ma in base alla loro parità (dispari o pari) e alla loro somma totale, all'interno di due contesti restrittivi:

1. Partizioni in parti dispari distinti (senza ripetizioni di parti dispari).
2. Partizioni in parti pari distinti (senza ripetizioni di parti pari).

Il lavoro mira a stabilire le funzioni generatrici di queste statistiche, collegandole a forme modulari quantistiche e funzioni di Ramanujan, e a derivarne il comportamento asintotico.

2. Metodologia

L'autore utilizza un approccio ibrido che combina strumenti analitici avanzati e ragionamenti combinatori:

• Trasformazioni di Serie $q$: Vengono impiegati teoremi fondamentali come il teorema binomiale $q$ (Cauchy), le identità di Gauss, la trasformazione di Heine e il teorema di Andrews per manipolare le funzioni generatrici e trasformarle in forme riconoscibili (come le funzioni mock theta di Ramanujan o le somme di Nahm).
• Metodo Tauberiano: Per ottenere le stime asintotiche per $n \to \infty$, l'autore applica il teorema di Ingham. Questo richiede l'analisi del comportamento delle funzioni generatrici quando $q = e^{-t}$ e $t \to 0^+$.
• Argomenti Combinatori: Per dimostrare le proprietà di monotonia (crescita delle sequenze) e alcune identità, vengono costruite mappe iniettive e biettive tra insiemi di partizioni. In particolare, viene utilizzata una costruzione basata su diagrammi di Ferrers spostati (shifted Ferrers diagrams) e profili a scala per stabilire corrispondenze biunivoche.

3. Contributi Chiave e Risultati Principali

Il paper è strutturato attorno a una serie di teoremi che coprono diverse statistiche:

A. Statistiche di Parità del Minimal Excludant (mex)

• Partizioni in parti dispari distinti ($Pod(n)$):

  • Vengono definite $ao_{od}(n)$ e $ae_{od}(n)$ come il numero di partizioni in parti dispari distinti dove il mex è rispettivamente dispari o pari.
  • Teorema 1.1: Le funzioni generatrici sono espresse in termini della funzione $v_2(q)$ di Andrews (una somma di tipo Nahm) e di altre serie $q$.
  • Teorema 1.2: Si dimostra la monotonia stretta: $ao_{od}(n+1) > ao_{od}(n)$ per $n \ge 1$ e $ae_{od}(n+1) > ae_{od}(n)$ per $n \ge 7$.
  • Teorema 1.3: Vengono derivati i termini asintotici principali. Entrambe le sequenze crescono esponenzialmente come $e^{\pi\sqrt{n}}$, con coefficienti specifici dipendenti dalla radice quadrata di $n$.

• Somma dei valori di mex (dispari e pari):

  • Vengono studiate le somme $\sigma_{od}^{moex}(n)$ (somma dei mex dispari) e $\sigma_{od}^{meex}(n)$ (somma dei mex pari).
  • Teorema 1.4 & 1.5: Viene stabilita una relazione profonda con la funzione $\sigma^*(q)$ di Ramanujan. Un risultato sorprendente è l'identità $\sigma_{od}^{meex}(n) = 2 \cdot ped(n)$, dove $ped(n)$ è il numero di partizioni in parti pari distinti.
  • Teorema 1.6 & 1.7: Viene dimostrata la monotonia e derivata l'asintotica per $\sigma_{od}^{moex}(n)$.

• Partizioni in parti pari distinti ($Ped(n)$):

  • Vengono analizzate le statistiche analoghe per le partizioni con parti pari distinti, collegando le funzioni generatrici alla funzione $\sigma(q)$ di Ramanujan (Teorema 1.12).

B. Statistiche di Parità del Maximal Excludant (max)

• L'autore estende l'analisi al max per le partizioni in parti dispari distinti.
• Teorema 1.9: Le funzioni generatrici per la parità del max sono espresse in termini della funzione mock theta di ordine 3 di Ramanujan, $\nu(q)$, e di altre serie complesse.
• Teorema 1.10: Vengono fornite le funzioni generatrici per le somme dei valori di max (dispari e pari), che coinvolgono somme infinite complesse e prodotti infiniti.

C. Identità Combinatorie

• Teorema 1.8: Viene dimostrata un'identità che collega il numero di partizioni in parti dispari distinti con un certo numero di parti maggiori del meex (minimal even excludant) al numero di partizioni con parti pari multipli di 4.

4. Significato e Impatto

1. Collegamento con le Forme Modulari Quantistiche: Il lavoro dimostra che le statistiche escludenti, spesso considerate puramente combinatorie, sono intrinsecamente legate a oggetti analitici profondi come le forme modulari quantistiche ($\sigma(q)$, $\sigma^*(q)$) e le funzioni mock theta di Ramanujan. Questo arricchisce la comprensione della struttura algebrica delle partizioni.
2. Nuove Identità Asintotiche: Fornisce le prime stime asintotiche per le distribuzioni di parità delle statistiche escludenti, offrendo una visione quantitativa di come queste statistiche si comportano per $n$ grandi.
3. Metodologia Ibrida: Il paper illustra efficacemente come combinare tecniche analitiche (serie $q$, metodo Tauberiano) con costruzioni combinatorie esplicite (bijections) per risolvere problemi di teoria delle partizioni che resistono a un singolo approccio.
4. Apertura di Nuove Direzioni: Nella sezione conclusiva, l'autore formula diversi problemi aperti (Problemi 7.1–7.6), chiedendo, ad esempio, se esistano dimostrazioni combinatorie per certe identità algebriche o se sia possibile derivare formule esatte di tipo Rademacher per queste sequenze.

In sintesi, il paper di Mukherjee rappresenta un contributo significativo alla teoria moderna delle partizioni, estendendo il concetto di "escludente" oltre la semplice contezza e rivelando connessioni inaspettate con la teoria delle forme modulari e le funzioni speciali di Ramanujan.