Bằng chứng lượng tử: thứ không chép ra giấy được

Bạn vừa giải xong một câu đố sudoku khó. Bạn không cần thuyết phục ai cả: chính bảng số đã điền chính là bằng chứng. Đưa nó cho bạn cùng lớp, chỉ trong một phút bạn ấy dò từng hàng, từng cột, từng ô vuông nhỏ rồi gật đầu. Cái hay của một bằng chứng nằm ở chỗ đó. Tìm ra thì rất lâu, nhưng kiểm lại thì rất nhanh, và ai cũng kiểm được, vì nó chỉ là chữ và số trên giấy.

Bây giờ là câu hỏi lạ hơn: có loại bằng chứng nào mà dù bạn có cả tỉ tờ giấy cũng không chép ra nổi không? Không phải vì nó dài, mà vì bản chất nó không phải thứ viết ra được bằng chữ.

Câu hỏi là gì

Trong ngành khoa học máy tính, từ "chứng minh" ở đây không có nghĩa như trong sách toán, tức là một chuỗi lập luận dẫn tới định lý. Nó giống một tờ giấy chứng nhận hơn: một thứ bạn đưa ra để người khác kiểm nhanh rằng bài toán đã được giải đúng. Bảng sudoku đã điền là một ví dụ hoàn hảo.

Hơn 30 năm trước, giới nghiên cứu phát hiện rằng máy tính dựa trên các định luật vật lý lượng tử, thứ khi đó mới chỉ có trên giấy, có thể giải nhanh một số bài toán mà máy tính thường phải bó tay. Từ đó tới nay họ săn tìm những chỗ máy tính lượng tử mạnh hơn hẳn máy thường. Nhưng có một nhóm nhỏ hơn, ít được chú ý hơn, đi hỏi một câu khác: còn bằng chứng lượng tử thì sao? Nó có mạnh hơn bằng chứng cổ điển, tức bằng chứng viết ra được bằng chữ, hay không?

Nói cho dễ hình dung. Giả sử bạn muốn chứng minh một mẩu vật liệu có từ tính. Việc này rất khó, trừ khi bạn có trong tay trạng thái lượng tử (quantum state) của nó, tức là đối tượng toán học mô tả cách các electron trong đó đang xếp đặt. Đưa một bản sao trạng thái ấy cho máy tính lượng tử, nó kiểm cái rụp. Vậy trạng thái lượng tử đóng đúng vai bằng chứng. Vấn đề là bằng chứng loại này không viết ra giấy được.

Vì sao khó

Thủ phạm là hiện tượng chồng chập (superposition): một hệ có thể mang nhiều cấu hình cùng lúc, chứ không phải chọn lấy một. Ngay ở một hệ khá đơn giản, số cấu hình góp mặt trong chồng chập có thể vượt quá số nguyên tử trong cả vũ trụ. Bạn thử tưởng tượng phải liệt kê chừng ấy dòng ra giấy xem. Không có cách nào cả.

Nên câu hỏi thành ra thế này: với những bài toán mà bằng chứng duy nhất ta biết là một trạng thái lượng tử, liệu có thật là không thể thay bằng một tờ giấy hay không? Hay chỉ là chưa ai đủ khôn để nghĩ ra cách thay?

Muốn trả lời, phải tìm một bài toán cụ thể thoả hai điều. Một, nó có bằng chứng lượng tử. Hai, nó không có bằng chứng cổ điển nào cả. Điều thứ hai mới là chỗ hóc búa, và khó hơn nữa vì máy kiểm chứng vẫn được phép là máy lượng tử. Nghĩa là bạn không được loại trừ vài cách làm, bạn phải loại trừ mọi tổ hợp có thể có giữa một tờ giấy bất kỳ và một thuật toán kiểm bất kỳ. Chứng minh một câu nói đúng cho tất cả thuật toán là loại việc nổi tiếng là nan giải trong ngành.

Suốt hơn 20 năm, đây là một trong những bài toán mở lớn nhất của lý thuyết độ phức tạp lượng tử, ngành đo xem một bài toán khó tới mức nào một cách tự thân.

Ai đang thử và đã tới đâu

Năm 2006, Scott Aaronson, nhà lý thuyết độ phức tạp ở University of Texas, Austin, cùng nhà toán học Greg Kuperberg đi được nửa đường. Họ có kết quả, nhưng chưa đạt được dạng bằng chứng mà mọi người thèm muốn nhất, dạng không phải dựa vào những giả định bất thường. Aaronson nói mục tiêu cuối cùng đó "có vẻ là một bài toán khó hơn rất, rất nhiều".

Năm 2024, Mark Zhandry, nhà nghiên cứu mật mã lượng tử nay ở Stanford University, bắt đầu ngờ rằng một đặc tính của vật lý lượng tử vốn nằm ở lõi nhiều lược đồ mật mã cũng có thể dùng để tách hai loại bằng chứng ra. Ông kể việc mình bắt đầu nghĩ về nó "phần nào là do tình cờ".

Bài toán ông chọn để thử tên là spectral forrelation, một bài toán chưa có tên tiếng Việt quen dùng, nội dung là so sánh hai cách đo khác nhau trên cùng một trạng thái lượng tử. Chính nhóm nghiên cứu ví hai kết quả đo ấy như hai cái bóng của một vật được rọi đèn từ hai góc. Đề bài đưa bạn một cặp bóng, và hỏi: liệu có tồn tại một vật nào đó đổ ra được cả hai cái bóng này không? Chinmay Nirkhe, nhà khoa học máy tính ở University of Washington, gọi đây là "bài toán pháp y".

Đến năm 2025 thì bốn nhà nghiên cứu, trong đó có Zhandry và Nirkhe, làm được. Bài báo dài 100 trang của họ nhận giải bài báo xuất sắc nhất tại hội nghị Symposium on Theory of Computing tháng 6 năm 2026. Anand Natarajan, nhà lý thuyết thông tin lượng tử ở Massachusetts Institute of Technology, gọi đó là "một kết quả đẹp" và nói nó sinh ra một loạt ý tưởng mới.

Nhưng phải nói cho đúng mức: câu hỏi lớn chưa đóng lại. Kết quả này vẫn kèm một điều kiện, nó đúng trong một khung có giới hạn về phạm vi những khả năng phải xét, chứ chưa phải câu trả lời trọn vẹn cho mọi trường hợp. Nói cách khác, đây là bằng chứng rất mạnh cho trực giác "bằng chứng lượng tử đúng là khác hẳn", chứ chưa phải dấu chấm hết. Một câu trả lời toàn diện thì, theo chính những người trong ngành, còn nằm ngoài tầm với.

Nếu giải được thì sao

Kỹ thuật dùng để tách hai loại bằng chứng đến từ mật mã học, và có thể quay về giúp chính mật mã học, tức là những cách bảo vệ thông tin riêng tư của bạn khi máy tính lượng tử trở nên phổ biến. Nhưng với nhiều nhà nghiên cứu, sức hút không nằm ở đó. Nirkhe nói mối quan tâm thật sự của ông luôn là: vì sao cơ học lượng tử lại không mô tả nổi bằng ngôn ngữ cổ điển? Ông coi việc tính toán là cái thước để đo câu hỏi ấy.

Bạn thử ở nhà được. Lấy một cái cốc hoặc một con thú nhồi bông, rọi đèn pin từ hai hướng khác nhau, vẽ lại hai cái bóng ra giấy, rồi đưa cho bạn khác và hỏi: hai cái bóng này có thể là của cùng một vật không? Bạn sẽ thấy ngay việc suy ngược từ bóng về vật khó tới mức nào.

Và đây là chỗ câu hỏi đang đứng hôm nay. Nếu tồn tại một thứ đúng mà không cách nào kể lại cho người khác bằng lời, chỉ có thể đưa tận tay, thì ta còn gọi nó là bằng chứng được nữa không?

Lưu ý

Bài viết dựa trên tin khoa học đã công bố, viết lại cho bạn đọc nhỏ tuổi. Có chỗ nào con muốn tìm hiểu thêm thì rủ bố mẹ đọc cùng nhé.