Closed timelike Curves in relativistic Computation

@article{Andrka2012ClosedTC,
  title={Closed timelike Curves in relativistic Computation},
  author={Hajnal Andr{\'e}ka and Istv{\'a}n N{\'e}meti and Gergely Sz{\'e}kely},
  journal={Parallel Process. Lett.},
  year={2012},
  volume={22}
}
In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. 

Figures from this paper

Membrane Systems and Hypercomputation

  • M. Stannett
  • Computer Science
    Int. Conf. on Membrane Computing
  • 2012
We present a brief analysis of hypercomputation and its relationship to membrane systems theory, including a re-evaluation of Turing's analysis of computation and the importance of timing structure,

Faster than light motion does not imply time travel

Seeing the many examples in the literature of causality violations based on faster than light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time travel. We

Using Isabelle/HOL to Verify First-Order Relativity Theory

TLDR
The background to the project is explained and a first-order proof in Isabelle/HOL of the theorem “no inertial observer can travel faster than light” is demonstrated.

Relativistic computation

TLDR
This chapter focuses on relativistic computers and on their challenge to the physical Church-Turing thesis (PhCT), the belief that whatever physical computing device or physical thought experiment that will be designed by any future civilization, it will always be simulateable by a Turing machine, in some sense.

Only Human: a book review of The Turing Guide

A victorious yet tragic hero. A genius but ominously an augur of the end of human dominance. Such characterizations come to mind regarding Alan Mathison Turing (1912–1954) after reading the The

Using Isabelle to verify special relativity, with application to hypercomputation theory

TLDR
The background to the project is explained and an Isabelle proof of the theorem “No inertial observer can travel faster than light” is demonstrated, which helps identify whether new formal proof techniques and tactics are needed when tackling physical as opposed to mathematical theories.

References

SHOWING 1-10 OF 46 REFERENCES

Closed timelike curves

This lecture reviews recent research on closed timelike curves (CTCS), including these questions: Do the laws of physics prevent CTCs from ever forming in classical spacetime? If so, by what physical

Computation and Spacetime Structure

TLDR
It is found that all observers agree that, even if unbounded time travel existed in their youth, this capability eventually vanishes as they grow older, so the computational assumption "P is not NP" is also an assumption concerning cosmological structure.

Forever Is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes

The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed,

A twist in the geometry of rotating black holes: seeking the cause of acausality

We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that

Wormholes, time machines, and the weak energy condition.

It is argued that, if the laws of physics permit an advanced civilization to create and maintain a wormhole in space for interstellar travel, then that wormhole can be converted into a time machine

Computers with Closed Timelike Curves Can Solve Hard Problems Efficiently

A computer which has access to a closed timelike curve, and can thereby send the results of calculations into its own past, can exploit this to solve difficult computational problems efficiently. I

Cauchy problem in spacetimes with closed timelike curves.

TLDR
The conclusion of this paper is that CTC’s may not be as nasty as people have assumed, and is reinforced by the fact that they do not affect Gauss’'s theorem and thus do not affected the derivation of global conservation laws from differential ones.

Quantum mechanics near closed timelike lines.

  • Deutsch
  • Physics
    Physical review. D, Particles and fields
  • 1991
TLDR
Several novel and distinctive quantum-mechanical effects occur on and near closed timelike lines, including violations of the correspondence principle and of unitarity, and consideration of these sheds light on the nature of quantum mechanics.

Closed timelike curves make quantum and classical computing equivalent

  • S. AaronsonJ. Watrous
  • Computer Science
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2008
TLDR
It is shown that, if CTCs existed, quantum computers would be no more powerful than classical computers: both would have the (extremely large) power of the complexity class polynomial space (), consisting of all problems solvable by a conventional computer using aPolynomial amount of memory.

Does general relativity allow an observer to view an eternity in a finite time?

I investigate whether there are general relativistic spacetimes that allow an observerµ to collect in a finite time all the data from the worldline of another observerλ, where the proper length ofλ's