[논문 리뷰] Quantum computation and complexity theory

Karl Svozil|ArXiv.org|1994. 12. 06.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 8

한 줄 요약

이 논문은 양자 컴퓨팅의 기초를 확립하기 위해 양자역학의 힐버트 공간 체계를 검토하며, 간섭계 기법을 통해 보편적인 양자 계산을 실현할 수 있음을 보여준다. 재귀론 및 복잡도 이론에 대한 영향을 탐색하여, 고전적 모델을 초월한 양자 계산 능력과 결정 가능성에 대한 기초적인 통찰을 기여한다.

ABSTRACT

The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some consequences for recursion theory and complexity theory are discussed.

연구 동기 및 목표

• 양자역학의 힐버트 공간 체계를 양자 계산의 기초로 삼아 분석한다.
• 기본적인 간섭계 기법을 사용하여 보편적 양자 계산의 물리적 실현 가능성을 입증한다.
• 양자 계산이 재귀 이론과 계산 복잡도에 끼치는 영향을 조사한다.
• 양자역학과 계산 모델을 연결하는 이론적 프레임워크를 수립한다.
• 고전적 복잡도 클래스와의 관계에서 양자 계산의 이론적 한계를 분석한다.

제안 방법

• 양자 시스템과 연산을 모델링하기 위해 표준 힐버트 공간 체계를 사용한다.
• 단위 변환을 실현하기 위해 간섭계 구성을 사용하여 물리적 양자 컴퓨터 모델을 구축한다.
• 양자 중첩과 얽힘 원리를 적용하여 보편적 양자 계산을 달성한다.
• 양자 게이트와 큐비트 연산을 사용하여 임의의 양자 알고리즘을 시뮬레이션한다.
• 양자 계산을 재귀 함수와 결정 불가능성과 연결하여 계산 복잡도를 분석한다.
• 형식 체계를 활용하여 양자 환경에서 결정 가능 문제와 결정 불가능 문제 사이의 경계를 탐색한다.

실험 결과

연구 질문

• RQ1 기본적인 간섭계 기법을 사용하여 보편적 양자 계산을 물리적으로 실현할 수 있는가?
• RQ2 양자 계산은 재귀 이론과 계산 가능성의 전경을 어떻게 변화시키는가?
• RQ3 양자 계산 모델이 고전적 복잡도 클래스에 어떤 영향을 미치는가?
• RQ4 양자 시스템이 계산 능력에서 고전적 튜링 기계의 한계를 어느 정도 초월하는가?
• RQ5 양자역학의 힐버트 공간 구조는 어떤 새로운 형태의 계산을 가능하게 하는가?

주요 결과

• 논문은 간섭계를 통한 양자 게이트 실현 방식을 통해 보편적 양자 계산이 물리적으로 실현 가능하다는 것을 입증한다.
• 양자역학이 고전적 계산이 도달하지 못하는 문제, 특히 결정 불가능성의 맥락에서 문제를 해결할 수 있는 프레임워크를 제공한다는 것을 보여준다.
• 양자 계산은 고전적 방법으로는 효율적으로 해결할 수 없는 새로운 결정 가능 문제의 클래스를 도입한다.
• 힐버트 공간 체계는 보편적 계산을 수행할 수 있는 엄밀한 양자 회로 구축을 가능하게 한다.
• 결과적으로, 양자 계산은 재귀 이론의 범위를 확장하여 새로운 형태의 효과적 계산을 가능하게 한다는 것이 제안된다.
• 본 연구는 고전적 모델을 초월한 양자 복잡도를 이해하기 위한 이론적 기초를 제공한다.