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

Question

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

Comments

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

Answer 1

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

Comments

the trace of T for the expectation value of a scalar field is negative, so CTC is only obeyed by classical matter.

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

---

@Ron i think you meant the SEC right?

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

---

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

---

I meant that you can't do QM in a CTC world, because you can't define a Hamiltonian, not just PI, any way.

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

---

@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

Answer 2

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

Comments

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

Answer 3

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

Answer 4

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

Comments

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