[论文解读] A primer on surface codes: Developing a machine language for a quantum computer

Austin G. Fowler, M. Mariantoni+2 more|arXiv (Cornell University)|Aug 4, 2012

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文介紹了表面碼量子計算作為可擴展量子計算的容錯框架。它詳細說明了如何使用穩定子碼在二維物理量子比特陣列中編碼邏輯量子比特，示範了透過编织實現的邏輯門操作（包括CNOT），並建立了容錯邏輯門（Hadamard、S、T），從而構成容錯量子計算的通用門集，並提供了邏輯量子比特性能的數值估計。

ABSTRACT

This article provides an introduction to surface code quantum computing. We first estimate the size and speed of a surface code quantum computer. We then introduce the concept of the stabilizer, using two qubits, and extend this concept to stabilizers acting on a two-dimensional array of physical qubits, on which we implement the surface code. We next describe how logical qubits are formed in the surface code array and give numerical estimates of their fault-tolerance. We outline how logical qubits are physically moved on the array, how qubit braid transformations are constructed, and how a braid between two logical qubits is equivalent to a controlled-NOT. We then describe the single-qubit Hadamard, S and T operators, completing the set of required gates for a universal quantum computer. We conclude by briefly discussing physical implementations of the surface code. We include a number of appendices in which we provide supplementary information to the main text.

研究动机与目标

• 提供對表面碼量子計算作為可擴展容錯架構的基礎理解。
• 估算表面碼量子計算機的資源需求與運行速度。
• 解釋如何在二維量子比特晶格上使用穩定子碼編碼與操作邏輯量子比特。
• 透過任意子编织示範邏輯CNOT門的構建，並證明其與受控-NOT操作的等價性。
• 透過在表面碼框架內實現單量子比特Hadamard、S與T門，完成通用門集。

提出的方法

• 以兩量子比特穩定子模型為基礎，將穩定子形式化推廣至二維物理量子比特晶格。
• 邏輯量子比特編碼於表面碼哈密頓量的基態空間中，其邏輯態由拓撲算符穩定。
• 邏輯操作透過表面碼中出現的任意子激發（anyons）的编织實現，從而實現非局域量子門操作。
• 展示兩個邏輯量子比特的编织可實現受控-NOT門，從而建立糾纏與通用門功能。
• 透過特定的穩定子測量序列與晶格變形，實現單量子比特Clifford與T門（Hadamard、S、T）。
• 基於退相干噪聲模型下的錯誤修正性能，估算數值容錯門檻。

实验结果

研究问题

• RQ1 如何使用表面碼在二維物理量子比特陣列中編碼與保護邏輯量子比特？
• RQ2 從物理量子比特數量與門週期的角度來看，表面碼量子計算機的資源成本與運行速度為何？
• RQ3 如何透過表面碼中任意子的编织，容錯地實現邏輯CNOT操作？
• RQ4 如何在表面碼框架內實現完整的通用量子門集（Hadamard、S、T）？
• RQ5 表面碼架構的主要物理實現挑戰與容錯估計為何？

主要发现

• 表面碼中的邏輯量子比特編碼於二維穩定子哈密頓量的基態空間中，可對局部錯誤提供拓撲保護。
• 表面碼透過任意子激發的编织實現容錯邏輯操作，兩個邏輯量子比特之間的编织等價於受控-NOT門。
• 透過晶格手術與穩定子測量，實現邏輯Hadamard、S與T門，從而完成通用門集。
• 數值估計顯示，表面碼中的邏輯量子比特可達到適合可擴展量子計算的容錯門檻。
• 物理實現在超導量子比特或拓撲材料等架構中是可行的，其錯誤門檻取決於噪聲模型。