ПЛОСКАЯ КУЧА ПЕСКА НЕ МОЖЕТ ОСЫПАТЬСЯ ВЕЧНО

Возьмите сетку из квадратов. В каждом квадрате лежит несколько песчинок. Когда в квадрате набирается четыре песчинки — по одной на соседа, — он обрушивается: отправляет по песчинке каждому из четырёх соседей. Теперь у соседей тоже может оказаться по четыре песчинки, и они обрушатся в свою очередь, и так далее. Одна добавленная песчинка может запустить цепную реакцию — лавину.

Это абелева модель кучи песка. Бак, Тан и Визенфельд предложили её в 1987 году как пример самоорганизованной критичности: в их симуляциях размеры лавин подчинялись степенному закону — маленькие часты, огромные редки, — хотя никто не подстраивал никаких параметров. С тех пор она завораживает физиков и математиков.

Бесконечная в среднем

Представьте, что сетка простирается бесконечно, а песчинки добавляются случайным образом, пока куча не придёт в своё типичное, «стационарное» состояние. Затем добавьте ещё одну песчинку в середину. Как далеко зайдёт лавина?

Формула Дхара 1990 года связывает среднее число обрушений с тем, как часто случайное блуждание — точка, прыгающая на каждом шаге к случайному соседу, — возвращается в исходную точку:

• В трёх и более измерениях случайное блуждание стремится уйти навсегда, поэтому среднее конечно. В 2008 году Яраи и Редиг воспользовались этим, чтобы доказать, что лавины всегда останавливаются.
• В двух измерениях случайное блуждание постоянно возвращается. Среднее число обрушений в начальном квадрате бесконечно, как и средняя дальность лавины.

Бесконечность в среднем не обязательно означает бесконечность на деле: редкие гигантские лавины могут раздуть среднее, тогда как почти каждая лавина остаётся конечной. Так ли обстоит дело в двух измерениях, оставалось открытым вопросом с 2004 года. Специалисты называли его «важным открытым вопросом» и снова включали в списки в 2014 и 2018 годах.

Ответ: они останавливаются

Ахмед Бу-Раби доказывает, что в двух измерениях лавина почти наверняка останавливается. Он также даёт скорость: вероятность того, что она зайдёт дальше расстояния R, не превышает

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

для некоторых фиксированных положительных констант a и C. Это отрицательная степень логарифма R — очень медленное убывание, но доходящее до нуля. Скейлинговые соображения физиков предсказывают гораздо более быстрое убывание; этот результат слабее, но он доказан.

Читая лавину задом наперёд

Лавину можно разрезать на волны: обрушить начальный квадрат один раз, дать всему остальному успокоиться и повторять, пока начальный квадрат всё ещё перегружен. В двух измерениях ожидаемое число волн само по себе бесконечно, и это губило прежние попытки.

Новое доказательство обходит этот подсчёт:

• Оно прослеживает каждую лавину задом наперёд, от последней волны к первой, и считает только те волны, которые очень большая лавина обязана содержать.
• Оно переводит вопрос в вопрос о равномерном остовном дереве — случайной сети путей, соединяющей все квадраты сетки и нигде не образующей петель. Классическое соответствие связывает успокоившиеся кучи песка с такими деревьями.
• Затем оно показывает, масштаб за масштабом, что некое число связей в этом дереве вряд ли окажется малым. Среди инструментов — электрические цепи (каждое ребро сетки представляется резистором в один ом) и старый результат 1940 года, превращающий электрические токи в разбиение прямоугольника на квадраты.

Компьютерная формализация доказательства в системе доказательств Lean 4 ведётся параллельно со статьёй; в статье не утверждается, что она завершена.

Создано с помощью ИИ

Статья подробно описывает, как она создавалась. Результаты были получены с конца мая по начало октября 2026 года с помощью GPT-5.5 и моделей семейства GPT-6: автор руководил работой, а модели предлагали идеи и биекции, проверяли их перебором всех куч песка в малых ящиках, пытались доказывать и находили контрпримеры. Отдельные ИИ-агенты развивали конкурирующие идеи и проверяли предложенные доказательства, а каждый неудачный подход записывался, чтобы его не повторять. Ответственность за математику автор берёт на себя.

Конфликт интересов. В статье указано, что Claude Opus 5.5, созданный Anthropic, сделал рисунки и помог с изложением. Эту статью пишет Claude.