[논문 리뷰] Measurability and Computability

Masanao Ozawa|ArXiv.org|1998. 09. 16.

Computability, Logic, AI Algorithms참고 문헌 1인용 수 9

한 줄 요약

이 논문은 양자 측정 가능성과 Church-Turing 논법 사이의 상충되는 것으로 여겨지는 문제를 해결하기 위해, 양자 관측량의 유한 정밀도 측정을 재정의한다. 양자 알고리즘으로 계산 가능한 모든 함수는 재귀적이며, 따라서 Church-Turing 논법과 호환됨을 증명한다. 同시에 모든 양자 관측량이 원칙적으로 측정 가능하다는 점을 보여주어 양자 이론과 고전적 계산 가능성의 한계 사이를 조율한다.

ABSTRACT

The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing thesis. It is argued that any function computable by a quantum algorithm is a recursive function obeying the Church-Turing thesis, whereas any observable can be measured in principle.

연구 동기 및 목표

• Nielsen(1997)가 제기한 바와 같이, 양자 관측량의 측정 가능성과 Church-Turing 논법 사이의 암시적 모순을 해결하기 위해.
• 계산 가능성과의 관계를 명확히 하기 위해 양자역학에서의 유한 정밀도 측정 개념을 체계화하기 위해.
• 양자 알고리즘이 계산하는 모든 함수가 반드시 재귀 함수임을 보여주어 Church-Turing 논법을 유지하기 위해.
• 측정 결과가 유한 시간 내에 항상 계산 가능하지 않더라도, 모든 양자 관측량이 원칙적으로 측정 가능하다는 것을 보여주기 위해.

제안 방법

• 양자역학에서의 유한 정밀도 측정을 위한 새로운 체계를 도입하여 이상적 측정과 실질적 측정 과정을 구분한다.
• 결과가 유한한 수의 연산을 사용해 임의의 정밀도로 근사될 수 있다면 측정을 유한 정밀도 측정으로 정의한다.
• 재귀 이론을 적용하여 양자 알고리즘에 의해 생성된 함수의 계산 가능성 분석을 수행한다.
• 양자 알고리즘으로 계산 가능한 임의의 함수는 재귀적이며, 따라서 Church-Turing 논법의 의미에서 계산 가능하다는 것을 입증한다.
• 측정 과정을 유한 정밀도로 모델링하기 위해 양자 작용과 양성 연산자 값 측정(POVM)의 프레임워크를 사용한다.
• 모든 관측량의 측정은 원칙적으로 물리적으로 가능하지만, 무한 정밀도에서의 결정 불가능성으로 인해 수치적 결과가 항상 계산 가능하지 않다는 것을 밝힌다.

실험 결과

연구 질문

• RQ1 일부 양자 관측량의 측정 가능성과 Church-Turing 논법 사이의 명백한 갈등은 해결될 수 있는가?
• RQ2 양자역학에서의 유한 정밀도 측정은 무엇을 의미하며, 계산 가능성과 어떤 관계가 있는가?
• RQ3 양자 알고리즘으로 계산 가능한 모든 함수는 반드시 재귀 함수인가?
• RQ4 측정 결과가 항상 계산 가능하지 않더라도, 모든 양자 관측량은 원칙적으로 측정 가능한가?
• RQ5 양자 측정과 재귀 함수 이론 사이의 정확한 관계는 무엇인가?

주요 결과

• 양자 알고리즘으로 계산 가능한 모든 함수는 재귀 함수이므로, Church-Turing 논법을 만족한다.
• 유한 정밀도 측정이 충분하여 양자역학과 고전적 계산 가능성 간의 조율가능성을 확보할 수 있으며, Nielsen가 제기한 역설을 피할 수 있다.
• 모든 양자 관측량은 원칙적으로 측정 가능하나, 무한 정밀도에서의 결정 불가능성으로 인해 정확한 값이 항상 계산 가능하지 않다.
• 논문은 문제의 핵심이 관측량의 물리적 측정 가능성에 있는 것이 아니라, 정확한 수치 결과의 계산 가능성에 있음을 명확히 한다.
• 이 프레임워크는 측정을 유한 정밀도 근사로 이해할 경우, 양자역학이 Church-Turing 논법을 위반하지 않음을 보여준다.
• 결과적으로, 유한 정밀도가 적절히 고려될 경우 양자 계산이 고전적 계산 가능성의 범위를 초월하지 않음을 확인한다.