Fault tolerance giữ lỗi không lan rộng thế nào?

• Mô hình lỗi lan truyền không được hạn chế
• Mô hình có kiểm tra và hiệu chỉnh

Bạn sẽ học được gì

• Nêu lỗi trong máy tính lượng tử đến từ đâu và nặng cỡ nào so với máy cổ điển.
• Mô tả mã sửa lỗi và tính toán chịu lỗi nhằm làm gì.
• Chỉ ra giới hạn của chúng và hướng NISQ là gì.

Cần biết trước

Nên đọc trước bài Decoherence làm mất tính lượng tử thế nào?. Các thuật ngữ khác được giải thích ngay trong bài.

Lỗi trong máy tính lượng tử đến từ đâu, và nặng cỡ nào?

Lỗi đến từ nhiễu bên ngoài làm hỏng trạng thái của qubit, và nó xảy ra thường hơn nhiều so với máy cổ điển. Theo bài giải thích của NIST, một từ trường hay điện trường lạc, biến động nhiệt độ hoặc thậm chí một tia vũ trụ có thể làm hỏng chồng chập hoặc trạng thái rối. Một lỗi làm đổi trạng thái của qubit, phá hoặc làm sai thông tin nó mang.

Muốn làm việc hữu ích, nhiều qubit phải rối với nhau trong khi giữ được chồng chập.

Tỷ lệ lỗi phụ thuộc thiết bị và loại thao tác. Không nên coi một con số trong bài giải thích tổng quan là hằng số cho mọi máy, hay đồng nhất lỗi của qubit vật lý với lỗi của thông tin logic được mã hóa.

• Các qubit rối với nhau
• Nhiễu điện từ (nét đỏ gãy)
• Nhiễu nhiệt (vòng vàng có tia)

Mã sửa lỗi và chịu lỗi làm gì?

Theo Microsoft Learn, trạng thái chung của nhiều qubit vật lý biểu diễn một qubit logic. Các qubit phụ được dùng để lấy thông tin về lỗi mà không đọc trực tiếp thông tin logic. Kết quả đo các qubit phụ gọi là syndrome: dấu hiệu giúp chọn phép hiệu chỉnh trong mô hình lỗi của mã. Đây không phải chép một trạng thái chưa biết thành nhiều bản sao độc lập.

Stanford phân biệt mã sửa lỗi với việc tổ chức tính toán chịu lỗi để giảm sự lan truyền lỗi trong quá trình tính. Vì các thao tác xử lý cũng thuộc phép tính có nhiễu, cần đánh giá cả quá trình thay vì chỉ nói một qubit đã được mã hóa là đủ.

• Các bước của phép tính
• Các khâu kiểm tra (thanh vàng)
• Một lỗi vừa xuất hiện

Chúng có giới hạn gì, và NISQ là gì?

Mỗi mã chỉ xử lý được một phạm vi lỗi, với giả định về phần cứng và nhiễu. Vì thế cần so sánh hiệu quả ở mức logic với phần cứng chưa mã hóa, không chỉ đếm thêm qubit. Nghiên cứu được NIST giới thiệu đã ghi nhận mã hóa logic kết hợp phát hiện lỗi cải thiện hiệu năng thuật toán trong các phép thử được báo cáo. Đây là kết quả thực nghiệm có phạm vi, không phải bảo đảm mọi máy quy mô lớn đều đã chịu lỗi.

Trong ngắn hạn, nguồn nhắc tới một hướng khác là mô hình NISQ (Noisy Intermediate-Scale Quantum). Mô hình này không dùng bất kỳ cơ chế sửa lỗi nào. Nó tập trung vào việc xây dựng các thành phần và giải các bài toán vốn có khả năng chịu nhiễu tốt hơn.

NISQ và tính toán lượng tử chịu lỗi vì vậy là hai cách tổ chức khác nhau. Việc một hệ có thêm qubit không tự chứng minh nó có qubit logic đáng tin cậy hơn.

• Hướng NISQ: mạch ngắn, chịu nhiễu
• Hướng chịu lỗi: mạch dài có khâu kiểm tra

Ví dụ trong đời sống

Hãy hình dung một dây chuyền nhiều công đoạn, mỗi công đoạn có xác suất nhỏ làm hỏng sản phẩm. Nếu sản phẩm hỏng ở công đoạn đầu cứ chuyển tiếp mà không ai kiểm tra thì lỗi lan ra tới cuối dây chuyền. Chịu lỗi giống việc đặt thêm khâu kiểm tra để chặn lỗi ở chỗ nó xuất hiện.

Đây là so sánh giả định để dễ hình dung ý, không mô tả một cách sửa lỗi lượng tử cụ thể.

Trong hình chuyển động dưới đây, màu đỏ là dấu hiệu lỗi trong một mô hình minh họa. Các đèn chỉ việc thu thông tin về lỗi trước khi hiệu chỉnh; đây không phải đọc trực tiếp trạng thái logic hay một tường chắn ngăn được mọi lỗi.

Hiểu lầm thường gặp

Sửa lỗi lượng tử không làm máy lượng tử hết lỗi. Nguồn Stanford nói giải pháp chỉ có thể giảm mạnh sự lan truyền của lỗi.

Mã hóa logic đã có kết quả thực nghiệm, nhưng không suy ra mọi quy mô và mọi mô hình nhiễu đều đã được giải quyết. Cần xem phạm vi phép thử và mức cải thiện thực sự.

NISQ không phải máy có sửa lỗi. Mô hình này không dùng cơ chế sửa lỗi nào và chọn bài toán chịu nhiễu tốt.

Câu hỏi thường gặp

Fault tolerance là gì?

Là cách tổ chức phép tính lượng tử để lỗi do nhiễu không lan rộng, đi cùng mã sửa lỗi lượng tử.

Máy tính lượng tử mắc lỗi nhiều cỡ nào?

Không có một tỷ lệ chung cho mọi máy. Cần phân biệt loại thao tác, điều kiện đo và lỗi ở mức vật lý hay mức logic.

Vì sao không đo trực tiếp mọi qubit để tìm lỗi?

Vì cần giữ thông tin logic trong khi chẩn đoán lỗi. Microsoft Learn mô tả cách dùng qubit phụ để thu syndrome mà không đọc trực tiếp trạng thái logic.

NISQ là gì?

Là hướng dùng thành phần và bài toán vốn chịu nhiễu tốt, không dùng cơ chế sửa lỗi nào.

Tóm tắt

• Nhiễu bên ngoài làm hỏng qubit, và máy lượng tử mắc lỗi nhiều hơn nhiều so với máy cổ điển.
• Mã sửa lỗi và tính toán chịu lỗi có thể giảm mạnh sự lan truyền của lỗi trong phép tính có nhiễu.
• Hiệu quả của chúng phụ thuộc mô hình nhiễu, và NISQ là hướng không dùng sửa lỗi.