Introduction

The growing interest in quantum simulators is not restricted to their potential role as non-universal post-classical computers. They are also powerful tools to explore open problems in the frontiers of theoretical physics and even to pose questions beyond them.

Along these lines, quantum simulators of relativistic quantum mechanical dynamics have received much attention in the last years. Originally intended as a fundamental description of fermionic elementary particles, relativistic quantum mechanics is considered nowadays as a single-particle approximation to Quantum Field Theory. Thus it is an accurate description of fermionic particles in the low-energy regime below the pair-creation energy threshold. Thanks to cutting-edge quantum simulators, several hitherto unobserved aspects of the Dirac (Zitterbewegung, Klein paradox etc.1,2) and Majorana (antiunitary transformations, exotic dynamics etc.3) equations in 1 + 1 dimensions have been implemented in the laboratory in the most advanced quantum platforms, such as trapped ions4,5,6, optical waveguide arrays7 or cold atoms8, while theoretical proposals with superconducting circuit architectures are also available9.

Recently, a theoretical proposal for a quantum simulator of the Dirac equation in curved 1 + 1 dimensional spacetimes by means of coupled waveguide arrays has been introduced10, extending the interest in relativistic quantum mechanical simulators beyond the realm of flat-spacetime physics. This equation can be seen as a single-particle approximation to quantum field theory in curved spacetime, which in turn is itself regarded as a sound intermediate step to the final theory of quantum gravity, operating in a regime where backreaction effects from the spacetime are neglected.

In this work, we show how to transform a Dirac equation in curved spacetime into a Dirac equation in flat spacetime. In particular, we show that any solution of a free massless Dirac equation in 1 + 1 dimensions can be transformed into a solution of the same equation in curved spacetime, for a broad generic class of spacetime metrics. This transformation is just a local phase, which carries the information of the particular spacetime metric being considered. Thus, all the aforementioned multiplatform quantum simulators - which are able to reproduce a free massless 1 + 1 Dirac equation- are immediately able to analyse curved spacetime metrics as well, without the need of actually simulating a new Hamiltonian. Instead, the new physics can be obtained by applying our transformation technique to the solutions of the corresponding flat-spacetime Hamiltonian.

As an example of interest, we show how to apply our technique to a family of 1 + 1 dimensional spacetimes containing traversable wormholes. Although it seems that these objects do not appear naturally in our Universe11, wormholes lie at the edge of theoretical physics and defy our understanding of key physical principles, such as causality. For these reasons, they have always attracted much attention from a foundational and pedagogical viewpoint12,13 and they are the subject of current intense research14,15,16, including possible simulations17,18,19. We use our technique to obtain for the first time analytical solutions of the Dirac equation in the presence of a traversable wormhole, by applying a local phase transformation to a wavepacket solution of the corresponding flat spacetime equation. In this way, we are able to see how the probability density of a Dirac particle is distorted by the presence of a wormhole, and specifically when traversing its throat. The same techniques can be applied to numerical solutions or to the experimental data collected in real quantum simulators, adding an extra element to the toolbox of quantum simulators of relativistic quantum mechanics. Extensions to other 1 + 1 spacetimes of interest would be straightforward.

Methods

We will start the description of our results by considering a free Dirac equation in the background of a curved spacetime in 1 + 1 dimensions ()10:

where · and ′ denote time and space partial derivatives respectively, and σx,z are Pauli matrices: Here Ω carries all the information of the spacetime background, since in 1 + 1 dimensions the spacetime metric can always be brought to the generic form:

The details on the derivation can be found for instance in ref. 10. In the case of a massless field m = 0 and a static spacetime , Eq. (1) becomes:

where all the effect of the background metric is captured by the effective non-hermitian potential:

Results

Now, we will exploit a technique20, which transforms Dirac equations including potentials into free equations. Let us consider the local phase transformation:

where we have used Eq. (4). Introducing Eq. (5) into Eq. (3), we see that an extra term coming from the spatial derivative cancels out the effective potential, yielding the following equation for ϕ:

which is a free massless Dirac equation in a 1 + 1 dimensional flat spacetime. Therefore, any solution of the free flat-spacetime Dirac equation can be converted into a solution of the Dirac equation in curved spacetime by means of a local phase transformation. Of course, this does not amount to say that both dynamics are equivalent- otherwise, the effect of the spacetime would be trivial. Indeed, since V(x) is an imaginary potential, the local phase is real and the probability densities for ψ and ϕ are different. In particular, by combining Eqs (4) and (5) we find:

Thus, we have shown that in order to simulate the non-trivial effects of a curved spacetime into the dynamics of Dirac particle, it is not necessary to engineer an extra term in the Hamiltonian -in particular, a non-hermitian potential depending on the metric- but only to consider a particular phase transformation of a free Dirac spinor. In this way, any quantum simulator of a flat-spacetime Dirac equation is immediately transformed into a quantum simulator of a curved-spacetime Dirac equation.

Let us now focus on a particular example of interest. We will analyse a family of spacetimes containing a traversable wormhole.

A traversable 1 + 1 dimensional massless wormhole spacetime can be characterised by13,19

where the shape function b(r) is a function of the radius r only. There is a singular point of r at which b(r = b0) = r = b0, which determines the position of the wormhole’s throat and defines two different Universes or two asymptotically flat regions within the same Universe -as r goes from ∞ to b0 and then back from b0 to ∞. The properties of the wormhole will depend on the form of the shape function b(r).

Of particular interest is the following family of wormholes12,15,14,19,21:

It is shown in ref. 19 that this family of spacetimes is totally equivalent to the following one:

which are spacetimes in which the speed of light depends on the radius r according to: . We can also introduce a new coordinate

where x > 0 and x < 0 correspond to the two different regions at both sides of the throat. This brings finally the spacetime metric to the form:

We can thus exploit our technique by noticing -using Eq. (8)- that:

Then, we find that:

Thus the Dirac equation in 1 + 1 dimensions of a massless particle in a spacetime containing a traversable wormhole is given by an equation of the form Eq. (3) where the non-hermitian potential is :

Notice that in the singularity at x = 0, the equation is not well-defined, due to the fact that Ω = 0. However, we can analyze this equation at both sides of the wormhole’s throat. As is well-known in the wormhole literature, this is just an apparent singularity which can be removed by a coordinate change13 and indeed the shape function is chosen in order to allow that physical particles are able to traverse the wormhole12,13,14,15,19. Moreover, with our choice of coordinates, the spacetime in Eq. (12) is just a Minkowski spacetime but with a spatial dependence in the speed of propagation of massless particles. The apparent singularity is just a point at which the velocity of massless particles is 0, which of course does not imply that they stop at this point, since the velocity is finite at both sides of the throat – as discussed as well in ref. 19.

Finally, we obtain:

Thus using our results above, we find that any solution of the free 1 + 1 dimensional massless Dirac equation can be transformed into a solution of the Dirac equation in a spacetime containing a traversable wormhole by means of a suitable local phase transformation, which using Eq. (7) takes the particular form for the probability densities:

In order to illustrate the power of this technique, we consider wavepacket solutions ϕ(x, t) of the free massless 1 + 1 dimensional Dirac equation in flat spacetime -like the ones that are implemented, for instance in trapped-ion simulators4. These can be obtained from an initial wavepacket ϕ(x, 0) by22:

where ϕ+(k) and ϕ(k) are the positive and negative parts respectively of the Fourier transform ϕ(k) of the initial wavepacket and upos(k, x, t), uneg(k, x, t) are positive and negative-energy plane-wave solutions respectively. ϕ+ and ϕ are obtained via the inner products ϕ±(k) = <upos,neg, ϕ(k)>. In the massless case, the spinors upos and uneg take a particularly convenient form .

In particular, choosing an initial Gaussian wavepacket centered around x0 with width σ:

-where N is a normalization constant - we find the following wavepacket solution to the free equation:

In Fig. 1 we plot both the free wave packet probability density dynamics in flat spacetime given by the ϕ(x, t) in Eq. (20) and the corresponding curved spacetime probability density obtained via Eq. (17) for different values of the initial position x0. We see that if the wavepacket is initially at the left side of the throat (x0 < 0) the Dirac particle is able to go through the wormhole, in such a way that the probability density is intensely focused around the throat. On the other hand, if the wavepacket is initially centered around an initial position at the right side of the wormhole throat (x0 > 0), we see that the probability density gets distorted with an intensity inversely proportional to the initial distance to the throat, as can be seen by comparing Fig. d) and f) with c) and e).

Figure 1
figure 1

Probability density dynamics of a Dirac wavepacket in: (a), (c), (e) (top row) flat spacetime and (b), (d), (f) (bottom row) wormhole spacetime with b0 = 10. The initial position is: (a), (b) (first column) x0 = −10; (c), (d) (second column) x0 = 1 and (e), (f) (third column) x0 = 5. The Gaussian width is σ = 5 in all cases. Note that the point x = 0 is not included in (b).

Discussion

In this way we are finding for the first time analytical solutions of the dynamics of Dirac particles in a spacetime containing a traversable wormhole. Perhaps more importantly, our technique can be applied in a straightforward fashion to obtain solutions of the Dirac equation in a wormhole background out of numerical solutions of the free Dirac equation in flat spacetime and out of the experimental data obtained from the various multiplatform quantum simulators of the Dirac equation -without the need of engineering extra terms in the Hamiltonian.

In summary, we have shown how to transform a 1 + 1 D Dirac equation in curved spacetime into a flat-spacetime one. The technique consists in applying a suitable local phase transformation to solutions of the flat-spacetime equation. The phase depends on the particular spacetime considered. We show that the dynamics of the transformed Dirac spinor under the full equation - which includes the non-hermitian potential introduced by the curved spacetime metric- can be obtained from the dynamics of the original flat-spacetime solution. In this way, we encode a curved spacetime into a phase. As a first example of what can be done with our technique, we consider a particular case of interest -a family of 1 + 1 D spacetimes containing a traversable wormhole. In this way, we obtain analytical solutions of the dynamics of a Dirac particle going through a wormhole. Moreover, any available quantum simulator of the Dirac equation would be immediately able to incorporate the analysis of curved spacetimes into the simulation by means of our technique, without the need of implementing extra terms in the Hamiltonian. Thus we expect that our results will be useful for the multidisciplinary community interested in the quantum simulation of relativstic quantum mechanics.

Additional Information

How to cite this article: Sabín, C. Mapping curved spacetimes into Dirac spinors. Sci. Rep. 7, 40346; doi: 10.1038/srep40346 (2017).

Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.