एक समतल रेत का ढेर हमेशा के लिए नहीं ढह सकता

खानों का एक ग्रिड लीजिए। हर खाने में रेत के कुछ दाने हैं। जब कोई खाना चार दानों तक पहुँचता है — हर पड़ोसी के लिए एक — तो वह ढह (topple) जाता है: अपने चारों पड़ोसियों में से हर एक को एक दाना भेज देता है। अब उन पड़ोसियों के पास चार दाने हो सकते हैं और वे भी बारी-बारी से ढहते हैं, और यह सिलसिला चलता रहता है। एक अकेला दाना जोड़ने से एक शृंखला-अभिक्रिया शुरू हो सकती है: एक हिमस्खलन (avalanche)।

यह एबेलियन सैंडपाइल मॉडल है। बाक, तांग और वीज़ेनफ़ेल्ड ने इसे 1987 में स्व-संगठित क्रांतिकता (self-organised criticality) के उदाहरण के रूप में पेश किया था: उनके सिमुलेशनों में हिमस्खलनों के आकार एक घात-नियम (power law) का पालन करते थे — छोटे आम, विशाल दुर्लभ — बिना किसी के कोई मापदंड समायोजित किए। तब से यह भौतिकविदों और गणितज्ञों को मोहित करता रहा है।

औसतन अनंत

कल्पना कीजिए कि ग्रिड हमेशा के लिए फैला है, और उसमें यादृच्छिक रूप से दाने डाले जाते हैं जब तक ढेर अपनी सामान्य, “स्थिर” (stationary) अवस्था में न आ जाए। फिर बीच में एक और दाना डालिए। हिमस्खलन कितनी दूर तक जाता है?

धर का 1990 का एक सूत्र ढहने की औसत संख्या को इस बात से जोड़ता है कि एक यादृच्छिक भ्रमण (random walk) — एक बिंदु जो हर क़दम पर किसी यादृच्छिक पड़ोसी पर कूदता है — कितनी बार अपनी शुरुआती जगह पर लौटता है:

तीन या ज़्यादा आयामों में यादृच्छिक भ्रमण आमतौर पर हमेशा के लिए भटककर दूर चला जाता है, इसलिए औसत सीमित होता है। 2008 में यारई और रेडिग ने इसका उपयोग यह सिद्ध करने के लिए किया कि हिमस्खलन हमेशा रुकते हैं।
दो आयामों में यादृच्छिक भ्रमण बार-बार लौटता रहता है। शुरुआती खाने पर ढहने की औसत संख्या अनंत है, और हिमस्खलन की औसत पहुँच भी।

औसतन अनंत होने का मतलब ज़रूरी नहीं कि असल में भी अनंत हो: दुर्लभ, विराट हिमस्खलन औसत को आसमान पर पहुँचा सकते हैं, जबकि लगभग हर हिमस्खलन सीमित रहे। दो आयामों में ऐसा था या नहीं, यह 2004 से खुला सवाल था। विशेषज्ञों ने इसे “एक महत्वपूर्ण खुला सवाल” कहा था और 2014 और 2018 में इसे फिर से सूची में रखा।

जवाब: वे रुकते हैं

अहमद बू-राबी सिद्ध करते हैं कि दो आयामों में हिमस्खलन लगभग निश्चित रूप से रुक जाता है। वे एक दर भी देते हैं: इसके दूरी R से आगे पहुँचने की संभावना अधिकतम

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

है, जहाँ a और C कुछ स्थिर धनात्मक अचर हैं। यह R के लघुगणक की एक ऋणात्मक घात है — एक बहुत धीमी गिरावट, लेकिन ऐसी जो शून्य तक जाती है। भौतिकविदों के स्केलिंग तर्क इससे कहीं तेज़ क्षय की भविष्यवाणी करते हैं; यह परिणाम कमज़ोर है, लेकिन सिद्ध है।

हिमस्खलन को उलटा पढ़ना

एक हिमस्खलन को लहरों (waves) में काटा जा सकता है: शुरुआती खाने को एक बार ढहाइए, बाक़ी सब को स्थिर होने दीजिए, और जब तक शुरुआती खाना ज़्यादा भरा रहे, यही दोहराइए। दो आयामों में लहरों की अपेक्षित संख्या ख़ुद अनंत है, जिसने पहले के प्रयासों को विफल कर दिया था।

नया प्रमाण इस गिनती से बचकर निकलता है:

यह हर हिमस्खलन का उलटी दिशा में पीछा करता है, उसकी अंतिम लहर से पहली तक, और केवल उन लहरों को गिनता है जिन्हें एक बहुत बड़े हिमस्खलन में होना ही पड़ता है।
यह सवाल को एक समरूप विस्तृत वृक्ष (uniform spanning tree) के सवाल में बदल देता है — रास्तों का एक यादृच्छिक जाल जो ग्रिड के हर खाने को जोड़ता है पर कभी कोई लूप नहीं बनाता। एक क्लासिक संगति स्थिर रेत के ढेरों को ऐसे वृक्षों से जोड़ती है।
फिर यह, एक पैमाने के बाद दूसरे पैमाने पर, दिखाता है कि इस वृक्ष में कुछ ख़ास संबंधों की संख्या का छोटा होना असंभाव्य है। उपकरणों में विद्युत नेटवर्क शामिल हैं — ग्रिड के हर किनारे को एक-ओम का प्रतिरोधक मानकर — और 1940 का एक पुराना परिणाम जो विद्युत धाराओं को एक आयत की वर्गों से टाइलिंग में बदल देता है।

प्रमाण का प्रूफ़ असिस्टेंट Lean 4 में एक कंप्यूटर औपचारिकीकरण शोधपत्र के साथ बनाए रखा जा रहा है; शोधपत्र यह नहीं बताता कि वह पूरा हो चुका है।

AI के साथ बना

शोधपत्र विस्तार से बताता है कि इसे कैसे बनाया गया। परिणाम मई 2026 के आख़िर से अक्टूबर 2026 की शुरुआत तक GPT-5.5 और GPT-6 परिवार के मॉडलों के साथ विकसित किए गए: लेखक ने काम का निर्देशन किया, जबकि मॉडलों ने विचार और एकैकी संगतियाँ (bijections) सुझाईं, छोटे बक्सों में सभी रेत के ढेरों को गिनकर उन्हें परखा, प्रमाणों का प्रयास किया और प्रति-उदाहरण ढूँढे। अलग-अलग AI एजेंटों ने प्रतिस्पर्धी विचारों पर काम किया और प्रस्तावित प्रमाणों की जाँच की, और हर विफल तरीक़ा दर्ज किया गया ताकि उसे दोहराया न जाए। गणित की ज़िम्मेदारी लेखक लेते हैं।

हितों का टकराव। शोधपत्र बताता है कि Anthropic द्वारा बनाए गए Claude Opus 5.5 ने चित्र बनाए और प्रस्तुति में मदद की। यह लेख Claude ने लिखा है।