1. Introduction
Why should we care about time travel? In 1988, Morris, Thorne, and Yurtsever [
1] wrote: “Normally theoretical physicists ask, “What are the laws of physics?” and/or, “What do those laws predict about the Universe?” In this Letter we ask, instead, “What constraints do the laws of physics place on the activities of an arbitrarily advanced civilization?” This will lead to some intriguing queries about the laws themselves.” In 1992, Thorne [
2] wrote: “Of all thought experiments, perhaps the most helpful are those that push the laws of physics in the most extreme ways”. In other words, time travel seems impossible, but is this impossibility of a technological or a fundamental nature?
In principle, the existence of Closed Timelike Curves (CTCs) is allowed by General Relativity—as illustrated, for instance, in [
1]—but a Chronology Protection Conjecture was proposed by Hawking [
3], according to which quantum effects could prevent the formation of CTCs, therefore preventing causal violations. The conjecture is backed up by semiclassical computations within the framework of Quantum Field Theory in curved spacetime [
4], but only a full theory of quantum gravity—yet unknown—could definitely confirm it—or, more unlikely, refute it. However, experimental tests of such a theory are beyond reach even in the middle/long term, and even the predictions from the semiclassical approximation of Quantum Field Theory in curved spacetime—such as, for instance, Hawking radiation—are hard to check experimentally. It is in this context where the use of analogue gravity [
5] becomes interesting.
For instance, classical simulators have been proposed to mimic curved spacetimes, such as simulations of wormholes with electromagnetic metamaterials [
6], water [
7], or magnetic metamaterials [
8], superluminal motion [
9], or the event horizon of a white hole [
10]. Even more interesting for the problem at hand, the field of analogue gravity could benefit from the growing interest in quantum simulation, by proposing quantum simulators, in which the interplay of quantum effects with gravitational systems could in principle be analyzed. The simulation of Hawking radiation has been successfully achieved in the laboratory with Bose–Einstein condensates [
11], and theoretical proposals with superconducting circuits or graphene can be found in the literature [
12,
13,
14]. These are quantum setups in which the analysis of quantum phenomena such as quantum entanglement is crucial. Some other proposals for quantum simulations of curved spacetimes with superconducting circuits include traversable wormholes and other exotic spacetimes containing CTCs [
15,
16,
17,
18]. These works already hint at the possibility of an analogue chronology protection mechanism, which prevents the formation of “time machines” even in an analogue system. This notion has been recently formalized—mostly within Bose–Einstein condensates setups—by Barceló et al. [
19]. They showed that spacetimes containing non-causal curves that go back in time can certainly be simulated in analogue gravity systems, but it is impossible to simulate a spacetime containing both causal and non-causal regions separated by a chronological horizon.
In this work, we analyze the ideas of Barceló et al. within the framework developed in [
18], which proposes the simulation of 1 + 1-dimensional sections of exotic spacetimes using a superconducting circuit consisting of a dc-SQUID array embedded in an open microwave transmission line [
20,
21,
22,
23]. We apply this toolbox to simulate a spacetime that is tailor-made to contain null geodesics going back in time.
2. Simulator
In a dc-Superconducting Quantum Interference Device (dc-SQUID) array [
24,
25] embedded in an open transmission line, the effective propagation speed of the quantum electromagnetic field can be spatially and/or temporally modulated through the inductance per unit length of the circuit, which in turn depends on the external magnetic flux:
which is the effective speed of light through the array, where
C and
L are the capacitance and inductance per unit length of the array, respectively, with [
24]
the inductance of a single SQUID, where
is its critical current,
is the magnetic flux quantum,
is the external magnetic flux, and
is the SQUID phase difference. In the weak-signal limit regime,
[
16,
17,
18].
In the absence of external flux, the effective speed of propagation would be
where
is the length of the SQUID. Then,
giving us the speed of light as a function of the external magnetic flux. Please notice that, by construction,
.
We can split the flux into DC and AC contributions
We can use the DC contribution to reduce the effective speed of light of the array background [
18], so we can define
and therefore,
where
We have to keep in mind that, when we square Equation (
4) in order to find the flux profile, we introduce spurious solutions corresponding to
, which are not allowed in our setup.
Finally, if
, we have:
while if
, then:
In this work, we assumed
and
, so
. Therefore, we simply have that, if
,
and, for
, then:
3. A Spacetime with Non-Causal Null Geodesics
We consider the following 1 + 1D line element:
As is well-known, all 1 + 1D spacetimes are flat spacetimes [
26]. However, we do not consider Equation (
13) as a spacetime per se, but as a section of a 3 + 1 spacetime [
18]. Note that all 1 + 1 static metrics are conformal to Equation (
13).
The null geodesics of this spacetime are obviously given by
. Now, if we consider a trajectory from left to right from
to
and back (then
), we have that the duration of the trajectory is
Therefore, we have that if
, then
, and we are going “back in time”. If we choose
where
a is a positive constant with spatial dimensions, then
if
, and we have
and therefore
For
, Equation (
17) becomes negative, and therefore, it corresponds to null geodesics traveling from left to right; therefore,
, since now,
. Thus, we have a spacetime region with non-causal null geodesics for
and another one with causal curves for
, separated by the chronological horizon at
.
The choice of
in Equation (
17), which, in turn, is the choice of simulated spacetime, is only motivated by our need to obtain
in Equation (
14) and does not have any physical meaning beyond that. While there might be other choices with the same property—for instance, higher odd powers of
x—we have not been able to come up with any simpler example. Moreover, our conclusions below would be similar.
4. Analogue Quantum Simulation of a Spacetime with Non-Causal Null Geodesics
Can we implement an analogue quantum simulation of the spacetime described in the previous section? In order to check that, we need to plug Equation (
17) into Equations (
11) and (
12). Then, we find that, for
, we have:
Then, we are limited by
, which entails
. However, as discussed above, we have the extra limitation that we are only allowed to consider
; therefore, we cannot simulate Equation (
17) for
.
For
, we have:
Then, we are limited by
, which entails
. Therefore, the value of the positive constant
a determines the size of the region that we are able to simulate. Additionally, we have to take into account what happens when we approach the chronological horizon at
. We have that
, which means that
—infinite inductance. At this critical value, quantum fluctuations would appear due to the very high impedance of the electromagnetic environment. If a large region of the array is close to this limit, this could lead to large fluctuations in the superconducting phase
, breaking down our approximation
and preventing the system from being in the superconducting phase [
16,
18,
21]. Therefore, we should try to avoid it by keeping as few SQUIDs as possible close to this limit, ideally a single SQUID, by cleverly choosing the values of
a. However, this would also have the effect of diminishing the size of the whole region that we are able to simulate, not only the problematic part.
In
Figure 1, we see that the flux is very close to the critical value in a large region of the parameter space, preventing us from getting close to the chronological horizon. We can safely simulate the spacetime in the region going from
, which corresponds to
—flat spacetime
c—to approximately
, that is
.
Therefore, we see that it is possible to simulate a (small) region of spacetime containing non-causal null geodesics. However, these curves are of the type that Barceló et al. [
19] deemed as “trivial”, since they appear in all the simulated spacetime: there is no “causal” region from which we could travel to the non-causal one.
5. Summary and Conclusions
In conclusion, we applied the procedure of [
18] to a possible quantum simulation of a 1 + 1D spacetime tailor-made to contain trajectories going back in time. We found a small region of parameters where the simulation is possible. In this region, there would be null geodesics traveling back in time. However, we are not able to simulate a full spacetime containing both this non-causal part together with the standard causal part where null geodesics go forward in time. In our setup, this would require simulating negative field propagation speeds, which is not allowed by the physical features of our quantum simulator. Moreover, we are not even able to get close to the point where
. This point would be a chronological horizon separating the non-causal part from the—in our setup impossible—causal part. We found that, not only at the horizon, we would have a point of infinite inductance, but that there is a large region of the simulated spacetime where the flux would be close to the critical value generating infinite inductance. This would trigger large quantum fluctuations of the superconducting phase, preventing any chance of simulating the horizon. These divergencies can be related to the ones in Barceló et al. [
19], who found a similar analogue chronology protection mechanism preventing the construction of spacetimes with chronological horizons, in which we could travel from causal to non-causal regions. Our non-causal null geodesics would lie within the class that they denote as “trivial”, since we could always blame them for the particular definition of time within a non-causal bubble, which would be impossible to leave or enter from a causal one using the same definition of time.
This example illustrates the existence of analogue chronology protection mechanisms in the quantum simulation of curved spacetimes. Recalling Hawking’s famous statement [
3]: “It seems there is a chronology protection agency, which prevents the appearance of closed timelike curves and so makes the universe safe for historians.”, even for analogue historians.