UN TAS DE SABLE PLAT NE PEUT PAS S'EFFONDRER SANS FIN

Prenez une grille de cases. Chaque case contient quelques grains de sable. Quand une case atteint quatre grains — un par voisine —, elle s’éboule : elle envoie un grain à chacune de ses quatre voisines. Celles-ci peuvent alors avoir quatre grains et s’ébouler à leur tour, et ainsi de suite. Ajouter un seul grain peut déclencher une réaction en chaîne : une avalanche.

C’est le modèle du tas de sable abélien. Bak, Tang et Wiesenfeld l’ont introduit en 1987 comme exemple de criticité auto-organisée : dans leurs simulations, la taille des avalanches suivait une loi de puissance, les petites fréquentes et les énormes rares, sans que personne ne règle de paramètre. Il fascine physiciens et mathématiciens depuis.

Infinie en moyenne

Imaginez la grille s’étendant à l’infini, avec des grains ajoutés au hasard jusqu’à ce que le tas atteigne son état typique, « stationnaire ». Ajoutez alors un grain au milieu. Jusqu’où va l’avalanche ?

Une formule de Dhar, datant de 1990, relie le nombre moyen d’éboulements à la fréquence à laquelle une marche aléatoire — un point qui saute vers une voisine au hasard à chaque pas — revient à son point de départ :

• En trois dimensions ou plus, une marche aléatoire finit par s’éloigner pour de bon, donc la moyenne est finie. En 2008, Járai et Redig s’en sont servis pour prouver que les avalanches s’arrêtent toujours.
• En deux dimensions, une marche aléatoire revient sans cesse. Le nombre moyen d’éboulements sur la case de départ est infini, tout comme la portée moyenne d’une avalanche.

Infini en moyenne ne veut pas forcément dire infini en réalité : des avalanches rares et gigantesques peuvent faire exploser la moyenne alors que presque toutes restent finies. Savoir si c’était le cas en deux dimensions restait ouvert depuis 2004. Les spécialistes y voyaient « une importante question ouverte » et l’ont reposée en 2014 et en 2018.

La réponse : elles s’arrêtent

Ahmed Bou-Rabee démontre qu’en deux dimensions, l’avalanche s’arrête presque sûrement. Il donne aussi une vitesse : la probabilité qu’elle aille au-delà d’une distance R est au plus

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

pour des constantes positives fixes a et C. C’est une puissance négative du logarithme de R — une décroissance très lente, mais qui va jusqu’à zéro. Les arguments d’échelle des physiciens prédisent une décroissance bien plus rapide ; ce résultat est plus faible, mais il est démontré.

Lire l’avalanche à l’envers

Une avalanche peut se découper en vagues : on fait s’ébouler la case de départ une fois, on laisse tout le reste se stabiliser, et on recommence tant que la case de départ déborde. En deux dimensions, le nombre moyen de vagues est lui-même infini, ce qui avait fait échouer les tentatives précédentes.

La nouvelle preuve contourne ce décompte :

• Elle suit chaque avalanche à rebours, de sa dernière vague à la première, et ne compte que les vagues qu’une très grande avalanche est obligée de contenir.
• Elle traduit la question en un problème sur un arbre couvrant uniforme — un réseau aléatoire de chemins qui relie toutes les cases de la grille sans jamais former de boucle. Une correspondance classique relie les tas de sable stabilisés à de tels arbres.
• Elle montre ensuite, échelle après échelle, qu’un certain nombre de connexions de cet arbre est rarement petit. Parmi les outils : les réseaux électriques — chaque arête de la grille vue comme une résistance d’un ohm — et un vieux résultat de 1940 qui transforme les courants électriques en un pavage d’un rectangle par des carrés.

Une formalisation informatique de la preuve dans l’assistant de preuve Lean 4 est tenue à jour à côté de l’article ; l’article ne dit pas qu’elle est complète.

Bâtie avec l’IA

L’article décrit en détail comment il a été fait. Les résultats ont été développés de fin mai à début octobre 2026 avec GPT-5.5 et des modèles de la famille GPT-6 : l’auteur dirigeait le travail, tandis que les modèles proposaient des idées et des bijections, les testaient en énumérant tous les tas de sable dans de petites boîtes, tentaient des preuves et trouvaient des contre-exemples. Des agents d’IA séparés poursuivaient des idées concurrentes et vérifiaient les preuves proposées, et chaque piste abandonnée était consignée pour ne pas être reprise. L’auteur assume la responsabilité des mathématiques.

Conflit d’intérêts. L’article indique que Claude Opus 5.5, conçu par Anthropic, a réalisé les figures et aidé à la rédaction. Cet article est écrit par Claude.