Máy tính lượng tử thường được giới thiệu qua khả năng khai thác chồng chập và rối lượng tử để xử lý những bài toán mà máy tính cổ điển khó tiếp cận. Tuy nhiên, giữa một mạch lượng tử ngắn trong phòng thí nghiệm và một hệ thống có thể chạy thuật toán lớn tồn tại khoảng cách rất đáng kể. Qubit, đơn vị thông tin của máy tính lượng tử, nhạy cảm với môi trường hơn nhiều so với bit cổ điển. Nhiệt, dao động điện từ, rung động cơ học, sai số điều khiển hoặc sự không hoàn hảo của thiết bị đều có thể làm thay đổi trạng thái mà phép tính đang sử dụng.
Vì vậy, tiến bộ của máy tính lượng tử không chỉ được đo bằng số lượng qubit. Một hệ thống có nhiều qubit nhưng tỷ lệ lỗi cao vẫn có thể tạo ra kết quả không đáng tin cậy. Để thực hiện các thuật toán dài, máy cần một cơ chế phát hiện và xử lý lỗi trong khi vẫn bảo toàn thông tin lượng tử. Đó là vai trò của sửa lỗi lượng tử, một lĩnh vực nằm ở trung tâm của tham vọng xây dựng máy tính lượng tử chịu lỗi.
Qubit khác bit cổ điển ở điểm nào khi xảy ra lỗi?
Trong máy tính cổ điển, một bit được biểu diễn bằng trạng thái không hoặc một. Nếu một bit bị lật do nhiễu, hệ thống có thể sao chép nó nhiều lần, so sánh các bản sao và chọn giá trị xuất hiện nhiều hơn. Cách làm này dựa trên việc bit có thể được đo hoặc sao chép mà không tạo ra vấn đề cơ bản cho phép tính.
Qubit thì khác. Trạng thái của nó có thể là sự kết hợp của hai trạng thái cơ sở, đồng thời mang thông tin về biên độ và pha. Việc đo trực tiếp qubit thường làm sụp đổ trạng thái chồng chập, khiến thông tin ban đầu không còn nguyên vẹn. Qubit cũng không thể được sao chép hoàn hảo theo cách thông thường. Do đó, một hệ thống không thể chỉ tạo nhiều bản sao của cùng một qubit rồi kiểm tra chúng như với bộ nhớ cổ điển.
Sửa lỗi lượng tử phải tìm một con đường khác. Thay vì sao chép nguyên trạng thái, các nhà nghiên cứu phân tán thông tin của một qubit logic vào một nhóm qubit vật lý. Những qubit vật lý này cùng nhau tạo thành một biểu diễn dư thừa. Hệ thống có thể kiểm tra các quan hệ giữa chúng để biết lỗi đã xuất hiện ở đâu, nhưng không cần đo trực tiếp thông tin logic đang được bảo vệ.
Qubit vật lý và qubit logic
Qubit vật lý là phần tử thực sự được tạo ra và điều khiển bằng phần cứng, chẳng hạn một mạch siêu dẫn, ion bị bẫy hoặc nền tảng công nghệ khác. Nó chịu tác động trực tiếp của nhiễu và thường chỉ duy trì trạng thái lượng tử trong một khoảng thời gian hữu hạn. Qubit logic là đơn vị thông tin được mã hóa từ nhiều qubit vật lý nhằm giảm ảnh hưởng của các lỗi riêng lẻ.
Cách phân biệt này giải thích vì sao con số qubit được công bố không phải lúc nào cũng phản ánh trực tiếp năng lực tính toán hữu ích. Một máy có thể sở hữu nhiều qubit vật lý nhưng chưa có đủ qubit logic ổn định để chạy thuật toán dài. Ngược lại, một hệ thống có ít qubit vật lý hơn nhưng kiểm soát lỗi tốt hơn có thể là nền tảng hứa hẹn hơn cho các ứng dụng thực tế.
Quá trình mã hóa thường tạo ra các phép đo phụ, được gọi là phép đo hội chứng lỗi. Những phép đo này không trả lời trạng thái logic là gì. Chúng chỉ cho biết các quan hệ dự kiến giữa những qubit vật lý có còn đúng hay không. Nếu một quan hệ bị phá vỡ, bộ điều khiển có thể suy luận rằng một lỗi đã xảy ra và áp dụng thao tác hiệu chỉnh phù hợp, hoặc ghi nhận thông tin đó để xử lý trong phần mềm.
Hội chứng lỗi giúp kiểm tra mà không đọc nội dung phép tính
Điểm tinh tế của sửa lỗi lượng tử nằm ở việc hệ thống phải quan sát lỗi mà không phá hủy dữ liệu. Các qubit phụ trợ được nối với qubit dữ liệu thông qua những cổng lượng tử được thiết kế cẩn thận. Sau chuỗi tương tác, qubit phụ trợ được đo. Kết quả đo tạo thành hội chứng, cho biết một số loại lỗi có khả năng đã xảy ra trong khu vực nào của mã lượng tử.
Hội chứng không phải là bản thân lỗi và cũng không phải dữ liệu của thuật toán. Cùng một hội chứng có thể phù hợp với nhiều khả năng lỗi khác nhau, vì vậy bộ giải mã cần kết hợp thông tin từ nhiều vòng đo. Nó thường tìm cách xác định mẫu lỗi có khả năng nhất dựa trên đặc tính phần cứng và lịch sử các hội chứng. Sau đó, hệ thống có thể thực hiện hiệu chỉnh trực tiếp hoặc cập nhật cách diễn giải trạng thái logic.
Điều này tạo nên một vòng lặp liên tục giữa phần cứng lượng tử, thiết bị đo, bộ điều khiển cổ điển và phần mềm giải mã. Máy tính lượng tử chịu lỗi không chỉ là một con chip đặt trong môi trường lạnh. Đó là một kiến trúc phối hợp, trong đó dữ liệu lượng tử cần được vận hành cùng hệ thống điện tử tốc độ cao và các thuật toán theo dõi lỗi.
Mã bề mặt và ý tưởng về ngưỡng lỗi
Một trong những hướng tiếp cận nổi bật của sửa lỗi lượng tử là mã bề mặt. Trong cách tổ chức này, các qubit được sắp xếp theo cấu trúc hình học trên một bề mặt và liên kết với những phép đo kiểm tra lân cận. Mã có thể bảo vệ thông tin trước nhiều lỗi cục bộ, trong khi vẫn phù hợp với kiểu kết nối tương đối gần mà một số nền tảng phần cứng có thể triển khai.
Khái niệm quan trọng đi kèm là ngưỡng lỗi. Nếu tỷ lệ lỗi của các thao tác cơ bản thấp hơn một mức nhất định, việc mở rộng mã bằng thêm qubit có thể làm giảm tỷ lệ lỗi của qubit logic. Nếu tỷ lệ lỗi cao hơn ngưỡng, việc thêm qubit lại không giải quyết được vấn đề và thậm chí khiến hệ thống phức tạp hơn mà không đáng tin cậy hơn.
Ngưỡng này không phải một con số cố định cho mọi máy tính lượng tử. Nó phụ thuộc vào loại mã, mô hình lỗi, khả năng kết nối, chất lượng phép đo, thời gian thực hiện cổng và cách bộ giải mã xử lý dữ liệu. Vì thế, một kết quả quan trọng của phần cứng không chỉ là trình diễn một cổng lượng tử, mà còn là chứng minh rằng các lỗi có thể được đo, phân loại và giảm xuống một cách có hệ thống khi mã được mở rộng.
Vì sao sửa lỗi đòi hỏi nhiều tài nguyên?
Chi phí lớn nhất đến từ số lượng qubit vật lý cần thiết cho một qubit logic có chất lượng cao. Tỷ lệ dư thừa phụ thuộc vào mức lỗi của phần cứng và độ tin cậy cần thiết cho thuật toán. Nếu mỗi qubit vật lý đã khá ổn định, mã có thể đạt mục tiêu với quy mô vừa phải. Nếu lỗi vẫn thường xuyên xảy ra, hệ thống phải dùng mã lớn hơn, nhiều vòng đo hơn và bộ giải mã mạnh hơn.
Ngoài qubit dữ liệu, kiến trúc còn cần qubit phụ trợ, đường kết nối, thiết bị đọc, bộ điều khiển và hệ thống đồng bộ. Các phép đo hội chứng phải diễn ra đủ nhanh để phát hiện lỗi trước khi lỗi tích lũy thành vấn đề nghiêm trọng. Mỗi lớp bổ sung cũng mở ra những nguồn lỗi mới. Kết nối dài hơn có thể làm giảm chất lượng tín hiệu, mạch điều khiển phức tạp hơn có thể tạo thêm nhiễu, còn bộ giải mã chậm có thể khiến thông tin sửa lỗi không theo kịp quá trình tính toán.
Đây là lý do việc xây dựng máy tính lượng tử không đơn giản là tăng số qubit theo một đường thẳng. Nhà thiết kế phải cân bằng mật độ kết nối, khả năng mở rộng, thời gian sống của trạng thái, tốc độ cổng, độ chính xác phép đo và năng lực xử lý cổ điển. Một kiến trúc tốt cần dự đoán được cách những yếu tố này tương tác khi hệ thống chuyển từ vài qubit lên quy mô lớn hơn.
Từ phát hiện lỗi đến tính toán chịu lỗi
Phát hiện được lỗi chưa đồng nghĩa với việc máy đã có thể chạy thuật toán dài. Hệ thống chịu lỗi còn phải tổ chức các cổng logic sao cho hoạt động sửa lỗi không tự tạo ra lỗi lan truyền. Một lỗi trên qubit vật lý, nếu đi qua một chuỗi thao tác không phù hợp, có thể ảnh hưởng đến nhiều phần của mã. Thiết kế cổng logic cần giới hạn sự lan truyền đó và bảo đảm rằng lỗi vẫn có thể được nhận diện ở các vòng kiểm tra sau.
Một số phép toán logic có thể được thực hiện trực tiếp trên cấu trúc mã, trong khi những phép toán khác cần quy trình phức tạp hơn. Các trạng thái đặc biệt, phép đo trung gian và kỹ thuật chuyển đổi giữa những dạng mã khác nhau có thể trở thành phần đáng kể của chi phí tính toán. Vì vậy, khi đánh giá một thuật toán lượng tử, không nên chỉ đếm số cổng lý thuyết. Cần xem cả số qubit logic, số vòng sửa lỗi và lượng tài nguyên cần để triển khai từng phép toán một cách an toàn.
Phần mềm cũng có vai trò quan trọng. Bộ biên dịch lượng tử phải chuyển thuật toán trừu tượng thành chuỗi thao tác phù hợp với kết nối và đặc tính lỗi của phần cứng. Bộ lập lịch có thể sắp xếp các phép đo để giảm thời gian chờ, còn bộ giải mã cần hoạt động đủ nhanh và ổn định. Trong tương lai, việc thiết kế thuật toán có thể phải tính đến chi phí sửa lỗi ngay từ đầu thay vì coi sửa lỗi là một lớp độc lập ở bên dưới.
Những tiêu chí nên dùng để đánh giá tiến bộ
Khi đọc về một hệ thống lượng tử mới, số qubit vật lý chỉ là một trong nhiều thông tin cần xem xét. Người đọc nên quan tâm đến tỷ lệ lỗi của từng loại thao tác, độ chính xác phép đo, thời gian duy trì trạng thái và khả năng kết nối giữa các qubit. Quan trọng hơn, cần phân biệt một phép đo chất lượng đơn lẻ với khả năng vận hành lặp lại trong nhiều chu kỳ sửa lỗi.
Các dấu hiệu có ý nghĩa hơn gồm khả năng giảm tỷ lệ lỗi logic khi tăng kích thước mã, độ ổn định của kết quả qua nhiều lần chạy và mức độ tự động hóa của quy trình hiệu chỉnh. Một hệ thống có thể chưa chạy ứng dụng thương mại nhưng vẫn đạt tiến bộ đáng kể nếu chứng minh được rằng việc thêm tài nguyên thực sự làm qubit logic tốt hơn. Ngược lại, một màn trình diễn ngắn với kết quả đẹp chưa chắc cho thấy máy đã sẵn sàng cho phép tính quy mô lớn.
Ý nghĩa đối với tương lai của máy tính lượng tử
Sửa lỗi lượng tử không phải một tính năng phụ được thêm vào sau khi phần cứng hoàn thiện. Nó ảnh hưởng đến cách thiết kế chip, hệ thống làm lạnh, điện tử điều khiển, giao thức đo và cả thuật toán. Mục tiêu cuối cùng là tạo ra những qubit logic có thể lưu giữ thông tin đủ lâu để thực hiện các chuỗi phép toán phức tạp, trong khi chi phí tài nguyên vẫn nằm trong giới hạn có thể xây dựng.
Con đường này có thể không diễn ra theo một mốc duy nhất. Các hệ thống gần hạn có thể tập trung vào những mạch ngắn, kỹ thuật giảm lỗi và ứng dụng khai thác kết quả gần đúng. Các hệ thống chịu lỗi đầy đủ sẽ cần mức tích hợp cao hơn giữa phần cứng và phần mềm, cùng những phương pháp kiểm chứng nghiêm ngặt hơn. Trong cả hai giai đoạn, hiểu rõ cơ chế lỗi là điều kiện cần để tránh đánh đồng một nguyên mẫu nhiều qubit với một máy tính lượng tử hữu ích.
Thách thức của sửa lỗi lượng tử cũng cho thấy bản chất của cuộc đua lượng tử không chỉ nằm ở việc tạo ra trạng thái kỳ lạ. Vấn đề quyết định là duy trì, điều khiển và sử dụng trạng thái đó đủ lâu trong một hệ thống thực tế. Khi các nhà nghiên cứu có thể biến nhiều qubit vật lý không hoàn hảo thành những qubit logic đáng tin cậy, máy tính lượng tử mới tiến gần hơn đến khả năng giải quyết các bài toán mà máy tính cổ điển khó xử lý.
