[논문 리뷰] The extent of computation in Malament-Hogarth spacetimes

Philip Welch|ArXiv.org|2006. 09. 10.

Black Holes and Theoretical Physics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 특정 인과적 구조를 가진 상대론적 시공간에서 무한 시간 계산을 활용하여, 마라멘트-하그라프(Malament-Hogarth, MH) 시공간이 초산술 술어를 초월하는 초산술 술어를 계산할 수 있음을 보여준다. 이는 제1차 산술을 초월하는 계산 능력을 지닌다. 또한 모든 MH 시공간의 계산 능력은 가산 순서수로 제한되며, 이는 해석 가능한 보렐 계층 복잡성의 보편적 한계를 나타낸다.

ABSTRACT

We analyse the extent of possible computations following Hogarth in Malament-Hogarth (MH) spacetimes, and Etesi and Németi in the special subclass containing rotating Kerr black holes. Hogarth had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Nemeti had shown that some \forall \exists relations on natural numbers which are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n \in H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime which is thus a universal constant of the space-time M. Theorem C. Assuming the (modest and standard) requirement that space-time manifolds be paracompact and Hausdorff, for any MH spacetime M there will be a countable ordinal upper bound, w(M), on the complexity of questions in the Borel hierarchy resolvable in it.

연구 동기 및 목표

• 마라멘트-하그라프(MH) 시공간에서 제1차 산술을 초월한 계산 능력의 범위를 규명하는 것.
• 에테시와 네메티의 열린 질문, 즉 킬러 블랙홀 시공간(특수한 MH 시공간의 하위집합)에서의 계산 한계를 다루는 것.
• 표준 다양체 가정 하에, 어떤 MH 시공간에서도 해석 가능한 술어의 복잡성에 대한 보편적 상한을 설정하는 것.
• 수형도의 순서수 랭크를 사용하여 상대론적 시공간에서의 계산 능력의 개념을 형식화하는 것.

제안 방법

• 무한한 고유 시간를 가지는 시계곡선과 유한한 고유 시간를 가지는 먼 관측자를 갖는 인과적 구조를 사용하여 MH 시공간을 분석한다.
• 초과업무(supertasks): 상대성 이론적 시간 지연를 통해 유한한 시간 내에 무한한 계산 시퀀스를 완료하는 개념을 적용한다.
• 유한한 경로 수형도의 순서수 랭크를 갖는 SAD(Singularly Accelerated Device) 영역을 사용하여 계산을 모델링한다.
• SAD 영역이 그 랭크를 갖는 수형도를 갖지 않는 최소 순서수로 정의된 순서수 상한 $ w(\text{$\mathcal{M}$}) $ 를 정의한다.
• 시공간 다양체의 분리가능성과 하우스도르프 성질을 사용하여, 서로소인 SAD 영역은 최대 가산 개 뿐임을 증명한다.
• 특히 유한한 경로 수형도 지수의 $ \Pi^1_1 $-완전성과 관련된 기술적 집합 이론 결과를 활용하여 초산술 계산을 분석한다.

실험 결과

연구 질문

• RQ1 마라멘트-하그라프 시공간에서 제1차 산술을 초월하는 최대의 수학적 문장 클래스는 무엇인가?
• RQ2 자연수에 대한 초산술 술어는 마라멘트-하그라프 시공간에서 해석될 수 있는가?
• RQ3 표준 다양체 공리 하에서 어떤 MH 시공간에서도 계산 복잡성의 상한은 무엇인가?
• RQ4 킬러 블랙홀 시공간의 계산 능력은 일반적인 MH 시공간과 비교하여 어떻게 다른가?
• RQ5 시공간 내의 무한 수형도의 구조는 얼마나 복잡한 논리적 문장을 인코딩할 수 있는가?

주요 결과

• 정리 A는 정수에 대한 모든 초산술 술어 $ H $ 가 어떤 MH 시공간에서 계산 가능하다는 것을 증명하며, 이는 산술을 초월하여 초산술 계층 구조까지 확장됨을 의미한다.
• 정리 B는 에테시와 네메티의 시공간(킬러 블랙홀)에서 계산 가능한 관계들이 정수 집합에서의 $ \Delta_2 $-관계들임을 보이며, 신호 전송 수에 유한한 상한이 존재할 경우 이는 모든 $ \Delta_2 $-관계들의 진부분집합임을 나타낸다.
• 정리 C는 표준 가정(분리가능성 및 하우스도르프 성질) 하에서, 모든 MH 시공간은 해석 가능한 보렐 술어의 복잡성에 대해 가산 순서수 상한 $ w(\mathcal{M}) $ 를 갖는다는 것을 증명한다.
• 위상적 추론을 통해 $ w(\mathcal{M}) < \omega_1 $ 이 성립함을 입증한다: 서로소인 열린 영역은 최대 가산 개 뿐이며, 이는 유한한 경로 수형도의 순서수 랭크를 제한한다.
• 논문은 SAD 영역에 하드웨어로 구축된 수형도를 사용하여 자연수의 임의의 집합 $ B \subseteq \mathbb{N} $ 를 인코딩할 수 있음을 보여주지만, 경로 수형도의 유한성 결정 문제의 불결정성으로 인해 이는 효과적인 계산 가능성을 의미하지는 않는다.
• 보편 상수 $ w(\mathcal{M}) $ 의 존재는, 산술을 초월하더라도 어떤 MH 시공간도 보렐 계층의 모든 문장을 해석할 수 없음을 시사한다.