arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · gr-qc/0104023

Non-Turing computations via Malament-Hogarth space-times

Gabor Etesi·Istvan Nemeti
View original source ↗Read source document ↗Export metadata ↓

Abstract

We investigate the Church-Kalmár-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church-Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choose to use. In particular, if we choose classical general relativity theory as our background theory, then the above mentioned limitations (predicted by these Theses) become no more necessary, hence certain forms of the Church-Turing Thesis cease to be valid (in general relativity). (For other choices of the background theory the answer might be different.) We also look at various ``obstacles'' to computing a non-recursive function (by relying on relativistic phenomena) published in the literature and show that they can be avoided (by improving the ``design'' of our future computer). We also ask ourselves, how all this reflects on the arithmetical hierarchy and the analytical hierarchy of uncomputable functions.

Explore related subjects

gr-qc

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gabor Etesi, Istvan Nemeti. 2002-02-20. Non-Turing computations via Malament-Hogarth space-times. https://arxiv.org/abs/gr-qc/0104023

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Naturally Light Distortion

In the most general formulation of gravity, the metric and connection are independent degrees of freedom, and the connection may include torsion and non-metricity (or distortion, collectively) degrees of freedom, resulting in a huge number of possible dynamical fields. However, most fields are either non-dynamical or extremely heavy and the general relativity is recovered at low energy. We find a unique naturally light vector- or scalar-like distortion field, which can be dynamical and have phenomenological implications. In particular, a light scalar particle that mixes with the Higgs boson naturally appears.

gr-qc↗
arXiv2026

Polarization-Dependent Photon Propagation, Quasinormal Modes, and Gravitational Lensing in Higher-Curvature Effective Theories

We investigate the impact of higher-curvature corrections on photon propagation within an effective field theory framework and their observational consequences in strong gravitational fields. We consider polarization-dependent modifications to photon trajectories in static and spherically symmetric spacetimes, focusing on Schwarzschild and Reissner--Nordström black hole backgrounds. Using the geometrical optics approximation, we derive the effective metrics governing photon propagation and study the resulting polarization-dependent shifts of the photon sphere. We compute the corresponding quasinormal modes in the eikonal limit and analyze their polarization dependence. We further investigate gravitational lensing, focusing on polarization-dependent corrections to the deflection angle in both weak- and strong-field regimes. In the strong-deflection regime, we find that even perturbatively small EFT corrections modify the coefficient of the logarithmically divergent part of the deflection angle, resulting in a potentially observable difference from the uncorrected case. This suggests that strong gravitational lensing may provide a sensitive probe of small higher-curvature corrections. While extracting EFT information directly from QNM frequencies is more subtle, QNMs may provide complementary information to gravitational lensing in future studies. Our results establish a framework for probing higher-curvature effects through polarization-dependent strong-field observables.

gr-qc↗
arXiv2026

Dynamics for Spin-$1/2$ Particles in Einstein-Gauss-Bonnet Gravity II: Non-Relativistic Case

In this work, I investigate the non-relativistic quantum dynamics of spin-1/2 particles in Einstein-Gauss-Bonnet (EGB) gravity and establish a direct connection between higher-curvature corrections, fermionic dynamics, and the phenomenology of compact objects. Starting from the Dirac Hamiltonian in a static, spherically symmetric EGB spacetime, we perform a Fold-Wouthuysen transformation and derive the effective Hamiltonian, including relativistic kinetic, gravitational, spin-orbit, and higher-curvature contributions. Heisenberg equations are then used to obtain the dynamics of velocity, force, and spin, revealing explicit EGB corrections for both translational motion and spin transport. In particular, the spin-orbit sector induces a modified precession frequency whose fractional deviation from general relativity scales as $δ_Ω=-4(ξ/M^{2})(M/ρ)^{3}$, providing a clear dimensionless signature of the Gauss-Bonnet coupling. Through Ehrenfest's theorem, we also establish the correspondence between the dynamics of quantum operators and their semiclassical gravitational limit. As an astrophysical application, we consider the stellar-mass black hole A0620-00 and show that prospective relative sensitivities in spin precession on the order of $10^{-3}$ to $10^{-4}$ can probe Gauss-Bonnet couplings in the range of approximately $10^{6}$ to $10^{8}\,{\rm m}^{2}$, depending on the orbital radius. This result identifies fermionic spin precession as a complementary channel for testing gravity with higher-curvature corrections and provides a quantum-mechanical framework connecting modified gravitational dynamics to precision phenomenology in strong-gravity regimes.

gr-qc↗