[논문 리뷰] A primer on surface codes: Developing a machine language for a quantum computer

Austin G. Fowler, M. Mariantoni외 2명|arXiv (Cornell University)|2012. 08. 04.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 확장 가능한 양자 계산을 위한 고장내성 프레임워크로 표면 코드 양자 컴퓨팅을 소개한다. 논문은 안정자 코드를 사용하여 2차원 물리 큐비트 배열에 논리 큐비트를 인코딩하는 방법을 설명하고, 브레싱을 통한 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.

연구 동기 및 목표

• 표면 코드 양자 컴퓨팅이 확장 가능한 고장내성 아키텍처로서의 기초적 이해를 제공하는 것.
• 표면 코드 양자 컴퓨터의 자원 요구량과 운영 속도를 추정하는 것.
• 2차원 큐비트 격자에서 안정자 코드를 사용하여 논리 큐비트가 어떻게 인코딩되고 조작되는지 설명하는 것.
• 이종 입자의 브레싱을 통한 논리 CNOT 게이트의 구축을 시연하고, 이가 조건부-NOT 연산과 동치임을 보여주는 것.
• 표면 코드 프레임워크 내에서 단일 큐비트 Hadamard, S, T 게이트를 구현하여 보편 게이트 세트를 완성하는 것.

제안 방법

• 이중 큐비트 안정자 모델을 기반으로 하여, 논문은 안정자 형식을 2차원 물리 큐비트 격자로 일반화한다.
• 논리 큐비트는 표면 코드 해밀토니안의 기본 상태에 인코딩되며, 논리 상태는 위상적 연산자에 의해 안정화된다.
• 논리 연산은 표면 코드에서 나타나는 이종 입자(아이언)의 브레싱을 통해 구현되며, 이는 국소적이지 않은 양자 게이트 연산을 가능하게 한다.
• 두 개의 논리 큐비트에 대한 브레싱은 조건부-NOT 게이트를 구현함으로써 entanglement를 형성하고 보편 게이트 기능을 확립한다.
• 단일 큐비트 클리포드 및 T 게이트(Hadamard, S, T)는 안정자 측정과 격자 변형의 특정 시퀀스를 통해 실현된다.
• 데포라이징 노이즈 모델 하에서의 오류 수정 성능에 기반해 수치적 고장내성 임계값을 추정한다.

실험 결과

연구 질문

• RQ1 표면 코드를 사용하여 2차원 물리 큐비트 배열에서 논리 큐비트를 어떻게 인코딩하고 보호할 수 있는가?
• RQ2 표면 코드 양자 컴퓨터의 자원 비용과 운영 속도는 물리 큐비트 수와 게이트 사이클 수로 어떻게 평가될 수 있는가?
• RQ3 표면 코드에서 이종 입자의 브레싱을 통해 논리 CNOT 연산을 어떻게 고장내성으로 수행할 수 있는가?
• RQ4 표면 코드 프레임워크 내에서 보편 양자 게이트 세트(Hadamard, S, T)는 어떻게 실현되는가?
• RQ5 표면 코드 아키텍처의 주요 물리적 구현 과제와 고장내성 추정치는 무엇인가?

주요 결과

• 표면 코드의 논리 큐비트는 2차원 안정자 해밀토니안의 기본 상태에 인코딩되어 국소 오류에 대한 위상적 보호를 가능하게 한다.
• 표면 코드는 이종 입자 열성의 브레싱을 통해 고장내성 논리 연산을 달성하며, 두 논리 큐비트 간의 브레싱은 조건부-NOT 게이트와 동치이다.
• 격자 수술과 안정자 측정을 통해 논리 Hadamard, S, T 게이트를 실현함으로써 보편 게이트 세트가 완성된다.
• 수치적 추정에 따르면 표면 코드의 논리 큐비트는 확장 가능한 양자 계산에 적합한 고장내성 임계값을 달성할 수 있다.
• 초전도 큐비트 또는 위상적 물질과 같은 아키텍처를 사용한 물리적 실현이 가능하며, 오류 임계값은 노이즈 모델에 따라 달라진다.