Một bài toán mở hơn một thập kỷ 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à một bài toán mở đặt ra việc tìm hàm Boolean lưu giữ nhiều thông tin nhất khi dữ liệu đi qua kênh truyền có nhiễu, và đã khiến giới toán học và khoa học máy tính toàn cầu bế tắc suốt hơn một thập kỷ trước khi được hai nhà toán học Việt Nam chứng minh tổng quát. Điểm nổi bật của câu chuyện này không chỉ là việc một bài toán mở khó được giải mà là ai đã làm được. Theo thông tin được xác nhận, TS Vũ Khắc Kỷ – giảng viên Toán tại một trường đại học tư thục – cùng GS Trần Mạnh Tuấn, giáo sư tại Đại học Khoa học và Công nghệ Trung Quốc, đã đưa ra chứng minh hoàn chỉnh cho giả thuyết Courtade-Kumar. Trong bối cảnh các nhóm nghiên cứu mạnh trên thế giới nhiều năm chưa vượt qua được rào cản, sự xuất hiện của hai nhà toán học Việt Nam ở tuyến đầu của lý thuyết thông tin cho thấy năng lực nghiên cứu nền tảng của chúng ta đã bước sang một giai đoạn mới.
Giả thuyết Courtade-Kumar nói gì về thông tin và nhiễu?
Bản chất của giả thuyết Courtade-Kumar nằm ở câu hỏi tưởng quen thuộc trong lý thuyết thông tin: khi một chuỗi bit đi qua kênh truyền có nhiễu, ta nên chọn và xử lý thông tin ban đầu thế nào để giữ được nhiều thông tin nhất ở đầu ra. Nói cách khác, đây là bài toán mở về cách tối ưu hoá thông tin trong môi trường mà sai lệch là điều không tránh khỏi. Điều gây tò mò là lời dự đoán của giả thuyết lại rất "tiết kiệm": hàm tối ưu không phải là một quy tắc phức tạp kết hợp nhiều bit, mà chỉ cần quan sát một toạ độ duy nhất trong chuỗi dữ liệu – dạng hàm Boolean mà giới chuyên môn gọi là "dictator". Ý nghĩa triết lý của kết quả này không nhỏ: trong một số bối cảnh, cố gắng kết hợp quá nhiều tín hiệu có thể khiến thông tin trở nên kém rõ ràng hơn là tập trung vào một tín hiệu nền tảng. Nhưng để khẳng định điều đó, khoa học cần một chứng minh chặt chẽ, và đó là nơi giả thuyết Courtade-Kumar đã khiến cộng đồng toán học "đau đầu" hơn 10 năm.
Hành trình chứng minh: từ Hong Kong đến sự kết hợp giữa entropy và tổ hợp
Thành tựu hôm nay là kết quả của một hành trình dài, không phải là một pha "xuất thần" nhất thời. Khoảng 10 năm trước, khi làm nghiên cứu sau tiến sĩ tại nhóm Information Theory của một đại học ở Hong Kong, TS Vũ Khắc Kỷ được giới thiệu về giả thuyết Courtade-Kumar và theo đuổi nó nghiêm túc trong khoảng hai năm nhưng không thành công. Sau khi về giảng dạy ở Việt Nam, ông nhiều lần quay lại bài toán rồi lại phải tạm dừng vì chưa có công cụ đủ mạnh. Bước ngoặt đến vào năm 2025, khi TS Kỷ quyết định nghiên cứu trở lại một cách hệ thống và hợp tác với GS Trần Mạnh Tuấn – chuyên gia hàng đầu về xác suất rời rạc và tổ hợp. Sự bổ sung giữa hướng entropy và giải tích mà TS Kỷ theo đuổi 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 cho phép nhóm từng bước vượt qua các trở ngại đã cản trở cộng đồng quốc tế hơn một thập kỷ. Theo bản công bố, công trình của hai nhà toán học Việt Nam dài khoảng 36 trang, chứng minh giả thuyết Courtade-Kumar trong trường hợp tổng quát, bao gồm cả các hàm Boolean "mất cân đối".
Song hành với Google Research và ý nghĩa đối với lý thuyết thông tin
Một chi tiết đáng chú ý là hai nhóm nghiên cứu hoàn toàn độc lập đã gần như đồng thời đi tới cùng một kết luận về giả thuyết Courtade-Kumar. Khi TS Kỷ gửi email báo tin cho người thầy từng giới thiệu bài toán này, ông nhận được hồi đáp rằng nhóm của mình cùng các nhà khoa học tại Google và một số trường đại học khác cũng vừa hoàn thành chứng minh cho giả thuyết. Bản thảo của nhóm quốc tế dài hơn 250 trang với bảy tác giả, trong khi bài báo của hai nhà toán học Việt Nam chỉ khoảng 36 trang, nhưng như chính các nhà khoa học nhấn mạnh, độ dài không phải thước đo duy nhất của chất lượng, mỗi hướng tiếp cận có thế mạnh riêng và cần thời gian thẩm định của cộng đồng. Phó Chủ tịch Google Research, người phụ trách các nhóm Thuật toán và Tối ưu hóa, đã công bố kết quả của nhóm mình và công khai chúc mừng lời giải độc lập của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn. Đây là một câu nói đáng trích dẫn: "Courtade-Kumar là một bài toán mở trung tâm lâu năm ở giao điểm giữa lý thuyết thông tin và phân tích hàm Boolean". Việc hai nhà toán học Việt Nam cùng xuất hiện trong lời giải cho một bài toán như vậy cho thấy vị thế mới của nghiên cứu toán học nước ta trong cộng đồng quốc tế.
Tín hiệu khích lệ cho khoa học Việt Nam và những bước tiếp theo
Chứng minh hoàn chỉnh giả thuyết Courtade-Kumar không lập tức biến đổi thế giới ứng dụng, nhưng nó là một bước tiến đáng kể cho lý thuyết thông tin, phân tích hàm Boolean và xác suất. Những thành tựu kiểu này đặt nền móng cho các thế hệ thuật toán mới về truyền tin, xử lý dữ liệu, học máy – những lĩnh vực vốn dựa rất nhiều vào việc hiểu rõ bản chất của thông tin dưới nhiễu. Ở góc độ Việt Nam, ý nghĩa còn quan trọng hơn: một nhóm nghiên cứu nhỏ tại trong nước có thể tham gia trực tiếp vào những bài toán nền tảng mà các nhóm mạnh trên thế giới cùng quan tâm. Đây là bằng chứng rằng, với sự kiên trì theo đuổi bài toán mở khó và những hợp tác quốc tế đúng hướng, nhà toán học Việt Nam hoàn toàn có thể góp phần giải quyết "những câu hỏi lớn" của khoa học hiện đại. Tuy nhiên, do công trình hiện mới được đăng trên kho tiền ấn phẩm, cả hai chứng minh vẫn cần được cộng đồng chuyên môn độc lập thẩm định trong thời gian tới để khẳng định chắc chắn vị trí của chúng trong lịch sử lý thuyết thông tin.
