🔢 mathematics

Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

Este artículo demuestra de manera incondicional las conjeturas 5 y 6 de Andrews sobre las coeficientes de $v_1(q)$ , analizando los ceros simples de un factor trigonométrico en la asintótica de Folsom-Males-Rolen-Storzer y mostrando que una secuencia cuadrática relevante se mantiene a una distancia positiva de los enteros infinitas veces.

Autores originales: Mohamed El Bachraoui

Publicado 2026-04-10

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Mohamed El Bachraoui

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

¡Hola! Imagina que este artículo es como una historia de detectives matemáticos, pero en lugar de resolver un crimen, están intentando descifrar un patrón oculto en una secuencia de números que parece comportarse de manera muy caótica.

Aquí tienes la explicación de lo que hace Mohamed El Bachraoui en su papel, usando analogías sencillas:

1. El Misterio: Una montaña rusa de números

El protagonista de la historia es una lista de números llamada $V_1(n)$ . Imagina que estos números son las alturas de una montaña rusa infinita.

A veces suben mucho, a veces bajan mucho.
A veces son positivos (arriba del suelo) y a veces negativos (bajo el suelo).
El matemático George Andrews, hace tiempo, miró esta montaña rusa y dijo: "Oye, aunque parece loca, creo que hay reglas ocultas. Creo que a veces hay tres alturas seguidas que van en la misma dirección (todas arriba o todas abajo), y que en los extremos de esos grupos hay 'valles' profundos (puntos bajos locales)."

Andrews hizo varias conjeturas (suposiciones inteligentes) sobre esto. Algunos matemáticos ya probaron la mayoría, pero dejaron dos pendientes: la Conjetura 5 y la Conjetura 6.

2. La Misión: Probar las dos últimas pistas

El autor de este artículo, Mohamed, se propone demostrar que esas dos últimas conjeturas son ciertas.

Conjetura 5: Dice que existen grupos de tres números seguidos que tienen el mismo signo (todos positivos o todos negativos).
Conjetura 6: Dice que dentro de esos grupos, los números de los extremos son mínimos locales. Imagina que tienes tres pasos: uno bajo, uno alto, y otro bajo. Los dos "bajos" son los mínimos locales.

3. La Herramienta: Una brújula y un mapa

Para encontrar estos grupos, Mohamed no puede revisar número por número (sería infinito). En su lugar, usa una fórmula mágica (una aproximación asintótica) que le dice cómo se comporta la montaña rusa cuando llegamos a números muy grandes.

Esta fórmula tiene dos partes principales:

El motor: Un crecimiento explosivo (como un cohete que sube muy rápido).
El volante: Un factor trigonométrico (como un péndulo que oscila entre positivo y negativo).

El truco es que el "volante" (el péndulo) se detiene en ciertos puntos exactos (ceros). Mohamed necesita encontrar momentos donde la montaña rusa pase justo cerca de esos puntos de detención, pero sin tocarlos exactamente, para que los números vecinos se comporten de la manera predicha.

4. El Obstáculo: ¿El péndulo se detiene en números enteros?

Aquí viene el problema matemático más técnico, pero lo explicamos con una analogía:
Imagina que el péndulo se detiene en una escala que tiene marcas enteras (1, 2, 3...). Mohamed necesita asegurarse de que el péndulo nunca se detenga exactamente sobre una marca entera cuando está en ciertas posiciones, o al menos, que se aleje lo suficiente de ellas.

El descubrimiento: Mohamed demuestra que, aunque el péndulo se mueve de forma compleja, hay infinitas veces en las que se detiene a una "distancia segura" de cualquier número entero. Es como si el péndulo tuviera un sistema de navegación que le dice: "Oye, nunca te detengas exactamente en el número 5, mantente al menos a un paso de distancia".
Esto es crucial porque si se detuviera exactamente en un entero, la fórmula se rompería y el patrón se perdería. Al demostrar que siempre hay una "distancia de seguridad", garantiza que el patrón se repite infinitas veces.

5. La Prueba: Encontrando los "Valles"

Con esta garantía de distancia, Mohamed hace lo siguiente:

Selecciona puntos clave: Elige números específicos ( $N_n$ ) que están justo antes o después de donde el péndulo se detiene.
Analiza el entorno: Mira los tres números alrededor de ese punto ( $N_n$ , $N_n+1$ , $N_n+2$ ).
Verifica el signo: Demuestra que, gracias a la fórmula, los tres números tienen el mismo signo (todos positivos o todos negativos).
Verifica el mínimo: Demuestra que los números de los extremos ( $N_n$ y $N_n+2$ ) son más pequeños que sus vecinos inmediatos. ¡Son los "valles"!

6. El Final: Uniendo las piezas

Al final del artículo, Mohamed hace un pequeño trabajo de "costura":

Toma los primeros ejemplos que ya conocíamos (números como 293, 410, 545, 702) que Andrews había encontrado a mano.
Luego, usa su prueba matemática para generar una lista infinita de nuevos números que cumplen la regla.
Combina ambos grupos para crear una secuencia perfecta que cumple con las conjeturas 5 y 6 para siempre.

En resumen

Este artículo es como encontrar la receta secreta para predecir cuándo una montaña rusa infinita tendrá tres giros seguidos en la misma dirección y dónde están sus puntos más bajos. El autor demuestra que, aunque la montaña rusa parece caótica, sigue reglas estrictas y predecibles que se repiten para siempre, resolviendo así un misterio matemático que llevaba años sin respuesta.

¡Y lo mejor de todo es que lo hizo sin hacer suposiciones dudosas; su prueba es sólida y definitiva!

Resumen Técnico: Pruebas de las Conjeturas 5 y 6 de Andrews sobre $v_1(q)$

1. Planteamiento del Problema

El artículo aborda el estudio de los coeficientes de la serie $q$ definida por Ramanujan en su Libro de Notas Perdido y analizada posteriormente por George Andrews:
$v_1(q) = \sum_{n \ge 0} \frac{q^{n(n+1)/2}}{(-q^2; q^2)_n} = \sum_{n \ge 0} V_1(n)q^n$
Donde $V_1(n)$ son los coeficientes enteros de la serie.

Andrews formuló varias conjeturas sobre el comportamiento asintótico y la regularidad de signos de $V_1(n)$ . Aunque Folsom, Males, Rolen y Storzer demostraron recientemente la Conjetura 4 (sobre la distribución de signos en bloques de cuatro) y una versión refinada de la Conjetura 3 (crecimiento ilimitado), las Conjeturas 5 y 6 permanecían abiertas. Estas conjeturas postulan:

Conjetura 5: Existe una secuencia infinita de enteros $N_n$ (con $N_n > 10n^2$ ) tal que tres coeficientes consecutivos $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ tienen el mismo signo.
Conjetura 6: En dicha secuencia, los valores absolutos $|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|$ contienen un mínimo local estricto.

El objetivo del artículo es demostrar rigurosamente estas dos conjeturas de manera incondicional.

2. Metodología

La prueba se basa en un análisis asintótico detallado de los coeficientes $V_1(n)$ , combinado con teoría de números (distribución de secuencias cuadráticas módulo 1).

A. Aproximación Asintótica:
El autor utiliza el teorema de asintótica establecido por Folsom et al. (Teorema 2), que expresa $V_1(n)$ como un término principal oscilatorio multiplicado por un factor exponencial y de potencia, más un término de error.

Para $n$ par e impar, el comportamiento está dominado por funciones trigonométricas $F_-(x) = \cos x - \sin x$ y $F_+(x) = \cos x + \sin x$ .
Los ceros de estas funciones determinan los puntos donde el signo de $V_1(n)$ podría cambiar o donde la magnitud es mínima.

B. Análisis de Ceros y Distancia a Enteros:
El núcleo de la demostración reside en estudiar la posición de los ceros de las funciones trigonométricas en relación con los enteros. Se definen secuencias cuadráticas asociadas a estos ceros:
$P_-(m) = \alpha \left(m + \frac{1}{4}\right)^2, \quad P_+(m) = \alpha \left(m + \frac{3}{4}\right)^2$
donde $\alpha = \pi^2 / (2|V|)$ y $|V|$ es una constante relacionada con la función Dilogaritmica de Bloch-Wigner.

C. Teorema Clave (Teorema 3):
El autor demuestra que existe una distancia positiva $\delta > 0$ tal que, para un conjunto infinito de índices $m$ , las secuencias $P_-(m)$ y $P_+(m)$ se mantienen a una distancia de al menos $\delta$ de los enteros.

Si $\alpha$ es irracional, esto se sigue del teorema de equidistribución de Weyl.
Si $\alpha$ es racional, se demuestra que las secuencias son periódicas módulo 1 y que no todos los valores son enteros (gracias a que $\alpha$ no es entero, probado mediante estimaciones numéricas de la constante $G$ ), garantizando así la existencia de residuos no nulos.

D. Construcción de la Secuencia $N_n$ :
Utilizando la distancia positiva a los enteros, el autor construye enteros $N_m$ (pares) y $M_m$ (impares) que rodean a los ceros asintóticos. Esto permite controlar el signo de las funciones trigonométricas en los puntos $N_m, N_m+1, N_m+2$ .

3. Contribuciones Clave

Demostración Incondicional: A diferencia de enfoques heurísticos previos, la prueba es rigurosa y no depende de conjeturas no probadas.
Análisis de la Constante $\alpha$ : Se prueba que $\alpha \notin \mathbb{Z}$ (específicamente $38.89 < \alpha < 38.90$ ), lo cual es crucial para asegurar que las secuencias cuadráticas no colapsen en enteros.
Control de Errores: Se demuestra que el término de error en la aproximación asintótica es suficientemente pequeño ( $o(|T(n)|)$ ) para que el signo de $V_1(n)$ esté determinado exclusivamente por el término principal en los puntos seleccionados.
Identificación de Mínimos Locales: Se demuestra que en las secuencias construidas, los términos extremos ( $N_m$ y $N_m+2$ ) son estrictamente menores en magnitud que sus vecinos inmediatos, confirmando la existencia de mínimos locales.

4. Resultados Principales

El artículo establece el Teorema 1, que confirma las Conjeturas 5 y 6 de Andrews:

Existencia de la Secuencia: Existe una secuencia infinita de enteros $(N_n)_{n \ge 5}$ $(N_{n})_{n \geq 5}$ tal que:
- Los valores iniciales coinciden con los observados por Andrews: $N_5=293, N_6=410, N_7=545, N_8=702$ .
- Para $n \ge 9$ , $N_n > 10n^2$ .
Regularidad de Signos: Para cada $n \ge 5$ , los tres coeficientes consecutivos $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ tienen el mismo signo.
Mínimos Locales: En cada triplete, uno de los valores absolutos (específicamente los extremos $|V_1(N_n)|$ o $|V_1(N_n+2)|$ ) es un mínimo local estricto de la secuencia $|V_1(j)|$ .

La prueba se divide en dos familias de soluciones:

Caso Par (Teorema 4): Basado en los ceros de $F_-$ , generando secuencias de enteros pares.
Caso Impar (Teorema 5): Basado en los ceros de $F_+$ , generando secuencias de enteros impares.
Ambas familias se entrelazan para formar la secuencia completa requerida.

5. Significancia

Este trabajo cierra un capítulo importante en la teoría de series $q$ y particiones enteras relacionadas con el Libro de Notas Perdido de Ramanujan.

Validación de Observaciones Empíricas: Convierte las observaciones numéricas de Andrews en teoremas matemáticos sólidos.
Método Analítico: Ilustra cómo combinar la teoría asintótica de funciones de partición con propiedades de distribución de secuencias cuadráticas (teoría de números analítica) para resolver problemas sobre el comportamiento de signos.
Compleción del Panorama: Junto con el trabajo previo de Folsom et al., ahora se tiene una comprensión casi completa del comportamiento de signos y magnitud de los coeficientes $V_1(n)$ , mostrando que, aunque el crecimiento no es suave, existe una "gran regularidad de signos" estructurada en bloques específicos.

En resumen, el artículo provee la demostración definitiva de que existen patrones infinitos de signos idénticos y mínimos locales en la secuencia de coeficientes de $v_1(q)$ , resolviendo dos conjeturas abiertas durante décadas.