TUMPUKAN PASIR DATAR TAK BISA LONGSOR SELAMANYA

Ambil sebuah kisi persegi. Setiap persegi menampung sejumlah butir pasir. Ketika sebuah persegi mencapai empat butir — satu untuk setiap tetangga —, persegi itu runtuh: mengirim satu butir ke masing-masing dari empat tetangganya. Tetangga-tetangga itu kini mungkin berisi empat butir dan ikut runtuh, dan seterusnya. Menambahkan satu butir saja bisa memicu reaksi berantai: sebuah longsoran.

Inilah model tumpukan pasir abelian. Bak, Tang, dan Wiesenfeld memperkenalkannya pada 1987 sebagai contoh kekritisan swaorganisasi (self-organised criticality): dalam simulasi mereka, ukuran longsoran mengikuti hukum pangkat, yang kecil sering terjadi dan yang raksasa jarang, tanpa ada yang menyetel parameter apa pun. Sejak itu model ini memikat fisikawan dan matematikawan.

Tak berhingga secara rata-rata

Bayangkan kisi itu membentang tanpa akhir, dengan butir pasir ditambahkan secara acak hingga tumpukan mencapai keadaan khasnya yang “stasioner”. Lalu tambahkan satu butir lagi di tengah. Seberapa jauh longsorannya menjalar?

Sebuah rumus dari tahun 1990 karya Dhar mengaitkan rata-rata jumlah runtuhan dengan seberapa sering sebuah jalan acak (random walk) — titik yang melompat ke tetangga acak di setiap langkah — kembali ke titik awalnya:

Dalam tiga dimensi atau lebih, jalan acak cenderung mengembara pergi untuk selamanya, sehingga rata-ratanya terhingga. Pada 2008, Járai dan Redig memakai hal ini untuk membuktikan bahwa longsoran selalu berhenti.
Dalam dua dimensi, jalan acak terus kembali. Rata-rata jumlah runtuhan di persegi awal tak berhingga, demikian pula rata-rata jangkauan sebuah longsoran.

Tak berhingga secara rata-rata tidak berarti tak berhingga dalam kenyataan: longsoran raksasa yang langka bisa membuat rata-ratanya meledak, sementara hampir setiap longsoran tetap terhingga. Apakah itu yang terjadi dalam dua dimensi masih menjadi pertanyaan terbuka sejak 2004. Para spesialis menyebutnya “pertanyaan terbuka yang penting” dan mencantumkannya lagi pada 2014 dan 2018.

Jawabannya: longsoran berhenti

Ahmed Bou-Rabee membuktikan bahwa dalam dua dimensi, longsoran hampir pasti berhenti. Ia juga memberikan sebuah laju: peluang longsoran menjangkau lebih jauh dari jarak R paling besar

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

untuk konstanta positif tetap a dan C tertentu. Itu adalah pangkat negatif dari logaritma R — penurunan yang sangat lambat, tetapi sampai ke nol. Argumen penskalaan para fisikawan memprediksi peluruhan yang jauh lebih cepat; hasil ini lebih lemah, tetapi sudah terbukti.

Membaca longsoran dari belakang

Sebuah longsoran bisa dipotong menjadi gelombang-gelombang: runtuhkan persegi awal sekali, biarkan semua yang lain tenang, lalu ulangi selama persegi awal masih kelebihan muatan. Dalam dua dimensi, jumlah gelombang yang diharapkan pun tak berhingga, dan hal inilah yang menggagalkan upaya-upaya sebelumnya.

Bukti baru ini menghindari hitungan itu:

Bukti ini menelusuri setiap longsoran dari belakang, dari gelombang terakhir hingga gelombang pertama, dan hanya menghitung gelombang-gelombang yang wajib dimiliki oleh longsoran yang sangat besar.
Bukti ini menerjemahkan pertanyaannya menjadi pertanyaan tentang pohon perentang seragam (uniform spanning tree) — jaringan acak lintasan yang menghubungkan setiap persegi kisi tanpa pernah membentuk simpul tertutup. Sebuah korespondensi klasik mengaitkan tumpukan pasir yang sudah tenang dengan pohon-pohon semacam itu.
Bukti ini lalu menunjukkan, skala demi skala, bahwa sejumlah sambungan tertentu dalam pohon itu kecil kemungkinannya bernilai kecil. Alat-alatnya mencakup jaringan listrik — membayangkan setiap sisi kisi sebagai resistor satu ohm — dan sebuah hasil lama dari tahun 1940 yang mengubah arus listrik menjadi pengubinan persegi panjang oleh persegi-persegi.

Formalisasi komputer atas bukti ini dalam asisten pembuktian Lean 4 dikelola berdampingan dengan makalahnya; makalah itu tidak menyatakan bahwa formalisasi tersebut sudah lengkap.

Dibangun bersama AI

Makalah ini menjelaskan secara rinci bagaimana bukti itu dibuat. Hasil-hasilnya dikembangkan dari akhir Mei hingga awal Oktober 2026 bersama GPT-5.5 dan model-model keluarga GPT-6: penulis mengarahkan pekerjaan, sementara model-model itu mengusulkan gagasan dan bijeksi, mengujinya dengan menghitung semua tumpukan pasir dalam kotak-kotak kecil, mencoba membuktikan, dan menemukan contoh penyangkal. Agen-agen AI terpisah mengejar gagasan-gagasan yang saling bersaing dan memeriksa bukti yang diajukan, dan setiap pendekatan yang gagal dicatat agar tidak diulang. Penulis bertanggung jawab atas matematikanya.

Konflik kepentingan. Makalah ini menyatakan bahwa Claude Opus 5.5, buatan Anthropic, membuat gambar-gambarnya dan membantu penyajian tulisannya. Artikel ini ditulis oleh Claude.