Quantinuum thử nghiệm lấy mẫu phần bù: khoảng cách lượng tử–cổ điển tăng theo hàm mũ

Kết quả này thực sự nói lên điều gì?

Thí nghiệm lấy mẫu phần bù (complement sampling) của Quantinuum là bằng chứng cho một dạng lợi thế lượng tử được xác định rất cụ thể: thiết bị lượng tử tạo ra thống kê kết quả vượt qua giới hạn cổ điển đã được suy ra chặt chẽ, trong một trò chơi được thiết kế để kiểm tra khả năng duy trì chồng chập lượng tử.

Với các đầu vào xây dựng từ bài toán Bernstein–Vazirani, tỷ lệ vi phạm lượng tử trên cổ điển trong trường hợp lý tưởng tăng theo 2^(n−1). Với chuỗi 37 bit, thước đo theo quy ước được báo cáo trong thí nghiệm vượt 137 tỷ đổi 1. 4

Điểm cần nhấn mạnh: đây không phải tuyên bố rằng bộ xử lý H2 nhanh hơn máy tính cổ điển 137 tỷ lần ở các công việc thực tế, cũng không phải chuẩn đo tổng quát cho mọi loại tính toán. Nó là một sự tách biệt tăng theo hàm mũ, có nền tảng lý thuyết rõ ràng, cho một nhiệm vụ lấy mẫu được thiết kế chuyên biệt.

Trò chơi lấy mẫu phần bù hoạt động ra sao?

Hãy hình dung có toàn bộ các chuỗi nhị phân dài n bit. Trọng tài bí mật chọn một tập con S chứa đúng một nửa số chuỗi có thể có, rồi chuẩn bị một trạng thái lượng tử là chồng chập đều của mọi chuỗi thuộc S. Nhiệm vụ của người chơi là đưa ra một chuỗi thuộc phần bù S̄, tức một chuỗi không nằm trong S. 34

Nếu người chơi cổ điển chỉ nhận được một mẫu thông thường từ S, họ chỉ biết chắc một điều: chuỗi vừa nhận thuộc S và do đó không thể là đáp án. Nhưng thông tin ấy gần như không cho biết các chuỗi còn lại thuộc S hay S̄; số khả năng còn lại là khổng lồ. Vì vậy, chiến lược cổ điển bị giới hạn bởi một cận toán học cụ thể. 47

Ngược lại, người chơi lượng tử nhận trạng thái chồng chập của tập S, chứ không phải một mẫu đã bị đo thành một chuỗi đơn lẻ. Với lớp đầu vào có cấu trúc dùng trong thí nghiệm, một phép biến đổi lượng tử có thể đưa trạng thái gắn với S sang trạng thái chỉ có hỗ trợ trên phần bù S̄. Trong điều kiện lý tưởng, không nhiễu, phép đo sau đó cho ra một chuỗi hợp lệ thuộc phần bù với xác suất 1. 34

Tài nguyên lượng tử được kiểm tra ở đây là tính kết hợp lượng tử (coherence): khả năng biến đổi thông tin nằm trong chồng chập của rất nhiều chuỗi mà không làm nó sụp đổ sớm thành một quan sát cổ điển. Đây không phải là phép thử Bell hay bằng chứng về tính phi định xứ trong không gian.

Vì sao khoảng cách tăng theo hàm mũ?

So sánh quan trọng không chỉ là xác suất thành công thô. Nghiên cứu định nghĩa một đại lượng “vi phạm” riêng cho trò chơi, đo mức vượt lên trên đường cơ sở cổ điển. Với họ Bernstein–Vazirani, tỷ lệ lượng tử/cổ điển lý tưởng là 2^(n−1). 4

Ở n = 37:

2^36 = 68.719.476.736

Con số “hơn 137 tỷ đổi 1” xuất hiện theo quy ước xác định độ vi phạm được dùng trong báo cáo thí nghiệm. Dù diễn giải theo cách nào, ý chính vẫn không đổi: tín hiệu lượng tử lý tưởng vẫn hoàn hảo, trong khi phần lợi thế mà chiến lược cổ điển được phép đạt lại co hẹp theo hàm mũ khi độ dài chuỗi tăng lên. 4

Do đó, không nên hiểu đây là việc H2 đã giải một bài toán hóa học, tối ưu hóa hay AI hữu ích nhanh hơn 137 tỷ lần. Đây là độ tách biệt giữa các chiến lược lý tưởng dưới đúng luật chơi và đúng thước đo của bài kiểm tra này.

Quantinuum đã chạy gì trên phần cứng H2?

Nhóm nghiên cứu thực hiện hàng nghìn mạch lượng tử trên các bộ xử lý ion bẫy H2 của Quantinuum, sử dụng tối đa 55 qubit vật lý và thử nghiệm các chuỗi dài đến 37 bit. 48

Phần cứng thực luôn có nhiễu, nên hiệu năng lượng tử quan sát được thấp hơn mức thành công hoàn hảo trong lý tưởng; các mạch lớn hơn chịu tác động lỗi mạnh hơn. Dù vậy, các kết quả được báo cáo vẫn cao hơn có ý nghĩa thống kê so với ngưỡng cổ điển áp dụng cho trò chơi, cho thấy thiết bị triển khai chiến lược lượng tử đủ tốt để vi phạm cận cổ điển. 4

Điều đó không có nghĩa máy cổ điển không thể in ra các chuỗi bit hữu hạn tương tự. Điều được chứng minh là: dưới mô hình đầu vào đã nêu, phân bố câu trả lời mà thí nghiệm đo được vượt quá điều bất kỳ chiến lược cổ điển nào được phép trong trò chơi có thể đạt. 4

Khác gì với các màn trình diễn “lợi thế lượng tử” trước đây?

Nhiều thí nghiệm lấy mẫu lượng tử trước đó dựa vào các giả định của lý thuyết độ phức tạp để lập luận rằng mô phỏng cổ điển hẳn phải khó. Lấy mẫu phần bù được xây dựng để không phụ thuộc vào dạng giả định đó: giới hạn cổ điển được suy ra trực tiếp cho chính trò chơi, thay vì suy diễn từ một phỏng đoán chưa được chứng minh về độ khó. 34

Việc kiểm tra cũng trực tiếp hơn. Trọng tài biết cách tập S được tạo ra và chỉ cần kiểm tra đầu ra có thuộc S̄ hay không. Công trình đối chiếu điều này với lấy mẫu mạch ngẫu nhiên (random-circuit sampling), nơi kiểm chứng ở quy mô lớn có thể đòi hỏi mô phỏng cổ điển đắt đỏ hoặc số lượng mẫu rất lớn. 34

Những đặc điểm này khiến lấy mẫu phần bù trở thành một chuẩn nền tảng hữu ích cho phần cứng lượng tử gần hạn: nó cố ý phơi bày ranh giới lượng tử–cổ điển rõ ràng, nhưng vẫn cho phép kiểm chứng bằng tính toán cổ điển.

Các giới hạn phía sau tiêu đề gây chú ý

Đây là một tác vụ lấy mẫu chuyên biệt

Trò chơi được tạo ra để làm lộ lợi thế lượng tử trong xử lý thông tin dựa trên mẫu. Nó không chứng minh tăng tốc thực dụng cho hóa học, tối ưu hóa, mật mã học, AI hay tính toán đa dụng. 4

“Không điều kiện” không đồng nghĩa “độc lập thiết bị”

Cận cổ điển là không điều kiện trong khuôn khổ toán học của trò chơi. Tuy nhiên, giao thức trong phòng thí nghiệm vẫn yêu cầu tin cậy rằng trọng tài chuẩn bị trạng thái đầu vào đúng cách. Điều này khác một kiểm tra độc lập thiết bị hoàn toàn, nơi kết luận không phải đặt niềm tin vào các thành phần chủ chốt của thiết bị. 4

Trọng tài và người chơi chưa là hai máy lượng tử tách biệt

Do chưa có một kênh truyền thông lượng tử thực sự kết nối các máy tính lượng tử, phần triển khai đã đặt thanh ghi của trọng tài và người chơi trong cùng một bộ xử lý lượng tử, đồng thời dùng dịch chuyển lượng tử (teleportation) để mô phỏng kênh lượng tử. 4

Một màn trình diễn mạnh hơn trong tương lai sẽ dùng các hệ thống được điều khiển độc lập, nối với nhau bằng liên kết lượng tử thật, lý tưởng nhất là trên phần cứng chịu lỗi. Nhưng xây dựng hệ lượng tử phân tán vốn rất khó: việc truyền trạng thái lượng tử và duy trì tính kết hợp có thể trở thành nút thắt. 14

“Tăng theo hàm mũ” chưa chắc là giới hạn cuối cùng

Kết quả thiết lập sự tách biệt hàm mũ cho họ trò chơi này. Nó không chứng minh khoảng cách hàm mũ là lớn nhất có thể, cũng không chứng minh sự tách biệt siêu hàm mũ. Câu hỏi liệu những tác vụ có ý nghĩa vật lý, kiểm chứng hiệu quả có thể cho khoảng cách mạnh hơn hay không vẫn để ngỏ theo các bằng chứng hiện có.

Cách hiểu đúng về cột mốc này

Kết quả của Quantinuum nên được xem là một cột mốc thực nghiệm chính xác: phần cứng ion bẫy hiện nay đã vượt qua một ranh giới cổ điển chặt chẽ trong trò chơi lấy mẫu phần bù có thể kiểm tra hiệu quả, trong khi độ tách biệt lý tưởng tăng theo hàm mũ cùng kích thước bài toán. 34

Đây là tuyên bố chặt chẽ hơn khẩu hiệu mơ hồ kiểu “ưu thế lượng tử”, bởi tác vụ, thước đo, cách kiểm chứng và các giả định về niềm tin đều có thể nêu rõ. Nhưng chính các chi tiết đó cũng khoanh vùng ý nghĩa của kết quả: thí nghiệm là bằng chứng thuyết phục rằng chồng chập lượng tử có thể mang lại lợi thế hàm mũ trong bối cảnh được thiết kế này — chưa phải bằng chứng rằng máy tính lượng tử đã vượt máy tính cổ điển trên hàng loạt khối lượng công việc thực tế.