[논문 리뷰] The halting problem for universal quantum computers

Tien D. Kieu, Michael Danos|ArXiv.org|1998. 11. 02.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 4

한 줄 요약

이 논문은 유니타리 동역학과 정지 조건의 존재 간의 불일치로 인해 보편 양자 컴퓨터의 정지 문제는 결정 불가능하다고 증명한다. 양자역학의 기본 조건인 유니타리성은 일관된 정지 오라클의 정의를 방해하므로, 저자들은 보편 양자 튜링 기계가 자신의 정지 문제를 해결할 수 없음을 입증하며, 고전적 결정 불가능성의 원리를 양자 영역으로 확장한다.

ABSTRACT

The halting of universal quantum computers is shown to be incompatible with the constraint of unitarity of the dynamics.

연구 동기 및 목표

• 고전적 보편 튜링 기계에서 알려진 정지 문제가 보편 양자 컴퓨터에게도 적용되는지 조사하기 위해.
• 양자역학의 핵심 원리인 유니타리 진화가 양자 계산의 정지 조건 정의 가능성에 어떤 영향을 미치는지 분석하기 위해.
• 양자 역학적 동역학의 제약을 고려할 때 보편 양자 컴퓨터가 자신의 정지 행동을 결정할 수 있는지 판단하기 위해.
• 유니타리 원칙과 양자 정지 문제의 결정 불가능성 사이에 공식적인 연결 고리를 설정하기 위해.
• 양자 계산의 한계를 분석함으로써 고전적 추측-튜링 논지를 양자 영역으로 확장하기 위해.

제안 방법

• 유니타리 진화를 갖춘 양자 튜링 기계로서 보편 양자 컴퓨터의 개념을 형식화하기 위해.
• 계산을 종료하는 측정 가능한 결과로 정지 조건을 정의하며, 고전적 정지와 유사하게.
• 정합적인 정지 메커니즘이 내장될 수 있는지 평가하기 위해 양자 진화 연산자의 유니타리성을 분석하기 위해.
• 자신의 정지 상태를 결정할 수 있는 정지 오라클의 존재를 가정함으로써 모순를 도출하기 위해.
• 유니타리 제약을 사용하여 그러한 오라클이 양자 상태의 노름과 일관성의 보존을 위반할 것임을 보여주기 위해.
• 양자역학과 계산 가능성 이론의 논리적·대수적 추론을 적용하여 보편 양자 정지 조건의 불가능성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 보편 양자 컴퓨터는 자신의 계산이 결국 정지할지 여부를 판단할 수 있는가?
• RQ2 유니타리 진화의 제약 하에서 양자 튜링 기계의 정지 문제가 결정 가능한가?
• RQ3 양자 역학적 동역학에서의 유니타리 요구 조건은 일관된 정지 오라클의 존재를 방해하는가?
• RQ4 고전적 정지 문제의 결정 불가능성이 양자 영역으로 어떻게 확장되는가?
• RQ5 보편 계산 능력을 지닌 양자 시스템은 양자역학 원칙을 위반하지 않고 자신의 정지 문제를 해결할 수 있는가?

주요 결과

• 유니타리성과 정지 조건의 존재 간의 불일치로 인해 보편 양자 컴퓨터의 정지 문제는 결정 불가능하다.
• 양자역학의 유니타리 진화는 보편 양자 튜링 기계에 대해 일관된 정지 오라클의 정의를 금지한다.
• 논문은 양자 계산이 기하급수적 속도 향상 잠재력을 지니고 있음에도 불구하고, 계산 가능성의 기본 한계를 초월할 수 없음을 입증한다.
• 결과적으로 고전적 추측-튜링 논지를 양자 영역으로 일반화하며, 양자 컴퓨터가 결정 불가능성을 피할 수 없음을 보여준다.
• 정지 오라클은 비유니타리 작동을 요구하므로, 이러한 모순이 발생한다. 이는 양자 이론의 기본 원칙을 위반한다.
• 양자 영역에서 정지 문제를 해결할 수 없는 것은 양자 동역학의 유니타리성의 직접적인 결과이다.