🔢 mathematics

Parity of the partition function in quadratic progressions

Este artículo demuestra una conjetura de 2010 relativa a la paridad de la función de partición en progresiones cuadráticas mediante el empleo de un novedoso enfoque geométrico que involucra productos de Borcherds retorcidos, puntos CM y representaciones de Galois para demostrar que los valores contienen infinitos términos pares e impares.

Autores originales: Ken Ono, Ashvin Swaminathan

Publicado 2026-08-13

📖 4 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Ken Ono, Ashvin Swaminathan

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 una vasta biblioteca infinita donde cada libro es un número y, dentro de cada libro, existen innumerables formas de reorganizar sus páginas. En el mundo de las matemáticas, este es el reino de las "particiones". Una partición es simplemente una forma de descomponer un número entero en una suma de números positivos más pequeños. Por ejemplo, el número 4 puede descomponerse de cinco maneras diferentes: 4, 3+1, 2+2, 2+1+1 y 1+1+1+1. Los matemáticos llaman al recuento total de estas formas la "función de partición", que a menudo se escribe como $p(n)$ .

Durante más de un siglo, los matemáticos se han sentido fascinados por los ritmos ocultos en estos números. Han descubierto que, si observas ciertos patrones, las respuestas suelen seguir reglas estrictas, como terminar siempre en cero cuando se dividen por 5 o 7. Pero hay un misterio obstinado y caótico que ha resistido todo intento de domesticación: la "paridad" de estos números. La paridad simplemente significa si un número es par o impar. ¿Cambia la secuencia de los números de partición de forma aleatoria entre par e impar, o se queda estancada en un patrón? Durante mucho tiempo, nadie pudo probar si los números eran verdaderamente aleatorios o si secretamente favorecían a un bando. Este artículo se sumerge en ese caos, mirando específicamente a los números formados por una fórmula cuadrática especial, para ver si los valores pares e impares bailan juntos o si un compañero lidera todo el baile.

Los autores de este artículo, Ken Ono y Ashvin Swaminathan, finalmente han resuelto una conjetura específica y de larga data sobre este baile. Demostraron que, para una cierta familia de números generados por la fórmula $Dm^2 + 1$ (donde $D$ es un tipo específico de número y $m$ es un entero), los valores de la partición no están estancados siendo todos pares o todos impares. En cambio, demostraron que tanto los valores pares como los impares aparecen infinitas veces.

Para descifrar este código, los autores no se limitaron a procesar números; construyeron un puente entre dos mundos muy diferentes de las matemáticas: la aritmética del conteo (particiones) y la geometría de las formas (curvas elípticas). Trataron los números de partición como si fueran las coordenadas de un mapa. Utilizando una astuta herramienta matemática llamada "función theta falsa" (un tipo de patrón numérico descubierto por el legendario Srinivasa Ramanujan), tradujeron el problema de contar particiones en un problema sobre la forma de una curva.

La idea clave fue geométrica. Imaginaron los números como puntos en un mapa especial llamado "curva modular". Descubrieron que la "paridad" de los números de partición estaba codificada en el comportamiento de puntos específicos en este mapa, conocidos como "puntos CM". Los autores demostraron que, si miras estos puntos a través de una lente especial (reduciéndolos módulo 2, que es como comprobar si un número es par o impar), los puntos permanecen distintos y no colapsan entre sí. Esta distinción es crucial. Si los puntos se mantuvieran distintos, significaría que los números de partición no podrían tener la misma paridad; tendrían que variar.

Utilizaron un "argumento geométrico" para descartar la posibilidad de que todos los números fueran pares (lo que haría que el mapa pareciera vacío) y la posibilidad de que todos fueran impares (lo que haría que el mapa pareciera una línea suave e ininterrumpida). Dado que el mapa tenía "polos" (picos afilados) que sobrevivían a la reducción, los números tenían que ser una mezcla. Una vez que demostraron que existía al menos un número par y al menos un número impar en la secuencia, utilizaron una regla aritmética separada para mostrar que esta única ocurrencia obliga al patrón a repetirse para siempre.

El resultado es una prueba definitiva: para estas progresiones cuadráticas específicas, la función de partición es un verdadero lanzamiento de moneda, saltando entre par e impar infinitas veces. El artículo también proporciona un "límite de velocidad" para este descubrimiento, dando una fórmula para calcular el número más pequeño necesario para encontrar el primer valor par y el primer valor impar. Este trabajo no solo resuelve un rompecabezas; introduce un nuevo kit de herramientas geométricas que puede usarse para resolver acertijos similares sobre otras secuencias numéricas, mostrando que, a veces, para entender el ritmo de los números, tienes que mirar la forma del espacio en el que viven.

Resumen Técnico: Paridad de la Función de Partición en Progresiones Cuadráticas

Planteamiento del Problema
La paridad de la función de partición $p(n)$ , que cuenta las formas de escribir un entero positivo $n$ como una suma de enteros positivos, sigue siendo un problema abierto y persistente en la teoría de particiones. Mientras que las congruencias de Ramanujan establecieron regularidades módulo 5, 7 y 11, la distribución de $p(n)$ módulo 2 es poco comprendida. La conjetura de Parkin–Shanks postula que $p(n)$ es par e impar con una densidad natural de $1/2$ , pero los límites incondicionales siguen siendo débiles.

Un caso específico de esta dificultad involucra la restricción del argumento de $p(n)$ a progresiones cuadráticas. En 2010, el primer autor conjeturó que para cada entero libre de cuadrados $D > 1$ con $D \equiv 23 \pmod{24}$ , la secuencia
$p\left(\frac{Dm^2 + 1}{24}\right)$
contiene infinitos términos pares e infinitos términos impares a medida que $m$ recorre los enteros positivos coprimos con 6. Antes de este trabajo, esencialmente no se sabía nada para polinomios de grado $\ge 2$ .

Metodología e Ideas Clave
Los autores resuelven esta conjetura introduciendo un marco geométrico que conecta la aritmética de la función de partición con la geometría de las curvas modulares y los puntos CM. La metodología procede a través de tres etapas:

Funciones Mock Theta y Productos de Borcherds:
Los autores utilizan el hecho de que la función mock theta de tercer orden de Ramanujan $f(q)$ codifica $p(n)$ módulo 4. Específicamente, la función generatriz $P(q) = \sum p(n)q^n$ satisface $P(q) \equiv f(q) \pmod 4$ . Construyen una forma modular meromorfa de peso 0, $\Psi_D$ , para $\Gamma_0(6)$ , utilizando el levantamiento de Borcherds retorcido de Bruinier y el primer autor. El divisor de $\Psi_D$ consiste en dos paquetes de puntos CM en $X_0(6)$ con discriminante $-D$ . La derivada logarítmica de este producto, denotada como $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$ , es una diferencial meromorfa de peso 2.
Análisis Geométrico en Característica 2:
La innovación central es el análisis de $\omega_D$ en característica 2. Los autores establecen que:
- Los dos paquetes de puntos CM en el divisor de $\Psi_D$ comparten una "orientación-2" común (específicamente, sus subgrupos de nivel de orden 2 corresponden al mismo primo $\mathfrak{p}_2$ sobre 2 en el campo CM $K = \mathbb{Q}(\sqrt{-D})$ ).
- Debido a la rigidez de los levantamientos canónicos (teoría de Serre–Tate), los puntos CM distintos con esta orientación común permanecen distintos tras la reducción módulo 2.
- Los residuos de $\omega_D$ en estos puntos CM son unidades 2-ádicas. En consecuencia, los polos simples de $\omega_D$ sobreviven a la reducción módulo 2 en el componente ordinaria $C_\infty$ de la fibra especial de $X_0(6)$ .
Comparación con Series de Eisenstein:
La expansión de Fourier de $\omega_D$ en el cusp $\infty$ es una serie de Lambert que codifica las paridades de los valores de la partición en cuestión. Los autores comparan esta expansión con una serie de Eisenstein holomorfa de peso 2, $E_D$ , construida para coincidir con el escenario de "todos impares".
- Si todos los valores de la partición fueran pares, la reducción de $\omega_D$ se anularía identicamente, contradiciendo la supervivencia de los polos CM.
- Si todos los valores de la partición fueran impares, la reducción de $\omega_D$ sería congruente con la reducción de $E_D$ . Sin embargo, $E_D$ es holomorfa (regular) en los puntos CM, mientras que la reducción de $\omega_D$ retiene polos simples allí. Esta contradicción descarta la paridad constante impar.

Resultados Clave
El artículo demuestra lo siguiente:

Teorema 1: Para cada entero libre de cuadrados $D > 1$ $D > 1$ con $D \equiv 23 \pmod{24}$ $D \equiv 23 (mod 24)$ , los valores de $p\left(\frac{Dm^2 + 1}{24}\right)$ $p (\frac{D m ^{2} + 1}{24})$ para $(m, 6)=1$ $(m, 6) = 1$ incluyen infinitos términos pares e infinitos términos impares.
- Además, el artículo proporciona límites efectivos para la primera ocurrencia de cada paridad en términos del número de la clase $h(-D)$ :
  $m_{\text{impar}} \le 12h(-D) + 2$
  $m_{\text{par}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$
Teorema 2: Se establece un criterio de no constancia generalizado para secuencias que surgen de productos de Borcherds retorcidos generalizados. Este teorema aisla las entradas geométricas necesarias (integralidad de la diferencial, existencia de polos CM simples con residuos unidad y la existencia de una forma modular holomorfa coincidente) requeridas para probar que una secuencia no es constante módulo 2.

Significancia y Reivindicaciones
El artículo afirma resolver una conjetura específica y de larga data sobre la paridad de la función de partición en progresiones cuadráticas, un caso donde los métodos previos no habían arrojado resultados. La significancia reside en la naturaleza "geométrica" de la prueba:

Reencuadra un problema combinatorio sobre los coeficientes de la partición en un problema sobre el comportamiento de los polos de las diferenciales modulares en característica 2.
Demuestra que la "supervivencia" de los polos CM bajo la reducción módulo 2, combinada con la unicidad de los levantamientos canónicos, proporciona un mecanismo robusto para descartar patrones de paridad constantes.
Los autores señalan que, si bien el argumento geométrico (Teorema 2) establece la no constancia (es decir, descarta "todo par" o "todo impar"), el paso de "una ocurrencia" a "infinitas ocurrencias" depende de resultados de propagación aritmética independientes que involucran álgebras de Hecke y representaciones de Galois (específicamente, la nilpotencia local de ciertos operadores de Hecke). Por lo tanto, el artículo no pretende que el método geométrico por sí solo produzca la infinitud para datos de Borcherds generales, sino que proporciona el paso crucial de no constancia que, al combinarse con los teoremas de propagación aritmética conocidos, produce el resultado completo.

Las identidades algebraicas que sustentan la prueba fueron formalizadas y verificadas en Lean por AxiomProver, asegurando la corrección de los intrincados cálculos de combinatoria y formas modulares.

Más como este