[논문 리뷰] Quantum Computation Beyond the Circuit Model

Jordan, Stephen P.|ArXiv.org|2008. 09. 13.

Quantum Computing Algorithms and Architecture참고 문헌 185인용 수 33

한 줄 요약

이 학위논문은 회로 모델을 초월한 양자 계산 분야에서 세 가지 핵심적 진전을 제시한다: 양자 오류 검출 코드를 사용한 애디아바틱 양자 계산에 대한 고장내성 기법, 존스 다항식 추정이 한 개의 청소된 큐비트(DQC1) 복잡도 클래스에 완전함을 증명한 결과, 그리고 k-체 상호작용을 2-체 상호작용을 통해 직접 시뮬레이션할 수 있도록 일반화된 펌터바티브 기구 구축 기법. 이러한 결과들은 대체 양자 계산 모델의 이론적 및 실용적 프레임워크를 확장한다.

ABSTRACT

The quantum circuit model is the most widely used model of quantum computation. It provides both a framework for formulating quantum algorithms and an architecture for the physical construction of quantum computers. However, several other models of quantum computation exist which provide useful alternative frameworks for both discovering new quantum algorithms and devising new physical implementations of quantum computers. In this thesis, I first present necessary background material for a general physics audience and discuss existing models of quantum computation. Then, I present three results relating to various models of quantum computation: a scheme for improving the intrinsic fault tolerance of adiabatic quantum computers using quantum error detecting codes, a proof that a certain problem of estimating Jones polynomials is complete for the one clean qubit complexity class, and a generalization of perturbative gadgets which allows k-body interactions to be directly simulated using 2-body interactions. Lastly, I discuss general principles regarding quantum computation that I learned in the course of my research, and using these principles I propose directions for future research.

연구 동기 및 목표

• 물리적 구현의 핵심 과제인 애디아바틱 양자 계산에 고장내성 기법을 통합하기 위해 양자 오류 검출 코드를 통합함으로써 고장내성의 확장을 도모한다.
• 한 개의 청소된 큐비트(DQC1) 복잡도 클래스에 대한 존스 다항식 추정의 복잡도를 증명함으로써 이 문제의 계산 복잡도를 규명한다.
• 2-체 상호작용만을 사용하여도 k-체 상호작용을 직접 시뮬레이션할 수 있도록 펌터바티브 기구를 일반화함으로써 하미르토니안 설계를 단순화한다.
• 연구에서 도출된 통찰을 바탕으로 대체 양자 계산 모델의 설계 원칙을 규명하고 새로운 연구 방향을 제안한다.

제안 방법

• 완전한 고장내성 심호드 측정이 필요 없이 오류를 감지하고 억제할 수 있도록, 양자 오류 검출 코드를 애디아바틱 진화 과정에 통합하는 기법을 제안한다.
• 파보나치 anyon 표현과 브레인 군의 유니터리 표현을 사용하여 DQC1 모델 내의 양자 회로로 존스 다항식 추정 문제를 매핑한다.
• 표준 펌터바티브 이론 접근 방식을 확장하여 고차원 상호작용을 2-체 상호작용을 통해 시뮬레이션할 수 있도록 일반화된 펌터바티브 기구 프레임워크를 도입한다.
• 기구의 효과적 하미르토니안을 분석하기 위해 펌터바티브 이론을 적용하여, 저에너지 부분공간이 목표하는 k-체 상호작용을 정확히 시뮬레이션하도록 보장한다.
• 브레인 군 연산을 DQC1 프레임워크 내에서 효율적으로 인코딩하기 위해 제켄endor프 수 체계와 경로 모델 표현을 활용한다.
• 기구 구축에서 펌터바티브 급수의 수렴 한계를 유도하여, 지정된 조건 하에서 효과적 하미르토니안 근사의 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 양자 오류 검출 코드는 애디아바틱 양자 계산에 효과적으로 통합될 수 있는가? 이는 내재적 고장내성 향상에 기여하는가?
• RQ2 브레인의 존스 다항식 추정 문제는 DQC1-완전한가? 이는 한 개의 청소된 큐비트 모델의 계산 능력에 어떤 함의를 갖는가?
• RQ3 펌터바티브 기구는 2-체 상호작용만을 사용하여도 k-체 상호작용을 직접 시뮬레이션할 수 있도록 일반화될 수 있는가? 그리고 수렴 조건은 무엇인가?
• RQ4 회로 모델을 초월한 대체 양자 계산 모델의 설계와 능력에 영향을 주는 일반 원칙은 무엇인가?
• RQ5 위상적, 애디아바틱, 측정 기반 모델 간의 상호작용은 향후 양자 알고리즘 개발에 어떻게 기여할 수 있는가?

주요 결과

• 오류 검출 코드를 통합한 애디아바틱 양자 계산 기법은 심호드를 통한 오류 감지를 통해 내재적 고장내성을 확보한다. 이는 완전한 심호드 추출이 필요로 하지 않는다.
• 브레인의 존스 다항식 추정 문제가 DQC1-완전함이 증명되었으며, 이는 위상적 양자 불변량과 물리적으로 실현 가능한 복잡도 클래스 간의 강력한 연결 고리를 확립한다.
• 일반화된 펌터바티브 기구 구축 기법을 통해 2-체 상호작용만으로도 k-체 상호작용을 직접 시뮬레이션할 수 있으며, 이는 양자 시뮬레이션을 위한 하미르토니안 설계를 크게 단순화한다.
• 기구 구축에서 펌터바티브 급수의 수렴이 엄밀하게 경계되어, 제어된 조건 하에서 효과적 하미르토니안 근사의 타당성이 보장된다.
• 파보나치 anyon과 경로 표현을 사용한 DQC1 모델 분석을 통해, 로그 깊이의 회로로도 이 모델에서 존스 다항식을 효율적으로 계산할 수 있음을 입증하였다.
• 애디아바틱 정리 증명에서 그린 함수 연산자 G의 도함수 유도는 애디아바틱 진화에서 오류 전파를 분석하는 데 핵심적인 기술적 도구를 제공한다.