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

DOI10.1007/S10773-012-1407-0zbMATH Open1267.83078arXiv1205.4550OpenAlexW3098349628WikidataQ122897384 ScholiaQ122897384MaRDI QIDQ352683FDOQ352683

Authors: Gábor Etesi 

Publication date: 5 July 2013

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

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 cosmic censorship scenario and the Church-Turing thesis revealing an unexpected conceptual depth beneath both conjectures.

Full work available at URL: https://arxiv.org/abs/1205.4550

Recommendations

• Note on a reformulation of the strong cosmic censor conjecture based on computability
• Strong cosmic censorship and the universal relaxation bound
• scientific article; zbMATH DE number 177132
• GENERALIZED STRONG CURVATURE SINGULARITIES AND WEAK COSMIC CENSORSHIP IN COSMOLOGICAL SPACETIMES
• Towards the proof of the cosmic censorship hypothesis

zbMATH Keywords

Church-Turing thesisMalament-Hogarth space-timesstrong cosmic censorship

Mathematics Subject Classification ID

Applications of differential geometry to physics (53Z05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Black holes (83C57) Space-time singularities, cosmic censorship, etc. (83C75)

Cites Work

• Deciding Arithmetic Using SAD Computers
• Title not available (Why is that?)
• The Large Scale Structure of Space-Time
• Non-Turing computations via Malament--Hogarth space-times
• Proof of the Riemannian Penrose inequality using the positive mass theorem.
• General Relativity
• Structure of the singularity inside a realistic rotating black hole
• Stability and instability of the Cauchy horizon for the spherically symmetric Einstein-Maxwell-scalar field equations
• Title not available (Why is that?)
• The interior of charged black holes and the problem of uniqueness in general relativity
• Limit curve theorems in Lorentzian geometry
• Uniqueness of smooth stationary black holes in vacuum: Small perturbations of the Kerr spaces
• The bounded \(L^2\) curvature conjecture
• On the instability of Lorentzian Taub–NUT space
• Title not available (Why is that?)
• The boost problem in general relativity
• The instability of naked singularities in the gravitational collapse of a scalar field.
• Quantum algorithm for Hilbert's tenth problem
• Examples of naked singularity formation in the gravitational collapse of a scalar field
• Note on a reformulation of the strong cosmic censor conjecture based on computability
• Strong cosmic censorship in vacuum space-times with compact, locally homogeneous Cauchy surfaces
• Strong cosmic censorship in polarised Gowdy spacetimes
• Title not available (Why is that?)
• Symmetries of spacetime and their relation to initial value problems
• P/NP , and the quantum field computer
• A reformulation of Hilbert's tenth problem through quantum mechanics
• On the existence of Killing vector fields
• The Extent of Computation in Malament–Hogarth Spacetimes
• Cosmic censorship for Gowdy spacetimes

Cited In (4)

• Note on a reformulation of the strong cosmic censor conjecture based on computability
• Low regularity extensions beyond Cauchy horizons
• Exotica or the failure of the strong cosmic censorship in four dimensions
• Exotica and the status of the strong cosmic censor conjecture in four dimensions

This page was built for publication: A proof of the Geroch-Horowitz-Penrose formulation of the strong cosmic censor conjecture motivated by computability theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352683)