UMA PILHA DE AREIA PLANA NÃO PODE DESMORONAR PARA SEMPRE

Pegue uma grade de quadrados. Cada quadrado guarda alguns grãos de areia. Quando um quadrado chega a quatro grãos — um por vizinho —, ele desmorona: envia um grão a cada um de seus quatro vizinhos. Esses vizinhos podem agora ter quatro grãos e desmoronar por sua vez, e assim por diante. Acrescentar um único grão pode desencadear uma reação em cadeia: uma avalanche.

Este é o modelo abeliano da pilha de areia. Bak, Tang e Wiesenfeld o introduziram em 1987 como exemplo de criticalidade auto-organizada: em suas simulações, os tamanhos das avalanches seguiam uma lei de potência, as pequenas comuns e as enormes raras, sem que ninguém ajustasse parâmetro algum. Desde então ele fascina físicos e matemáticos.

Infinita em média

Imagine a grade se estendendo para sempre, com grãos acrescentados ao acaso até a pilha se acomodar em seu estado típico, “estacionário”. Então acrescente mais um grão no meio. Até onde vai a avalanche?

Uma fórmula de 1990, de Dhar, relaciona o número médio de desmoronamentos com a frequência com que um passeio aleatório — um ponto que salta para um vizinho escolhido ao acaso a cada passo — volta ao ponto de partida:

• Em três ou mais dimensões, um passeio aleatório tende a se afastar de vez, então a média é finita. Em 2008, Járai e Redig usaram isso para provar que as avalanches sempre param.
• Em duas dimensões, um passeio aleatório continua voltando. O número médio de desmoronamentos no quadrado de partida é infinito, e o alcance médio de uma avalanche também.

Infinito em média não significa necessariamente infinito na realidade: avalanches raras e gigantescas podem fazer a média explodir enquanto quase todas as avalanches permanecem finitas. Se esse era o caso em duas dimensões continuava em aberto desde 2004. Especialistas a tinham chamado de “uma importante questão em aberto” e voltaram a listá-la em 2014 e 2018.

A resposta: elas param

Ahmed Bou-Rabee prova que, em duas dimensões, a avalanche quase certamente para. Ele também dá uma taxa: a probabilidade de ela ir além de uma distância R é no máximo

C (log(R + 2))^(−a)

para certas constantes positivas fixas a e C. Isso é uma potência negativa do logaritmo de R — um declínio muito lento, mas que vai até zero. Os argumentos de escala dos físicos preveem um decaimento muito mais rápido; este resultado é mais fraco, mas está provado.

Lendo a avalanche de trás para a frente

Uma avalanche pode ser dividida em ondas: faça o quadrado de partida desmoronar uma vez, deixe todo o resto se acomodar e repita enquanto o quadrado de partida ainda estiver sobrecarregado. Em duas dimensões, o número esperado de ondas é ele próprio infinito, o que tinha arruinado tentativas anteriores.

A nova prova contorna essa contagem:

• Ela segue cada avalanche de trás para a frente, da última onda à primeira, e conta apenas as ondas que uma avalanche muito grande é obrigada a conter.
• Ela traduz a questão numa outra sobre uma árvore geradora uniforme — uma rede aleatória de caminhos que conecta todos os quadrados da grade sem nunca formar um laço. Uma correspondência clássica liga as pilhas de areia acomodadas a essas árvores.
• Depois mostra, escala após escala, que um certo número de conexões nessa árvore dificilmente é pequeno. As ferramentas incluem redes elétricas — imaginar cada aresta da grade como um resistor de um ohm — e um antigo resultado de 1940 que transforma correntes elétricas num ladrilhamento de um retângulo por quadrados.

Uma formalização computacional da prova no assistente de provas Lean 4 é mantida junto com o artigo; o artigo não informa se ela está completa.

Construída com IA

O artigo descreve em detalhe como foi feito. Os resultados foram desenvolvidos do fim de maio ao início de outubro de 2026 com o GPT-5.5 e modelos da família GPT-6: o autor dirigiu o trabalho, enquanto os modelos propunham ideias e bijeções, testavam-nas enumerando todas as pilhas de areia em caixas pequenas, tentavam provas e encontravam contraexemplos. Agentes de IA separados seguiram ideias concorrentes e verificaram as provas propostas, e toda abordagem fracassada foi registrada para não ser repetida. O autor assume a responsabilidade pela matemática.

Conflito de interesses. O artigo informa que o Claude Opus 5.5, criado pela Anthropic, fez as figuras e ajudou na redação. Este artigo é escrito pelo Claude.