Giải thích về sửa lỗi lượng tử và qubit logic

Cách sửa lỗi lượng tử biến nhiều qubit vật lý nhiễu thành các qubit logic đáng tin cậy hơn, và vì sao khoảng cách mã, ngưỡng và mã bề mặt lại quan trọng.

Trang này được dịch từ tiếng Anh. Tên công ty, sản phẩm và liên kết nguồn được giữ nguyên. Đọc bản gốc tiếng Anh

Sửa lỗi lượng tử là tập hợp các phương pháp dùng để giữ cho thông tin lượng tử mong manh vẫn có thể sử dụng được dù có nhiễu, mất kết hợp và các phép toán không hoàn hảo. Ý tưởng cơ bản là mã hóa một hoặc nhiều qubit logic vào một tập lớn hơn gồm các qubit vật lý, liên tục đo các phép kiểm tra được chọn cẩn thận để làm lộ thông tin lỗi nhưng không làm lộ trạng thái lượng tử đang được bảo vệ, rồi áp dụng các bước phục hồi dựa trên hội chứng lỗi quan sát được.

Vì sao máy tính lượng tử cần sửa lỗi

Thông tin lượng tử đặc biệt mong manh. Lỗi có thể đến từ mất kết hợp và các nguồn nhiễu lượng tử khác, và trong điện toán lượng tử thực tế còn phải đối mặt với cổng lỗi, khởi tạo trạng thái không hoàn hảo và sai số đo. Điều đó khiến sửa lỗi trở thành yếu tố trung tâm không chỉ với việc lưu trữ trạng thái lượng tử mà cả với việc chạy các phép tính dài.

Sửa lỗi cổ điển hoạt động bằng cách thêm dư thừa vào các bit. Sửa lỗi lượng tử cũng hướng tới điều tương tự, nhưng có một ràng buộc lớn: đo trực tiếp một qubit thường sẽ làm nhiễu loạn trạng thái. Vì vậy, một mã lượng tử phải trích xuất được thông tin về điều gì đã xảy ra sai sót mà không làm lộ chính thông tin logic. Trong nhiều mã, điều này được thực hiện thông qua phép đo các toán tử giao hoán gọi là bộ ổn định.

Một cách hữu ích để hình dung triển vọng của sửa lỗi lượng tử là coi nó như một lớp mô phỏng: với một kênh vật lý nhiễu phù hợp với một mô hình lỗi nào đó, có thể dùng mã sửa lỗi lượng tử để xấp xỉ đủ tốt một kênh logic không nhiễu, từ đó khiến truyền thông hoặc tính toán trở nên khả thi trong thực tế.

Qubit vật lý, qubit logic và khoảng cách mã

Một ký hiệu chuẩn cho mã lượng tử là [[n,k,d]], nghĩa là mã hóa k qubit logic vào n qubit vật lý với khoảng cách mã d.

Ba tham số này nắm bắt phần lớn các đánh đổi:

n: số qubit vật lý mà mã sử dụng
k: số qubit logic được bảo vệ
d: khoảng cách mã, một đại lượng gắn với mức độ khó để lỗi có thể hành xử như một phép toán logic

Tốc độ mã, k/n, là một thước đo hiệu quả cơ bản. Tốc độ cao hơn đồng nghĩa chi phí phụ trội trên mỗi qubit logic thấp hơn. Nhưng khoảng cách cao hơn và tốc độ cao hơn thường kéo theo hai hướng ngược nhau, nên thiết kế mã là bài toán cân bằng giữa độ tin cậy và chi phí phần cứng.

Xét một cách khái quát, một chu trình sửa lỗi lượng tử có ba giai đoạn:

Mã hóa thông tin logic vào một hệ vật lý lớn hơn
Lưu trữ hoặc truyền tải qua một kênh nhiễu
Trích xuất hội chứng và phục hồi, tức xác định lỗi có khả năng xảy ra nhất và sửa chúng

Hội chứng lỗi là yếu tố then chốt. Các phép đo bộ ổn định được chọn sao cho chỉ làm lộ thông tin về lỗi, chứ không làm lộ trạng thái lượng tử đã được mã hóa. Nếu không, quá trình sửa lỗi sẽ phá hủy các chồng chập mà máy tính đang cố gắng bảo toàn.

Các mã nhắm tới những loại lỗi nào?

Các lỗi chi phối phụ thuộc rất mạnh vào nền tảng phần cứng. Những ví dụ quan trọng gồm:

Suy giảm biên độ, hay mất kích thích, gắn với quá trình thư giãn về trạng thái cân bằng
Lỗi kết hợp, phát sinh từ động lực học nội tại của hệ
Mất pha, một trong những quá trình nhiễu chi phối trong nhiều cách triển khai qubit

Dù vậy, nhiều mã lượng tử làm việc với một mô hình đơn giản hóa, trong đó lỗi được coi là các tổ hợp của những phép toán Pauli:

X cho lỗi kiểu lật bit
Z cho lỗi kiểu lật pha
Y cho lỗi kết hợp lật bit và lật pha

Cách nhìn dựa trên Pauli này không bao quát mọi quá trình nhiễu thực tế, nhưng được dùng rộng rãi vì giúp việc phân tích và xây dựng mã trở nên dễ xử lý hơn. Theo mô hình đó, trích xuất hội chứng và giải mã thường có thể được diễn đạt theo những cách vay mượn ý tưởng từ lý thuyết mã hóa cổ điển.

Sự đơn giản hóa đó đi kèm một lưu ý: giải mã vẫn có thể khó. Một mã có tham số [[n,k,d]] có 2^(n-k) hội chứng khả dĩ, con số này nhanh chóng trở nên quá lớn đối với các bảng tra cứu đơn giản. Trong thực tế, thường cần các thuật toán giải mã cổ điển hiệu quả.

Chịu lỗi: sửa lỗi mà không làm mọi thứ tệ hơn

Chỉ sửa lỗi thôi là chưa đủ cho tính toán có thể mở rộng. Trong một máy tính, chính bộ máy sửa lỗi cũng dùng cổng, phép đo và các ancilla được chuẩn bị sẵn — tất cả đều có thể thất bại. Đây là lúc khả năng chịu lỗi xuất hiện.

Ý tưởng trung tâm là thiết kế việc mã hóa, đo hội chứng và phục hồi sao cho một số nhỏ lỗi vật lý không lan rộng thành một lỗi logic không thể sửa được. Sửa lỗi lượng tử cho biết điều này gắn với định lý ngưỡng lượng tử: các phép tính lượng tử dài tùy ý là khả thi bằng cách lặp đệ quy việc nối mã, miễn là tỷ lệ lỗi của từng cổng lượng tử riêng lẻ nằm dưới một ngưỡng nhất định.

Sửa lỗi lượng tử đưa ra một ước tính lịch sử từ năm 2004 rằng ngưỡng này có thể cao tới 1–3%, với giả định có đủ qubit sẵn có. Nó cũng đưa ra trực giác vì sao ngưỡng lại quan trọng: dưới ngưỡng, quá trình sửa loại bỏ nhiều lỗi hơn số lỗi mà nó đưa vào; trên ngưỡng, quá trình sửa có thể trở nên gây hại ròng.

Khái niệm ngưỡng này là một trong những lý do khiến qubit logic trở thành một trừu tượng hữu ích đến vậy. Qubit logic không phải là một phần tử thiết bị đơn lẻ mà là một đối tượng đã được mã hóa, với tỷ lệ lỗi hiệu dụng mà về nguyên tắc có thể được đẩy xuống thấp hơn bằng cách bổ sung thêm tài nguyên vật lý và dùng các quy trình chịu lỗi tốt hơn.

Các họ mã lớn và những gì chúng tối ưu

Các họ mã khác nhau thực hiện những đánh đổi khác nhau giữa chi phí phụ trội, khoảng cách, cấu trúc và mức độ dễ triển khai.

Họ mã	Ý tưởng chính	Đánh đổi hoặc đặc điểm đáng chú ý
Mã Shor	Khái quát thành `[[d^2,1,d]]`; dùng các mã lặp bên trong và bên ngoài để xử lý riêng lỗi lật bit và lỗi lật pha	Tăng khoảng cách, nhưng tốc độ mã thấp hơn
Steane / mã Hamming lượng tử	Thay cấu trúc lặp bằng mã Hamming cổ điển `[7,4]` và xử lý đối xứng lỗi `X` và `Z`	Tốc độ mã tốt hơn kiểu lặp của Shor
Mã CSS	Khung tổng quát bắt nguồn từ các cấu trúc liên quan của Calderbank, Shor và Steane	Tách riêng các bộ ổn định `X` và `Z`, hữu ích cho đo hội chứng chịu lỗi
Mã năm qubit	Dùng bốn bộ ổn định trộn `X` và `Z`; không phải mã CSS	Là mã nhỏ nhất có thể bảo vệ một qubit logic trước lỗi tùy ý trên một qubit đơn
Mã bề mặt	Mã bộ ổn định tô pô trên một lưới 2D	Các phép kiểm tra cục bộ và bố trí phẳng hấp dẫn về mặt thực nghiệm

Mã năm qubit đặc biệt quan trọng về mặt khái niệm. Đây là mã nhỏ nhất có thể bảo vệ một qubit logic khỏi các lỗi tùy ý trên một qubit đơn, một thực tế có liên hệ với cận Hamming lượng tử.

Sửa lỗi lượng tử cũng nhắc đến mã không cộng tính, nằm ngoài hình thức bộ ổn định được dùng bởi các mã cộng tính [[n,k,d]]. Trong một số trường hợp chúng có thể đạt tốc độ mã cao hơn, nhưng khó xây dựng và phân tích hơn đáng kể nên vẫn ít được khám phá hơn.

Vì sao mã bề mặt trở nên quan trọng đến vậy

Trong các họ mã hiện đại, mã bề mặt giữ vai trò then chốt đối với sửa lỗi lượng tử có thể mở rộng trong năm 2025. Lý do chính nằm ở kiến trúc: chúng được xác định bằng các phép đo bộ ổn định cục bộ trên một lưới hai chiều, thân thiện với nhiều nền tảng phần cứng hơn so với các mã đòi hỏi tương tác tầm xa.

Mã bề mặt là một mã bộ ổn định tô pô. Trong phiên bản toric do Alexei Kitaev in 1997 giới thiệu, qubit nằm trên các cạnh của một lưới 2D, và các bộ ổn định gắn với các đỉnh và các plaquette. Lỗi xuất hiện dưới dạng vi phạm các bộ ổn định này.

Một hình dung hữu ích là lỗi tạo ra hoặc di chuyển các khuyết tật cục bộ, được mô tả như anyon:

lỗi Z làm lật các bộ ổn định đỉnh lân cận
lỗi X làm lật các bộ ổn định plaquette lân cận

Việc sửa lỗi tương đương với ghép cặp và triệt tiêu lại các khuyết tật này. Nếu các đường đi tạo ra là tầm thường về mặt tô pô, hiệu ứng ròng chỉ là một bộ ổn định và thông tin logic không đổi. Nếu một đường đi là không tầm thường về mặt tô pô, quá trình đó sẽ hành xử như một toán tử logic và làm thay đổi thông tin đã mã hóa.

Cách diễn giải hình học đó là một trong những lý do khiến mã bề mặt trực quan đến vậy. Khoảng cách mã trở thành độ dài tối thiểu của một đường đi hoặc vòng lặp không tầm thường thực hiện một lỗi logic.

Mã bề mặt toric, phẳng và phẳng xoay

Một số hình học liên quan có vai trò quan trọng.

Mã toric dùng điều kiện biên tuần hoàn, tương đương về mặt tô pô với một hình xuyến. Với một lưới d × d, nó có 2d^2 qubit, và không gian mã của nó có bốn chiều, nên lưu trữ hai qubit logic.

Đối với phần cứng, biên mở thường thực tế hơn, dẫn đến mã phẳng. Nhưng thiết kế biên rất quan trọng. Một mã bề mặt chỉ có một loại biên sẽ không mã hóa được qubit logic. Để tạo ra một không gian mã không tầm thường, cần các biên trơn và thô xen kẽ nhau. Với biên trên và dưới là trơn, còn biên trái và phải là thô, mã phẳng lưu trữ một qubit logic, và các đường đi không tầm thường tối thiểu về mặt tô pô có độ dài d, cho khoảng cách mã d.

Mã phẳng xoay là một cải tiến về hiệu quả. Surface code cho biết một mã phẳng xoay khoảng cách d dùng d^2 qubit vật lý, so với d^2 + (d − 1)^2 của phiên bản phẳng không xoay, trong khi vẫn giữ nguyên cùng khoảng cách mã.

Ngưỡng, giải mã và ý nghĩa của “dưới ngưỡng”

Mã bề mặt cũng nổi bật nhờ ngưỡng tương đối cao dưới các mô hình nhiễu chuẩn. Với một mô hình mà lỗi bit và lỗi pha xảy ra độc lập trên mỗi qubit với xác suất p, Surface code cho biết:

một xác suất tới hạn khoảng 11% từ một phép ánh xạ sang vật lý thống kê
khoảng 10.5% khi dùng bộ giải mã minimum weight perfect matching được sử dụng rộng rãi

Những con số đó rất quan trọng, nhưng cần được diễn giải. Thứ nhất, chúng phụ thuộc vào mô hình lỗi được giả định. Thứ hai, giới hạn lý thuyết chỉ hữu ích nếu có một bộ giải mã thực tế có thể tiến gần tới nó. Thứ ba, một số bộ giải mã cho kết quả kém hơn khi lỗi bit và lỗi pha có tương quan, chẳng hạn dưới nhiễu khử cực.

Vì vậy, “dưới ngưỡng” không có nghĩa là hệ thống không còn lỗi. Nó có nghĩa là, về nguyên tắc, tăng kích thước mã có thể làm giảm tỷ lệ lỗi logic thay vì khiến tình hình xấu đi.

Vượt ra ngoài các mã khối qubit

Sửa lỗi lượng tử rộng hơn các mã khối qubit-sang-qubit. Thông tin lượng tử có thể được mã hóa vào qudit hoặc vào dao động tử, vốn có vô số mức năng lượng. Các cách tiếp cận boson như cat, GKP và kiểu nhị thức khai thác tính dư thừa trong một dao động tử duy nhất thay vì dàn trải một qubit logic trên nhiều hệ hai mức.

Điều đó làm nổi bật một câu hỏi thiết kế còn bỏ ngỏ quan trọng của lĩnh vực: nên đặt phần dư thừa trên nhiều qubit vật lý, bên trong các hệ chiều cao hơn, hay trong các dạng lai của cả hai?

Lĩnh vực đang ở đâu trong năm 2025

Mã bề mặt đặc biệt có hệ quả lớn trong năm 2025. Sửa lỗi lượng tử cho biết chúng cho phép tạo ra các qubit logic dưới ngưỡng với độ trung thực được cải thiện trong các hệ siêu dẫn, đồng thời lưu ý riêng rằng Google Quantum AI đã triển khai một mã phẳng khoảng cách 7 trên bộ xử lý siêu dẫn Willow của mình, cho thấy tỷ lệ lỗi vật lý dưới ngưỡng.

Điều đó không có nghĩa là thách thức rộng hơn đã được giải quyết. Qubit logic vẫn đòi hỏi chi phí phụ trội đáng kể, giải mã vẫn là một bài toán hệ thống thực sự, và hiệu năng phụ thuộc vào việc ghép lựa chọn mã với nhiễu thực tế của phần cứng. Nhưng điều đó cho thấy vì sao qubit logic hiện là một mục tiêu kỹ thuật thực tiễn chứ không chỉ còn là một cấu trúc lý thuyết.

Những điểm chính cần nhớ

Sửa lỗi lượng tử bảo vệ thông tin lượng tử mong manh bằng cách mã hóa qubit logic vào các hệ vật lý lớn hơn và liên tục trích xuất hội chứng lỗi.
Ký hiệu chuẩn [[n,k,d]] thể hiện đánh đổi chính: chi phí vật lý phụ trội so với dung lượng logic được bảo vệ và khoảng cách mã.
Phần lớn các mã được dùng rộng rãi đơn giản hóa nhiễu phần cứng thành các lỗi Pauli X, Y và Z, dù thiết bị thực cũng biểu hiện các hiệu ứng như suy giảm biên độ và mất pha.
Khả năng chịu lỗi rất quan trọng vì chính quá trình sửa lỗi cũng có nhiễu; định lý ngưỡng nói rằng tính toán có thể mở rộng chỉ khả thi dưới một tỷ lệ lỗi vật lý nhất định.
Mã năm qubit là mã nhỏ nhất có thể bảo vệ một qubit logic trước lỗi tùy ý trên một qubit đơn.
Mã CSS được đánh giá cao vì tách riêng các bộ ổn định X và Z, điều này hỗ trợ đo hội chứng chịu lỗi.
Mã bề mặt nổi bật vì các bộ ổn định của chúng mang tính cục bộ trên một lưới 2D, khiến chúng hấp dẫn về mặt thực nghiệm.
Trong mã bề mặt, thất bại logic tương ứng với các đường đi lỗi không tầm thường về mặt tô pô; khoảng cách mã là kích thước tối thiểu của một đường đi như vậy.
Các mã bề mặt phẳng xoay giảm số lượng qubit so với các mã phẳng không xoay mà vẫn giữ nguyên khoảng cách.
Các giá trị ngưỡng được báo cáo và những trình diễn gần đây là tín hiệu đáng khích lệ, nhưng hiệu năng thực tế vẫn phụ thuộc vào nhiễu phần cứng, chất lượng bộ giải mã và chi phí qubit vật lý lớn.