Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Why should one expect closed timelike curves to be impossible in quantum gravity?

+ 6 like - 0 dislike
4661 views

From the Wikipedia article, it seems that physicists tend to view closed timelike curves as an undesirable attribute of a solution to the Einstein Field Equations. Hawking formulated the Chronology protection conjecture, which I understand essentially to mean that we expect a theory of quantum gravity to rule out closed timelike curves.

I am well-aware that the existence of closed timelike curves implies that time travel is technically possible, but this argument for why they should not exist isn't convincing to me. For one, if the minimal length of any closed timelike curve is rather large, time travel would be at least infeasable. Furthermore, this is essentially a philosophical argument, which is based, at least in part, on our desire to retain causality in studying the large scale structure of the universe.

So far, the best argument I've heard against CTCs is that the 2nd law of thermodynamics wouldn't seem to have a meaningful interpretation in such a universe, but this isn't totally convincing. A good answer to this question would be some form of mathematical heuristic showing that in certain naive ways of combining quantum mechanics and gravity, CTCs are at least implausible in some way. Essentially, I'm trying to find any kind of an argument in favor of Hawking's conjecture which is not mostly philosophical. I realize that such an argument may not exist (especially since no real theory of quantum gravity exists), so other consequences of the (non)existence of CTCs would be helpful.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Logan M
asked Jul 11, 2011 in Theoretical Physics by Logan M (150 points) [ no revision ]
Hawking's conjecture merely postulates that some law of physics prevents the existence of closed timelike curves, whether or not that law is part of a quantum theory of gravity.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user David Z

4 Answers

+ 3 like - 0 dislike

It is widely believed (but it has not been rigurously proved so far) that to sustain stable closed timelike curves, you need copious (i.e of the order of the total mass of the universe) quantities of exotic matter. Exotic matter is just a generic term to describe matter for which the stress-energy tensor satisfies

$$ g^{\mu \nu} T_{\mu \nu} < 0 $$

That is, exotic matter violates the Strong Energy Condition, which is known to hold in all known quantum physical theories.

This applies not only to CTC, but as well as stable wormholes, warp drives, or anything actually fun. This is in itself, outstanding evidence of the catholic nature of God, since interestellar travel would raise the need for some akward explaining from the Pope (i know, BS, but let me have my punchline please)

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user lurscher
answered Jul 12, 2011 by CharlesJQuarra (555 points) [ no revision ]
Most voted comments show all comments
@RonMaimon, i wouldn't expect the Hamiltonian to be a conserved or meaningful quantity anyways in the relevant scenarios where a CTC might happen, for example, near the big bang

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user lurscher
the point is you can't define amplitudes for events, because how do you do it? The formalism is not important, you need to give an amplitude for a history, and if the history has CTC's, I don't know how to do it in any way. The formal statements you make are not apropos, this is not a formal problem, but a problem of principle.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Ron Maimon
@RonMaimon, if we assume that the set of paths between two points is well-defined (big if, i give you that, but widely accepted nonetheless), why would it suddenly be undefined the set of closed paths that pass on a given point? now, i don't have any idea how should be interpreted the sum of the amplitudes of all closed paths on a given point. Are you sure that this would be a meaningless number? the closedness should provide a periodic condition constraint on the allowed phases

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user lurscher
It's a problem of principle--- the path integral gives the future amplitude from the present, so when you have CTC, you have a consistency condition on the amplitude, and there is no way it works. This is not a proof, but it isn't incumbent on the person who says an idea is preposterous to give a proof, but on the person who has the idea to show how it is sensible. THe "periodic condition" on the enclosed phases is not a reasonable answer for the time direction, since it is periodicity of everything, undoing all the measurements that occur along they way. It's just nonsense.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Ron Maimon
@RonMaimon, i know, just was thinking out loud, i thought this was a resolved issue

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user lurscher
Most recent comments show all comments
Yes, sorry, and I was overstating the case, it is disobeyed by coherent scalar superfluids. I think you can make an argument against CTC's using null energy condition violation only (but I don't know how), and anyway, it's forbidden for more fundamental reasons, like how do you do a path integral in a CTC world?

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Ron Maimon
well, i wouldn't expect the universe to forbid something just out of courtesy for the validity of our computation methods :-) maybe we have to account for the homotopy of paths in the integral?

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user lurscher
+ 1 like - 0 dislike

Closed timelike curves can be used to create paradoxes! That's the reason why they are a problem - because you might go back and kill your grandfather. This is not just a "philosophical" argument, it's a matter of logic.

The principle that reality is not self-contradictory - i.e., that there are no real paradoxes, only apparent paradoxes - allows you to deduce that, in reality, CTCs can't be used to create paradoxes. So either there are no CTCs, or they are "harmless" in some way.

Logic can get you that far: you should expect CTCs to be impossible or to be harmless. But your question goes further and asks why we should specifically expect them to be impossible. Well, maybe we shouldn't. CTCs can show up in anti de Sitter space; they might show up in a gravitational path integral; there might be a CTC at the big bang (as suggested by Gott and Li); there might be a giant CTC connecting cosmological future and past (as suggested by Gödel). I'm not aware of a knockdown technical argument (i.e. a totally robust physics argument) against any of these.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Mitchell Porter
answered Jul 12, 2011 by Mitchell Porter (1,950 points) [ no revision ]
Do they really create paradoxes? There are mathematically and logically consistent solutions of Einstein`s equations that contain CTC´s.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user MBN
Indeed, it is not rigorously clear in the field whether they would lead to causal paradoxes. See my answer below.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Juan Bermejo Vega
+ 1 like - 0 dislike

It's certainly possible that just as the holographic principle can save unitarity for black holes, that some generalization of the holographic principle coupled with cosmic censorship for closed timelike curves can save unitarity.

At any rate, the interior of a time machine is only real to the extent that memories and records of the interior can get out.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Vincent
answered Jul 12, 2011 by Vincent (25 points) [ no revision ]
+ 0 like - 0 dislike

These are some notes to complement previous answers.

Your concerns are sound: a rigorous definite way to rule out CTCs has not been found. What we have is arguments (and quite nice looking ones) to illustrate that every known universe with CTCs looks unphysical.

Second, there are two nicely-written pedagogical letters written by Kip Thorne addressing your question [1],[2]. They mainly focus on physical aspects of the known CTC solutions, and three popular mechanisms that could prevent CTCs: violation of the averaged null energy conditions (the first argument cited in the post), classical instabilities of chronology horizons, and quantum field instabilities (following the notation of [2], section 4). Although he does not seem to believe in CTCs personally, at the end of [2] he states that this is still an open question:

It may turn out that on macroscopic lenghscales chronology is not always protected, and even if chronology is protected macroscopically, quantum gravity may well give finite amplitudes for microscopic spacetime histories with CTCs [29].

[29] Friedman J 1992 in Proceedings of the 4th Canadian Conf. on General Relativity and Relativistic Astrophysics eds G Kunstatter et al (Singapore: Word Scientific) pp. 183-199.

Finally, regarding the argument against CTCs that uses logical paradoxes, which has already appeared in the post: it is not clear to many people whether CTCs inevitably lead to causal paradoxes. Several studies have pointed out that causal-paradoxes of time travel could disappear once one takes quantum mechanical effects; or maybe their meaning could simply change [3],[4],[5],[6]. For instance, in the framework used in the first reference the grandfather's paradox does not violate causality. In connection with this, although it is known that some of these models of CTCs [7],[8] lead to counter-intuitive collapes of computational complexity classes, this is not exactly the same as a causal paradox.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Juan Bermejo Vega
answered May 8, 2012 by jbvega (285 points) [ no revision ]
Nobody has formulated QM for CTC's completely.

This post imported from StackExchange Physics at 2014-06-11 15:06 (UCT), posted by SE-user Ron Maimon

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$y$\varnothing$icsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...