REAL

A proof of the Geroch–Horowitz–Penrose formulation of the strong cosmic censor conjecture motivated by computability theory

Etesi, Gábor (2013) A proof of the Geroch–Horowitz–Penrose formulation of the strong cosmic censor conjecture motivated by computability theory. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 52. pp. 946-960. ISSN 0020-7748

[img]
Preview
Text
1205.4550v4.pdf
Available under License Creative Commons Attribution.

Download (217kB) | Preview

Abstract

In this paper we present a proof of a mathematical version of the strong cosmic censor conjecture attributed to Geroch–Horowitz and Penrose but formulated explicitly by Wald. The proof is based on the existence of future-inextendible causal curves in causal pasts of events on the future Cauchy horizon in a non-globally hyperbolic space-time. By examining explicit non-globally hyperbolic space-times we find that in case of several physically relevant solutions these future-inextendible curves have in fact infinite length. This way we recognize a close relationship between asymptotically flat or anti-de Sitter, physically relevant extendible space-times and the so-called Malament–Hogarth space-times which play a central role in recent investigations in the theory of “gravitational computers”. This motivates us to exhibit a more sharp, more geometric formulation of the strong cosmic censor conjecture, namely “all physically relevant, asymptotically flat or anti-de Sitter but non-globally hyperbolic space-times are Malament–Hogarth ones”. Our observations may indicate a natural but hidden connection between the strong cos- mic censorship scenario and the Church–Turing thesis revealing an unexpected conceptual depth beneath both conjectures.

Item Type: Article
Subjects: Q Science / természettudomány > QA Mathematics / matematika
Q Science / természettudomány > QC Physics / fizika
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 14 Aug 2024 14:31
Last Modified: 14 Aug 2024 18:12
URI: https://real.mtak.hu/id/eprint/202568

Actions (login required)

Edit Item Edit Item