[논문 리뷰] An Introduction to Quantum Error Correction

Daniel Gottesman|ArXiv.org|2000. 04. 18.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 78

한 줄 요약

이 논문은 안정자 형식을 사용한 양자 오류 수정을 소개하며, 특히 아홉 큐비트 코드를 통해 얽힌 상태에 논리 큐비트를 인코딩하여 비트 뒤집기 오류와 위상 뒤집기 오류를 수정할 수 있음을 보여준다. 또한 양자 안정자 코드와 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.

연구 동기 및 목표

• 양자 계산에서 디코herence와 노이즈로 인한 양자 상태의 취약성을 해결하기 위해.
• 고전적 오류 수정과 노클oning 정리의 한계를 극복할 수 있는 양자 오류 수정 프레임워크를 개발하기 위해.
• 양자 안정자 코드와 GF(4) 위의 고전적 코드 사이의 대응 관계를 수립하여 고전적 코딩 이론을 양자 오류 수정에 적용할 수 있도록 하기 위해.
• 노이즈 있는 하드웨어에서 게이트 연산과 오류 수정 동안 오류 보호를 유지하는 프로토콜을 설계하여 고장내성 양자 계산을 가능하게 하기 위해.

제안 방법

• 양자 코드를 논리 코드 공간을 안정화시키는 파울리 연산자의 아벨 군으로 기술하기 위해 안정자 형식을 사용한다.
• 비트 뒤집기 오류 수정을 위해 세 큐비트 반복 코드를 조합하고, 위상 뒤집기 오류 수정을 위해 부호 기반 인코딩을 사용하여 아홉 큐비트 코드를 구성한다.
• GF(4)의 원소 0, 1, ω², ω로 파울리 연산자 I, X, Y, Z를 매핑하여, 교환 관계를 GF(4) 위의 심플렉틱 내적으로 변환한다.
• GF(4)에서의 쌍대 코드 조건을 적용하여 안정자에 속하지 않는 오류들이 감지되고 수정될 수 있음을 보장한다.
• 기존의 GF(4) 위의 자기쌍대 코드, 예를 들어 다섯 큐비트 코드( GF(4) 위의 해밍 코드)를 활용하여 오류 수정 성질이 알려진 양자 코드를 구성한다.
• 코드의 연결(예: 재귀적으로 인코딩된 일곱 큐비트 코드)을 통해 물리적 오류율이 임계 값 이하일 경우 고장내성 양자 계산의 임계값을 확보한다.

실험 결과

연구 질문

• RQ1 복제 없이 디코herence와 노이즈로부터 양자 상태를 어떻게 보호할 수 있는가?
• RQ2 안정자 형식은 양자 오류 수정 코드를 특성화하는 데 어떤 역할을 하는가?
• RQ3 양자 안정자 코드와 GF(4) 위의 고전적 코드 사이의 대응 관계는 어떻게 양자 코드의 구성에 기여하는가?
• RQ4 노이즈 있는 게이트와 오류 수정 연산에도 불구하고 고장내성 양자 계산이 가능하게 하는 조건은 무엇인가?
• RQ5 연결된 양자 코드가 임계 오류율 이하일 경우, 임의로 긴 고장내성 양자 계산을 가능하게 하는 오류율은 얼마인가?

주요 결과

• 아홉 큐비트 코드는 연결된 구조를 통해 비트 뒤집기와 위상 뒤집기 오류를 동시에 수정함으로써 임의의 단일 큐비트 오류를 성공적으로 수정한다.
• 안정자 형식은 아벨 군으로서의 파울리 연산자를 사용하여 양자 코드를 체계적으로 특성화할 수 있게 하여 효율적인 오류 감지 및 수정을 가능하게 한다.
• 안정자 코드와 GF(4) 위의 가법 코드 사이에 일대일 대응 관계가 존재하며, 파울리 연산자의 교환성은 심플렉틱 내적이 0이 되는 것으로 대응된다.
• 다섯 큐비트 코드는 GF(4) 위의 해밍 코드와 동치이며, 많은 알려진 고전적 코드들이 직접적으로 양자 오류 수정에 적응될 수 있음을 보여준다.
• 오류율이 임계값 이하일 경우, 코드 연결과 오류 보호를 유지하는 논리 게이트의 철저한 설계를 통해 고장내성 양자 계산이 가능하다.
• 일곱 큐비트 코드 또는 유사한 코드를 연결함으로써 물리적 오류율이 임계값 이하일 경우 다항로그 시간 오버헤드로 인해 임의로 긴 양자 계산이 가능하다.