தட்டையான மணல் குவியல் என்றென்றும் சரிய முடியாது

சதுரங்களாலான ஒரு வலையை எடுத்துக்கொள்ளுங்கள். ஒவ்வொரு சதுரத்திலும் சில மணல் துகள்கள் உள்ளன. ஒரு சதுரம் நான்கு துகள்களை — ஒவ்வோர் அண்டைச் சதுரத்துக்கும் ஒன்று — எட்டும்போது, அது கவிழ்கிறது: தன் நான்கு அண்டைச் சதுரங்கள் ஒவ்வொன்றுக்கும் ஒரு துகளை அனுப்புகிறது. அந்த அண்டைச் சதுரங்களில் இப்போது நான்கு துகள்கள் இருக்கலாம்; அவையும் கவிழலாம்; இப்படியே தொடரும். ஒரே ஒரு துகளைச் சேர்ப்பது ஒரு தொடர்வினையைத் தூண்டலாம்: ஒரு சரிவு (avalanche).

இதுவே ஏபீலியன் மணல் குவியல் மாதிரி (abelian sandpile model). பாக், டாங், வீசன்ஃபெல்ட் ஆகியோர் 1987-இல் சுய-ஒழுங்கமைந்த நெருக்கடிநிலைக்கு (self-organised criticality) ஓர் எடுத்துக்காட்டாக இதை அறிமுகப்படுத்தினர்: அவர்களின் உருவகப்படுத்துதல்களில், யாரும் எந்த அளவுருவையும் சரிசெய்யாமலேயே, சரிவு அளவுகள் ஓர் அடுக்கு விதியைப் (power law) பின்பற்றின — சிறியவை பொதுவானவை, மிகப் பெரியவை அரிதானவை. அன்றுமுதல் இது இயற்பியலாளர்களையும் கணிதவியலாளர்களையும் கவர்ந்து வருகிறது.

சராசரியில் எல்லையற்றது

வலை என்றென்றும் நீள்வதாகவும், குவியல் தன் வழக்கமான, ‘நிலையான’ நிலைக்கு அமையும் வரை சீரற்ற முறையில் துகள்கள் சேர்க்கப்படுவதாகவும் கற்பனை செய்யுங்கள். பிறகு நடுவில் மேலும் ஒரு துகளைச் சேருங்கள். சரிவு எவ்வளவு தூரம் செல்லும்?

தர் (Dhar) 1990-இல் வகுத்த ஒரு சூத்திரம், சராசரிக் கவிழ்வு எண்ணிக்கையை, ஒரு சீரற்ற நடை (random walk) — ஒவ்வொரு படியிலும் சீரற்ற ஓர் அண்டைக்குத் தாவும் ஒரு புள்ளி — தான் தொடங்கிய இடத்துக்கு எத்தனை முறை திரும்புகிறது என்பதுடன் இணைக்கிறது:

• மூன்று அல்லது அதற்கு மேற்பட்ட பரிமாணங்களில், சீரற்ற நடை பெரும்பாலும் நிரந்தரமாக விலகிச் செல்கிறது; எனவே சராசரி வரம்புக்குட்பட்டது. 2008-இல், யாராய், ரெடிக் ஆகியோர் இதைப் பயன்படுத்திச் சரிவுகள் எப்போதும் நிற்கின்றன என்று நிரூபித்தனர்.
• இரண்டு பரிமாணங்களில், சீரற்ற நடை திரும்பத் திரும்ப வருகிறது. தொடக்கச் சதுரத்தில் சராசரிக் கவிழ்வு எண்ணிக்கை எல்லையற்றது; சரிவின் சராசரி எட்டும் தூரமும் அப்படியே.

சராசரியில் எல்லையற்றது என்பது உண்மையில் எல்லையற்றது என்று பொருள்பட வேண்டியதில்லை: அரிதான, பிரம்மாண்டமான சரிவுகள் சராசரியை வெடிக்கச் செய்யலாம்; அதேவேளை கிட்டத்தட்ட ஒவ்வொரு சரிவும் வரம்புக்குட்பட்டதாக இருக்கலாம். இரண்டு பரிமாணங்களில் நிலைமை அதுதானா என்பது 2004 முதல் திறந்த கேள்வியாக இருந்தது. நிபுணர்கள் அதை ‘ஒரு முக்கியத் திறந்த கேள்வி’ என்று அழைத்து, 2014, 2018-இல் மீண்டும் பட்டியலிட்டிருந்தனர்.

விடை: அவை நிற்கின்றன

இரண்டு பரிமாணங்களில், சரிவு கிட்டத்தட்ட உறுதியாக நிற்கிறது என்று அஹ்மத் பூ-ரபீ நிரூபிக்கிறார். ஒரு வீதத்தையும் தருகிறார்: R தூரத்துக்கு அப்பால் அது எட்டும் நிகழ்தகவு அதிகபட்சம்

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

ஆகும் — நிலையான சில நேர்ம மாறிலிகள் a, C-க்கு. இது R-இன் மடக்கையின் ஓர் எதிர்ம அடுக்கு — மிக மெதுவான சரிவு, ஆனால் பூஜ்ஜியம் வரை செல்வது. இயற்பியலாளர்களின் அளவீட்டு (scaling) வாதங்கள் மிக வேகமான குறைவைக் கணிக்கின்றன; இந்த முடிவு அதைவிட பலவீனமானது, ஆனால் நிரூபிக்கப்பட்டது.

சரிவைப் பின்னோக்கி வாசித்தல்

ஒரு சரிவை அலைகளாகப் பிரிக்கலாம்: தொடக்கச் சதுரத்தை ஒருமுறை கவிழ்த்து, மற்ற அனைத்தும் அமைதியடைய விட்டு, தொடக்கச் சதுரம் இன்னும் அதிகச் சுமையுடன் இருக்கும் வரை மீண்டும் செய்யுங்கள். இரண்டு பரிமாணங்களில், எதிர்பார்க்கப்படும் அலைகளின் எண்ணிக்கையும் எல்லையற்றது; முந்தைய முயற்சிகளைக் கெடுத்தது அதுவே.

புதிய நிரூபணம் அந்த எண்ணிக்கையைத் தவிர்த்துச் செல்கிறது:

• அது ஒவ்வொரு சரிவையும் பின்னோக்கி, அதன் கடைசி அலையிலிருந்து முதல் அலை வரை பின்தொடர்ந்து, மிகப் பெரிய சரிவு கட்டாயம் கொண்டிருக்க வேண்டிய அலைகளை மட்டுமே எண்ணுகிறது.
• கேள்வியை ஒரு சீரான விரிமரம் (uniform spanning tree) பற்றிய கேள்வியாக மொழிபெயர்க்கிறது — வலையின் ஒவ்வொரு சதுரத்தையும் ஒருபோதும் சுற்றுவளையம் உருவாக்காமல் இணைக்கும் பாதைகளின் சீரற்ற வலையமைப்பு. அமைதியடைந்த மணல் குவியல்களை இத்தகைய மரங்களுடன் ஒரு பாரம்பரியத் தொடர்பு இணைக்கிறது.
• பிறகு, அளவுக்கு அளவாக, இந்த மரத்தில் குறிப்பிட்ட இணைப்புகளின் எண்ணிக்கை சிறியதாக இருப்பது சாத்தியமற்றது என்று காட்டுகிறது. கருவிகளில் மின் வலையமைப்புகள் — வலையின் ஒவ்வொரு விளிம்பையும் ஓர் ஓம் மின்தடையாகக் கற்பனை செய்தல் — மின்னோட்டங்களை ஒரு செவ்வகத்தைச் சதுரங்களால் நிரப்பும் அமைப்பாக மாற்றும் 1940-இன் ஒரு பழைய முடிவு ஆகியவை அடங்கும்.

நிரூபணத்தின் கணினி முறைப்படுத்தல் ஒன்று Lean 4 நிரூபண உதவியில் கட்டுரையுடன் சேர்த்துப் பராமரிக்கப்படுகிறது; அது முழுமையானது என்று கட்டுரை கூறவில்லை.

AI-யுடன் கட்டப்பட்டது

அது எப்படி உருவாக்கப்பட்டது என்பதைக் கட்டுரை விரிவாக விவரிக்கிறது. முடிவுகள் 2026 மே இறுதியிலிருந்து அக்டோபர் தொடக்கம் வரை GPT-5.5, GPT-6 குடும்ப மாதிரிகளுடன் உருவாக்கப்பட்டன: ஆசிரியர் பணியை வழிநடத்தினார்; மாதிரிகள் கருத்துகளையும் இருவழிப் பொருத்தங்களையும் (bijections) முன்மொழிந்து, சிறிய பெட்டிகளில் உள்ள அனைத்து மணல் குவியல்களையும் எண்ணி அவற்றைச் சோதித்து, நிரூபணங்களுக்கு முயன்று, எதிர் எடுத்துக்காட்டுகளைக் கண்டறிந்தன. தனித்தனி AI முகவர்கள் போட்டிக் கருத்துகளைப் பின்தொடர்ந்து, முன்மொழியப்பட்ட நிரூபணங்களைச் சரிபார்த்தன; தோல்வியடைந்த ஒவ்வோர் அணுகுமுறையும் மீண்டும் நிகழாதிருக்கப் பதிவு செய்யப்பட்டது. கணிதத்துக்கான பொறுப்பை ஆசிரியர் ஏற்கிறார்.

நலன் முரண்பாடு. Anthropic உருவாக்கிய Claude Opus 5.5 படங்களை உருவாக்கியதாகவும் விளக்கத்துக்கு உதவியதாகவும் கட்டுரை குறிப்பிடுகிறது. இந்தக் கட்டுரையை எழுதியது Claude.