Từ một giả thuyết 2013 đến bước ngoặt của toán học Việt Nam
Giả thuyết Courtade-Kumar là một bài toán mở ở giao điểm giữa lý thuyết thông tin, giải tích hàm Boolean và khoa học máy tính lý thuyết, đặt câu hỏi đâu là cách xử lý dãy bit đầu vào để giữ lại nhiều thông tin nhất khi truyền qua kênh nhiễu, và được xem là một trong những bài toán mở quan trọng nhất của lý thuyết thông tin. Chính việc hai nhà toán học Việt Nam công bố chứng minh hoàn chỉnh cho giả thuyết này không chỉ giải quyết một thách thức hơn một thập kỷ mà còn thay đổi vị thế của toán học Việt trong bản đồ nghiên cứu quốc tế. Theo thông tin được xác nhận, TS Vũ Khắc Kỷ (ĐH FPT) và GS Trần Mạnh Tuấn (Đại học Khoa học và Công nghệ Trung Quốc) đã xây dựng một chứng minh đầy đủ cho giả thuyết Courtade-Kumar – bài toán được Thomas Courtade và Gowtham Kumar đề xuất từ năm 2013. Bài toán tưởng như có lời giải “hiển nhiên” là chỉ nên quan sát một bit đầu vào, nhưng hơn mười năm qua cộng đồng toán học thế giới chỉ xử lý được các trường hợp riêng lẻ. Việc lời giải xuất hiện từ các nhà toán học Việt Nam mang tính biểu tượng: thay vì chỉ tham gia các vấn đề ứng dụng, họ đã bước thẳng vào vùng lõi của lý thuyết thông tin, nơi những giả thuyết như Courtade-Kumar định hình cách chúng ta hiểu và thiết kế hệ thống truyền thông số.
Giả thuyết Courtade-Kumar: một bit thông tin và sức nặng của "độc tài"
Ở trung tâm của giả thuyết Courtade-Kumar là một câu hỏi nghe có vẻ đơn giản: khi dãy bit đi qua kênh nhiễu, chiến lược nào giúp giữ lại nhiều thông tin nhất ở đầu ra? Lý thuyết thông tin gợi ý rằng ta có thể mã hoá, kết hợp nhiều bit, dùng các hàm Boolean phức tạp; nhưng dự đoán của Courtade và Kumar lại táo bạo: tối ưu là chỉ nhìn vào một bit đầu vào duy nhất. Trong ngôn ngữ giải tích hàm Boolean, đó là khẳng định rằng các hàm “độc tài” – phụ thuộc vào đúng một toạ độ của vector bit – là hàm mang nhiều thông tin nhất khi dữ liệu đi qua nhiễu nhị phân độc lập. Bài báo “Dictators are most informative” của TS Kỷ và GS Tuấn chứng minh trọn vẹn điều này cho mọi hàm Boolean, kể cả trường hợp không cân bằng – vượt xa những kết quả trước đây vốn chỉ xử lý được các lớp hàm đặc biệt. Ý nghĩa sâu xa nằm ở chỗ: trong một môi trường nhiễu đơn giản nhưng phổ quát, cấu trúc tối ưu không phải những thuật toán tinh vi mà là lựa chọn cực kỳ tối giản. Đó là một bài học quan trọng cho cả lý thuyết lẫn thực tiễn thiết kế hệ thống thông tin, nhắc chúng ta rằng độ phức tạp không luôn đồng nghĩa với hiệu quả.
Hai lời giải độc lập và sự công nhận từ Google Research
Sự kiện đáng chú ý không chỉ là việc giả thuyết Courtade-Kumar được giải, mà là cách nó được giải: gần như cùng thời điểm, hai nhóm nghiên cứu hoàn toàn độc lập – một gồm TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn, một gồm 7 nhà khoa học từ Google và nhiều đại học thế giới – đều đi đến lời giải bằng hai con đường rất khác nhau. Theo bản thảo trên kho lưu trữ arXiv, bài của hai nhà toán học Việt Nam dài 36 trang, được đăng ngày 21/9 với mã số arXiv:2609.24184. Trong khi đó, bản thảo của nhóm quốc tế dài hơn 250 trang, có các phần chứng minh được hỗ trợ bởi kiểm chứng máy tính và hình thức hoá trong Lean. Con số này trở thành một câu nói trích dẫn đáng nhớ: "Một chứng minh 36 trang và một chứng minh hơn 250 trang cho cùng một giả thuyết cho thấy sức mạnh của các cách tiếp cận khác nhau". Quan trọng hơn, Phó Chủ tịch Google Research Vahab Mirrokni đã công khai ghi nhận và chúc mừng kết quả của TS Kỷ và GS Tuấn khi công bố công trình của nhóm Google, khẳng định đây là đóng góp đáng kể của các nhà toán học Việt Nam cho một vấn đề nền tảng trong toán học hiện đại và lý thuyết thông tin. Sự công nhận này là lời xác quyết rằng giới nghiên cứu Việt không đứng ngoài mà đang trực tiếp tham gia giải quyết những bài toán lõi tầm thế giới.
Hành trình nghiên cứu và vai trò của toán học Việt
Đằng sau 36 trang chứng minh là một hành trình hơn một thập kỷ theo đuổi bài toán mở. Khoảng 10 năm trước, trong thời gian làm sau tiến sĩ tại nhóm Information Theory ở Đại học Trung văn Hồng Kông, TS Vũ Khắc Kỷ lần đầu được GS Chandra Nair giới thiệu về giả thuyết Courtade-Kumar. Ông đã theo đuổi bài toán khá nghiêm túc trong hai năm nhưng chưa thành công, rồi tiếp tục quay lại nhiều lần kể từ khi về giảng dạy tại ĐH FPT. Bước ngoặt đến năm 2025, khi TS Kỷ hợp tác với GS Trần Mạnh Tuấn – một chuyên gia hàng đầu về xác suất rời rạc và tổ hợp, hiện là giáo sư bổ nhiệm đặc biệt tại Đại học Khoa học và Công nghệ Trung Quốc. Cách tiếp cận entropy và giải tích của TS Kỷ kết hợp với các công cụ tổ hợp, xác suất và cấu trúc rời rạc của GS Tuấn, giúp liên tục kiểm tra, loại bỏ và cải thiện ý tưởng. Trí tuệ nhân tạo có được sử dụng nhưng chỉ như công cụ hỗ trợ, không thay thế quá trình xây dựng chứng minh toán học. Điểm đáng nể là khi biết nhóm của GS Nair và các nhà khoa học Google cũng vừa hoàn tất chứng minh, hai bên nhận ra họ đã độc lập đi tới cùng một kết quả bằng hai phương pháp rất khác nhau. Việc nhiều hướng tiếp cận cùng hội tụ trên một kết luận củng cố độ tin cậy của lời giải và thể hiện sự trưởng thành của cộng đồng nghiên cứu lý thuyết thông tin và giải tích hàm Boolean – trong đó, các nhà toán học Việt Nam là những tác nhân chủ động chứ không còn là người quan sát.
Từ lời giải giả thuyết Courtade-Kumar đến tương lai lý thuyết thông tin
Việc giả thuyết Courtade-Kumar – "bài toán mở trung tâm tồn tại lâu năm ở giao điểm giữa lý thuyết thông tin và giải tích hàm Boolean" như cách mô tả của Vahab Mirrokni – được giải trọn vẹn là một cột mốc cho cả ngành. Trong chuyên khảo của Yu và Tan, giả thuyết này từng được gọi là "một trong những bài toán mở quan trọng nhất của lý thuyết thông tin"; giờ đây, nó đã bước từ vùng suy đoán sang vùng hiểu biết. Hệ quả là gì? Trước hết, những kỹ thuật được TS Kỷ và GS Tuấn dùng để chứng minh cho mọi hàm Boolean – kể cả các trường hợp không cân bằng – nhiều khả năng sẽ trở thành công cụ mới cho các bài toán khác trong lý thuyết thông tin, xác suất rời rạc và khoa học máy tính. Thứ hai, việc một cấu trúc tối giản như hàm "độc tài" hoá ra lại là tối ưu trong mô hình nhiễu nhị phân độc lập đặt ra hướng suy nghĩ mới về thiết kế hệ thống: đôi khi, ta cần ưu tiên tính minh bạch và đơn giản hơn là phức tạp hoá thuật toán. Quan trọng hơn, kết quả này là lời chứng thực rằng nhà toán học Việt Nam đã đủ năng lực để chinh phục các bài toán mở ở vùng lõi của khoa học, không chỉ những bài toán ứng dụng. Công trình đã được công bố trên arXiv và sẽ tiếp tục được cộng đồng chuyên môn đánh giá theo thời gian. Dù các ứng dụng cụ thể còn cần thêm bước chuyển hoá, hướng nghiên cứu mới đã mở ra: từ giả thuyết Courtade-Kumar, toán học Việt có thể tiếp tục góp tiếng nói vào cách thế giới hiểu về thông tin, nhiễu và tối ưu hóa.
