చదునైన ఇసుక కుప్ప శాశ్వతంగా జారిపడదు

చతురస్రాల ఒక జాలాన్ని తీసుకోండి. ప్రతి చతురస్రంలో కొన్ని ఇసుక రేణువులు ఉంటాయి. ఒక చతురస్రం నాలుగు రేణువులకు — ఒక్కో పొరుగుదానికి ఒకటి — చేరినప్పుడు, అది కూలిపోతుంది: తన నాలుగు పొరుగు చతురస్రాలకూ ఒక్కో రేణువును పంపుతుంది. ఆ పొరుగువాటికి ఇప్పుడు నాలుగు రేణువులు చేరి అవి కూడా వరుసగా కూలిపోవచ్చు, ఇలా కొనసాగుతుంది. ఒకే రేణువును జోడించడం ఒక గొలుసు చర్యను ప్రారంభించవచ్చు: ఒక ఉప్పెన.

ఇదే అబీలియన్ ఇసుక కుప్ప నమూనా (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 యొక్క సంవర్గమానం యొక్క ఋణ ఘాతం — చాలా నెమ్మదైన క్షీణత, కానీ సున్నా వరకు వెళ్లేది. భౌతిక శాస్త్రవేత్తల స్కేలింగ్ వాదనలు చాలా వేగవంతమైన క్షీణతను అంచనా వేస్తాయి; ఈ ఫలితం బలహీనమైనది, కానీ నిరూపించబడింది.

ఉప్పెనను వెనక్కి చదవడం

ఒక ఉప్పెనను అలలుగా విభజించవచ్చు: ప్రారంభ చతురస్రాన్ని ఒకసారి కూల్చి, మిగతావన్నీ స్థిరపడనిచ్చి, ప్రారంభ చతురస్రం ఇంకా అధిక భారంతో ఉన్నంత వరకు పునరావృతం చేయండి. రెండు కొలతల్లో, అలల అంచనా సంఖ్య కూడా అనంతమే, ఇది గత ప్రయత్నాలను దెబ్బతీసింది.

కొత్త నిరూపణ ఆ లెక్కను పక్కన పెడుతుంది:

• అది ప్రతి ఉప్పెనను వెనక్కి అనుసరిస్తుంది, దాని చివరి అల నుంచి మొదటి అల వరకు, చాలా పెద్ద ఉప్పెన తప్పనిసరిగా కలిగి ఉండాల్సిన అలలను మాత్రమే లెక్కిస్తుంది.
• అది ప్రశ్నను ఒక ఏకరీతి వ్యాపక వృక్షం (uniform spanning tree) గురించిన ప్రశ్నగా అనువదిస్తుంది — ఎప్పుడూ వలయం ఏర్పరచకుండా జాలంలోని ప్రతి చతురస్రాన్నీ కలిపే మార్గాల యాదృచ్ఛిక జాలం. ఒక సంప్రదాయ అనురూపత స్థిరపడిన ఇసుక కుప్పలను అలాంటి వృక్షాలతో ముడిపెడుతుంది.
• తర్వాత, ఒక స్కేల్ తర్వాత మరో స్కేల్‌లో, ఈ వృక్షంలోని నిర్దిష్ట సంఖ్యలో అనుసంధానాలు చిన్నవిగా ఉండే అవకాశం తక్కువని చూపిస్తుంది. సాధనాల్లో విద్యుత్ జాలాలు — జాలంలోని ప్రతి అంచునూ ఒక-ఓమ్ నిరోధకంగా ఊహించడం — విద్యుత్ ప్రవాహాలను చతురస్రాలతో ఒక దీర్ఘచతురస్రాన్ని పరచడంగా మార్చే 1940 నాటి ఒక పాత ఫలితం ఉన్నాయి.

Lean 4 నిరూపణ సహాయకంలో నిరూపణ యొక్క కంప్యూటర్ లాంఛనీకరణ పత్రంతో పాటు నిర్వహించబడుతోంది; అది పూర్తయిందని పత్రం పేర్కొనలేదు.

AIతో నిర్మించినది

ఇది ఎలా తయారైందో పత్రం వివరంగా వర్ణిస్తుంది. ఫలితాలు 2026 మే చివరి నుంచి అక్టోబర్ ప్రారంభం వరకు GPT-5.5, GPT-6 కుటుంబానికి చెందిన మోడళ్లతో అభివృద్ధి చేయబడ్డాయి: రచయిత పనిని నిర్దేశించారు, మోడళ్లు ఆలోచనలను, ద్విగుణ అనురూపతలను (bijections) ప్రతిపాదించి, చిన్న పెట్టెల్లోని అన్ని ఇసుక కుప్పలనూ లెక్కించి వాటిని పరీక్షించి, నిరూపణలకు ప్రయత్నించి, ప్రతి ఉదాహరణలను కనుగొన్నాయి. వేర్వేరు AI ఏజెంట్లు పోటీ ఆలోచనలను అనుసరించి, ప్రతిపాదిత నిరూపణలను తనిఖీ చేశాయి, విఫలమైన ప్రతి విధానాన్నీ మళ్లీ పునరావృతం కాకుండా నమోదు చేశారు. గణితానికి బాధ్యత రచయితదే.

ప్రయోజనాల సంఘర్షణ. Anthropic తయారు చేసిన Claude Opus 5.5 చిత్రాలను తయారు చేసి, వివరణలో సహాయపడిందని పత్రం పేర్కొంటుంది. ఈ వ్యాసాన్ని Claude రాసింది.