🔢 mathematics

Sign changes of the Liouville function in arithmetic progressions

Este artículo demuestra que para cualquier primo $q$ suficientemente grande y cualquier clase residual $a$ coprima con $q$ , la función de Liouville $\lambda$ toma ambos valores $+1$ y $-1$ dentro de la progresión aritmética $a \pmod{q}$ para enteros hasta $q^{5/2 + \varepsilon}$ .

Autores originales: Kevin Ford, Maksym Radziwiłł

Publicado 2026-05-06

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Kevin Ford, Maksym Radziwiłł

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 estás organizando una fila masiva e infinita de casilleros numerados, comenzando desde 1 y continuando para siempre. Cada casillero contiene un código secreto: ya sea un +1 o un -1. Este código está determinado por una regla especial llamada la función de Liouville (llamémosla "El Interruptor").

La regla de El Interruptor es simple pero engañosa:

Si un número está formado por un número par de bloques de construcción primos (como $6 = 2 \times 3$ , que tiene 2 bloques), el código es +1.
Si un número está formado por un número impar de bloques de construcción primos (como $12 = 2 \times 2 \times 3$ , que tiene 3 bloques), el código es -1.

Por lo general, estos códigos alternan de forma aleatoria a medida que caminas por la fila. A veces ves un +1, luego un -1, luego un +1. Es como lanzar una moneda.

La Gran Pregunta

Los matemáticos han estado interesados durante mucho tiempo en una forma específica de observar estos casilleros: Progresiones Aritméticas.

Imagina que solo miras los casilleros que están espaciados a una distancia específica, digamos cada 7.º casillero (7, 14, 21, 28...). O cada 100.º casillero. La pregunta es: ¿Hasta dónde tienes que caminar por esta línea específica antes de estar garantizado de ver ambos, un +1 y un -1?

Si te detienes demasiado pronto, podrías tener la suerte de encontrar solo +1 (o solo -1) por casualidad. Los autores de este artículo querían encontrar la "distancia segura": el punto donde se vuelve matemáticamente imposible seguir viendo solo un signo.

Los Intentos Previos

El Problema del Número Primo: Un matemático famoso, Dirichlet, demostró que si miras una línea específica (como cada 7.º número), eventualmente encontrarás un número primo. Pero, ¿qué tan grande es ese primer primo?
La Barrera de la "Raíz Cuadrada": Durante mucho tiempo, los matemáticos pensaron que la respuesta estaba relacionada con el cuadrado del espaciado. Si saltas de $q$ en $q$ , podrías necesitar llegar hasta $q^2$ para encontrar lo que buscas.
El Récord Actual: Un matemático llamado Linnik demostró que no necesitas ir tan lejos. Mostró que existe una constante $L$ tal que solo necesitas llegar hasta $q^L$ . A lo largo de los años, la gente intentó hacer que $L$ fuera más pequeña. El récord actual es $L=5$ , lo que significa que necesitas llegar hasta $q^5$ .

Lo Que Hace Este Artículo

Kevin Ford y Maksym Radziwiłł abordaron una versión ligeramente diferente de este problema. En lugar de buscar primos, están buscando cambios de signo en El Interruptor (la función de Liouville).

Demostraron un resultado nuevo y más fuerte:
Si eliges cualquier espaciado $q$ (un número primo) y miras casilleros hasta una distancia de aproximadamente $q^{2.5}$ (es decir, $q$ elevado a la potencia de 2.5), estás garantizado de encontrar tanto un +1 como un -1.

Esta es una enorme mejora sobre el récord anterior de "número primo" de $q^5$ . Redujeron significativamente la distancia requerida.

Cómo Lo Hicieron (La Historia del Detective)

Los autores utilizaron una astuta estrategia de "prueba por contradicción". Aquí está la analogía de su lógica:

La Pesadilla Hipotética: Comenzaron asumiendo lo contrario de lo que querían demostrar. Dijeron: "Imagina un mundo donde, durante una distancia muy larga (hasta $q^{2.5}$ ), cada número en nuestra línea específica (por ejemplo, números que son 3 módulo 7) tenga el MISMO signo. Digamos que todos son +1."
El Efecto Dominó: Mostraron que si esta pesadilla de "todos +1" fuera cierta, obligaría a todo el universo de números a comportarse de una manera muy rígida e antinatural.
- Significaría que El Interruptor no es aleatorio en absoluto; tendría que seguir un patrón estricto y repetitivo (periodicidad) que imita una forma matemática específica llamada "símbolo de Legendre".
- Esencialmente, la aleatoriedad de los números tendría que desaparecer y convertirse en un baile perfecto y predecible.
La Trampa: Luego mostraron que este "baile perfecto" es imposible.
- La Primera Trampa: Si el patrón fuera de una manera, la cantidad de números primos sería incorrecta (demasiados pocos).
- La Segunda Trampa: Si el patrón fuera de la otra manera, violaría una famosa ley matemática (el Teorema de Siegel) sobre cómo se distribuyen estos números.
La Conclusión: Dado que la suposición de "todos +1" (o "todos -1") conduce a una contradicción matemática, la suposición debe ser falsa. Por lo tanto, los signos deben cambiar dentro de esa distancia.

Una Nota sobre la "Magia"

El artículo menciona una trampa. Aunque demostraron que la distancia es aproximadamente $q^{2.5}$ , su demostración se basa en una herramienta matemática (el Teorema de Siegel) que es como una "caja negra". Nos dice que el resultado es verdadero, pero no nos da un número específico sobre qué tan "grande" debe ser $q$ antes de que esta regla entre en vigor. Es como saber que un puente es seguro, pero no saber exactamente cuántos coches puede soportar hasta que lo construyas.

Resumen

En términos simples: Los autores demostraron que si miras una secuencia específica de números espaciados por un número primo $q$ , no tienes que caminar muy lejos (solo hasta $q^{2.5}$ ) para ver que el "interruptor" cambia de positivo a negativo. Si no vieras un cambio para entonces, toda la estructura de las matemáticas se rompería.

Resumen Técnico: Cambios de Signo de la Función de Liouville en Progresiones Aritméticas

Enunciado del Problema
El artículo aborda un análogo para funciones multiplicativas del teorema de Linnik sobre el menor primo en una progresión aritmética. Mientras que el teorema de Linnik garantiza la existencia de un primo $p \equiv a \pmod q$ con $p \ll q^L$ (actualmente $L=5$ ), este trabajo investiga la distribución de la función de Liouville $\lambda(n)$ dentro de progresiones aritméticas. Específicamente, los autores preguntan: para un módulo primo $q$ y una clase de residuos reducida $a \pmod q$ , ¿qué tan grande debe ser $N$ para garantizar la existencia de enteros $n, m \le N$ tales que $n \equiv m \equiv a \pmod q$ , pero $\lambda(n) = -1$ y $\lambda(m) = +1$ ? En otras palabras, ¿a qué escala cambia necesariamente de signo la función de Liouville dentro de una progresión aritmética fija?

Metodología
La demostración procede por contradicción. Los autores asumen que para un primo $q$ suficientemente grande, la función de Liouville mantiene un signo constante $\kappa \in \{-1, +1\}$ para todo $n \equiv a \pmod q$ con $n \le q^{5/2+\varepsilon}$ . El argumento se estructura en tres fases principales:

Periodicidad y Equilibrio mediante Argumentos Combinatorios:
Utilizando el Lema 7, los autores muestran que si $\lambda(n)$ es constante en una progresión hasta $N \ge q^{2+\varepsilon}$ , entonces $\lambda(n)$ debe ser $q$ -periódica para $n \le N/q$ (específicamente $\lambda(n+q) = \lambda(n)$ para $(n,q)=1$ ). Además, esta suposición fuerza a que la suma de $\lambda(n)$ sobre los residuos reducidos módulo $q$ sea exactamente cero. Este paso se basa en la teoría de conjuntos combinatoria (Lema 6, una aplicación del principio del palomar) para demostrar que si las cantidades de valores $+1$ y $-1$ en un intervalo de longitud $q$ estuvieran desequilibradas, se podrían construir productos de enteros en la progresión que violarían la hipótesis de signo constante.
Aproximación por un Carácter de Dirichlet:
Asumiendo que se cumplen las condiciones de periodicidad y suma nula, el Lema 8 utiliza la desigualdad del tamiz grande y la suma de Poisson para demostrar que $\lambda(n)$ debe coincidir esencialmente con un carácter de Dirichlet real $\chi_q$ (el símbolo de Legendre) escalado por una constante $\kappa' \in \{-1, 1\}$ . Específicamente, $\lambda(n) = \kappa' \chi_q(n)$ para todo $n \le q$ , con a lo sumo $O(q^{1-\varepsilon/4})$ excepciones.
Eliminación de los Dos Casos:
La demostración concluye descartando ambos valores posibles para $\kappa'$ :
- Caso $\kappa' = -1$ : Si $\lambda(n) \approx -\chi_q(n)$ , los autores analizan la distribución de primos $p \le q^{1/2}$ donde $\chi_q(p) = \pm 1$ . Al considerar productos de tales primos, muestran que el número de excepciones requerido para satisfacer la hipótesis contradiría la densidad conocida de primos (mediante el Teorema de los Números Primos).
- Caso $\kappa' = +1$ : Si $\lambda(n) \approx \chi_q(n)$ , los autores construyen una función multiplicativa $g(n) = \sum_{d|n} \chi_q(d)$ . Demuestran que bajo esta hipótesis, $g(n)$ se anula para la mayoría de los enteros no cuadrados. Sin embargo, utilizando el Lema 5 (inversión de Mellin) y la cota inferior de Siegel para $L(1, \chi_q)$ (Lema 3), derivan una cota inferior para la suma $\sum g(n)W(n/q)$ que contradice la cota superior derivada de la propiedad de anulación.

Resultados Clave
El teorema principal (Teorema 1) establece que para cualquier $\varepsilon > 0$ , y para cualquier primo $q$ suficientemente grande en relación con $1/\varepsilon$ , y cualquier clase de residuos $(a, q)=1$ , existen enteros $n, m \le q^{5/2+\varepsilon}$ tales que $n \equiv m \equiv a \pmod q$ con $\lambda(n) = -1$ y $\lambda(m) = +1$ .

Significado y Limitaciones
Los autores sitúan este resultado como un paso significativo en la comprensión de los cambios de signo de funciones multiplicativas en progresiones aritméticas. La cota $q^{5/2+\varepsilon}$ mejora los resultados incondicionales anteriores para funciones multiplicativas generales y coincide con la calidad de los resultados conocidos anteriormente solo bajo la Hipótesis de Riemann Generalizada (GRH) para casos específicos.

El artículo señala explícitamente una limitación respecto a la efectividad del resultado: a diferencia del teorema de Linnik, donde el exponente y las constantes implícitas son computables efectivamente, el argumento aquí depende del teorema de Siegel. En consecuencia, el umbral para que $q$ sea "suficientemente grande" en términos de $1/\varepsilon$ es incalculable.

Los autores distinguen su enfoque del trabajo concurrente de Matomäki y Teräväinen [7], el cual logra una cota más fuerte de $q^{2+\varepsilon}$ para funciones multiplicativas reales generales (incondicionalmente para la función de Liouville). Los autores enfatizan que su argumento es breve y procede por líneas diferentes, utilizando específicamente la interacción entre el tamiz grande, la suma de Poisson y las propiedades específicas de la función de Liouville para derivar el umbral $q^{5/2}$ .