[논문 리뷰] Fault-Tolerant Quantum Computation with Constant Overhead

Daniel Gottesman|arXiv (Cornell University)|2013. 10. 10.

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

한 줄 요약

이 논문은 양자 저밀도 패리티 체크(LDPC) 코드를 사용하여 효율적인 오류 수정을 구현함으로써, 고장 내성 양자 계산이 일정한 오버헤드를 달성할 수 있음을 보여준다. 즉, 물리적 큐비트와 논리적 큐비트의 비율이 유한하게 유지된다. 이 프로토콜은 오버헤드가 코드 가족의 비율의 역수와 점 渐진적으로 같아지는 바이며, 기존의 고장 내성 기법이 다항로그적으로 증가하는 것과는 달리, 임의로 긴 양자 계산을 수행할 수 있다.

ABSTRACT

What is the minimum number of extra qubits needed to perform a large fault-tolerant quantum circuit? Working in a common model of fault-tolerance, I show that in the asymptotic limit of large circuits, the ratio of physical qubits to logical qubits can be a constant. The construction makes use of quantum low-density parity check codes, and the asymptotic overhead of the protocol is equal to that of the family of quantum error-correcting codes underlying the fault-tolerant protocol.

연구 동기 및 목표

• 회로 크기에 따라 악화되는 전통적인 고장 내성 양자 프로토콜의 높은 오버헤드 비용을 해결하기 위해.
• 대규모 회로에 대해 고장 내성 양자 계산에서 일정한 공간 오버헤드가 달성 가능한지 조사하기 위해.
• 낮은 밀도 패리티 체크 성질을 갖는 양자 오류 수정 코드가 고장 내성 프로토콜을 통해 점 渐진적으로 일정한 오버헤드를 제공할 수 있음을 보여주기 위해.
• 오버헤드가 회로 크기나 오류 수정 복잡성과는 무관하게 코드의 비율에 본질적으로 종속된다는 것을 보여주기 위해.
• 긴 계산이 오류 수정 요구 사항으로 인해 반드시 증가하는 오버헤드를 필요로 한다는 가정을 도전하기 위해.

제안 방법

• 일정한 비율과 지수적 오류 억제를 갖는 양자 오류 수정 코드의 가족을 사용하는 프로토콜이다. 특히, 양자 LDPC 코드를 사용한다.
• LDPC 코드의 저중량 생성자를 활용하여 최소한의 보조 큐비트를 사용해 고장 내성 오류 수정을 수행한다.
• 각 논리적 큐비트가 단일 코드 블록에 인코딩되며, 오류 수정이 블록 내 모든 논리적 큐비트에 대해 동시에 수행된다.
• 보조 큐비트 상태는 코드의 구조를 활용해 효율적으로 준비되어 추가적인 큐비트 오버헤드를 최소화한다.
• 각 논리적 큐비트에 대해 별도의 오류 수정을 수행하는 대신, 여러 논리적 큐비트를 하나의 단위로 통합하여 오류 수정을 수행한다.
• 고전적 제어가 빠르고 신뢰할 수 있다고 가정하여 실시간 심프롬 측정과 수정이 가능하며, 이로 인한 시간 오버헤드는 무시할 수 있다.

실험 결과

연구 질문

• RQ1 회로 크기와 무관하게 일정한 오버헤드를 갖는 고장 내성 양자 계산이 가능할 수 있는가?
• RQ2 양자 LDPC 코드를 사용할 경우, 점 渐진적으로 물리적 큐비트와 논리적 큐비트의 비율이 일정한가?
• RQ3 한 개의 코드 블록 내에서 여러 논리적 큐비트에 대해 집합적 오류 수정을 수행함으로써, 증가하는 보조 큐비트 오버헤드가 필요 없어지는가?
• RQ4 오버헤드를 다항로그적으로 증가시키는 대신, 코드 가족의 비율의 역수와 점 渐진적으로 같게 만들 수 있는가?
• RQ5 높은 거리와 저중량 생성자를 갖는 코드를 사용할 경우, 고장 내성 게이트 구현에 어떤 영향을 미치는가?

주요 결과

• 고장 내성 프로토콜의 점 渐진적 오버헤드는 코드 비율의 역수인 1/R과 같다. 이는 고율 코드를 선택함으로써 임의로 작게 만들 수 있다.
• 프로토콜은 일정한 공간 오버헤드를 달성한다. 즉, 회로 크기가 증가함에 따라 논리적 큐비트당 물리적 큐비트 수가 유한하게 유지된다.
• 코드 가족이 LDPC, 지수적 오류 억제, 효율적 디코딩의 특성을 갖는 한, 게이트 수나 논리적 큐비트 수와는 무관하게 오버헤드가 유지된다.
• 낮은 무게의 심프롬 측정을 전체 코드 블록에 걸쳐 수행함으로써, 논리적 큐비트당 큰 보조 큐비트 상태가 필요로 하는 것을 피한다.
• 기하학적 국소성 제약이 필요 없어지며, 빠른 고전적 처리를 갖는 비국소적 아키텍처에도 적용 가능하다.
• 점 渐진 임계값이 명시적으로 계산되지는 않았지만, 분석 결과 기존 프로토콜보다 유의미하게 열 劣하지 않으며, 실제로는 더 나을 수 있다.