Khát vọng phân loại thế giới của các nhà toán học và những cuốn sách cuối cùng

Khát vọng tối thượng: Viết nên “cuốn sách cuối cùng” của toán học

Vì sao các nhà toán học lại say mê việc phân loại đến vậy? Alex Wright từng chia sẻ một góc nhìn sâu sắc: phân loại giống như công trình dứt điểm cho mọi thời đại, tựa như viết cuốn sách cuối cùng để sau này không ai phải viết thêm cuốn sách nào khác về chủ đề đó nữa. Dĩ nhiên, các công trình vĩnh cửu như vậy đòi hỏi nhiều thời gian. Nỗ lực phân loại các “nhóm đơn hữu hạn” (finite simple groups) – thành tựu vĩ đại của toán học thế kỷ 20 – đã lấy đi hơn 50 năm miệt mài. So với cột mốc ấy, dự án phân loại các bao đóng quỹ đạo và hình dạng tối ưu mới chỉ là những chương đầu của một hành trình lớn.

Khao khát phân loại bắt rễ từ chính bản năng con người. Chúng ta từng tranh cãi bóng chày có thực sự là môn thể thao hay không, trong khi bowling lại nằm ở một ranh giới khác. Song trước khi sắp xếp, ta cần làm rõ từng danh mục – và việc vạch ranh giới luôn là phần khó khăn nhất trong mọi hành trình tìm kiếm tri thức. Với các nhà toán học, bản năng này càng mạnh mẽ: công việc chính của họ là phân loại và sắp xếp các cấu trúc của vũ trụ.

Dấu ấn Hy Lạp cổ đại: Từ vô tận quy về năm khối Platonic

Sự thôi thúc này xuất hiện từ thời Hy Lạp cổ đại, khi các học giả nhận ra một sự thật kinh ngạc: dù tưởng như có vô số vật thể rắn với các mặt giống hệt nhau (đa diện đều), thực tế chỉ có đúng 5 khối tồn tại. Đó là các khối Platonic huyền thoại: tứ diện (tetrahedron), lập phương (cube), bát diện (octahedron), mười hai mặt đều (dodecahedron) và hai mươi mặt đều (icosahedron). Giới hạn một vũ trụ hình học vô tận vào đúng 5 khối cụ thể chính là thành tựu phân loại vĩ đại đầu tiên của nhân loại.

Trật tự giữa hỗn loạn: Đột phá chấn động từ Maryam Mirzakhani

Trước đây, không ai biết việc phân loại động lực học có khả thi hay không. Người ta từng e ngại các bao đóng quỹ đạo giống như những bông tuyết riêng lẻ – hoàn toàn ngẫu nhiên và thách thức mọi cố gắng tìm kiếm quy luật chung.

Thế nhưng trong thập kỷ qua, Alex Eskin, Amir Mohammadi cùng Maryam Mirzakhani (nữ toán học gia đầu tiên đoạt huy chương Fields) đã chứng minh một định lý chấn động: các bao đóng quỹ đạo luôn là các “đa tạp” (manifolds). Kết quả này khẳng định chúng ngăn nắp, có trật tự và hoàn toàn phân loại được. Khi ấy, giới toán học đã biết ít nhất hai loại bao đóng quỹ đạo: trù mật (dense) và đóng (closed). Mirzakhani cùng cộng sự tin rằng không còn quá nhiều loại khác nữa.

Bàn bi-a toán học và không gian Moduli trừu tượng

Một dự án phân loại đầy tham vọng khác gắn với bài toán bàn bi-a: tìm kiếm các đa giác có “động lực học tối ưu” (optimal dynamics). Đặc tính này cho phép phân tích trọn vẹn mọi con đường bóng bi-a có thể đi khi nảy trong lòng đa giác.

Để nghiên cứu một đa giác, các nhà toán học không quan sát nó đơn thuần trên mặt phẳng mà biến đổi thành một điểm trong cấu trúc trừu tượng gọi là “không gian moduli” (moduli space). Tại đây, họ theo dõi hành vi của điểm đó thông qua “bao đóng quỹ đạo” (orbit closure). Vì nhiều lý do sâu xa, các nhà toán học khao khát phân loại toàn bộ các dạng bao đóng quỹ đạo này.

Manh mối của Alex Wright và ba loại bao đóng quỹ đạo

Trong quá trình cố gắng chứng minh không còn loại bao đóng quỹ đạo nào khác, Alex Wright đã tình cờ phát hiện manh mối về hai tứ giác mới có động lực học tối ưu. Cả hai đều mang hình cánh diều (giống mũi tên) với tỷ lệ góc là 1:1:1:9 và 1:1:2:8. Đây là những hình dạng tối ưu đầu tiên được tìm ra sau một thập kỷ, là kết quả từ nỗ lực phân loại có hệ thống.

Đặc biệt, tứ giác tỷ lệ góc 1:1:1:9 liên kết với một loại bao đóng quỹ đạo hoàn toàn mới gọi là “hoàn toàn trắc địa” (totally geodesic). Nhờ đó, hiện chúng ta biết chắc chắn có ít nhất ba loại bao đóng quỹ đạo:

• Quỹ đạo đóng ($Closed$ $orbits$)
• Quỹ đạo trù mật ($Dense$ $orbits$)
• Quỹ đạo hoàn toàn trắc địa ($Totally$ $geodesic$ $orbits$)

Liệu còn bao nhiêu loại nữa vẫn là câu hỏi mở, nhưng phát hiện này tựa như việc tìm thấy một thỏi vàng trên núi, thôi thúc giới toán học tiếp tục lật tung cả ngọn núi để kiếm tìm thêm.

Góc nhìn thực tế: Khi hình học soi rọi thế giới vật lý

Dù bắt nguồn từ những suy nghiệm trừu tượng, bài toán bàn bi-a toán học và không gian moduli mang giá trị ứng dụng thực tiễn to lớn. Mô hình phản xạ trong đa giác giúp mô phỏng sự tán xạ sóng âm trong kiến trúc thính phòng, đường truyền ánh sáng trong sợi quang học và sự vận động của chùm tia laser trong buồng cộng hưởng. Hơn thế, việc phân loại quỹ đạo còn cung cấp nền tảng quan trọng cho lý thuyết hỗn loạn và cơ học thống kê, giúp các nhà vật lý dự đoán chính xác hơn hành vi của các hệ thống phức tạp trong tự nhiên.

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