حسابپری پرنٹنظریہپڑھن لئی ۴ منٹ

اک پدھرا ریت دا ڈھیر ہمیشہ لئی تودا نئیں ڈیگ سکدا

خانیاں دا اک جال لوو۔ ہر خانے وچ کجھ ریت دے دانے نیں۔ جدوں کوئی خانہ چار دانیاں تیک اپڑدا اے — ہر گوانڈی لئی اک — اوہ ڈھہ پیندا اے: اپنے چارے گوانڈیاں وچوں ہر اک نوں اک دانہ بھیجدا اے۔ ہن اوہناں گوانڈیاں کول چار دانے ہو سکدے نیں تے اوہ وی ڈھہ سکدے نیں، تے انج ای اگے۔ اک دانہ جوڑن نال اک لڑی وار عمل چھڑ سکدا اے: اک تودا (avalanche)۔

ایہہ اے ابیلین ریت ڈھیر ماڈل (abelian sandpile model)۔ بیک، تانگ تے ویزنفیلڈ نے ایہنوں 1987 وچ خود ترتیبی نازکیت (self-organised criticality) دی مثال وجوں پیش کیتا: اوہناں دیاں نقلاں وچ، تودیاں دے سائز اک طاقتی قانون (power law) دے پچھے چلدے سن، نکے عام تے وڈے ٹانویں، بنا کسے دے کوئی پیرامیٹر سنوارے۔ اوس ویلے توں ایہنے فزکس داناں تے ریاضی داناں نوں موہیا ہویا اے۔

اوسط وچ لامحدود

سوچو جال ہمیشہ تیک پھیلیا اے، تے دانے بے ترتیب پائے جاندے نیں جدوں تیک ڈھیر اپنی عام، «ٹِکی» حالت وچ نہ بیٹھ جاوے۔ فیر وچکار اک ہور دانہ پاؤ۔ تودا کتھے تیک جاندا اے؟

دھر دا 1990 دا اک فارمولا ڈگن دی اوسط گنتی نوں ایس گل نال جوڑدا اے پئی اک بے ترتیب ٹور (random walk) — اک نقطہ جو ہر قدم اُتے کسے بے ترتیب گوانڈی ول ٹپدا اے — کنی واری اوتھے مڑدی اے جتھوں شروع ہوئی سی:

  • تن یا ودھ بُعداں (dimensions) وچ، بے ترتیب ٹور ہمیشہ لئی دور نکل جاندی اے، ایس لئی اوسط محدود اے۔ 2008 وچ، یارائی تے ریڈگ نے ایہہ ورت کے ثابت کیتا پئی تودے ہمیشہ رک جاندے نیں۔
  • دو بُعداں وچ، بے ترتیب ٹور مڑ مڑ آؤندی رہندی اے۔ شروع والے خانے اُتے ڈگن دی اوسط گنتی لامحدود اے، تے تودے دی اوسط پہنچ وی۔

اوسط وچ لامحدود دا مطلب اصل وچ لامحدود ہونا ضروری نئیں: ٹانویں، وڈے وڈے تودے اوسط نوں پھاڑ سکدے نیں جدکہ لگ بھگ ہر تودا محدود رہوے۔ کیہ دو بُعداں وچ ایہو گل سی، ایہہ 2004 توں کھلا سوال سی۔ ماہراں نے ایہنوں «اک اہم کھلا سوال» آکھیا تے 2014 تے 2018 وچ فیر لسٹ کیتا۔

جواب: اوہ رک جاندے نیں

احمد بو-ربیع ثابت کردا اے پئی، دو بُعداں وچ، تودا لگ بھگ پکا رک جاندا اے۔ اوہ اک رفتار وی دیندا اے: ایہدے R فاصلے توں اگے اپڑن دا امکان ودھ توں ودھ

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

اے، کجھ پکے مثبت مستقلاں a تے C لئی۔ ایہہ R دے لوگارتھم دی اک منفی طاقت اے — بہت ہولی گھٹن، پر اجیہی جو صفر تیک جاندی اے۔ فزکس داناں دیاں سکیلنگ دلیلاں کتے تیز گھٹن دی پیش گوئی کردیاں نیں؛ ایہہ نتیجہ کمزور اے، پر ثابت شدہ اے۔

تودے نوں پچھے ول پڑھنا

اک تودا لہراں وچ کٹیا جا سکدا اے: شروع والے خانے نوں اک واری ڈھاؤ، باقی سبھ نوں بیٹھن دیو، تے جدوں تیک شروع والا خانہ ہلے وی ودھ بھریا اے، دہراؤ۔ دو بُعداں وچ، لہراں دی متوقع گنتی وی لامحدود اے، جیہنے پچھلیاں کوششاں نوں وگاڑیا سی۔

نواں ثبوت ایس گنتی توں بچ کے لنگھدا اے:

  • ایہہ ہر تودے نوں پچھے ول ٹُردا اے، اوہدی آخری لہر توں پہلی تیک، تے صرف اوہ لہراں گندا اے جو اک بہت وڈے تودے وچ ہونیاں لازمی نیں۔
  • ایہہ سوال نوں اک یکساں پھیلاؤ والے رکھ (uniform spanning tree) بارے سوال وچ بدلدا اے — راہاں دا اک بے ترتیب جال جو جال دے ہر خانے نوں جوڑدا اے بنا کدے کوئی گھیرا بنائے۔ اک کلاسیکی رشتہ بیٹھے ہوئے ریت ڈھیراں نوں اجیہے رکھاں نال جوڑدا اے۔
  • فیر ایہہ، پیمانے دے بعد پیمانے، وکھاؤندا اے پئی ایس رکھ وچ کجھ جوڑاں دی اک گنتی دا نکا ہونا مشکل اے۔ اوزاراں وچ برقی جال نیں — جال دے ہر کنڈھے نوں اک اوہم دا مزاحم (resistor) سمجھنا — تے 1940 دا اک پرانا نتیجہ جو برقی کرنٹاں نوں اک مستطیل نوں چورساں نال ڈھکن وچ بدلدا اے۔

ثبوت دا Lean 4 ثبوتی مددگار وچ اک کمپیوٹری رسمی روپ مقالے دے نال سانبھیا جا رہیا اے؛ مقالہ ایہہ نئیں دسدا پئی اوہ پورا اے۔

AI نال بنیا

مقالہ تفصیل نال دسدا اے پئی ایہہ کیویں بنیا۔ نتیجے مئی دے اخیر توں اکتوبر 2026 دے شروع تیک GPT-5.5 تے GPT-6 ٹبر دے ماڈلاں نال بنائے گئے: لکھاری نے کم دی اگوائی کیتی، جدکہ ماڈلاں نے خیال تے دو طرفہ نقشے (bijections) دتے، نکے ڈبیاں وچ سارے ریت ڈھیر گن کے اوہناں نوں پرکھیا، ثبوت دیاں کوششاں کیتیاں تے الٹ مثالاں لبھیاں۔ وکھرے AI ایجنٹاں نے مقابلے والے خیالاں دا پچھا کیتا تے پیش کیتے ثبوت پرکھے، تے ہر ناکام طریقہ لکھ لیا گیا تاں جے اوہ دوبارہ نہ ہووے۔ لکھاری ریاضی دی ذمہ داری لیندا اے۔

مفاداں دا ٹکراؤ۔ مقالہ دسدا اے پئی Anthropic دے بنائے Claude Opus 5.5 نے تصویراں بنائیاں تے وضاحت وچ مدد کیتی۔ ایہہ لیکھ Claude نے لکھیا اے۔