[论文解读] The extent of computation in Malament-Hogarth spacetimes

Philip Welch|ArXiv.org|Sep 10, 2006

Black Holes and Theoretical Physics参考文献 5被引用 6

一句话总结

本文证明，通过利用具有特定因果结构的相对论性时空中无限时间计算，马勒门特-霍加斯（Malament-Hogarth, MH）时空能够计算超递归谓词——其计算能力超越一阶算术。研究建立表明，任何MH时空的计算能力受限于一个可数序数，代表了可解析Borel层次复杂度的普遍上限。

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）时空在超越一阶算术之外的计算能力范围。
• 回应Etesi与Németi关于克尔黑洞时空（MH时空的一个子类）中计算极限的开放性问题。
• 在标准流形假设下，为任意MH时空中可解析谓词的复杂度建立一个普遍的上界。
• 使用树结构的序数秩形式化相对论性时空中计算能力的概念。

提出的方法

• 利用具有无限固有时的时向曲线与具有有限固有时的远方观测者所定义的因果结构分析MH时空。
• 应用超任务（supertasks）概念：通过相对论性时间膨胀，在有限时间内完成无限次计算序列。
• 使用SAD（Singularly Accelerated Device）区域概念，其有限路径树具有序数秩，以建模计算过程。
• 将序数界 $ w(\text{$\mathcal{M}$}) $ 定义为：$ \mathcal{M} $ 中任意SAD区域均不具有该秩的树的最小序数。
• 利用时空流形的仿紧性与豪斯多夫性，证明仅存在可数多个不相交的SAD区域。
• 应用描述集合论结果，特别是有限路径树指标的 $ \Pi^1_1 $-完全性，以分析超递归计算。

实验结果

研究问题

• RQ1 在马勒门特-霍加斯时空中，超越一阶算术的数学命题中，最大可判定类是什么？
• RQ2 自然数上的超递归谓词是否可在MH时空中被解析？
• RQ3 在标准流形公理下，任何MH时空的计算复杂度上限是什么？
• RQ4 克尔黑洞时空的计算能力与一般MH时空相比如何？
• RQ5 时空中无限树结构在多大程度上可编码复杂逻辑命题？

主要发现

• 定理A表明，任何整数上的超递归谓词 $ H $ 均可在某个MH时空中被计算，其能力超越算术，进入超递归层次。
• 定理B表明，Etesi与Németi所研究的时空（克尔黑洞）中可计算的关系恰好是 $ \Delta_2 $-关系，若信号发送存在有限上限，则其为所有 $ \Delta_2 $-关系的真子类。
• 定理C证明，在标准假设（仿紧且豪斯多夫流形）下，每个MH时空均存在一个可数序数上界 $ w(\mathcal{M}) $，用于限制可解析Borel谓词的复杂度。
• 通过拓扑论证确立了 $ w(\mathcal{M}) < \omega_1 $：仅存在可数多个不相交的开区域可包含SAD区域，从而限制了有限路径树的序数秩。
• 本文表明，尽管任何集合 $ B \subseteq \mathbb{N} $ 均可通过硬连线树结构编码于SAD区域中，但这并不意味着其具有有效可计算性，因为路径树的有限性不可判定。
• 存在一个普遍常数 $ w(\mathcal{M}) $ 暗示，即使MH时空超越算术，也无法解析所有Borel层次中的命题。