Khám phá điểm tan chảy của đồ thị vô hạn qua góc nhìn cận cảnh

Giả thuyết địa phương Schramm: Nhìn thấu mạng lưới vô hạn từ một góc vi mô

Năm 2008, nhà toán học Oded Schramm trước khi qua đời trong một tai nạn leo núi đã đề xuất một phỏng đoán táo bạo: đối với lớp đồ thị bắc cầu (transitive graphs), ngưỡng chuyển pha của toàn bộ mạng lưới vô hạn hoàn toàn có thể được tiên đoán chính xác chỉ bằng việc quan sát một góc vi mô cục bộ. Đồ thị bắc cầu sở hữu tính đối xứng hình học tuyệt đối, nơi mọi đỉnh đều có vai trò tương đương và luôn tồn tại phép đối xứng biến đỉnh này thành đỉnh kia. Nhờ tính đối xứng hoàn hảo đó, khi phóng to vào bất kỳ vùng nào có cùng quy mô kích thước, cấu trúc xung quanh đều hoàn toàn đồng nhất.

Trực giác của Schramm được truyền cảm hứng từ nghiên cứu năm 1990 của Geoffrey Grimmett và John Marstrand. Khi tìm hiểu lý thuyết thấm trên các “tấm” (slabs)—những lưới vuông xếp chồng với số lớp hữu hạn—hai tác giả đã chứng minh rằng khi số lớp tăng dần, ngưỡng tới hạn của các tấm sẽ tiệm cận đến ngưỡng của lưới ba chiều vô hạn. Schramm tin rằng nguyên lý này đúng cho toàn thể đồ thị bắc cầu. Sau hơn 15 năm thách thức giới toán học, hai nhà nghiên cứu tại Viện Công nghệ California (Caltech) là Tom Hutchcroft và Philip Easo đã chứng minh trọn vẹn giả thuyết địa phương Schramm, đưa nó trở thành một định lý toán học vững chắc.

Từ chuyển động của chất lưu đến mô hình thấm ngẫu nhiên trên đồ thị

Khái niệm “thấm” (percolation) khởi nguồn từ địa chất và vật lý, mô tả chuyển động của chất lưu qua môi trường xốp rỗng—chẳng hạn như dòng nước nóng thẩm thấu qua bột cà phê hay các vỉa dầu ngấm qua khe nứt trong lòng đất. Đến năm 1957, Simon Ralph Broadbent cùng John Michael Hammersley đã thiết lập nền móng toán học cho hiện tượng này, biến nó thành một đối tượng nghiên cứu độc lập đầy lôi cuốn.

Mô hình thấm thu hút các nhà toán học bởi sự kết hợp giữa thiết lập ban đầu giản dị và cấu trúc nội tại sâu sắc. Hãy hình dung một lưới vuông hai chiều mở rộng vô tận về mọi hướng, ban đầu chỉ gồm các đỉnh cô lập khi toàn bộ cạnh đã bị xóa bỏ. Tại mỗi vị trí có thể nối cạnh, ta gieo một đồng xu: nếu xuất hiện mặt ngửa với xác suất $p$, một cạnh nối sẽ được hình thành; nếu rơi vào mặt sấp, vị trí đó bị bỏ trống. Quá trình ngẫu nhiên này tạo nên một đồ thị gồm các cụm nút liên kết xen lẫn các đỉnh cô lập.

Khi ta điều chỉnh xác suất $p$ giống như vặn một chiếc núm từ 0 đến 1, khả năng kết nối giữa các nút sẽ biến đổi. Ban đầu, khi $p$ còn rất nhỏ, ta chỉ thu được những cụm liên kết hữu hạn rời rạc.

Tuy nhiên, trên đồ thị vô hạn, điều kỳ diệu sẽ xảy ra khi ta xoay núm vặn: xác suất xuất hiện một cụm vô hạn không hề tăng dần từ từ. Thay vào đó, tồn tại một giá trị tới hạn chính xác $p_c$ được gọi là ngưỡng thấm (percolation threshold). Với lưới vuông hai chiều, điểm tới hạn này xuất hiện khi đồng xu có xác suất cân bằng $p = 0.5$. Quy luật chuyển đổi diễn ra dứt khoát đến kinh ngạc:

• Khi $p < p_c$: Xác suất xuất hiện một cụm liên kết vô hạn bằng đúng 0%.
• Khi $p > p_c$: Xác suất tìm thấy cụm vô hạn lập tức nhảy vọt lên 100%.

Bước nhảy đột ngột này chính là hiện tượng chuyển pha trong toán học, tương tự khoảnh khắc băng tan thành nước ở $0^\circ\text{C}$ hay nước sôi bốc hơi khi chạm ngưỡng nhiệt độ nhất định.

Thách thức muôn màu từ tốc độ mở rộng của các họ đồ thị

Nguyên nhân chính khiến giả thuyết địa phương của Schramm thách thức giới toán học suốt một thập kỷ rưỡi nằm ở sự đa dạng về tốc độ tăng trưởng của các đồ thị bắc cầu:

• Nhóm tăng trưởng chậm (như lưới vuông 2D): Số lượng đỉnh nằm trong bán kính $n$ phát triển theo hàm đa thức $n^2$. Chẳng hạn, sau 10 bước quan sát, ta chỉ thấy khoảng 100 đỉnh.
• Nhóm tăng trưởng nhanh (như cây 3-chính quy): Số đỉnh bùng nổ theo hàm mũ $2^n$, khiến sau 10 bước quan sát thì số đỉnh đã lên tới khoảng 1024.
• Nhóm tăng trưởng trung gian và biến thiên: Những đồ thị có tốc độ mở rộng thay đổi thất thường theo từng quy mô độ dài khác nhau.

Hành trình giải mã bức tường này đã diễn ra từng chặng. Năm 2018, Hutchcroft đã giải quyết trọn vẹn nhóm đồ thị tăng trưởng nhanh. Đến năm 2021, nhóm nghiên cứu tại Paris và Zurich tiếp tục giải quyết nhóm tăng trưởng chậm nhờ sự hỗ trợ của Lý thuyết Nhóm (Group Theory). Dẫu vậy, khoảng trống của các đồ thị tăng trưởng trung gian hoặc thay đổi tốc độ thất thường vẫn là một pháo đài bất khả xâm phạm.

Nghệ thuật phóng đại ống kính và đòn quyết định năm 2023

Để chứng minh giả thuyết Schramm, Tom Hutchcroft và Philip Easo tại Caltech cần khẳng định rằng hình ảnh vi mô phản ánh chính xác trạng thái thấm toàn cục: chỉ cần một vùng quan sát cục bộ xuất hiện cụm liên kết đủ lớn, ta có thể kết luận chắc chắn toàn bộ đồ thị đã vượt qua ngưỡng thấm. Bộ đôi đã cụ thể hóa ý tưởng này bằng phương pháp “mở rộng ống kính” theo từng nấc:

1. Bắt đầu tại một đỉnh trung tâm duy nhất làm mốc.
2. Mở rộng tầm quan sát tới tất cả các đỉnh cách đỉnh ban đầu 1 cạnh, 2 cạnh, 3 cạnh,…, cho đến $n$ cạnh.
3. Theo dõi sự phát triển của cụm liên kết khi tăng nhẹ xác suất xuất hiện các cạnh nối.

Easo và Hutchcroft đã chứng minh thành công một phát hiện then chốt: các cụm liên kết lớn phát triển nhanh hơn hẳn các cụm nhỏ. Philip Easo đã hình tượng hóa: “Cụm của bạn sẽ phát triển ngày càng nhanh khi nó càng lớn hơn, giống như khi bạn đang lăn một hòn tuyết vậy.”

Đòn quyết định được đưa ra trong hai công trình công bố vào tháng 8 và tháng 10 năm 2023. Easo và Hutchcroft đã điều chỉnh kỹ thuật hòn tuyết lăn để áp dụng cho các đồ thị có tốc độ tăng trưởng biến thiên, đồng thời sáng tạo một lập luận hoàn toàn mới dựa trên lý thuyết bước đi ngẫu nhiên (random walks) để xử lý dứt điểm trường hợp tăng trưởng trung gian. Sự kết hợp đỉnh cao giữa lý thuyết xác suất, lý thuyết nhóm và hình học đồ thị đã lấp đầy mọi khoảng trống, đưa giả thuyết Schramm chính thức trở thành định lý.

Góc nhìn thực tế về hiện tượng chuyển pha và dấu ấn tại ngưỡng tới hạn

Ngưỡng thấm và hiện tượng chuyển pha không chỉ là lý thuyết trừu tượng trên trang giấy. Trong thực tế, mô hình này giải mã nhiều hiện tượng tự nhiên và đời sống: từ sự lây lan của dịch bệnh truyền nhiễm trong cộng đồng khi tần suất tiếp xúc vượt qua mức nhạy cảm, nguy cơ sụp đổ dây chuyền của lưới điện quốc gia trước sự cố cục bộ, cho đến sự bùng nổ của thông tin và trào lưu trên mạng xã hội. Ở khắp mọi nơi, một biến đổi nhỏ ở cấp độ vi mô của từng mắt xích đều có thể kích hoạt bước nhảy vọt làm thay đổi toàn bộ cục diện của một hệ thống vĩ mô.

Thành tựu của Philip Easo và Tom Hutchcroft không chỉ khép lại một câu hỏi kéo dài hàng thập kỷ mà còn mở ra cánh cửa mới giúp các nhà toán học thấu hiểu sâu sắc hơn về hành vi của màng mạng lưới ngay tại điểm tới hạn $p = p_c$—một trong những bài toán trung tâm đẹp đẽ và thách thức nhất của lý thuyết xác suất hiện đại.

Bài viết tham khảo Quanta Magazine (quantamagazine.org).