# 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.

## 7 Citations

### Membrane Systems and Hypercomputation

- Computer ScienceInt. 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

- Philosophy
- 2014

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

- Computer ScienceJournal of Automated Reasoning
- 2013

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

- Computer Science
- 2017

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

- Art
- 2018

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

- Computer ScienceArXiv
- 2012

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

- Physics
- 1992

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

- Computer ScienceInt. J. Unconv. Comput.
- 2013

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

- PhysicsPhilosophy of Science
- 1993

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

- Physics
- 2007

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.

- PhysicsPhysical review letters
- 1988

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

- Computer ScienceArXiv
- 2002

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.

- PhysicsPhysical review. D, Particles and fields
- 1990

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.

- PhysicsPhysical review. D, Particles and fields
- 1991

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

- Computer ScienceProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
- 2008

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?

- Physics, Mathematics
- 1992

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…