Resumen Técnico: El Número de Enteros Faltantes en Particiones

1. Introducción y Planteamiento del Problema

El artículo se centra en una estadística de particiones enteras recientemente explorada: el conjunto de enteros faltantes (missing integers).

• Definición de Entero Faltante: Se define como un entero positivo que es menor que la parte más grande de una partición y que no aparece como una parte en dicha partición.
• Relación con el Mex: El concepto está estrechamente ligado al mex (mínimo excludente), que es el entero positivo más pequeño que falta en una partición. Mientras que el mex se enfoca en el primer entero faltante, este estudio analiza el número total de enteros faltantes ($m$) dentro de una partición de un entero $n$.
• Objetivo Principal: Los autores, Bhoria, Eyyunni y Santra, buscan cuantificar el número de particiones de $n$ que tienen exactamente $m$ enteros faltantes, tanto en el contexto de particiones no restringidas como en sobrecargas (overpartitions). Además, investigan propiedades de congruencia, desigualdades de sesgo (bias) y generalizaciones relacionadas con la multiplicidad de las partes.

2. Metodología

La investigación se basa principalmente en el uso de series $q$ y funciones generadoras.

• Notación $q$: Se utiliza la notación estándar de productos $q$: $(a; q)_n = \prod_{k=0}^{n-1} (1-aq^k)$ y $(a; q)_\infty = \prod_{k=0}^{\infty} (1-aq^k)$.
• Herramientas Analíticas:
  • Teorema Binomial $q$: Utilizado para manipular sumas infinitas y derivar identidades cerradas.
  • Identidad del Producto Triple de Jacobi: Fundamental para establecer congruencias módulo 3 y 4.
  • Diferenciación: Se emplea para extraer coeficientes específicos (como el número de particiones con exactamente 1 entero faltante) derivando las funciones generadoras con respecto a un parámetro auxiliar $w$.
• Enfoque Combinatorio: Se interpretan los coeficientes de las series generadoras para establecer correspondencias biyectivas con otras clases de particiones (por ejemplo, particiones con partes repetidas de manera específica).

3. Resultados Principales

El trabajo se divide en dos secciones principales: particiones no restringidas y sobrecargas.

A. Particiones No Restringidas

1. Función Generadora General (Teorema 2.1):
   Los autores derivan una identidad cerrada para la función generadora doble de $P_j(n, m)$, que cuenta las particiones de $n$ con exactamente $m$ enteros faltantes mayores o iguales a $j$.
   $$\sum_{n=1}^{\infty} \sum_{m=0}^{\infty} P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q)_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{(\frac{w-1}{w}; q)_\ell}{(q; q)_\ell} (wq)^\ell \right)$$

2. Casos Especiales y Corolarios:

   • Para $j=1$, se obtiene una forma de producto simple.
   • Corolario 2.4: Se establece una identidad para $P(n, 1)$ (particiones con exactamente un entero faltante). Se demuestra que este número es igual al número de particiones donde exactamente una parte se repite dos veces y todas las demás son distintas.
   • Paridad de Enteros Faltantes: Se definen $Me(n)$ (número de particiones con un número par de enteros faltantes) y $Mo(n)$ (número impar). La función generadora para su diferencia es:
     $$\sum (Me(n) - Mo(n))q^n = \frac{(-2q; q)_\infty}{(-q; q)_\infty}$$

3. Congruencias y Conjeturas:

   • Teorema 2.6: Se prueba una congruencia módulo 3 para $Me(n) - Mo(n)$: es $0$ si $n$ no es cuadrado, $1$ si $n$ es un cuadrado impar, y $2$ si $n$ es un cuadrado par.
   • Conjetura 2.7 (Sesgo de Paridad): Se conjetura que para $n > 34$, $Me(n) > Mo(n)$, es decir, hay más particiones con un número par de enteros faltantes que con un número impar.
   • Conjetura 2.8: Se propone que la diferencia $Me(n) - Mo(n)$ es menor que $q(n)$ (particiones en partes distintas) para $n > 10$.

4. Generalización de Multiplicidad (Teorema 2.9):
   Se estudia el número de enteros distintos menores o iguales a la parte más grande que aparecen con multiplicidad menor a $k$. Se demuestra que la suma de estos enteros sobre todas las particiones de $n$ es igual al número total de partes diferentes de $k$ en todas las particiones de $n$.

B. Sobrecargas (Overpartitions)

Una sobrecarga es una partición donde la primera aparición de cualquier entero puede estar subrayada (overlined).

1. Función Generadora (Teorema 3.1):
   Se deriva una identidad análoga para sobrecargas, incorporando factores que manejan la distinción entre partes subrayadas y no subrayadas.
   $$\sum \sum \bar{P}_j(n, m) w^m q^n = 2w^{-j}(-q; q)_{j-1} \frac{1}{(\frac{w-2}{w}; q)_j} \left( \frac{((w-2)q; q)_\infty}{(wq; q)_\infty} - \dots \right)$$

2. Resultados de Paridad y Congruencia:

   • La función generadora para la diferencia $Me(n) - Mo(n)$ en sobrecargas es $\frac{(-3q; q)_\infty}{(-q; q)_\infty}$.
   • Teorema 3.7: Se establece una congruencia módulo 4: la diferencia es $0 \pmod 4$ si $n$ no es cuadrado, y $2 \pmod 4$ si $n$ es un cuadrado.
   • Conjetura 3.6: Similar a las particiones no restringidas, se conjetura que para $n > 27$, el número de sobrecargas con un número par de enteros faltantes excede a las que tienen un número impar.

4. Contribuciones Clave

1. Nueva Estadística: Formalización y análisis exhaustivo del "número de enteros faltantes" como una estadística de particiones, más allá del mex tradicional.
2. Identidades Analíticas: Derivación de funciones generadoras cerradas complejas que relacionan el conteo de enteros faltantes con productos $q$ clásicos.
3. Correspondencias Combinatorias: Establecimiento de equivalencias numéricas entre particiones con enteros faltantes específicos y particiones con patrones de repetición de partes (ej. una parte repetida exactamente dos veces).
4. Propuestas de Sesgo (Bias): Introducción de conjeturas sobre desigualdades de sesgo en la paridad de los enteros faltantes, siguiendo la línea de trabajos recientes sobre sesgos en la paridad de partes (Kim, Kim, Lovejoy).
5. Generalización: Extensión de los resultados a sobrecargas y a casos de multiplicidad restringida ($k$).

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Conexión de Conceptos: Vincula conceptos de teoría de números (semigrupos numéricos, enteros faltantes) con estadísticas clásicas de particiones (rank, crank, mex).
• Nuevas Secuencias OEIS: Identifica que las secuencias generadas por las diferencias de paridad ($Me(n) - Mo(n)$) corresponden a secuencias ya registradas en la OEIS (A268498 y A268499), pero proporciona una interpretación combinatoria nueva basada en enteros faltantes.
• Dirección Futura: El artículo plantea preguntas abiertas importantes, como la búsqueda de pruebas combinatorias (biyectivas) para las identidades derivadas, la obtención de fórmulas asintóticas tipo Hardy-Ramanujan-Rademacher para estas nuevas funciones, y la exploración de congruencias para otros módulos.
• Fundamento para Investigación: Proporciona una base sólida para futuros estudios sobre la estructura de las particiones y sus estadísticas relacionadas con la "gaps" (huecos) en la secuencia de partes.

En resumen, el artículo expande el horizonte de la teoría de particiones al cuantificar sistemáticamente la "ausencia" de partes, ofreciendo herramientas analíticas potentes y conjeturas provocadoras que invitan a una mayor investigación combinatoria.