MỘT ĐỐNG CÁT PHẲNG KHÔNG THỂ LỞ MÃI MÃI

Hãy lấy một lưới ô vuông. Mỗi ô chứa một ít hạt cát. Khi một ô đạt bốn hạt — mỗi láng giềng một hạt — nó đổ sụp: nó gửi một hạt sang mỗi ô trong bốn ô láng giềng. Những láng giềng đó giờ có thể có bốn hạt và lần lượt đổ sụp, cứ thế tiếp diễn. Thêm một hạt duy nhất có thể kích hoạt một phản ứng dây chuyền: một trận lở.

Đây là mô hình đống cát abel (abelian sandpile model). Bak, Tang và Wiesenfeld đưa ra mô hình này năm 1987 như một ví dụ về tính tới hạn tự tổ chức: trong các mô phỏng của họ, kích thước các trận lở tuân theo một luật lũy thừa, trận nhỏ thường gặp còn trận khổng lồ hiếm hoi, mà không ai phải điều chỉnh tham số nào. Kể từ đó, nó đã cuốn hút các nhà vật lý và toán học.

Vô hạn tính theo trung bình

Hãy hình dung lưới trải dài vô tận, với các hạt cát được thêm vào ngẫu nhiên cho đến khi đống cát ổn định ở trạng thái điển hình, “dừng” của nó. Rồi thêm một hạt nữa vào chính giữa. Trận lở lan xa đến đâu?

Một công thức năm 1990 của Dhar liên hệ số lần đổ sụp trung bình với tần suất một bước ngẫu nhiên (random walk) — một điểm nhảy sang một láng giềng ngẫu nhiên ở mỗi bước — quay về nơi xuất phát:

• Trong ba chiều trở lên, một bước ngẫu nhiên có xu hướng đi lạc mãi mãi, nên giá trị trung bình là hữu hạn. Năm 2008, Járai và Redig đã dùng điều này để chứng minh rằng các trận lở luôn dừng lại.
• Trong hai chiều, một bước ngẫu nhiên cứ quay lại mãi. Số lần đổ sụp trung bình tại ô xuất phát là vô hạn, và tầm với trung bình của một trận lở cũng vậy.

Vô hạn tính theo trung bình không nhất thiết có nghĩa là vô hạn trong thực tế: những trận lở khổng lồ, hiếm hoi có thể làm giá trị trung bình bùng nổ trong khi gần như mọi trận lở vẫn hữu hạn. Liệu điều đó có đúng trong hai chiều hay không vẫn là câu hỏi mở từ năm 2004. Các chuyên gia đã gọi nó là “một câu hỏi mở quan trọng” và liệt kê lại vào năm 2014 và 2018.

Câu trả lời: chúng dừng lại

Ahmed Bou-Rabee chứng minh rằng, trong hai chiều, trận lở hầu như chắc chắn dừng lại. Ông cũng đưa ra một tốc độ: xác suất để nó vươn xa quá khoảng cách R tối đa là

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

với một số hằng số dương cố định a và C. Đó là một lũy thừa âm của lôgarit của R — một sự suy giảm rất chậm, nhưng đi đến tận số không. Các lập luận về quy luật tỉ lệ của các nhà vật lý dự đoán sự suy giảm nhanh hơn nhiều; kết quả này yếu hơn, nhưng đã được chứng minh.

Đọc ngược trận lở

Một trận lở có thể được cắt thành các đợt sóng: cho ô xuất phát đổ sụp một lần, để mọi thứ khác ổn định, và lặp lại khi ô xuất phát vẫn còn quá tải. Trong hai chiều, số đợt sóng kỳ vọng tự nó cũng là vô hạn, điều đã làm hỏng các nỗ lực trước đây.

Chứng minh mới né tránh việc đếm:

• Nó lần ngược từng trận lở, từ đợt sóng cuối cùng về đợt sóng đầu tiên, và chỉ đếm những đợt sóng mà một trận lở rất lớn buộc phải chứa.
• Nó chuyển câu hỏi thành một câu hỏi về cây khung đều (uniform spanning tree) — một mạng lưới ngẫu nhiên các đường đi nối mọi ô của lưới mà không bao giờ tạo thành vòng. Một phép tương ứng kinh điển liên kết các đống cát đã ổn định với những cây như vậy.
• Rồi nó chỉ ra, qua từng thang bậc, rằng một số lượng kết nối nhất định trong cây này khó có khả năng nhỏ. Các công cụ bao gồm mạng điện — hình dung mỗi cạnh của lưới là một điện trở một ôm — và một kết quả cũ từ năm 1940 biến các dòng điện thành một cách lát hình chữ nhật bằng các hình vuông.

Một bản hình thức hóa chứng minh trên máy tính bằng trợ lý chứng minh Lean 4 được duy trì song song với bài báo; bài báo không nói rằng nó đã hoàn chỉnh.

Được xây dựng cùng AI

Bài báo mô tả chi tiết cách nó được tạo ra. Các kết quả được phát triển từ cuối tháng 5 đến đầu tháng 10 năm 2026 với GPT-5.5 và các mô hình thuộc họ GPT-6: tác giả định hướng công việc, còn các mô hình đề xuất ý tưởng và song ánh, kiểm tra chúng bằng cách liệt kê mọi đống cát trong các hộp nhỏ, thử chứng minh và tìm phản ví dụ. Các tác tử AI riêng biệt theo đuổi những ý tưởng cạnh tranh và kiểm tra các chứng minh được đề xuất, và mọi hướng tiếp cận thất bại đều được ghi lại để không bị lặp lại. Tác giả chịu trách nhiệm về phần toán học.

Xung đột lợi ích. Bài báo cho biết Claude Opus 5.5, do Anthropic phát triển, đã tạo các hình và giúp phần trình bày. Bài viết này do Claude viết.