DÜZ BİR KUM YIĞINI SONSUZA DEK ÇIĞ YAPAMAZ

Karelerden oluşan bir ızgara alın. Her karede bir miktar kum tanesi var. Bir kare dört taneye — her komşu için bir tane — ulaştığında devrilir: dört komşusunun her birine birer tane gönderir. Bu komşularda artık dört tane olabilir ve onlar da devrilir, böyle sürer gider. Tek bir tane eklemek bir zincirleme tepkimeyi tetikleyebilir: bir çığ.

Bu, abelyen kum yığını modeli. Bak, Tang ve Wiesenfeld onu 1987’de öz-örgütlenmiş kritikliğin (self-organised criticality) bir örneği olarak ortaya attı: simülasyonlarında çığ boyutları, kimse bir parametreyi ayarlamadan, küçükleri yaygın ve dev olanları nadir olacak şekilde bir kuvvet yasasını izliyordu. O zamandan beri fizikçileri ve matematikçileri büyülüyor.

Ortalamada sonsuz

Izgaranın sonsuza uzandığını ve yığın tipik, “durağan” hâline oturana dek rastgele tanelerin eklendiğini düşünün. Sonra ortaya bir tane daha ekleyin. Çığ ne kadar uzağa gider?

Dhar’ın 1990 tarihli bir formülü, ortalama devrilme sayısını bir rastgele yürüyüşün — her adımda rastgele bir komşuya sıçrayan bir noktanın — başladığı yere ne sıklıkla döndüğüne bağlıyor:

Üç ya da daha fazla boyutta rastgele bir yürüyüş genellikle sonsuza dek uzaklaşır, dolayısıyla ortalama sonludur. 2008’de Járai ve Redig bunu kullanarak çığların her zaman durduğunu kanıtladı.
İki boyutta rastgele bir yürüyüş geri dönüp durur. Başlangıç karesindeki ortalama devrilme sayısı sonsuzdur, bir çığın ortalama erişimi de öyle.

Ortalamada sonsuz olmak gerçekte sonsuz olmak anlamına gelmek zorunda değil: nadir, devasa çığlar ortalamayı patlatırken neredeyse her çığ sonlu kalabilir. İki boyutta durumun böyle olup olmadığı 2004’ten beri açık bir soruydu. Uzmanlar buna “önemli bir açık soru” demiş ve 2014 ile 2018’de yeniden listelemişti.

Cevap: duruyorlar

Ahmed Bou-Rabee, iki boyutta çığın neredeyse kesin olarak durduğunu kanıtlıyor. Bir hız da veriyor: R uzaklığının ötesine ulaşma olasılığı en fazla

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

olur; burada a ve C sabit pozitif sabitler. Bu, R’nin logaritmasının negatif bir kuvveti — çok yavaş, ama sıfıra kadar giden bir düşüş. Fizikçilerin ölçekleme argümanları çok daha hızlı bir azalma öngörüyor; bu sonuç daha zayıf, ama kanıtlanmış.

Çığı geriye doğru okumak

Bir çığ dalgalara bölünebilir: başlangıç karesini bir kez devirin, geri kalan her şeyin oturmasına izin verin ve başlangıç karesi hâlâ aşırı yüklüyken bunu tekrarlayın. İki boyutta beklenen dalga sayısı da sonsuz; önceki denemeleri bozan buydu.

Yeni ispat bu sayımı atlatıyor:

Her çığı geriye doğru, son dalgasından ilk dalgasına kadar izliyor ve yalnızca çok büyük bir çığın içermek zorunda olduğu dalgaları sayıyor.
Soruyu bir düzgün kapsayan ağaç (uniform spanning tree) hakkındaki bir soruya çeviriyor: ızgaranın her karesini hiç döngü oluşturmadan birbirine bağlayan rastgele bir yollar ağı. Klasik bir eşleme, oturmuş kum yığınlarını bu tür ağaçlara bağlıyor.
Ardından, ölçek ölçek, bu ağaçtaki belirli bir bağlantı sayısının küçük olmasının olası olmadığını gösteriyor. Araçlar arasında elektrik ağları — ızgaranın her kenarını bir ohm’luk bir direnç olarak düşünmek — ve elektrik akımlarını bir dikdörtgenin karelerle döşenmesine dönüştüren 1940 tarihli eski bir sonuç var.

İspatın Lean 4 ispat asistanındaki bir bilgisayar biçimselleştirmesi makaleyle birlikte sürdürülüyor; makale bunun tamamlandığını belirtmiyor.

Yapay zekâyla inşa edildi

Makale nasıl yapıldığını ayrıntılı olarak anlatıyor. Sonuçlar Mayıs sonundan Ekim 2026 başına kadar GPT-5.5 ve GPT-6 ailesinden modellerle geliştirildi: yazar çalışmayı yönlendirdi; modeller ise fikirler ve eşlemeler (bijection) önerdi, bunları küçük kutulardaki tüm kum yığınlarını sayarak test etti, ispat denemeleri yaptı ve karşı örnekler buldu. Ayrı yapay zekâ ajanları rakip fikirlerin peşine düştü ve önerilen ispatları denetledi; başarısız her yaklaşım tekrarlanmasın diye kayda geçirildi. Yazar matematiğin sorumluluğunu üstleniyor.

Çıkar çatışması. Makale, şekilleri Anthropic’in geliştirdiği Claude Opus 5.5’in yaptığını ve anlatıma yardım ettiğini belirtiyor. Bu makaleyi Claude yazıyor.