Skip to main content
Scientific Reports logoLink to Scientific Reports
. 2016 Feb 10;6:18349. doi: 10.1038/srep18349

Towards universal quantum computation through relativistic motion

David Edward Bruschi 1,2, Carlos Sabín 3,a, Pieter Kok 4, Göran Johansson 5, Per Delsing 5, Ivette Fuentes 1
PMCID: PMC4748225  PMID: 26860584

Abstract

We show how to use relativistic motion to generate continuous variable Gaussian cluster states within cavity modes. Our results can be demonstrated experimentally using superconducting circuits where tuneable boundary conditions correspond to mirrors moving with velocities close to the speed of light. In particular, we propose the generation of a quadripartite square cluster state as a first example that can be readily implemented in the laboratory. Since cluster states are universal resources for universal one-way quantum computation, our results pave the way for relativistic quantum computation schemes.


Quantum technologies are expected to bring great benefits to many human endeavours in the not-too-distant future. In the past decades it was shown that devices exploiting the laws of quantum mechanics can in principle cross boundaries that classical devices cannot. Advanced systems such as quantum memories and quantum computers are being developed in an effort to realise these transformative quantum technologies1. In addition to the practical aspects of quantum technologies, there is great interest in viewing quantum information processing as a fundamental description of Nature. This leads naturally to the question of how quantum information processing is affected by relativistic motion2. Here, we ask the question of how the relativistic motion of a cavity mirror can be used to achieve a quantum state inside the cavity that can in principle be used for quantum computation. We show that we can create such a universal resource state in the continuous variables defined by the quadratures of the field modes inside the cavity. This proposal can be implemented practically using superconducting circuits (see Fig. 1).

Figure 1. Schematic of the physical setup.

Figure 1

(a) Cluster states on optical modes in a cavity with a moving mirror. The dynamical Casimir effect due to the accelerated motion of the mirror generates two-mode squeezing in the cavity modes. (b) Creating cluster states in a superconducting circuit: the time-varying current changes the flux through the SQUID, leading to a dynamical Casimir effect equivalent to that in (a).

Recently, it was shown that relativistic motion can be used to generate bipartite quantum gates. In particular, two-mode squeezing3 and beam-splitting gates4 between field modes were implemented through the non- uniform acceleration of a cavity. A promising experimental realisation of these scenarios is circuit Quantum Electrodynamics (cQED), where Superconducting Quantum Interferometric Devices (SQUIDs) provide tuneable boundary conditions corresponding to mirrors moving at speeds close to the speed of light in the medium. This possibility was exploited for the first experimental observation of the Dynamical Casimir Effect, i.e., particle creation through relativistic motion of boundary conditions5,6. We note that the beam-splitting gate was recently experimentally demonstrated in this type of system7 and that two-mode squeezing involving two distinct cavity modes has also been achieved in cQED8. Moreover, some of us have shown that the same phenomenon originates an observable effect in the fidelity of quantum teleportation between two superconducting cavities, one of them undergoing a temporal variation of the boundary conditions9. These works open a new avenue of research on the effects of relativistic motion and gravity in generic quantum technologies, and in particular quantum computing with continuous quantum variables. While it is possible to transfer the continuous-variables entanglement generated in the Dynamical Casimir Effect to discrete-variables systems such as qubits10 the analysis of relativistic effects in qubits is typically limited by the impossibility of achieving relativistic velocities -which can only be accessed in a quantum simulator11.

Quantum computation with continuous variables (CV) has attracted a great deal of attention as an alternative to the traditional qubit approach to quantum computing12, and the CV version of measurement-based quantum computing is well-developed13,14,15,16. In this paradigm for quantum computing the quantum gates are implemented by measurements on a particular type of multipartite entangled state known as a cluster state. Assuming that we can implement the required measurements (via homodyne detection and photon counting17), these states are universal for quantum computation. A practical way to create CV cluster states in a cavity using non-relativistic methods is by creating an entangled optical frequency comb18, a proof-of-principle experiment of which was recently performed19.

In this paper we show how to generate large CV regular cluster states through the relativistic accelerated motion of a cavity. The quantum field inside the cavity is initially in the vacuum state. We exploit entanglement resonances among different modes of the cavity3 to show that, by suitably choosing the motion of the boundaries, it is possible to generate specific multimode entangled states. These states can always be transformed into regular CV cluster states by suitably phase-shifting some of the modes. We propose a specific implementation with superconducting cavities in which the motion of the boundary conditions is implemented through tunable SQUIDs. In particular, we show an example with four modes that is within reach of current technology. In this way, we also contribute to transferring the concept of measurement based quantum information processing using continuous variables to the field of cQED.

In the Methods section we will review the technical tools required to describe quantum fields in relativistically moving cavities. In the Results section we show how to produce CV cluster states using relativistic motion and we present an experimental implementation in superconducting circuits. We conclude our paper with a discussion of our results.

Methods

Technical tools: quantum fields confined within moving cavities

In this section we review the technical tools to describe relativistic quantum fields, following mainly ref. 3 unless stated otherwise. We consider that the length of the cavity is constant in the reference frame of an observer co-moving with the cavity. Using the covariance matrix formalism, we show how to use entanglement resonances to create a two-mode squeezing gate in the case the motion is either discrete or continuous. Finally, we show that the gates can also be produced in case a single cavity wall oscillates.

Field quantization within a cavity

We consider a massless field Inline graphic confined within a 1 + 1 cavity in flat space-time, which can be employed to model a single polarisation-mode of light20. We use Minkowski coordinates Inline graphic which are a convenient choice to describe the field when the cavity undergoes inertial motion (in this work the signature is (−, +)). The left and right boundaries of the cavity are initially at positions Inline graphic and Inline graphic respectively, where Inline graphic, the length of the cavity is L := Inline graphic and we impose Dirichlet boundary conditions at the walls of the cavity, i.e. Inline graphic. When the cavity is inertial, the mode solutions Inline graphic to the Klein-Gordon equation Inline graphic form a discrete set and take the form

graphic file with name srep18349-m10.jpg

where the Minkowski frequencies are defined as Inline graphic and the modes Inline graphic satisfy the eigenvalue equation

graphic file with name srep18349-m13.jpg

The field Inline graphic can be expanded as

graphic file with name srep18349-m15.jpg

where the operators Inline graphic are bosonic operators which satisfy the canonical commutation relations Inline graphic and define the vacuum by Inline graphic for all Inline graphic.

We consider that at Inline graphic the cavity undergoes a period of uniform acceleration. Our formalism can be used to describe both discrete and continuous changes in acceleration. Rindler coordinates Inline graphic are a suitable choice to describe the cavity during periods of accelerated motion. The transformation between Minkowski and Rindler coordinates is given by

graphic file with name srep18349-m22.jpg

where Inline graphic has dimensions of length and Inline graphic is the dimensionless Rindler time coordinate. The proper acceleration of an observer moving along a trajectory Inline graphic is Inline graphic. A crucial point is that we consider that the cavity length is constant with respect to this observer. The observer’s proper time τ is related to the Rindler time coordinate by Inline graphic. Thus we can write Inline graphic, Inline graphic and Inline graphic as has been done in3. The solutions Inline graphic to the Klein-Gordon equation in Rindler coordinates take the form

graphic file with name srep18349-m32.jpg

where the Rindler frequencies are defined as Inline graphic. The Rindler modes Inline graphic satisfy the eigenvalue equation

graphic file with name srep18349-m35.jpg

During the periods of uniform acceleration, the field Inline graphic can be therefore expanded in these coordinates as

graphic file with name srep18349-m37.jpg

where the annihilation operators Inline graphic define the Rindler vacuum Inline graphic by Inline graphic for all Inline graphic and satisfy the canonical commutation relations Inline graphic.

Bogoliubov transformation

It is well known that the vacua Inline graphic and Inline graphic are different21. This implies that an accelerated observer will disagree with an inertial one that the state Inline graphic is devoid of particles. This fundamental observation is at the basis of the most exciting phenomena predicted by quantum field theory in curved spacetimes—such as dynamical Casimir effect and Unruh-Hawking effect—and is also responsible for relativistic effects in Quantum Information tasks between moving observers9.

We now briefly review the techniques introduced in refs 22,23 to study quantum information in cavities undergoing relativistic motion. The mode solutions to the Klein-Gordon equation in Minkowski and Rindler coordinates are related by the following Bogoliubov transformations21,

graphic file with name srep18349-m46.jpg

where the coefficients of the infinite-dimensional matrices Inline graphic and Inline graphic are defined by

graphic file with name srep18349-m49.jpg

and Inline graphic is the conserved inner product, see Ref. 21. Therefore, the induced transformation between the bosonic operators is

graphic file with name srep18349-m51.jpg

The Bogoliubov coefficients Inline graphic account for particle creation, while Inline graphic account for mode mixing. It is possible to compute analytically the inner products in Eq. (9) by expanding the Bogoliubov coefficients in terms of a dimensionless parameter Inline graphic, as was done in22, and one obtains

graphic file with name srep18349-m55.jpg

where the superscripts stands for the corresponding order in the perturbative expansion. Notice that the zero order coefficients Inline graphic are diagonal and can be written as Inline graphic.

The explicit expression of the first contributions to (11) can be found in ref. 22. The Bogoliubov coefficients Inline graphic and Inline graphic correspond to instantaneous changes between inertial and uniformly accelerated motion. A general cavity trajectory can be described as a succession of such transformations followed by periods of free evolution during which the field modes acquire phases Inline graphic and Inline graphic for inertial and uniformly accelerated free evolution respectively22,23. Notice that Inline graphic. The modes of a cavity at rest and the modes of the cavity after any trajectory are related by a general Bogoliubov transformation of the form (8), where the transformation matrix is

graphic file with name srep18349-m63.jpg

the Bogoliubov matrices A and B are functions of the Minkowski-Rindler instantaneous Bogoliubov coefficients Inline graphic and the phases Inline graphic acquired during the periods of free evolution. The exact expression depends on the travel scenario chosen22.

Covariance Matrix formalism

We use the covariance matrix formalism which is particularly convenient when one needs to apply quantum information techniques to quantum field theory23. In this formalism, which is applicable to bosonic fields in Gaussian states, all the relevant information about the state is encoded in the first and second moments of the field. In particular, given a collection of N bosonic modes, we can collect the second moments in the Covariance Matrix σ defined by the elements Inline graphic, where Inline graphic denotes the expectation value with respect to the state of the field and the quadrature operators Inline graphic are the generalized position and momentum operators of the field modes. In this paper we follow the conventions used in ref. 23, where the operators for the n-th mode are given by

graphic file with name srep18349-m69.jpg

and Inline graphic.

The covariance matrix formalism enables elegant and simplified calculations and has been proven useful to define and analyze computable measures of bipartite and multipartite entanglement for Gaussian states12.

Every unitary transformation U in Hilbert space that is generated by a quadratic Hamiltonian can be represented as a symplectic matrix S in phase space. These transformations form the real symplectic group Inline graphic, the group of real Inline graphic matrices that leave the symplectic form Ω invariant, i.e., Inline graphic, where the symplectic form takes the expression Inline graphic and

graphic file with name srep18349-m75.jpg

The time evolution of the field, as well as the Bogoliubov transformations, can be encoded in this structure. The symplectic matrix corresponding to the Bogoliubov transformation in Eq. (8) can be written in terms of the Bogoliubov coefficients as

graphic file with name srep18349-m76.jpg

where the Inline graphic are the 2 × 2 matrices which have the explicit form

graphic file with name srep18349-m78.jpg

The covariance matrix Inline graphic after a Bogoliubov transformation is given by Inline graphic. Let us assume that we are only interested in the state of two modes k and Inline graphic after the transformation. A great advantage of the covariance matrix formalism is that the trace operation over a mode is implemented simply by deleting the row and column corresponding to that mode. In the next subsection, we will apply this formalism to compute the transformed state of an initial vacuum of the field when the cavity undergoes motion of the boundary conditions.

Entanglement resonances and two-mode squeezer gates

When a cavity undergoes nonuniform motion, entanglement is created between every pair of modes3. Furthermore, the entanglement between chosen couples of modes can be selectively enhanced by “resonances”. An entanglement resonance is a linear increase of entanglement proportional to the number of times a particular travel scenario is repeated3,4,22,24.

There are two different kinds of entanglement resonances in the system. The first is connected to particle creation and leads to a two-mode squeezing gate3. Particle creation resonances have been extensively studied in the context of the dynamical Casmir effect6. The second entanglement resonance is produced by mode mixing without particle creation, which implements beam splitting gates4. In this work we will exploit particle creation resonances, since the squeezing gates which can be produced by them are a useful resource for the generation of cluster states16.

Let us consider that the field is initially in the vacuum state. The covariance matrix in this case is the identity matrix in Inline graphic dimensions where M is the number of modes. The cavity then undergoes N identical intervals of uniform acceleration, each of them of duration

graphic file with name srep18349-m83.jpg

Here Inline graphic is the the frequency of mode n. The Inline graphic reduced covariance matrix of two oddly-separated modes k and Inline graphic is obtained by tracing over Eq. (14) yielding,

graphic file with name srep18349-m87.jpg

where Inline graphic with Inline graphic, and Inline graphic is the Pauli matrix. The matrix Inline graphic corresponds to a two-mode squeezed state with squeezing parameter Inline graphic. It is possible to define an effective Hamiltonian which gives rise to such state,

graphic file with name srep18349-m93.jpg

with Inline graphic as defined in Eq. (13). It is possible to generate high degrees of entanglement by increasing the number N of repetitions reaching squeezing degrees as high as Inline graphic. However, for large N second order terms in the Bogoliubov series expansion, which are proportional to Inline graphic, can no longer be neglected. These terms introduce thermal noise in the two-mode squeezed state having negative effects in the preparation of the cluster state. However, in the section “Continuous sinusoidal motion: Experimental scenario’’ we will show that a cluster state containing significant amounts of squeezing and entanglement can be generated with realistic experimental parameters.

Discrete and continuous motion

The entanglement created at first order in h between any two modes with different quantum number after any travel scenario is proportional to the first order correction to beta coefficient Inline graphic, see ref. 23. In the case of sharp onsets and offsets of acceleration, the coefficient Inline graphic is in turn proportional to the inertial-to-uniformly-accelerated first order correction Inline graphic:

graphic file with name srep18349-m100.jpg

All the above can be generalised to the case of accelerations that change continuously. In particular, if the cavity moves with a sinusoidal oscillation at a frequency Inline graphic, then resonances appear for all the oddly separated modes that satisfy Inline graphic. The formalism for the case of a rigid cavity that oscillates as a whole can be found in ref. 4. Notice that the timescale involved in the changes of acceleration must be comparable to the characteristic timescale of the cavity, i.e. Inline graphic.

A single oscillating cavity wall

Next, we consider the case in which only one wall of the cavity is oscillating with frequency Inline graphic, where Inline graphic. The Bogoliubov coefficients for this case can be computed using a perturbative expansion where now

graphic file with name srep18349-m106.jpg

is the perturbation parameter. That is, we are assuming small oscillations, as in the dynamical Casimir effect experiment6. Notice that in harmonic motion, the maximum acceleration is given by Inline graphic. Therefore, our parameter Inline graphic is given by

graphic file with name srep18349-m109.jpg

The Bogoliubov coefficients for this case are found in ref. 25. In particular, assuming that the time T of the oscillation is long enough,

graphic file with name srep18349-m110.jpg

we find that the beta coefficients are given by

graphic file with name srep18349-m111.jpg

where Inline graphic is the Kronecker delta.

CV cluster states

Cluster states are a particular type of multipartite entangled state that, together with potentially simple measurements, are universal for quantum computation26. In the case of cavities, information can be encoded in the cavity field modes which are quantum continuous variables (CV)13,14. In this section we review the stabiliser formalism for CV cluster states and its relationship with two-mode squeezing operations.

The Stabiliser Formalism for CV cluster states

A particularly powerful and efficient way to describe cluster states is via the stabiliser formalism27. In this technique, a quantum state Inline graphic is described completely by a set of n operators Inline graphic, called stabiliser operators, of which Inline graphic is an eigenstate with eigenvalue +1:

graphic file with name srep18349-m116.jpg

The stabiliser operators Inline graphic generate an Abelian group of cardinality Inline graphic. All the members of this group stabilise Inline graphic.

For continuous variables, the individual information carrying systems are quantum field modes or quantum harmonic oscillators. We can define the Heisenberg-Weyl operators

graphic file with name srep18349-m120.jpg

where Inline graphic are the continuous variables, and Q and P the canonical position and momentum operators of the system. The stabiliser operator for a squeezed field mode j can then be written as28

graphic file with name srep18349-m122.jpg

where Inline graphic is the squeezing strength, with r the squeezing parameter. The single operator Inline graphic fully determines the quantum state of mode j. When Inline graphic the field mode j is in the vacuum state Inline graphic. The controlled-phase gate between two modes j and k is given by the operator

graphic file with name srep18349-m127.jpg

We can formally create continuous-variable cluster states by preparing a set of modes in momentum-squeezed states with Inline graphic, and applying the controlled-phase gate Inline graphic between all the modes that we wish to entangle. This creates new stabiliser operators

graphic file with name srep18349-m130.jpg

Expressing this in exponential form using Eq. (25) then leads to the stabiliser condition for cluster states

graphic file with name srep18349-m131.jpg

where Inline graphic and Inline graphic, and A is the adjacency matrix for the cluster. However, ideal continuous-variable cluster states that satisfy Eq. (29) are unphysical, and there are various inequivalent ways to approach these states. While the generation based on the controlled-phase gates is conceptually the simplest way to generate CV cluster states, from a physical point of view the required entanglement is easier created using two-mode squeezing. We can write a two-mode squeezing operator as

graphic file with name srep18349-m134.jpg

Using the Bloch-Messiah reduction29, a general multi-mode squeezing operator can then be constructed (up to local phase shifts) according to

graphic file with name srep18349-m135.jpg

where t is the interaction time and Inline graphic is a bilinear interaction Hamiltonian

graphic file with name srep18349-m137.jpg

Such a Hamiltonian leads to a complex adjacency matrix Inline graphic for a graph state30

graphic file with name srep18349-m139.jpg

where we used that in our case Inline graphic. The matrix Inline graphic defines a undirected graph called an H-graph that approaches a CV cluster state up to local phase shifts in the mathematical limit Inline graphic. In particular a succession of commuting two-mode squeezing operations of equal squeezing parameter generates an H-graph state which is bipartite, that is, all the nodes in the graph can be split into two sets such that the two-mode squeezers only relate the elements of one set with the elements of the other. By introducing Inline graphic phase shifts on the elements of one set, the H-graph state is transformed into a continuous variable cluster state16. As we will see in detail in the Results section, in the superconducting circuit scenario that we consider in this paper the phase shift is implemented by a rotation of the same pump that generates the two-mode squeezing. For the sake of simplicity, in the remainder of the paper we will focus on how to generate the H-graph state itself, assuming that appropriate rotations of the pump can always be implemented. We will assume that all the two-mode squeezing operations commute, which is an exact result up to the first order in h. Recalling Eqs. (17) and (18) and comparing them with Eqs. (32) and (33), we find that a succession of commuting two-mode squeezing operations generates a matrix Inline graphic which is proportional to the first order terms of the Bogoliubov coefficients. The role of the second order deviations from the ideal scheme will be discussed in detail in the Results section. Cluster states can be diagrammatically represented by a graph in which each node corresponds to a party and the edges between nodes represent entanglement.

Results

In this section we show how to produce a CV Gaussian cluster state through motion of the cavity. In principle, arbitrarily large grids of entangled modes can be achieved. We will also discuss possible limitations.

Step one: establishing bipartite links

We start by choosing an odd prime number Inline graphic. As we will discuss later, this choice allows for a more symmetric definition of the state. We then choose two modes Inline graphic that satisfy Inline graphic. We then notice that the first order correction to the Bogoliubov beta coefficient Inline graphic of an arbitrary trajectory is proportional to

graphic file with name srep18349-m149.jpg

Once p is fixed, we see that Inline graphic achieves a maximum for the couple of modes Inline graphic and Inline graphic and takes the value Inline graphic.

In the following, we list the operations needed to create the multipartite entangled state i.e., we describe the motion of the boundaries in terms of total time of travel scenario. The cavity undergoes an arbitrary travel scenario that lasts a total proper time

graphic file with name srep18349-m154.jpg

As found in ref. 3 and explained above, all pairs of modes Inline graphic that satisfy Inline graphic will have an entanglement resonance. At this early stage of the protocol we must notice that, unfortunately, the same happens also for all the couples of modes Inline graphic which satisfy Inline graphic where Inline graphic. In fact, for any q there are combinations of l and Inline graphic for which we obtain

graphic file with name srep18349-m161.jpg

and therefore, all these extra couples of modes also undergo an entanglement resonance. Note that q must be an odd number since Inline graphic must be odd and thus, no entanglement is generated to first order in h. We notice though that for these extra modes

graphic file with name srep18349-m163.jpg

which in general means that, already for Inline graphic, the coefficient Inline graphic is approximatively 3% of the value of Inline graphic (which has q = 1).

We can repeat the travel scenario any number of times in order to linearly increase the entanglement between the modes. This allows us to engineer entanglement between the following modes:

graphic file with name srep18349-m167.jpg

Here, all double arrows represent the (“large”) entanglement created between two modes. This entanglement is shown in Fig. 2 as vertical black edges.

Figure 2. The CV H-graph state generated by the travel scenario described in the text.

Figure 2

The vertical edges are created by Inline graphic, the solid grey diagonal edges by Inline graphic, and the dashed edges by Inline graphic. This creates a ladder graph.

Step two: creating a chain of entangled modes

We next proceed to increase the entanglement links in (38), and let the cavity undergo a new travel scenario with total proper time

graphic file with name srep18349-m168.jpg

which will entangle all couples of modes Inline graphic which satisfy Inline graphic. We can again repeat the travel scenario any number of times to achieve appreciable entanglement between the modes

graphic file with name srep18349-m171.jpg

Again, the double arrows indicate entanglement, and is shown in Fig. 2 as diagonal dashed grey edges.

Step three: creating ladders of entangled modes

Following the reasoning above, we now choose a final travel scenario with total proper time

graphic file with name srep18349-m172.jpg

Once the travel scenario is repeated the necessary amount of times one achieves the multipartite state of the form

graphic file with name srep18349-m173.jpg

This entanglement is shown in Fig. 2 as diagonal solid grey edges. The resulting H-graph has a ladder configuration. The mode p itself does not participate in the graph state.

Selecting contributing entangled modes

In the previous section we have achieved a multipartite entangled state which has the ladder structure shown in Eq. (42) and Fig. 2. We have already noted that the entanglement between pairs of modes in Eq. (42) is not the same as quantified by Inline graphic. We would like to have a state where each entangled pair of modes exhibits the same amount of entanglement.

Since the aim is to obtain a multipartite state with entanglement between modes that forms a particular structure, we need to guarantee that the entanglement between the modes in the structure is much higher than the entanglement with other modes. For this reason, we have chosen a large prime number Inline graphic, and we keep all pairs of modes Inline graphic that satisfy

graphic file with name srep18349-m177.jpg

where Inline graphic sets a limit on the minimum amount of entanglement which we want to generate. The value of Inline graphic sets the minimum value of k -denoted by Inline graphic- that we consider and the corresponding number Inline graphic of mode pairs, which is given by:

graphic file with name srep18349-m182.jpg

Notice that every time the cavity undergoes some travel scenario, Inline graphic will depend on the prime p and will be different for different sets of modes. In addition, we have chosen numbers Inline graphic. Clearly, for Inline graphic the bounds Inline graphic will be identical given a choice of Inline graphic. We can therefore rewrite (42) as

graphic file with name srep18349-m188.jpg

If Inline graphic is chosen tight enough, all modes in Eq. (45) will share almost the same amount of entanglement.

Step four: “Propagating” the entanglement

In this subsection we show how to propagate the entanglement from the basic structure we have built in Eq. (42) and Fig. 2, to build a regular structure.

Enlarging the structure of the multipartite state

We have shown how we can create an H-graph state in which the modes are entangled according to a ladder topology (a ladder graph). We will now proceed to show how to extend the ladder graph to a square lattice graph. We choose another prime Inline graphic and Inline graphic. Since Inline graphic would allow for substantially different amounts of entanglement, we choose a prime Inline graphic of the same order of magnitude as p. Among the modes that will be entangled in the ladder graph generated by p there will be a mode Inline graphic that coincides with mode of Inline graphic in the ladder graph generated by Inline graphic (with Inline graphic. If the mode Inline graphic are within the ranges defined by Inline graphic and Inline graphic, then we can use the travel scenari with total proper time

graphic file with name srep18349-m201.jpg

Without loss of generality, we can assume that Inline graphic. Therefore

graphic file with name srep18349-m272.jpg

where we do not specify the endpoint of the chain because it now depends on Inline graphic and Inline graphic. We now choose another prime Inline graphic and Inline graphic and repeat the above process to get the structure

graphic file with name srep18349-m273.jpg

The aim will now be to close all the links and complete the lattice of entangled modes.

Final step

To complete our scheme, we notice that

graphic file with name srep18349-m207.jpg

which are both odd numbers. This again guarantees that the entanglement is created at first order in Inline graphic. We now let the cavity undergo two travel scenarios with proper times

graphic file with name srep18349-m209.jpg
graphic file with name srep18349-m210.jpg

We therefore obtain our final state:

graphic file with name srep18349-m274.jpg

See an example in Fig. 3. So far, we have shown that, in principle, is possible to generate a large square lattice of entangled quantum field modes within a cavity. Technically, this means that we have generated an H-graph with the structure of a square. Dividing the graph in two sets such that the edges of the graph only relate elements of one set with elements of the other and applying Inline graphic phase shifts on the elements of one set, the complex adjacency matrix Inline graphic of the H-graph state -see Eq. (33)- is transformed into the adjacency matrix of a CV cluster state16. In general, the resulting CV cluster state does not have the same form as the original H-graph, except in those cases where the adjacency matrix A is self-inverse16,31. An interesting example is a four-mode square H-graph -with one minus sign in the adjacency matrix- which is then transformed into a square CV cluster state after the phase shifts16,31. In the next section we will show that this example is within reach of current technology in circuit QED.

Figure 3. H-graph state for p = 29, Inline graphic, and Inline graphic, with Inline graphic and Inline graphic.

Figure 3

Each mode, indicated by an open circle, has potentially multiple labels, associated with p, Inline graphic, or Inline graphic.

Continuous sinusoidal motion: Experimental scenario

We have developed a scheme to prepare CV cluster states. We now propose a simple implementation that can be achieved with current technology. The aim is to build up a quadripartite state. We choose superconducting cavities, where the boundary of the field can be controlled by external magnetic fluxes32,33,34. A similar system—with only one wall—has been successfully exploited in the first experimental demonstration of the dynamical Casimir effect6.

Let us consider now a Inline graphic resonator in which one of the walls is a tunable SQUID32. The spectrum is given by

graphic file with name srep18349-m214.jpg

The frequency of the fundamental mode Inline graphic is Inline graphicGHz. For the sake of convenience, we focus on a set of modes within the range of frequencies where linear amplifiers operate. We start by driving the SQUID at Inline graphic. We therefore obtain

graphic file with name srep18349-m218.jpg

We then drive the system at Inline graphic, entangling modes 2 and 3. Therefore

graphic file with name srep18349-m220.jpg

The state (55) is a multipartite entangled state. Entanglement can be extended to form a larger regular structure by means of the techniques described in this work. Within the approximations commented in, the section “Discrete and continuous motion” higher order entanglement resonances are completely suppressed. The time of the oscillation can be suitably chosen in order to generate a similar amount of entanglement between all the links (see Fig. 4). In particular, the reduced state of modes Inline graphic and Inline graphic after the first drive is given by

Figure 4. Logarithmic negativity vs. time of the oscillatory motion for modes k = 2 and Inline graphic (solid, blue), Inline graphic and Inline graphic (dashed, red), Inline graphic and Inline graphic (dotted, yellow) and Inline graphic and Inline graphic (dash-dotted, green).

Figure 4

Inline graphic, Inline graphic.

graphic file with name srep18349-m223.jpg

For small h the state of the system remains pure to first order corresponding to a two-mode squeezed state with squeezing parameter Inline graphic. However, when repeating the trajectory a large number of times to generate a resonance, second order terms in the expansion of the Bogoliubov coefficients need to be included. These second order terms give rise to thermal noise quantified by Inline graphic which in this case is given by Eq. (23). A similar expression holds for modes Inline graphic and Inline graphic after the first drive. The entanglement in state (56) can be quantified with the logarithmic negativity which yields in this case:

graphic file with name srep18349-m228.jpg

and similarly for Inline graphic. Now we can drive the system at Inline graphic in order to entangle modes Inline graphic and Inline graphic. However, the initial state is no longer the vacuum. After the first drive the reduced covariance matrix of modes Inline graphic and Inline graphic is

graphic file with name srep18349-m235.jpg

where Inline graphic and Inline graphic. The second drive transforms the state into

graphic file with name srep18349-m238.jpg

where the matrices above have the expression

graphic file with name srep18349-m239.jpg

Note that if the amount of squeezing and entanglement generated with the first drive were exactly the same, i.e. Inline graphic, then the state would be

graphic file with name srep18349-m241.jpg

The fact that Inline graphic adds a source of imperfection. The logarithmic negativity of the state in Eq. (59) is

graphic file with name srep18349-m243.jpg

Two drives suffice to build up a linear graph. A third drive at Inline graphic would entangle modes Inline graphic and Inline graphic, closing the square. In this case, the entanglement would be given by a similar expression as in Eq. (62), replacing Inline graphic by Inline graphic. Figure 4 shows that a significant amount of entanglement is generated among the selected pairs of modes. The time of the drives can be chosen in such a way that all the pairs share a similar degree of entanglement. With all the above we have generated a H-graph state with square structure. Now, if we consider a rotation of the pump by an angle θ in one of the drives, say the last one, the corresponding correlation operators are transformed to Inline graphic, Inline graphic. Thus, for Inline graphic, the corresponding two-mode squeezing operator acquires a minus sign. The effect is completely equivalent to replace Inline graphic by Inline graphic. Therefore, the effective Hamiltonian acquires the form of the adjacency matrix of a square cluster state16. A square cluster state is a universal resource for measurement-based quantum computation, provided that homodyne detection and photon-counting are possible. Both techniques are within reach of current circuit QED technology35,36.

Discussion

We have shown that it is possible to generate continuous-variable cluster states on electromagnetic cavity modes by choosing a suitable relativistic motion of the cavity. The entanglement grows linearly in time. The size of the lattice is determined by the choice of initial driving frequency, the amount of entanglement required between every mode and the desired length-to-height ratio of the square cluster. As a first experimental implementation, we propose a simple example of a four-mode square cluster state in a superconducting resonator with tuneable boundary conditions. This scheme is within reach of current circuit QED technology and would be the first demonstration of a multipartite continuous variable cluster state in cQED. An interesting avenue of research would be the extension to regimes of high squeezing levels, such as the ones required for fault-tolerant quantum computing with CV cluster states37. In brief, our main contribution is to implement cluster states in relativistic quantum field theory, paving the way to relativistic quantum computing schemes. This is a step beyond the various proposed nonrelativistic implementations of continuous variable cluster states.

Additional Information

How to cite this article: Bruschi, D. E. et al. Towards universal quantum computation through relativistic motion. Sci. Rep. 6, 18349; doi: 10.1038/srep18349 (2016).

Acknowledgments

The authors want to acknowledge G. Adesso, N. Friis and A. Lee for useful discussions. D.E.B. was in part supported by the UK Engineering and Physical Science Research Council grant number EP/J005762/1. I.F. and C.S acknowledge support from EPSRC (CAF Grant No. EP/G00496X/2 to I.F.). G.J. and P.D. would like to acknowledge funding from the Swedish Research Council and from the EU through the ERC and the projects PROMISCE and SQALEQIT. Financial support by Fundación General CSIC (Programa ComFuturo) is acknowledged by C.S.

Footnotes

Author Contributions D.E.B. and I.F. conceived the project. D.E.B. and C.S. performed the computations. G.J. and P.K. provided theoretical assistance. P.D. revised the feasibility of the experimental proposal. I.F. supervised the project. All the authors contributed to the preparation of the manuscript.

References

  1. Ladd T. D. et al. Quantum Computers. Nature 464, 45 (2010). [DOI] [PubMed] [Google Scholar]
  2. Alsing P. M. & Fuentes I. Observer dependent entanglement. Class. Quant. Grav 29, 224001 (2012). [Google Scholar]
  3. Bruschi D. E., Dragan A., Lee A. R., Fuentes I. & Louko J. Relativistic Motion Generates Quantum Gates and Entanglement Resonances. Phys. Rev. Lett. 111, 090504 (2013). [DOI] [PubMed] [Google Scholar]
  4. Bruschi D. E., Louko J., Faccio D. & Fuentes I. Mode-mixing quantum gates and entanglement without particle creation in periodically accelerated cavities. New Journal of Physics 15, 073052 (2013). [Google Scholar]
  5. Moore G. T. Quantum Theory of the Electromagnetic Field in a Variable- Length One-Dimensional Cavity. J. Math. Phys 11, 269 (1970). [Google Scholar]
  6. Wilson C. M. et al. Observation of the dynamical Casimir effect in a superconducting circuit. Nature 479, 376 (2011). [DOI] [PubMed] [Google Scholar]
  7. Zakka-Bajjani E. et al. Quantum superposition of a single microwave photon in two different colour states. Nature Physics 7, 599 (2011). [Google Scholar]
  8. Flurin E., Roch N., Mallet F., Devoret M. H. & Huard B. Generating Entangled Microwave Radiation Over Two Transmission Lines. Phys. Rev. Lett. 109, 183901 (2012). [DOI] [PubMed] [Google Scholar]
  9. Friis N. et al. Relativistic Quantum Teleportation with Superconducting Circuits. Phys. Rev. Lett. 110, 113602 (2013). [DOI] [PubMed] [Google Scholar]
  10. Felicetti S. et al. Dynamical Casimir Effect entangles artificial atoms. Phys. Rev. Lett. 113, 093602 (2014). [DOI] [PubMed] [Google Scholar]
  11. Felicetti S. et al. Relativistic motion with superconducting qubits. Phys. Rev. B 92, 064501 (2015). [Google Scholar]
  12. Weedbrook C. et al. Gaussian quantmu information. Reviews of Modern Physics 84, 621 (2012). [Google Scholar]
  13. Zhang J. & Braunstein S. L. Continuous-variable Gaussian analog of cluster states. Phys. Rev. A 73, 032318 (2006). [Google Scholar]
  14. Menicucci N. C et al. Universal Quantum Computation with Continuous-Variable Cluster States. Phys. Rev. Lett. 97, 110501 (2006). [DOI] [PubMed] [Google Scholar]
  15. Gu M., Weedbrook C., Menicucci N. C., Ralph T. C. & van Loock P. Quantum computing with continuous-variable clusters. Phys. Rev. A 79, 062318 (2009). [DOI] [PubMed] [Google Scholar]
  16. Menicucci N. C., Flammia S. T., Zaidi H. & Pfister O. Ultracompact generation of continuous-variable cluster states. Phys. Rev. A 76, 010302 (2007). [Google Scholar]
  17. Gottesman D., Kitaev A. & Preskill A. Encoding a qubit in an oscillator. Phys. Rev. A 64, 012310 (2001). [Google Scholar]
  18. Menicucci N. C., Flammia S. T. & Pfizer O. One-Way Quantum Computing in the Optical Frequency Comb. Physical Review Letters 101, 130501 (2008). [DOI] [PubMed] [Google Scholar]
  19. Pysher M., Miwa Y., Shahrokhshahi R., Bloomer R. & Pfister O. Parallel Generation of Quadripartite Cluster Entanglement in the Optical Frequency Comb. Phys. Rev. Lett. 107, 030505 (2011). [DOI] [PubMed] [Google Scholar]
  20. Friis L., Lee A. R. & Louko J. Scalar, spinor and photon fields under relativistic cavity motion. Phys. Rev. D 88, 064028 (2013). [Google Scholar]
  21. Birrell N. D. & Davies P. C. W. Quantum fields in curved space (Cambridge: University Press, 1982). [Google Scholar]
  22. Bruschi D. E., Fuentes I. & Louko J. Voyage to Alpha Centauri: Entanglement degradation of cavity modes due to motion. Phys. Rev. D 85, 061701 (2012). [Google Scholar]
  23. Friis N. & Fuentes I. Entanglement generation in relativistic quantum fields. Journal of Modern Optics 60, 22 (2013). [Google Scholar]
  24. Friis N., Huber M., Fuentes I. & Bruschi D. E. Quantum gates and multipartite entanglement resonances realized by nonuniform cavity motion. Phys. Rev. D 86, 105003 (2012). [Google Scholar]
  25. Ji J.-Y., Jung H.-H., Park J.-W. & Soh K.-S. Production of photons by the parametric resonance in the dynamical Casimir effect. Phys. Rev. A 56, 4440 (1997). [Google Scholar]
  26. Raussendorf R. & Briegel H. J. A One-Way Quantum Computer. Phys. Rev. Lett. 86, 5188 (2001). [DOI] [PubMed] [Google Scholar]
  27. Gottesman D. Stabilizer Codes and Quantum Error Correction, Ph.D. thesis, Caltech (1997). [Google Scholar]
  28. Kok P. & Lovett B. W. Introduction to Optical Quantum Information Processing (Cambridge University Press, 2010). [Google Scholar]
  29. Braunstein S. L. Squeezing as an irreducible resource. Phys. Rev. A 71, 055801 (2005). [Google Scholar]
  30. Menicucci N. C., Flammia S. T. & van Loock O. Graphical calculus for Gaussian pure states. Phys. Rev. A 83, 042335 (2011). [Google Scholar]
  31. Alexander R. N., Gabay N. C. & Menicucci N. C. Comment on “Towards universal quantum computation through relativistic motion” arXiv:1312.6188 (2013).
  32. Wallquist M., Shumeiko V. S. & Wendin G. Selective coupling of superconducting charge qubits mediated by a tunable stripline cavity. Phys. Rev. B 74, 224506 (2006). [Google Scholar]
  33. Sandberg M. et al. Tuning the field in a microwave resonator faster than the photon lifetime. Appl. Phys. Lett. 92, 203501 (2008). [Google Scholar]
  34. Wilson C. M. et al. Photon generation in an electromagnetic cavity with a time-dependent boundary. Phys. Rev. Lett 105, 233907 (2010). [DOI] [PubMed] [Google Scholar]
  35. Chen Y. F. et al. Microwave Photon Counter Based on Josephson Junctions. Phys. Rev. Lett 107, 217401 (2011). [DOI] [PubMed] [Google Scholar]
  36. Eichler C. et al. Experimental State Tomography of Itinerant Single Microwave Photons. Phys. Rev. Lett 106, 220503 (2011). [DOI] [PubMed] [Google Scholar]
  37. Menicucci N.C. Fault-Tolerant Measurement-Based Quantum Computing with Continuous-Variable Cluster States. Phys. Rev. Lett 112, 120504 (2014). [DOI] [PubMed] [Google Scholar]

Articles from Scientific Reports are provided here courtesy of Nature Publishing Group

RESOURCES