On the number of missing integers in partitions

Titolo: Sul numero di interi mancanti nelle partizioni

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria delle partizioni, un'area della combinatoria e della teoria dei numeri. Negli ultimi anni, il concetto di minimal excludant (mex), ovvero il più piccolo intero positivo mancante in una partizione, ha ricevuto rinnovata attenzione grazie ai lavori di Andrews e Newman.
Gli autori estendono questo studio concentrandosi non sul singolo valore mancante, ma sull'insieme completo degli interi mancanti.

• Definizione: Un intero mancante in una partizione $\pi$ è definito come un intero positivo che è strettamente minore della parte massima di $\pi$ e che non appare come parte nella partizione stessa.
• Obiettivo: Studiare la distribuzione e le proprietà statistiche del numero di tali interi mancanti in due classi di partizioni:
  1. Partizioni non vincolate (Unrestricted partitions): Partizioni standard di un intero $n$.
  2. Overpartizioni: Partizioni in cui la prima occorrenza di un intero può essere sovrascritta (overlined).

L'obiettivo è contare il numero di partizioni di $n$ che contengono esattamente $m$ interi mancanti (maggiore o uguali a un certo $j$), analizzare le funzioni generatrici associate, stabilire congruenze e formulare congetture su disuguaglianze di tipo "bias" (squilibrio) tra il numero di partizioni con un numero pari o dispari di interi mancanti.

2. Metodologia

Gli autori utilizzano prevalentemente tecniche analitiche basate sulle serie $q$ e sulle funzioni generatrici.

• Notazione $q$-prodott: Vengono utilizzati i prodotti $q$-Pochhammer $(a; q)_n$ e $(a; q)_\infty$.
• Teorema Binomiale $q$: Strumento fondamentale per manipolare le serie e derivare identità chiuse.
• Identità del Triplo Prodotto di Jacobi: Utilizzata per stabilire congruenze modulo interi specifici (3 e 4).
• Differenziazione: Vengono applicate derivate rispetto a un parametro ausiliario $w$ (che traccia il numero di interi mancanti) per isolare coefficienti specifici, come il numero di partizioni con esattamente un intero mancante ($P(n, 1)$).
• Interpretazione Combinatoria: Le identità analitiche vengono spesso accompagnate da interpretazioni combinatorie che collegano le statistiche degli interi mancanti ad altre proprietà delle partizioni (es. parti ripetute, parti distinte).

3. Risultati Chiave e Contributi

A. Partizioni Non Vincolate

1. Funzione Generatrice Generale:
   Viene derivata una formula chiusa per la funzione generatrice bivariate $P_j(n, m)$, che conta le partizioni di $n$ con esattamente $m$ interi mancanti $\ge j$.
   $$\sum_{n=1}^\infty \sum_{m=0}^\infty P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q)_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{(\frac{w-1}{w}; q)_\ell}{(q; q)_\ell} (wq)^\ell \right)$$

2. Caso $j=1$ (Interi mancanti totali):
   Per $j=1$, la formula si semplifica notevolmente:
   $$\sum_{n=0}^\infty \sum_{m=0}^\infty P(n, m) w^m q^n = \frac{((w-1)q; q)_\infty}{(wq; q)_\infty}$$
   Ponendo $w=0$, si ottiene la funzione generatrice per le partizioni "senza buchi" (gap-free), confermando l'identità classica $\prod (1+q^n)$.

3. Interpretazione per $P(n, 1)$:
   Derivando rispetto a $w$ e ponendo $w=0$, gli autori dimostrano che il numero di partizioni con esattamente un intero mancante è equinumeroso al numero di partizioni in cui esattamente una parte si ripete due volte e tutte le altre sono distinte.

4. Parità e Congruenze:
   Vengono definiti $Me(n)$ (partizioni con numero pari di interi mancanti) e $Mo(n)$ (numero dispari).

   • Identità: La differenza $Me(n) - Mo(n)$ ha come funzione generatrice $\frac{(-2q; q)_\infty}{(-q; q)_\infty}$.
   • Teorema di Congruenza (Modulo 3):
     $$Me(n) - Mo(n) \equiv \begin{cases} 0 \pmod 3 & \text{se } n \text{ non è un quadrato} \\ 1 \pmod 3 & \text{se } n \text{ è un quadrato dispari} \\ 2 \pmod 3 & \text{se } n \text{ è un quadrato pari} \end{cases}$$

5. Congetture:

   • Congettura 2.7: Per $n > 34$, $Me(n) > Mo(n)$ (c'è un bias verso un numero pari di interi mancanti).
   • Congettura 2.8: Per $n > 10$, $Me(n) - Mo(n) < q(n)$, dove $q(n)$ è il numero di partizioni in parti distinte.

6. Generalizzazione (Teorema 2.9):
   Viene studiato il numero totale di interi distinti $\le$ parte massima che appaiono con molteplicità $< k$ in tutte le partizioni di $n$. Si dimostra che questo numero è uguale al numero totale di parti diverse da $k$ in tutte le partizioni di $n$.

B. Overpartizioni

Gli autori estendono i risultati alle overpartizioni, dove le parti possono essere sovrascritte.

1. Funzione Generatrice: Viene derivata un'analoga formula chiusa per le overpartizioni con $m$ interi mancanti.
   $$\sum \sum \bar{P}(n, m) w^m q^n = \frac{2w^{-j}(-q; q)_{j-1}}{(\frac{w-2}{w}; q)_j} \left( \frac{((w-2)q; q)_\infty}{(wq; q)_\infty} - \dots \right)$$
2. Caso $j=1$: La funzione generatrice diventa $\frac{((w-2)q; q)_\infty}{(wq; q)_\infty}$.
3. Interpretazione per $\bar{P}(n, 1)$: Corrisponde alle overpartizioni dove una parte appare esattamente due volte (in combinazioni specifiche di sovrascrittura) e le altre sono distinte.
4. Congruenze (Modulo 4):
   Per le overpartizioni, la differenza $Me(n) - Mo(n)$ soddisfa:
   $$Me(n) - Mo(n) \equiv \begin{cases} 0 \pmod 4 & \text{se } n \text{ non è un quadrato} \\ 2 \pmod 4 & \text{se } n \text{ è un quadrato} \end{cases}$$
5. Congettura di Bias: Per $n > 27$, $Me(n) > Mo(n)$ anche per le overpartizioni.

4. Significato e Impatto

• Nuova Statistica: Il lavoro introduce e formalizza lo studio degli "interi mancanti" come una statistica globale, andando oltre il semplice mex.
• Connessioni Profonde: Stabilisce legami sorprendenti tra il numero di interi mancanti e altre statistiche classiche, come la ripetizione delle parti e la distinzione delle parti.
• Strumenti Analitici: Dimostra l'efficacia delle serie $q$ e delle identità di Jacobi nell'analizzare proprietà di parità e congruenze in contesti combinatori complessi.
• Direzioni Future: Il paper apre nuove strade di ricerca, chiedendo dimostrazioni biunivoche (combinatorie) per le identità trovate (attualmente solo analitiche), l'estensione delle congruenze ad altri moduli e lo sviluppo di formule asintotiche o esatte (tipo Hardy-Ramanujan-Rademacher) per le differenze $Me(n) - Mo(n)$.

In sintesi, questo articolo arricchisce significativamente la teoria delle partizioni fornendo un quadro completo e rigoroso per la contea e l'analisi degli interi mancanti, sia per le partizioni classiche che per le overpartizioni, con risultati che spaziano da identità generatrici esatte a congetture su asimmetrie statistiche.