[논문 리뷰] Computability at the Planck scale

Paola Zizzi|ArXiv.org|2004. 12. 15.

Computability, Logic, AI Algorithms참고 문헌 28인용 수 15

한 줄 요약

이 논문은 블랙홀 스케일에서 양자 중력이 비가환적이고 이산적인 시공간, 특히 흐린 구(spherical)에 임bed된 보편적인 양자 컴퓨터로 모델링될 수 있다고 제안한다. 여기서 모든 물리 법칙은 계산 가능한 함수로 표현된다. 내부 관측자에게는 고전적 논리에서 파라일리틱 논리로의 전환으로 인해, 고전적으로 참이지만 계산 불가능한 정리는 계산 가능성은 유지되지만 결정 불가능해지며, 이는 양자 중력에서의 계산 가능성의 재정의를 이끈다.

ABSTRACT

We consider the issue of computability at the most fundamental level of physical reality: the Planck scale. To this aim, we consider the theoretical model of a quantum computer on a non commutative space background, which is a computational model for quantum gravity. In this domain, all computable functions are the laws of physics in their most primordial form, and non computable mathematics finds no room in the physical world. Moreover, we show that a theorem that classically was considered true but non computable, at the Planck scale becomes computable but non decidable. This fact is due to the change of logic for observers in a quantum-computing universe: from standard quantum logic and classical logic, to paraconsistent logic.

연구 동기 및 목표

• 블랙홀 스케일에서 시공간이 이산적이고 비가환적일 때 물리학에서의 계산 가능성의 재정의를 탐구한다.
• 표준 양자 측정에서 숨겨진 양자 정보 문제를 해결하기 위해 양자 공간-시간 배경에 양자 컴퓨터를 통합한다.
• 양자 컴퓨팅 우주가 흐린 구 위의 양자 컴퓨터와 등가일 때, 모든 양자 정보에 대한 완전한 가역성과 접근성을 보장함을 보여준다.
• 양자 컴퓨팅 원리로 양자 중력을 재구성하여 물리 법칙을 계산 가능한 함수로 식별한다.
• 내부 관측자가 양자 우주 내에서 사용하는 파라일리틱 논리의 영향을 탐색하며, 외부 관측자가 사용하는 고전 논리와 대비한다.

제안 방법

• 비가환적 공간 배경, 특히 N 큐비트에 대해 n = 2^N 개의 기본 세포를 가진 흐린 구를 사용하여 우주를 양자 컴퓨터로 모델링한다.
• 비가환적 겔판트-나이마르크 정리를 사용하여 양자 논리 게이트의 대수와 양자 공간 사이의 등장관계를 확립하여 일대일 대응을 보장한다.
• 고전적 시공간을 이산적이고 로렌츠 불변인 양자 공간(흐린 구)으로 대체하여 이산성과 상대성 대칭성을 모두 유지한다.
• 내부 관측자는 파라일리틱 논리를 사용하며, 이는 비모순의 법칙과 배타적 중복의 법칙을 모두 무효화한다. 반면 외부 관측자는 고전 논리를 사용한다.
• 관측자가 양자 공간에 통합될 때 양자 측정이 가역적이 되어 숨겨진 양자 정보가 사라짐을 입증한다.
• 고델의 첫 번째 불완전성 정리 재해석: 고전 논리 하에서 참이지만 계산 불가능한 정리는 양자 컴퓨팅 우주에서는 계산 가능하나 결정 불가능해진다.

실험 결과

연구 질문

• RQ1 양자 중력을 비가환적 공간 위의 양자 컴퓨터로 모델링할 경우, 계산 가능성의 개념은 어떻게 변화하는가?
• RQ2 관측자가 양자 시공간에 통합되었을 때 표준 양자 측정에서의 숨겨진 양자 정보는 어떻게 되는가?
• RQ3 흐린 구를 기반으로 한 양자 컴퓨팅 우주가 고전 논리와 표준 양자 논리와 다를 수 있는 일관된 논리 체계를 수용할 수 있는가?
• RQ4 고전 논리에서 파라일리틱 논리로의 전환이 양자 우주 내 수학 정리의 결정 가능성과 진리값에 어떤 영향을 미치는가?
• RQ5 양자 컴퓨터와 양자 시공간 간의 등장관계가 모든 물리 법칙이 계산 가능한 함수임을 암시하는 정도는 어느 정도인가?

주요 결과

• 양자 컴퓨터와 흐린 구 배경 간의 등장관계는 모든 양자 정보가 접근 가능하게 하며, 비가역적 측정으로 인한 숨겨진 정보가 사라진다.
• 고전 논리 하에서 참이지만 계산 불가능한 정리는 양자 계산 하에서는 계산 가능해지지만, 고전적 진리값이 무효화되므로 결정 불가능해진다.
• 양자 컴퓨팅 우주 내의 내부 관측자는 파라일리틱 논리를 사용하며, 이는 A ∧ ¬A 및 ¬A ∨ A 둘 다 수용됨을 의미한다. 이는 고전 논리의 비모순의 법칙과 배타적 중복의 법칙을 모두 무효화한다.
• 양자 우주에서는 고전적 진리 개념(0 또는 1)이 의미가 없으며, 대신 정리는 계산 가능하나 고전적으로 결정 불가능하다.
• 블랙홀 스케일의 물리 법칙은 재귀적이고 양자 계산 가능한 함수로 식별되며, 이는 계산 불가능한 수학은 물리적 실현이 없다는 것을 암시한다.
• 우주는 시뮬레이션은 아니며, 오히려 스스로가 가장 원초적인 기호 형태로 물리 법칙을 동적으로 평가하는 보편적인 양자 컴퓨터이다.