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

Probleemstelling
Het artikel behandelt de verfijning van de "crank–mex stelling", een resultaat dat is vastgesteld door Andrews en D. Newman (2020) en Hopkins en Sellers (2020). De oorspronkelijke stelling stelt dat het aantal gehele partiën van $n$ met een niet-negatieve crank ($M_{\ge 0}(n)$) gelijk is aan het aantal partiën van $n$ met een oneven minimale excludent (mex) ($X_o(n)$). Andrews en M. Newman hebben deze gelijkheid recentelijk verfijnd door het aantal delen groter dan één te volgen, aangeduid met de statistiek $\beta(\lambda)$. Zij bewezen analytisch dat $x_o(n, k) = m_{\ge 0}(n, k)$, maar vroegen om een combinatorisch bewijs.

Het huidige werk breidt deze lijn van onderzoek uit naar een complementaire set partiestatistieken. Specifiek onderzoekt het de evenumerositeit tussen:

1. Partiën met een even mex ($X_e(n)$).
2. Partiën met een vast punt (waar $\lambda_i = i$ voor een bepaalde $i$).
3. Partiën met een negatieve crank ($M_{< 0}(n)$).
4. Partiën met een positieve crank ($M_{> 0}(n)$).

De auteurs beogen deze relaties vast te stellen en te verfijnen door het aantal delen groter dan één ($k$) te volgen en, voor het geval van het vaste punt, de specifieke telling van dergelijke delen.

Methodologie
Het artikel maakt gebruik van twee verschillende methodologieën om de hoofdstelling te bewijzen:

1. Analytisch Bewijs: De auteurs maken gebruik van $q$-reeksen en genererende functies. Zij definiëren genererende functies voor elk van de vier partiële verzamelingen, waarbij een variabele $z$ wordt geïntroduceerd om het aantal delen groter dan één te volgen en $q$ om de som van de delen te volgen. Voor de crank-gerelateerde verzamelingen gebruiken zij de bekende crank genererende functie afgeleid door Andrews en Garvan (1988). Door middel van algebraïsche manipulaties, inclusief het gebruik van Heine-transformaties en $q$-binomiale stellingen, tonen zij aan dat de genererende functies voor deze verzamelingen identiek zijn (of gerelateerd zijn door een eenvoudige factor $z$), waarmee de evenumerositeit wordt bewezen.
2. Combinatorisch Bewijs: De auteurs construeren expliciete bijecties tussen de verzamelingen.
   • Even Mex $\leftrightarrow$ Vaste Punten: Zij passen een gegeneraliseerde bijectie van Konan (2023) aan die partiën met een oneven mex verbindt met partiën zonder vaste punten. Zij modificeren dit om een verbinding te leggen tussen even mex-partiën en partiën met een vast punt, waarbij zij zorgvuldig analyseren hoe het aantal delen groter dan één verandert tijdens de iteratieve mapping.
   • Vaste Punten $\leftrightarrow$ Negatieve Crank: Zij definiëren een bijectie gebaseerd op de relatie tussen de vaste punt-index, het aantal enen ($\omega(\lambda)$) en de crank. Lemma's worden opgesteld om aan te tonen dat partiën met een vast punt en een negatieve crank specifieke grenzen op $\omega(\lambda)$ voldoen. De mapping behelst het vervangen van een vast punt $i$ door $i$ enen (of vice versa), waarbij de telling van delen groter dan één dienovereenkomstig wordt aangepast.
   • Negatieve Crank $\leftrightarrow$ Positieve Crank: Een directe bijectie wordt geconstrueerd tussen partiën met een negatieve crank en partiën met een positieve crank. Deze mapping behelst het verschuiven van delen en het aantal enen om het teken van de crank te inverteren en het aantal delen groter dan één met precies één te verhogen.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1, die vaststelt dat voor positieve gehele getallen $n$ en $k$, de volgende vier verzamelingen evenumerabel zijn:

• (a) Partiën van $n$ met een even mex en $k$ delen groter dan 1.
• (b) Partiën van $n$ met een vast punt en $k+1$ delen groter dan 1.
• (c) Partiën van $n$ met een negatieve crank en $k$ delen groter dan 1.
• (d) Partiën van $n$ met een positieve crank en $k+1$ delen groter dan 1.

Dit wordt wiskundig uitgedrukt als:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

Het artikel biedt zowel analytische als combinatorische bewijzen voor deze stelling. De combinatorische bewijzen rusten op een keten van bijecties:
$$X_e(n, k) \xrightarrow{\text{Konan's map}} (1) \times G_1(n-1, k) \xrightarrow{\text{Fixed point map}} F(n, k+1) \xrightarrow{\text{Crank map}} M_{< 0}(n, k) \xrightarrow{\text{Crank map}} M_{> 0}(n, k+1)$$

De auteurs adresseren ook het specifieke geval waar $k=0$, waarbij zij een kleine uitzondering vermelden met betrekking tot de partiële $(1^n)$ en de notatie $F^*(n, k+1)$ introduceren om deze randvoorwaarde te behandelen.

Betekenis en Beperkingen
Het artikel claimt succesvol de verfijning van de crank–mex stelling uit te breiden naar de complementaire verzamelingen met betrekking tot even mex, vaste punten en gesigneerde cranks. Door zowel analytische als combinatorische bewijzen te bieden, biedt het werk een dieper structureel begrip van deze partiestatistieken.

De auteurs zijn echter bescheiden over de oplossing van het openstaande probleem geponeerd door Andrews en Newman. Zij stellen expliciet dat hun resultaten niet een combinatorisch bewijs leveren voor de verfijning $x_o(n, k) = m_{\ge 0}(n, k)$. Zij identificeren twee "onoverkomelijke hindernissen" voor het verfijnen van de bestaande bijecties van Konan voor dit specifieke geval:

1. Er is geen bijectie tussen $X_o(n)$ en de verzameling partiën zonder vaste punten ($G(n)$) die het aantal delen groter dan één behoudt, aangezien de distributies van $\beta$-waarden fundamenteel verschillen tussen deze verzamelingen.
2. Er is geen bijectie tussen $M_{\le 0}(n, k)$ en $M_{\ge 0}(n, k+1)$ die de noodzakelijke statistieken behoudt, zelfs wanneer rekening wordt gehouden met de pariteit van crank-nul partiën.

Concluderend stelt het artikel dat het voldoen aan de vraag om een combinatorisch bewijs voor de oneven mex-verfijning waarschijnlijk een directe verbinding tussen $X_o(n)$ en $M_{\ge 0}(n)$ zou vereisen, of de ontdekking van geheel andere evenumere verzamelingen, in plaats van een uitbreiding van de huidige bijecties.