🔢 mathematics

Almost Affine Invariance Over Prime Fields: Green Problem 90

Este artigo resolve o Problema Aberto 90 de Ben Green, provando que, para um subconjunto do corpo finito $\mathbb{F}_p$ com densidade 1/2, o limiar para invariância quase afim simultânea sob todas as transformações $\phi(x)=ax+b$ com $|a|, |b| \le K$ é $K=o(\log p)$ .

Autores originais: Jie Ma, Quanyu Tang, Max Wenqiang Xu

Publicado 2026-05-14

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Jie Ma, Quanyu Tang, Max Wenqiang Xu

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ê tem um relógio gigante e circular com $p$ números nele (onde $p$ é um número primo muito grande). Você decide pintar exatamente metade desses números de preto e deixar a outra metade branca. Este é o seu conjunto $A$ .

Agora, imagine que você tem um conjunto de regras para mover esses números. Uma regra se parece com isto: "Pegue cada número $x$ , multiplique-o por $a$ , some $b$ e veja onde ele aterrissa." Isso é chamado de transformação afim.

A grande pergunta que Ben Green fez (e que este artigo responde) é: Quantas regras diferentes você pode ter antes que seu padrão preto-e-branco fique completamente desorganizado?

Se você aplicar uma regra e o padrão parecer quase exatamente o mesmo (talvez apenas alguns pontos deslocados), chamamos isso de "quase invariante". O artigo investiga quão grande pode ser o intervalo de números $a$ e $b$ antes que se torne impossível manter o padrão parecendo o mesmo.

A Principal Descoberta: O Limite "Logarítmico"

Os autores encontraram um "ponto de virada" ou limiar muito específico.

O Resultado: O intervalo de regras que você pode usar é limitado por um número que cresce muito lentamente, especificamente $o(\log p)$ .
A Analogia: Imagine que o mostrador do relógio tem o tamanho de um estádio. O número de regras que você pode usar é limitado a algo como o número de letras em uma frase curta. Mesmo que o estádio cresça até o tamanho da Terra, o número de regras que você pode usar cresce apenas tão rápido quanto o número de letras em um parágrafo.
O que isso significa: Se você tentar usar mais regras do que esse limite minúsculo (por exemplo, se tentar usar regras onde os números chegam até a raiz quadrada do tamanho do estádio), é matematicamente impossível manter metade do relógio preta e metade branca enquanto mantém o padrão estável. O padrão deve quebrar.

Como Eles Provaram: Dois Lados da Moeda

O artigo prova isso em duas partes, como resolver um quebra-cabeça de ambas as extremidades.

1. O "Limite Superior" (Por que você não pode ir além)

A Estratégia: Eles usaram uma técnica chamada Análise de Fourier.
A Metáfora: Imagine que seu padrão preto-e-branco é uma música. A análise de Fourier decompõe a música em suas notas musicais individuais (frequências).

Se o padrão permanece o mesmo quando você desloca os números (translação), a "música" deve estar sem as notas agudas e de vibração rápida. Ela só tem notas graves e lentas.
Se o padrão também permanece o mesmo quando você estica os números (multiplicação), a "música" precisa ser ainda mais restrita.
Os autores mostraram que, se você tentar esticar o padrão de muitas maneiras diferentes (demasiadas regras), a música teria que ficar em silêncio. Mas uma música silenciosa significa que você não tem pontos pretos nem pontos brancos, o que contradiz a regra de que você deve ter metade preta e metade branca.
O Truque da "Valoração": Uma ideia-chave (sugerida por IA, de acordo com a divulgação do artigo) foi observar quantas vezes um número pode ser dividido por um número primo (como quantas vezes você pode dividir 8 por 2 para obter 4, depois 2, depois 1). Eles mostraram que, para o padrão sobreviver a todas essas regras, os números precisariam ser divisíveis por primos de uma maneira que é matematicamente impossível se o intervalo de regras for grande demais.

2. O "Limite Inferior" (Mostrando que é possível dentro do limite)

A Estratégia: Eles usaram o Método Probabilístico.
A Metáfora: Em vez de tentar construir um padrão perfeito à mão, eles perguntaram: "E se nós apenas pintarmos o relógio aleatoriamente?"

Se você pintar o relógio aleatoriamente, não ficará perfeito. Mas eles provaram que, se você restringir suas regras a esse pequeno intervalo "logarítmico", há uma chance não nula de que uma pintura aleatória funcione.
Eles usaram uma ferramenta matemática chamada "desigualdade de diferença limitada". Pense nisso como uma rede de segurança. Ela prova que, se você ajustar levemente sua pintura aleatória (mudando alguns pontos), o padrão geral não colapsa.
Como a "rede de segurança" se mantém, eles provaram que um padrão perfeito deve existir, mesmo que não possamos escrever facilmente exatamente como ele se parece.

A Nota sobre "IA"

Os autores foram transparentes sobre seu processo. Eles mencionaram o uso de uma ferramenta de IA (ChatGPT) para ajudar no brainstorming.

A IA sugeriu a ideia de olhar para "valorações de primos" (o truque de divisão mencionado acima), o que acabou sendo a chave para resolver o limite superior.
No entanto, a IA também cometeu erros lógicos, que os autores humanos tiveram que corrigir. A prova final é uma colaboração entre o rigor matemático humano e a geração de ideias assistida por IA.

Resumo

Em termos simples: Você pode ter um padrão metade preto e metade branco em um relógio gigante que sobrevive a um pequeno número de regras de esticamento e deslocamento. Mas, se você tentar tornar as regras muito complexas (além de um limite de crescimento muito lento), o padrão está condenado a quebrar. Este artigo encontrou o limite de velocidade exato para essas regras.

Resumo Técnico: Quase Invariância Afim sobre Corpos Primos

Enunciado do Problema
Este artigo aborda o Problema 90 da lista de 100 problemas em aberto de Ben Green. O problema concerne à existência de um subconjunto $A \subset \mathbb{F}_p$ com densidade $1/2$ que seja "quase invariante" sob uma família de transformações afins $\phi(x) = ax + b$ . Especificamente, um conjunto $A$ é quase invariante sob $\phi$ se a diferença simétrica $|A \triangle \phi(A)| = o(p)$ quando $p \to \infty$ . A questão central é determinar o intervalo de limiar para o parâmetro $K = K(p)$ tal que exista um conjunto $A$ satisfazendo esta condição de quase invariância simultaneamente para todos os mapas afins onde $1 \le |a| \le K$ e $|b| \le K$ .

Metodologia
Os autores empregam uma abordagem de duas frentes para determinar o limiar agudo para $K$ : um limite superior analítico e um limite inferior probabilístico.

Limite Superior (Análise de Fourier e Teoria das Valuações):
Para provar que $K$ não pode ser grande, os autores utilizam ferramentas analíticas de Fourier. Eles definem uma função $f = 1_A - \alpha$ (onde $\alpha \approx 1/2$ ) e analisam sua transformada de Fourier $\hat{f}$ .
- Invariância por Translação: A condição de quase invariância sob translações ( $b$ ) implica que a massa de Fourier de $f$ está concentrada em baixas frequências, especificamente $|r| \ll p/K$ .
- Invariância Multiplicativa: A condição de quase invariância sob dilatações ( $a$ ) é analisada considerando uma medida de probabilidade $\mu$ sobre as frequências, proporcional a $|\hat{f}(r)|^2$ . A invariância por dilatação implica que $\mu$ é aproximadamente invariante sob os mapas $r \mapsto qr$ para primos $q \le K$ .
- Argumento de Valuação: Ao restringir $\mu$ a uma medida de probabilidade $\lambda$ sobre os inteiros $\{1, \dots, N\}$ (onde $N \approx p/K$ ), os autores mostram que a valuação $q$ -ádica $v_q(n)$ deve ser grande para quase todos os $n$ sob $\lambda$ para cada primo $q \le K$ . Isso leva a uma contradição, a menos que a soma dos logaritmos dos primos até $K$ seja pequena, especificamente $\sum_{q \le K} \log q = o(\log p)$ , o que implica $K = o(\log p)$ .
Limite Inferior (Construção Probabilística e Concentração):
Para provar que $K = o(\log p)$ é alcançável, os autores constroem tal conjunto usando o método probabilístico.
- Sequências de Følner: O núcleo da construção baseia-se no Lema 3.3, que estabelece a existência de grandes "sequências de Følner" (conjuntos $A$ com pequena diferença simétrica sob ações de grupo) para uma pequena família de transformações afins $S_p$ .
- Modelos Racionais: Os autores constroem uma família de mapas afins racionais sobre $\mathbb{Q}$ , parametrizados por produtos de primos pequenos, e reduzem-nos módulo $p$ . Isso garante as propriedades necessárias de injetividade e não-colisão requeridas para o argumento probabilístico.
- Desigualdades de Concentração: Um conjunto aleatório $A$ é definido com base em uma votação majoritária de sinais aleatórios atribuídos às órbitas da involução $x \mapsto -x$ . Embora o tamanho esperado de $A$ e a diferença simétrica esperada sejam favoráveis, os autores empregam a desigualdade de diferença limitada (desigualdade de McDiarmid) para mostrar que essas quantidades se concentram agudamente em torno de suas médias, garantindo a existência de um conjunto específico $A$ satisfazendo as condições com probabilidade positiva.

Contribuições e Resultados Principais
O artigo estabelece o limiar agudo para o parâmetro $K$ :

Teorema 1.2: Seja $p$ $p$ um primo e $K = K(p)$ $K = K (p)$ um inteiro positivo.
- Se existir um conjunto $A \subset \mathbb{F}_p$ com densidade $1/2 + o(1)$ que seja quase invariante sob todos os $\phi(x) = ax+b$ com $1 \le |a| \le K$ e $|b| \le K$ , então $K = o(\log p)$ .
- Reciprocamente, se $K = o(\log p)$ , tal conjunto $A$ existe.

Este resultado resolve o Problema Aberto 90 de Green, confirmando que o limiar é de fato logarítmico em $p$ . Refina trabalhos anteriores não publicados de Eberhard, Mrazović e Green, que sugeriam que $K$ poderia crescer lentamente (por exemplo, $(\log p)^c$ ), mas não tão rápido quanto $p^{1/100}$ . O trabalho atual estreita isso para $o(\log p)$ .

Significado
O artigo fornece uma resposta definitiva a uma questão estrutural específica na combinatória aditiva sobre a rigidez de conjuntos sob transformações afins. Ao combinar análise de Fourier com construções probabilísticas, os autores demonstram que a satisfação simultânea de quase invariância sob uma grande família de mapas afins impõe um limite logarítmico estrito ao tamanho dessa família. O trabalho também destaca a utilidade de argumentos de amenabilidade em grupos afins e a eficácia de métodos probabilísticos na construção de conjuntos com propriedades de invariância específicas sobre corpos finitos.

Divulgação de IA
Os autores observam que a IA (ChatGPT 5.4) foi utilizada no desenvolvimento do artigo. Especificamente, a ideia de formular o problema usando valuações $q$ -ádicas (Lema 2.4) e a aplicação inicial da amenabilidade do grupo afim foram sugeridas pela IA. No entanto, os autores enfatizam que os argumentos iniciais da IA continham lacunas lógicas e que as provas rigorosas e o limite agudo final são resultado de refinamento e verificação humanos. Os autores também reconhecem que a abordagem de amenabilidade foi discutida anteriormente em trabalhos não publicados e fóruns online (MathOverflow).