[논문 리뷰] Computable Functions, the Church-Turing Thesis and the Quantum Measurement Problem

R. Srikanth|ArXiv.org|2004. 02. 18.

Computability, Logic, AI Algorithms인용 수 5

한 줄 요약

이 논문은 양자역학에서 초계산이 가능하다는 가능성을 배제하지 않더라도, 양자 측정 문제에 의해 힐버트 공간의 유한화를 통해 추세-튜링 가설이 유지된다고 주장한다. 유한한 측정 정밀도—정밀도의 정도를 나타내는 유한한 미세분할 수준 μ—로 인해 초계산이 불가능해지며, 이는 양자역학이 계산 가능성의 한계와 조화를 이룬다.

ABSTRACT

It is possible in principle to construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolution, would contradict the Church-Turing thesis, which lies at the foundation of computer science. Elsewhere we have argued that the quantum measurement problem implies a finite, computational model of the measurement and evolution of quantum states. If correct, this approach helps to identify the key feature that can reconcile quantum mechanics with the Church-Turing thesis: finitude of the degree of fine-graining of Hilbert space. This suggests that the Church-Turing thesis constrains the physical universe and thereby highlights a surprising connection between purely logical and algorithmic considerations on the one hand and physical reality on the other.

연구 동기 및 목표

• 양자역학이 초계산을 가능하게 할 수 있다는 잠재적 갈등과 추세-튜링 가설 사이의 갈등을 해결하기 위해.
• 양자 관측량과 유니터리 연산이 원칙적으로 튜링 계산이 불가능한 함수, 예를 들어 정지 문제를 계산할 수 있는지 조사하기 위해.
• 양자 시스템에서 추세-튜링 가설을 강제하는 물리 원리를 규명하기 위해.
• 양자 측정 문제로 인해 힐버트 공간의 해상도에 유한한 한계가 생기며, 이로 인해 계산 가능성에 제약이 생기는 방식을 탐구하기 위해.

제안 방법

• 유한한 정보적 현실성과 이산 힐버트 공간 내에서 상태 벡터를 유한한 객체로 간주하는 양자 측정의 계산 모델(CMQM)을 제안한다.
• 물리적 측정의 유한한 정밀도에서 유도된, 구분 가능한 양자 상태의 수에 대한 유한한 상한 μ를 도입한다.
• 대각선화 기법(튜링의 정지 문제)을 적용하여, 양자 알고리즘이 자신의 대각선 함수를 계산할 수 없다는 것을 보이며, 이는 정수와 실수로 표현된 양자 프로그램 인덱스 간의 기수 불일치 때문임을 밝힌다.
• 카이틴의 상수 Ω을 사용하여, 심지어 원칙적으로도 비계산 가능한 함수의 정확한 값에 접근할 수 없다는 것을 보여준다. 이는 μ가 유한하기 때문이다.
• 우주론적 한계에서 μ를 추정한다: 표준 양자 시스템의 경우 μ ≈ 2×10²³이며, 중력 자유도를 포함하면 μ ≈ 10¹²⁰가 된다.
• 일관된 진화가 2^μ개를 초과하는 상태의 중첩을 유지할 수 없다고 주장하며, 이는 다항형 방정식과 같은 비재귀 문제의 해공간을 제한한다.

실험 결과

연구 질문

• RQ1 유니터리 진화와 관측 가능 양자역학을 통해, 양자역학은 정지 문제와 같은 튜링 계산이 불가능한 함수를 계산할 수 있는가?
• RQ2 어떤 물리 원리가 양자 시스템이 초계산을 통해 추세-튜링 가설을 위반하는 것을 방지하는가?
• RQ3 측정의 유한한 해상도로 인해 힐버트 공간에 유한한 한계가 생기며, 이것이 어떻게 추세-튜링 가설을 복원하는가?
• RQ4 유한한 측정 정밀도를 고려할 때, 힐버트의 제10 문제와 같은 결정 불가능 문제의 해공간은 어느 정도 물리적으로 접근 가능한가?
• RQ5 카이틴의 상수 Ω는 임의의 정밀도로 물리적으로 계산될 수 있는가? 만약 그렇지 않다면 그 이유는 무엇인가?

주요 결과

• 추세-튜링 가설은 양자역학을 제한함으로써 유지되는 것이 아니라, μ로 정량화된 힐버트 공간의 미세분할 정도의 유한성 덕분에 유지된다.
• 대각선 함수 r(n)은 실수로 표현된 프로그램 인덱스가 필요하지만, 양자 알고리즘은 정수 인덱스에 국한되어 있으므로 계산될 수 없다.
• 일관되게 유지할 수 있는 최대 양자 상태 수는 2^μ로 제한되며, 표준 양자 시스템의 경우 μ ≈ 2×10²³이며, 중력 자유도를 포함하면 μ ≈ 10¹²⁰가 된다.
• 2^μ를 초과하는 해를 가진 디오판틴 방정식은 어떤 양자 알고리즘으로도 원칙적으로 계산 불가능하다.
• 카이틴의 상수 Ω는 μ를 초월해 정밀도를 확보할 수 없으며, 이는 어떤 유한한 물리적 우주에서도 완전히 계산될 수 없다는 의미이다.
• 양자 측정의 계산 모델(CMQM)은 우주가 어떤 고전적 컴퓨터보다도 훨씬 강력할 수는 있지만, μ가 유한하므로 유한한 튜링 기계의 한계에 항상 종속된다는 것을 암시한다.