[논문 리뷰] Halting in quantum Turing computation

Willem L. Fouché, Johannes Heidema외 2명|arXiv (Cornell University)|2007. 05. 22.

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

한 줄 요약

이 논문은 양자 Turning 기계(QTM)의 정지 메커니즘을 검토하며, 초기 모호함에도 불구하고 Deutsch의 원래 정지 체계가 본질적으로 타당하다고 확인한다. Ozawa, Myers 등이 제기한 이의를 분석하여, 정지 비트의 측정에 의해 유도되는 붕괴가 보편적 시뮬레이션을 위협할 수 있음을 보여주며, 정지 체계가 실용적 운영에 필수적이지만 관측에 의해 양자 상태의 일관성이 손상되므로 진정으로 보편적인 QTM를 달성하는 데 상당한 장애가 된다고 결론을 내린다.

ABSTRACT

The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered.

연구 동기 및 목표

• Deutsch가 제안한 양자 Turning 기계의 정지 메커니즘을 명확히 하고 검증하는 것.
• 측정에 의한 상태 붕괴가 정지 과정과 보편적 시뮬레이션에 미치는 영향을 분석하는 것.
• 정지 체계의 제약 조건을 고려할 때 보편적 양자 Turning 기계가 존재할 수 있는지 평가하는 것.
• 양자 계산의 확률적 성격과 고전적 TMs의 결정론적 정지 모델 간의 조화를 도출하는 것.
• 정지 체계가 QTMs의 프로그래밍 가능성과 보편성에 미치는 영향을 평가하는 것.

제안 방법

• 정지 비트를 전용으로 도입하여 종료 신호를 알리는 Deutsch의 정지 체계를 채택한다.
• 정지 비트를 포함한 구성으로 이루어진 힐베르트 공간에서의 유니터리 진화로 QTM를 모델링한다.
• 정지 비트를 관측할 경우 초위상이 붕괴되고 일관성이 파괴됨을 분석한다.
• 고전적 및 확률적 Turning 기계를 비교하여 양자 유사체의 기초를 마련한다.
• Bernstein-Vazirani의 시뮬레이션 결과를 평가하여 유한 시간 내의 어떤 QTM도 다항 시간의 느린 속도로 근사적으로 시뮬레이션할 수 있음을 확인한다.
• 측정 이후 기계를 재설정하는 문제를 고려하여 자율성을 해치고 보편성을 약화시킨다.

실험 결과

연구 질문

• RQ1 Deutsch의 QTM 정지 체계는 이의 제기에도 불구하고 본질적으로 타당한가?
• RQ2 정지 비트를 측정하면 양자 계산의 일관성과 보편성에 어떤 영향을 미치는가?
• RQ3 정지 메커니즘이 관측과 상태 붕괴를 요구한다면 보편적 QTM는 존재할 수 있는가?
• RQ4 정지 체계는 양자 Turning 기계의 프로그래밍 가능성에 어떤 영향을 미치는가?
• RQ5 왜 정지 메커니즘이 완전히 자율적인 보편적 양자 컴퓨터의 구현을 저해하는가?

주요 결과

• Deutsch의 정지 체계는 원칙적으로 타당하지만, 측정에 의한 상태 붕괴로 인해 실용적 구현이 손상된다.
• 정지 비트를 관측하면 양자 상태가 붕괴되어 기계를 이후 실행을 위해 신뢰성 있게 재설정하는 것이 불가능해진다.
• 각 실행 후 수동으로 기계를 재초기화해야 하는 요구사항은 자율성 원칙을 위반하며, 고전적 컴퓨터에서 수동 NOT 연산을 요구하는 것과 유사하다.
• Bernstein과 Vazirani의 보편 시뮬레이터는 유한 시간 내의 시뮬레이션에는 존재하지만, 간섭 없이 무한하거나 적응형 계산을 수행하기 위해서는 간섭이 필요하다.
• 정지 메커니즘이 출력 관측에 필수적이지만, 진정으로 보편적인 QTM를 달성하는 데 핵심적인 장애물이 된다.
• 논문은 보다 잘 정의된 QTMs에 대한 추가 연구가 필요하며, 특히 이 클래스 내에서 보편 기계의 존재 여부에 대해 연구가 필요하다고 결론을 내린다.