Giả thuyết Courtade-Kumar: từ câu hỏi đơn giản đến lời giải Việt
Giả thuyết Courtade-Kumar là một bài toán mở trong thông tin học đặt ra câu hỏi: khi dữ liệu nhị phân đi qua kênh truyền nhiễu, đâu là hàm Boolean giúp giữ lại nhiều thông tin nhất về dữ liệu ban đầu ở đầu ra, và liệu việc chỉ quan sát một bit có thể tối ưu hơn mọi quy tắc kết hợp phức tạp khác. Đây không phải câu hỏi kỹ thuật nhỏ, mà là vấn đề nền tảng đã thách thức cộng đồng toán học và khoa học máy tính hơn một thập kỷ. Mấu chốt của câu chuyện hôm nay là: hai nhà toán học Việt, TS Vũ Khắc Kỷ (Đại học FPT) và GS Trần Mạnh Tuấn (Đại học Khoa học và Công nghệ Trung Quốc), đã công bố một chứng minh toán học hoàn chỉnh cho giả thuyết Courtade-Kumar trong trường hợp tổng quát, sau hơn mười năm nó được đặt ra nhưng chưa có lời giải đầy đủ. Công trình với tiêu đề “Dictators are most informative” được đưa lên kho tiền ấn phẩm arXiv ngày 21.9, dài khoảng 36 trang. Việc một nhóm nhỏ, phần lớn đặt tại Việt Nam, chạm tay vào bài toán nền tảng này cho thấy năng lực nghiên cứu lý thuyết của cộng đồng nhà toán học Việt đã bước sang một ngưỡng mới.
Vì sao giả thuyết Courtade-Kumar được xem là "bài toán trung tâm"
Giả thuyết Courtade-Kumar, hay “Most Informative Boolean Function Conjecture”, do Thomas Courtade và Gowtham Kumar đề xuất năm 2013, xuất phát trực tiếp từ cốt lõi của thông tin học: tối đa hóa lượng thông tin đi qua kênh truyền nhiễu. Trong ngôn ngữ chuyên môn, nó nằm ở giao điểm giữa lý thuyết thông tin và giải tích hàm Boolean, một giao điểm vốn là nơi nảy sinh nhiều ý tưởng cho khoa học dữ liệu hiện đại. Các nhà nghiên cứu không chỉ bị cuốn hút bởi vẻ đẹp khái niệm của giả thuyết mà còn bởi nhận định gây bất ngờ: hàm tối ưu để giữ lại thông tin có thể đơn giản đến mức chỉ cần đọc một tọa độ của chuỗi bit, thay vì kết hợp nhiều bit theo quy tắc tinh vi. Theo đánh giá của Vahab Mirrokni, Phó Chủ tịch Google Research, Courtade-Kumar là một “bài toán mở trung tâm lâu năm ở giao điểm giữa thông tin học và giải tích Boolean” và trong chuyên khảo của Yu và Tan, nó được mô tả là “một trong những bài toán mở quan trọng nhất của thông tin học”. Khi một giả thuyết đạt tới những mô tả như vậy, việc chứng minh hay bác bỏ nó gần như luôn kéo theo những thay đổi trong cách giới khoa học suy nghĩ về lĩnh vực liên quan.
Hành trình truy đuổi lời giải và vai trò kết hợp chuyên môn
Thành tựu hôm nay không xuất hiện từ một ý tưởng lóe sáng trong vài tháng. Khoảng 10 năm trước, khi đang làm nghiên cứu sau tiến sĩ tại nhóm Information Theory của một trường đại học ở Hồng Kông, TS Vũ Khắc Kỷ lần đầu tiếp cận giả thuyết Courtade-Kumar và đã dành khoảng hai năm tìm lời giải nhưng buộc phải tạm gác vì chưa vượt qua được những trở ngại kỹ thuật. Từ năm 2019, sau khi trở về giảng dạy tại Đại học FPT, ông nhiều lần quay lại bài toán, song mỗi lần đều phải dừng giữa chừng do chưa có “cơ chế” đủ mạnh để phá vỡ các rào cản đã biết. Bước ngoặt đến vào năm 2025, khi TS Kỷ quyết định nghiên cứu nghiêm túc trở lại và 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 tại Đại học Khoa học và Công nghệ Trung Quốc. Hướng tiếp cận của hai nhà toán học có tính bổ trợ rõ rệt: TS Kỷ tập trung vào các công cụ entropy và giải tích, trong khi GS Tuấn cung cấp những kỹ thuật tổ hợp, xác suất và cấu trúc rời rạc. Chính sự phối hợp này cho phép họ liên tục thử nghiệm, loại bỏ, tinh chỉnh ý tưởng và từng bước vượt qua những nút thắt mà nhiều nhóm khác trên thế giới bị mắc kẹt hơn một thập kỷ. Công trình dài 36 trang của hai ông, tương phản với bản thảo trên 250 trang của nhóm bảy nhà nghiên cứu quốc tế, cho thấy không phải cứ chứng minh dài hơn là “tốt hơn”, mà sức mạnh nằm ở tính cô đọng và ý tưởng sắc bén.
Chứng minh độc lập và ý nghĩa đối với vị thế toán học Việt
Một chi tiết thú vị là lời giải của hai nhà toán học Việt xuất hiện gần như cùng thời điểm với lời giải của một nhóm quốc tế gồm các nhà khoa học tại Google và nhiều trường đại học khác. Khi TS Kỷ báo tin với GS Chandra Nair – người đã giới thiệu bài toán cho ông cách đây 10 năm – thì mới biết nhóm của Nair cùng các cộng sự cũng vừa hoàn thành chứng minh giả thuyết Courtade-Kumar. Sau trao đổi, hai bên nhận ra họ đi tới cùng một kết luận bằng hai phương pháp khác nhau, và quyết định đồng thời công bố, chấp nhận để cộng đồng toán học đối chiếu, kiểm tra cả hai hướng tiếp cận. Việc một giả thuyết lớn trong thông tin học nhận được hai chứng minh độc lập không chỉ tăng độ tin cậy cho kết quả mà còn đặt thành tựu của các nhà toán học Việt trong đúng bối cảnh quốc tế của nó: họ không “đuổi theo” mà tham gia trực tiếp vào tuyến đầu của toán học lý thuyết. Theo thông tin từ các bên liên quan, “sự kiện này khẳng định năng lực của các nhà khoa học Việt có thể tham gia trực tiếp vào việc giải quyết những vấn đề nền tảng mang ý nghĩa quốc tế”. Đó là dòng chữ hiếm hoi, nhưng giàu sức nặng, cho thấy cộng đồng toán học Việt đang dịch chuyển từ vị thế người quan sát sang người kiến tạo.
Từ lý thuyết thông tin đến khoa học dữ liệu: bước tiến mở nhiều cánh cửa
Dù công trình mới chỉ ở dạng tiền ấn phẩm trên arXiv và còn cần thời gian thẩm định, đánh giá của cộng đồng chuyên môn, vị trí của giả thuyết Courtade-Kumar trong thông tin học cho phép kỳ vọng nó sẽ ảnh hưởng đến cách ta suy nghĩ về xử lý dữ liệu nhiễu trong nhiều lĩnh vực. Trong các hệ thống truyền thông số, các mô hình học máy hay những bài toán phân tích tín hiệu nhị phân, câu hỏi “hàm nào giữ lại nhiều thông tin nhất qua nhiễu” là điểm tựa để thiết kế thuật toán và đánh giá hiệu quả mô hình. Một chứng minh toán học tổng quát cho giả thuyết này – ở giao điểm giữa lý thuyết thông tin và hàm Boolean – không phải lời hứa ứng dụng tức thì, nhưng là viên đá nền cho hàng loạt suy luận tiếp theo. Các nhóm nghiên cứu quốc tế giờ đây có một khung lý thuyết chắc chắn hơn để kiểm tra trực giác, xây dựng mô hình mới, hoặc phát hiện những giới hạn chưa từng được nhìn rõ trước đó. Với riêng cộng đồng toán học Việt, công trình của TS Vũ Khắc Kỷ và GS Trần Mạnh Tuấn nhấn mạnh rằng những bài toán được mô tả là “quan trọng nhất trong thông tin học” không nằm ngoài tầm với – nếu có đủ kiên trì, chiều sâu chuyên môn và tinh thần hợp tác lâu dài.
