[논문 리뷰] New Limits on Fault-Tolerant Quantum Computation

Harry Buhrman, Richard Cleve외 4명|ArXiv.org|2006. 04. 19.

Quantum Computing Algorithms and Architecture참고 문헌 10인용 수 9

한 줄 요약

이 논문은 단일 큐비트 게이트에서 오염된 노이즈 수준이 약 45%를 초과하면 고장 내성 양자 계산이 불가능해지는 새로운 상한을 설정한다. 이 노이즈 임계값에서 클리포드 게이트에 노이즈가 있는 단일 큐비트 게이트를 추가해도, 기본적인 통신 복잡도 장벽으로 인해 모든 고전적 함수를 계산할 수 없기 때문에 이러한 회로는 보편적이지 않음을 보여줌으로써, 고장 내성 양자 계산의 알려진 한계를 더욱 좁힌다.

ABSTRACT

We show that quantum circuits cannot be made fault-tolerant against a depolarizing noise level of approximately 45%, thereby improving on a previous bound of 50% (due to Razborov). Our precise quantum circuit model enables perfect gates from the Clifford group (CNOT, Hadamard, S, X, Y, Z) and arbitrary additional one-qubit gates that are subject to that much depolarizing noise. We prove that this set of gates cannot be universal for arbitrary (even classical) computation, from which the upper bound on the noise threshold for fault-tolerant quantum computation follows.

연구 동기 및 목표

• 고장 내성 양자 계산이 불가능해지는 노이즈 수준의 엄밀한 상한을 설정하는 것.
• 클리포드 게이트와 노이즈가 있는 단일 큐비트 게이트로 구성된 양자 회로가 오염된 노이즈 하에서 보편성을 달성할 수 있는지 조사하는 것.
• 일부 고전적 함수가 통신 복잡도 제약으로 인해 이러한 노이즈가 있는 회로로 계산할 수 없음을 보여주는 것.
• 이 노이즈 모델 하에서 π/8-게이트가 가장 내성적인 게이트이며, 보편성이 손실되기까지 필요한 노이즈 임계값이 가장 높다는 것을 보여주는 것.
• 노이즈 ≥ (6−2√2)/7일 경우 클리포드∗ 회로의 고전적 시뮬레이션 가능성을 증명함으로써 보편성이 아님을 보여주는 것.

제안 방법

• 클리포드 정리(Gottesman-Knill 정리)를 사용하여 클리포드 회로만으로는 고전적으로 시뮬레이션 가능하고, 따라서 보편적이지 않음을 보여주는 것.
• 노이즈가 있는 단일 큐비트 게이트를 블로흐 구 표기법에서 클리포드 다면체의 확률적 혼합으로 모델링하는 것.
• 오염된 노이즈 ≥ (6−2√2)/7 ≈ 45%인 임의의 단일 큐비트 유니터리 연산이 클리포드 연산의 볼록 조합으로 표현될 수 있음을 증명하는 것.
• 두 당사자(Alice와 Bob) 사이의 한 비트 통신 프로토콜을 설정하여 어떤 클리포드 회로 출력도 오직 한 비트의 고전적 통신으로 계산할 수 있음을 보여주는 것.
• 기존의 고전적 통신 복잡도 하한을 활용하여 일부 함수는 한 비트를 초월한 통신이 필요하므로 보편성이 불가능함을 증명하는 것.
• 결과를 양자 입력으로 일반화하여, 이러한 노이즈가 있는 게이트를 갖는 안정자 연산이 여전히 고전적으로 시뮬레이션 가능함을 보여주는 것.

실험 결과

연구 질문

• RQ1 단일 큐비트 게이트에서 고장 내성 양자 계산이 불가능해지는 최대 오염된 노이즈 수준은 얼마인가?
• RQ2 클리포드 게이트와 노이즈가 있는 단일 큐비트 게이트를 조합한 회로가 모든 고전적 함수를 시뮬레이션할 수 있는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ3 이 맥락에서 π/8-게이트는 특별한 이유가 있는가? 그리고 이 노이즈 임계값에 대해 가장 날카로운 경계를 설정하는가?
• RQ4 고전적 통신 복잡도는 노이즈가 있는 양자 회로에서 보편성을 배제하는 데 얼마나 효과적으로 활용될 수 있는가?
• RQ5 (6−2√2)/7 ≈ 45% 이하의 노이즈 수준이라면, 완벽한 클리포드 게이트와 고전적 후처리를 갖더라도 고장 내성 양자 계산이 가능한가?

주요 결과

• 논문은 단일 큐비트 게이트에서 오염된 노이즈 수준이 (6−2√2)/7 ≈ 45%를 초과하면 고장 내성 양자 계산이 불가능하다는 새로운 상한을 설정한다.
• 완벽한 클리포드 게이트와 노이즈 ≥ (6−2√2)/7인 단일 큐비트 게이트로 구성된 회로는 한 비트의 통신 복잡도 장벽으로 인해 모든 고전적 함수를 계산할 수 없다.
• π/8-게이트는 이 모델 하에서 가장 내성적인 게이트이다: 보편성이 손실되기까지 필요한 노이즈 임계값이 가장 높으며, 따라서 이 상한에 대한 핵심 사례가 된다.
• 오염된 노이즈 ≥ (6−2√2)/7인 임의의 단일 큐비트 유니터리 연산은 클리포드 연산의 확률적 혼합으로 표현될 수 있으며, 이는 고전적 시뮬레이션을 가능하게 한다.
• 결과적으로 이러한 노이즈 수준을 갖는 클리포드∗ 회로는 고전적으로 시뮬레이션 가능하므로 보편적이지 않다.
• 이 상한은 π/8-게이트에 대해 날카로운 경계이다: 노이즈가 (6−2√2)/7에 도달하면 이러한 회로는 고전적으로 시뮬레이션 가능해지고, 보편성이 상실된다.