Parity of parts and excludant statistics in partitions

Resumen Técnico: Paridad de Partes y Estadísticas Excluyentes en Particiones

Autor: Gargi Mukherjee
Fuente: arXiv:2603.13915v1 [math.NT] (14 de marzo de 2026)

1. Planteamiento del Problema

El artículo se centra en la teoría de particiones de enteros, específicamente en el estudio de estadísticas excluyentes (excludant statistics) bajo restricciones de paridad. El problema principal es analizar y cuantificar el comportamiento de dos tipos de estadísticas en conjuntos específicos de particiones:

• Mínimo Excluyente (mex): El entero positivo más pequeño que no aparece como parte en una partición.
• Máximo Excluyente (max): El entero no negativo más grande, menor que la parte más grande de la partición, que no aparece como parte.

El estudio se restringe a dos clases de particiones:

1. $Pod(n)$: Particiones de $n$ en partes impares distintas (sin repeticiones de partes impares).
2. $Ped(n)$: Particiones de $n$ en partes pares distintas.

El objetivo es descomponer estas estadísticas según la paridad (impar o par) de sus valores y determinar sus funciones generadoras, propiedades de monotonía y comportamiento asintótico.

2. Metodología

El autor emplea una combinación de técnicas analíticas y combinatorias avanzadas:

• Transformaciones de Series $q$: Se utilizan identidades fundamentales de la teoría de series $q$, incluyendo el teorema binomial $q$ (Cauchy), transformaciones de Heine, identidades de Gauss y teoremas de Andrews. Estas herramientas permiten manipular funciones generadoras complejas para relacionarlas con formas modulares y funciones de Ramanujan.
• Métodos Tauberianos: Se aplica el teorema de Ingham para derivar el comportamiento asintótico de los coeficientes de las series de potencias cuando $n \to \infty$. Esto requiere analizar el comportamiento de las funciones generadoras cerca de la singularidad en $q=1$ (específicamente cuando $q = e^{-t}$ y $t \to 0^+$).
• Argumentos Combinatorios y Biyecciones: Para probar la monotonía de las secuencias y ciertas identidades, se construyen mapas inyectivos y biyecciones explícitas entre conjuntos de particiones. Un ejemplo destacado es la construcción de una biyección entre particiones con partes impares distintas y particiones de dos colores con partes pares, inspirada en el trabajo de Ballantine y Merca.
• Funciones Especiales: El análisis conecta las estadísticas estudiadas con funciones conocidas en la teoría de números, como:
  • $\sigma(q)$ y su compañero $\sigma^*(q)$ (introducidos por Ramanujan).
  • $v_2(q)$ (una suma tipo Nahm introducida por Andrews).
  • Funciones de theta falsas de tercer orden de Ramanujan ($\nu(q)$).

3. Contribuciones Clave y Resultados Principales

El artículo presenta una serie de teoremas que establecen identidades exactas, propiedades de orden y fórmulas asintóticas:

A. Estadísticas de Mínimo Excluyente en $Pod(n)$

• Funciones Generadoras: Se derivan expresiones cerradas para el número de particiones en $Pod(n)$ donde el mex es impar ($ao_{od}(n)$) o par ($ae_{od}(n)$). Estas funciones se expresan en términos de $v_2(q)$ y series $q$ hipergeométricas.
• Monotonía: Se demuestra que las secuencias $\{ao_{od}(n)\}$ y $\{ae_{od}(n)\}$ son estrictamente crecientes para $n$ suficientemente grande (para $n \ge 1$ y $n \ge 7$ respectivamente) mediante argumentos combinatorios.
• Asintótica: Se obtienen las fórmulas asintóticas principales:
  $$ao_{od}(n) \sim \frac{e^{\pi\sqrt{n}/2}}{4\sqrt{2n}}, \quad ae_{od}(n) \sim \frac{e^{\pi\sqrt{n}/2}}{\sqrt{2n}}$$

B. Sumas de Mínimo Excluyente (Moex/Meex)

• Se definen sumas totales de los valores de mex (separados por paridad) sobre todas las particiones en $Pod(n)$.
• Identidad Sorprendente: Se prueba que la suma de los mex pares en $Pod(n)$ es exactamente el doble del número de particiones en partes pares distintas: $\sigma_{od}^{meex}(n) = 2 \cdot ped(n)$.
• Relación con $\sigma^*(q)$: La suma de los mex impares se relaciona con la función $\sigma^*(-q)$ de Ramanujan.
• Asintótica: La suma total de los mex impares crece como $\sigma_{od}^{moex}(n) \sim \frac{3e^{\pi\sqrt{n}/2}}{4\sqrt{2n}}$.

C. Estadísticas de Máximo Excluyente

• Se analizan el max y sus variantes par/impar en $Pod(n)$.
• Funciones Generadoras: Se expresan en términos de la función de theta falsa $\nu(-q)$ y otras series $q$ complejas.
• Sumas Totales: Se obtienen fórmulas para la suma de los valores de max (impares y pares) utilizando derivadas de funciones generadoras.

D. Particiones en Partes Pares Distintas ($Ped(n)$)

• Se extienden los resultados anteriores al conjunto $Ped(n)$, estableciendo funciones generadoras para las estadísticas de mex y sus sumas, relacionándolas nuevamente con $\sigma(q)$ y $\sigma^*(q)$.

4. Significado e Impacto

• Conexión Profunda: El trabajo establece vínculos explícitos entre estadísticas de particiones modernas (excluyentes) y objetos clásicos de la teoría de números (formas modulares, funciones de Ramanujan y sumas de Nahm).
• Nuevas Identidades: Proporciona nuevas identidades combinatorias, como la relación exacta entre la suma de mex pares y las particiones en partes pares distintas.
• Herramientas Analíticas: Demuestra la eficacia de combinar métodos Tauberianos con transformaciones de series $q$ para obtener resultados asintóticos precisos en problemas de particiones restringidas.
• Líneas Futuras: El autor plantea problemas abiertos importantes, incluyendo la búsqueda de pruebas combinatorias para la monotonía (actualmente probada combinatoriamente pero sin una demostración puramente de series $q$), la obtención de fórmulas exactas tipo Rademacher para las secuencias asintóticas y la exploración de la modularidad de las series restantes.

En resumen, este artículo avanza significativamente en la comprensión de las propiedades estadísticas de las particiones restringidas, unificando la teoría de particiones con la teoría de formas modulares y proporcionando herramientas analíticas robustas para el estudio de sus comportamientos a gran escala.