Extending Andrews and Newman's refinement of the crank-mex theorem

Enunciato del Problema
Il documento affronta il raffinamento del "teorema crank–mex", un risultato stabilito da Andrews e D. Newman (2020) e Hopkins e Sellers (2020). Il teorema originale afferma che il numero di partizioni intere di $n$ con un crank non negativo ($M_{\ge 0}(n)$) è uguale al numero di partizioni di $n$ con un minimal excludant (mex) dispari ($X_o(n)$). Andrews e M. Newman hanno recentemente raffinato questa uguaglianza tracciando il numero di parti maggiori di uno, denotato dalla statistica $\beta(\lambda)$. Essi hanno dimostrato analiticamente che $x_o(n, k) = m_{\ge 0}(n, k)$, ma hanno richiesto una prova combinatoria.

L'attuale lavoro estende questa linea di indagine a un insieme complementare di statistiche di partizione. Nello specifico, investiga l'equinumerosità tra:

1. Partizioni con un mex pari ($X_e(n)$).
2. Partizioni con un punto fisso (dove $\lambda_i = i$ per qualche $i$).
3. Partizioni con un crank negativo ($M_{< 0}(n)$).
4. Partizioni con un crank positivo ($M_{> 0}(n)$).

Gli autori mirano a stabilire e raffinare queste relazioni tracciando il numero di parti maggiori di uno ($k$) e, per il caso del punto fisso, il conteggio specifico di tali parti.

Metodologia
Il documento impiega due metodologie distinte per dimostrare il teorema principale:

1. Dimostrazione Analitica: Gli autori utilizzano serie $q$ e funzioni generatrici. Definiscono funzioni generatrici per ciascuno dei quattro insiemi di partizioni, introducendo una variabile $z$ per tracciare il numero di parti maggiori di uno e $q$ per tracciare la somma delle parti. Per gli insiemi relativi al crank, utilizzano la nota funzione generatrice del crank derivata da Andrews e Garvan (1988). Attraverso manipolazioni algebriche, inclusi l'uso di trasformate di Heine e teoremi $q$-binomiali, dimostrano che le funzioni generatrici per questi insiemi sono identiche (o correlate da un semplice fattore di $z$), provando così l'equinumerosità.
2. Dimostrazione Combinatoria: Gli autori costruiscono biezioni esplicite tra gli insiemi.
   • Mex Pari $\leftrightarrow$ Punti Fissi: Adattano una biiezione generalizzata di Konan (2023) che connette le partizioni con mex dispari alle partizioni senza punti fissi. Modificano questa per connettere le partizioni con mex pari alle partizioni con un punto fisso, analizzando attentamente come il numero di parti maggiori di uno cambi durante la mappatura iterativa.
   • Punti Fissi $\leftrightarrow$ Crank Negativo: Definiscono una biiezione basata sulla relazione tra l'indice del punto fisso, il numero di 1 ($\omega(\lambda)$) e il crank. Vengono stabiliti lemmi per mostrare che le partizioni con un punto fisso e crank negativo soddisfano specifici limiti su $\omega(\lambda)$. La mappa prevede la sostituzione di un punto fisso $i$ con $i$ unità (o viceversa), aggiustando di conseguenza il conteggio delle parti maggiori di uno.
   • Crank Negativo $\leftrightarrow$ Crank Positivo: Viene costruita una biiezione diretta tra le partizioni con crank negativo e quelle con crank positivo. Questa mappa prevede lo spostamento delle parti e del numero di 1 per invertire il segno del crank aumentando il numero di parti maggiori di uno di esattamente uno.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1, che stabilisce che per interi positivi $n$ e $k$, i seguenti quattro insiemi sono equinumerosi:

• (a) Partizioni di $n$ con mex pari e $k$ parti maggiori di 1.
• (b) Partizioni di $n$ con un punto fisso e $k+1$ parti maggiori di 1.
• (c) Partizioni di $n$ con crank negativo e $k$ parti maggiori di 1.
• (d) Partizioni di $n$ con crank positivo e $k+1$ parti maggiori di 1.

Matematicamente, ciò è espresso come:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

Il documento fornisce sia dimostrazioni analitiche che combinatorie per questo teorema. Le dimostrazioni combinatorie si basano su una catena di biezioni:
$$X_e(n, k) \xrightarrow{\text{mappa di Konan}} (1) \times G_1(n-1, k) \xrightarrow{\text{mappa del punto fisso}} F(n, k+1) \xrightarrow{\text{mappa del crank}} M_{< 0}(n, k) \xrightarrow{\text{mappa del crank}} M_{> 0}(n, k+1)$$

Gli autori affrontano anche il caso specifico in cui $k=0$, notando una minore eccezione riguardante la partizione $(1^n)$ e introducendo la notazione $F^*(n, k+1)$ per gestire questa condizione al contorno.

Significatività e Limitazioni
Il documento sostiene di aver esteso con successo il raffinamento del teorema crank–mex agli insiemi complementari che coinvolgono il mex pari, i punti fissi e i crank con segno. Fornendo sia dimostrazioni analitiche che combinatorie, il lavoro offre una comprensione strutturale più profonda di queste statistiche di partizione.

Tuttove, gli autori sono modesti riguardo alla risoluzione del problema aperto posto da Andrews e Newman. Essi dichiarano esplicitamente che i loro risultati non forniscono una dimostrazione combinatoria per il raffinamento $x_o(n, k) = m_{\ge 0}(n, k)$. Identificano due "impedimenti insormontabili" nel raffinare le biezioni esistenti di Konan per questo caso specifico:

1. Non esiste una biiezione tra $X_o(n)$ e l'insieme delle partizioni senza punti fissi ($G(n)$) che preservi il numero di parti maggiori di uno, poiché le distribuzioni dei valori di $\beta$ differiscono fondamentalmente tra questi insiemi.
2. Non esiste una biiezione tra $M_{\le 0}(n, k)$ e $M_{\ge 0}(n, k+1)$ che preservi le statistiche necessarie, anche tenendo conto della parità delle partizioni con crank zero.

Di conseguenza, il documento conclude che soddisfare la richiesta di una dimostrazione combinatoria del raffinamento del mex dispari richiederebbe probabilmente una connessione diretta tra $X_o(n)$ e $M_{\ge 0}(n)$ o la scoperta di insiemi equinumerosi completamente nuovi, piuttosto che un'estensione delle attuali biezioni.