Giả thuyết Courtade-Kumar và lời giải mang dấu ấn Việt Nam
Giả thuyết Courtade-Kumar trong lý thuyết thông tin là bài toán hỏi đâu là hàm Boolean giữ được nhiều thông tin nhất khi dữ liệu bị nhiễu, và trong hơn một thập kỷ nó đã trở thành đề bài trung tâm ở giao điểm giữa lý thuyết thông tin và giải tích hàm Boolean, thử thách các nhà toán học với vô số nỗ lực chỉ dừng lại ở từng trường hợp riêng lẻ. Mới đây, Phó Chủ tịch Google Research Vahab Mirrokni công bố chứng minh của nhóm Google cho giả thuyết Courtade-Kumar, đồng thời ghi nhận và chúc mừng lời giải độc lập của Tiến sĩ Vũ Khắc Kỷ và Giáo sư Trần Mạnh Tuấn. Việc hai nhà toán học Việt Nam đưa ra chứng minh tổng quát cho một trong những bài toán mở quan trọng nhất trong lý thuyết thông tin không chỉ là tin vui học thuật; đó là tín hiệu cho thấy toán học Việt Nam đủ năng lực tham gia những cuộc thảo luận khó nhất trên bản đồ quốc tế.
Bài toán mở quan trọng trong lý thuyết thông tin: giữ một bit có đủ thông tin?
Giả thuyết Courtade-Kumar, còn được gọi là "Most Informative Boolean Function Conjecture", xuất phát từ một câu hỏi tưởng như đơn giản: khi dữ liệu bị nhiễu trong quá trình truyền và xử lý, ta nên chọn và xử lý thông tin ban đầu như thế nào để phần thông tin cuối cùng là chính xác nhất. Kết luận mà giả thuyết gợi ý lại gây bất ngờ: chiến lược tối ưu là chỉ giữ một bit thay vì kết hợp nhiều bit theo một quy tắc phức tạp. Đằng sau sự đơn giản của phát biểu là một cấu trúc toán học phức tạp, gắn với toán tử nhiễu trên không gian Boolean và các bất đẳng thức entropy. Chính vì thế, giả thuyết này được chuyên khảo của Yu và Tan xếp vào nhóm những bài toán mở quan trọng nhất của lý thuyết thông tin, và nhiều nhóm nghiên cứu trên thế giới suốt hơn mười năm mới chỉ chinh phục được vài lát cắt riêng lẻ.
Hành trình mười năm của tiến sĩ Vũ Khắc Kỷ và cộng sự
Điều đáng giá ở lời giải từ Việt Nam không chỉ là kết quả, mà là hành trình kiên trì của tiến sĩ Vũ Khắc Kỷ. Khoảng mười năm trước, khi đang làm nghiên cứu sau tiến sĩ tại Đại học Trung Quốc Hong Kong (CUHK), ông được Giáo sư Chandra Nair giới thiệu về giả thuyết Courtade-Kumar và theo đuổi bài toán nghiêm túc trong khoảng hai năm nhưng chưa thành công. Từ năm 2019, ông nhiều lần quay lại bài toán nhưng phải dừng vì chưa tìm được cơ chế đủ mạnh để vượt qua những rào cản đã biết. Đến năm 2025, ông trở lại với cách tiếp cận mới và lúc này bắt đầu cộng tác với Giáo sư Trần Mạnh Tuấn, chuyên gia về xác suất rời rạc và tổ hợp. Sự bổ trợ giữa thế mạnh về giải tích hàm Boolean và xác suất rời rạc giúp họ liên tục thử nghiệm, loại bỏ, tinh chỉnh ý tưởng, dần mở rộng miền kiểm soát, xử lý những trường hợp còn lại và cuối cùng đi đến chứng minh tổng quát cho giả thuyết.
Hai lời giải độc lập và cách Google Research ghi nhận
Một điểm thú vị của câu chuyện là việc hai nhóm nghiên cứu hoàn toàn độc lập chạm đến cùng một đích. Sau khi hoàn thiện chứng minh, tiến sĩ Vũ Khắc Kỷ gửi email báo tin cho Giáo sư Chandra Nair như một cử chỉ tôn trọng, và nhận được phản hồi rằng nhóm của Nair cùng các nhà khoa học từ Google và một số trường đại học khác cũng vừa hoàn thành chứng minh cho chính bài toán đó. Hai bên sau đó trao đổi và nhận ra rằng họ đạt được cùng kết quả bằng hai hướng tiếp cận rất khác nhau, mỗi cách có thế mạnh riêng và đều cần thời gian đánh giá của cộng đồng toán học. Theo chia sẻ, vì nhóm Nair cần thêm thời gian cho một dự án dài và nhiều tính toán, hai tác giả Việt Nam đã chủ động hoãn công bố và thống nhất đăng tải hai lời giải độc lập cùng lúc, thể hiện tinh thần đồng nghiệp hiếm thấy trong môi trường cạnh tranh học thuật. Đến ngày 21/9, bài báo "Dictators are most informative" của họ được đưa lên kho arXiv.
Ý nghĩa của lời giải với lý thuyết thông tin và toán học Việt Nam
Phó Chủ tịch Google Research Vahab Mirrokni mô tả giả thuyết Courtade-Kumar là "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", đồng thời chính thức ghi nhận và chúc mừng lời giải độc lập của tiến sĩ Vũ Khắc Kỷ và giáo sư Trần Mạnh Tuấn. Công trình của họ không chỉ góp phần khép lại bài toán mở lâu năm này, mà còn mang lại những công cụ nghiên cứu có thể dùng cho các bài toán khác, đặc biệt là các bất đẳng thức entropy và cách khai thác cấu trúc của toán tử nhiễu trên không gian Boolean. Trong bối cảnh tiến sĩ Kỷ vẫn tiếp tục làm việc trên nhiều giả thuyết khác trong giải tích hàm Boolean và lý thuyết thông tin như Hellinger, Refined MLS, FEI, đồng thời quan tâm đến ứng dụng AI và các giới hạn, vấn đề đạo đức của công nghệ, lời giải Courtade-Kumar cho thấy một hình mẫu nhà khoa học Việt Nam có thể đồng thời đóng góp vào nền tảng toán học lẫn câu chuyện công nghệ đương đại.
