[论文解读] An Introduction to Quantum Error Correction

Daniel Gottesman|ArXiv.org|Apr 18, 2000

Quantum Computing Algorithms and Architecture参考文献 25被引用 78

一句话总结

本文介紹了使用 stabilizer 形式化方法進行量子錯誤修正，展示如何透過將邏輯量子位元編碼為糾纏態，使量子碼（特別是九量子位元碼）能修正位元翻轉與相位翻轉錯誤。本文建立量子 stabilizer 碼與 GF(4) 上古典碼之間的深刻關聯，使既有的編碼理論得以應用於設計容錯量子運算，當錯誤率低於某一臨界值時，可達成可靠長時間量子運算的閾值。

ABSTRACT

Quantum states are very delicate, so it is likely some sort of quantum error correction will be necessary to build reliable quantum computers. The theory of quantum error-correcting codes has some close ties to and some striking differences from the theory of classical error-correcting codes. Many quantum codes can be described in terms of the stabilizer of the codewords. The stabilizer is a finite Abelian group, and allows a straightforward characterization of the error-correcting properties of the code. The stabilizer formalism for quantum codes also illustrates the relationships to classical coding theory, particularly classical codes over GF(4), the finite field with four elements.

研究动机与目标

• 解決量子態因退相干與噪音而脆弱的問題，以應付量子運算中的干擾。
• 發展一個克服古典錯誤修正限制與 No-Cloning 定理之限制的量子錯誤修正框架。
• 建立量子 stabilizer 碼與 GF(4) 上古典碼之間的對應關係，使古典編碼理論能應用於量子錯誤修正。
• 透過設計在嘈雜硬體上執行閘操作與錯誤修正時仍能維持錯誤保護的協定，實現容錯量子運算。

提出的方法

• 使用 stabilizer 形式化方法，將量子碼描述為穩定邏輯碼空間的 Pauli 算子阿貝爾群。
• 透過結合三量子位元重複碼以修正位元翻轉錯誤，並使用符號編碼方式修正相位翻轉錯誤，從而構建九量子位元碼。
• 將 Pauli 算子 I、X、Y、Z 對應至 GF(4) 中的元素 0、1、ω²、ω，將對易關係轉化為 GF(4) 上的對稱內積。
• 在 GF(4) 中應用對偶碼條件，以確保未在 stabilizer 中的錯誤可被偵測與修正。
• 利用已知的 GF(4) 上自對偶碼（如五量子位元碼，即 GF(4) 上的漢明碼），構建具有已知錯誤修正特性的量子碼。
• 透過編碼的串接（例如，七量子位元碼以遞迴方式編碼），在物理錯誤率低於臨界值時，達成容錯量子運算的閾值。

实验结果

研究问题

• RQ1 如何在不進行克隆的情況下保護量子態，使其免受退相干與噪音的影響？
• RQ2 stabilizer 形式化在特徵化量子錯誤修正碼中扮演何種角色？
• RQ3 量子 stabilizer 碼與 GF(4) 上古典碼之間的對應關係，如何促進量子碼的建構？
• RQ4 在存在嘈雜閘與錯誤修正操作的情況下，哪些條件允許實現容錯量子運算？
• RQ5 當串接量子碼的錯誤率低於何值時，可實現任意長時間的容錯量子運算？

主要发现

• 九量子位元碼透過在串接結構中結合位元翻轉與相位翻轉修正，成功修正任意單一量子位元錯誤。
• stabilizer 形式化允許使用 Pauli 算子的阿貝爾群系統性地特徵化量子碼，進而實現高效錯誤偵測與修正。
• stabilizer 碼與 GF(4) 上的加法碼之間存在一一對應關係，其中 Pauli 算子的對易性對應於對稱內積為零。
• 五量子位元碼等價於 GF(4) 上的漢明碼，顯示許多已知的古典碼可直接套用於量子錯誤修正。
• 當錯誤率低於閾值時，容錯量子運算可達成，此由編碼串接與邏輯閘的精心設計所支援，以維持錯誤保護。
• 串接七量子位元碼或類似碼，可在物理錯誤率低於閾值時，以多對數時間複雜度的資源開銷，實現任意長時間的量子運算。