🔢 mathematics

A proof of Andrews-El Bachraoui's conjecture on the parity of coefficients of a $q$ -series

Este artículo confirma la conjetura de Andrews y El Bachraoui respecto a la paridad de los coeficientes de la serie $q$ , $T_o(q)$ , al tiempo que establece una familia infinita de congruencias módulo 8 para los coeficientes de $S_1(q)$ y demuestra que $s_1(n)$ es divisible por 8 con densidad natural 1.

Autores originales: Eric H. Liu, Ernest X. W. Xia

Publicado 2026-07-09

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Eric H. Liu, Ernest X. W. Xia

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 una caja infinita y gigante de bloques de construcción. Estos bloques vienen en dos colores: Rojo y Azul. Quieres construir torres usando estos bloques, pero debes seguir unas reglas muy específicas.

Este documento trata sobre cómo resolver un acertijo relacionado con cuántas formas diferentes puedes construir estas torres para un número específico de bloques, y si ese número es "impar" o "par".

Aquí está el desgero de la historia, las reglas y la solución, explicados de forma sencilla:

1. El Juego: Torres Especiales

Los autores están estudiando un tipo específico de torre llamada "partición de dos colores en partes distintas".

Partes Distintas: No puedes usar el mismo tamaño de bloque dos veces en una sola torre. Si usas un bloque de tamaño 5, no puedes usar otro bloque de tamaño 5.
Dos Colores: Cada tamaño de bloque puede ser Rojo, Azul o ambos (Rojo y Azul).
La Regla Especial: El bloque más pequeño de tu torre es caprichoso. Debe ser de un solo color específico (por ejemplo, solo Rojo). Sin embargo, cada uno de los bloques más grandes que el más pequeño puede ser Rojo, Azul o ambos.

Los autores están contando cuántas torres válidas diferentes puedes construir para un número $n$ . Llamemos a este conteo $s_1(n)$ .

2. El Misterio: El Compañero Impar

Los investigadores (Andrews y El Bachraoui) ya habían descubierto algunos patrones sobre estos conteos de torres. Pero notaron que algo extraño sucedía con un objeto matemático relacionado, que podemos pensar como una "sombra" o "compañero" del conteo de la torre principal. Llamemos a esta sombra el Compañero Impar ( $T_o$ ).

Ellos hicieron una conjetura sobre este compañero:

"Si un número determinado relacionado con el tamaño de nuestra torre tiene un 'ingrediente primo' que aparece un número impar de veces, entonces el conteo para esta sombra será siempre un número par".

En términos matemáticos, ellos conjeturaron que, bajo ciertas condiciones, la respuesta es siempre divisible por 2.

3. La Solución: Probando la Conjetura

Eric Liu y Ernest Xia (los autores de este artículo) intervinieron para demostrar que esta conjetura era correcta.

El Trabajo de Detective: Utilizaron un conjunto de herramientas matemáticas que involucran "series q" (que son como recetas infinitas para números) y "funciones theta" (fórmulas especiales que cuentan soluciones de ecuaciones).
El Gran Avance: Tradujeron el problema de contar torres en un problema de encajar números en una forma específica (como encajar piezas en un rompecabezas de la forma $x^2 + 2y^2$ ).
El Resultado: Demostraron que si se cumple la condición del "ingrediente primo", el conteo de la sombra es, de hecho, siempre par. Confirmaron que la conjetura era 100% cierta.

4. Los Patrones Profundos: Dividir por 8

Después de resolver el misterio de "par/impar", miraron más profundamente. Se preguntaron: "¿Qué pasa si miramos el conteo de la torre principal ( $s_1$ ) y vemos si es divisible por 8?".

Descubrieron toda una familia de reglas (congruencias).

La Analogía: Imagina que tienes una máquina que toma un número, le hace algunas matemáticas y escupe un conteo de torres. Descubrieron que si alimentas la máquina con tipos específicos de números (números relacionados con números primos como 5 o 7), la máquina siempre escupe un número que es perfectamente divisible por 8.
Ejemplo: Si eliges el número primo 5, demostraron que para una enorme lista de números (como $25n + 8$ , $25n + 13$ , etc.), el número de torres es siempre un múltiplo de 8.

5. La Visión General: ¿Qué tan raros son las excepciones?

Finalmente, hicieron una pregunta estadística: "A medida que observamos números cada vez más grandes, ¿con qué frecuencia encontramos un conteo de torres que no es divisible por 8?".

El Hallazgo: Demostraron que, a medida que nos acercamos al infinito, el número de "excepciones" (conteos no divisibles por 8) se vuelve tan raro que efectivamente desaparecen.
La Metáfora: Imagina una playa con infinitos granos de arena. Si eliges un grano al azar, la probabilidad de que sea un grano "especial" (uno que rompe la regla) es cero. Casi todos los números que elijas darán como resultado un conteo de torres que es perfectamente divisible por 8.

Resumen

En resumen, este artículo es una vuelta de victoria matemática.

Confirmó una Conjetura: Demostraron una regla específica sobre si un número relacionado es par o impar.
Encontró Nuevas Reglas: Descubrieron que, para muchos números específicos, el conteo principal es siempre divisible por 8.
Mostró la Rareza: Demostraron que las "excepciones" a esta regla de "divisibilidad por 8" son tan raras que no importan en el gran esquema de los números infinitos.

El artículo no habla de construir torres reales o de usar esto para la ingeniería; es puramente sobre comprender los patrones ocultos y rítmicos en cómo los números pueden descomponerse y contarse.

Resumen Técnico: Una Demostración de la Conjetura de Andrews-El Bachraoui sobre la Paridad de los Coeficientes de una Serie $q$

Planteamiento del Problema
Este artículo aborda una conjetura relativa a la paridad de los coeficientes de una serie $q$ específica, $T_o(q)$ , introducida por Andrews y El Bachraoui. La serie $T_o(q)$ se define como el "compañero impar" de la función generatriz $S_1(q)$ para una función de partición $s_1(n)$ . La función $s_1(n)$ cuenta las particiones de dos colores de un entero $n$ en partes distintas, sujetas a la restricción de que la parte más pequeña ocurra en un solo color prescrito, mientras que todas las partes mayores pueden aparecer en cualquiera de los dos colores o en ambos.

Andrews y El Bachraoui establecieron previamente una descripción completa de $s_1(n)$ módulo 4. Sin embargo, dejaron abierta la cuestión de la paridad (módulo 2) de los coeficientes $t_o(n)$ de la serie $T_o(q)$ . Específicamente, conjeturaron que $t_o(n) \equiv 0 \pmod 2$ si el entero $8n + 9$ posee un divisor primo $p \equiv 5, 7 \pmod 8$ elevado a un exponente impar (equivalentemente, si $8n + 9$ no puede ser representado por la forma cuadrática $x^2 + 2y^2$ ).

Metodología
Los autores emplean una combinación de identidades clásicas de series $q$ , aritmética modular y la teoría de formas cuadráticas para resolver la conjetura y derivar congruencias adicionales.

Manipulación de Series y Reducción Modular:
La demostración comienza utilizando el teorema de los números pentagonales de Euler e identidades establecidas por Andrews y El Bachraoui para expresar $2qT_o(q)$ en términos de productos infinitos y sumas. Al trabajar módulo 2, los autores simplifican la expresión para $T_o(q)$ , utilizando la identidad $(q; q)_\infty^2 \equiv (q^2; q^2)_\infty \pmod 2$ .
Conexión con Formas Cuadráticas:
A través de la manipulación algebraica, el coeficiente $t_o(n)$ se relaciona con el número de soluciones enteras a ecuaciones diofánticas específicas que involucran formas cuadráticas. Específicamente, la paridad de $t_o(n)$ se muestra dependiente de la solvabilidad de ecuaciones de la forma $2(6k+1)^2 + (12m+1)^2 = 3(8n+9)$ y variantes relacionadas.
Aplicación de la Teoría de Representación:
Los autores invocan un resultado clásico referente al número de representaciones de un entero por la forma cuadrática $x^2 + 2y^2$ . Este resultado establece que un entero $N$ tiene cero representaciones por $x^2 + 2y^2$ si y solo si su factorización prima contiene un primo $q \equiv 5, 7 \pmod 8$ elevado a una potencia impar. Al analizar la factorización prima de $3(8n+9)$ , los autores demuestran que la condición sobre $8n+9$ implica la inexistencia de soluciones a las ecuaciones diofánticas derivadas, forzando así que $t_o(n)$ sea par.
Extensión a Módulo 8 y Densidad:
Para probar la familia infinita de congruencias módulo 8 para $s_1(n)$ , los autores combinan la expresión de $S_1(q)$ con la expansión derivada de $T_o(q)$ . Analizan el término $u(n)$ , que cuenta las representaciones de $24n+3$ por formas cuadráticas específicas. Utilizando propiedades del símbolo de Legendre y la valoración de los primos $p \equiv 5, 7 \pmod 8$ , muestran que para progresiones aritméticas específicas, las formas cuadráticas relevantes no tienen soluciones. Finalmente, para establecer el resultado de densidad, los autores aplican un teorema de Landau sobre series de potencia "lacunarias" (series con densidad cero de coeficientes no nulos), argumentando que los componentes de $s_1(n)$ son lacunarios.

Contribuciones Clave y Resultados

Confirmación de la Conjetura 1.2: El resultado principal es la demostración de la conjetura de Andrews y El Bachraoui. Los autores establecen que si $8n + 9$ no es representable por $x^2 + 2y^2$ (es decir, tiene un divisor primo $p \equiv 5, 7 \pmod 8$ con un exponente impar), entonces $t_o(n) \equiv 0 \pmod 2$ .
Familia Infinita de Congruencias Módulo 8: El artículo prueba el Teorema 1.4, el cual proporciona una familia infinita de congruencias para $s_1(n)$ . Para cualquier primo $p \equiv 5, 7 \pmod 8$ e enteros $n, k \ge 0$ con $p \nmid n$ , se cumple lo siguiente:
$s_1\left(p^{2k+1}n + \frac{p^{2k+2}-1}{8}\right) \equiv 0 \pmod 8.$
Los autores proporcionan un ejemplo concreto con $p=5$ y $k=0$ , mostrando que $s_1(25n + 8 + 5j) \equiv 0 \pmod 8$ para $j \in \{0, 5, 10, 15\}$ .
Resultado de Densidad Natural: El artículo prueba el Teorema 1.5, demostrando que el conjunto de enteros $n$ para los cuales $s_1(n)$ no es divisible por 8 tiene una densidad natural de cero. En otras palabras, $s_1(n)/8$ toma valores enteros con densidad natural 1.

Significado
El artículo confirma una conjetura específica sobre las propiedades aritméticas de una función de partición relacionada con particiones distintas de dos colores y composiciones cóncavas. Al resolver la paridad de los coeficientes de la serie compañera impar $T_o(q)$ , los autores proporcionan una comprensión más profunda de la estructura de $S_1(q)$ . Además, el establecimiento de las congruencias módulo 8 y el resultado de densidad extiende el comportamiento aritmético conocido de $s_1(n)$ más allá de los resultados previamente conocidos módulo 4.

Los autores concluyen señalando que una dirección natural para la investigación futura es extender estas congruencias a potencias superiores de 2 (módulos 16, 32, etc.) y determinar la densidad aritmética del conjunto de enteros donde $s_1(n) \equiv 0 \pmod{2^k}$ para un $k \ge 4$ fijo.