[논문 리뷰] An Introduction to Quantum Error Correction and Fault-Tolerant Quantum Computation

Daniel Gottesman|ArXiv.org|2009. 04. 16.

Quantum Computing Algorithms and Architecture인용 수 153

한 줄 요약

이 논문은 양자 오류 수정(QEC)과 고장 내성 양자 계산을 소개하며, 특히 9 큐비트 코드를 통해 비트 뒤집기 및 위상 뒤집기 오류로부터 양자 상태를 보호하는 방법을 보여준다. 안정자 코드를 사용하여 오류 수정의 임계값 정리(Threshold Theorem)를 수립하여, 물리적 오류 비율이 임계값 이하일 경우 신뢰할 수 있는 양자 계산이 가능하다는 것을 증명한다. 엄밀한 경계와 프로토콜을 통해 노이즈가 있는 구성 요소가 존재하더라도 고장 내성 논리적 연산이 가능하다.

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. To build a quantum computer which behaves correctly in the presence of errors, we also need a theory of fault-tolerant quantum computation, instructing us how to perform quantum gates on qubits which are encoded in a quantum error-correcting code. The threshold theorem states that it is possible to create a quantum computer to perform an arbitrary quantum computation provided the error rate per physical gate or time step is below some constant threshold value.

연구 동기 및 목표

• 양자 컴퓨터에서 디코herence와 노이즈에 의한 양자 정보 보호를 위한 이론적 프레임워크를 수립하기 위해.
• 양자 오류 수정 코드(QECC)가 안정자 형식을 사용하여 비트 뒤집기 및 위상 뒤집기 오류를 모두 수정할 수 있음을 보여주기 위해.
• 물리적 게이트가 고장 났을 경우에도 인코딩된 큐비트 위에서 논리적 연산을 수행할 수 있도록 고장 내성 양자 계산 프로토콜을 개발하기 위해.
• 양자 임계값 정리를 증명하여, 물리적 오류 비율이 일정한 임계값 이하일 경우 신뢰할 수 있는 양자 계산이 가능하다는 것을 보여주기 위해.
• 복합 양자 코드에서 오류 임계값, 코드 거리, 계산 오버헤드 간의 상호 관계를 분석하기 위해.

제안 방법

• 아벨리안 군인 파울리 연산자의 안정자 집합으로 정의된 하위공간으로서 양자 코드를 기술하기 위해 안정자 형식을 사용한다.
• 3 큐비트 비트 뒤집기 및 위상 뒤집기 코드를 복합적으로 구성하여, 9 큐비트 코드를 사용해 임의의 단일 큐비트 오류를 수정한다.
• 오류 전파를 방지하기 위해 오류 수정(EC) 및 논리적 게이트 실행과 같은 고장 내성 가젯을 사용한다.
• 논리적 연산을 인코딩된 보조 큐비트 상태와 오류 탐지 회로를 사용하여 수행하는 재귀적 복합 구조를 구현한다.
• 악성 오류 집합(malignant error sets)의 개념을 사용해 오류 전파를 분석하고, 그 확률을 경계하여 고장 내성 보장을 확보한다.
• 다중 수준의 복합 구조에서의 총 오류 확률을 경계함으로써 임계 조건을 유도하고, 이로 인해 신뢰할 수 있는 계산이 가능한 임계값 이하의 값이 도출된다.

실험 결과

연구 질문

• RQ1 양자 오류 수정을 설계하여 초위상 상태를 비트 뒤집기 및 위상 뒤집기 오류로부터 모두 보호할 수 있는가?
• RQ2 물리적 게이트가 노이즈가 있을 경우 고장 내성 양자 계산은 어떻게 달성할 수 있는가?
• RQ3 신뢰할 수 있는 양자 계산이 가능할 수 있는 최대 물리적 오류 비율은 얼마인가?
• RQ4 고장 내성 양자 계산의 임계값은 코드 거리와 오류 모델의 구조에 따라 어떻게 달라지는가?
• RQ5 근접한 이웃 상호작용과 제한된 보조 큐비트 가용성만을 사용하여 고장 내성 프로토콜을 구성할 수 있는가?

주요 결과

• 9 큐비트 코드는 3 큐비트 비트 뒤집기 및 위상 뒤집기 코드를 복합적으로 구성하여, 임의의 단일 큐비트 오류를 성공적으로 수정한다.
• 임계값 정리에 따르면, 게이트 또는 시간 단위당 물리적 오류 비율이 일정한 임계값 이하일 경우 신뢰할 수 있는 양자 계산이 가능하다.
• 7 큐비트 코드의 경우 철저한 오류 수세기로 인해 임계값의 하한이 $ p_T \geq 2.73 \times 10^{-5} $ 로 산정된다.
• 고급 보조 큐비트 준비 기법을 사용한 시뮬레이션은 최대 5%의 임계값을 달성했지만, 엄밀한 경계는 $ 10^{-3} $ 의 하한을 제공한다.
• 근접한 이웃 상호작용과 동적 보조 큐비트 준비를 사용하여 고장 내성 프로토콜을 설계할 수 있으며, 이는 확장 가능한 아키텍처를 가능하게 한다.
• 임계값은 오류 모델에 따라 달라지며, 다수 큐비트 오류의 진폭이 지수적으로 감소해야만 치명적인 실패를 방지할 수 있다.