Hành trình chinh phục những bề mặt toán học siêu kết nối sau bốn thập kỷ tìm kiếm

Hành trình gần bốn thập kỷ chinh phục các bề mặt toán học siêu kết nối

Bạn đã bao giờ thử hình dung một vật thể không gian hai chiều sở hữu hàng nghìn chiếc lỗ đan cài chồng chéo lên nhau một cách hỗn loạn? Trong bức tranh trừu tượng của hình học vi phân và tô pô học, những cấu trúc phức tạp như vậy không chỉ tồn tại mà còn ẩn chứa những câu hỏi thách thức các bộ óc kiệt xuất nhất. Suốt nhiều thập kỷ, giới toán học đã không ngừng tìm kiếm những bề mặt đặc biệt — những thực thể chạm đến giới hạn tột cùng của sự kết nối không gian. Từng có thời kỳ, sự tồn tại của chúng là một bài toán mở lớn khiến giới chuyên môn phải hoài nghi chính trực giác hình học của mình.

Tháng 7 năm ngoái, bước ngoặt lịch sử đã xuất hiện khi Will Hide và Michael Magee tại Đại học Durham xác nhận sự tồn tại của một dãy bề mặt ngày càng phức tạp đạt độ kết nối gần như tối đa mà toán học cho phép. Khám phá này không chỉ khép lại giả thuyết kéo dài từ thập niên 1980 của nhà hình học Peter Buser, mà còn mở ra chương mới trong việc tìm hiểu cách các bề mặt biểu hiện trong không gian đa chiều thông qua mối giao thoa giữa lý thuyết đồ thị, khoảng phổ và hình học ngẫu nhiên.

Đồ thị bành trướng và khoảng phổ: Thước đo vàng của sự liên kết

Để giải mã cấu trúc các bề mặt này, Hide và Magee đã mượn ý tưởng từ một lĩnh vực toán học khác: lý thuyết đồ thị — mạng lưới gồm các điểm nút được kết nối bởi các đường cạnh. Từ năm 1967, nhà toán học lỗi lạc Andrey Kolmogorov đã nghiên cứu các mạng lưới mà việc kết nối giữa hai nút luôn đi kèm chi phí, mở đường cho khái niệm “đồ thị bành trướng” (expander graph): loại đồ thị duy trì số cạnh ở mức tối thiểu nhưng bảo đảm khả năng kết nối cực cao giữa mọi nút mạng.

Đồ thị bành trướng tựa như một hệ thống xa lộ được quy hoạch hoàn hảo; bạn có thể di chuyển từ bất kỳ điểm nào tới điểm khác nhanh chóng mà không cần phủ kín toàn bộ mặt đất bằng đường nhựa. Trong toán học, người ta thường giới hạn số cạnh phát ra từ mỗi nút (ví dụ mỗi nút chỉ có tối đa 3 cạnh), tương tự việc hạn chế quá nhiều đường cao tốc cắt ngang qua thị trấn. Kỳ lạ thay, nếu máy tính chọn ngẫu nhiên các liên kết, hầu hết đều trở thành những đồ thị bành trướng xuất sắc; nhưng con người lại bất lực khi cố gắng tự tay vẽ ra một đồ thị bành trướng cụ thể.

Độ kết nối bền vững được lượng hóa bằng con số gọi là “khoảng phổ” (spectral gap). Trong một bước đi ngẫu nhiên trên đồ thị, nếu hai cụm mạng tách biệt chỉ nối nhau bằng một cạnh duy nhất, kẻ lang thang ngẫu nhiên sẽ mất rất nhiều thời gian để vô tình bước qua cạnh hẹp đó sang nửa kia; khoảng phổ khi này sẽ tiệm cận về 0. Đồ thị càng kết nối chặt chẽ và đa chiều, khoảng phổ càng lớn. Tuy nhiên, khoảng phổ không thể tăng lên vô hạn. Năm 1988, Gregory Margulis cùng Peter Sarnak và các cộng sự đã mô tả các “đồ thị bành trướng tối ưu” đạt trần lý thuyết, đòi hỏi những kỹ thuật tinh vi từ lý thuyết số và xác suất.

Từ nhát cắt Cheeger đến giả thuyết kinh điển của Peter Buser

Vào những năm 1970, Peter Buser, một nhà hình học người Thụy Sĩ, bắt đầu áp dụng tư duy từ đồ thị vào việc nghiên cứu các bề mặt nhiều lỗ. Ông tự hỏi liệu các bề mặt hình học có thể đạt trạng thái “siêu kết nối” tương tự như đồ thị bành trướng hay không. Độ kết nối của một bề mặt có thể được ước tính bằng cách thử cắt đôi nó: nếu bạn phải rạch một đường cắt rất dài mới có thể chia bề mặt thành hai phần diện tích tương đương, bề mặt đó có tính liên kết vô cùng vững chắc.

Năm 1969, Jeff Cheeger chứng minh rằng khoảng phổ trên bề mặt có mối liên hệ mật thiết với việc khó hay dễ khi cắt đôi bề mặt đó (hằng số Cheeger). Buser sau đó đã củng cố kết quả này, biến khoảng phổ thành thước đo hữu hiệu cho sự kết nối hình học. Ban đầu, Buser cho rằng khoảng phổ chắc chắn sẽ suy giảm dần về 0 khi số giống của các bề mặt hyperbolic (loại bề mặt có độ cong âm đặc biệt) tăng lên, nhưng đồ thị bành trướng khiến ông nhận ra linh cảm ban đầu của mình đã nhầm lẫn.

Năm 1974, người thầy của Buser đã tìm ra trần giới hạn lý thuyết cho khoảng phổ trên một bề mặt: nó nằm ngay trên mức 1/4 (càng nhiều lỗ, giới hạn càng hạ thấp). Buser khao khát tìm hiểu liệu có bề mặt thực sự nào chạm được ranh giới này không. Đến năm 1984, ông chứng minh được một số bề mặt có khoảng phổ ít nhất 3/16 và đưa ra giả thuyết rằng con số này hoàn toàn có thể được nâng lên tới mức 1/4.

Khi số giống bùng nổ: Giới hạn của trực giác không gian

Khái niệm bề mặt bao gồm mọi đối tượng hai chiều quen thuộc: vỏ quả cầu, chiếc bánh donut (vòng xuyến), hình trụ hay dải Möbius kỳ lạ. Chúng là thành phần cấu trúc thiết yếu trong cả toán học thuần túy lẫn vật lý hiện đại. Dù đã nghiên cứu suốt hàng thế kỷ, con người vẫn chưa thực sự hiểu hết về chúng khi độ phức tạp tăng cao.

Những bề mặt đơn giản có ít lỗ, hay có “số giống” (genus) thấp thì không gây quá nhiều khó khăn cho trực giác: một quả cầu không có lỗ nào nên có $genus = 0$, còn chiếc bánh donut có đúng một lỗ nên có $genus = 1$.

Thế nhưng, khi số giống bùng nổ lên rất cao, trực giác không gian của chúng ta bắt đầu sụp đổ hoàn toàn. Alex Wright, nhà toán học tại Đại học Michigan, chia sẻ rằng khi cố hình dung bề mặt có số giống cao, tâm trí ông thường chỉ hiện ra các lỗ xếp ngay ngắn thành hàng hoặc uốn cong thành vòng tròn. Thực tế trên các bề mặt hyperbolic số giống cao, các lỗ lồng ghép và đan xen vô cùng hỗn độn. Mọi sự mô phỏng đơn giản hóa quen thuộc đều không thể đại diện cho thực tế khắc nghiệt của chúng.

Bước ngoặt bất ngờ từ những bề mặt vô hạn có mũi nhọn

Dự án của Hide và Magee ban đầu không hề nhắm tới con số 1/4 đầy tham vọng. Khi Hide bắt đầu làm nghiên cứu sinh dưới sự hướng dẫn của Magee vào năm 2020 tại Đại học Durham, Magee chỉ giao anh thử tái hiện một kết quả gần đây của Magee nhưng áp dụng cho một tình huống hình học mới.

Trước đó, Magee cùng Frédéric Naud và Doron Puder đã phát hiện nhiều bề mặt “compact” (kích thước hữu hạn, không có đường ranh giới, như quả cầu hay bánh donut) có khoảng phổ tiến gần 3/16. Họ luôn mơ ước đẩy lên 1/4, nhưng con đường phía trước vẫn mù mịt như năm 1984.

Magee gợi ý Hide nghiên cứu loại bề mặt đặc biệt có các “mũi nhọn” (cusps) dài và mảnh vươn ra vô tận nhưng diện tích vẫn hữu hạn (bề mặt diện tích hữu hạn không compact). Họ thử áp dụng các chiến lược ngẫu nhiên — phương pháp mạnh mẽ để hiểu tính chất điển hình bằng cách loại bỏ các cấu hình xấu thông qua xác suất.

Sau nhiều tháng bế tắc và suýt bỏ cuộc, tháng 6 năm 2021, Frédéric Naud gợi ý một kỹ thuật năm 1988 của Buser giúp biến đổi một bề mặt diện tích hữu hạn thành một bề mặt compact. Đột nhiên, nếu chứng minh được giới hạn 1/4 cho bề mặt có mũi nhọn, họ sẽ đồng thời giải quyết được bài toán cho cả bề mặt compact. Với nỗ lực vượt bậc, Hide và Magee đã tìm ra dãy bề mặt diện tích hữu hạn có khoảng phổ tiến sát 1/4, khép lại câu hỏi mở kéo dài suốt 38 năm.

Những bí ẩn còn bỏ ngỏ và chân trời tương lai

Dù Hide và Magee đã giải quyết bài toán lớn, toán học vẫn còn những chân trời mới đang vẫy gọi. Câu hỏi quan trọng là liệu có tồn tại bề mặt số giống cao mà khoảng phổ đạt đúng chuẩn xác giá trị tối đa 1/4, chứ không chỉ dừng lại ở việc tiến gần sát nó. Ngoài ra, kỹ thuật của họ hiện tại mới chỉ áp dụng cho một loại bề mặt cụ thể.

Vẫn còn đó mô hình Weil-Petersson cho toàn bộ không gian bề mặt hyperbolic mà nhà toán học lừng danh quá cố Maryam Mirzakhani từng nghiên cứu, hiện vẫn kẹt ở mốc 3/16. Tuy nhiên, bước tiến của Hide và Magee chứng minh trực giác con người đôi khi chỉ là bức màn che giấu sự thật toán học huy hoàng. Như nhà toán học Hugo Parlier nhận định, chúng ta nên kinh ngạc vì mình có thể nói được bất cứ điều gì chính xác đến thế về các đối tượng vốn dĩ cực kỳ khó nắm bắt này.

Góc nhìn liên hệ: Từ tô pô thuần túy đến hạ tầng số và công nghệ lượng tử

Khám phá về đồ thị bành trướng và bề mặt siêu kết nối không chỉ mang ý nghĩa lý thuyết thuần túy mà còn liên hệ mật thiết với bức tranh công nghệ đương đại. Trong khoa học máy tính, nguyên lý bành trướng là hạt nhân để thiết kế mạng truyền thông phân tán chịu lỗi cao, các thuật toán định tuyến internet chống nghẽn mạch và hệ thống lưu trữ phân tán tối ưu tài nguyên.

Đặc biệt trong điện toán lượng tử, cấu trúc tô pô của các bề mặt có khoảng phổ lớn đang được ứng dụng trực tiếp vào việc thiết kế mã sửa lỗi lượng tử (tiêu biểu như mã bề mặt), giúp che chắn và bảo vệ các qubit mỏng manh khỏi hiện tượng mất kết quán do nhiễu môi trường. Thành tựu của Hide và Magee là minh chứng cho thấy những hành trình khám phá trừu tượng nhất về không gian và khoảng phổ lại chính là bệ phóng kiến tạo các công nghệ đột phá trong tương lai.

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