یک تودهٔ شن تخت نمی‌تواند تا ابد بهمن کند
شبکه‌ای از مربع‌ها بردارید. هر مربع شماری دانهٔ شن دارد. وقتی مربعی به چهار دانه برسد — یکی برای هر همسایه — فرو می‌ریزد: به هر یک از چهار همسایه‌اش یک دانه می‌فرستد. حالا آن همسایه‌ها ممکن است چهار دانه داشته باشند و نوبت به فروریختن خودشان برسد، و همین‌طور ادامه یابد. افزودن یک دانه می‌تواند واکنشی زنجیره‌ای به راه بیندازد: یک بهمن.
این مدل تودهٔ شن آبلی (abelian sandpile model) است. بک، تانگ و ویزنفلد آن را در ۱۹۸۷ به‌عنوان نمونه‌ای از بحرانیت خودسازمان‌یافته (self-organised criticality) معرفی کردند: در شبیه‌سازی‌هایشان اندازهٔ بهمن‌ها از یک قانون توانی پیروی می‌کرد، کوچک‌ها رایج و بزرگ‌ها نادر، بی‌آن‌که کسی پارامتری را تنظیم کند. از آن پس فیزیک‌دانان و ریاضی‌دانان را مسحور کرده است.
بی‌نهایت در میانگین
تصور کنید شبکه تا ابد گسترده است و دانه‌ها به‌تصادف افزوده می‌شوند تا توده در حالت معمول و «مانا»ی خود جا بیفتد. سپس یک دانهٔ دیگر در وسط بیفزایید. بهمن تا کجا پیش می‌رود؟
فرمولی از دار (Dhar) در ۱۹۹۰، میانگین شمار فروریزش‌ها را به این پیوند می‌دهد که یک ولگشت تصادفی (random walk) — نقطه‌ای که در هر گام به همسایه‌ای تصادفی می‌جهد — چند بار به نقطهٔ آغازش بازمی‌گردد:
- در سه بُعد یا بیشتر، ولگشت تصادفی معمولاً برای همیشه دور می‌شود، پس میانگین متناهی است. در ۲۰۰۸ یارای و ردیگ با استفاده از این ثابت کردند که بهمن‌ها همیشه متوقف می‌شوند.
- در دو بُعد، ولگشت تصادفی پیوسته بازمی‌گردد. میانگین شمار فروریزش‌ها در مربع آغازین بی‌نهایت است، و میانگین بُرد بهمن نیز.
بی‌نهایت بودن در میانگین لزوماً به معنای بی‌نهایت بودن در واقعیت نیست: بهمن‌های غول‌آسا و نادر می‌توانند میانگین را منفجر کنند در حالی که تقریباً هر بهمنی متناهی بماند. این‌که در دو بُعد ماجرا چنین است یا نه، از ۲۰۰۴ پرسشی گشوده بود. متخصصان آن را «پرسشی گشوده و مهم» خوانده و در ۲۰۱۴ و ۲۰۱۸ دوباره فهرستش کرده بودند.
پاسخ: متوقف می‌شوند
احمد بو-ربیع ثابت می‌کند که در دو بُعد، بهمن تقریباً به‌یقین متوقف می‌شود. او یک آهنگ هم به دست می‌دهد: احتمال این‌که بهمن به فراتر از فاصلهٔ R برسد حداکثر
C (log(R + 2))^(−a)
است، برای ثابت‌های مثبت و معینی a و C. این توانی منفی از لگاریتمِ R است — کاهشی بسیار کند، اما کاهشی که تا صفر پیش می‌رود. استدلال‌های مقیاسی فیزیک‌دانان افتی بسیار سریع‌تر را پیش‌بینی می‌کنند؛ این نتیجه ضعیف‌تر است، اما اثبات‌شده است.
خواندن بهمن از آخر به اول
یک بهمن را می‌توان به موج‌ها تقسیم کرد: مربع آغازین را یک بار فرو بریزید، بگذارید همه‌چیز دیگر آرام بگیرد، و تا وقتی مربع آغازین هنوز بیش‌بار است تکرار کنید. در دو بُعد، شمار مورد انتظار موج‌ها هم بی‌نهایت است، و همین تلاش‌های پیشین را ناکام گذاشته بود.
اثبات تازه از این شمارش طفره می‌رود:
- هر بهمن را از آخر به اول دنبال می‌کند، از آخرین موجش تا نخستین، و فقط موج‌هایی را می‌شمارد که بهمنی بسیار بزرگ ناگزیر از داشتنشان است.
- پرسش را به پرسشی دربارهٔ یک درخت فراگیر یکنواخت (uniform spanning tree) برمی‌گرداند — شبکه‌ای تصادفی از مسیرها که همهٔ مربع‌های شبکه را بی‌آن‌که هرگز حلقه‌ای بسازد به هم وصل می‌کند. تناظری کلاسیک توده‌های شنِ آرام‌گرفته را به چنین درخت‌هایی پیوند می‌دهد.
- سپس، مقیاس به مقیاس، نشان می‌دهد که بعید است شمار معینی از اتصال‌ها در این درخت کم باشد. ابزارها شامل شبکه‌های الکتریکی — تصور هر یال شبکه به‌صورت یک مقاومت یک‌اهمی — و نتیجه‌ای قدیمی از ۱۹۴۰ است که جریان‌های الکتریکی را به کاشی‌کاری یک مستطیل با مربع‌ها تبدیل می‌کند.
یک صوری‌سازی رایانه‌ای از اثبات در دستیار اثبات Lean 4 همراه با مقاله نگهداری می‌شود؛ مقاله نمی‌گوید که کامل است.
ساخته‌شده با هوش مصنوعی
مقاله به‌تفصیل شرح می‌دهد که چگونه ساخته شد. نتایج از اواخر مه تا اوایل اکتبر ۲۰۲۶ با GPT-5.5 و مدل‌هایی از خانوادهٔ GPT-6 پرورده شدند: نویسنده کار را هدایت کرد، و مدل‌ها ایده‌ها و تناظرهای یک‌به‌یک (bijections) پیشنهاد کردند، آن‌ها را با شمارش همهٔ توده‌های شن در جعبه‌های کوچک آزمودند، اثبات‌ها را امتحان کردند و مثال نقض یافتند. عامل‌های هوش مصنوعی جداگانه ایده‌های رقیب را دنبال کردند و اثبات‌های پیشنهادی را وارسی کردند، و هر رویکرد ناموفق ثبت شد تا تکرار نشود. نویسنده مسئولیت ریاضیات را بر عهده می‌گیرد.
تعارض منافع. مقاله اعلام می‌کند که Claude Opus 5.5، ساختهٔ Anthropic، شکل‌ها را ساخت و در شرح مطالب کمک کرد. این مقاله را Claude نوشته است.