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

Planteamiento del Probleza
El artículo aborda el refinamiento del "teorema de la manivela" (crank–mex theorem), un resultado establecido por Andrews y D. Newman (2020) y Hopkins y Sellers (2020). El teorema original establece que el número de particiones de un entero $n$ con una manivela no negativa ($M_{\ge 0}(n)$) es igual al número de particiones de $n$ con un mínimo excluido (mex) impar ($X_o(n)$). Andrews y M. Newman refinaron recientemente esta igualdad rastreando el número de partes mayores que uno, denotado por la estadística $\beta(\lambda)$. Ellos demostraron analíticamente que $x_o(n, k) = m_{\ge 0}(n, k)$, pero solicitaron una prueba combinatoria.

El presente trabajo extiende esta línea de investigación a un conjunto complementario de estadísticas de partición. Específicamente, investiga la equinumerosidad entre:

1. Particiones con un mex par ($X_e(n)$).
2. Particiones con un punto fijo (donde $\lambda_i = i$ para algún $i$).
3. Particiones con una manivela negativa ($M_{< 0}(n)$).
4. Particiones con una manivela positiva ($M_{> 0}(n)$).

Los autores pretenden establecer y refinar estas relaciones rastreando el número de partes mayores que uno ($k$) y, para el caso del punto fijo, el recuento específico de dichas partes.

Metodología
El artículo emplea dos metodologías distintas para probar el teorema principal:

1. Prueba Analítica: Los autores utilizan series $q$ y funciones generadoras. Definen funciones generadoras para cada uno de los cuatro conjuntos de particiones, introduciendo una variable $z$ para rastrear el número de partes mayores que uno y una variable $q$ para rastrear la suma de las partes. Para los conjuntos relacionados con la manivela, utilizan la función generadora de la manivela conocida, derivada por Andrews y Garvan (1988). A través de manipulaciones algebraicas, incluyendo el uso de transformadas de Heine y teoremas de $q$-binomiales, demuestran que las funciones generadoras para estos conjuntos son idénticas (o están relacionadas por un factor simple de $z$), probando así la equinumerosidad.
2. Prueba Combinatoria: Los autores construyen bijecciones explícitas entre los conjuntos.
   • Mex Par $\leftrightarrow$ Puntos Fijos: Adaptan una bijección generalizada de Konan (2023) que conecta particiones con mex impar con particiones sin puntos fijos. Modifican esto para conectar particiones con mex par con particiones con un punto fijo, analizando cuidadosamente cómo cambia el número de partes mayores que uno durante el mapeo iterativo.
   • Puntos Fijos $\leftrightarrow$ Manivela Negativa: Definen una bijección basada en la relación entre el índice del punto fijo, el número de unos ($\omega(\lambda)$) y la manivela. Se establecen lemas para mostrar que las particiones con un punto fijo y manivela negativa satisfacen límites específicos sobre $\omega(\lambda)$. El mapa consiste en reemplazar un punto fijo $i$ por $i$ unos (o viceversa), ajustando el recuento de partes mayores que uno en consecuencia.
   • Manivela Negativa $\leftrightarrow$ Manivela Positiva: Se construye una bijección directa entre particiones con manivela negativa y aquellas con manivela positiva. Este mapa implica desplazar las partes y el número de unos para invertir el signo de la manivela aumentando el número de partes mayores que uno en exactamente uno.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1, que establece que para enteros positivos $n$ y $k$, los siguientes cuatro conjuntos son equinumerosos:

• (a) Particiones de $n$ con mex par y $k$ partes mayores que 1.
• (b) Particiones de $n$ con un punto fijo y $k+1$ partes mayores que 1.
• (c) Particiones de $n$ con manivela negativa y $k$ partes mayores que 1.
• (d) Particiones de $n$ con manivela positiva y $k+1$ partes mayores que 1.

Matemáticamente, esto se expresa como:
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

El artículo proporciona tanto pruebas analíticas como combinatorias para este teorema. Las pruebas combinatorias se basan en una cadena de bijecciones:
$$X_e(n, k) \xrightarrow{\text{mapa de Konan}} (1) \times G_1(n-1, k) \xrightarrow{\text{mapa de punto fijo}} F(n, k+1) \xrightarrow{\text{mapa de manivela}} M_{< 0}(n, k) \xrightarrow{\text{mapa de manivela}} M_{> 0}(n, k+1)$$

Los autores también abordan el caso específico donde $k=0$, señalando una excepción menor respecto a la partición $(1^n)$ e introduciendo la notación $F^*(n, k+1)$ para manejar esta condición de contorno.

Significación y Limitaciones
El artículo afirma haber extendido con éxito el refinamiento del teorema de la manivela–mex a los conjuntos complementarios que involucran el mex par, puntos fijos y manivelas con signo. Al proporcionar tanto pruebas analíticas como combinatorias, el trabajo ofrece una comprensión estructural más profunda de estas estadísticas de partición.

Sin embargo, los autores son modestos respecto a la resolución del problema abierto planteado por Andrews y Newman. Establecen explícitamente que sus resultados no proporcionan una prueba combinatoria para el refinamiento $x_o(n, k) = m_{\ge 0}(n, k)$. Identifican dos "impedimentos insuperables" para refinar las bijecciones existentes de Konan para este caso específico:

1. No existe una bijección entre $X_o(n)$ y el conjunto de particiones sin puntos fijos ($G(n)$) que preserve el número de partes mayores que uno, ya que las distribuciones de los valores de $\beta$ difieren fundamentalmente entre estos conjuntos.
2. No existe una bijección entre $M_{\le 0}(n, k)$ y $M_{\ge 0}(n, k+1)$ que preserve las estadísticas necesarias, incluso cuando se tiene en cuenta la paridad de las particiones de manivela cero.

Por consiguiente, el artículo concluye que satisfacer la solicitud de una prueba combinatoria para el refinamiento del mex impar requeriría probablemente una conexión directa entre $X_o(n)$ y $M_{\ge 0}(n)$ o el descubrimiento de conjuntos equinumerosos completamente nuevos, en lugar de una extensión de las bijecciones actuales.