[논문 리뷰] Are the Assumptions of Fault-Tolerant Quantum Error Correction Internally Consistent?

Robert Alicki, Daniel A. Lidar외 1명|arXiv (Cornell University)|2005. 06. 24.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

이 논문은 마르코프성 노이즈 하에서 고장 내성 양자 오류 수정 이론의 기본 가정의 내부 일관성을 도전하며, 일정한 냉각된 보조 큐비트의 필요성과 단일 결합 근사(고온) 사이의 충돌, 그리고 빠른 게이트의 요구와 약한 결합 근사(약한 시스템-환경 상호작용) 사이의 모순을 보여준다. 저자들은 이러한 근본적인 갈등을 규명하고, 실현 가능한 양자 오류 수정을 위해 가정들을 조율할 수 있는 해결책을 제안한다.

ABSTRACT

We critically examine the internal consistency of a set of minimal assumptions entering the theory of fault-tolerant quantum error correction for Markovian noise. We point out that these assumptions may not be mutually consistent in light of rigorous formulations of the Markovian approximation. Namely, Markovian dynamics requires either the singular coupling limit (high temperature), or the weak coupling limit (weak system-bath interaction). The former is incompatible with the assumption of a constant and fresh supply of cold ancillas, while the latter is inconsistent with fast gates. We discuss ways to resolve these inconsistencies.

연구 동기 및 목표

• 마르코프성 노이즈 하에서 고장 내성 양자 오류 수정 이론의 최소한의 가정들 간의 내부 일관성을 평가하기.
• 마르코프 근사에 요구되는 물리적 조건과 비교할 때, 일정한 냉각된 보조 큐비트 공급을 가정하는 것과의 모순을 규명하기.
• 마르코프성 노이즈에 요구되는 약한 결합 근사와의 상충관계를 분석하기 위해 고속 양자 게이트의 가정이 어떻게 충돌하는지 분석하기.
• 마르코프 근사의 엄밀한 수식화를 통해 양자 오류 수정 이론의 표준 가정들 내부의 일관성 결함을 드러내기.
• 물리적 원칙을 위반하지 않으면서 이러한 일관성 결함을 해결하기 위한 수정 또는 재해석을 제안하기.

제안 방법

• 마르코프성 동역학을 도출하는 데 사용되는 두 가지 표준 근사인 단일 결합 근사(고온)와 약한 결합 근사(약한 시스템-환경 상호작용)를 분석하기.
• 이 근사 조건 하에서 보조 큐비트가 항상 신선하고 냉각된 상태로 가용하다는 가정의 물리적 타당성을 평가하기.
• 고장 내성 프로토콜에서 요구되는 고속 게이트의 필요성과 약한 결합 근사에서 유도되는 느린 진동을 고려하여 상충관계 분석하기.
• 마르코프 근사의 엄밀한 수식화를 활용하여 표준 양자 오류 수정 이론의 가정들 내부의 일관성 결함을 폭 드러내기.
• 물리적 근사 조건과 일치하도록 보조 큐비트 준비 및 게이트 속도 가정의 재평가 또는 재해석을 제안하기.

실험 결과

연구 질문

• RQ1 고장 내성 양자 오류 수정 이론의 가정들이 엄밀한 마르코프 동역학 유도와 내부적으로 일관된가?
• RQ2 마르코프 근사에서 요구되는 단일 결합 근사와 비교할 때, 일정한 냉각된 보조 큐비트 공급 가정이 충돌하는가?
• RQ3 마르코프성 노이즈에 요구되는 약한 결합 근사와 고속 양자 게이트의 가정이 호환되는가?
• RQ4 이러한 가정 간의 갈등은 물리적 원칙을 위반하지 않으면서 해결 가능한가?
• RQ5 이러한 일관성 결함은 고장 내성 양자 계산의 실현 가능성에 어떤 영향을 미치는가?

주요 결과

• 마르코프 동역학을 유도하기 위해 요구되는 단일 결합 근사는, 일정한 냉각된 보조 큐비트 공급 가정과 부합하지 않으며, 고온의 열역학적 버스가 존재해 보조 큐비트를 열적으로 자극할 것임을 시사한다.
• 마르코프 근사를 뒷받침하는 약한 결합 근사는 고속 양자 게이트의 가정과 상충되며, 느린 시스템-환경 상호작용을 전제로 한다.
• 엄밀한 마르코프 수식화 하에서는 고장 내성 양자 오류 수정 이론의 표준 가정들이 동시에 성립할 수 없다.
• 갈등은 냉각된 보조 큐비트가 저온 환경이 필요로 하며, 단일 결합 근사는 고온의 열역학적 저장소를 가정한다는 점에서 기인한다.
• 저자들은 이러한 일관성 결함를 해결하기 위해서는 고장 내성 프로토콜에서 보조 큐비트 준비 및 게이트 속도 가정의 물리적 기초를 재평가해야 한다고 제안한다.