O que era a conjectura de rearranjo

Em 1971, Ronald Graham — um dos matemáticos mais prolíficos do século XX e, curiosamente, ex-presidente da International Jugglers' Association — propôs uma questão simples de formular, mas teimosa o suficiente para manter a comunidade matemática em silêncio por mais de meio século. A pergunta: dado um conjunto arbitrário de números inteiros distintos e não nulos, seria sempre possível reordená-los de maneira que a soma parcial acumulada nunca se repetisse?

Em linguagem mais precisa, para qualquer primo p e qualquer subconjunto S dos elementos não nulos do grupo cíclico ℤₚ, existe uma ordenação dos elementos de S tal que todas as somas parciais s₁, s₁+s₂, s₁+s₂+s₃ etc. sejam distintas entre si? Graham conjecturou que sim. A intuição por trás era que, mesmo sob restrições rígidas de aritmética modular, deveria haver flexibilidade suficiente para construir arranjos válidos — assim como é possível preencher um tabuleiro de sudoku ou um quadrado latino apesar das regras apertadas.

O problema se enraizou no campo da combinatória aditiva, uma área que lida com estruturas simétricas em grupos finitos e que conecta teoria dos números, álgebra combinatória e análise assintótica. Ao longo das décadas, matemáticos resolveram casos particulares — conjuntos pequenos, conjuntos grandes — mas a lacuna entre eles permaneceu aberta como um canyon que ninguém conseguia atravessar. Por mais de vinte anos, o problema entrou em um hiato quase absoluto. Só nos últimos anos é que uma nova geração de pesquisadores voltou às bolas.

A prova em quatro atos

O que tornou a resolução tão extraordinária foi a necessidade de combinar quatro abordagens diferentes, cada uma lidando com um regime distinto de tamanho de conjunto. A prova não é um único artigo — é um edifício construído em quatro partes por pelo menos seis autores diferentes.

O primeiro passo veio com conjuntos pequenos. Noah Kravitz, da Universidade de Oxford, e Liana Bedert e David Kravitz estabeleceram que a conjectura vale para conjuntos com até exp((log p)^(1/4)) elementos. Em 2022, Alp Müyesser — então ainda estudante de pós-graduação — percebeu que a prova que havia acabado de escrever sobre um problema diferente se aplicava também ao caso intermediário de conjuntos grandes, aqueles que contêm quase todos os números possíveis até p. Junto com seu orientador, Alexey Pokrovskiy, da University College London, Müyesser abordou esse regime: começar com uma ordenação aleatória já levava a maioria do caminho.

Em 2025, Bedert, Bucić, Kravitz, Montgomery e Müyesser preencheram o espaço entre conjuntos grandes e intermediários. Restava o caso médio — aquele que Noga Alon, da Universidade de Princeton, chamou de o mais embaraçoso: "Nós não sabíamos lidar com esse tamanho de conjunto. Nossos métodos não funcionavam ali, e havia razões claras de por que não funcionariam."

A revolução veio em fevereiro de 2026. Lisa Sauermann, da Universidade de Bonn, e Huy Tuan Pham, da Universidade de Chicago, publicaram no arXiv um artigo de 27 páginas que fechava a última lacuna. Os dois eram amigos desde 2015, quando se conheceram em Stanford — Sauermann como doutoranda e Pham como undergraduate. Quando uma conferência na Alemanha no outono de 2025 lhes deu a chance de compartilhar um quadro-negro novamente, passaram três dias conversando sobre o problema. No final, tinham um plano.

A estratégia central girava em torno de um conceito chamado "anti-concentração": em vez de tentar construir manualmente a ordenação perfeita, eles mostraram que, ao partir de uma ordenação aleatória e aplicarem ajustes probabilísticos cuidadosos, era possível evitar os valores problemáticos — aqueles que fariam uma soma parcial colidir com uma já visitada — em uma proporção suficientemente grande de casos para garantir, por contagem probabilística, que pelo menos um arranjo válido deveria existir.

"É o poder da colaboração, o poder da nova geração, o poder dos métodos probabilísticos", resumiu Noga Alon. A prova inteira mostra que, mesmo dentro das restrições estritas da aritmética modular, existem estruturas bonitas que sempre surgem quando você permite a flexibilidade do acaso.

O que a prova revela

A conjectura de rearranjo não tem aplicações práticas diretas — não é o tipo de resultado que vai aparecer no projeto de um computador ou na otimização de uma rede. Seu valor é puramente estrutural: ela responde a uma pergunta sobre a existência de padrões em sistemas aparentemente restritos.

Mas o que torna o caso de Graham verdadeiramente fascinante é a história por trás dele. Graham era um dos poucos matemáticos de elite que também era malabarista profissional. Ele presidiu a International Jugglers' Association e, como muitos malabaristas, conhecia a linguagem dos "patterns": os diagramas em forma de ampulheta que descrevem sequências de lançamentos. Quando formulou sua conjectura, é plausível que tenha pensado nos padrões de juggling — a ideia de que, dado um conjunto de movimentos (ou números), sempre existe uma sequência válida em que cada ponto intermediário é único.

Clint McCullough, da Georgia Southern University, um dos autores que contribuíram para o caso intermediário, capturou bem o espírito do resultado: "Achar um bom problema é uma arte. Eu acho que Ron ficaria extremamente feliz em ver o problema resolvido."

Huy Tuan Pham, por sua vez, tem uma trajetória que talvez ilustre o próprio tema da conjectura. Ele é vietnamita, formou-se na Escola Secundária para Talentos Especiais da Universidade Nacional de Ho Chi Minh City e ganhou duas medalhas de ouro na Olimpíada Internacional de Matemática (2013 e 2014). Hoje, como pesquisador na Universidade de Chicago, ele e Sauermann provaram que, dado um conjunto de números, sempre é possível encontrá-los uma ordem — uma metáfora quase poética de que a perseverança, a colaboração e um toque de aleatoriedade podem resolver até o problema mais teimoso.

E se você quiser usar esse resultado para coreografar uma rotina real de malabarismo, está fora de sorte: para corresponder a um primo p grande o bastante para cobrir todos os casos da conjectura, a sequência seria muito, muito longa. Mas a prova confirma algo que Graham intuía em 1971: mesmo dentro de regras apertadas, sempre cabe flexibilidade. Sempre cabe um jeito de organizar as peças.

O que observar é se o método de anti-concentração — que une ordenação aleatória e ajustes probabilísticos — poderá ser adaptado para atacar outras conjecturas de combinatória aditiva que ainda resistem. O próprio Kravitz admitiu, citando o método final, que "não teve coragem de tentar" — um reconhecimento de quão profundo o abismo era e de quão alto o salto foi. Há muitos problemas semelhantes esperando por essa combinação de coragem, colaboração e um pouco de sorte.

Fontes: Wired, Quanta Magazine, VnExpress International

✓ Fontes independentes cruzadas e verificadas antes da publicação