🔢 mathematics

Proof of a conjecture of Andrews and El Bachraoui on the parity of two-color partitions

Este artículo demuestra una conjetura de Andrews y El Bachraoui al demostrar que si el coeficiente de Fourier $t_o(n)$ de una serie $q$ de particiones de dos colores específica es impar, entonces el entero $8n+9$ puede ser representado por la forma cuadrática binaria $x^2+2y^2$ .

Autores originales: Koustav Banerjee, Kathrin Bringmann

Publicado 2026-07-10

📖 3 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Koustav Banerjee, Kathrin Bringmann

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes un frasco gigante y mágico lleno de bloques de colores. Quieres construir torres usando estos bloques, pero hay algunas reglas muy específicas y caprichosas sobre cómo puedes apilarlos. Este es el mundo de las "particiones de dos colores" con el que jugaban los matemáticos Andrews y El Bachraoui. Ellos plantearon una pregunta sencilla: Si sigues estas reglas para construir una torre de un cierto tamaño, ¿es el número de formas de hacerlo un número impar o un número par?

Durante mucho tiempo, tuvieron un presentimiento —una suposición, en realidad— sobre cuándo el resultado sería un número impar. Sospechaban que el resultado solo es impar si se cumple una condición matemática muy específica que involucra una forma llamada "forma cuadrática binaria". Piensa en esta forma, $x^2 + 2y^2$ , como un candado especial. El presentimiento era: "Solo puedes obtener un número impar de formas de construir tu torre si el número $8n + 9$ (donde $n$ es el tamaño de tu torre) puede encajar perfectamente en este candado".

En este artículo, Koustav Banerjee y Kathrin Bringmann intervienen para zanjar el debate. Ellos no solo suponen; ellos lo demuestran. Muestran que si el número de formas de construir tu torre es, de hecho, impar, entonces $8n + 9$ debe ser representable por ese candado especial ( $x^2 + 2y^2$ ).

Así fue como descifraron el código:
Tomaron la compleja fórmula que describe todas estas posibilidades de construcción de torres y comenzaron a reorganizarla, como si resolvieran un rompecabezas gigante e invisible. Descompusieron la fórmula en piezas más pequeñas y manejables utilizando algunos trucos matemáticos ingeniosos que involucran "q-series" (que son simplemente formas elegantes de escribir listas infinitas de números).

A medida que iban despojando las capas, descubrieron que la "imparidad" de la respuesta depende enteramente de cómo encajan estas piezas. Descubrieron que las piezas solo se alinean para crear un resultado impar si el número $8n + 9$ puede escribirse como un número cuadrado más el doble de otro número al cuadrado.

Para hacer esto concreto, imagina que $8n + 9$ es un cofre del tesoro. Los matemáticos demostraron que si el cofre está cerrado con una llave que no encaja en el patrón $x^2 + 2y^2$ , el cofre está vacío (el resultado es par, o cero). Pero si el cofre sí tiene una llave que encaja en ese patrón, entonces —¡sorpresa!— el cofre podría contener un número impar de tesoros.

No se limitaron a decir: "Parece que esto funciona". Construyeron un puente lógico, paso a paso, mostrando que si la condición no se cumple, la respuesta está matemáticamente forzada a ser par. Incluso revisaron tres escenarios diferentes para asegurarse de que ninguna excepción astuta se escondiera en las sombras. En cada caso, la regla se mantuvo.

Así, el misterio está resuelto. La suposición hecha por Andrews y El Bachraoui no fue solo un golpe de suerte; fue un hecho. Si ves un número impar de formas de construir estas torres especiales de dos colores, puedes estar absolutamente seguro de que $8n + 9$ encaja en el patrón $x^2 + 2y^2$ . Si no encaja, el número de formas es definitivamente par. El candado y la llave coinciden perfectamente, y la prueba es sólida.

Resumen Técnico: Demostración de una Conjetura de Andrews y El Bachraoui sobre la Paridad de las Particiones de Dos Colores

Planteamiento del Problema
Este artículo aborda una conjetura propuesta por Andrews y El Bachraoui con respecto a la paridad de los coeficientes $to(n)$ de una serie $q$ específica. La serie $To(q)$ se define como:
$To(q) := \sum_{n \ge 0} to(n)q^n = \sum_{n \ge 0} \frac{(-q)^{2n}}{(q; q^2)_{n+1}} q^{2n}$
Andrews y El Bachraoui establecieron previamente que si los coeficientes $c(n)$ de la serie relacionada $C(q) = (q)_\infty To(q)$ son distintos de cero, entonces $24n + 28$ es representado por la forma cuadrática binaria $x^2 + 3y^2$ . Motivados por esto, conjeturaron una propiedad de representación similar para la paridad de $to(n)$: específicamente, que si $8n + 9$ no puede ser representado por la forma cuadrática binaria $x^2 + 2y^2$ , entonces $to(n) \equiv 0 \pmod 2$ .

Metodología
Los autores emplean identidades de series $q$ elementales y técnicas de aritmética modular para analizar la función generatriz $To(q)$. La estrategia de la demostración procede de la siguiente manera:

Descomposición de Funciones Generatrices: Los autores utilizan una identidad conocida que relaciona $C(q)$ con las funciones theta $\Psi(q)$ , $T(q)$ y $\Theta(q)$ :
$2qC(q) = \Psi(q)T(q) - (q)_\infty \Theta(q)$
donde $\Psi(q)$ , $T(q)$ y $\Theta(q)$ están definidas por sumatorias específicas que involucran números triangulares y pentagonales.
Manipulación Algebraica: Al expresar $To(q) = C(q)/(q)_\infty$ , los autores derivan una expresión para $2qTo(q)$ en términos de estas funciones theta. Luego descomponen $T(q)$ y $\Theta(q)$ en sumas sobre índices pares e impares, introduciendo series auxiliares $S(q)$ y $R(q)$ para aislar contribuciones de paridad específicas.
Reducción Modular: El núcleo de la demostración implica reducir las expresiones resultantes módulo 2. Los autores utilizan el Teorema de los Números Pentagonales de Euler y propiedades de cocientes de eta para mostrar que:
$\frac{\Psi(q)}{(q)_\infty} \equiv \sum_{m \in \mathbb{Z}} q^{m(3m+1)} \pmod 2$
Esto permite que la expresión para $qTo(q)$ se reescriba como una suma de productos de series que involucran solo índices impares.
Análisis de Coeficientes: Los autores analizan el coeficiente de $q^{n+1}$ en la serie resultante módulo 2. Demuestran que si $to(n)$ es impar (es decir, $to(n) \not\equiv 0 \pmod 2$ ), entonces $n+1$ debe surgir de una de tres formas algebraicas específicas que involucran enteros impares $r$ e enteros arbitrarios $m$ .

Contribuciones Clave y Resultados
La contribución principal del artículo es la demostración rigurosa de la Conjetura 1.2 (declarada como Teorema 1.3 en el texto). Los autores establecen que:
$to(n) \not\equiv 0 \pmod 2 \implies 8n + 9 \text{ es representado por } x^2 + 2y^2$
La demostración logra esto construyendo explícitamente la representación de $8n+9$ en la forma $x^2 + 2y^2$ para cada uno de los tres casos donde el coeficiente $to(n)$ es no nulo módulo 2:

Caso 1: Si $n+1 = \frac{m(m+1)}{2}$ para un $m$ impar, entonces $8n+9 = (2m+1)^2 + 2(0)^2$ .
Caso 2: Si $n+1 = \frac{r(3r+1)}{2} + m(3m+1)$ para un $r$ impar, entonces $8n+9 = (2r+4m+1)^2 + 2(2r-2m)^2$ .
Caso 3: Si $n+1 = \frac{r(3r+1)}{2} + (2r+1) + m(3m+1)$ para un $r$ impar, entonces $8n+9 = (2r-4m+1)^2 + 2(2r+2m+2)^2$ .

Consecuentemente, si $8n+9$ no es representable por $x^2 + 2y^2$ , ninguno de estos casos puede ocurrir, lo que implica que $to(n) \equiv 0 \pmod 2$ .

Significado y Reivindicaciones
El artículo afirma resolver la conjetura de Andrews y El Bachraoui con respecto a la paridad de estas particiones de dos colores. Los autores señalan que su trabajo fue realizado de forma independiente y simultánea con otro trabajo (citado como [4]) que también demuestra el mismo teorema utilizando métodos sustancialmente diferentes. La significación radica en establecer una conexión precisa entre las propiedades aritméticas de los coeficientes de partición y los números de representación de formas cuadráticas binarias, extendiendo las propiedades de congruencia conocidas de las particiones de dos colores restringidas. El artículo no propone nuevas aplicaciones o implicaciones futuras más allá de la resolución de esta conjetura específica.

Más como este