[논문 리뷰] Deutsch's Universal Quantum Turing Machine (Revisited)

Willem L. Fouché, Johannes Heidema외 2명|ArXiv.org|2007. 01. 16.

Computability, Logic, AI Algorithms인용 수 4

한 줄 요약

이 논문은 Deutsch의 보편 양자 튜링 기계(UQTM)를 재고하며, Deutsch, Bernstein, Vazirani의 상당한 진전에도 불구하고, 아직 보편적이고 가역적인 양자 튜링 기계가 엄밀하게 확립된 바가 없다고 주장한다. 저자들은 시간이 지남에 따라 점점 더 정확하게 QTM을 시뮬레이션하는 반가역적인 하이브리드 장치(SUHD)를 제안하지만, 측정에 의한 붕괴로 인해 이를 가역적으로 만들 수 없음을 입증함으로써 진정으로 보편적인 양자 보편 기계의 존재를 도전한다.

ABSTRACT

Deutsch, Feynman, and Manin viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. This interesting problem has been addressed most famously in a paper by Deutsch, and later by Bernstein and Vazirani. Quantum Turing machines form a class closely related to deterministic and probabilistic Turing machines and one might hope to find a universal machine in this class. A universal machine is the basis of a notion of programmability. The extent to which universality has in fact been established by the pioneers in the field is examined and a key notion in theoretical computer science (universality) is scrutinised. In a forthcoming paper, the authors will also consider universality in the quantum gate model.

연구 동기 및 목표

• 문헌에서 양자 튜링 기계(QTM)의 보편성(유니버설리티)이 엄격하게 확립되었는지 비판적으로 평가하는 것.
• 완전한 프로그래머블성과 가역성(가역성)을 지원하는 진정으로 보편적인 양자 튜링 기계를 구축하는 것이 가능한지 조사하는 것.
• 특히 Bernstein과 Vazirani의 보편 양자 기계가 하이브리드 고전-양자 아키텍처에 적용되었을 때의 제약을 분석하는 것.
• 양자 측정, 가역성, 보편 양자 계산 장치 설계 간의 근본적 갈등을 검토하는 것.
• 관측과 리셋 메커니즘에 의해 유도되는 비가역적 연산으로 인해 현재 모델들이 진정으로 보편성에 못 미친다고 주장하는 것.

제안 방법

• 모든 QTM를 시뮬레이션할 수 있는 고전 튜링 기계와 양자 부분계를 조합한 반가역적 하이브리드 장치(SUHD)를 제안한다.
• SUHD는 반복적으로 시뮬레이션 시간 T를 늘리고 오차 허용 범위 ε/T를 줄여 시간이 지남에 따라 정확도를 높인다.
• 모든 QTM M를 시뮬레이션하기 위한 핵심 양자 서브루틴으로 Bernstein과 Vazirani의 보편 양자 기계 𝒰를 사용한다.
• 양자 부분이 각 반복 후에 리셋되어 다음 시뮬레이션 단계를 준비하도록 하는 루프 구조를 채택한다.
• 𝑈의 진화 연산자의 역함수를 사용해 양자 부분계를 리셋하며, '조금 기다리는' 단계 동안 측정이 일어나지 않는다고 가정한다.
• 근본적인 갈등을 밝혀내며: 만약 '조금 기다리는' 단계에서 양자 부분이 관측된다면 리셋 연산이 실패하여 가역성이 깨진다.

실험 결과

연구 질문

• RQ1 완전한 프로그래머블성과 가역성을 지원하는 보편 양자 튜링 기계를 구축할 수 있는가?
• RQ2 Bernstein과 Vazirani의 보편 양자 기계와 같은 기존 모델이 QTM 프레임워크 내에서 진정으로 보편성을 달성하는 데 얼마나 성공적인가?
• RQ3 양자 측정이 하이브리드 고전-양자 시뮬레이션 장치의 가역성에 미치는 영향은 무엇인가?
• RQ4 관측으로 인한 비가역적 연산을 피할 수 있는 보편 양자 장치를 설계하는 것이 가능한가?
• RQ5 현재 보편 양자 시뮬레이션 접근 방식이 진정으로 보편 양자 기계의 이론적 기준을 충족하지 못하는 이유는 무엇인가?

주요 결과

• 저자들이 제안한 반가역적 하이브리드 장치(SUHD)는 '조금 기다리는' 단계에서 측정이 일어나면 양자 상태가 붕괴하고 정확한 리셋이 불가능해지므로 완전히 가역적으로 만들 수 없다.
• SUHD의 리셋 메커니즘은 양자 부분이 관측될 경우 실패하여 QTM에서 단위적이고 가역적인 진화를 요구하는 조건을 위반한다.
• 양자 상태의 복제가 금지되는 '복제 금지 정리'로 인해 순수한 양자 장치에서는 고전적인 방식의 리셋을 구현할 수 없다.
• 결과적으로 SUHD는 시간이 지남에 따라 어떤 QTM든 점점 더 정확하게 시뮬레이션할 수는 있지만, QTM로 유효하지 않다.
• 논문은 알려진 보편 양자 튜링 기계의 모든 구성이 보편성과 가역성의 전면적 기준을 충족하지 못함을 결론 내린다.
• 따라서 양자 계산의 기초적 주장인 보편성에 대한 이론적 기반은 여전히 QTM 모델 내에서 입증되지 않았으며, 이는 양자 계산의 보편성 개념 자체를 도전한다.