🔢 mathematics

Sign changes of the Liouville function in arithmetic progressions

Este artigo prova que, para qualquer primo $q$ suficientemente grande e qualquer classe de resíduo $a$ coprima a $q$ , a função de Liouville $\lambda$ assume ambos os valores $+1$ e $-1$ dentro da progressão aritmética $a \pmod{q}$ para inteiros até $q^{5/2 + \varepsilon}$ .

Autores originais: Kevin Ford, Maksym Radziwiłł

Publicado 2026-05-06

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Kevin Ford, Maksym Radziwiłł

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está organizando uma fila massiva e infinita de armários numerados, começando no 1 e indo para sempre. Cada armário contém um código secreto: ou um +1 ou um -1. Esse código é determinado por uma regra especial chamada função de Liouville (vamos chamá-la de "O Interruptor").

A regra para O Interruptor é simples, mas capciosa:

Se um número é composto por um número par de blocos de construção primos (como $6 = 2 \times 3$ , que tem 2 blocos), o código é +1.
Se um número é composto por um número ímpar de blocos de construção primos (como $12 = 2 \times 2 \times 3$ , que tem 3 blocos), o código é -1.

Geralmente, esses códigos alternam aleatoriamente conforme você caminha pela fila. Às vezes você vê um +1, depois um -1, depois um +1. É como um lançamento de moeda.

A Grande Questão

Matemáticos têm se interessado há muito tempo por uma maneira específica de observar esses armários: Progressões Aritméticas.

Imagine que você olhe apenas para armários espaçados por uma distância específica, digamos, a cada 7º armário (7, 14, 21, 28...). Ou a cada 100º armário. A questão é: Até onde você precisa caminhar nessa linha específica para ter a garantia de ver ambos um +1 e um -1?

Se você parar muito cedo, pode ter sorte e encontrar apenas +1s (ou apenas -1s) por acaso. Os autores deste artigo queriam encontrar a "distância segura"—o ponto em que se torna matematicamente impossível continuar vendo apenas um sinal.

As Tentativas Anteriores

O Problema do Número Primo: Um matemático famoso, Dirichlet, provou que se você olhar para uma linha específica (como cada 7º número), eventualmente encontrará um número primo. Mas quão grande é esse primeiro primo?
A Barreira da "Raiz Quadrada": Por muito tempo, os matemáticos pensaram que a resposta estava relacionada ao quadrado do espaçamento. Se você pular de $q$ em $q$ , talvez precise ir até $q^2$ para encontrar o que procura.
O Recorde Atual: Um matemático chamado Linnik provou que você não precisa ir tão longe. Ele mostrou que existe uma constante $L$ tal que você só precisa ir até $q^L$ . Ao longo dos anos, as pessoas tentaram tornar $L$ menor. O recorde atual é $L=5$ , o que significa que você precisa ir até $q^5$ .

O Que Este Artigo Faz

Kevin Ford e Maksym Radziwiłł abordaram uma versão ligeiramente diferente desse problema. Em vez de procurar por primos, eles estão procurando por mudanças de sinal no Interruptor (a função de Liouville).

Eles provaram um novo e mais forte resultado:
Se você escolher qualquer espaçamento $q$ (um número primo) e olhar para armários até uma distância de aproximadamente $q^{2.5}$ (ou seja, $q$ elevado à potência de 2,5), você tem a garantia de encontrar tanto um +1 quanto um -1.

Isso é uma enorme melhoria sobre o recorde anterior de "número primo" de $q^5$ . Eles reduziram significativamente a distância necessária.

Como Eles Fizeram (A História de Detetive)

Os autores usaram uma estratégia inteligente de "prova por contradição". Aqui está a analogia de sua lógica:

O Pesadelo Hipotético: Eles começaram assumindo o oposto do que queriam provar. Eles disseram: "Imagine um mundo onde, por uma distância muito longa (até $q^{2.5}$ ), cada número em nossa linha específica (por exemplo, números que são 3 mod 7) tenha o MESMO sinal. Digamos que todos sejam +1."
O Efeito Dominó: Eles mostraram que, se esse pesadelo de "todos +1" fosse verdade, isso forçaria todo o universo dos números a se comportar de uma maneira muito rígida e antinatural.
- Isso significaria que o Interruptor não é aleatório de forma alguma; ele teria que seguir um padrão estrito e repetitivo (periodicidade) que imita uma forma matemática específica chamada "símbolo de Legendre".
- Essencialmente, a aleatoriedade dos números teria que desaparecer e se tornar uma dança perfeita e previsível.
A Armadilha: Em seguida, eles mostraram que essa "dança perfeita" é impossível.
- A Primeira Armadilha: Se o padrão fosse de um jeito, o número de primos estaria totalmente errado (muito poucos).
- A Segunda Armadilha: Se o padrão fosse do outro jeito, violaria uma famosa lei matemática (Teorema de Siegel) sobre como esses números se distribuem.
A Conclusão: Como a suposição de "todos +1" (ou "todos -1") leva a uma contradição matemática, a suposição deve ser falsa. Portanto, os sinais devem mudar dentro dessa distância.

Uma Nota sobre "Magia"

O artigo menciona uma ressalva. Embora tenham provado que a distância é aproximadamente $q^{2.5}$ , sua prova depende de uma ferramenta matemática (Teorema de Siegel) que é como uma "caixa preta". Ela nos diz que o resultado é verdadeiro, mas não nos dá um número específico para quão "grande" $q$ precisa ser antes que essa regra entre em vigor. É como saber que uma ponte é segura, mas não saber exatamente quantos carros ela pode suportar até que seja construída.

Resumo

Em termos simples: Os autores provaram que, se você olhar para uma sequência específica de números espaçados por um número primo $q$ , não precisa caminhar muito longe (apenas até $q^{2.5}$ ) para ver o "interruptor" mudar de positivo para negativo. Se você não visse uma mudança até então, toda a estrutura da matemática entraria em colapso.

Resumo Técnico: Mudanças de Sinal da Função de Liouville em Progressões Aritméticas

Enunciado do Problema
O artigo aborda um análogo para funções multiplicativas ao teorema de Linnik sobre o menor primo em uma progressão aritmética. Enquanto o teorema de Linnik garante a existência de um primo $p \equiv a \pmod q$ com $p \ll q^L$ (atualmente $L=5$ ), este trabalho investiga a distribuição da função de Liouville $\lambda(n)$ dentro de progressões aritméticas. Especificamente, os autores perguntam: para um módulo primo $q$ e uma classe de resíduo reduzida $a \pmod q$ , quão grande deve ser $N$ para garantir a existência de inteiros $n, m \le N$ tais que $n \equiv m \equiv a \pmod q$ , mas $\lambda(n) = -1$ e $\lambda(m) = +1$ ? Em outras palavras, em que escala a função de Liouville necessariamente muda de sinal dentro de uma progressão aritmética fixa?

Metodologia
A prova procede por contradição. Os autores assumem que, para um primo $q$ suficientemente grande, a função de Liouville mantém um sinal constante $\kappa \in \{-1, +1\}$ para todo $n \equiv a \pmod q$ com $n \le q^{5/2+\varepsilon}$ . O argumento é estruturado em três fases principais:

Periodicidade e Equilíbrio via Argumentos Combinatórios:
Usando o Lema 7, os autores mostram que, se $\lambda(n)$ for constante em uma progressão até $N \ge q^{2+\varepsilon}$ , então $\lambda(n)$ deve ser $q$ -periódica para $n \le N/q$ (especificamente $\lambda(n+q) = \lambda(n)$ para $(n,q)=1$ ). Além disso, essa suposição força a soma de $\lambda(n)$ sobre os resíduos reduzidos módulo $q$ a ser exatamente zero. Esta etapa depende da teoria dos conjuntos combinatória (Lema 6, uma aplicação do princípio da casa dos pombos) para mostrar que, se as contagens de valores $+1$ e $-1$ em um intervalo de comprimento $q$ estivessem desequilibradas, poder-se-ia construir produtos de inteiros na progressão que violariam a hipótese de sinal constante.
Aproximação por um Caráter de Dirichlet:
Assumindo que as condições de periodicidade e soma nula valem, o Lema 8 utiliza a desigualdade da peneira grande e a soma de Poisson para demonstrar que $\lambda(n)$ deve essencialmente coincidir com um caráter de Dirichlet real $\chi_q$ (o símbolo de Legendre) escalado por uma constante $\kappa' \in \{-1, 1\}$ . Especificamente, $\lambda(n) = \kappa' \chi_q(n)$ para todo $n \le q$ , com no máximo $O(q^{1-\varepsilon/4})$ exceções.
Eliminação dos Dois Casos:
A prova conclui descartando ambos os valores possíveis para $\kappa'$ :
- Caso $\kappa' = -1$ : Se $\lambda(n) \approx -\chi_q(n)$ , os autores analisam a distribuição de primos $p \le q^{1/2}$ onde $\chi_q(p) = \pm 1$ . Ao considerar produtos de tais primos, eles mostram que o número de exceções necessário para satisfazer a hipótese contradiria a densidade conhecida de primos (via o Teorema dos Números Primos).
- Caso $\kappa' = +1$ : Se $\lambda(n) \approx \chi_q(n)$ , os autores constroem uma função multiplicativa $g(n) = \sum_{d|n} \chi_q(d)$ . Eles mostram que, sob essa hipótese, $g(n)$ se anula para a maioria dos inteiros não quadrados. No entanto, usando o Lema 5 (inversão de Mellin) e o limite inferior de Siegel para $L(1, \chi_q)$ (Lema 3), eles derivam um limite inferior para a soma $\sum g(n)W(n/q)$ que contradiz o limite superior derivado da propriedade de anulação.

Resultados Principais
O teorema principal (Teorema 1) estabelece que, para qualquer $\varepsilon > 0$ , e para qualquer primo $q$ suficientemente grande em relação a $1/\varepsilon$ , e qualquer classe de resíduo $(a, q)=1$ , existem inteiros $n, m \le q^{5/2+\varepsilon}$ tais que $n \equiv m \equiv a \pmod q$ com $\lambda(n) = -1$ e $\lambda(m) = +1$ .

Significado e Limitações
Os autores posicionam este resultado como um passo significativo na compreensão das mudanças de sinal de funções multiplicativas em progressões aritméticas. O limite $q^{5/2+\varepsilon}$ melhora resultados anteriores incondicionais para funções multiplicativas gerais e iguala a qualidade de resultados conhecidos anteriormente apenas sob a Hipótese de Riemann Generalizada (GRH) para casos específicos.

O artigo nota explicitamente uma limitação quanto à efetividade do resultado: ao contrário do teorema de Linnik, onde o expoente e as constantes implícitas são efetivamente computáveis, o argumento aqui depende do teorema de Siegel. Consequentemente, o limiar para $q$ ser "suficientemente grande" em termos de $1/\varepsilon$ é incomputável.

Os autores distinguem sua abordagem de trabalhos concurrentes de Matomäki e Teräväinen [7], que alcançam um limite mais forte de $q^{2+\varepsilon}$ para funções multiplicativas reais gerais (incondicionalmente para a função de Liouville). Os autores enfatizam que seu argumento é curto e segue linhas diferentes, utilizando especificamente a interplay entre a peneira grande, a soma de Poisson e as propriedades específicas da função de Liouville para derivar o limiar $q^{5/2}$ .