[论文解读] Introduction to Quantum Error Correction and Fault Tolerance

S. M. Girvin|arXiv (Cornell University)|Nov 17, 2021

Quantum Computing Algorithms and Architecture被引用 10

一句话总结

本文介紹了利用超導電路與微波光子實現量子誤差修正與容錯計算，專注於硬體效率高的方案，如 Gottesman-Kitaev-Preskill（GKP）碼與玻色子碼。研究展示了實驗進展，首次實現 GKP 碼在工程化耗散與穩定子型誤差修正下突破損益平衡點，展現容錯量子計算的潛力。

ABSTRACT

These lecture notes from the 2019 Les Houches Summer School on 'Quantum Information Machines' are intended to provide an introduction to classical and quantum error correction with bits and qubits, and with continuous variable systems (harmonic oscillators). The focus on the latter will be on practical examples that can be realized today or in the near future with a modular architecture based on superconducting electrical circuits and microwave photons. The goal and vision is 'hardware-efficient' quantum error correction that does not require exponentially large hardware overhead in order to achieve practical and useful levels of fault tolerance and circuit depth.

研究动机与目标

• 提供經典與量子誤差修正的全面介紹，專注於近端量子科技中實用且硬體效率高的實現方式。
• 解決使用不完美、嘈雜的物理元件實現量子計算容錯的宏偉挑戰。
• 探討利用微波玻色子模式（特別是 GKP 碼）的連續變量量子誤差修正，作為實現可擴展、容錯量子資訊處理的途徑。
• 彙整量子誤差修正的理論概念與電路量子電動力學平台的實驗進展，強調可實現的架構。
• 強調新興技術如自主誤差修正與有限能量 GKP 狀態的穩定子工程，以提升容錯門檻。

提出的方法

• 使用基於超導電路與微波光子的模組化架構，實現誤差修正的量子資訊處理。
• 應用 Knill-Laflamme 條件定義量子碼，並推導如四量子比特振幅衰減碼等碼的恢復操作。
• 透過相位空間中的格點引入 GKP 碼，利用非對易的平移與提升運算，將邏輯量子比特編碼於諧振子中。
• 提出透過相似變換穩定子（S_x^Λ, S_p^Λ）實現工程化耗散，使系統冷卻至穩定子的 +1 特徵值態，無需直接測量。
• 使用 GKP 狀態的有限能量近似，並採用「修剪（trim）」協定以防止光子數量無限增長。
• 利用容錯門操作與編碼方案（包括以玻色子碼作為邏輯層的表面碼），提升錯誤韌性。

Figure 1: Shannon communication problem. The sender’s message plus some redundant information about that message are encoded by an ideal encoder and transmitted over a noisy channel which introduces errors. The received erroneous message is then processed by an ideal decoder which outputs the recove

实验结果

研究问题

• RQ1 如何在超導電路中以最小的硬體開銷實現容錯量子計算？
• RQ2 利用玻色子模式（如 GKP 碼）的連續變量量子誤差修正，是否能在當前實驗能力下實現實用的容錯？
• RQ3 工程化耗散在實現 GKP 碼的自主誤差修正（無需直接測量）中扮演何種角色？
• RQ4 有限能量效應與穩定子中的量子漲落如何影響實驗中 GKP 碼的表現？
• RQ5 GKP 碼與表面碼整合，以建立分層式容錯量子計算架構的前景如何？

主要发现

• Devoret 小組利用透過工程化耗散穩定有限能量 GKP 狀態的協定，首次在實驗中突破 GKP 碼的損益平衡點。
• 有限能量 GKP 狀態雖非完全平移不變，但可透過相似變換穩定子（S_x^Λ, S_p^Λ）穩定，這些穩定子既非酉運算也非厄米運算，但可透過自主動力實現。
• 「修剪（trim）」步驟成功防止 GKP 狀態中平均光子數的無限增長，使穩定邏輯量子比特的實驗實現成為可能。
• 透過協定將系統冷卻至穩定子的 +1 特徵值態（無需測量），實驗驗證了 GKP 碼的誤差修正能力，展示自主誤差修正的可行性。
• 近期理論與實驗進展（包括偏置保持的拓撲 CNOT 門與雙路徑玻色子編碼）顯示，實現一階容錯具有強大潛力。
• 理論分析顯示，將 GKP 碼作為表面碼架構的第一層，可有效降低嘈雜中等規模量子裝置中的邏輯錯誤率。

Figure 2: Three foundational topics in the study of complex classical systems. Information theory was developed to study reliable communication over a noisy channel using codes containing redundant information, but assuming reliable computation for the encoding and decoding of that information. Reli