[논문 리뷰] How Quantum Computers Fail: Quantum Codes, Correlations in Physical Systems, and Noise Accumulation

Gil Kalai|arXiv (Cornell University)|2011. 06. 02.

Quantum Computing Algorithms and Architecture참고 문헌 27인용 수 42

한 줄 요약

이 논문은 양자 오류 수정과 고장 내성의 기본 가정을 도전함으로써 확장 가능한 양자 컴퓨팅의 가능성을 도전한다. 물리적 시스템의 노이즈가 양자 상태와 체계적으로 상관되어 있음을 제안하며, 이는 양자 오류 수정과 고장 내성을 약화시킨다. 세 가지 상호연관된 주장이 제시된다: 양자 코드의 노이즈는 목표 상태와 본질적으로 연결되어 있으며, 확률적 시스템의 상관관계는 고장 내성을 제한하고, 노이즈가 축적되는 방식은 표준 양자 진화 모델을 무효화한다. 이는 양자 고장 내성이 본질적으로 이룰 수 없을 수 있음을 시사한다.

ABSTRACT

The feasibility of computationally superior quantum computers is one of the most exciting and clear-cut scientific questions of our time. The question touches on fundamental issues regarding probability, physics, and computability, as well as on exciting problems in experimental physics, engineering, computer science, and mathematics. We propose three related directions towards a negative answer. The first is a conjecture about physical realizations of quantum codes, the second has to do with correlations in stochastic physical systems, and the third proposes a model for quantum evolutions when noise accumulates. The paper is dedicated to the memory of Itamar Pitowsky.

연구 동기 및 목표

• 양자 오류 수정과 고장 내성 양자 계산의 기초가 되는 가정들을 의심함으로써 확장 가능한 양자 컴퓨터의 가능성을 도전하기.
• 물리적 시스템의 노이즈가 의도한 양자 상태와 체계적으로 상관되어 있음을 검토함으로써 오류 수정이 약화되는지 여부를 조사하기.
• 노이즈 축적 하에서의 노이즈 있는 양자 진화를 모델링하여 표준 고장 내성 가정이 실패함을 보여주기.
• 이러한 실패의 결과가 클래식 컴퓨터에서 양자 과정을 시뮬레이션하는 데 있어 Church-Turing 논리에 미치는 영향을 탐색하기.
• 양자 컴퓨터가 클래식 시스템보다 계산적 우월성을 달성할 수 있다는 추측에 대해 부정적인 답변을 제공하기.

제안 방법

• 양자 오류 수정 코드를 물리적으로 구현할 때 체계적 노이즈로 인해 원하는 코드워드와 원하지 않는 코드워드의 혼합이 필연적으로 발생할 것이라는 추측을 제안한다.
• 확률적 물리 시스템의 상관관계를 분석하여 노이즈가 계산 기저가 아닌 양자 상태의 내재적 성질에 의존함을 주장하며, 표준 노이즈 모델을 위반함을 설명한다.
• 노이즈 축적 하에서의 양자 진화를 위한 모델을 도입하여, 노이즈가 평균화되지 않고 고장 내성 임계값과 호환되지 않는 방식으로 증가함을 보여준다.
• 양자 코드와 얽힘의 프레임워크를 사용하여 고장 내성에 필요한 고도로 얽힌 상태가 자연적으로 발생하지 않음을 주장함으로써, 양자 계산의 물리적 타당성을 약화시킨다.
• 비가환 확률과 컷 폴리토프 등을 포함한 확률 이론의 개념을 사용하여 양자 시스템의 상관관계와 노이즈 구조를 모델링한다.
• 계산 가능성과 복잡도의 기초적 문제와 유사성을 제시하며, 양자 계산을 Church-Turing 논리와 물리적 과정의 시뮬레이션 한계와 연결한다.

실험 결과

연구 질문

• RQ1 양자 오류 수정 코드가 목표 상태와 관련된 체계적 노이즈를 유발하지 않고 물리적으로 실현될 수 있는가?
• RQ2 확률적 물리 시스템의 상관관계가 고장 내성 양자 계산을 본질적으로 방해하는가?
• RQ3 노이즈가 어떻게 축적되어 고장 내성 양자 계산의 임계값 정리가 무효화되는가?
• RQ4 고장 내성의 실패에 기반하여 자연 양자 과정을 클래식 컴퓨터에서 시뮬레이션하는 데 본질적인 장애가 존재하는가?
• RQ5 고장 내성이 물리적으로 실현되지 않는다면 Church-Turing 논리가 양자 계산을 포함하도록 확장될 수 있는가?

주요 결과

• 논문은 양자 코드의 물리적 구현에서 발생하는 노이즈가 의도한 양자 상태와 체계적으로 상관되어 있음을 제안하며, 이는 노이즈가 논리 상태와 독립적이라는 가정을 위반함을 시사한다.
• 노이즈가 얽힘과 비가환 확률을 포함한 확률적 시스템의 상관관계로 인해 표준 양자 오류 수정으로는 수정될 수 없음을 주장한다.
• 노이즈 축적 모델은 노이즈가 평균화되지 않고 논리적 양자 상태의 진화를 방해하는 방식으로 증가함을 보여주며, 이는 임계값 정리를 무효화한다.
• 논문은 고장 내성에 필요한 고도로 얽힌 상태가 자연적으로 발생하지 않음을 제안하며, 이는 확장 가능한 양자 컴퓨터의 물리적 타당성을 약화시킨다.
• 이러한 체계적 노이즈 상관관계로 인해 양자 고장 내성이 본질적으로 이룰 수 없을 수 있음을 결론 내리며, 이는 양자 컴퓨터가 클래식 컴퓨터보다 계산적 우월성을 달성하지 못할 수 있음을 시사한다.
• 이 연구는 고장 내성이 실패할 경우 Church-Turing 논리가 양자 계산으로까지 확장되지 않을 수 있음을 암시하며, 모든 물리적 과정이 클래식 컴퓨터에서 효율적으로 시뮬레이션될 수 있다는 개념에 도전한다.