सपाट वाळूच्या ढिगाचा कडेलोट कायमचा चालू राहू शकत नाही

चौरसांची एक जाळी घ्या. प्रत्येक चौरसात वाळूचे काही कण आहेत. एखाद्या चौरसात चार कण — प्रत्येक शेजाऱ्यासाठी एक — झाले की तो कोसळतो: तो आपल्या चार शेजाऱ्यांपैकी प्रत्येकाला एक कण पाठवतो. आता त्या शेजाऱ्यांकडे चार कण होऊन तेही क्रमाने कोसळू शकतात, आणि असेच पुढे. एकच कण टाकल्याने एक साखळी-अभिक्रिया सुरू होऊ शकते: एक कडेलोट.

हे आहे ॲबेलियन वाळू-ढीग मॉडेल (abelian sandpile model). बॅक, टँग आणि वीझनफेल्ड यांनी 1987 मध्ये ते स्व-संघटित क्रांतिकता (self-organised criticality) चे उदाहरण म्हणून मांडले: त्यांच्या सिम्युलेशन्समध्ये, कोणीही कोणतेही प्राचल न जुळवता, कडेलोटांचे आकार घात-नियमाचे (power law) पालन करत होते — छोटे कडेलोट सामान्य, प्रचंड कडेलोट दुर्मीळ. तेव्हापासून त्याने भौतिकशास्त्रज्ञांना आणि गणितज्ञांना भुरळ घातली आहे.

सरासरीने अनंत

कल्पना करा की जाळी कायमची पसरलेली आहे, आणि ढीग त्याच्या नेहमीच्या, “स्थिर” अवस्थेत स्थिरावेपर्यंत यादृच्छिकपणे कण टाकले गेले आहेत. मग मधोमध आणखी एक कण टाका. कडेलोट किती दूर जातो?

धर यांचे 1990 मधील एक सूत्र कोसळण्यांच्या सरासरी संख्येचा संबंध एका यादृच्छिक चालीच्या (random walk) — प्रत्येक पावलाला एखाद्या यादृच्छिक शेजाऱ्याकडे उडी मारणारा बिंदू — सुरुवातीच्या ठिकाणी परत येण्याच्या वारंवारतेशी जोडते:

तीन किंवा अधिक मितींमध्ये यादृच्छिक चाल कायमची भरकटून दूर जाण्याची प्रवृत्ती ठेवते, त्यामुळे सरासरी मर्यादित असते. 2008 मध्ये यारई आणि रेडिग यांनी याचा वापर करून कडेलोट नेहमी थांबतात हे सिद्ध केले.
दोन मितींमध्ये यादृच्छिक चाल पुन्हा पुन्हा परत येत राहते. सुरुवातीच्या चौरसावरील कोसळण्यांची सरासरी संख्या अनंत असते, आणि कडेलोटाचा सरासरी पल्लाही अनंत असतो.

सरासरीने अनंत म्हणजे प्रत्यक्षात अनंत असेच नाही: दुर्मीळ, प्रचंड कडेलोट सरासरीला अनंतापर्यंत फुगवू शकतात, तर जवळजवळ प्रत्येक कडेलोट मर्यादितच राहतो. दोन मितींमध्ये असे आहे का हा प्रश्न 2004 पासून अनुत्तरित होता. तज्ज्ञांनी त्याला “एक महत्त्वाचा अनुत्तरित प्रश्न” म्हटले होते आणि 2014 व 2018 मध्ये तो पुन्हा सूचीबद्ध केला होता.

उत्तर: ते थांबतात

अहमद बू-रबी (Ahmed Bou-Rabee) सिद्ध करतात की दोन मितींमध्ये कडेलोट जवळजवळ निश्चितपणे थांबतो. ते एक दरही देतात: तो R अंतरापलीकडे पोहोचण्याची संभाव्यता जास्तीत जास्त

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

इतकी असते, काही ठरावीक धन स्थिरांक a आणि C साठी. हा R च्या लॉगॅरिदमचा ऋण घात आहे — अतिशय मंद घट, पण शून्यापर्यंत जाणारी. भौतिकशास्त्रज्ञांचे मापन-युक्तिवाद (scaling arguments) याहून खूप वेगवान घट भाकीत करतात; हा निकाल त्याहून कमकुवत आहे, पण तो सिद्ध झालेला आहे.

कडेलोट उलट्या दिशेने वाचणे

कडेलोटाचे लाटांमध्ये तुकडे करता येतात: सुरुवातीचा चौरस एकदा कोसळवा, बाकी सर्व स्थिरावू द्या, आणि सुरुवातीचा चौरस अजूनही अतिभारित असेल तोवर हे पुन्हा करा. दोन मितींमध्ये लाटांची अपेक्षित संख्या स्वतःच अनंत असते, आणि त्यामुळे आधीचे प्रयत्न फसले होते.

नवी सिद्धता ही मोजणी टाळते:

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

Lean 4 या सिद्धता-सहायकातील सिद्धतेचे संगणकीय औपचारिकीकरण शोधनिबंधासोबत सांभाळले जात आहे; ते पूर्ण असल्याचे शोधनिबंध नमूद करत नाही.

AI सोबत उभारलेले

शोधनिबंध ते कसे तयार झाले याचे तपशीलवार वर्णन करतो. निकाल मे 2026 च्या अखेरपासून ऑक्टोबर 2026 च्या सुरुवातीपर्यंत GPT-5.5 आणि GPT-6 कुटुंबातील मॉडेल्ससह विकसित झाले: लेखकाने कामाचे दिग्दर्शन केले, तर मॉडेल्सनी कल्पना आणि द्विभाजने (bijections) सुचवली, छोट्या चौकटींमधील सर्व वाळू-ढीग मोजून त्यांची चाचणी घेतली, सिद्धतांचा प्रयत्न केला आणि प्रतिउदाहरणे शोधली. स्वतंत्र AI एजंट्सनी स्पर्धक कल्पनांचा पाठपुरावा केला आणि सुचवलेल्या सिद्धता तपासल्या, आणि प्रत्येक अयशस्वी दृष्टिकोन नोंदवून ठेवला गेला जेणेकरून त्याची पुनरावृत्ती होऊ नये. गणिताची जबाबदारी लेखक घेतात.

हितसंबंधांचा संघर्ष. शोधनिबंधात नमूद आहे की Anthropic ने बनवलेल्या Claude Opus 5.5 ने आकृत्या तयार केल्या आणि मांडणीत मदत केली. हा लेख Claude ने लिहिला आहे.