🔢 mathematics

The sum-product conjecture is false for real numbers

Este artigo refuta a conjectura soma-produto para números reais e contextos relacionados, construindo conjuntos arbitrariamente grandes com conjuntos de soma e de produto simultaneamente pequenos, desmentindo assim a conjectura e a conjectura das muitas somas e produtos, ao mesmo tempo que estabelece novos limites para soluções de equações lineares e unitárias.

Autores originais: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Publicado 2026-05-28

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

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 Ideia: Quebrando uma Regula de 50 Anos

Imagine que você tem um saco de números. Você pode fazer duas coisas com eles:

Somá-los (criar um "Conjunto Soma").
Multiplicá-los (criar um "Conjunto Produto").

Por décadas, os matemáticos acreditaram em uma regra chamada Conjectura Soma-Produto. A regra era simples: Você não pode ter ambos.

A intuição era que, se seus números estão "agrupados" de modo que somá-los não cria muitos números novos (como uma linha reta de números), então multiplicá-los deveria explodir em uma enorme variedade de números novos. Inversamente, se multiplicá-los os mantém pequenos (como uma progressão geométrica), então somá-los deveria criar uma explosão massiva de números novos.

A conjectura afirmava que, para qualquer conjunto grande de números reais, pelo menos uma dessas operações deve criar um enorme número de resultados. Pensava-se ser impossível ter um conjunto onde ambas a adição e a multiplicação permanecessem pequenas.

Este artigo diz: "Não tão rápido."

Os autores construíram um "truque de mágica" matemático que refuta essa regra para números reais. Eles construíram conjuntos específicos e massivos de números onde ambos o conjunto soma e o conjunto produto permanecem surpreendentemente pequenos. Eles não apenas quebraram a regra; quebraram-na com um conjunto de números arbitrariamente grande e massivo.

O Truque de Mágica: Como Eles Fizeram

Para entender sua construção, imagine que você está construindo uma cidade.

1. O Jeito Antigo (O Exemplo de Balog-Wooley)

Anteriormente, os matemáticos tentavam criar um conjunto pequeno misturando dois tipos de bairros:

A Rua Geométrica: Uma rua onde as casas estão espaçadas exponencialmente (1, 10, 100, 1000...). Se você multiplicar essas casas, você permanece na rua. Mas se você as somar, os espaços são tão enormes que as somas se espalham por toda parte.
A Rua Aritmética: Uma rua onde as casas estão igualmente espaçadas (1, 2, 3, 4...). Se você as somar, elas permanecem em um bloco compacto. Mas se você as multiplicar, os números explodem.

O antigo truque era misturar essas ruas. Mas a "Rua Geométrica" era muito esparsa. Era como ter algumas casas em uma rodovia massiva. Quando você as somava, o resultado ainda era grande demais para quebrar a regra.

2. O Jeito Novo (O Retículo de Alta Dimensão)

Os autores perceberam que precisavam de uma "Rua Geométrica" que fosse densa (repleta de casas), mas que ainda se comportasse bem quando multiplicada. Eles encontraram isso ao migrar de um mapa plano 2D para uma hipercidade de alta dimensão.

A Cidade (Corpos de Números): Em vez de trabalhar com inteiros normais, eles construíram seus números dentro de um "universo" especial chamado corpo de números totalmente real. Pense nisso como uma cidade com $d$ dimensões diferentes (onde $d$ é um número muito grande).
A Grade Aditiva (A Caixa): Eles escolheram um bloco de números que se parece com um cubo perfeito e compacto neste espaço de alta dimensão. Quando você soma números desse cubo, o resultado é apenas um cubo ligeiramente maior. Ele permanece compacto.
A Grade Multiplicativa (As Unidades): Eles também escolheram um grupo especial de números chamados "unidades". Neste mundo de alta dimensão, essas unidades comportam-se como uma progressão geométrica densa. Quando você as multiplica, elas permanecem dentro de uma forma compacta e previsível.

3. O Ingrediente Secreto: O "Produto Direto"

O movimento genial foi combinar essas duas grades. Eles pegaram cada número do "Cubo Aditivo" e multiplicaram por cada número da "Grade Multiplicativa".

Por que funciona: Porque o "Cubo Aditivo" é tão compacto e a "Grade Multiplicativa" é tão densa, o conjunto resultante é enorme (arbitrariamente grande).
O Resultado:
- Quando você soma dois números deste novo conjunto, a parte do "Cubo Aditivo" impede que o resultado exploda.
- Quando você multiplica dois números, a parte da "Grade Multiplicativa" impede que o resultado exploda.

É como ter uma cidade onde as ruas são tão perfeitamente projetadas que, não importa como você caminhe (soma) ou como você dirija (multiplica), você nunca sai de um bairro pequeno e gerenciável.

Por Que Isso Importa (Segundo o Artigo)

O artigo não diz apenas "quebramos a regra". Ele mostra como quebrá-la em diferentes mundos matemáticos:

Números Reais: Eles provaram que a regra é falsa para números reais padrão (os números que usamos no dia a dia).
Números p-ádicos: Eles mostraram que o mesmo truque funciona em um tipo diferente de sistema numérico usado em física avançada e criptografia.
Corpos Finitos: Eles mostraram que, mesmo na "aritmética de relógio" (onde os números dão a volta), é possível encontrar conjuntos que quebram a regra.
Corpos de Funções: Eles estenderam isso para corpos de séries de potências formais (usados na teoria de codificação).

A Nota sobre "IA"

Os autores mencionam que foram inspirados por um contraexemplo gerado por IA recente para um problema matemático diferente (a "conjectura da distância unitária"). Embora tenham usado uma IA (GPT-5.5 Pro) como um "painel de discussão" para ajudar a simplificar um lema específico (uma pequena etapa de prova), as ideias centrais, a construção principal e toda a prova foram geradas por humanos. A IA foi apenas uma assistente útil, não a arquiteta.

Resumo

Por 50 anos, os matemáticos pensaram que não era possível ter um conjunto de números que fosse "pequeno" tanto sob adição quanto sob multiplicação. Este artigo diz: "Nós construímos um."

Eles fizeram isso construindo uma estrutura matemática massiva e de alta dimensão onde as regras da adição e da multiplicação estão perfeitamente equilibradas para manter os resultados pequenos. Eles provaram que a antiga regra estava errada, não apenas para uma exceção pequena e estranha, mas para conjuntos de números que podem ser tão grandes quanto você quiser.

Resumo Técnico: A Conjectura Soma-Produto é Falsa para Números Reais

Enunciado do Problema
O artigo aborda a conjectura soma-produto de Erdős–Szemerédi, que postula que, para qualquer conjunto finito $A$ em um anel (especificamente $\mathbb{Z}$ , $\mathbb{R}$ ou $\mathbb{C}$ ), pelo menos um dos conjuntos soma $A+A = \{a+b : a,b \in A\}$ ou o conjunto produto $AA = \{ab : a,b \in A\}$ deve crescer de forma quase máxima. Formalmente, a conjectura afirma:
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
onde o termo $o(1)$ desaparece quando $|A| \to \infty$ . Embora os melhores limites inferiores conhecidos para subconjuntos de $\mathbb{R}$ sejam da forma $|A|^{4/3+c}$ , a conjectura permanece em aberto. Os autores investigam se essa conjectura é verdadeira sobre os números reais.

Metodologia
Os autores constroem contraexemplos explícitos utilizando teoria algébrica dos números, especificamente aproveitando corpos de números totalmente reais de grau elevado. A estratégia central envolve uma generalização de alta dimensão do exemplo de Balog–Wooley, substituindo a progressão geométrica e a progressão aritmética padrão por subconjuntos estruturados do anel de inteiros $\mathcal{O}_K$ de um corpo de números $K$ .

A construção depende de duas estruturas de rede distintas dentro de $\mathcal{O}_K$ :

A Rede Aditiva: Uma "caixa" $P$ de inteiros algébricos onde todas as imersões reais $\sigma_i(p)$ estão contidas em um intervalo curto $[X-cX, X+cX]$. Isso garante que a estrutura aditiva esteja confinada a uma região pequena.
A Rede Multiplicativa: Um conjunto $G$ de unidades $u \in \mathcal{O}_K^\times$ onde os logaritmos de suas imersões $|\log|\sigma_i(u)||$ são limitados por uma constante $Y$ . Isso cria um conjunto com pequeno crescimento de produto (pequeno dobramento).

O conjunto contraexemplo é definido como o produto $A = GP = \{up : u \in G, p \in P\}$ . Os autores garantem que este produto é direto (isto é, $|A| = |G||P|$ ) escolhendo parâmetros de modo que a razão entre quaisquer dois elementos em $P$ não possa ser uma unidade não trivial, uma propriedade garantida pelos resultados de Schinzel sobre a separação de unidades.

A existência de corpos de números adequados é garantida pela construção de Martinet de torres de corpos totalmente reais com discriminante raiz limitado ( $\Delta_K \le C^d$ ) e reguladores controlados ( $R_K \le \Delta_K$ ). Esses limites garantem que os volumes das redes (e, portanto, os tamanhos de $P$ e $G$ ) cresçam exponencialmente com o grau $d$ , permitindo a construção de conjuntos $A$ arbitrariamente grandes.

Principais Contribuições e Resultados

Refutação da Conjectura Soma-Produto sobre $\mathbb{R}$ :
O resultado principal (Teorema 1.1) estabelece a existência de uma constante absoluta $c > 0$ tal que existem conjuntos finitos arbitrariamente grandes $A \subset \mathbb{R}$ satisfazendo:
$\max(|A+A|, |AA|) \le |A|^{2-c}$
Isso contradiz diretamente a conjectura. A construção produz conjuntos onde o conjunto soma é pequeno ( $|A+A| \le |A|^{1+\epsilon}$ ) e o conjunto produto exibe economia de potência ( $|AA| \le |A|^{2-c\epsilon}$ ).
Refutação da Conjectura "Muitas Somas e Produtos":
Os autores estendem sua construção para refutar a conjectura mais forte de Erdős sobre somas e produtos $k$ -plenos. Para qualquer $k \ge 3$ fixo, eles constroem $A \subset \mathbb{R}$ arbitrariamente grandes tais que:
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
Nota-se que essa dependência de $k$ é provavelmente ótima para $k$ fixo quando $|A| \to \infty$ .
Novos Limites Inferiores para Equações Lineares em Grupos Multiplicativos:
A construção fornece novos limites inferiores para o número de soluções de equações lineares $x_1 + \dots + x_k = 1$ com $x_i$ em um grupo multiplicativo $\Gamma$ .
- Para subgrupos de $\mathbb{R}^\times$ de posto $d$ , o número de soluções não degeneradas é mostrado ser pelo menos $\exp((C^{-1}k \log k)d)$ , demonstrando que a dependência linear no posto $d$ no expoente do limite superior de Evertse–Schlickewei–Schmidt é o melhor possível.
- Para a equação de unidades em corpos de números, os autores mostram que, para $k$ suficientemente grande, existem corpos de grau $d$ com pelo menos $C^d$ soluções, refutando conjecturas de crescimento subexponencial para $k \ge 3$ .
Variantes em Outros Contextos:
A metodologia é adaptada para produzir contraexemplos em:
- Números $p$ -ádicos ( $\mathbb{Q}_p$ ): Usando corpos onde $p$ se decompõe completamente.
- Corpos finitos ( $\mathbb{F}_p$ ): Reduzindo a construção de inteiros algébricos módulo $p$ , produzindo conjuntos de tamanho $p^c < |A| < p^{1/2}$ com pequeno crescimento soma-produto.
- Corpos de funções ( $\mathbb{F}_q((t))$ ): Usando fibrados lineares em curvas algébricas com muitos pontos racionais (sequências de Drinfeld–Vlăduț–Zink) para construir contraexemplos em característica positiva.

Significado e Alegações
O artigo alega refutar definitivamente a conjectura soma-produto para números reais, um problema que tem sido central na combinatória aditiva por décadas. Os autores enfatizam que, embora a conjectura possa ainda valer para conjuntos em corpos de números de grau limitado (como $\mathbb{Z}$ ), ela falha no cenário geral de $\mathbb{R}$ devido à disponibilidade de estruturas algébricas de alto grau.

Os autores observam que sua prova depende da existência de corpos de números com propriedades aritméticas específicas (discriminante e regulador limitados), que são não triviais de construir, mas bem estabelecidas na teoria algébrica dos números. Eles afirmam explicitamente que a prova final, incluindo as ideias principais, foi quase inteiramente gerada por humanos, embora tenham utilizado IA como um "banco de ensaio" nas etapas iniciais e para um lema elementar específico (Lema 3.4) que simplificou um resultado mais complexo.

O trabalho também fornece novos insights quantitativos sobre os limites dos fenômenos soma-produto, mostrando que a "economia de potência" em conjuntos produto pode ser alcançada simultaneamente com conjuntos soma pequenos, desde que a estrutura algébrica subjacente seja suficientemente rica (alto grau). O artigo conclui oferecendo valores explícitos, embora pequenos, para a constante $c$ (por exemplo, $c \ge 0,00000087$ ) e demonstrando que fenômenos semelhantes ocorrem em vários contextos algébricos, incluindo $p$ -ádicos e corpos de funções.