[논문 리뷰] Reliable Final Computational Results from Faulty Quantum Computation

Gerald Gilbert, Michael Hamrick외 1명|ArXiv.org|2007. 06. 29.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 3

한 줄 요약

이 논문은 고장 내성 이론과 키타에브의 양자계산 모델을 통합한 프레임워크를 제안하여, 게이트 오류와 측정의 불확실성을 모두 고려해 최종 양자계산 결과의 신뢰성을 보장한다. 양자컴퓨터조건(QCC)을 통해 원하는 성공 확률을 달성하기 위해 필요한 오류 수정 연결 수준의 수량적 조건을 유도하며, 이는 단지 올바른 최종 양자 상태가 아니라 최종 계산 결과의 신뢰성에 초점을 맞춘다.

ABSTRACT

In this paper we extend both standard fault tolerance theory and Kitaev's model for quantum computation, combining them so as to yield quantitative results that reveal the interplay between the two. Our analysis establishes a methodology that allows us to quantitatively determine design parameters for a quantum computer, the values of which ensure that an overall computation of interest yields a correct *final result* with some prescribed probability of success, as opposed to merely ensuring that the desired *final quantum state* is obtained. As a specific example of the practical application of our approach, we explicitly calculate the number of levels of error correction concatenation needed to achieve a correct final result for the overall computation with some prescribed success probability. Since our methodology allows one to determine parameters required in order to achieve the correct final result for the overall quantum computation, as opposed to merely ensuring that the desired final quantum state is produced, our method enables the determination of complete quantum computational resource requirements associated to the actual solution of practical problems.

연구 동기 및 목표

• 기존의 양자계산 프레임워크가 게이트 오류(고장 내성으로 처리)와 측정의 불확실성(키타에브 모델로 처리)을 별도로 다루지만, 이 둘의 병합된 영향이 최종 계산 신뢰성에 미치는 영향을 다루지 못하는 격차를 해결하기 위해.
• 고장 내성 제약 조건을 최종 계산 결과의 실제 신뢰성과 연결하는 정량적 방법론을 개발하여, 단지 최종 양자 상태의 정밀도에 국한되지 않고 결과의 신뢰성에 초점을 맞추기 위해.
• 실제 문제를 해결하기 위한 완전한 양자계산 자원 요구량을 확보함으로써, 사전 지정된 확률로 정확한 최종 출력을 달성할 수 있도록 하기 위해.
• 전체 계산의 목표 성공 확률을 달성하기 위해 필요한 오류 수정 연결 수준의 수를 명시적으로 계산하기 위해, 양자계산 오류와 측정의 랜덤성 모두를 포함한 전체 계산 과정을 고려하기 위해.

제안 방법

• 이deal 최종 양자 상태와 노이지 양자계산에 의해 생성된 실제 상태 사이의 차이를 노름 기반 측도인 '구현 불확실성'으로 도입한다.
• 양자컴퓨터조건(QCC)을 정의하여, 신뢰성 있는 계산을 보장하기 위해 구현 불확실성이 사전 지정된 임계값 이하로 제한되어야 한다는 기본 부등식을 요구한다.
• QCC를 키타에브 모델과 결합하여 최종 측정 결과의 오류 확률이 구현 불확실성과 관련되게 하여, 고장 내성과 전체 계산 신뢰성 간의 연결 고리를 형성한다.
• 표준 고장 내성 이론을 사용하여 전체 양자계산 오류를 기본 게이트 오류로 표현함으로써, 필요한 오류 수정 수준에 대한 정량적 경계를 도출한다.
• 최종 결과에 대해 원하는 성공 확률을 달성하기 위해 필요한 최소 연결 수준 수 N에 대한 닫힌 형태의 수식을 유도한다: $ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $, 여기서 $\hat{p}$ 는 목표 성공 확률이고 $p$ 는 측정 오류의 상한이다.
• 기본 게이트 오류 확률 $\epsilon_0$ 를 함수로 하는 필수 연결 수준을 보여주는 트레이드오프 곡선(예: 그림 2)을 구축하여, 두 오류 원인을 명시적으로 통합한다.

실험 결과

연구 질문

• RQ1 고장 내성 이론과 키타에브의 양자계산 모델을 어떻게 융합하여 게이트 오류와 측정의 불확실성을 모두 고려해 최종 결과의 신뢰성을 보장할 수 있는가?
• RQ2 특정 확률로 정확한 최종 출력을 달성하기 위해 필요한 오류 수정 연결 수준의 최소 수는 얼마인가?
• RQ3 이deal 상태와 실제 상태 간의 노름 기반 차이로 정의된 구현 불확실성은 최종 계산 결과의 전체 신뢰성과 어떻게 관련이 있는가?
• RQ4 기본 게이트 정밀도를 향상시키는 것과 연결 수준을 늘리는 것 사이의 트레이드오프는 무엇이며, 이는 최종 결과의 목표 성공 확률을 달성하기 위해 어떻게 작용하는가?
• RQ5 양자컴퓨터조건(QCC)을 사용하여 고장 내성 양자컴퓨터의 명시적이고 정량적인 설계 매개변수를 도출할 수 있는가? 이는 원하는 수준의 계산 신뢰성을 보장한다.

주요 결과

• 논문은 최종 결과에 대해 원하는 성공 확률 $\hat{p}$ 를 달성하기 위해 필요한 오류 수정 연결 수준의 정량적 공식을 도출한다: $ N \gtrsim \log_2 \frac{\ln \frac{2\mathcal{N}\epsilon_{\text{th}}}{\hat{p}-p}}{\ln \frac{\epsilon_{\text{th}}}{\epsilon_0}} $, 이는 게이트 오류와 측정의 불확실성을 명시적으로 고려한다.
• 성공 확률 $\hat{p} = 0.6$, 측정 오류 상한 $p = 0.2$, $\mathcal{N} = 10^{12}$ 개의 게이트, 오류 임계값 $\epsilon_{\text{th}} = 10^{-9}$ 인 경우, 유도된 공식에 따라 필요한 연결 수준 수가 결정되며, 그 결과는 그림 2에 시각화되어 있다.
• 이 방법은 최종 계산 결과가 사전 지정된 확률로 정확하다는 것을 보장하며, 단지 최종 양자 상태가 이상 상태에 가까운 것만을 보장하는 것이 아니므로, 고장 내성 분석에서 중요한 격차를 메운다.
• 이 접근법은 고장 내성 매개변수를 종단 간 신뢰성과 연결함으로써 실질 문제를 해결하기 위한 완전한 양자계산 자원 요구량을 직접 계산할 수 있도록 한다.
• 결과는 표준 고장 내성 이론만으로는 최종 결과의 신뢰성을 결정할 수 없으며, 측정의 랜덤성을 고려하지 않기 때문이며, QCC 프레임워크가 이 연결을 위해 필수적이라는 것을 보여준다.
• 이 프레임워크는 일반적이며, QCC를 전체 역학에 적용함으로써 측정 기반 또는 아디아바틱 양자계산과 같은 다른 양자계산 파라디그마로도 확장할 수 있다.