[논문 리뷰] Is Fault-Tolerant Quantum Computation Really Possible?

M. I. Dyakonov|ArXiv.org|2006. 10. 14.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 22

한 줄 요약

이 논문은 고도로 수학적으로 발전된 프레임워크에도 불구하고, 이상화되고 물리적으로 비현실적인 가정—특히 완벽한 보조 큐비트와 오류 없는 측정을 전제로 하는 임계점 정리에 의존한다는 점에서, 고장 내성 양자 계산의 실현 가능성에 도전한다. 이는 실질적인 노이즈 하에서 단일 논리 큐비트의 엄밀한 수치 시뮬레이션을 제안하여 오류 보정이 실제로 양자 상태를 무한히 유지할 수 있는지 테스트하며, 지수적으로 큰 힐베르트 공간에서의 불완전한 연산의 누적 영향으로 인해 실패를 예측한다.

ABSTRACT

The so-called "threshold" theorem says that, once the error rate per qubit per gate is below a certain value, indefinitely long quantum computation becomes feasible, even if all of the qubits involved are subject to relaxation processes, and all the manipulations with qubits are not exact. The purpose of this article, intended for physicists, is to outline the ideas of quantum error correction and to take a look at the proposed technical instruction for fault-tolerant quantum computation. It seems that the mathematics behind the threshold theorem is somewhat detached from the physical reality, and that some ideal elements are always present in the construction. This raises serious doubts about the possibility of large scale quantum computations, even as a matter of principle.

연구 동기 및 목표

• 완벽한 보조 큐비트와 오류 없는 측정과 같은 이상화된 구성 요소에 의존한다는 점을 감안할 때, 고장 내성 양자 계산이 물리적으로 가능한지 비판적으로 평가하는 것.
• 지속적인 노이즈와 불완전한 연산에도 불구하고 양자 상태를 무한히 유지할 수 있다는 가정을 내포한 임계점 정리의 물리적 현실성에 의문을 제기하는 것.
• 최소한의 검증 가능한 테스트 제안: 실질적인 노이즈 하에서 단일 큐비트를 중첩 상태로 유지하기 위한 기본 연산의 완전한 목록을 제시하여 직접 수치 시뮬레이션을 가능하게 하는 것.
• 고장 내성 체계의 성공이 양자역학 자체에서 비롯되는 것이 아니라, 그렇지 않은 시스템에 완벽한 요소를 암묵적으로 도입함으로써 비롯될 수 있음을 보여주는 것.

제안 방법

• 연속적인 무작위 회전(노이즈)이 xy 평면에서 작용하는 물리 큐비트 집합에 저장된 단일 논리 큐비트의 최소 모델을 수립한다.
• 모든 연산—게이트, 측정, 보조 큐비트 준비—이 불완전하다고 가정하며, 이상적인 요소가 전혀 없음을 전제로 한다; 측정은 약간의 불완전한 상태가 혼합된 근사적인 붕괴를 유도한다.
• 각 게이트와 측정에 대해 고정된 시간 창을 정의하며, 이 동안 큐비트는 계속해서 노이즈를 경험하고, 모든 연산이 반복 가능하고 완전히 명시되어야 한다.
• 초기 중첩 상태를 이론적으로 유지하기 위한 기본 연산의 완전하고 실행 가능한 순서를 구성한다(측정 결과에 기반한 조건부 분기 포함).
• 이 프로토콜을 고전 컴퓨터에서 수치 시뮬레이션하여 시간이 지남에 따라 논리 큐비트가 초기 상태에 가까이 유지되는지 테스트한다.
• 오직 마지막 수단으로 현상학적 오류 전파 모델을 사용한다; 오류 추적만을 전제로 하는 가정을 피하기 위해, 유니타리 동역학을 존중하는 전체 양자 상태 진화 시뮬레이션을 우선시한다.

실험 결과

연구 질문

• RQ1 실제로 존재하는 불완전한 연산만을 사용하여 단일 논리 큐비트를 무한히 중첩 상태로 유지할 수 있는가?
• RQ2 모든 구성 요소—게이트, 측정, 보조 큐비트—가 노이즈와 불완전성에 노출되어 있을 때, 고장 내성 양자 계산 프레임워크가 실제로 작동하는가?
• RQ3 임계점 정리의 타당성은 완벽한 보조 큐비트 준비나 오류 없는 측정과 같은 암묵적인 이상화된 가정에 의존하는가?
• RQ4 실제 노이즈 하에서 장기간에 걸쳐 양자 상태를 유지하는지 확인할 수 있는, 완전하고 실행 가능한 연산 목록을 제공할 수 있는가?
• RQ5 약 10^300개의 진폭을 지닌 큰 양자 시스템의 파동함수는 지속적인 상관 없는 노이즈와 불완전한 오류 보정에 어떻게 반응하는가?

주요 결과

• 제안된 복구 프로토콜에 대한 전면적인 수치 시뮬레이션은 초기 중첩 상태를 유지하지 못할 것으로 예측되며, 이는 고장 내성 양자 계산이 물리적으로 실현 가능하지 않을 수 있음을 시사한다.
• 임계점 정리의 성공은 양자 오류 보정 자체에서 비롯되는 것이 아니라, 완벽한 보조 큐비트와 오류 없는 측정과 같은 이상적인 구성 요소가 암묵적으로 포함된 덕분일 수 있다.
• 완벽한 오류 보정 알고리즘이 있더라도, 힐베르트 공간의 지수적 복잡성(2^1000 ≈ 10^300 진폭)으로 인해, 불완전한 연산이 단일 큐비트의 붕괴 시간보다 훨씬 긴 시간 동안 파동함수를 안정화시킬 수는 없다고 보는 것이 타당하다.
• 전체 양자 상태 진화와 별개로 오류 전파를 추적할 수 있다는 가정은 의심스럽고, 물리적으로 비현실적일 수 있다.
• 현재 고장 내성 양자 계산에 대한 지침은 너무 모호하며, 실제 구현을 위한 명확하고 검증 가능한 운영 정의가 부족하다.
• 실제 노이즈 모델을 사용하여 고전 컴퓨터에서 복구 과정을 직접 시뮬레이션하는 것이 결정적인 테스트로 제안되며, 저자는 이 실험에서 부정적인 결과를 기대한다.