[논문 리뷰] The Halting Problem for Quantum Computers

Noah Linden, Sandu Popescu|ArXiv.org|1998. 06. 16.

Quantum Computing Algorithms and Architecture인용 수 26

한 줄 요약

이 논문은 양자 컴퓨터의 정지 문제에 대한 해결 주장에 도전하며, 단위행렬 진화에 기반한 표준 정지 체계가 서로 다른 시간에 정지하는 다양한 계산 분지 간 간섭을 일관되게 유지할 수 없음을 보여준다. 저자들은 이러한 체계가 모든 분지가 동시에 정지하지 않는 한 단위성을 위반하므로, 중첩과 간섭에 의존하는 일반적인 양자 알고리즘의 실현 가능성을 뿌리 뽑는다.

ABSTRACT

We argue that the halting problem for quantum computers which was first raised by Myers, is by no means solved, as has been claimed recently. We explicitly demonstrate the difficulties that arise in a quantum computer when different branches of the computation halt at different, unknown, times.

연구 동기 및 목표

• 양자 컴퓨터의 정지 문제에 대한 해결 주장, 특히 오자와의 제안 솔루션에 대한 반박.
• 양자 튜링 기계의 표준 정지 체계—정지 큐비트와 보조 큐비트를 사용—가 서로 다른 시간에 정지하는 분지 간에 단위성을 유지하지 못함을 보여줌.
• 분지가 알려지지 않은, 비균일한 시간에 정지할 경우, 정지 기록이 상태를 얽매어 중첩의 일관성을 파괴하므로, 유용한 양자 간섭은 불가능함을 보여줌.
• 실제 문제점은 정지 상태를 손상 없이 감시할 수 있는가이 아니라, 간섭을 위해 필요한 양자 일관성을 유지할 수 있는가이지 않다.
• 표준 양자 튜링 기계 프레임워크는 정지가 발생하지 않는 컴퓨터에만 적용 가능하며, 모든 분지가 동시에 정지하지 않는 한 정지 시스템은 비단위행렬 행동을 유도하므로 일반적인 양자 알고리즘에 적용 불가능함을 입증함.

제안 방법

• 계산 큐비트, 정지 큐비트(|0⟩은 작동 중, |1⟩은 정지 상태), 그리고 단위성을 유지하기 위해 사용하는 보조 시스템을 포함하는 복합 힐베르트 공간을 사용해 양자 정지 문제를 수학적으로 정의.
• 전체 시스템에 작용하는 단위행렬 진화 연산자 U를 도입하며, 분지가 정지 상태에 들어가면(정지 큐비트 = |1⟩) 계산 상태는 변화하지 않지만 보조 시스템은 정규직교 상태로 진화하여 단위성을 유지하도록 함.
• 정지 후 단위성을 유지하기 위해 보조 시스템이 정규직교 상태로 진화해야 한다는 조건을 유도함(⟨a_k|a_{k'}⟩ = 0, k ≠ k').
• 헤드 상태와 테이프 구성이 U에 의해 진화하는 양자 튜링 기계 모델을 분석하며, 정지된 상태와 정지하지 않은 상태 간의 정규직교 조건이 유일하게 성립하는 경우는 모든 분지가 동시에 정지할 때뿐임을 보여줌.
• 내부 헤드 상태와 테이프 구성의 진화에 단위성 조건을 적용하여, 비동시 정지가 발생할 경우 전이 진폭이 0이 되는(예: |Φ⁻_ν⟩ = |Φ⁺_ν⟩ = 0) 결과를 도출함으로써 정지가 완전히 금지됨을 증명함.
• 결론적으로 표준 정지 체계는 모든 분지가 동시에 정지하지 않는 한 단위성과 배치되며, 이는 일반적인 양자 알고리즘에 적용 불가능함을 입증함.

실험 결과

연구 질문

• RQ1 단위행렬 양자 컴퓨터는 서로 다른, 알려지지 않은 시간에 정지하는 다양한 계산 분지를 정확하게 정지시킬 수 있는가? 이는 양자역학 원칙을 위반하지 않는가?
• RQ2 정지 큐비트와 보조 큐비트를 사용하는 표준 정지 체계는 분지가 서로 다른 시간에 정지할 경우 여전히 단위성과 일치하는가?
• RQ3 비동시 정지가 초래하는 영향은 계산 경로의 중첩 상태에서 간섭에 어떤 영향을 미치는가?
• RQ4 계산을 방해하지 않으면서 정지를 감시할 수 있는 방법은 단위성과 일관성을 유지할 수 있는가?
• RQ5 일반적인 양자 튜링 기계 모델에서 정지 문제를 해결할 수 있는가, 아니면 양자 계산의 구조와 본질적으로 불일치하는가?

주요 결과

• 오자와의 연구에서 사용된 양자 튜링 기계의 표준 정지 체계는 서로 다른 시간에 정지하는 분지 간에 단위성과 배치됨.
• 단위성은 정지 후 보조 시스템이 정규직교 상태로 진화해야 한다는 조건을 요구하며, 이는 정지 시간이 계산 상태와 얽매이는 결과를 초래함.
• 분지가 서로 다른, 알려지지 않은 시간에 정지할 경우, 보조 시스템의 정지 시간 기록과의 얽힘으로 인해 계산 분지 간 간섭이 파괴됨.
• 정지 상태가 모든 비정지 상태와 정규직교여야 한다는 조건은 유일하게 모든 분지가 동시에 정지할 경우에만 성립하므로, 비동시 정지는 단위성에 의해 금지됨.
• 내부 상태(예: 헤드 상태와 테이프)는 동역학적으로 제약을 받고 자유롭게 진화하지 않기 때문에, 표준 정지 모델에서 요구하는 방식으로 보조 큐비트로 사용될 수 없으며, 이는 표준 정지 모델의 무효화를 초래함.
• 따라서 정지 체계는 정지하지 않는 컴퓨터에만 적용 가능하며, 이는 실제 정지 시간이 명확한 양자 계산을 기술할 수 없는 프레임워크임을 의미함.