كومة رمل مسطّحة لا يمكن أن تنهار إلى الأبد

خذ شبكة من المربعات. يحمل كل مربع بعض حبات الرمل. وحين يبلغ مربعٌ أربع حبات — حبة لكل جار — فإنه ينهار (topple): يرسل حبة إلى كل جار من جيرانه الأربعة. وقد يصبح لدى هؤلاء الجيران الآن أربع حبات فينهارون بدورهم، وهكذا. فإضافة حبة واحدة قد تُطلق تفاعلًا متسلسلًا: انهيارًا (avalanche).

هذا هو نموذج كومة الرمل الآبيلي. قدّمه باك وتانغ وفيزنفيلد عام 1987 مثالًا على الحرجية المنظِّمة لذاتها: ففي محاكاتهم، اتبعت أحجام الانهيارات قانون قوة — الصغيرة شائعة والهائلة نادرة — دون أن يضبط أحدٌ أي معامل. ومنذ ذلك الحين وهو يسحر الفيزيائيين والرياضيين.

لانهائي في المتوسط

تخيّل الشبكة ممتدة إلى ما لا نهاية، وحبات تُضاف عشوائيًا حتى تستقر الكومة في حالتها النموذجية «المستقرة». ثم أضف حبة أخرى في الوسط. إلى أي مدى يصل الانهيار؟

تربط صيغة وضعها دار عام 1990 بين العدد المتوسط للانهيارات وبين مدى تكرار عودة المشي العشوائي — نقطة تقفز في كل خطوة إلى جار عشوائي — إلى نقطة انطلاقه:

في ثلاثة أبعاد أو أكثر، يميل المشي العشوائي إلى الابتعاد بلا رجعة، فيكون المتوسط منتهيًا. وفي 2008، استخدم ياراي وريديغ ذلك لإثبات أن الانهيارات تتوقف دائمًا.
في بعدين، يظل المشي العشوائي يعود. فيكون العدد المتوسط للانهيارات عند المربع الأول لانهائيًا، وكذلك متوسط امتداد الانهيار.

لكن كونه لانهائيًا في المتوسط لا يعني بالضرورة أنه لانهائي في الواقع: فانهيارات نادرة عملاقة قد تجعل المتوسط ينفجر بينما يبقى كل انهيار تقريبًا منتهيًا. وظلّ السؤال عمّا إذا كان هذا هو الحال في بعدين مفتوحًا منذ 2004. وقد وصفه المتخصصون بأنه «سؤال مفتوح مهم» وأدرجوه مجددًا في قوائمهم عامَي 2014 و2018.

الجواب: إنها تتوقف

يبرهن أحمد بو-ربيع أن الانهيار في بعدين يتوقف بشكل شبه مؤكد. ويعطي أيضًا معدلًا: احتمال وصوله إلى ما بعد مسافة R لا يتجاوز

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

لثابتين موجبين محدّدين a وC. وهذه قوة سالبة لـلوغاريتم R — أي تناقص بطيء جدًا، لكنه يمضي حتى الصفر. وتتنبأ حجج التدرّج (scaling) لدى الفيزيائيين بتضاؤل أسرع بكثير؛ وهذه النتيجة أضعف، لكنها مُبرهَنة.

قراءة الانهيار بالمقلوب

يمكن تقطيع الانهيار إلى موجات: اجعل المربع الأول ينهار مرة واحدة، ودع كل ما عداه يستقر، وكرّر ذلك ما دام المربع الأول مثقلًا. وفي بعدين، يكون العدد المتوقع للموجات نفسه لانهائيًا، وهو ما أفسد محاولات سابقة.

يتجنّب البرهان الجديد هذا العدّ:

فهو يتتبّع كل انهيار بالمقلوب، من موجته الأخيرة إلى الأولى، ولا يعدّ إلا الموجات التي يُضطر انهيار كبير جدًا إلى احتوائها.
ويترجم السؤال إلى سؤال عن شجرة ممتدة منتظمة (uniform spanning tree) — شبكة عشوائية من المسارات تصل كل مربعات الشبكة دون أن تشكّل حلقة أبدًا. وثمة تقابل كلاسيكي يربط أكوام الرمل المستقرة بمثل هذه الأشجار.
ثم يُبيّن، مقياسًا بعد مقياس، أن من غير المرجّح أن يكون عدد معيّن من الوصلات في هذه الشجرة صغيرًا. وتشمل الأدوات الشبكات الكهربائية — بتخيّل كل ضلع من الشبكة مقاومة قدرها أوم واحد — ونتيجة قديمة من عام 1940 تحوّل التيارات الكهربائية إلى تبليط مستطيل بمربعات.

ويُحتفظ إلى جانب الورقة بصياغة حاسوبية صورية للبرهان في مساعد البراهين Lean 4؛ ولا تذكر الورقة أنها مكتملة.

بُني بالذكاء الاصطناعي

تصف الورقة بالتفصيل كيف أُنجزت. فقد طُوّرت النتائج من أواخر مايو إلى مطلع أكتوبر 2026 مع GPT-5.5 ونماذج من عائلة GPT-6: أدار المؤلف العمل، بينما اقترحت النماذج أفكارًا وتقابلات (bijections)، واختبرتها بتعداد جميع أكوام الرمل في صناديق صغيرة، وحاولت البراهين ووجدت أمثلة مضادة. وتابع وكلاء ذكاء اصطناعي منفصلون أفكارًا متنافسة وراجعوا البراهين المقترحة، وسُجّلت كل مقاربة فاشلة كي لا تتكرر. ويتحمّل المؤلف مسؤولية الرياضيات.

تضارب المصالح. تذكر الورقة أن Claude Opus 5.5، من تطوير Anthropic، أعدّ الأشكال وساعد في العرض. وهذا المقال كتبه Claude.