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

Problemstellung
Die Arbeit befasst sich mit der Verfeinerung des „Crank–Mex-Theorems“, eines Ergebnisses, das von Andrews und D. Newman (2020) sowie Hopkins und Sellers (2020) etabliert wurde. Das ursprüngliche Theorem besagt, dass die Anzahl der ganzzahligen Partitionen von $n$ mit einem nichtnegativen Crank ($M_{\ge 0}(n)$) gleich der Anzahl der Partitionen von $n$ mit einem ungeraden minimalen Exkludenten (mex) ($X_o(n)$) ist. Andrews und M. Newman haben diese Gleichheit kürzlich verfeinert, indem sie die Anzahl der Teile größer als eins, bezeichnet als die Statistik $\beta(\lambda)$, verfolgten. Sie bewiesen analytisch, dass $x_o(n, k) = m_{\ge 0}(n, k)$, ersuchten jedoch um einen kombinatorischen Beweis.

Die vorliegende Arbeit erweitert diese Untersuchung auf eine komplementäre Menge von Partitionen-Statistiken. Insbesondere untersucht sie die Äquinumerosität zwischen:

1. Partitionen mit einem geraden mex ($X_e(n)$).
2. Partitionen mit einem Fixpunkt (wobei $\lambda_i = i$ für ein bestimmtes $i$ gilt).
3. Partitionen mit einem negativen Crank ($M_{< 0}(n)$).
4. Partitionen mit einem positiven Crank ($M_{> 0}(n)$).

Die Autoren zielen darauf ab, diese Beziehungen zu etablieren und zu verfeinern, indem sie die Anzahl der Teile größer als eins ($k$) und, im Fall der Fixpunkt-Statistik, die spezifische Anzahl solcher Teile verfolgen.

Methodik
Die Arbeit verwendet zwei unterschiedliche Methodiken, um das Haupttheorem zu beweisen:

1. Analytischer Beweis: Die Autoren nutzen $q$-Reihen und Erzeugungsfunktionen. Sie definieren Erzeugungsfunktionen für jede der vier Partitionen-Mengen, wobei sie eine Variable $z$ einführen, um die Anzahl der Teile größer als eins zu verfolgen, und $q$, um die Summe der Teile zu verfolgen. Für die Crank-bezogenen Mengen verwenden sie die bekannte Crank-Erzeugungsfunktion, die von Andrews und Garvan (1988) abgeleitet wurde. Durch algebraische Manipulationen, einschließlich der Verwendung von Heine-Transformationen und $q$-Binomialtheoremen, zeigen sie, dass die Erzeugungsfunktionen für diese Mengen identisch sind (oder durch einen einfachen Faktor von $z$ verknüpft sind), wodurch die Äquinumerosität bewiesen wird.
2. Kombinatorischer Beweis: Die Autoren konstruieren explizite Bijektionen zwischen den Mengen.
   • Gerader Mex $\leftrightarrow$ Fixpunkte: Sie adaptieren eine verallgemeinerte Bijektion von Konan (2023), die Partitionen mit ungeradem mex mit Partitionen ohne Fixpunkte verbindet. Sie modifizieren diese, um Partitionen mit geradem mex mit Partitionen mit einem Fixpunkt zu verbinden, wobei sie die Veränderung der Anzahl der Teile größer als eins während der iterativen Abbildung sorgfältig analysieren.
   • Fixpunkte $\leftrightarrow$ Negativer Crank: Sie definieren eine Bijektion basierend auf der Beziehung zwischen dem Fixpunkt-Index, der Anzahl der Einsen ($\omega(\lambda)$) und dem Crank. Es werden Lemmata etabliert, die zeigen, dass Partitionen mit einem Fixpunkt und negativem Crank spezifische Schranken für $\omega(\lambda)$ erfüllen. Die Abbildung beinhaltet das Ersetzen eines Fixpunkts $i$ durch $i$ Einsen (oder umgekehrt) und passt dabei die Anzahl der Teile größer als eins entsprechend an.
   • Negativer Crank $\leftrightarrow$ Positiver Crank: Eine direkte Bijektion wird zwischen Partitionen mit negativem Crank und Partitionen mit positivem Crank konstruiert. Diese Abbildung beinhaltet das Verschieben von Teilen und der Anzahl der Einsen, um das Vorzeichen des Cranks zu invertieren und gleichzeitig die Anzahl der Teile größer als eins um genau eins zu erhöhen.

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1, welches feststellt, dass für positive ganze Zahlen $n$ und $k$ die folgenden vier Mengen äquinumerös sind:

• (a) Partitionen von $n$ mit geradem mex und $k$ Teilen größer als 1.
• (b) Partitionen von $n$ mit einem Fixpunkt und $k+1$ Teilen größer als 1.
• (c) Partitionen von $n$ mit negativem crank und $k$ Teilen größer als 1.
• (d) Partitionen von $n$ mit positivem crank und $k+1$ Teilen größer als 1.

Dies wird mathematisch wie folgt ausgedrückt:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

Die Arbeit liefert sowohl analytische als auch kombinatorische Beweise für dieses Theorem. Die kombinatorischen Beweise stützen sich auf eine Kette von Bijektionen:
$$X_e(n, k) \xrightarrow{\text{Konans Abbildung}} (1) \times G_1(n-1, k) \xrightarrow{\text{Fixpunkt-Abbildung}} F(n, k+1) \xrightarrow{\text{Crank-Abbildung}} M_{< 0}(n, k) \xrightarrow{\text{Crank-Abbildung}} M_{> 0}(n, k+1)$$

Die Autoren behandeln auch den speziellen Fall $k=0$, wobei sie eine geringfügige Ausnahme bezüglich der Partition $(1^n)$ anmerken und die Notation $F^*(n, k+1)$ einführen, um diese Randbedingung zu handhaben.

Bedeutung und Limitationen
Die Arbeit behauptet, die Verfeinerung des Crank–Mex-Theorems auf die komplementären Mengen unter Einbeziehung von geradem mex, Fixpunkten und Vorzeichen des Cranks erfolgreich erweitert zu haben. Durch die Bereitstellung sowohl analytischer als auch kombinatorischer Beweise bietet die Arbeit ein tieferes strukturelles Verständnis dieser Partition-Statistiken.

Dennoch sind die Autoren bescheiden hinsichtlich der Lösung des von Andrews und Newman aufgeworfenen offenen Problems. Sie stellen explizit fest, dass ihre Ergebnisse keinen kombinatorischen Beweis für die Verfeinerung $x_o(n, k) = m_{\ge 0}(n, k)$ liefern. Sie identifizieren zwei „unüberwindbare Hindernisse“ für die Verfeinerung von Konans bestehenden Bijektionen für diesen spezifischen Fall:

1. Es gibt keine Bijektion zwischen $X_o(n)$ und der Menge der Partitionen ohne Fixpunkte ($G(n)$), die die Anzahl der Teile größer als eins bewahrt, da die Verteilungen der $\beta$-Werte zwischen diesen Mengen grundlegend verschieden sind.
2. Es gibt keine Bijektion zwischen $M_{\le 0}(n, k)$ und $M_{\ge 0}(n, k+1)$, die die notwendigen Statistiken bewahrt, selbst wenn man die Parität der Crank-Null-Partitionen berücksichtigt.

Folglich kommt die Arbeit zu dem Schluss, dass die Erfüllung der Forderung nach einem kombinatorischen Beweis für die ungerade-mex-Verfeinerung wahrscheinlich eine direkte Verbindung zwischen $X_o(n)$ und $M_{\ge 0}(n)$ oder die Entdeckung völlig neuer äquinumeröser Mengen erfordern würde, anstatt eine bloße Erweiterung der aktuellen Bijektionen.