🔢 mathematics

The least quadratic residue and integers represented by quadratic forms

Este artigo estabelece limites quase ótimos para o menor resíduo quadrático reduzido não trivial módulo $n$ , constrói módulos onde este valor é inesperadamente grande e aplica estas descobertas para determinar a taxa na qual formas quadráticas binárias com discriminante limitado representam todos os inteiros positivos até $N$ .

Autores originais: Kannan Soundararajan, João C. C. Vargas

Publicado 2026-08-03

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Kannan Soundararajan, João C. C. Vargas

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

A Grande Caça aos Números: Encontrando o Primeiro Quadrado "Bom"

Imagine que você é um detetive tentando decifrar um código secreto. No mundo da matemática, especificamente em um ramo chamado Teoria dos Números, os números não servem apenas para contar; eles têm personalidades e relações ocultas. Um dos enigmas mais famosos envolve "resíduos quadráticos". Pense neles como números que podem ser "elevados ao quadrado" para se encaixarem perfeitamente em um padrão específico. Se você pegar um número, elevá-lo ao quadrado (multiplicá-lo por si mesmo) e dividi-lo por um módulo secreto (um número grande $n$ ), o resto é um resíduo quadrático. É como encontrar uma chave que se ajusta a uma fechadura específica.

A grande questão que os matemáticos têm feito há muito tempo é: o quão longe você tem que procurar para encontrar a primeira chave que funciona? Em outras palavras, qual é o menor número que você tem que verificar para encontrar um quadrado que funcione? Isso não é apenas um jogo; entender esses números "mínimos" ajuda-nos a compreender como os números se distribuem, o que é crucial para coisas como a criptografia (a matemática por trás da segurança na internet) e para compreender a estrutura profunda do universo dos números. Durante décadas, os matemáticos tinham boas suposições, mas queriam saber se havia "fechaduras traiçoeiras" que exigiriam que você buscasse em uma área inesperadamente vasta antes de encontrar uma única chave funcional.

A Grande Descoberta do Artigo: As Fechaduras "Sem Sorte"

Neste artigo, K. Soundararajan e João C. C. Vargas abordam o mistério do menor resíduo quadrático. Eles definem um número especial, chamemo-lo de $\ell(n)$ , que é o menor número inteiro "livre de quadrados" (um número que não é divisível por nenhum quadrado perfeito como 4, 9 ou 16) que atua como um resíduo quadrático para um determinado número $n$ .

Os autores provam duas coisas principais que podem parecer contraditórias à primeira vista, mas que, juntas, contam uma história fascinante.

1. A Rede de Segurança (O Limite Superior)
Primeiro, eles provam que você nunca terá que procurar demais. Não importa o quão complicado seja o seu número $n$ , existe um "teto" matemático para o quão grande o primeiro funcionamento da chave ( $\ell(n)$ ) pode ser. Eles mostram que, se $n$ tiver $k$ diferentes fatores primos, a menor chave funcional é garantidamente menor que uma fórmula específica envolvendo $2^{4k}$ . É como dizer: "Mesmo no labirinto mais confuso, você encontrará a saída antes de dar $2^{4k}$ passos". Esta parte é uma aplicação direta do Princípio da Casa dos Pombos — um truque lógico que diz que, se você tem mais pombos do que casas, pelo menos uma casa deve conter dois pombos. Aqui, os "pombos" são os números e as "casas" são os padrões de restos.

2. A Surpresa (O Limite Inferior)
É aqui que fica emocionante. Embora os autores tenham provado que existe um teto, eles também descobriram que, para certos números especialmente elaborados, a primeira chave funcional é muito, muito maior do que qualquer um esperava.
Normalmente, se um padrão aparece em cerca de 1 em cada $2^k$ números, você esperaria encontrar uma correspondência após verificar aproximadamente $2^k$ números. Mas os autores construíram números $n$ específicos onde a primeira correspondência não aparece até que você verifique números tão grandes quanto $4^k$ (menos uma pequena correção).
Para colocar isto em perspectiva: se você estivesse procurando uma agulha num palheiro, esperaria encontrar o objeto após vasculhar alguns fardos. Estes autores construíram um palheiro tão traiçoeiro que você poderia ter que vasculhar uma montanha de feno antes de encontrar a agulha. Eles alcançaram isto utilizando ideias de códigos de correção de erros (a matemática usada para corrigir dados corrompidos em missões espaciais e CDs), mostrando que a "má sorte" destes números é, na verdade, um recurso deliberado e construído.

3. O Cenário "E Se" (A Hipótese de Riemann)
O artigo também explora o que aconteceria se uma famosa suposição não provada, chamada Hipótese de Riemann Generalizada (GRH), fosse verdadeira. Se a GRH estiver correta, os números "traiçoeiros" não são tão ruins quanto os exemplos construídos pelos autores. Sob esta suposição, a menor chave seria encontrada muito antes, aproximadamente em torno de $e^{C \log n \log \log n}$ . No entanto, como não sabemos com certeza se a GRH é verdadeira, os exemplos de "pior caso" construídos pelos autores permanecem como a melhor prova que temos de que estes números podem ser surpreendentemente grandes.

Por Que Isso Importa?

Os autores não pararam apenas em encontrar estes números traiçoeiros; eles usaram as suas descobertas para resolver um enigma relacionado às formas quadráticas binárias. Estas são expressões matemáticas como $ax^2 + bxy + cy^2$ que podem ser usadas para gerar outros números.
O artigo pergunta: "Quão grande deve ser o discriminante (um número específico que define a forma) para garantir que todo número inteiro positivo até um certo tamanho $N$ possa ser representado?"
Utilizando os seus novos limites sobre $\ell(n)$ , os autores mostram:

Incondicionalmente (sem assumir a GRH): Existem inteiros até $N$ que não podem ser representados por nenhuma forma quadrática com um discriminante menor do que um limite massivo específico.
Condicionalmente (assumindo a GRH): Se a Hipótese de Riemann for verdadeira, o limite é muito menor, o que significa que podemos representar quase todos os números com formas muito mais simples.

A Conclusão

Este artigo é uma aula magistral sobre o equilíbrio entre cenários de "melhor caso" e "pior caso". Ele confirma que, embora exista um limite teórico para o quão difícil é encontrar um resíduo quadrático, o universo dos números contém "armadilhas" onde a busca é significativamente mais longa do que a probabilidade simples sugeriria. Os autores não apenas adivinharam; eles construíram matematicamente estas armadilhas e provaram que elas existem. Eles também mostraram que, se a hipótese matemática (GRH) for verdadeira, estas armadilhas são menos perigosas do que parecem, mas até que essa conjectura seja provada, devemos assumir o pior.

No final, este trabalho refina a nossa compreensão de como os números se escondem e se revelam, provando que, às vezes, a menor chave para uma fechadura está escondida num lugar que você nunca pensaria em procurar sem um mapa muito inteligente.

Resumo Técnico: O Menor Resíduo Quadrático e Inteiros Representados por Formas Quadráticas

Enunciado do Problema
Este artigo investiga $\ell(n)$ , definido como o menor resíduo quadrático reduzido não trivial módulo $n$ . Especificamente, $\ell(n)$ é o menor inteiro livre de quadrados $r > 1$ tal que $\gcd(r, n) = 1$ e $r \equiv x^2 \pmod n$ para algum inteiro $x$ . Os autores buscam estabelecer limites para $\ell(n)$ em termos tanto da magnitude de $n$ quanto do seu número de fatores primos, $\omega(n)$ . Um objetivo secundário é aplicar esses resultados para determinar a taxa na qual famílias de formas quadráticas binárias com discriminante limitado representam todos os inteiros positivos até um grande limite $N$ .

Metodologia
Os autores empregam uma combinação de argumentos combinatórios, teoria analítica dos números e estruturas algébricas sobre corpos finitos.

Princípios Combinatórios e do Palco de Pombos: O limite superior para $\ell(n)$ é derivado usando o princípio do palácio de pombos. Ao considerar primos em progressões aritméticas e seus valores de símbolo de Legendre, os autores demonstram a existência de um produto de dois primos que satisfaz as condições necessárias de resíduo quadrático.
Construção Algébrica (Limites Inferiores): Para construir módulos $n$ com $\ell(n)$ inesperadamente grande, os autores utilizam uma correspondência entre números primos e polinômios irredutíveis sobre o corpo $\mathbb{F}_2$ . Eles definem funções completamente multiplicativas $f_j: \mathbb{N} \to \{-1, 1\}$ baseadas nas raízes desses polinômios no fechamento algébrico de $\mathbb{F}_2$ . Um lema fundamental envolvendo somas de potências de elementos distintos em $\mathbb{F}_2$ (relacionado às identidades de Newton) é usado para provar que, se um inteiro livre de quadrados $r$ satisfaz $f_j(r) = 1$ para todo $j$ , então $r$ deve ser grande.
Teoria Analítica dos Números e Estimativas de Densidade de Zeros: A construção de $n$ $n$ depende da busca por um conjunto de primos tal que, para cada discriminante fundamental $D$ $D$ em um determinado intervalo, pelo menos um primo no conjunto seja um não-resíduo quadrático módulo $D$ $D$ .
- Condicional à GRH: A Hipótese de Riemann Generalizada (GRH) é usada para limitar somas de caracteres sobre primos, garantindo a existência de tal conjunto de primos com tamanho aproximadamente $\exp(C \log \Delta \log \log \Delta)$ .
- Incondicional: Sem assumir a GRH, os autores utilizam estimativas de densidade de zeros para funções $L$ de Dirichlet. Eles particionam o conjunto de discriminantes com base na localização de seus zeros (regiões livres de zeros) e aplicam um argumento de soma ponderada envolvendo uma função de peso específica $w(t)$ para estabelecer a existência dos primos requeridos.
Aplicação a Formas Quadráticas: Os resultados são aplicados à representação de inteiros por formas quadráticas binárias $f(x,y) = ax^2 + bxy + cy^2$ . Os autores utilizam o fato de que um inteiro $n$ é representado por uma forma de discriminante $D$ se, e somente se, $D$ é um quadrado módulo $4n$ (para representações próprias).

Contribuições Principais e Resultados

Limites para $\ell(n)$ em termos de fatores primos:
- Limite Superior: Se $k$ é o número de fatores primos ímpares de $n$ , $\ell(n) \le C k 2^{4k}$ para uma constante absoluta $C$ .
- Limite Inferior: Para cada $k \ge 2$ , existem infinitos inteiros ímpares $n$ com exatamente $k$ fatores primos distintos tais que $\ell(n) \ge 4^{k - C k / \log k}$ . Este resultado é surpreendente dado que a densidade de resíduos quadráticos é $\asymp 2^{-k}$ , sugerindo que se poderia esperar que $\ell(n)$ fosse mais próximo de $2^k$ .
Limites para $\ell(n)$ em termos da magnitude de $n$ :
- Os autores constroem um inteiro ímpar livre de quadrados $n \le N(\Delta)$ tal que, para todo discriminante fundamental $D$ com $1 < |D| \le \Delta$ , existe um fator primo $p$ de $n$ com $\left(\frac{D}{p}\right) = -1$ .
- Incondicional: $N(\Delta)$ pode ser escolhido como $\exp(C \log \Delta (\log \log \Delta)^2)$ .
- Condicional à GRH: $N(\Delta)$ pode ser escolhido como $\exp(C \log \Delta \log \log \Delta)$ para qualquer $C > 2/\log 2$ .
- Consequentemente, $\ell(n)$ pode ser tão grande quanto $\exp\left(c \frac{\log n}{(\log \log n)^2}\right)$ incondicionalmente, e $\exp\left(\left(\frac{\log 2}{2} + o(1)\right) \frac{\log n}{\log \log n}\right)$ sob a GRH.
Representações por Formas Quadráticas Binárias:
- Formas Indefinidas: Todo inteiro positivo até $N$ pode ser representado por alguma forma quadrática binária primitiva, não degenerada e indefinida com discriminante $1 < D_f \le \Delta$ , onde $\Delta = \exp\left((\log 4 + o(1)) \frac{\log N}{\log \log N}\right)$ .
- Formas Positivas Definidas (Condicional): Assumindo a GRH, todo inteiro positivo até $N$ pode ser representado por uma forma quadrática binária primitiva, positiva definida, com discriminante $|D_f| \le \Delta$ (com o mesmo $\Delta$ acima).
- Limitações: Existe um inteiro positivo $n \le N$ que não pode ser representado por nenhuma forma quadrática binária primitiva e não degenerada com $|D_f| \le \Delta$ se $\Delta = \exp(c \log N / (\log \log N)^2)$ . Sob a GRH, esse limiar melhora para $\exp((\frac{\log 2}{2} - \epsilon) \frac{\log N}{\log \log N})$ .

Significância e Alegações
O artigo afirma estabelecer "limites quase ótimos" para o menor resíduo quadrático, tanto em termos do tamanho do módulo quanto do seu número de fatores primos. A construção de módulos com $\ell(n)$ grande é motivada por ideias de códigos de correção de erros e representa um avanço significativo sobre as expectativas probabilísticas, mostrando que $\ell(n)$ pode ser significativamente maior do que o inverso da densidade de resíduos quadráticos.

Os autores posicionam seu trabalho como uma variante do problema clássico de encontrar o menor primo $p$ tal que $\chi(p) = -1$ para um caráter quadrático primitivo; enquanto o problema clássico é bem compreendido sob a GRH, este artigo estende o escopo para módulos compostos e fornece resultados incondicionais que são apenas ligeiramente mais fracos que os condicionais.

Além disso, o artigo fornece progresso quantitativo preciso sobre o problema de cobrir todos os inteiros até $N$ usando formas quadráticas binárias com discriminante limitado. Enquanto trabalhos anteriores (Green e Soundararajan) abordaram o cobrir "quase todos" os inteiros, este artigo aborda o problema mais difícil de cobrir "todos" os inteiros, estabelecendo limiares explícitos para o discriminante necessário para garantir a representação.

Finalmente, os autores observam uma conexão com o trabalho de Hanson, Vaughan e Zhang a respeito do menor $N$ necessário para que todas as sequências de sinais de comprimento $k$ apareçam como vetores de símbolo de Legendre, sugerindo um contexto mais amplo para os métodos combinatórios empregados.

A Grande Caça aos Números: Encontrando o Primeiro Quadrado "Bom"

A Grande Descoberta do Artigo: As Fechaduras "Sem Sorte"

Por Que Isso Importa?

A Conclusão

Mais como este