Abstract
In this review, we present the ongoing developments in bridging the gap between holography and experiments. To this end, we discuss information scrambling and models of quantum teleportation via Gao–Jafferis–Wall wormhole teleportation. We review the essential basics and summarize some of the recent works that have so far been obtained in quantum simulators towards a goal of realizing analogous models of holography in a lab.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Holographic correspondence has been the most surprising and celebrated conjecture [1,2,3,4] for almost three decades now. It connects special quantum field theories (called the boundary theory) to gravity living in one extra dimension (called the bulk theory). Using the holographic toolbox, several advances have been made in the physics of strongly coupled quantum field theories – the transport properties in hydrodynamics [5,6,7,8,9,10,11,12,13,14], renormalization group flow [15,16,17,18,19,20,21,22,23,24,25,26,27,28], and entanglement entropy [29,30,31,32,33,34,35,36,37,38,39,40], to name a few. At a more microscopic level, the relations established between the geometry and quantum entanglement through the entanglement entropy proposal from Ryu and Takayanagi [29], ER=EPR [41, 42] have been suggestive of the fact that the gravity is an emergent phenomenon [43,44,45,46,47,48,49,50,51,52,53,54,55,56,57].Footnote 1
On the other side of the duality are gravity and black holes. The duality has also helped to advance us to understand the quantum nature of black holes [58] through quantum information processing in the boundary quantum systems. In recent years, the simplicity and analytic amenability of the duality between Sachdev–Ye–Kitaev (SYK) model and nearly Anti-de Sitter spacetime [59,60,61,62,63,64] has served as a guiding lamppost for many developments in our understanding of black holes. This refers to, but is not limited to, quantum chaotic properties of black holes [65,66,67,68,69], and recent progress towards the black hole information paradox [70, 71].
Towards the information content of the Hawking radiation, Hayden and Preskill [72] proposed a fascinating thought experiment wherein information thrown into an old black hole can be recovered quickly having observed only a few quanta of Hawking radiation. This proposal was later made concrete for generic quantum systems by providing mechanisms for decoding the intended information [73]. At a first thought, one can visualize decoding of information in a quantum circuit as a form of teleportation of information from the input to the output. Whether or when the above is true constitutes some parts of this review. It has been recently argued that the Hayden–Preskill inspired information decoding circuits for generic quantum channels are actually similar (and same in some limits) to the circuits inspired by teleportation through a wormhole [74,75,76].
In the first part of this review we discuss these concepts and provide a summary of recent developments on wormhole teleportation inspired quantum circuits. We begin with holographic dictionary connecting eternal black holes to thermofield double state (TFD) [77] where the two asymptotic regions of left and right black holes are causally disconnected. What it means is that any perturbation on one side can not travel to the other, thus such two-sided wormholes are not traversable (see more on wormholes in [78]). Traversable wormholes have fascinated researchers for long [79], however it is also known that we need to violate null energy conditions, or inject negative energy, in order to achieve traversability [80,81,82]. To this end, Gao et al. [83], followed by [84], put forth a seminal work where a coupling between the two-sided geometry was proposed, that renders the wormhole traversable.
Remarkably, the Hayden–Preskill and Gao–Jafferis–Wall protocols are quite generally applicable for quantum many-body systems, and can be realized in the lab using programmable quantum devices. This is possible due to tremendous experimental advances in noisy intermediate scale quantum (NISQ) devices [85, 86], which provide a powerful toolset for analog and universal digital quantum simulation.
In the second part of our review, we describe how these protocols can be implemented in a lab with quantum simulators. Geared towards the goal of observing quantum gravity in a lab, in the holographic language, one requires initially a bridge to translate the tools of holography in terms of many-body dynamics, see also [87] for a review of the connection between holography and quantum many-body dynamics. Quantum simulators provide unique opportunities to study the time evolution of many-body systems in highly controlled laboratory settings. In this direction, we describe two out of many quantum simulation platforms – based on trapped ions [88, 89] and Rydberg atoms [90]. We emphasis that while an observation of models marking dynamics dual to black holes is still far away, the preparation and benchmarking steps provide promising directions for future experiments. For example, this refers to protocols [91,92,93] and preparation of TFD states [94,95,96,97], observation of Hayden–Preskill variant of quantum teleportation [98], and theoretical proposals [93, 99,100,101,102,103,104,105,106,107,108] and experimental observation of out-of-time-ordered correlators (OTOC) [98, 109,110,111,112,113,114,115,116] in small-scale quantum simulators.
Overview: This review is organized as follows: in Sect. 2, we review some basics of the holographic correspondence. To be concrete, we present the example of duality between eternal black holes and TFD states and discuss how the wormholes are made traversable by introducing double trace deformation. In Sect. 3, we discuss and set up basic notations regarding the information spread in quantum systems. We describe that the spread of initial information and the measures of it are the central mechanisms to understand teleportation in quantum circuits. In this section we also review the Hayden–Preskill protocol, and its variant generically applicable to quantum dynamics. In Sect. 4, we discuss the circuits, motivated from the wormhole teleportation, as teleportation circuits for many-body dynamics. We present a mechanism of transfer based on operator size and summarize the recent results. In Sect. 5, we describe in detail two platforms for quantum simulation, and present realization of many-body models in Sect. 6. We then present the measurement protocols, directly accessible in experiments, to measure OTOC and perform many-body teleportation in Sect. 7. We conclude in Sect. 8 with some additional remarks and future prospects.
2 \(\hbox {AdS}_{d+1}\)/\(\hbox {CFT}_{d}\) and Wormhole
AdS/CFT correspondence can be embodied in various avatars, but we will only briefly review some aspects of it which will be relevant for the rest of the review. Essentially, the AdS/CFT duality links two different theories: a conformal field theory (CFT) which is strongly coupled (typically a large N gauge theory) and a weakly coupled gravity theory defined on the background of Anti-de Sitter (AdS) spacetime which is a spacetime with a negative curvature [1,2,3]. \(d+1\) dimensional AdS spacetime represents the maximally symmetric solution for the Einstein field equation with a negative cosmological constant \(\varLambda =-\frac{d(d-1)}{2\, L^2},\) where L is the AdS radius. The most well-understood example of this duality comes from the String theory. It has been demonstrated in [1,2,3,4], that there exists an equivalence between a strongly coupled \({\mathcal {N}} = 4\) supersymmetric SU(N) Yang-Mills (SYM) theory and Type IIB String theory on \(AdS_5 \times S^5\) in the large N limit, where N is the rank of the gauge group. In this context, one first starts with a stack of N number of D3-branes. The low energy dynamics of it is described by \({\mathcal {N}}=4\) SYM with a Gauge group SU(N) with the ’t-Hooft coupling \(\lambda =g_{YM}^2 N\), where \(g_{YM}\) denotes the Yang-Mills coupling. We can analyze this theory perturbatively when \(\lambda \ll 1.\) On the other hand, we can have a 10-dimensional metric solution emerging from the low energy description of Type IIB String theory,
where \(g_s\) is the string coupling. We work in \(\alpha '\rightarrow 0\) limit where \(\alpha '\) is the string tension. In this limit we can effectively neglect any stringy effect and hence work in the supergravity limit (which is essentially a Type IIB Supergravity theory for this case). In the AdS/CFT duality the couplings on the two sides are related by
We can identify \(L^2=\alpha '\sqrt{2\, g_{YM}^2 N}\,\). After this, we can easily see from (1) that the spacetime described by (1) is nothing but \(AdS_5\times S^5.\) The supergravity limit necessarily implies,
where we have used the fact that the string length \(l_s=\sqrt{\alpha '}.\) This equation simply tells us that, classical gravity description is valid when the AdS length scale is much bigger than the string length and from our previous identification the ’t-Hooft coupling becomes very large. We have classical gravity (and weakly coupled) description in the bulk in the limit described in (3) and it is equivalent to a strongly coupled gauge theory at the boundary for which standard perturbation theory will not work anymore. Also, the Newton’s constant (10-dimensional) which is the coupling for the gravity theory can be shown,
From this, it is evident that the gravity theory is weakly coupled. Then the 5-dimensional Newton’s constant \(G_5\) can be related to \(G_{10}\) by simply dividing it by the volume of unit 5-sphere [117].
Although this conjecture has not been proven yet, it passes several essential checks, such as matching the spectrum of chiral operators and correlation functions. One obtains a precise dictionary between field theory correlators and correlators of fields living inside the AdS spacetime [1,2,3, 117,118,119].Footnote 2 Holography is being used to study hydrodynamic transport coefficients, phase transitions in condensed matter systems, some aspects of QCD, open quantum systems, quantum chaos, black hole information paradox etc [13, 40, 120,121,122,123,124,125,126,127,128].Footnote 3
Although evidence supports the holographic principle, it is still not clear how gravity emerges from field theory. In recent times, tools of information-theoretic quantities, e.g. entanglement, have provided a more profound insight into the inner workings of AdS/CFT, see a recent review [129] on bulk emergence and quantum error correction in holography. Following holography, a plethora of interesting studies have resulted [40, 123] and several setups based on quantum information scrambling have been proposed to test certain predictions coming from holography. In the rest of this review, we will discuss some of them. Also, we will work in natural units where we will set \(c=\hbar =k_B=1.\)
2.1 ER = EPR and wormholes
We know that quantum mechanics allows for Einstein–Podolsky–Rosen (EPR) correlations [130], which basically stem from the underlying entanglement structure of the wavefunction describing the system. On the other hand, one can find solutions in general relativity that can connect far away points of spacetime via wormholes [131] which are called Einstein–Rosen bridges (ER) [132]. These two phenomena seem to challenge the notion of locality [130]. The locality plays an important role in physics, primarily because we cannot send a signal faster than light. From the point of view of spacetime, all points of spacetime are not causally connected. Maldacena and Susskind later proposed in [41, 42] that these two effects are related. In the context of AdS/CFT duality, two entangled copies of a conformal field theory having EPR-type correlation have a bulk dual that connects them through a wormhole. In particular, two black holes that are spatially far away but have EPR correlation between their microstates described by CFT are actually connected through an ER bridge. To elaborate a little bit more, let us take an analogy from quantum mechanics. Let us consider two CFTs on two spatially disconnected regions A and B, and consider the following wavefunction,
where \(|\psi _A\rangle \) and \(|\psi _B\rangle \) are the wavefunctions of the two non-interacting CFTs at A and B. From (5), it is evident that \(|\psi \rangle \) does not have any entanglement as it is a direct product state. This can be confirmed by computing von-Neumann entropy by tracing out either A or B. This state corresponds to two disconnected geometries in the context of holography [133].
Now following [133], we can consider two CFTs placed on \(S^d\) and let us denote the \(i{\mathrm{th}}\) energy eigenstate of each CFT by \(E_i.\) Then let us consider the following wavefunction (up to some normalization) ,
This is basically a sum of the product state \(|E_i\rangle \otimes |E_i\rangle .\) From (6) it is evident that this state does contain some amount of entanglement, which can be estimated by computing von-Neumann entropy by tracing out one of the CFTs. This is a particular example of the so-called “thermofield double” state. In the context of holography, this can be shown to be dual to a Euclidean “eternal black hole” geometry [77] as shown in the Fig. 1, which is basically a two-sided Euclidean black hole. So the quantum superposition of two states of two classically disconnected CFTs corresponds to a classically connected geometry (for our case, the two sides are connected by ER bridge). Next, we briefly discuss the geometry of this two-sided black hole.
Penrose diagram representing an eternal Schwarzschild-AdS black hole [58]. Also shown are the left and right boundaries where the CFT lies and which the system is dual to. The diagonal lines represent the left and right black hole’s horizons. \(r=0 \) corresponds to the singularity of the spacetime. The original exterior region is the right one (R) and the new exterior is the left one (L). No radial null geodesic can escape the future interior into one of the exterior and no null geodesic can connect the left and right exterior
Eternal black hole We consider the eternal AdS black hole with two asymptotic regions. Its Penrose diagram is depicted in Fig. 2. An eternal black hole consists of two causally disconnected black holes that share a common time [77]. The separated spaces have non-interacting degrees of freedom, but the two black holes are highly entangled [58], and they form a wormhole that connects both of them [58]. To elaborate a little more, let us consider the example of Euclidean non-rotating Bañados–Teitelboim–Zanelli (BTZ) metric,Footnote 4
where \( f(r)=\frac{r^2-r_+^2}{L^2}\), L is the AdS radius, \(r=r_+\) is the horizon where the f(r) vanishes. The period of the \(\tau \) coordinate \(\beta =\frac{2\pi \, L^2}{r_+}\) is identified with the inverse of the temperature T of the black hole. The period of \(\phi \) is \(2\pi .\) Together \(\tau \) and \(\phi \) provide the coordinates for the space on which the dual CFT is defined. The metric becomes ill-defined at \(r=r_+\) but this is just a coordinate singularity. One can define the following coordinate transformation,
where \(\kappa =\frac{r_+}{l^2}\) is the surface gravity and \(u,v=i\,\tau \pm r_*,\) with,
This is nothing but a Kruskal transformation [58]. The metric becomes,
\(U=0\) and \(V=0\) are the two horizons. From (9), it is evident that the metric is well defined even when either \(U=0\) or \(V=0.\) While doing the coordinate transformation, we implicitly assumed that \(r > r_+,\) thereby making U negative and V positive. Similarly, for the region \(r < r_+\) we can perform the same type of coordinate transformation only with the difference that for that case, U will be positive and V will be negative. Then we again end up with the same form of the metric as shown in (9). Finally, the Penrose diagram for the spacetime looks like as shown in Fig. 2.Footnote 5 The spacetime now has four regions, as shown in the Fig. 2. The two singularities occur at \(U\, V=1\,\) \( (r=0)\), and the \(U\, V=-1\,\,\) \((r=\infty )\) corresponds to the two asymptotic AdS boundaries. Combining all four regions, we can now interpret the full two-sided Euclidean BTZ space as a wormhole connecting the two asymptotically-AdS spaces. The wormhole is non-traversable in the sense that no signal can be sent from the region- L to the region R as shown in the Fig. 2, but two people, Alice and Bob, will be able to jump from these two sides and reach the middle point (the bifurcation point where \(U=0\) and \(V=0\) line intersect as shown in the Fig. 2) and exchange notes. Although we have used mainly the BTZ metric, all these analyses can be extended to higher dimensions.
Thermofield double state As we know that the
AdS/CFT is a two-way street, we briefly now discuss the dual of this geometry. Within the context of holography, each geometry corresponds to a certain state of the dual field theory. From the boundary point of view, the CFT lives on a space described by two coordinates, both of which are periodic. The space looks like a product of two spheres: \(S_{\beta }^{1} \times S^{d-1}.\) \(S_{\beta }\) is coming from the \(\tau \) coordinate, and \(S^{d-1}\) is coming from the rest of the angular coordinates. For (eternal) BTZ, we have \(d=2\), and for a constant time slice, the boundary will be the sum of two disconnected spheres \( S^{1}+ S^{1}\). Then the Euclidean time direction then connects these two spheres. Then following [77], we can write down the dual state as,
where \(| E_{i}\rangle \) denotes the energy eigenstate of the CFT placed on the sphere, L and R indicate the two asymptotic regions, the sum over i goes over all the eigenstatesFootnote 6 and \(Z(\beta )\) is the thermal partition function for one copy of the CFT. The star denotes the CPT conjugation. From (10) it is evident that this state is an entangled state defined on a Hilbert space of the form \({\mathcal {H}}={\mathcal {H}}_{L}\otimes {\mathcal {H}}_{R}.\) In general finite dimensional quantum systems, TFD is a useful way to purify a given thermal state, we discuss this aspect in the next Sect. 3.
Due to the presence of the factor \(e^{-\beta E_j/2}\), one can easily see (by computing the von-Neumann entropy by tracing one of the subsystems, either L or R) that \(| {\psi } \rangle \) possesses non-vanishing entanglement. From the wavefunction \(| {\psi } \rangle \) in (10), we can compute the thermal expectation value of any operator in the following way,
where, \(O_L\)Footnote 7 is an operator which acts on the left asymptotic boundary. Then one can trace over the right region, and effectively the expectation value of this operator will be given by tracing over the reduced density matrix of the left region (\(\rho _L^{\beta }\)) times the operator \(O_L.\) The reduced density matrix \(\rho _L^{\beta }\) comes from the fact that we have traced out the right region entirely. The subscript \(\beta \) denotes the fact that it is a thermal density matrix that arises due to the entanglement between the two copies. Similarly, one can compute higher point correlation functions also. On the dual side, one can use the standard techniques of holography to compute these correlators. Following [77, 135] we will below quote the result for two-point functions of two spinless primary operators of scaling dimension \(\varDelta \)Footnote 8 acting on L and R boundaries (both at \(t=0\)) respectively.Footnote 9
From (12), it is evident that we indeed get non-vanishing correlations between two operators acting on two disconnected CFTs. This is because the underlying geometry and the dual state have some entanglement, although the two boundary regions are causally disconnected. This provides evidence to the ER=EPR conjecture discussed previously.
2.2 Teleportation through traversable Wormholes
The rest of the review will mainly focus on quantum information spreading and its implications for holography. Particularly, we will focus on the teleportation of quantum information and the corresponding holographic model. This provides us with an interesting playground to test some of the predictions from holography in the experimental setting. It is evident from our previous discussion that wormholes provide an ideal setting for quantum teleportation [136] because they have EPR-like correlations. However, the wormhole that we have discussed previously is not traversable [58, 131].
Alice and Bob are accelerating near the left and right boundary. Alice sends a signal at time \(-t\) at the left boundary, (shown by yellow dashes). Instead of reaching Bob, it will be lost into the singularity as no light like trajectory can escape into one of exterior region from the other, bypassing the future interior
As shown in the Fig. 3, Alice sends a signal from the left boundary at some time \(-t.\) She is accelerating near the left boundary, as shown by the hyperbolic trajectory. She hopes that Bob, who is accelerating near the right boundary, will receive the signal. But as evident from the diagram, as the signal moves at the speed of light, it will always hit the singularity and Bob will never receive it. So we cannot send a signal through this non-traversable wormhole even if it possesses EPR-like correlation.
For teleportation, we need a traversable wormhole [137]. The exact protocols for quantum teleportation through a traversable wormhole will be reviewed in detail in the later sections. In this section, we briefly discuss the argument put forward in [83, 84] to make a traversable wormhole. It is well known that in general relativity, the traversable wormhole only occurs when the stress tensor for the matter sector violates the null energy condition [83, 138,139,140]. In the context of AdS/CFT, there is a precise protocol to achieve this, and we will discuss this in the context of the eternal AdS black hole following Ref. [83]. We first deform the system by adding a relevant double trace deformation. So the change in the action (boundary CFT action) is given by,Footnote 10
where \({\mathcal {O}}_L\) and \({\mathcal {O}}_R\) are scalar operators with scaling dimension less than \(\frac{d}{2}\) and acting on the left and right boundary, respectively. For the case of the eternal BTZ black hole [134], \(d+1=3\) and x will be the azimuthal coordinate \(\phi .\) By AdS/CFT dictionary, these two operators will be dual to a scalar field \(\varphi \) with certain mass propagating inside the bulk spacetime. Also, we remember that time runs in the opposite direction in left and right wedges of this eternal geometry. The function h(t, x) is turned on only after a certain time, which is referred to as “turn-on” time. The integral over time makes sure that we do not get contribution from very high energy states. In the path-integral, this will have the contribution of the form \(\sim e^{i\,\delta S}.\) In the subsequent section, we will ignore this time integral following [84] then we will have the contribution to the path integral simply as \(\sim e^{i\,{{\tilde{g}}} {\mathcal {O}}_L(0)\, {\mathcal {O}}_R(0)},\) where \(\tilde{g}\) is an overall coupling constant. \({\mathcal {O}}_L(0)\) and \({\mathcal {O}}_R(0)\) are inserted at the two asymptotic boundaries at \(t=0.\)
One can further compute the stress-energy tensor of this scalar field \(\varphi \) in the bulk spacetime
where m is the mass of the scalar field. From this, one can compute the 1-loop expectation value of this stress tensor. Following [83], we get,
One uses point splitting method to compute this stress-tensor and one has to normalize it to get a finite result. \(G(x,x')\) is a two-point function of the scalar field. One such two-point function when there is no double trace deformation is shown in (12). But in the presence of this deformation it will get modified. A detailed calculation of it is given in [83]. Now as mentioned earlier to make the wormhole traversable we need to break the null energy condition. In this case, we have to violate the average null energy condition [83]. Let \(k^\mu \) be the tangent vector of the null geodesic passing through the wormhole and let \(\lambda \) be the affine parameter, then average null energy condition (ANEC) is,
In our Kruskal coordinate, \(\partial _{U}\) is the tangent vector to the infinite null geodesic along the horizon \(V=0\) and we can choose U as the affine parameter. So the violation of ANEC implies,
In a, Alice sends a signal at time \(-t,\) (shown by yellow dashes) then she measures a part of the Hawking radiation and exchanges information with Bob at time \(t=0\) (shown with gray line). This helps Bob send a negative energy shock (shown with solid black). Because of this, the signal reaches Bob at time t due to a Shapiro time advance. This is the essence of quantum teleportation [84, 141, 142]. In b, following [84], the same scenario is depicted in terms of operators, the message \(\varPhi _L(t_L)\) sent by Alice from the left boundary at time \(t_L\), experiences the negative energy shock generated due to the double trace coupling \({\mathcal {O}}_L {\mathcal {O}}_R\) at \(t=0\), and finally reaches to Bob \(\varPhi _R(t_R)\) at the right boundary at time \(t_R.\) This diagram is motivated from [83, 84]
Now this will back react to the geometry, and for a small spherically symmetric perturbation from the relevant component of the linearized Einstein equation, one can find that at \(V=0\) [83],
where \(r_h\) is the black hole horizon radius and \(\phi \) denotes the azimuthal angle. \(\delta g_{UU}\) is the linearized fluctuation of the metric. For the BTZ, \(d+1=3\) and \(r_h=r_+\) which follows from (9). Again following [83], we can argue that perturbations will reach a stationary state with respect to the Killing symmetry \(U \partial _U\) after the scrambling time as the deformation is small. Also, \(T_{UU}\) will be decaying faster than \(\frac{1}{U^2}\) and all other terms in the Eq. (18). Then we integrate (18) and drop all the total derivative terms as at the end points as they will vanish. Then we get,
This equation relates the integral of \(\langle T_{UU} \rangle \) to the integral of \(\delta g_{UU}.\) We also know that up to linear order in perturbation,
Note that, \(g^{0}_{UV},\) the original UV component of metric is negative on \(V=0\) slice. Now we can impose the ANEC condition. If ANEC violates, then from (18) the integral over \(\delta g_{UU}\) is also negative (note that the prefactor \(\frac{(d-1)}{4}\Big (\frac{(d-2)}{r_h^2}+\frac{d}{L^2}\Big )\) in (18) is positive for \(d \ge 2\).). Following [83], we can conclude that whenever ANEC violates, \(V(+\infty )\rightarrow 0,\) so that a light ray from the left boundary will reach the right boundary after a finite time. Furthermore, one can also calculate the deviation of this light ray from the horizon (\(\varDelta V\)) by computing the Shapiro time delay (in our case it is actually a time advanceFootnote 11!) and we can show that it is proportional to h(t, x) [83] as defined in (13). Again for more details interested readers are referred to [83].
Before we end the section, we give an intuitive picture of the exchange of classical information in the quantum teleportation protocol realized in the bulk dual through the classical coupling introduced to the system. We briefly sketch the argument provided in [84, 141, 142]. As shown in Fig. 4, Alice first sends her message into the left horizon while accelerating near the left boundary (in our context, this message can be a scalar field propagating towards the black hole horizon). At time t= 0, she measures a part of the Hawking radiation emitted from the black hole. Remember, the Hawking radiation is generated due to vacuum fluctuations. Suppose that Alice measures the positive Hawking radiation energy, which corresponds to the positively charged particle of the Hawking pair created near the horizon. She then sends the result of her measurement to Bob, who is accelerating near the right horizon. So a classical communication takes place. Based on the result of Alice’s measurement, Bob now has a sense of what the positive energy particle is, and then he can measure the Hawking radiation to identify the negative energy particle. This is possible since Alice and Bob share an entangled state (in our case, it corresponds to a thermofield double state). Then Bob can throw a negative energy pulse into the horizon from the right boundary as shown in the Fig. 4. This negative energy pulse causes the singularity to recede and help the signal from Alice to speed up. Specifically, signals (in our case, a scalar field propagating across the bulk) get delayed ( or advanced in this case) due to the negative energy shock. In general relativity, this well-known effect is known as the Shapiro time delay [144]. This delay (or the advancement) happens due to the double trace coupling \({\mathcal {O}}_L {\mathcal {O}}_R\) turned on for certain time interval results in the ANEC violation. So finally, the signal speeds up, and instead of hitting the singularity, it reaches Bob!
So far, in the present section, we have discussed the teleportation through a wormhole from the point of view of the bulk gravity. The coupling and the teleportation in the gravity have a straightforward representation in the boundary theory described by a TFD, wherein coupling the two Hamiltonians, information is teleported from one Hilbert space to another. In quantum simulators, which can realize very general states and engineer interesting evolutions, one can ask the question of the generality of such a gravity-inspired teleportation scheme. We review some recent developments in understanding the underlying mechanism of teleportation and their applicability in general many-body models in Sect. 4. In the next section, Sect. 3, we first set up some useful notations and summarize important results on quantum information scrambling, which makes the basis for the following sections.
3 Quantum information spreading
Consider a Heisenberg operator W evolving under a local Hamiltonian, H acting on a lattice, such that \(W(t)= e^{iHt}~W ~e^{-iHt}\). As a function of time, this operator can be written using the Baker–Campbell–Hausdorff formula as
Thus, as time grows, the operator W contains sums of many products of local operators. For example, if we consider a local Hamiltonian with interactions only on neighboring sites, the operator W will spread to farther and farther sites as the time evolves. This is referred to as quantum information spreading, and has been a central goal in various studies in recent years, involving the operator growth and the study of out-of-time ordered (OTOC) correlators (more details follow). Before continuing further towards operator growth and spreading, it will be useful to introduce some notations and diagrammatic representations which we use in several places. For the diagrammatic notations we follow Ref. [145].
3.1 Operator-state correspondence
An operator W, in a Hilbert space, can be expressed as
where \(| {i} \rangle \), \(| {j} \rangle \) denote the basis elements of the Hilbert space whose regularized dimension is d, and thus \(i, j =1, 2,\cdots , d\). The coefficients \(W_{ij}=\langle i| W |j \rangle \) denote the elements in the matrix representation of W in this basis. In Fig. 5a this operator is represented with an input leg i and an output leg j.
The operator-state correspondence relates an operator of the above form to a state in the doubled Hilbert space, \({\mathcal {H}}\otimes {\mathcal {H}}\), given as
The basis states with a star \(| {j^*} \rangle \) are the time reversed (or equivalently complex conjugated) states. These are related to \(| {j} \rangle \) with an anti-unitary operator \(| {j^*} \rangle =\varTheta | {j} \rangle \). The prefactor \(1/\sqrt{\mathrm{Tr}(W^\dagger W)}\) is the normalization constant. The above map from an operator in a single Hilbert space to a state in a doubled Hilbert space is also known as the ‘purification’, since the state \(| {W} \rangle \) is a pure state, i.e. \(\mathrm {Tr}((| {W} \rangle \rangle {W} |)^2)=1\). We denote this state by a bent input line, as shown in Fig. 5b.
Operator-state correspondence in diagrammatic form. a An operator W is represented by an ingoing and an outgoing index. b In the state representation both the ingoing and outgoing index are treated similarly and each of them denote a basis state in the two copies of the Hilbert space. c The state \(| {W} \rangle \) is related to the EPR, by the relation Eq. (23), The dashed box denotes the EPR state (24). d The TFD denotes finite temperature generalization of EPR, where the density matrix \(\rho \) is the density matrix in either the left or the right Hilbert space, \(\rho =e^{-\beta H}/\mathrm {Tr}(e^{-\beta H})\)
An example of a pure state in the doubled Hilbert state is the EPR state. In its most simple form it can be understood as the product of N Bell pairs, \(| {\mathrm {EPR}} \rangle =(| {\varPhi ^+} \rangle )^{\otimes N}\), where \(| {\varPhi ^+} \rangle =(| {00} \rangle +| {11} \rangle )/\sqrt{2}\) is a maximally entangled state between a pair consisting of one qubit from each Hilbert space, here (0, 1) are the computational basis or the qubit basis. This definition can be rewritten using the basis elements of each Hilbert space as
Comparing with Eq. (23), we note that the EPR state is a purification of the identity operator bm1, which is also the density matrix for a state at infinite temperature \(\rho _{\infty }={\mathbbm {1}}/d\). Therefore, the EPR state denotes an infinite-temperature state. In what follows we denote the EPR state with a notation shown in the dashed box in Fig. 5c. Using this definition, we can further write the state \(| {W} \rangle \) in Eq. (23) as
The EPR state has a special property, often termed as operator shifting, i.e., an operator acting on the left is the same as the operator transpose acting on the right,
where the subscripts L and R denote the two copies, as in the case of the asymptotic region of holography. These subscripts label the side an operator O acts on. This identity is a direct consequence of the definition Eq. (22), which implies \(W^T=\sum _{i,j}W_{ij}|j^*\rangle \langle i^*|\), combined with the definition of EPR. We can now revisit the finite temperature generalization of the EPR, i.e., the thermofield double states (TFD).
Thermofield Double States (TFD) In the context of CFTs, we listed the TFD state, in the previous section, as the holographic dual to an eternal black hole. On the doubled Hilbert space \({\mathcal {H}}_L\otimes {\mathcal {H}}_R\), with finite dimensional Hilbert spaces, the TFD state at temperature \(T \equiv 1/(k_B\beta )\) is an entangled state on 2N qubits, defined as
where \(Z=\mathrm {Tr}[\mathrm {exp}(-\beta H)]\). The sum in the TFD runs over the eigenstates \(| {E} \rangle \) of H, labeled by i, with respective eigenvalues E, i.e., \(H| {E} \rangle =E | {E} \rangle \). The time reversed state \({E^*_i}\) satisfy, \({H^*}| {E^*} \rangle = E| {E^*} \rangle \). There have been many interesting works using the TFD state, in particular, in black holes [146], quantum field theory [147], and more recently in connections with holography [77, 84, 148] and others. Some of the main properties that make it a valuable subject are:
-
It is a pure state. Constructing a density matrix \(\rho _{\mathrm {TFD}}=| {\mathrm {TFD}} \rangle \rangle {\mathrm {TFD}} |\), one notes that \(\mathrm {Tr}(\rho _{\mathrm {TFD}}^2)=1\).
-
By tracing one part of the system, we obtain,
\(\mathrm {Tr}_R(| {\mathrm {TFD}} \rangle \rangle {\mathrm{TFD}} |)=\rho _{L}\) where \(\rho _L\) is a the thermal density matrix on the left system with Hamiltonian \(H_L\), \(\rho _L=\mathrm {exp}(-\beta H_L)/Z\).
-
Since the state is defined on a product Hilbert space, expectation values of operators on one Hilbert space stay as thermal expectation values in that system. For example, for an operator in the left system, \(\langle \mathrm {TFD} |O_L| \mathrm {TFD}\rangle =\mathrm {Tr}(\rho _L O_L)\), as already mentioned in the previous section Eq. (11).
In Fig. 5d, the TFD is written in terms of the EPR state such that,
Similar to the relation (26), for the TFD state we find,
These relations will be useful in next sections where we discuss the measures of the information scrambling and the many-body teleportation circuit. For this purpose, in the next subsection we return to quantifying information scrambling using the out-of-time-ordered correlators.
3.2 Out of time ordered correlators
To quantify the spread of information in a quantum system we can ask the question in terms of commutators representing the information and a probe. The effects of an initial perturbation, say W, on a later measurement of another operator V can be understood by computing the commutator [W(0), V(t)]. Even if the operators W and V at \(t=0\) commute, after the time-evolution following (21) the operators need not commute. As an observable, it is meaningful to consider
where the angle brackets denote expectation value in a state \(\rho \), \(\langle C(t)\rangle = \mathrm {Tr}(\rho C(t))\). Thus, C(t) for initially commuting operators grows in magnitude with time. When expanded, C(t) contains time-ordered and out-of-time-ordered correlators (OTOCs). One of the four terms in the expansion consists of the composite operator
The expectation value of this operator in some state, \(\langle O(t)\rangle \), denotes a correlation function between two operators W and V, where the times appear out of order.
Lately in connection with quantum chaos, OTOC has acquired a lot of interest in condensed matter systems, black holes, SYK, many-body quantum systems [65, 67, 101, 120, 145, 149,150,151,152,153] to cite a few. Some intuition for this connection is often given as follows. In a classical system characterized by position (x) and momentum (p), the change in the position due to changes in initial conditions can be denoted by \(\delta x(t)/\delta x(0)\). The classically chaotic systems are known to display butterfly effect, wherein \(\delta x(t)/\delta x(0) \sim \mathrm {exp}(\lambda t)\), i.e., nearby trajectories differ exponentially at a later time– the exponent \(\lambda \) is known as the Lyapunov exponent. Quantum mechanically, such deterministic information about the coordinates of a system or particle is not possible and therefore effects of initial perturbations are studied through the real observable C(t). A quantum butterfly effect is often stated as the scenario when the C(t) becomes as large as 2\(\langle W^\dagger W \rangle \langle V V^\dagger \rangle \) at late times [67, 149], which implies that at these times, the OTOC decay to zero. This time is known as the scrambling time \(t_{\mathrm {scr}}\), which is when the initial local information is spread to all the degrees of freedom.
Writing analytically an expression for OTOC depends on the underlying evolution operator U and may not always be possible. However for systems evolving under Haar random unitaries,Footnote 12 it can be shown that after long time \(t>t_{\mathrm {scr}}\), and for large systems, the OTOC between general operators takes the following form,
This result has been obtained and used in Ref. [73] to derive important bounds on the success fidelities in the teleportation protocol, which we will quote in this review.
3.2.1 Thermal OTOC
We represent the operator O(t) in Eq. (31) in the state representation, following Eq. (23), as
up to a normalization constant. Projecting this into the EPR state will give us the OTOC in the infinite temperature state,
![](http://media.springernature.com/lw289/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ34_HTML.png)
An operator acting on one side of the EPR can be shifted to another following Eq. (26), using this property we can rewrite,
![](http://media.springernature.com/lw348/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ35_HTML.png)
Of particular interest is the spread of information in a thermal background. Therefore, we proceed to generalize the above definition to include finite temperatures by considering TFD instead of the EPR, which leads to
![](http://media.springernature.com/lw315/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ36_HTML.png)
where \(Z=\mathrm {Tr}(\mathrm {exp}(-\beta H))\) is the thermal partition function, and we have used Eq. (29) in the last line. As should be noted, the OTOC here also depends on the parameter \(\beta \) besides time, where \(\beta \) is the inverse temperature of one half of the TFD state (27).
We remark that, the above definition of the thermal OTOC is one of the different regularizationsFootnote 13 often considered to introduce finite temperatures [154]. In particular, in the seminal work proposing bound on the growth of C(t) [67] the finite temperature OTOC is of the form of \(W^\dagger \rho ^{1/4} V^\dagger (t)\rho ^{1/4}W \rho ^{1/4}V(t)\rho ^{1/4}\). However, we work with the form (36) of the thermal OTOC for two reasons. Firstly because of its accessibility in the experiments [93, 116], where one only needs to perform local measurements of operator \(V^\dagger \) and \(V^T\) on a prepared state in the two copies, for detailed measurement protocol see Sect. 7. And secondly because, as we will see in Sect. 4, we note that an averaged form of this thermal OTOC is related to the operator size which is central in the teleportation mechanism in many-body systems.
3.2.2 Illustration in many-body dynamics
To gain intuition about the properties of the OTOC and its dependence on the temperature, let us take an example. We consider the transverse field Ising Hamiltonian in presence of longitudinal fields, on a lattice of N spin-1/2s,
where \(\sigma ^a, ~a\in (x, y,z)\) is the Pauli operator. The coefficient J denotes the interaction strength between neighboring spins, and b, h are transverse and longitudinal field strengths respectively. For concreteness, we choose \(b=J\) and \(h=J/2\).
Thermal OTOC in a many-body model given by Eq. (37) for a system of size \(N=10\) qubits. a The W and V are chosen to be Pauli operators at adjacent sites. b The decay of the normalized OTOC \({\tilde{O}}_{\mathrm {th}}(t)=O_{\mathrm {th}}(t)/O_{\mathrm {th}}(0)\), is shown for different temperatures T. c The temperature dependence can be studied by inferring the slope when \({\tilde{O}}_{\mathrm {th}}(t)=0.5\). We see that the rate of decay increases with temperature, settling at a constant for large temperatures
In Fig. 6 we plot the numerically calculated OTOC in this model. As shown in Fig. 6a we chose the operators V and W as the Pauli operators \(\sigma ^x\) on adjacent qubits. The initial time dependence of the OTOC depends on the spatial positioning of the operators, here we have chosen the operators in the middle of the 1D lattice chain separated by unit lattice distance, as seen in panel (a). For generic operators we can chose to normalize such that \({\tilde{O}}_{\mathrm {th}}(t=0)=1\). We plot \({\tilde{O}}_{\mathrm {th}}(t)=O_{\mathrm {th}}(t)/O_{\mathrm {th}}(t=0)\) in Fig. 6b, and note that it decays from an initial value 1. Upon subsequent time-evolution the correlations between W and V decay finally reaching late time thermal expectation value. The late-time (\(Jt/\hbar \sim 4\)) behavior for the OTOCs in Fig. 6b are also affected by finite size effects.
We have also presented the behavior at different temperatures. It is best seen by plotting the slope of the OTOC when it becomes half of its initial value, i.e., the slope when \({\tilde{O}}_{\mathrm {th}}(t)=0.5\). The numerically computed slope, \((d{\tilde{O}}_{\mathrm {th}}(t)/dt)\big |_{{\tilde{O}}_{\mathrm {th}}= 0.5}\), is presented as a function of temperature in Fig. 6c.
The decay of the OTOC as discussed above with an example of a local Hamiltonian with \(N=10\) sites, is a generic feature of OTOC, expected to hold in all systems which scramble information. In Sect. 5, we discuss in detail the experimental platforms, which can realize the Hamiltonian (37) as well as measure the OTOC, protocols discussed in Sect. 7.
Information recovery from a black hole. a In Page’s calculations, an initial black hole B is evaporating radiation R with time. The growing size of the radiation should be compared to the forward time, here denoted with up arrow. Assuming the Haar random dynamics to model black hole, Page showed that to learn about the black hole from the radiation one has to wait for the black hole to evaporate half of its entropy, and this time is of the order \(\sim M^3\), here M is black hole mass. b Hayden–Preskill protocol begins with a maximally entangled pair between BB’ (black hole B and old radiation B’). The initial input from Alice A is maximally entangled with a system N. Bob collects radiation R and the conditions on the recovery of Alice’s input information are analyzed. c In a further protocol, a quantum circuit for any quantum unitary, Yoshida-Kitaev protocol has similar settings as the Hayden–Preskill, but the information recovery procedure is made more concrete. Two possible ways to recover information are discussed (i) a probabilistic protocol (denoted by PD with green oval here) and (ii) a deterministic protocol. See text for details
Quantum information scrambling has been central in the studies of the quantum nature of black holes. In this direction, we next briefly recapitulate the Hayden–Preskill recovery protocol [72] for information sent into the black holes and its generalization [73] to general quantum channels.
3.3 Hayden–Preskill recovery protocol
According to the original calculation using Schwarzschild black hole, the Hawking radiation contains information only about the macroscopic details, like the mass (equivalently temperature) of the black hole. Since then the questions about the information content of the black hole interior have been explored in many directions [71], in particular revolving around the question of how can the thermal radiation reveal any information about the formation of a black hole? While this can be a difficult problem, the black hole thermodynamics suggests that, on average, black holes show similar thermodynamic properties as generally expected in unitary quantum mechanics. For example, they have a finite entropy S, proportional to the horizon area, using which a Hilbert space with dimension \(d=\mathrm {exp}(S)\) is associated with the black holes. Page considered black holes as quantum objects whose dynamics in the long time limit can be mimicked by Haar random unitaries [155, 156].
Let us denote the initial state of the black hole by a random pure state \(| {\varPsi } \rangle \), and consider it evaporating with time. In Fig. 7a such a set up is schematically drawn, where U denotes Haar random unitary describing black hole internal dynamics. At initial time we have a pure black hole which with time evaporates into radiation R, here the upward direction denotes time, which should be thought of as the growing size of the radiation subspace. Associating dimensions \(d_R, d_C\) to the Hilbert spaces of emitted radiation (R) and remaining black hole C, it holds that, \(d_R d_C=d\). The density matrix describing the radiation should be
For a small amount of radiation, \(d_R\ll d_C\), Page showed that \(\rho _{\text {rad}}=\mathbbm {1}/d_R\). Thus, the radiation remains maximally mixed and one can not access information of the black hole just by looking at the radiation itself. However as the black hole evaporates half of its entropy away, and a point of \(d_R=d_C\) is reached, the radiation is maximally entangled with the remaining black hole. After this point we have \(d_R>d_C\) and the correlations between remaining black hole and the radiation are sufficient to learn about the information from the black hole. However, in Page’s setting, to reach this half way point, one has to wait a time which scales as the cube of the black hole mass (\(\sim M^3\)), which is impractical for all purposes.
The problem that Hayden and Preskill discussed [72] in the context of the information in a black hole is as follows. They consider an old black hole which has evaporated at least up to half of its entropy. Bob has been collecting all this radiation and Hayden–Preskill protocol begins with considering maximal entanglement between black hole B and B’ which is the radiation collected by Bob, see schematics in Fig. 7b. Furthermore, Bob has access to all the future radiation. Alice (A) wants to hide her quantum information (\(\psi \)) by throwing it into the black hole.
The information recovery problem can be further simplified by considering the black hole as a quantum object of N qubits, such that \(d=2^N\), and the dynamics given by a unitary U(d) from the circular unitary ensemble of dimension d, which makes a unitary group over Haar measure. We think of Alice’s state to be composed of k qubits, then questions that Hayden–Preskill answered are (i) How many qubits does Bob need to collect to recover Alice’s state and (ii) how long does he need to do so?
The analysis of the problem further reduces if one considers Alice to be in maximal entanglement with N. The information content of Alice’s diary will be entirely in the radiation R and information theoretically it will be possible for Bob to learn about \(\psi \) only when the black hole evaporates to a point after which there is no entanglement between N and the remaining black hole C. This translate to the case when the combined density matrix of the NC system separates out as
where we find the density matrix in a system by partial tracing every other system, as also done in (38). Without going into more details, we summarize the answers to the above questions here, as they will be directly related to the theme of this review.
(i) How many qubits does Bob need? To answer this we need to find whether and when Eq. (39) holds. Ref. [72] used the notion of \(L_1\) norm \(||\cdots ||\) of states, which is to say that any states closer in the \(L_1\) norm are indistinguishable in measurements. Assuming Haar random evolution of black holes, they showed that,
where dU is the Haar measure and s is the number of qubits collected by Bob. Clearly, when \(s>k\), the condition (39) holds up to some tolerance. So Bob needs to only collect a little more than the qubits thrown in by Alice.
(ii) How long does it take? The time needed was shown to be \(t_{\mathrm{scr}}\) plus the time needed to radiate s qubits.
Even though these are answers to some basic questions, how the information recovery, called also the decoding, is manifested was presented in a variation of the HP protocol applicable to generic quantum channels by Yoshida and Kitaev [73], shown in Fig. 7c. The information recovery protocol assumes that the dynamics is sufficiently mixing, i.e., any initial local information spreads to all degrees of freedom, referred to as maximally mixing.
Drawn in Fig. 7c, The Yoshida–Kitaev protocol begins with the black hole unitary U and Bob’s unitary \(U^*\). Alice’s input is at A, and the black hole B is in maximally mixed state with B’ which is a subsystem of the system Bob possesses. There is a reference system N maximally mixed with A and another maximally mixed pair of A’ and N’ with Bob. The protocol has two ways of decoding the information, both the algorithms work as long as the dimension of the D subsystem is \(d_D \ge d_A^2\). In the derivation of this bound an averaged definition of the OTOC of the form (32) is used, we refer the readers to the interesting and detailed calculations in Ref. [73].
Probabilistic decoding In the probabilistic decoding, after the input of initial information both the systems ABCD and A’B’C’D’ are forward evolved with U and \(U^*\) respectively. After which the probabilistic decoding is performed (labeled with green oval with PD in the Fig. 7c). This involves projecting the combined system DD’ onto EPR pair, while leaving the C’ and N’ as they are. Recall that only D, D’, C’, N’ are in Bob’s possession, so all decoding operations can only be performed in these subsystems. The EPR projector is taken to be
![](http://media.springernature.com/lw349/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ41_HTML.png)
We have used in the above definition in the subscript of P the bracket [..] to denote the pair which is projected on EPR and (..) for the subsystems where no operations are performed. The projection to EPR pair succeeds with the probability given in terms of an averaged OTOC and is \( \ge 1/d_A^2\). From this, it can be shown that if DD’ is projected to EPR with a probability of 1, then the N and N’ should make an EPR pair. And thus from N’ Bob can read the initial input state.
Deterministic decoding Success probability in the probabilistic decoder goes down as \(1/d_A^2\) as the size of the subsystem A increases. The success probability can be boosted with a Grover variant. The idea is similar to that of the Grover’s algorithm – the probability of measuring a target solution can be improved by repeated applications of the Grover oracle and Grover diffusion. Instead of doing EPR projective measurements after initial evolutions with U and \(U^*\), we instate the Grover’s iterations, see Fig. 7c. One iteration involves evolving DD’ with \(G_D\) (defined below), followed by evolving D’C’ with \(U^T\), A’N’ with \(G_A\) and A’B’ with \(U^*\), where,
The first operation \(G_D\) is the Grover’s oracle and the second operation \(U^TG_AU^*\) is the Grover’s diffusion operator [157]. With this decoder, the probability for successfully decoding the initial input after m Grover steps is \(\sin ^2\left( (m+1/2)\theta \right) \), where \(\theta = 2 \arcsin ( 1/d_A )\). The probability approaches 1 when \(m \sim \pi d_A/4\) for \(d_A \gg 1\).Footnote 14
Both the probabilistic and deterministic protocols have been demonstrated in an experiment based on trapped ions, we present the setup in Sect. 5 and results in Sect. 7. In the next section we discuss the recent developments connecting many-body quantum teleportation to wormhole teleportation [74,75,76, 158]. For late times and a single-qubit input bit, we find that the Yoshida–Kitaev circuit is the same as the single-qubit teleportation circuit.
4 Wormhole teleportation and many-body quantum teleportation
Motivated from the gravity calculations in the Sect. 2.2 describing the negative energy shock wave in eternal black hole, Fig. 4, we can devise a quantum circuit, designed for a many-body system on a lattice shown in Fig. 8. We provide description of this protocol in the next subsection. Here, we present the mechanism behind the teleportation in terms of the growth of the initially inserted operator and identify the criteria for a successful many-body teleportation using this wormhole teleportation inspired circuit. In subsequent Sect. 4.2 we illustrate teleportation of a single-qubit. We then provide a summary of results from the existing literature in Sect. 4.3. We end this Sect. 4.4 by discussing a different origin of the teleportation, known as the size-winding.
4.1 Description of the protocol
As first steps, we make a one-to-one map of the wormhole teleportation as in Sect. 2.2 to obtain a circuit for many-body dynamics, as considered in [74, 75]. The circuit consists of the following steps. The description is easier to follow when we divide the left and right systems into message and carrier subsystems labeled by the subscripts M and C respectively. For an N qubit system, the message to be teleported is inserted in the message subsystem \(L_M\), which is composed of m qubits on the left and received at the message subsystem \(R_M\) at the right, also of the same size m. Thus, the carrier subsystem contains \(K=N-m\) qubits.
Many-body generalization of the teleportation through wormhole: Both the left and right systems are divided into message (labeled by a subscript M) and carrier (labeled by subscript C) subsystems. Inspired from the gravity description, the left of an initially prepared TFD at \(t=0\) is evolved backward with \(U^\dagger \) to reach \(-t\). At \(-t\) an information, shown with a state \(|\psi \rangle \), is inserted. Then after forward evolution of left, a momentary coupling is introduced between the carrier subsystems on two sides. The right side is forward evolved with \(U^T\), after which the teleported state can be read (see main text). The left and right circuits are exactly the same for evolution unitary described by the underlying one sided Hamiltonian \(U=\exp (-iHt)\), on accounts of the identity (29)
The circuit begins with a TFD state in the product Hilbert state \({\mathcal {H}}_L\otimes {\mathcal {H}}_R\) at time \(t=0\). This corresponds to a non-traversable eternal black hole (as discussed in Sect. 2). We consider scrambling and thermalizing unitary dynamics in the two sides of the TFD where the forward time evolution in the left is governed by \(U_L=U=\mathrm {exp}(-iH t)\) and that on the right is by \(U_R=U^T=\exp (-iH^Tt)\). The left side of the TFD is evolved with the adjoint unitary \(U^\dagger \) to reach a time \(-t\), at which point a message, to be teleported, is inserted as a state \(| {\psi } \rangle \). This can be done by performing a swap between \(| {\psi } \rangle \) and the state of the message subsystem. Next, this left system is forward evolved with U, which results in the scrambling of the input information, to reach time \(t=0\). At this state, a momentary coupling \(\mathrm {exp}(i g V)\) is applied between the left carrier \((L_C)\) and the right carrier (\(R_C\)) subsystems. This is similar to the Gao–Jafferis–Wall coupling introduced for wormhole teleportation in Eq. (13) but now adapted for a lattice model [74]. The right system is then forward evolved, after which if the teleportation is successful, the initial state should be teleported [74, 75]. The coupling at \(t=0\) is,
where g denotes the coupling strength, and \(K=N-m\) is the number of qubits in the carrier subsystems. The above operation can be seen either as quantum gates between the two sides or simply as communicating the results \(o_{j,L}\) of the measurement of an operator \(O_{j,L}\) on the left, followed by doing a conditioned operation on the right carrier by [84],
similar to the wormhole discussion in Fig. 4. It should be noted that the above teleportation is different than the conventional quantum teleportation, where the measurement of the initial quantum information is classically sent to a decoder. In the above teleportation, the information is first scrambled and then the results of the classical measurements are used to perform quantum operations on the right carrier subsystem.
In recent works, the above circuit, though inspired from wormholes, is found to be teleporting initial information not only for the gravity models but also for models far from it; high temperature SYK [158], spin models and random unitary channels [75, 76]. So there seems to be a unified underlying mechanism assisting the teleportation. As we explain below, this mechanism is based on the growth of the operators under scrambling dynamics, see for the generic notion of operator growth the Ref. [159].
4.1.1 Mechanism of teleportation: operator size
Let us use the Pauli basis to expand operators. The Pauli basis for N qubits is formed by taking tensor product of N single-qubit Pauli operators, \({\mathcal {P}}= (\{\mathbbm {1}, \sigma ^x, \sigma ^y, \sigma ^z\}^{\otimes N})\). The circuit shows a state \(| {\psi } \rangle \) insertion at the time \(-t\), by removing the qubits in the message subsystem \(L_M\). This should be viewed as an operator \(Q_L\) acting on the qubits in \(L_M\) such that
where \(|\phi \rangle \) denotes the state of the subsystem \(L_M\) at \(-t\). The coupling in the teleportation circuit acts on a state, \(Q_L(-t)\rho ^{1/2}\), at time \(t=0\). Since an operator applied at \(-t\) can be related to a state insertion in the above fashion, from here on we have used the words operator and state synonymously to talk about the inserted message. We have also dropped the minus sign in front of the time, for brevity. However, we keep in mind that an operator with a subscript L is inserted at \(-t\), and use it explicitly whenever it is not obvious. We begin by expanding this operator in Pauli basis,
where the coefficients \(c_P\) are such that \(\sum _P |c_P|^2=1\). For a Pauli string P, the size |P| of the string is defined as the number of non-identity operators in the string. As is evident from the basis set \({\mathcal {P}}\), many Pauli strings can share the same size, and they will enter in the operator in Eq. (46), with some coefficient \(c_P\). Thus, there will be distribution of sizes, which is defined for a size l as,
Summing over all possible sizes the distribution follows \(\sum _l q(l)=1\), which is simply the sum of the probabilities to find the operator in Eq. (46) in one of the P strings.
At this point, we take a slight detour to learn a trick used to obtain the size of the Pauli string. We discuss it here for bosonic operators and closely follow Ref. [76]. The size of an operator can be found by considering EPR projectors in the doubled Hilbert space. To see this, first let us consider an EPR projector for a single-qubit in the doubled Hilbert space of N qubits,
where \(P_i \in \{\mathbbm {1}, \sigma ^x, \sigma ^y, \sigma ^z\}\). Next, we note that the expectation value of a Pauli string P in a single-qubit EPR state \(_i \langle \mathrm {EPR}| P| \mathrm {EPR}\rangle _i\) gives the trace of the Pauli \(P_i\) at this qubit i.e. \(_i \langle \mathrm {EPR}| P| \mathrm {EPR}\rangle _i\)= \(\mathrm {tr}(P_i)/2\), which is \(=\delta _{P_i, \mathbbm {1}}\). Thus, the above projector acts on \(P| {\mathrm {EPR}} \rangle \) as,
Thus, the eigenvalue of the single-qubit EPR projector at \(i\mathrm{th}\) qubit index is non-zero only when there is an identity at the \(i{\mathrm{th}}\) site in the string P. This property can be utilized to count the number of identities or vice-versa to count the size of the string by considering a sum of all such single-qubit EPR projectors, i.e., we can define a counting operator,
which follows [directly from Eq. (49)],
by counting the identities in the Pauli string, and in return giving the size |P| of the string P. For the states of the form of (46), which are linear in P, we note that,
which immediately leads to,
Thereby the expectation value of \({\widetilde{V}}\) in the state, just before the coupling is inserted in Fig. 8, gives an average of the operator size.
We return to our discussion regarding the effect of the coupling G in (43). From the form of the operator \({\widetilde{V}}\), by now, it should be clear where we are headed to with this discussion. The coupling (43), central in the teleportation protocol, is of the same form as the operator \({\widetilde{V}}\) and thus measures the average size of the operators that have acted before \(t=0\). The effects of this coupling can be further simplified.
First, note that the counting operator in Eq. (50) is generic. For a non-trivial coupling we should remove the trivial identity operation. That would result in considering, in single-qubit EPR projector, in Eq. (48), a sum over \(P_i\) restricted with \(P_i\ne \mathbbm {1}\). Such that,
thus, the eigenvalue of \({\widetilde{V}}_{P_i\ne \mathbbm {1}}\) on the state \((P|\mathrm {EPR}\rangle )\) is \([(N-4|P|/3)/N]\). Next, note that we have assumed the dynamics to be scrambling and thermalizing, in this case, after we have inserted \(Q_L\) and let the system scramble for time t, it is sufficient to just consider 1 out of the 3 non-trivial \(P_i\). This assumption is justified if we have taken \(t\ge t_{\mathrm {scr}}\), since then the initial information has spread equally to all sites, and all 3 non-trivial Pauli operators will probe the operator size similarly. Thus the coupling V at \(t=0\), without loss of generality, becomes much simpler, written as [74],
The coupling contains the operator V between K carrier qubits only. We focus, in this work, on \(m\ll N\), strictly \(m=1\). In this case the average size distribution \(\sum _P |c_P|^2 |P|/N\) in (53) which uses all N qubits can be regarded as the same as the average size distribution \(\sum _{P_c} |c_{P_c}|^2|P_c|/K\) for \(K=N-m\) qubits, where \(P_c\) is the Pauli string only on the \(N-m\) carrier qubits.
Continuing the same calculation as presented above for a generic \({{\widetilde{V}}}\), we find the expectation value of V in the state prepared before \(t=0\) to be,
where \(|\varrho (\epsilon _-)| =\sum _{P_c}|c_{P_c}|^2|P_c|/K\approx \sum _{P}|c_{P}|^2|P|/N\) is the average size over K qubits for the state that existed just before \(t=0\) (hence the use of \(\epsilon _-\)), i.e, \(\varrho ({\epsilon _-})=Q_L(t)\rho ^{1/2}\).
We can now ask what are the effects of the coupling \(G=\mathrm {exp}(i g V)\)? In the large number of carrier qubits K we use the property of factorization such that, any expectation value of the form, \(\langle B | G|B\rangle \approx \exp (ig \langle B|V|B\rangle )\). Thus the coupling G acts on the state prepared at \(t=0\) as,
To conclude, we see from Eqs. (56) and (57) that the effect of the non-trivial coupling is to apply an operator size dependent phase to the state \(Q_L(t)| {\mathrm {TFD}} \rangle \).
4.1.2 Criterion for a successful teleportation
We now ask the question of when is the teleportation successful according to the circuit Fig. 8. As presented in the circuit, having implemented the coupling G at \(t=0\), we need to evolve the right circuit with \(U^T\) for a time t. After this, as shown below and also presented in Ref. [74], we get the operator \(Q^T\) at the right message subsystem. We can do a further decoding operation D to obtain the Q. We explain it shortly. First, we redraw the circuit in Fig. 8 with this decoding operation as,
![](http://media.springernature.com/lw151/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ58_HTML.png)
It can be noted that (explained below) for the teleportation to be successful, the following must hold [76],
![](http://media.springernature.com/lw346/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ59_HTML.png)
where, the phase \(\phi =g\langle V\rangle _Q\) depends on the operator Q and measures its average size. In the large K limit, this overall phase is justified from Eq. (57). Away from the large K limit, for multi-qubit teleportation, this overall phase is possible only when the effect of the coupling \(\exp (igV)\) on \(P| {\mathrm {TFD}} \rangle \) is same for all Ps, such that \(\exp (igV)(P| {\mathrm {TFD}} \rangle )\sim \exp {(i\phi )}(P| {\mathrm {TFD}} \rangle )\). Since, the G acts on \(Q_L(t)| {\mathrm {TFD}} \rangle \), the \(\phi \) measures the size of \(Q_L(t)\). Thus, the overall phase as in (59) is possible, when the size distributions (47) are tightly peaked around the average size distribution \(\sum _P |c_P|^2|P|/N\) of the operator, dubbed as peaked-size teleportation. A situation that occurs in a wide range of many-body dynamics (see below Sect. 4.3).
Assuming peak-size teleportation, we analyze the right side of the above Eq. (59). To begin, for the moment, let us set \(D=\mathbbm {1}\), then in the right side we get an operator \(Q_R(t)=U^* Q_R U^T=(U^T)^\dagger Q_R U^T\). Note that when the left side evolves with U, the right evolves with \(U^T\) in Fig. 8. Thus the above is a transfer of an operator on the left Q at time \(-t\) to the transpose of the operator on the right, i.e, \(Q^T\) at time t. This is exactly the teleportation protocol circuit presented in Refs. [74, 75], and they obtained \(O^T\) in the right side when O was inserted on the left, as would be the case with the circuits in Fig. 8.
Now, the role of the decoder becomes clear. In order to obtain the operator O teleported to the right, we need a decoding operation D such that \(D^\dagger O^T D \propto O\). The success of the teleportation protocol for generic U, as in many-body dynamics, then boils down to finding out when does the above identity (59) hold? We begin by taking the inner product of the left and right side operators in (59) as,
where, \(\widetilde{Q_R}(t)= U^*D^\dagger Q_R D U^T\), as shown in the right side of (59). So, following Eq. (59), the first condition for the successful teleportation is that [76],
(i) the magnitude of \(C_Q\) is maximal for any operator Q. To ensure that the teleportation succeeds for arbitrary initial state, or equivalently arbitrary sum of operators Q. And the second condition is that,
(ii) the coupling applies the same phase \(e^{i\phi }\) to all input states. Such will be the case when the size distributions for all sizes are tightly peaked around the average size of the operator.
We summarize in Sect. 4.3, that these two conditions are generically satisfied in many-body models, however, the holographic models follow the wormhole teleportation mechanism. In the next subsection we provide an illustration of this form of teleportation in a many-body model described by Hamiltonian (37).
4.2 Illustration in many-body dynamics
For illustration of the teleportation protocol in many-body system, we consider the Hamiltonian (37) and numerically run the left circuit in Fig. 8 in a spin-1/2 system with \(N=7\) qubits. We present the results for single-qubit teleportation in infinite temperature TFD, i.e., EPR state. Preparing an EPR at \(t=0\), we do backward time evolution up to \(-t\) and then swap the first qubit with a state which has the expectation value \(\langle \sigma ^z_1\rangle =1\). This can be done by inserting an up state \(|0\rangle \), denoted in the computation basis of \(\{0,1\}\) by \(|0\rangle =(1,0)^T\). Then we evolve forward, perform the coupling, and evolve the right with \(U^T\).
Illustration of teleportation protocol in Hamiltonian 37: a For an input state at qubit 1 on the left, such that \(\langle \sigma ^z_1\rangle =1\), following Fig. 8 for \(g=\pi \) the expectation value on the right at qubit 1 is presented. b For a time \(Jt=4\), we present \(\langle \sigma ^z_i\rangle _R\) measured at the right on each qubit. The teleportation succeeds at qubit 1, shown in black color, while at all other qubits, \(\langle \sigma _{i\ne 1}\rangle _R\approx 0\)
In Fig. 9a on the right we observe the expectation value \(\langle \sigma ^z_1\rangle _R\) at qubit 1 for the coupling strength \(g=\pi \). With time, the magnitude of \(\langle \sigma ^z_1\rangle _R\) increases and saturates once the information has reached to all qubits, i.e., at the scale of \(t_{\mathrm {scr}}\), this corresponds to \(|t_L|=t_R\ge t_{\mathrm {scr}}\). In Fig. 9b, we fix the evolution time at \(Jt=4\), and observe the expectation \(\langle \sigma ^z_i\rangle _R\) on all qubits. We note that the teleportation is successful (black curve) only at the message qubit, labeled 1, while at all other qubits, \(\langle \sigma ^z_{i\ne 1} \rangle _R \approx 0\). The teleported signal has a maximum magnitude for some values of g, and there is an infidelity in teleportation. For more details on the dependence on g and fidelities for spin model we refer to Ref. [75].
4.3 Summary and remarks
We derived above the requirements for a successful teleportation. It has been shown by analytical calculations in high temperature SYK [158], spin models [75], random unitary circuits [76] and using several numerical models that the criterion of success holds for a large class of models and parameters. Such is summarized in Fig. 10 taken from [76]. In this subsection we summarize their results while also adding some remarks.
Summary of the teleportation for different unitary dynamics. These plots are taken from Ref. [76] with authors’ consent. a The fidelity of teleportation decreases with temperature. The channel capacity: the number of teleported qubits, decreases at long times. b The fidelity features distinct behavior for holographic and other scramblers for \(t<t^*\). For low temperature SYK, which is a model of black holes, the fidelity has a peak at \(t=t_{\mathrm {scr}}\) while zero otherwise. Whereas for other scramblers it has a ripple like behavior. After \(t>t^*\) we see a revival of fidelity for SYK saturating at \(\propto G_\beta \). Thus, after \(t^*\) all scramblers have fidelity \(G_\beta \) and follow peak-size mechanism for teleportation
\(\bullet \) Holographic and peak-sized teleportation: Peak-size teleportation means that the coupling applies the same phase (operator size dependent) to all Pauli strings making up the operator on the left. Therefore, the two sided correlator (60) is \(C_Q =G_\beta e^{i\phi }\) where \(\phi =g\langle V\rangle _Q\sim \sum _{P}|c_P|^2|P|/N\) (see Eq. (56)) measures approximately the average size of the operator \(Q_L(-t)\sqrt{\rho }\) and,
is the two-point function between the right and left operators. Using the property of TFD state, in the second line, we have rewritten it as the thermal two-point function on one side of the TFD with notation \(\rho =\rho _L\). The thermal function decreases as the temperature decreases, thus the two-point function
with the limit saturating for \(\beta =0\). Since \(C_Q\) measures the overlap of the right at \(t>0\) and the left at \(t<0\), the two-point function \(G_\beta \) governs the fidelity of the teleportation, and the fidelity decreases with decreasing temperature in the peaked-size teleportation mechanism (presented in red-pink in the summary Fig. 10a). It has been discussed that when the size distribution has a width, resulting from imperfect peaked-size distribution, the fidelity decreases further [76].
In Fig.10b, the mechanism of the peak-size teleportation (in red) is contrasted with the holographic wormhole teleportation [84] as in the low temperature SYK (depicted in blue). The low temperature SYK teleports with perfect fidelity at time around scrambling time \(t_{\mathrm {scr}}\) and zero otherwise. In contrast, in the peak-size teleportation the fidelity is of order \(G_\beta \) and shows certain features with time. However in the low temperature SYK one notes a revival in the fidelity at long times (denoted with \(t^*\)), with a decreased fidelity \(\propto G_\beta \) as in the peak-size teleportation. Thus above this time \(t^*\), all scramblers teleport with peak-size mechanism. To conclude, due to the distinct behavior of fidelity of the teleportation with time, it is a strong signature of the holographic or peak-size teleportation.
\(\bullet \) Connection with the thermal OTOC: Recall from Eqs. (56) and (57), the action of the coupling \(G=\exp (igV)\) is to apply a size dependent phase \(\exp (ig\langle V\rangle _Q)\), where the \(\langle V \rangle _Q\) from (56) can be expanded to be,
This is the average of the thermal OTOC defined in the previous Sect. 3, Eq. 36 for operators Q and \(O_i\).
\(\bullet \) Connection with the HPR protocol: In the late time, high temperature limit, the teleportation protocol can be shown to be the same as the Hayden–Preskill recovery (denoted by red diamond HPR in Fig. 10a) for single-qubit teleportation. For long times \(|t_L|=t_R=t>t_{\mathrm {scr}}\), and infinite temperature limit the coupling acts at \(t=0\) as,
The absence of the phase factor follows directly from the relation of the \(\langle V \rangle \) to the averaged OTOC as in Eq. (63). At times \(t>t_{\mathrm {scr}}\), the OTOC for infinite temperature states decays to zero, and thus the overall phase above is 1 whenever a non-trivial \(Q_L\) is applied. In the case when \(Q_L=\mathbbm {1}\), then following Eq. (63), \(\langle V \rangle =1\), and thus Eq. (64) holds for generic \(Q_L\), whenever \(g=n \pi \), where \(n\in {\mathbb {Z}}\).
The coupling V, also including identity operations will be,
where the outer sum runs over all the carrier qubits, and the inner sum represents EPR pair on ith carrier qubits on the two sides. We have used the notation from Eq. (48), and recall that the \(P_j\in \{\mathbbm {1}, \sigma ^x, \sigma ^y, \sigma ^z\}\). At this point we use the property of late times \(t\ge t_{scr}\) when the time evolved operator \(Q_L(t)\) have evolved to all available sites. At this time the effect of the above coupling will be the same if we replace the sum over local EPR pairs with an EPR projector on the full carrier subsystem. This is, in the late time, we can equally take,
here, we have changed the previous notation C for carrier subsystem with the letter D, for comparison with the Fig. 7c. The sum now runs over the Pauli operators on the full subsystem D. With this, we now have,
We wish to show the equivalence between the Yoshida-Kitaev Fig. 7c and the many-body teleportation circuit (58). For this purpose, we identify, \(G_D=1-2 ({\mathbf {P}}_{\mathrm {EPR}})_{DD'}\), and \(G_A=1-2 ({\mathbf {P}}_{\mathrm {EPR}})_{A'N'}\). Note that for a single-qubit \(d_A=2\) at the subsystem A, this becomes,
where the SWAP is the swap operator,
Thus comparing with the teleportation figure, the decoder \(D=\sigma ^y\). With these operations, on the circuit (58), the output for an input operator \(Q_L=O\) will be \(Q_R=\sigma ^yO^T\sigma ^y=O\), \(\forall \) O of the form Eq. (46). Hence, the single-qubit teleportation when we replaced D in (58) with the Grover’s oracle for a single-qubit succeeds with fidelity 1. Using the \(G_D\) and \(G_A\) in Eq. 58, for the case of infinite temperature initial state, and sliding the left \(U^\dagger \) to the right to make \(U^*\), we see that the teleportation circuit for single-qubit in A subsystem is the same as the Fig. 7c.
4.4 The size-winding mechanism
In contrast to the size distribution Eq. (47) for the operator \(Q_L\rho ^{1/2}\), Eq. (46), in Refs. [74, 75] winding-size distribution is defined as,
The important difference is that the \({\tilde{q}}\) can be complex and the distribution is over the complex plane. For infinite temperatures \(\beta =0\), the distribution \({{\tilde{q}}}=q\) since then, due the properties of the EPR state, the operator \(O(-t)\) as in Eq. (45) is Hermitian, and thus the coefficients \(c_P\) in Eq. (46) are real. By using the properties of the TFD state, as in Eq. (29), we rewrite the action of the operator on the left at time \(-t\) as,
and on the right operator \(Q^T_R\) at time t as,
The success criterion in the Sect. 4.1.2 following Ref. [76] is developed by analyzing the overlap of the \(Q_R^T(t)| {\mathrm {TFD}} \rangle \) with \(\exp (ig V) Q_L(-t)| {\mathrm {TFD}} \rangle \) (here we take the decoder \(D=\mathbbm {1}\), which means we are interested in operator \(Q^T\) on the right). The teleportation succeeds whenever the LR coupling acts similarly on all Pauli strings, and the coupling action generates a phase \(\exp (i\phi )\), and that the overlap, i.e. the two point function is maximum for any input operator.
For holographic systems, it is shown that perfect size-winding occurs such that the coefficients in the operator expansion take the form [74, 75],
and thus the LHS of Eqs. (71), (72) differ only by a phase linear in the operator size. The action of the operator on the left has opposite phase winding compared to the action of the operator on the right. As derived in the previous sections, the operator V acts as,
leading to,
up to a constant phase, which we have dropped here. For the coupling strength \(g=(\alpha \pm n\pi )3N/2\), the action of coupling at \(t=0\) is the same as an operator \(Q^T\) on the right at t. So the phase factor on the left unwinds under the LR coupling to give the phase as an operator on the right would have. This perfect operator size winding takes place for models with holographic dual, and the teleportation can be seen as the unwinding of the left phase in the complex plane to produce the phase on the right. For models away from holographic limit, the imperfect size winding is expected, in which case the phases in the expression for operators may not be linear. We refer the readers to Refs. [74, 75] for proofs and detailed discussion regarding size-winding in holographic and non-holographic teleportation.
As noticed in the previous subsection, the thermal OTOC and the two-point function encode crucial information about the mechanism of teleportation and the success fidelity. These are measurable in present day quantum simulators. Successful measurements of infinite temperature OTOC [98, 109,110,111,112,113,114,115, 160] finite temperature OTOC [116], and teleportation protocol [98] has been achieved in recent years. Thus, we now turn towards the quantum simulations to summarize the current state-of-the-art. We first describe the platforms available and then discuss some important results which make the initial steps towards conducting holographic studies in the lab.
5 Quantum simulation platforms
Realizing the ideas described in this review requires quantum simulators which can controllably prepare desired quantum states, and realize suitable Hamiltonians. In this regard, many-body quantum simulation platforms based on ultracold gases [161, 162], trapped ions [88, 89], Rydberg atoms [90, 163,164,165], superconducting circuits [166, 167], nuclear magnetic resonators [168,169,170], and photonic systems [171, 172] have demonstrated tremendous potential to simulate useful physical models and phenomena from various fields of physics and beyond. These capabilities are enabled by relatively clean systems, significant degree of control over experimental parameters, strong tunable interactions between the particles, and single-particle addressability in some cases. In this section, we will describe two of these experimental platforms – based on Rydberg atoms and trapped ions – that show promise to explore the physics described in this review.
5.1 Rydberg atoms
A Rydberg atom is an atom with a highly excited electron, i.e. in an orbital with a large principal quantum number n. One of the main advantages of using Rydberg atoms for quantum simulation is their strong dipole moment, which leads to strong inter-atomic interactions [90, 165, 173]. Due to being in a highly excited state, the radius of the electron’s orbit in a Rydberg atom is on the order of a few microns, which is thousands of times larger than that of typical ground state atoms. Therefore, the atom is easily polarizable and easily acquires a strong dipole moment (relative to other energy scales in experiments). The resulting strong dipole interactions allows researchers to simulate e.g. quantum many-body Hamiltonians, or realize universal quantum gates that can be used to build a quantum computing architecture. Popular candidate species for Rydberg atoms have been \(^{87}\hbox {Rb}\), \(^{88}\hbox {Sr}\), and \(^{171}\hbox {Yb}\).
An electron is typically excited to one of the atom’s Rydberg states via a two-photon transition. Once excited, the atom in the Rydberg state interacts with other atoms in that Rydberg state via a van-der-Waals interaction, \(V_{ij} \propto n^{11}/r_{ij}^6\). At typical inter-particle separations in these experiments, \(\sim \) 500–1000 nm, ground state atoms are nearly non-interacting, and the only interactions occur between Rydberg atoms. Advances in trapping and laser cooling [174,175,176], and more recent ideas involving atom-by-atom assemblies with trap rearrangements [177,178,179,180,181,182], have led to successful efforts in near-deterministic creation, trapping, and loading of large numbers of Rydberg atoms in a periodic array in space [183,184,185].
A qubit can be encoded in these atoms as two internal atomic states, e.g., two long-lived hyperfine ground states (i.e. a state with a small principle quantum number). The qubit states can be coupled to the Rydberg state via laser pulses.
The essential ingredient offered by Rydberg atoms is that they have strong interactions. Using this, experimentalists can implement a controlled-Z gate, \(\exp (-i\pi | {e_ie_j} \rangle \rangle {e_ie_j} |)\), between spatially nearby qubits i and j. A naive way to implement this gate involves directly accruing a phase proportional to the Rydberg-Rydberg interaction strength. This naive scheme, however, is sensitive to the distance between the atoms, and could therefore lead to large errors due to atomic motion. An alternative scheme to realize fast high-fidelity entangling gates between Rydberg atoms, proposed in Ref. [186, 187], uses the phenomenon called Rydberg blockade.
Rydberg blockade arises when the van-der-Waals interaction are so strong, e.g. due to large n, that having two Rydberg atoms near each other is energetically too expensive.Footnote 15 This so-called Rydberg blockaded regime has been experimentally observed [188,189,190,191,192]. Recently, Rydberg blockade has led to the first experimental evidence for quantum scar states [183] and topological quantum spin liquids [193].
Essential for simulating the protocols discussed in this review, the Rydberg blockade underpins the implementation of the entangling gate between qubits. The entangling scheme involves coupling ground state qubits to the Rydberg state via laser pulses, and is described in detail in Appendix B. Entanglement using Rydberg blockade has been widely realized experimentally [188, 191, 194,195,196,197,198]. Experiments have demonstrated gate fidelities exceeding \(99\%\) for entangling gates, and up to \(99.6\%\) for single-qubit gates [194]. To realize universal quantum computing, it is sufficient to have controlled-Z gate, together with arbitrary single-qubit rotations which can be implemented via magnetic fields or stimulated Raman transitions.
5.2 Trapped ions
Trapped ion chains are one of the most promising platforms for analog and digital quantum simulation. With currently the best gate fidelities for digital quantum gates, they form one of the pillars of today’s NISQ devices along with superconducting circuits. Popular candidate species for trapped ions have been \(^{171}\hbox {Yb}^+\) and \(^{40}\hbox {Ca}^+\). Qubit states are encoded in two long-lived electronic states of the ions which are either coherently manipulated by narrow linewidth laser fields (optical qubits) or microwave fields (hyperfine qubits). State dependent interactions are mediated by laser fields that interact with the ions’ electronic and motional degrees of freedom, eventually providing spin-spin interactions for analog quantum simulators and a universal gate set for digital quantum computers. For simplicity, in this review, we will focus on the optical qubit systems.
A 1D chain of ions is trapped in a Paul trap, which consists of an oscillating quadrupole field that provides, on average, a confining force on the ions.Footnote 16 Due to being electrically charged, the ions experience Coulomb repulsion from each other. This repulsion, together with the confining force provided by the trap, results in a nearly periodic array of trapped ions in space, and has yielded long chains of one dimensional ion chains for quantum simulation and computing [199, 200].
Although the ions interact via Coulomb interactions, these interactions are independent of the ions’ internal state, and therefore do not provide qubit interactions. That is, unlike the Rydberg atoms where van-der-Waals interactions give qubit interactions, the ions do not directly have qubit interactions. Instead, effective qubit interactions are obtained by coupling the ions to motional degrees of freedom, which are the normal modes of the chain, by shining bichromatic laser fields over the ion chain. The normal mode excitations can be found classically by solving the normal mode equations in the limit of large transverse trapping frequency [201, 202].
There are two main schemes for realizing qubit interactions using these normal modes. The first was developed by Cirac and Zoller [203], which relies on having zero phonons in the ion chain during normal operations, and exciting one phonon during the entangling operation. This scheme therefore requires the system to be cooled to the motional ground state, i.e. the state with zero phonons [204]. The second scheme, which is more commonly adopted nowadays, was developed by Mølmer and Sørensen [205]. This scheme does not require cooling the ion chain to its motional ground state. Understanding how both the schemes work requires some understanding of the physics of the ion-laser coupling, which is described in detail in Appendix C.
Essential for simulating the protocols in this review, the Mølmer–Sørensen scheme implements the entangling operation \(\exp (-i \theta \sigma ^x_i \sigma ^x_j)\) between two qubits i and j. This scheme can, in principle (up to caveats about ion spacing and normal mode frequency spacing), implement this gate between any two qubits i and j in a finite time, and thus achieves all-to-all connectivity between the qubits. Two-qubit Mølmer–Sørensen gates have been widely realized in experiments [206,207,208,209,210,211], with the highest current gate fidelity in the range of \(99.9\%\) [212].
6 Quantum simulation of many-body models
The quantum simulation platforms discussed above can realize a universal quantum gate set, and can therefore in principle realize any unitary quantum evolution. A powerful application of quantum simulation, from the perspective of holography, would be to realize holographic models. The SYK model is a particularly simple 0+1 dimensional model which at large N and low energy is dual to the nearly \(\hbox {AdS}_2\) gravity [62]. This model can potentially be realized in quantum simulators, although requiring a large number of quantum gates and ancillary qubits that could only be within reach of simulation in the future. In this section, we will briefly review how to simulate the SYK model with a quantum circuit. Later, in the next section, we discuss how to prepare the \(| {\mathrm {TFD}} \rangle \) state. These two ideas, preparing the TFD and realizing the model, can be seamlessly incorporated with the quantum protocols for measuring the OTOC and implementing HPR, and wormhole teleportation protocols. More details follow in Sect. 7.
The SYK model is a model of interacting Majorana particles [59,60,61,62,63,64],
where \(\gamma _i\) are Majorana operators, and \(J_{pqrs}\) are real-valued scalars drawn randomly from a normal distribution with variance \(\sigma ^2 = 3!J^2/N^3\). For simulating on a quantum circuit, one first writes the SYK model in terms of complex fermions, and then maps it to a spin Hamiltonian via e.g. the Jordan-Wigner transformation. Due to the Jordan-Wigner transformation, a typical term in the Hamiltonian consists of a four-qubit exchange interaction, multiplied by long Jordan-Wigner strings, for example,
where \(\sigma ^{\alpha _i}_i\) is a spin raising or lowering operator on qubit i. This term, and similarly for all the other terms in the Hamiltonian, can be realized utilizing local and collective Mølmer-Sørensen gates. Time evolution with the Hamiltonian can be implemented in a Trotterized fashion [213, 214].
Apart from the SYK model, there are some recent works on Hamiltonian simulation of certain gauge theories, which are also based on Trotterization of the Hamiltonian [215,216,217,218,219,220,221,222,223,224]. It is possible to construct the ground state for these systems, and measure some observables, via a mapping to a qubit system [215]. A detailed discussion of these is beyond the scope of this review. We suggest interested readers refer to these references for further details.
In Appendices B and C, we also review the simulation of other quantum many-body spin models that naturally arise in quantum simulation platforms based on trapped ions or Rydberg atoms.
7 Measurement protocols
We can devise an implementation of the quantum protocols described in this review to measure OTOCs, and realize a simulation of teleportation across wormholes, using the quantum simulators described in Sect. 5. In this section, we will describe concrete quantum circuits to realize these protocols, and highlight a few pioneering experiments that have already accomplished these feats.
7.1 Protocols for OTOC
First, we describe two protocols to measure OTOCs. The first protocol measures the thermal OTOC defined in Eq. (36) using a TFD state. The second protocol obtains the infinite-temperature OTOC from correlating measurements on two sets of qubits that were prepared as a product of correlated qubits in randomized bases. The essential idea of the latter protocol is that an ensemble of correlated qubits initialized in randomized bases realizes a state closely related to EPR pairs, which is the infinite-temperature TFD.
7.1.1 Thermal OTOC from TFD
We recall the definition of the regularized thermal OTOC, \(O_\mathrm{th}(\beta , t)\), shown in Eq. (36). This OTOC can be naturally interpreted as
where \(| { \psi } \rangle = (W \otimes 1) | {\mathrm {TFD}} \rangle \). Note that
is the Heisenberg operator for \(V^T\) at time t when evolved with \(-H^*\). The interpretation in Eq. (78) suggests an implementation as follows:
-
Prepare \(| {\mathrm {TFD}} \rangle \) on \({\mathcal {H}}_L\otimes {\mathcal {H}}_R\).
-
Apply W on, say, the left system. This is possible for unitary W.
-
Evolve the left and right systems with \(H_L\) and \(-H_R^*\). The right system should be evolved with \(-H_R^*\) for the reason explained above.
-
Measure \(\langle V_L^\dagger \otimes V_R^T \rangle \).
Next, we describe one method to prepare \(| {\mathrm {TFD}} \rangle \). Realizing the remaining steps, for example on a digital quantum computer, is straightforward.
Thermofield double states have been prepared for particular models and small system sizes on a trapped-ion based digital quantum computer. The technique used to prepare the TFD is a quantum-classical hybrid technique called the Quantum Approximate Optimization Algorithm (QAOA) [225], which has more recently been called the Quantum Alternating Operator Ansatz [226] (and denoted QAOA as well).
Schematic of the QAOA algorithm to prepare the TFD for the transverse Ising model. The algorithm consists of a parameterized quantum circuit, \(U(\mathbf {\theta }) = \cdots U_2(\theta _2)U_1(\theta _1)\), implemented on a quantum computer, where the angles \(\mathbf {\theta }\) are found by a classical computer. Usually, one finds these angles in a classical-quantum feedback loop, where the classical computer updates \(\mathbf {\theta }\) based on the output of the quantum computer. Details of the gates used in the quantum circuit are in Fig. 12a
QAOA is a variational algorithm [227] originally proposed to minimize Hamiltonians. The algorithm is schematically drawn in Fig. 11. It produces a parameterized ansatz wavefunction,
where the unitary U is composed of a set of quantum gates \(\{U_i\}\), and these quantum gates are parameterized by gate angles \(\mathbf {\theta }\equiv \{\theta _i\}\), i.e., \(U(\mathbf {\theta }) = \cdots U_2(\theta _2)U_1(\theta _1)\). The parameters \(\mathbf {\theta }\) are chosen such that \(| {\psi (\mathbf {\theta })} \rangle \) minimizes the Hamiltonian. In the most common setting, the parameters \(\mathbf {\theta }\) are chosen in a quantum-classical feedback loop. A classical computer feeds in \(\mathbf {\theta }\), the quantum computer returns \(\langle \psi (\mathbf {\theta }) \vert H \vert \psi (\mathbf {\theta })\rangle \), and the loop continues until \(\langle \psi (\mathbf {\theta }) \vert H \vert \psi (\mathbf {\theta })\rangle \) is minimized over the space of all \(\mathbf {\theta }\). The classical computer can use any classical optimization algorithm, e.g. gradient descent, to optimize the necessary \(\mathbf {\theta }\) to minimize the Hamiltonian. For small system sizes, one can compute the optimal parameters \(\mathbf {\theta }\) classically, without requiring a classical-quantum feedback loop.
QAOA, and related variational algorithms such as the Variational Quantum Eigensolver, have been used in several applications to minimize target Hamiltonians [228,229,230,231,232,233,234,235,236]. Finding new applications of variational algorithms is an active area of research [94,95,96,97, 237,238,239].
Recently, QAOA has been used [94] for preparing the TFD for the transverse Ising model. One possibility for the basic building block of the quantum circuit for preparing the TFD for this model is shown in Fig. 12a. Different models require different building blocks for the variational circuit. The variational angles \(\mathbf {\theta }\) can be chosen such that the fidelity
is maximized, i.e.
Maximizing the fidelity, however, is restricted to small systems. This is because classically calculating \(F(\mathbf {\theta })\) or measuring \(F(\mathbf {\theta })\) from the quantum computer are both exponentially difficult tasks.
To mitigate the above challenge, there are alternative proposals to prepare the TFD by maximizing the thermal entropy, or as the ground state of a local parent Hamiltonian for cases where the target Hamiltonian satisfies the eigenstate thermalization hypothesis [92, 148]. Specifically for the transverse Ising model (\(h=0\) in the Hamiltonian (37)), the parent Hamiltonian may take the form
where \(H_A\) and \(H_B\) are the transverse Ising Hamiltonian in the A and B chains respectively, and
Here, \(\lambda \) must be appropriately chosen for each temperature T labeling the TFD. The above parent Hamiltonian exactly produces the TFD at \(T=0\) and \(T=\infty \). Choosing \(\lambda =0\) produces the TFD at \(T=0\), which is the product of the transverse Ising model’s ground states on the A and B chains. Choosing \(\lambda =\infty \) produces the TFD at \(T=\infty \), which is a product of EPR pairs. At intermediate temperatures, the ground state of \(H_\mathrm{parent}(\lambda )\) produces the TFD (at \(\lambda \)-dependent temperature) to a good approximation [93], where the approximation may be improved by adding more terms to \(H_{AB}\). We note that this realization of the TFD model as the ground state of a parent Hamiltonian is known in the chaotic Hamiltonians [92], see [148] for SYK model. The variational ideas to prepare the TFD state are also generic, and can in principle be applied to prepare the TFD state for other models, e.g. the SYK model [96].
After preparing the TFD, measuring the thermal OTOC requires evolving one of the halves forward in time, i.e. with \(+H\), and the other backwards in time, i.e. with \(-H^*\) (see Fig. 12b). Hamiltonian evolution in a digital quantum computer is possible as Trotterized evolution, with sufficiently small Trotter step dt. Evolution with \(-H^*\) can easily be achieved due to the availability of a universal gate set. The time up to which the system can be evolved is currently limited by gate errors, which restricts high-fidelity quantum simulation to a few Trotter steps.
a Building block of the QAOA circuit that prepares the thermofield double state for the transverse Ising model. The XX gate is the local Mølmer–Sørensen gate discussed in the main text, the ZZ gate is the analog of the Mølmer–Sørensen for interactions along the z direction, and \(R_z\) is a single-qubit rotation around z. The gate angles are found classically. b Measurement protocol for the thermal OTOC. The block \(U(\mathbf {\theta })\) is shown in a. Depth-p QAOA repeats this block p times, with different angles \(\mathbf {\theta }_1, \mathbf {\theta }_2, \cdots \mathbf {\theta }_p\)
7.1.2 Infinite-temperature OTOC from randomized initial states
The protocol described above can be readily applied to measure the OTOC at \(T=\infty \). In particular, \(| {\mathrm {TFD}} \rangle \) at \(T=\infty \) is equal to \(| {\mathrm {EPR}} \rangle \), which can be readily prepared in the lab.
However, there are also other protocols to measure OTOCs at \(T=\infty \). One of them, that was proposed by Ref. [101] and implemented by Ref. [112] for measuring the OTOC at \(T=\infty \), obtains the OTOC from randomized measurements of qubits. This protocol can be extended to large finite T as well, by perturbatively expanding the thermal factor \(\exp (-\beta H)\) in powers of \(\beta \). Other experiments have used similar ideas with randomized measurements to measure the OTOCs [160, 240].
The infinite-temperature protocol in Ref. [101, 112] works as follows:
-
Prepare two sets of N qubits, one in \(| {0^{\otimes N}} \rangle \) and the other in \(| {x} \rangle \), where \(| {x} \rangle \) is an N-qubit product state in the computational basis. We will label the two sets of N qubits as \(1\le i \le N\) and \(N+1\le i \le 2N\). None of the operations performed will involve any entanglement between the first N and the second N qubits, therefore we can perform experiments on these in separate experimental runs. Then, each experimental run needs to be performed only on N qubits at a time, which is a significant technical advantage over having 2N qubits at one time.
-
Apply N independent single-qubit Haar-random unitaries \(u_i\) on qubits \(1\le i\le N\), and the same \(u_i\) on the qubits \(N+1 \le i \le 2N\).
-
Apply W (assumed to be unitary) on the first N qubits.
-
Evolve both sets of N qubits with the Hamiltonian \(+H\). Note that evolution with \(-H^*\) is not required.
-
Measure \(\langle V^\dagger \rangle \) on qubits \(1\le i \le N\) and \(\langle V^T \rangle \) on qubits \(N+1\le i \le 2N\). Denote the product of these two measurements as \(f_x\).
-
For each x, average over the single-qubit Haar-random unitaries \(u_i\). Denote the average as \(\overline{f_x}\).
-
The weighted sum, \(\frac{1}{2^N} \sum _{x=0}^{2^N-1} (-2)^{-|x|} \overline{f_x}\), gives the OTOC, \(O_\infty (t) \equiv O_{\mathrm {th}}(\beta =0, t)\). Here, |x| is the Hamming weight of x.
The crucial step in understanding why this protocol works comes from the realization that the initial state’s density matrix, averaged over Haar-random unitaries \(\{ u_i \}\) and summed over bit strings x including the weight \((-2)^{-|x|}\), is [101]
where \(\mathrm{SWAP} = \sum _{xy} | {x} \rangle | {y} \rangle \rangle {y} |\rangle {x} |\) swaps the state of the two systems and \(u = \bigotimes _{i=1}^N u_i\). For brevity, we will ignore normalization factors for the state that realizes SWAP. The sum in Eq. (84) should be understood as averaging over the unitaries first, and then summing over the bit strings x, as described in the protocol above.
The SWAP state has the property that
![](http://media.springernature.com/lw352/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ85_HTML.png)
and as a corollary,
![](http://media.springernature.com/lw348/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-022-10377-y/MediaObjects/10052_2022_10377_Equ86_HTML.png)
Viewing the right hand side of Eq. (86) as a circuit, the protocol described above is a direct implementation of this circuit, and was implemented in Ref. [112] for the long-ranged Ising model with a transverse field. It is worthwhile to reemphasize the key innovations of this method: Using randomized measurements halved the number of qubits as compared to that required by other measurement protocols, and eliminated the need for evolution with \(-H^*\). Reference [101] also proposed a related alternative protocol with global Haar-random unitaries, instead of local Haar-random unitaries, which proceeds similar to the local protocol, except that the initial states for both sets of N qubits are \(| { 0^{\otimes N}} \rangle \), and there are no weighting factors \((-2)^{-|x|}\).
7.2 Simulating teleportation across a wormhole in a trapped ion quantum computer
There are also experiments that have implemented protocols to simulate the teleportation of one qubit across the analog of a wormhole [98, 241]. In one such experiment by Ref. [98], the experimentalists implemented two protocols that simulate the teleportation of one qubit across the analog of an infinite-temperature wormhole – on EPR states. One of those protocols probabilistically teleports one qubit, and the other deterministically teleports the qubit. Here, we describe the deterministic protocol, and refer the reader to Ref. [98] for the probabilistic protocol. The protocol is based on the Yoshida–Kitaev version [73] of the Hayden–Preskill protocol [72] [see Sect. 3.3].
Simulating the many-body teleportation protocol in the lab [98]. A qubit inserted in the left system is decoded on the right. The quantum circuit is drawn vertically here for convenience and to relate to the protocol in Fig. 7. A horizontal line ending in two crosses is the Mølmer–Sørensen gate, \(\exp (-i \frac{\pi }{4}\sigma ^x_i \sigma ^x_j)\). The single-qubit \(R_z\) gate is defined as \(R_z(\theta ) = \exp (-i\frac{\theta }{2}\sigma ^z)\), and Y is the \(\sigma ^y\) Pauli operator
The experiment in Ref. [98] implemented a particular instance of Fig. 7 with seven qubits, as follows:
-
The experiment begins by initializing qubit 1 in \(| {\psi } \rangle \), which is the state to be teleported, and qubits 2–7 as EPR pairs, with qubits 2 and 5 forming one pair, qubits 3 and 4 forming one pair, and qubits 6 and 7 as one pair. Qubits 2–5 are analogous to the black holes and the past radiation, interpreted as B and \(B'\) in Fig. 7, and qubits 6–7 are the ancillary pair for decoding, interpreted as \(A'\) and \(R'\).
-
Then, they evolved qubits 1–3 with a maximally scrambling unitary U, i.e. a unitary which evolves all single-qubit Pauli operators into three-qubit Pauli strings. They evolved qubits 4–6 with \(U^*\). The probabilistic protocol measured qubits 3 and 4 and terminated here [see Ref. [98]]. But we will move on to the deterministic protocol.
-
They apply a Grover oracle \(G = 1-2| {\mathrm {EPR}} \rangle \rangle {\mathrm{EPR}} |\) on qubits 3 and 4. A circuit compilation trick allows G to be implemented with a SWAP gate (performed classically by relabeling the qubits) followed by single-qubit Y gates [see Fig. 13].
-
Then according to Fig. 13, one should evolve qubits 4-6 (which are now interpreted as \(D'\) and \(C'\)) with \(U^T\), apply \(G = 1-2| {\mathrm {EPR}} \rangle \rangle {\mathrm{EPR}} |\) on qubits 6 and 7, and evolve qubits 4-6 with \(U^*\). As stated above, G can be implemented with classical relabeling and Y gates. At the end of this, \(| {\psi } \rangle \) will be successfully teleported to qubit 7 (which is interpreted as \(R'\)). This concludes the experiment in Ref. [98]. The experiment did not need to implement the final Y and \(U^T\) on qubits 4-6, because they don’t affect the state of qubit 7.
Reference [98] successfully demonstrated teleportation of various choices of \(| {\psi } \rangle \), specifically \(| {\psi } \rangle = | {0} \rangle \), \(| {\psi } \rangle = | {1} \rangle \), \(| {\psi } \rangle = (| {0} \rangle \pm | {1} \rangle )/\sqrt{2}\), and \(| {\psi } \rangle = (| {0} \rangle \pm i| {1} \rangle )/\sqrt{2}\), with an average teleportation fidelity of \(78\%\). The teleportation fidelity is \(<100\%\) due to gate errors in the experiment. The same protocol can teleport any single-qubit state \(| {\psi } \rangle \).
Future experiments may use the above protocol to teleport multiple qubits with more Grover iterations, as well as simulate teleportation across the analog of a finite-temperature wormhole by appropriately generalizing the circuit, e.g., replacing \(| {\mathrm {EPR}} \rangle \) with \(| {\mathrm {TFD}} \rangle \) in the initial state, where \(| {\mathrm {TFD}} \rangle \) could for example be prepared by techniques outlined in Sect. 7.1.
8 Conclusions and discussions
In this work, we have presented the recent advances in realizing analogous models of gravity in a lab, in the sense of holography. In particular, our focus has been the wormhole teleportation inspired protocols for teleportation in the many-body systems. The mechanism of the teleportation is governed by the operator size that is inserted just before the coupling is applied. We described the experimental protocols and observations of OTOC and small scale teleportation in state-of-the-art quantum simulators.
It should be noted that the exact model of gravity in a lab, where one can not only verify the holographic principle but also learn about the gravity from a lab, is still not available. Our summary of the recent advances should be seen as advances in the theoretical translation of the tools and observables in gravity and many-body models available on a lattice, as well as advances in experimental technology. With the proof-of-principles done for the holographic models that have a semi-classical dual, in the long run one can hope to study the more complex bulk dual, involving stringy corrections, in a quantum lab.
It is always crucial to study the effects of experimental decoherence and noise sources in implementing protocols. We have not discussed them in this review, but one should keep in mind the limitations they pose and the rectifications thereof, for example see [93, 98, 112, 242, 243] for possible error sources and corrections. We discussed here that the behavior of the teleportation fidelity with time is a strong signature of the nature of the dynamics, namely generic scramblers or the holographic scrambler. Even better, the teleportation fidelity identifies the real scrambling dynamics and decays due to decoherence [99]. Furthermore, it would be interesting to find out the validity and corrections of the Hayden–Preskill protocol as well as the many-body teleportation protocol in presence of errors [244].
We also note that the operator size distribution is a more refined description of the time-evolved operators than the averaged OTOC that we have presented here. It remains a question as to how and when the size distribution discussed here compares with the usual notion of the operator size [159], and to those amenable in experiments [245]. It is argued in [246,247,248,249], that the rate of change of momentum of the particle falling in to the bulk spacetime is dual to the complexity of the dual operator at the boundary. This complexity basically measures the growth of the size of the operator under time evolution. Some recent progress has been made towards understanding complexity for the dual field theory [250,251,252,253,254,255,256,257,258,259,260,261,262,263], see [264] for a recent review. However, it is in its early stage of development. An interesting direction will be to develop this idea of operator growth using complexity as a possible diagnostic. This will not only enable us to make connection with certain predictions coming from holography but will also help us to compare with other diagnostics which are measurable via experiments. Another important theoretical direction is to explore the finite temperature generalizations of the many-body teleportation in the spirit similar to [158, 265, 266]. In recent times, several toy models based on tensor network construction for holography has been proposed [46,47,48,49,50,51,52, 57]. In this context, it will be interesting to realize the thermofield double state and the teleportation protocol. Perhaps [267] will provide a good starting point. This will pave the way forward to some of the predictions coming from holography using interesting quantum many-body systems.
At last, for the experimental prospects of connecting theoretical high energy physics with experiments, we conclude by outlining directions other than the wormhole teleportation. For example some of the open directions are the realization of the SYK model as a simple model of holography [213], simple models of wormholes [268,269,270], time-shifted wormholes and the teleportation therein [271] and possibilities to use time shifted wormhole teleportation to distinguish states with similar entanglement [272], among many others.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This review contains no experimental data. The plots were made using numerical simulations of the circuits done in Mathematica and Python. All the necessary details about these are already present in the review in the form of the quantum circuits.]
Notes
References in all of these cases are by no means exhaustive. Readers are encouraged to consult the references and the citations of the papers mentioned in the main text.
More details about the dictionary are given in the Appendix A.
We encourage interested readers to consult [117] and the references therein for a comprehensive review of AdS/CFT and its applications.
For the Euclidean case, we have analytically continued the Lorentzian time: \(t \rightarrow i\, \tau .\)
Note that, to draw the Penrose diagram, we need to do further a conformal compactification of the metric defined in (9). This can be done by using a particular coordinate transformation and then throwing out an overall conformal factor. Interested readers are referred to [58, 134] for more details. Also, we have ignored the angular coordinate. Each of the points on Fig. 2 corresponds to a \(S^1.\)
At this point, we are still in the field theory limit. Hence this sum goes up to \(\infty \) as we are dealing with infinite-dimensional Hilbert space.
This should be read as \(O_L\otimes I_R,\) \(I_R\) is the identity operator acting on the right region.
In the context of AdS/CFT, this corresponds to scalar fields on AdS with a certain mass.
Following [135], one can compute this correlator by using the standard holographic method. One first computes the bulk to boundary propagator using the method of image; hence one has to shift the \(\phi \) coordinate by the factor of \(2\pi n\) and then sum over all the values of n.
Time runs in the opposite direction for two exterior wedges of Eternal black hole geometry. Hence the \({\mathcal {O}}_R\) and \({\mathcal {O}}_L\) are inserted at t and\(-t\) respectively.
Here we have a shockwave backreacting on the geometry, thereby generating this time advance. This has also been used in other contexts, for example, to discuss causality constraints [143].
We assume familiarity with Haar measure.
For example, following the traditional definition, the expectation value of an operator O in a thermal state is given by
which corresponds to a different thermal OTOC.
For \(d_A = 2\), the probability of decoding is 1 at \(m=1\).
Technically, when one atom is in a Rydberg state, the energy of an adjacent atom’s Rydberg state is shifted by an amount equal to the van-der-Waals interaction. The latter atom will not be excited to the Rydberg state when the two-photon Rabi coupling is much smaller than the laser detuning plus van-der-Waals interaction.
It is known from Earnshaw’s theorem that charged particles cannot be trapped with a static electric field; the oscillating quadrupole field is the simplest geometry which can trap charged particles.
To take the boundary limit we basically set \(z=constant.\) Hence, \(\partial _z\) term goes away and in the rest of the terms we take \(z \rightarrow 0\) limit.
For d=2, one can have infinite number of Virasoro generators apart from the one mentioned in this subsection which often termed as local generators. For details one can refer to [274].
In fact, for every source \(J_i(x^{i}),\) where \(x^{i}\) are the boundary coordinates, we can extend it uniquely inside the bulk after imposing suitable boundary conditions inside the bulk (usually at the center of AdS). Hence for every source configuration, there exists a corresponding bulk field \(\phi _a(x^{i},z),\) where z is the extra bulk radial coordinate [4, 273].
References
J. Maldacena, The large-n limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38(4), 1113–1133 (1999)
E. Witten, Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253–291 (1998)
S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Gauge theory correlators from noncritical string theory. Phys. Lett. B 428, 105–114 (1998)
O. Aharony, S.S. Gubser, J. Maldacena, H. Ooguri, Y. Oz, Large n field theories, string theory and gravity. Phys. Rep. 323(3), 183–386 (2000)
G. Policastro, D.T. Son, A.O. Starinets, Shear viscosity of strongly coupled \(n=4\) supersymmetric yang-mills plasma. Phys. Rev. Lett. 87, 081601 (2001)
P.K. Kovtun, D.T. Son, A.O. Starinets, Viscosity in strongly interacting quantum field theories from black hole physics. Phys. Rev. Lett. 94, 111601 (2005)
T. Schäfer, D. Teaney, Nearly perfect fluidity: from cold atomic gases to hot quark gluon plasmas. Rep. Prog. Phys. 72(12), 126001 (2009)
D.T. Son, P. Surowka, Hydrodynamics with triangle anomalies. Phys. Rev. Lett. 103, 191601 (2009)
K. Landsteiner, E. Megias, F. Pena-Benitez, Gravitational anomaly and transport. Phys. Rev. Lett. 107, 021601 (2011)
A. Buchel, R.C. Myers, A. Sinha, Beyond eta/s = 1/4 pi. JHEP 03, 084 (2009)
M. Brigante, H. Liu, R.C. Myers, S. Shenker, S. Yaida, The viscosity bound and causality violation. Phys. Rev. Lett. 100, 191601 (2008)
S. Bhattacharyya, V.E. Hubeny, S. Minwalla, M. Rangamani, Nonlinear fluid dynamics from gravity. JHEP 02, 045 (2008)
M. Rangamani, Gravity and hydrodynamics: lectures on the fluid-gravity correspondence. Class. Quantum Gravity 26, 224003 (2009)
B. Nabamita, D. Suvankar, Holographic hydrodynamics: models and methods (2011). arXiv preprint arXiv:1112.5345
A.B. Zamolodchikov, Irreversibility of the flux of the renormalization group in a 2D field theory. JETP Lett. 43, 730–732 (1986)
S. de Haro, S.N. Solodukhin, K. Skenderis, Holographic reconstruction of space-time and renormalization in the AdS/CFT correspondence. Commun. Math. Phys. 217, 595–622 (2001)
D.Z. Freedman, S.S. Gubser, K. Pilch, N.P. Warner, Renormalization group flows from holography supersymmetry and a c theorem. Adv. Theor. Math. Phys. 3, 363–417 (1999)
E. Barnes, K.A. Intriligator, B. Wecht, J. Wright, Evidence for the strongest version of the 4d a-theorem, via a-maximization along RG flows. Nucl. Phys. B 702, 131–162 (2004)
K.A. Intriligator, B. Wecht, The exact superconformal R symmetry maximizes a. Nucl. Phys. B 667, 183–200 (2003)
R.C. Myers, A. Sinha, Holographic c-theorems in arbitrary dimensions. J. High Energy Phys. 2011(1), 125 (2011)
R.C. Myers, A. Sinha, Seeing a c-theorem with holography. Phys. Rev. D 82, 046006 (2010)
J.L. Cardy, Is there a c theorem in four-dimensions? Phys. Lett. B 215, 749–752 (1988)
Z. Komargodski, A. Schwimmer, On renormalization group flows in four dimensions. JHEP 12, 099 (2011)
M.A. Luty, J. Polchinski, R. Rattazzi, The \(a\)-theorem and the asymptotics of 4D quantum field theory. JHEP 01, 152 (2013)
H. Elvang, D.Z. Freedman, L.-Y. Hung, M. Kiermaier, R.C. Myers, S. Theisen, On renormalization group flows and the a-theorem in 6d. JHEP 10, 011 (2012)
A. Bhattacharyya, L.-Y. Hung, K. Sen, A. Sinha, On c-theorems in arbitrary dimensions. Phys. Rev. D 86, 106006 (2012)
H. Elvang, T.M. Olson, RG flows in d dimensions, the dilaton effective action, and the a-theorem. JHEP 03, 034 (2013)
H. Casini, M. Huerta, On the RG running of the entanglement entropy of a circle. Phys. Rev. D 85, 125016 (2012)
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from the anti-de sitter space/conformal field theory correspondence. Phys. Rev. Lett. 96, 181602 (2006)
V.E. Hubeny, M. Rangamani, T. Takayanagi, A Covariant holographic entanglement entropy proposal. JHEP 07, 062 (2007)
A. Lewkowycz, J. Maldacena, Generalized gravitational entropy. JHEP 08, 090 (2013)
D.V. Fursaev, A. Patrushev, S.N. Solodukhin, Distributional geometry of squashed cones. Phys. Rev. D 88(4), 044054 (2013)
J. Camps, Generalized entropy and higher derivative gravity. JHEP 03, 070 (2014)
X. Dong, Holographic entanglement entropy for general higher derivative gravity. JHEP 01, 044 (2014)
A. Bhattacharyya, A. Kaviraj, A. Sinha, Entanglement entropy in higher derivative holography. JHEP 08, 012 (2013)
A. Bhattacharyya, M. Sharma, A. Sinha, On generalized gravitational entropy, squashed cones and holography. JHEP 01, 021 (2014)
A. Bhattacharyya, M. Sharma, On entanglement entropy functionals in higher derivative gravity theories. JHEP 10, 130 (2014)
R.-X. Miao, W. Guo, Holographic entanglement entropy for the most general higher derivative gravity. JHEP 08, 031 (2015)
A. Bhattacharyya, A. Sinha, Entanglement entropy from the holographic stress tensor. Class. Quantum Gravity 30, 235032 (2013)
M. Rangamani, T. Takayanagi, Holographic Entanglement Entropy, vol. 931 (Springer, Berlin, 2017)
J. Maldacena, L. Susskind, Cool horizons for entangled black holes. Fortsch. Phys. 61, 781–811 (2013)
L. Susskind, ER=EPR, GHZ, and the consistency of quantum measurements. Fortsch. Phys. 64, 72–83 (2016)
B. Swingle, Entanglement renormalization and holography. Phys. Rev. D 86, 065007 (2012)
M. Nozaki, S. Ryu, T. Takayanagi, Holographic geometry of entanglement renormalization in quantum field theories. JHEP 10, 193 (2012)
J. de Boer, F.M. Haehl, M.P. Heller, R.C. Myers, Entanglement, holography and causal diamonds. JHEP 08, 162 (2016)
F. Pastawski, B. Yoshida, D. Harlow, J. Preskill, Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence. JHEP 06, 149 (2015)
P. Hayden, S. Nezami, X.-L. Qi, N. Thomas, M. Walter, Z. Yang, Holographic duality from random tensor networks. JHEP 11, 009 (2016)
B. Czech, L. Lamprou, S. McCandlish, J. Sully, Tensor Networks from Kinematic Space. JHEP 07, 100 (2016)
A. Bhattacharyya, Z.-S. Gao, L.-Y. Hung, S.-N. Liu, Exploring the tensor networks/AdS correspondence. JHEP 08, 086 (2016)
A. Bhattacharyya, L.-Y. Hung, Y. Lei, W. Li, Tensor network and (\(p\)-adic) AdS/CFT. JHEP 01, 139 (2018)
Z. Yang, L. Cheng, L.-Y. Hung, S. Ning, A. Bhattacharyya, Emergent Lorentz symmetry and the Unruh effect in a Lorentzian fermionic tensor network. Phys. Rev. D 99(8), 086007 (2019)
L. Chen, X. Liu, L.-Y. Hung, Emergent Einstein equation in \(p\)-adic conformal field theory tensor networks. Phys. Rev. Lett. 127, 221602 (2021)
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi, K. Watanabe, Anti-de Sitter space from optimization of path integrals in conformal field theories. Phys. Rev. Lett. 119(7), 071602 (2017)
J. Erdmenger, K.T. Grosvenor, R. Jefferson, Information geometry in quantum field theory: lessons from simple examples. SciPost Phys. 8(5), 073 (2020)
A.R. Brown, L. Susskind, Complexity geometry of a single qubit. Phys. Rev. D 100(4), 046020 (2019)
B. Chen, B. Czech, Z.-Z. Wang, Quantum information in holographic duality (2021). arXiv preprint arXiv:2108.09188
A. Jahn, J. Eisert, Holographic tensor network models and quantum error correction: a topical review. Quantum Sci. Technol. 6(3), 033002 (2021)
D. Harlow, Jerusalem lectures on black holes and quantum information. Rev. Mod. Phys. 88, 015002 (2016)
S. Sachdev, J. Ye, Gapless spin fluid ground state in a random, quantum Heisenberg magnet. Phys. Rev. Lett. 70, 3339 (1993)
S. Sachdev, Holographic metals and the fractionalized Fermi liquid. Phys. Rev. Lett. 105, 151602 (2010)
A. Kitaev. ‘A simple model of quantum holography’, Talks at KITP, April 7,and May 27, 2015 (2015)
J. Maldacena, D. Stanford, Z. Yang, Conformal symmetry and its breaking in two-dimensional nearly anti-de sitter space. Prog. Theor. Exp. Phys. 12, 2016 (2016)
G. Mandal, P. Nayak, S.R. Wadia, Coadjoint orbit action of Virasoro group and two-dimensional quantum gravity dual to SYK/tensor models. J. High Energy Phys. 2017(11), 46 (2017)
A. Gaikwad, L.K. Joshi, G. Mandal, S.R. Wadia, Holographic dual to charged SYK from 3D gravity and Chern–Simons. J. High Energy Phys. 2, 33 (2020)
S.H. Shenker, D. Stanford, Black holes and the butterfly effect. J. High Energy Phys. 2014(3), 67 (2014)
S.H. Shenker, D. Stanford, Stringy effects in scrambling. J. High Energy Phys. 5, 2015 (2015)
J. Maldacena, H. Stephen, D. Stanford, A bound on chaos. J. High Energy Phys. 8, 106 (2016)
J.S. Cotler, G. Gur-Ari, M. Hanada, J. Polchinski, P. Saad, S.H. Shenker, D. Stanford, A. Streicher, M. Tezuka, Black holes and random matrices. J. High Energy Phys. 5, 2017 (2017)
P. Saad, S.H. Shenker, D. Stanford, A semiclassical ramp in syk and in gravity (2018). arXiv preprint arXiv:1806.06840
J. Polchinski, The Black Hole Information Problem, chapter 6 (World Scientific, London, 2017), pp. 353–397
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, A. Tajdini, The entropy of hawking radiation. Rev. Mod. Phys. 93, 035002 (2021)
P. Hayden, J. Preskill, Black holes as mirrors: quantum information in random subsystems. J. High Energy Phys. 9, 2007 (2007)
B. Yoshida, A. Kitaev, Efficient decoding for the Hayden–Preskill protocol (2017). arXiv preprint arXiv:1710.03363
A.R. Brown, H. Gharibyan, S. Leichenauer, H.W. Lin, S. Nezami, G. Salton, L. Susskind, B. Swingle, M. Walter, Quantum gravity in the lab: teleportation by size and traversable wormholes (2019). arXiv preprint arXiv:1911.06314
S. Nezami, H.W. Lin, A.R. Brown, H. Gharibyan, S. Leichenauer, G. Salton, L. Susskind, B. Swingle, M. Walter, Quantum gravity in the lab: teleportation by size and traversable wormholes, part ii (2021). arXiv preprint arXiv:2102.01064
T. Schuster, B. Kobrin, P. Gao, I. Cong, E.T. Khabiboulline, N.M. Linke, M.D. Lukin, C. Monroe, B. Yoshida, N.Y. Yao, Many-body quantum teleportation via operator spreading in the traversable wormhole protocol (2021). arXiv preprint arXiv:2102.00010
J.M. Maldacena, Eternal black holes in anti-de Sitter. JHEP 04, 021 (2003)
A. Kundu, Wormholes & holography: an introduction (2021). arXiv preprint arXiv:2110.14958
M.S. Morris, K.S. Thorne, Wormholes in spacetime and their use for interstellar travel: a tool for teaching general relativity. Am. J. Phys. 56(5), 395–412 (1988)
M.S. Morris, K.S. Thorne, U. Yurtsever, Wormholes, time machines, and the weak energy condition. Phys. Rev. Lett. 61, 1446–1449 (1988)
D. Hochberg, M. Visser, Null energy condition in dynamic wormholes. Phys. Rev. Lett. 81, 746–749 (1998)
M. Visser, S. Kar, N. Dadhich, Traversable wormholes with arbitrarily small energy condition violations. Phys. Rev. Lett. 90, 201102 (2003)
P. Gao, D.L. Jafferis, A.C. Wall, Traversable wormholes via a double trace deformation. JHEP 12, 151 (2017)
J. Maldacena, D. Stanford, Z. Yang, Diving into traversable wormholes. Fortsch. Phys., 65(5) (2017)
J. Preskill, Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)
K. Bharti, A. Cervera-Lierta, T.H. Kyaw, T. Haug, S. Alperin-Lea, A. Anand, M. Degroote, H. Heimonen, J.S. Kottmann, T. Menke, W.-K. Mok, S. Sim, L.-C. Kwek, A. Aspuru-Guzik, Noisy intermediate-scale quantum algorithms. Rev. Mod. Phys. 94, 015004 (2022)
H. Liu, J. Sonner, Quantum many-body physics from a gravitational lens. Nat. Rev. Phys. 2(11), 615–633 (2020)
R. Blatt, C.F. Roos, Quantum simulations with trapped ions. Nat. Phys. 8(4), 277–284 (2012)
C. Monroe, W.C. Campbell, Z.-X. Lu-Ming Duan, A.V. Gong, P.W. Gorshkov, R.I. Hess, K. Kim, N.M. Linke, G. Pagano, P. Richerme, C. Senko, N.Y. Yao, Programmable quantum simulations of spin systems with trapped ions. Rev. Mod. Phys. 93(2), 025001 (2021)
A. Browaeys, T. Lahaye, Many-body physics with individually controlled rydberg atoms. Nat. Phys. 16(2), 132–142 (2020)
W. Jingxiang, T.H. Hsieh, Variational thermal quantum simulation via thermofield double states. Phys. Rev. Lett. 123, 220502 (2019)
W. Cottrell, B. Freivogel, D.M. Hofman, S.F. Lokhande, How to build the thermofield double state. J. High Energy Phys. 2, 58 (2019)
B. Sundar, A. Elben, L.K. Joshi, T.V. Zache, Proposal for measuring out-of-time-ordered correlators at finite temperature with coupled spin chains. New J. Phys. 24(2), 023037 (2022)
D. Zhu, S. Johri, N.M. Linke, K.A. Landsman, C. Huerta Alderete, N.H. Nguyen, A.Y. Matsuura, T.H. Hsieh, C. Monroe, Generation of thermofield double states and critical ground states with a quantum computer. Proc. Natl. Acad. Sci. 117(41), 25402–25406 (2020)
W. Jingxiang, T.H. Hsieh, Variational thermal quantum simulation via thermofield double states. Phys. Rev. Lett. 123(22), 220502 (2019)
V.P. Su, Variational preparation of the thermofield double state of the Sachdev-Ye-Kitaev model. Phys. Rev. A 104(1), 012427 (2021)
J. Martyn, B. Swingle, Product spectrum ansatz and the simplicity of thermal states. Phys. Rev. A 100(3), 032107 (2019)
K.A. Landsman, C. Figgatt, T. Schuster, N.M. Linke, B. Yoshida, N.Y. Yao, C. Monroe, Verified quantum information scrambling. Nature 567(7746), 61–65 (2019)
B. Yoshida, N.Y. Yao, Disentangling scrambling and decoherence via quantum teleportation. Phys. Rev. X 9, 011006 (2019)
C.B. Dağ, L.-M. Duan, Detection of out-of-time-order correlators and information scrambling in cold atoms: ladder-xx model. Phys. Rev. A 99(5), 052322 (2019)
B. Vermersch, A. Elben, L.M. Sieberer, N.Y. Yao, P. Zoller, Probing scrambling using statistical correlations between randomized measurements. Phys. Rev. X 9(2), 021061 (2019)
B. Swingle, G. Bentsen, M. Schleier-Smith, P. Hayden, Measuring the scrambling of quantum information. Phys. Rev. A 94, 040302 (2016)
G. Zhu, M. Hafezi, T. Grover, Measurement of many-body chaos using a quantum clock. Phys. Rev. A 94, 062329 (2016)
N.Y. Halpern, Jarzynski-like equality for the out-of-time-ordered correlator. Phys. Rev. A 95, 012120 (2017)
N.Y. Halpern, B. Swingle, J. Dressel, Quasiprobability behind the out-of-time-ordered correlator. Phys. Rev. A 97, 042105 (2018)
J. Dressel, J.R.G. Alonso, M. Waegell, N.Y. Halpern, Strengthening weak measurements of qubit out-of-time-order correlators. Phys. Rev. A 98, 012132 (2018)
N. Tsuji, P. Werner, M. Ueda, Exact out-of-time-ordered correlation functions for an interacting lattice fermion model. Phys. Rev. A 95, 011601 (2017)
A. Bohrdt, C.B. Mendl, M. Endres, M. Knap, Scrambling and thermalization in a diffusive quantum many-body system. New J. Phys. 19(6), 063001 (2017)
J. Li, R. Fan, H. Wang, B. Ye, B. Zeng, H. Zhai, X. Peng, D. Jiangfeng, Measuring out-of-time-order correlators on a nuclear magnetic resonance quantum simulator. Phys. Rev. X 7(3), 031011 (2017)
K.X. Wei, C. Ramanathan, P. Cappellaro, Exploring localization in nuclear spin chains. Phys. Rev. Lett. 120(7), 070501 (2018)
X. Nie, Z. Zhang, X. Zhao, T. Xin, D. Lu, J. Li, Detecting scrambling via statistical correlations between randomized measurements on an nmr quantum simulator (2019). arXiv preprint arXiv:1903.12237
M.K. Joshi, A. Elben, B. Vermersch, T. Brydges, C. Maier, P. Zoller, R. Blatt, C.F. Roos, Quantum information scrambling in a trapped-ion quantum simulator with tunable range interactions. Phys. Rev. Lett. 124(24), 240505 (2020)
S. Pegahan, I. Arakelyan, J.E. Thomas, Energy-resolved information scrambling in energy-space lattices. Phys. Rev. Lett. 126(7), 070601 (2021)
M. Gärttner, J.G. Bohnet, A. Safavi-Naini, M.L. Wall, J.J. Bollinger, A.M. Rey, Measuring out-of-time-order correlations and multiple quantum spectra in a trapped-ion quantum magnet. Nat. Phys. 13(8), 781–786 (2017)
J. Braumüller, A.H. Karamlou, Y. Yanay, B. Kannan, D. Kim, M. Kjaergaard, A. Melville, B.M. Niedzielski, Y. Sung, A. Vepsäläinen et al, Probing quantum information propagation with out-of-time-ordered correlators (2021). arXiv preprint arXiv:2102.11751
A.M. Green, A. Elben, C.H. Alderete, L.K. Joshi, N.H. Nguyen, T.V. Zache, Y. Zhu, B. Sundar, N.M. Linke, Experimental measurement of out-of-time-ordered correlators at finite temperature (2021). arXiv preprint arXiv:2112.02068 (Accepted in PRL)
M. Ammon, J. Erdmenger, Gauge/gravity Duality: Foundations and Applications (Cambridge University Press, Cambridge, 2015)
J. Penedones, Tasi lectures on ads/cft, in New Frontiers in Fields and Strings: TASI 2015 Proceedings of the 2015 Theoretical Advanced Study Institute in Elementary Particle Physics (World Scientific, 2017), p. 75–136
E. D’Hoker, D.Z. Freedman, Supersymmetric gauge theories and the ads/cft correspondence, in Strings, Branes and Extra Dimensions: TASI 2001 (World Scientific, 2004), p. 3–159
V. Jahnke, Recent developments in the holographic description of quantum chaos. Adv. High Energy Phys. 2019, 9632708 (2019)
S. Sachdev, Condensed Matter and AdS/CFT. Lect. Notes Phys. 828, 273–311 (2011)
T. Nishioka, Entanglement entropy: holography and renormalization group. Rev. Mod. Phys. 90(3), 035007 (2018)
A. Bhattacharyya, Lessons for Gravity from Entanglement, Ph.D. Thesis (2015)
M. Natsuume, AdS/CFT Duality User Guide, vol. 903 (Springer, Berlin, 2015)
J. Erdmenger, N. Evans, I. Kirsch, E. Threlfall, Mesons in gauge/gravity duals: a review. Eur. Phys. J. A 35, 81–133 (2008)
C. Jana, R. Loganayagam, M. Rangamani, Open quantum systems and Schwinger–Keldysh holograms. JHEP 07, 242 (2020)
H. Liu, J. Sonner, Holographic systems far from equilibrium: a review. Rep. Prog. Phys. 83(1), 016001 (2019)
N. Beisert et al., Review of AdS/CFT integrability: an overview. Lett. Math. Phys. 99, 3–32 (2012)
T. Kibe, P. Mandayam, A. Mukhopadhyay, Holographic spacetime, black holes and quantum error correcting codes: a review (2021). arXiv preprint arXiv:2110.14669
A. Einstein, B. Podolsky, N. Rosen, Can quantum mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935)
C.W. Misner, J.A. Wheeler, Classical physics as geometry: Gravitation, electromagnetism, unquantized charge, and mass as properties of curved empty space. Ann. Phys. 2, 525–603 (1957)
A. Einstein, N. Rosen, The particle problem in the general theory of relativity. Phys. Rev. 48, 73–77 (1935)
M. Van Raamsdonk, Building up spacetime with quantum entanglement. Gen. Relativ. Gravit. 42, 2323–2329 (2010)
M. Banados, C. Teitelboim, J. Zanelli, The Black hole in three-dimensional space-time. Phys. Rev. Lett. 69, 1849–1851 (1992)
E. Keski-Vakkuri, Bulk and boundary dynamics in BTZ black holes. Phys. Rev. D 59, 104001 (1999)
L. Susskind, Y. Zhao, Teleportation through the wormhole. Phys. Rev. D 98(4), 046016 (2018)
M.S. Morris, K.S. Thorne, Wormholes in space-time and their use for interstellar travel: a tool for teaching general relativity. Am. J. Phys. 56, 395–412 (1988)
M. Visser, Lorentzian Wormholes from Einstein to Hawking (Woodbury, New York, 1995)
J. Maldacena, A. Milekhin, Humanly traversable wormholes. Phys. Rev. D 103(6), 066007 (2021)
B. Ahn, Y. Ahn, S.-E. Bak, V. Jahnke, K.-Y. Kim, Holographic teleportation in higher dimensions. JHEP 07, 219 (2021)
N. Charkie, Tabletop quantum gravity: roadmap. Master’s thesis, Lebanese University, Hadath, Beirut (2020)
D. Stanford. New roles for wormholes (2020). https://www.youtube.com/watch?v=-hfcApA9s8Q
X.O. Camanho, J.D. Edelstein, J. Maldacena, A. Zhiboedov, Causality constraints on corrections to the graviton three-point coupling. JHEP 02, 020 (2016)
I.I. Shapiro, Fourth test of general relativity. Phys. Rev. Lett. 13, 789–791 (1964)
P. Hosur, X.-L. Qi, D.A. Roberts, B. Yoshida, Chaos in quantum channels. J. High Energy Phys. 2, 4 (2016)
W. Israel, Thermo-field dynamics of black holes. Phys. Lett. A 57(2), 107–110 (1976)
Y. Takahashi, H. Umezawa, Thermo field dynamics. Int. J. Mod. Phys. B 10(13–14), 1755–1805 (1996)
J. Maldacena, X.-L. Qi, Eternal traversable wormhole (2018). arXiv preprint arXiv:1804.00491
D.A. Roberts, D. Stanford, L. Susskind, Localized shocks. J. High Energy Phys. 2015(3), 51 (2015)
K. Hashimoto, K. Murata, R. Yoshii, Out-of-time-order correlators in quantum mechanics. J. High Energy Phys. 2017(10), 138 (2017)
C.W. von Keyserlingk, T. Rakovszky, F. Pollmann, S.L. Sondhi, Operator hydrodynamics, otocs, and entanglement growth in systems without conservation laws. Phys. Rev. X 8, 021013 (2018)
Y. Liao, V. Galitski, Nonlinear sigma model approach to many-body quantum chaos: regularized and unregularized out-of-time-ordered correlators. Phys. Rev. B 98, 205124 (2018)
G. Bentsen, T. Hashizume, A.S. Buyskikh, E.J. Davis, A.J. Daley, S.S. Gubser, M. Schleier-Smith, Treelike interactions and fast scrambling with cold atoms. Phys. Rev. Lett. 123, 130601 (2019)
É. Lantagne-Hurtubise, S. Plugge, O. Can, M. Franz, Diagnosing quantum chaos in many-body systems using entanglement as a resource. Phys. Rev. Res. 2(1), 013254 (2020)
D.N. Page, Average entropy of a subsystem. Phys. Rev. Lett. 71, 1291–1294 (1993)
D.N. Page, Information in black hole radiation. Phys. Rev. Lett. 71, 3743–3746 (1993)
L.K. Grover, Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79(2), 325 (1997)
P. Gao, D.L. Jafferis, A traversable wormhole teleportation protocol in the syk model. JHEP 2021(7), 1–44 (2021)
X.L. Qi, A. Streicher, Quantum epidemiology: operator growth, thermal effects, and SYK. J. High Energy Phys. 8, 2019 (2019)
X. Mi, P. Roushan, C. Quintana, S. Mandrà, J. Marshall, C. Neill, F. Arute, K. Arya, J. Atalaya, R. Babbush et al., Information scrambling in quantum circuits. Science 374(6574), 1479–1483 (2021)
I. Bloch, J. Dalibard, S. Nascimbene, Quantum simulations with ultracold quantum gases. Nat. Phys. 8(4), 267–276 (2012)
C. Gross, I. Bloch, Quantum simulations with ultracold atoms in optical lattices. Science 357(6355), 995–1001 (2017)
T.F. Gallagher, Rydberg atoms. Number 3 (Cambridge University Press, Cambridge, 2005)
M. Saffman, T.G. Walker, K. Mølmer, Quantum information with rydberg atoms. Rev. Mod. Phys. 82(3), 2313 (2010)
X. Wu, X. Liang, Y. Tian, F. Yang, C. Chen, Y.-C. Liu, M.K. Tey, L. You, A concise review of rydberg atom based quantum computation and quantum simulation. Chin. Phys. B (2020)
A.A. Houck, H.E. Türeci, J. Koch, On-chip quantum simulation with superconducting circuits. Nat. Phys. 8(4), 292–299 (2012)
M. Kjaergaard, M.E. Schwartz, J. Braumüller, P. Krantz, J.I.-J. Wang, S. Gustavsson, W.D. Oliver, Superconducting qubits: current state of play. Annu. Rev. Condens. Matter Phys. 11, 369–395 (2020)
L.M.K. Vandersypen, I.L. Chuang, Nmr techniques for quantum control and computation. Rev. Mod. Phys. 76(4), 1037 (2005)
J.A. Jones, Quantum computing with nmr. Prog. NMR Spectrosc. 59, 91–120 (2011)
I. Oliveira, R. Sarthour Jr., T. Bonagamba, E. Azevedo, J.C.C. Freitas, NMR Quantum Information Processing (Elsevier, New York, 2011)
A. Aspuru-Guzik, P. Walther, Photonic quantum simulators. Nat. Phys. 8(4), 285–291 (2012)
D.E. Chang, V. Vuletić, M.D. Lukin, Quantum nonlinear optics-photon by photon. Nat. Photonics 8(9), 685–694 (2014)
A. Browaeys, D. Barredo, T. Lahaye, Experimental investigations of dipole-dipole interactions between a few rydberg atoms. J. Phys. B At. Mol. Opt. Phys. 49(15), 152001 (2016)
I. Mourachko, D. Comparat, F. De Tomasi, A. Fioretti, P. Nosbaum, V.M. Akulin, P. Pillet, Many-body effects in a frozen rydberg gas. Phys. Rev. Lett. 80(2), 253 (1998)
W.R. Anderson, J.R. Veale, T.F. Gallagher, Resonant dipole–dipole energy transfer in a nearly frozen rydberg gas. Phys. Rev. Lett. 80(2), 249 (1998)
N. Schlosser, G. Reymond, I. Protsenko, P. Grangier, Sub-poissonian loading of single atoms in a microscopic dipole trap. Nature 411(6841), 1024–1027 (2001)
M. Endres, H. Bernien, A. Keesling, H. Levine, E.R. Anschuetz, A. Krajenbrink, C. Senko, V. Vuletić, M. Greiner, M.D. Lukin, Atom-by-atom assembly of defect-free one-dimensional cold atom arrays. Science 354(6315), 1024–1027 (2016)
D. Barredo, S. De Léséleuc, V. Lienhard, T. Lahaye, A. Browaeys, An atom-by-atom assembler of defect-free arbitrary two-dimensional atomic arrays. Science 354(6315), 1021–1023 (2016)
H. Kim, W. Lee, H. Lee, H. Jo, Y. Song, J. Ahn, In situ single-atom array synthesis using dynamic holographic optical tweezers. Nat. Commun. 7(1), 1–8 (2016)
W. Lee, H. Kim, J. Ahn, Three-dimensional rearrangement of single atoms using actively controlled optical microtraps. Opt. Express 24(9), 9816–9825 (2016)
D. Ohl, D. de Mello, J.W. Schäffner, T. Preuschoff, L. Kohfahl, M. Schlosser, G. Birkl, Defect-free assembly of 2d clusters of more than 100 single-atom quantum systems. Phys. Rev. Lett. 122(20), 203601 (2019)
D. Barredo, V. Lienhard, S. De Leseleuc, T. Lahaye, A. Browaeys, Synthetic three-dimensional atomic structures assembled atom by atom. Nature 561(7721), 79–82 (2018)
H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Omran, H. Pichler, S. Choi, A.S. Zibrov, M. Endres, M. Greiner, V. Vuletić, M.D. Lukin, Probing many-body dynamics on a 51-atom quantum simulator. Nature 551(7682), 579–584 (2017)
P. Scholl, M. Schuler, H.J. Williams, A.A. Eberharter, D. Barredo, K.-N. Schymik, V. Lienhard, L.-P. Henry, T.C. Lang, T. Lahaye, A.M. Läuchli, A. Browaeys, Quantum simulation of 2d antiferromagnets with hundreds of rydberg atoms. Nature 595(7866), 233–238 (2021)
S. Ebadi, T.T. Wang, H. Levine, A. Keesling, G. Semeghini, A. Omran, D. Bluvstein, R. Samajdar, H. Pichler, W.W. Ho, S. Choi, S. Sachdev, M. Greiner, V. Vuletić, M.D. Lukin, Quantum phases of matter on a 256-atom programmable quantum simulator. Nature 595(7866), 227–232 (2021)
D. Jaksch, J.I. Cirac, P. Zoller, S.L. Rolston, R. Côté, M.D. Lukin, Fast quantum gates for neutral atoms. Phys. Rev. Lett. 85(10), 2208 (2000)
M.D. Lukin, M. Fleischhauer, R. Côté, L.M. Duan, D. Jaksch, J.I. Cirac, P. Zoller, Dipole blockade and quantum information processing in mesoscopic atomic ensembles. Phys. Rev. Lett. 87(3), 037901 (2001)
T.G. Walker, M. Saffman, Entanglement of two atoms using rydberg blockade, in Advances in Atomic, Molecular, and Optical Physics, volume 61 (Elsevier, 2012), p. 81–115
E. Urban, T.A. Johnson, T. Henage, L. Isenhower, D.D. Yavuz, T.G. Walker, M. Saffman, Observation of rydberg blockade between two atoms. Nat. Phys. 5(2), 110–114 (2009)
A. Gaetan, Y. Miroshnychenko, T. Wilk, A. Chotia, M. Viteau, D. Comparat, P. Pillet, A. Browaeys, P. Grangier, Observation of collective excitation of two individual atoms in the rydberg blockade regime. Nat. Phys. 5(2), 115–118 (2009)
A. Tatjana Wilk, C.E. Gaëtan, J. Wolters, Y. Miroshnychenko, P. Grangier, A. Browaeys, Entanglement of two individual neutral atoms using rydberg blockade. Phys. Rev. Lett. 104(1), 010502 (2010)
D. Comparat, P. Pillet, Dipole blockade in a cold rydberg atomic sample. J. Opt. Soc. Am. B 27(6), A208–A232 (2010)
G. Semeghini, H. Levine, A. Keesling, S. Ebadi, T.T. Wang, D. Bluvstein, R. Verresen, H. Pichler, M. Kalinowski, R. Samajdar, A. Omran, S. Sachdev, A. Vishwanath, M. Greiner, V. Vuletić, M.D. Lukin, Probing topological spin liquids on a programmable quantum simulator. Science 374(6572), 1242–1247 (2021)
I.S. Madjarov, J.P. Covey, A.L. Shaw, J. Choi, A. Kale, A. Cooper, H. Pichler, V. Schkolnik, J.R. Williams, M. Endres, High-fidelity entanglement and detection of alkaline-earth rydberg atoms. Nat. Phys. 16(8), 857–861 (2020)
L. Isenhower, E. Urban, X.L. Zhang, A.T. Gill, T. Henage, T.A. Johnson, T.G. Walker, M. Saffman, Demonstration of a neutral atom controlled-not quantum gate. Phys. Rev. Lett. 104(1), 010503 (2010)
H. Levine, A. Keesling, G. Semeghini, A. Omran, T.T. Wang, S. Ebadi, H. Bernien, M. Greiner, V. Vuletić, H. Pichler, M.D. Lukin, Parallel implementation of high-fidelity multiqubit gates with neutral atoms. Phys. Rev. Lett. 123(17), 170503 (2019)
X.L. Zhang, L. Isenhower, A.T. Gill, T.G. Walker, M. Saffman, Deterministic entanglement of two neutral atoms via rydberg blockade. Phys. Rev. A 82(3), 030306 (2010)
K.M. Maller, M.T. Lichtman, T. Xia, Y. Sun, M.J. Piotrowicz, A.W. Carr, L. Isenhower, M. Saffman, Rydberg-blockade controlled-not gate and entanglement in a two-dimensional array of neutral-atom qubits. Phys. Rev. A 92(2), 022336 (2015)
M.K. Joshi, F. Kranzl, A. Schuckert, I. Lovas, C. Maier, R. Blatt, M. Knap, C.F. Roos, Observing emergent hydrodynamics in a long-range quantum magnet (2021). arXiv preprint arXiv:2107.00033
J. Zhang, G. Pagano, P.W. Hess, A. Kyprianidis, P. Becker, H. Kaplan, A.V. Gorshkov, Z.-X. Gong, C. Monroe, Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator. Nature 551(7682), 601–604 (2017)
D. Kielpinski, B.E. King, C.J. Myatt, C.A. Sackett, Q.A. Turchette, W.M. Itano, C. Monroe, D.J. Wineland, W.H. Zurek, Sympathetic cooling of trapped ions for quantum logic. Phys. Rev. A 61(3), 032310 (2000)
J.P. Home, D. Hanneke, J.D. Jost, D. Leibfried, D.J. Wineland, Normal modes of trapped ions in the presence of anharmonic trap potentials. New J. Phys. 13(7), 073026 (2011)
J.I. Cirac, P. Zoller, Quantum computations with cold trapped ions. Phys. Rev. Lett. 74(20), 4091 (1995)
L. Feng, W.L. Tan, A. De, A. Menon, A. Chu, G. Pagano, C. Monroe, Efficient ground-state cooling of large trapped-ion chains with an electromagnetically-induced-transparency tripod scheme. Phys. Rev. Lett. 125(5), 053001 (2020)
A. Sørensen, K. Mølmer, Entanglement and quantum computation with ions in thermal motion. Phys. Rev. A 62(2), 022311 (2000)
G. Kirchmair, J. Benhelm, F. Zähringer, R. Gerritsma, C.F. Roos, R. Blatt, Deterministic entanglement of ions in thermal states of motion. New J. Phys. 11(2), 023002 (2009)
G. Kirchmair, J. Benhelm, F. Zähringer, R. Gerritsma, C.F. Roos, R. Blatt, High-fidelity entanglement of ca+ 43 hyperfine clock states. Phys. Rev. A 79(2), 020304 (2009)
E.E. Edwards, S. Korenblit, K. Kim, R. Islam, M.-S. Chang, J.K. Freericks, G.-D. Lin, L.-M. Duan, C. Monroe, Quantum simulation and phase diagram of the transverse-field ising model with three atomic spins. Phys. Rev. B 82(6), 060412 (2010)
J.P. Gaebler, T.R. Tan, Y. Lin, Y. Wan, R. Bowler, A.C. Keith, S. Glancy, K. Coakley, E. Knill, D. Leibfried, D.J. Wineland, High-fidelity universal gate set for be 9+ ion qubits. Phys. Rev. Lett. 117(6), 060505 (2016)
T.R. Tan, J.P. Gaebler, Y. Lin, R. Yong Wan, D.L. Bowler, D.J. Wineland, Multi-element logic gates for trapped-ion qubits. Nature 528(7582), 380–383 (2015)
L. Egan, D.M. Debroy, C. Noel, A. Risinger, D. Zhu, D. Biswas, M. Newman, M. Li, K.R. Brown, M. Cetina, et al., Fault-tolerant operation of a quantum error-correction code (2020). arXiv preprint arXiv:2009.11482
C.R. Clark, H.N. Tinkey, B.C. Sawyer, A.M. Meier, K.A. Burkhardt, C.M. Seck, C.M. Shappert, N.D. Guise, C.E. Volin, S.D. Fallek, H.T. Hayden, W.G. Rellergert, K.R. Brown, High-fidelity bell-state preparation with \(^{40}{\rm ca}^{+}\) optical qubits. Phys. Rev. Lett. 127, 130505 (2021)
L. García-Álvarez, I.L. Egusquiza, L. Lamata, A. del Campo, J. Sonner, E. Solano, Digital quantum simulation of minimal \({\rm AdS}/{\rm CFT}\). Phys. Rev. Lett. 119, 040501 (2017)
R. Babbush, D.W. Berry, H. Neven, Quantum simulation of the sachdev-ye-kitaev model by asymmetric qubitization. Phys. Rev. A 99(4), 040301 (2019)
A.J. Buser, H. Gharibyan, M. Hanada, M. Honda, J. Liu, Quantum simulation of gauge theory via orbifold lattice. JHEP 09, 034 (2021)
H. Gharibyan, M. Hanada, M. Honda, J. Liu, Toward simulating superstring/M-theory on a quantum computer. JHEP 07, 140 (2021)
T.F. Stetina, A. Ciavarella, X. Li, N. Wiebe, Simulating effective QED on quantum computers. Quantum 6, 622 (2022)
A. Ciavarella, N. Klco, M.J. Savage, Trailhead for quantum simulation of SU(3) Yang-Mills lattice gauge theory in the local multiplet basis. Phys. Rev. D 103(9), 094501 (2021)
Z. Davoudi, N.M. Linke, G. Pagano, Toward simulating quantum field theories with controlled phonon-ion dynamics: a hybrid analog-digital approach. Phys. Rev. Res. 3(4), 043072 (2021)
C. Culver, D. Schaich. Quantum computing for lattice supersymmetry, in 38th International Symposium on Lattice Field Theory, 12 (2021)
A.N. Ciavarella, I.A. Chernyshev, Preparation of the SU(3) Lattice Yang-Mills Vacuum with Variational Quantum Methods. 12 (2021)
J. Liu, J. Sun, X. Yuan, Towards a variational Jordan-Lee-Preskill quantum algorithm. 9 (2021)
N. Klco, A. Roggero, M.J. Savage, Standard Model physics and the digital quantum revolution: thoughts about the interface. 7 (2021)
M. Honda, E. Itou, Y. Kikuchi, L. Nagano, T. Okuda, Classically emulated digital quantum simulation for screening and confinement in the Schwinger model with a topological term. Phys. Rev. D 105(1), 014504 (2022)
E. Farhi, J. Goldstone, S. Gutmann, A quantum approximate optimization algorithm (2014). arXiv preprint arXiv:1411.4028
S. Hadfield, Z. Wang, B. O’Gorman, E.G. Rieffel, D. Venturelli, R. Biswas, From the quantum approximate optimization algorithm to a quantum alternating operator ansatz. Algorithms 12(2), 34 (2019)
M. Cerezo, A. Arrasmith, R. Babbush, S.C. Benjamin, S. Endo, K. Fujii, J.R. McClean, K. Mitarai, X. Yuan, L. Cincio, P.J. Coles, Variational quantum algorithms. Nat. Rev. Phys. 1–20 (2021)
C. Kokail, C. Maier, R. van Bijnen, T. Brydges, M.K. Joshi, P. Jurcevic, C.A. Muschik, P. Silvi, R. Blatt, C.F. Roos, P. Zoller, Self-verifying variational quantum simulation of lattice models. Nature 569(7756), 355–360 (2019)
M.P. Harrigan, K.J. Sung, M. Neeley, K.J. Satzinger, F. Arute, K. Arya, J. Atalaya, J.C. Bardin, R. Barends, S. Boixo et al., Quantum approximate optimization of non-planar graph problems on a planar superconducting processor. Nat. Phys. 17(3), 332–336 (2021)
G. Pagano, A. Bapat, P. Becker, K.S. Collins, A. De, P.W. Hess, H.B. Kaplan, A. Kyprianidis, W.L. Tan, C. Baldwin, L.T. Brady, A. Deshpande, F. Liu, S. Jordan, A.V. Gorshkov, C. Monroe, Quantum approximate optimization of the long-range ising model with a trapped-ion quantum simulator. Proc. Natl. Acad. Sci. 117(41), 25396–25401 (2020)
P.J.J. O’Malley, R. Babbush, I.D. Kivlichan, J. Romero, J.R. McClean, R. Barends, J. Kelly, P. Roushan, A. Tranter, N. Ding et al., Scalable quantum simulation of molecular energies. Phys. Rev. X 6(3), 031007 (2016)
C. Hempel, C. Maier, J. Romero, J. McClean, T. Monz, H. Shen, P. Jurcevic, B.P. Lanyon, P. Love, R. Babbush et al., Quantum chemistry calculations on a trapped-ion quantum simulator. Phys. Rev. X 8(3), 031022 (2018)
A. Peruzzo, J. McClean, P. Shadbolt, M.-H. Yung, X.-Q. Zhou, P.J. Love, A. Aspuru-Guzik, J.L. O’brien, A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1), 1–7 (2014)
E.F. Dumitrescu, A.J. McCaskey, G. Hagen, G.R. Jansen, T.D. Morris, T. Papenbrock, R.C. Pooser, D.J. Dean, P. Lougovski, Cloud quantum computing of an atomic nucleus. Phys. Rev. Lett. 120(21), 210501 (2018)
A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J.M. Chow, J.M. Gambetta, Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549(7671), 242–246 (2017)
N. Klco, E.F. Dumitrescu, A.J. McCaskey, T.D. Morris, R.C. Pooser, M. Sanz, E. Solano, P. Lougovski, M.J. Savage, Quantum-classical computation of schwinger model dynamics using quantum computers. Phys. Rev. A 98(3), 032331 (2018)
B. Sundar, R. Paredes, D.T. Damanik, L. Duenas-Osorio, K.R.A. Hazzard, A quantum algorithm to count weighted ground states of classical spin hamiltonians (2019). arXiv preprint arXiv:1908.01745
C. Kokail, B. Sundar, T.V. Zache, A. Elben, B. Vermersch, M. Dalmonte, R. van Bijnen, P. Zoller, Quantum variational learning of the entanglement hamiltonian. Phys. Rev. Lett. 127, 170501 (2021)
D. Wecker, M.B. Hastings, M. Troyer, Progress towards practical quantum variational algorithms. Phys. Rev. A 92(4), 042303 (2015)
R.J. Garcia, Y. Zhou, A. Jaffe, Quantum scrambling with classical shadows. Phys. Rev. Res. 3, 033155 (2021)
M.S. Blok, V.V. Ramasesh, K. Thomas Schuster, J.M. O’Brien, D.D. Kreikebaum, A. Morvan, B. Yoshida, N.Y. Yao, I. Siddiqi, Quantum information scrambling on a superconducting qutrit processor. Phys. Rev. X 11(2), 021010 (2021)
B. Vermersch, A. Elben, L.M. Sieberer, N.Y. Yao, P. Zoller, Probing scrambling using statistical correlations between randomized measurements. Phys. Rev. X 9, 021061 (2019)
A.J. Daley, Quantum trajectories and open many-body quantum systems. Adv. Phys. 63(2), 77–149 (2014)
N. Bao, Y. Kikuchi, Hayden–Preskill decoding from noisy Hawking radiation. J. High Energy Phys. 2021(2), 17 (2021)
X.-L. Qi, E.J. Davis, A. Periwal, M. Schleier-Smith, Measuring operator size growth in quantum quench experiments (2019). arXiv preprint arXiv:1906.00524
L. Susskind, Complexity and Newton’s Laws. Front. Phys. 8, 262 (2020)
L. Susskind, Y. Zhao, Complexity and momentum. JHEP 21, 239 (2020)
J.L.F. Barbon, J. Martin-Garcia, M. Sasieta, Proof of a momentum/complexity correspondence. Phys. Rev. D 102(10), 101901 (2020)
H.W. Lin, J. Maldacena, Y. Zhao, Symmetries near the Horizon. JHEP 08, 049 (2019)
R. Jefferson, R.C. Myers, Circuit complexity in quantum field theory. JHEP 10, 107 (2017)
L. Hackl, R.C. Myers, Circuit complexity for free fermions. JHEP 07, 139 (2018)
R. Khan, C. Krishnan, S. Sharma, Circuit complexity in fermionic field theory. Phys. Rev. D 98(12), 126001 (2018)
S. Chapman, M.P. Heller, H. Marrochio, F. Pastawski, Toward a definition of complexity for quantum field theory states. Phys. Rev. Lett. 120(12), 121602 (2018)
A. Bhattacharyya, A. Shekar, A. Sinha, Circuit complexity in interacting QFTs and RG flows. JHEP 10, 140 (2018)
T. Ali, S. Arpan Bhattacharyya, S. Haque, E.H. Kim, N. Moynihan, Time evolution of complexity: a critique of three methods. JHEP 04, 087 (2019)
S. Chapman, J. Eisert, L. Hackl, M.P. Heller, R. Jefferson, H. Marrochio, R.C. Myers, Complexity and entanglement for thermofield double states. SciPost Phys. 6(3), 034 (2019)
A. Bhattacharyya, P. Nandy, A. Sinha, Renormalized circuit complexity. Phys. Rev. Lett. 124(10), 101602 (2020)
A. Bhattacharyya, Circuit complexity and (some of) its applications. Int. J. Mod. Phys. E 30(07), 2130005 (2021)
P. Caputa, J.M. Magan, Quantum computation as gravity. Phys. Rev. Lett. 122(23), 231302 (2019)
M. Flory, M.P. Heller, Conformal field theory complexity from Euler–Arnold equations. JHEP 12, 091 (2020)
J. Erdmenger, M. Gerbershagen, A.-L. Weigel, Complexity measures from geometric actions on Virasoro and Kac–Moody orbits. JHEP 11, 003 (2020)
N. Chagnet, S. Chapman, J. de Boer, C. Zukowski, Complexity for conformal field theories in general dimensions (2021). arXiv preprint arXiv:2103.06920
E. Rabinovici, A. Sánchez-Garrido, R. Shir, J. Sonner, Operator complexity: a journey to the edge of Krylov space. JHEP 06, 062 (2021)
S. Chapman, G. Policastro, Quantum computational complexity from quantum information to black holes and back. Eur. Phys. J. C 82(2), 128 (2022)
A. Almheiri, R. Mahajan, J. Maldacena, Islands outside the horizon (2019). arXiv preprint arXiv:1910.11077
G. Penington, Entanglement wedge reconstruction and the information paradox. JHEP 2020(9), 1–84 (2020)
A. Peach, S.F. Ross, Tensor network models of multiboundary wormholes. Class. Quantum Gravity 34(10), 105011 (2017)
J. Wheeler, Geons. Phys. Rev. 97, 511–536 (1955)
D. Garfinkle, A. Strominger, Semiclassical wheeler wormhole production. Phys. Lett. B 256(2), 146–149 (1991)
H. Verlinde, Wormholes in quantum mechanics (2021). arXiv preprint arXiv:2105.02129
R. van Breukelen, K. Papadodimas, Quantum teleportation through time-shifted AdS wormholes. J. High Energy Phys. 2018(8), 142 (2018)
F.S. Nogueira, S. Banerjee, M. Dorband, R. Meyer, J. van den Brink, J. Erdmenger, Geometric phases distinguish entangled states in wormhole quantum mechanics (2021). arXiv preprint arXiv:2109.06190
A. Zaffaroni, Introduction to the AdS-CFT correspondence. Class. Quantum Gravity 17, 3571–3597 (2000)
P. Di Francesco, P. Mathieu, D. Senechal, Conformal Field Theory. Graduate Texts in Contemporary Physics (Springer, New York, 1997)
A. Bagchi, R. Fareghbal, BMS/GCA redux: towards flatspace holography from non-relativistic symmetries. JHEP 10, 092 (2012)
E. Caceres, A. Kundu, A.K. Patra, S. Shashi, A killing vector treatment of multiboundary wormholes. JHEP 02, 149 (2020)
V. Lienhard, S. de Léséleuc, D. Barredo, T. Lahaye, A. Browaeys, M. Schuler, L.-P. Henry, A.M. Läuchli, Observing the space-and time-dependent growth of correlations in dynamically tuned synthetic ising models with antiferromagnetic interactions. Phys. Rev. X 8(2), 021070 (2018)
E. Guardado-Sanchez, P.T. Brown, D. Mitra, T. Devakul, D.A. Huse, P. Schauß, W.S. Bakr, Probing the quench dynamics of antiferromagnetic correlations in a 2d quantum ising spin system. Phys. Rev. X 8(2), 021069 (2018)
P. Schauß, J. Zeiher, T. Fukuhara, S. Hild, M. Cheneau, T. Macrì, T. Pohl, I. Bloch, C. Groß, Crystallization in ising quantum magnets. Science 347(6229), 1455–1458 (2015)
W. Lee, M. Kim, H. Jo, Y. Song, J. Ahn, Coherent and dissipative dynamics of entangled few-body systems of rydberg atoms. Phys. Rev. A 99(4), 043404 (2019)
S. De Léséleuc, S. Weber, V. Lienhard, D. Barredo, H.P. Büchler, T. Lahaye, A. Browaeys, Accurate mapping of multilevel rydberg atoms on interacting spin-1/2 particles for the quantum simulation of ising models. Phys. Rev. Lett. 120(11), 113602 (2018)
P. Schauß, M. Cheneau, M. Endres, T. Fukuhara, S. Hild, A. Omran, T. Pohl, C. Gross, S. Kuhr, I. Bloch, Observation of spatially ordered structures in a two-dimensional rydberg gas. Nature 491(7422), 87–91 (2012)
H. Labuhn, D. Barredo, S. Ravets, S. De Léséleuc, T. Macrì, T. Lahaye, A. Browaeys, Tunable two-dimensional arrays of single rydberg atoms for realizing quantum ising models. Nature 534(7609), 667–670 (2016)
J. Zeiher, R. Van Bijnen, P. Schauß, S. Hild, J. Choi, T. Pohl, I. Bloch, C. Gross, Many-body interferometry of a rydberg-dressed spin lattice. Nat. Phys. 12(12), 1095–1099 (2016)
J. Zeiher, J. Choi, A. Rubio-Abadal, T. Pohl, R. Van Bijnen, I. Bloch, C. Gross, Coherent many-body spin dynamics in a long-range interacting ising chain. Phys. Rev. X 7(4), 041063 (2017)
E. Guardado-Sanchez, B.M. Spar, P. Schauss, R. Belyansky, J.T. Young, P. Bienias, A.V. Gorshkov, T. Iadecola, W.S. Bakr, Quench dynamics of a fermi gas with strong nonlocal interactions. Phys. Rev. X 11(2), 021036 (2021)
V. Borish, O. Marković, J.A. Hines, S.V. Rajagopal, M. Schleier-Smith, Transverse-field ising dynamics in a rydberg-dressed atomic gas. Phys. Rev. Lett. 124(6), 063601 (2020)
Y.-Y. Jau, A.M. Hankin, T. Keating, I.H. Deutsch, G.W. Biedermann, Entangling atomic spins with a rydberg-dressed spin-flip blockade. Nat. Phys. 12(1), 71–74 (2016)
S. de Léséleuc, V. Lienhard, P. Scholl, D. Barredo, S. Weber, N. Lang, H.P. Büchler, T. Lahaye, A. Browaeys, Observation of a symmetry-protected topological phase of interacting bosons with rydberg atoms. Science 365(6455), 775–780 (2019)
W.P. Su, J.R. Schrieffer, A.J. Heeger, Solitons in polyacetylene. Phys. Rev. Lett. 42(25), 1698 (1979)
A.J. Heeger, S. Kivelson, J.R. Schrieffer, W.P. Su, Solitons in conducting polymers. Rev. Mod. Phys. 60(3), 781 (1988)
C. Monroe, D.M. Meekhof, B.E. King, W.M. Itano, D.J. Wineland, Demonstration of a fundamental quantum logic gate. Phys. Rev. Lett. 75(25), 4714 (1995)
F. Schmidt-Kaler, H. Häffner, M. Riebe, S. Gulde, G.P.T. Lancaster, T. Deuschle, C. Becher, C.F. Roos, J. Eschner, R. Blatt, Realization of the cirac-zoller controlled-not quantum gate. Nature 422(6930), 408–411 (2003)
F. Schmidt-Kaler, S. Hartmut Häffner, M.R. Gulde, G.P.T. Lancaster, T. Deuschle, C. Becher, W. Hänsel, J. Eschner, C.F. Roos, R. Blatt, How to realize a universal quantum gate with trapped ions. Appl. Phys. B 77(8), 789–796 (2003)
M. Riebe, K. Kim, P. Schindler, P.O. Thomas Monz, T.K. Schmidt, W.H. Körber, H. Häffner, C.F. Roos, R. Blatt, Process tomography of ion trap quantum gates. Phys. Rev. Lett. 97(22), 220407 (2006)
F. Mivehvar, F. Piazza, T. Donner, H. Ritsch, Cavity qed with quantum gases: new paradigms in many-body physics. Adv. Phys. 70(1), 1–153 (2021)
B.P. Lanyon, C. Hempel, D. Nigg, M. Müller, F. Rene Gerritsma, P.S. Zähringer, J.T. Barreiro, M. Rambach, M. Gerhard Kirchmair, P.Z. Hennrich, R. Blatt, C.F. Roos, Universal digital quantum simulation with trapped ions. Science 334(6052), 57–61 (2011)
M.-S. Kihwan Kim, R.I. Chang, S. Korenblit, L.-M. Duan, C. Monroe, Entanglement and tunable spin-spin couplings between trapped ions using multiple transverse modes. Phys. Rev. Lett. 103(12), 120502 (2009)
S. Korenblit, D. Kafri, W.C. Campbell, R. Islam, E.E. Edwards, Z.-X. Gong, G.-D. Lin, L.-M. Duan, J. Kim, K. Kim, C. Monroe, Quantum simulation of spin models on an arbitrary lattice with trapped ions. New J. Phys. 14(9), 095024 (2012)
P. Richerme, C. Senko, S. Korenblit, J. Smith, A. Lee, R. Islam, W.C. Campbell, C. Monroe, Quantum catalysis of magnetic phase transitions in a quantum simulator. Phys. Rev. Lett. 111(10), 100506 (2013)
R. Islam, C. Senko, W.C. Campbell, S. Korenblit, J. Smith, A. Lee, E.E. Edwards, C.-C.J. Wang, J.K. Freericks, C. Monroe, Emergence and frustration of magnetism with variable-range interactions in a quantum simulator. Science 340(6132), 583–587 (2013)
Acknowledgements
We thank Hannes Pichler, Benoît Vermersch, Norman Y. Yao and Peter Zoller for fruitful discussions, and Andreas Elben, Torsten V. Zache for collaboration on related projects. We thank Ana Maria Rey and Murray Holland for a careful reading of the manuscript. We thank Manoj K. Joshi for comments on the section on quantum simulation platforms, Benoît Vermersch for comments on randomized measurement protocol for OTOCs and Andreas Elben for various useful comments. A.B would like to thank Wissam Chemissany and Nariman Chrakie and speakers of the workshop “Quantum Information in QFT and AdS/CFT-II ” (https://events.iitgn.ac.in/2021/qi/) for various useful discussion which have made him interested in this particular topic. A.B is supported by Start-Up Research Grant (SRG/2020/001380), Mathematical Research Impact Centric Support Grant (MTR/2021/000490) by the Department of Science and Technology Science and Engineering Research Board (India) and Relevant Research Project grant (58/14/12/2021- BRNS) by the Board Of Research In Nuclear Sciences (BRNS), Department of mic Energy, India. LKJ acknowledges European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 731473 (QuantERA via QT-FLAG) and the Austrian Science Foundation (FWF, P 32597 N). LKJ also acknowledges virtual hospitality of Indian Institute of Technology Madras, Chennai where parts of this work were presented in May 2020.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Some details about AdS/CFT dictionary
Here we will briefly sketch out some details of the AdS/CFT dictionary. It has two aspects: Kinematical aspects and Dynamical aspects. We briefly review both of them below. For more details, interested readers are referred to [4, 117, 123, 273] and the citations therein.
Kinematical aspect First, we begin by discussing the generators of a conformal group in d dimensions. For simplicity, we will assume that the underlying CFT is defined on a flat Minkowski background. The conformal transformations consist of the following four transformations, and we quote the corresponding generators below [274].
where the i, j takes value from 0 to \(d-1,\) where 0 denotes the time coordinate. \(J^{ij}\) includes both the space-rotation and boost. \(J^{ij}\) is completely ant-symmetric in i, j indices. So it is evident that Poincare group (consisting of Translations and Rotations) is a subgroup of conformal group. The dilatation generators, scales the coordinates by a constant factor and the special conformal transformation (SCT) can be thought of a translation preceded and followed by an inversion. Now it can be shown that, these generators after suitable identification satisfy a SO(d, 2) algebra.
Now the isometry generators of \(AdS_{d+1}\) exactly satisfy this algebra and they are in one-to-one correspondence with the generators (global) of conformal group in one lower dimension [274].
Lets take a concrete example of \(AdS_3/CFT_2.\) For \(CFT_2\) we have 6 generators corresponding to the global conformal transformations. Now let us first write \(AdS_3\) in Poincare coordinates,Footnote 17
where the boundary of it is located at \(z=0.\) t is Lorentzian time. We below quote the isometry generators by solving the Killing equation and we quote the result below [78, 123, 275, 276].
We can show that they satisfy
SO(2, 2) algebra and \(a,b,c,d \in \{0,1,2,3\}.\) This precisely matches with the algebra of the global conformal generators in 3-dimensional Minkowski space and \(\eta _{ab}=\text {Diag}(-1,-1,1,1)\) a diagonal metric with two time signature [123, 274].
Also, the conformal boundary of the AdS in this coordinate is located at \(z=0.\) If we take the boundary limit on (A.3), one can easily see the one-to-one correspondence between theses generators and that of those for the global conformal group in one lower dimension, i.e. d=2 for this specific case. For example, in the boundary limit \(J_{12}\) in (A.3) corresponds to the Dilatation generator (D) of the boundary CFT.Footnote 18 One can easily generalize this result for arbitrary dimensions.Footnote 19
Dynamical aspect Now we will discuss the dynamical aspects of the duality. It states the equivalence between CFT and gravitational path-integral,
where,
For \(Z_{Gravity},\) we have to evaluate the action \( S_{gravity}\) which consists of bulk fields, metric, scalar field, gauge field etc on-shell, i.e. on the solution of the equation of motion of all these bulk fields. Also, the sources \(J_{i}\) of the CFT side can be identified with the boundary values of the bulk scalar field after imposing suitable boundary condition. On the left hand side of (A.5), we have a functional \(Z_{CFT}(\{J_{i}\})\) which depends on arbitrary (off-shell) sources \(J_i\) in d dimensions, and on the right hand side we have the (on-shell) functional \(Z_{Gravity}\) in \(d+1\) dimensions, involving gravitational action evaluated on the solution of the equations and the fields reduce to the corresponding \(J_i\)’s at the boundary of the AdS.Footnote 20 One has to be careful about imposing the boundary limit (for Poincare AdS as shown in (A.2) it is basically \(z\rightarrow 0\) limit) as typically the fields diverges near the AdS boundary [4, 117, 273]. Now utilizing relation (A.5) one can translate all the field theory correlation functions to the correlation functions of fields in the bulk spacetime.
Before we end, we make a few more comments. We need to know how the CFT operators map to fields in the bulk. In principle, it depends on the details of the two theories (CFT and the gravity theory). String theory provides this map. Roughly, we can observe that the consistent coupling between a certain field to a certain operator can be often argued using underlying symmetries. Both \(J_i\) and the field operator share the same quantum number under the conformal group. This gives some obvious coupling.
So the metric couples to stress tensor, gauge field (\(A_{\mu }\)) in bulk to current (\(J^{i}\)) in dual CFT, the scalar field in bulk to some scalar operator at the boundary and so on. Now given the effective action \(W_{CFT}\) we can construct the \(Z_{CFT}(\{J_{i}\})\) in the usual way. Also, one important point is that mass of the fields in the bulk can be related to the conformal dimensions (\(\varDelta \)) of primary operator of the dual field theory. For example, for a massive scalar field in the bulk with a mass m, we have,
where \(\varDelta \) is the conformal dimension of the dual primary operator for the d-dimensional CFT, and L is the AdS radius. Similar conclusions can be made for spinning fields also. For more details, interested readers are referred to [4, 117, 273].
Appendix B: Rydberg atoms
Qubit encodings for Rydberg atoms. a Ground and Rydberg state as qubit states. Atoms are excited from the ground to the Rydberg state via a two-photon transition. Rydberg atoms interact with a van-der-Waals interaction. b Two ground states as qubit states. Interactions are induced by exciting \(\vert e\rangle \) to or dressing \(\vert e\rangle \) with a Rydberg state. c Two Rydberg states as qubit states. They undergo flip-flop interactions due to their dipole moments
In the main text, we stated that Rydberg atoms are one of the platforms for analog and digital quantum simulation. Here, we discuss the physics that can be explored with Rydberg atoms, in more detail.in each of these qubit encodings.
There are several possible ways to encode a qubit in these atoms using any two internal atomic states. These two states could be a long-lived hyperfine ground state (i.e. a state with a small principle quantum number) and a Rydberg state. Or the two qubit states could be two hyperfine ground states, with the Rydberg state acting as an auxiliary state, into which atoms are transferred when strong interactions are needed, or which is admixed to one of the ground states via Rydberg dressing. Or they could even be two Rydberg states. Each of these choices of the qubit states allows different capabilities, and has been used to realize digital quantum computation or analog quantum simulation. Let us now understand the physics that can be explored in each of these qubit encodings.
Let us first consider the case that the qubit states are a ground state and a Rydberg state, as illustrated in Fig. 14a. Any two atoms in the Rydberg state and separated by a distance r interact with each other with strength \(V/r^6\), where \(V \propto n^{11}\). Additionally, one could drive the atoms from the ground state to the Rydberg state via external lasers and effectively realize, for example, the long-ranged quantum Ising model,
Here, \(\sigma ^\alpha \) are Pauli operators acting on the two qubit states, \(\varOmega \) is the amplitude of the two-photon transition that excites the atom from the ground to the Rydberg state, and \(\varDelta \) is the detuning of the two-photon transition from the atomic transition. This is a paradigmatic model in quantum mechanics, and has been realized with Rydberg atoms by various groups [277,278,279,280,281,282,283]. Further, the ability to arrange the atoms in arbitrary geometries of tweezers, and the ability to quench various parameters in the above Hamiltonian, leads to a rich playground of physics that is open for exploration.
In the case the qubit states are two hyperfine ground states, as illustrated in Fig. 14b, it is possible to make one of the ground states interacting by dressing it with a Rydberg state. Interactions are induced due to the ad-mixture with the Rydberg state, and obtains a similar model to Eq. (B.8). The advantage to this method is that the atomic lifetimes are longer, and not limited by spontaneous decay from the Rydberg state. This case has also been experimentally realized by various groups [284,285,286,287,288].
In the case that the qubit states are two different Rydberg states, as illustrated in Fig. 14c, the atomic interactions are slightly different. This is because the dipole-dipole interactions now have a matrix element that resembles a flip-flop interaction, \(\mathbf {d}_i \cdot \mathbf {d}_j \propto \sigma ^+_i \sigma ^-_j + \mathrm{h.c.}\) Additional single-particle terms could be added, via coupling to microwaves that excite atoms from one Rydberg state to the other. This qubit encoding has been used [289], for example, to realize the Su-Schriefer-Heeger model [290, 291], which is the simplest model presenting topological behavior.
1.1 Appendix B.1: Entangling gates on Rydberg atoms
Entangling gate using the Rydberg blockade and three laser pulses. The first pulse transfers the population in \(\vert g_i\rangle \) to a Rydberg state \(\vert r_i\rangle \). The second pulse gives \(\vert g_j\rangle \) a phase equal to \(\pi \) if \(\vert r_i\rangle \) is unoccupied, and a phase close to \(\pi \) if \(\vert r_i\) is occupied. The third pulse transfers the population in \(\vert r_i\rangle \) to \(\vert g_i\rangle \). In this whole sequence, \(\vert e_ie_j\rangle \) is unaffected, and the other three orthogonal states are (approximately) multiplied by \(-1\), which realizes a controlled-Z gate
The scheme to implement an entangling gate is shown in Fig. 15. It consists of two hyperfine ground states \(\vert g\rangle \) and \(\vert e\rangle \) encoding the qubit, and one of the ground state, \(\vert g\rangle \) being coupled to a Rydberg state \(\vert r\rangle \) via a laser(s). The whole scheme involves three individually addressed laser pulses. First, a laser pulse of duration \(t_\pi = \pi /\varOmega \) is shone on one atom, then a pulse of duration \(2t_\pi \) is shone on the second atom, and finally another laser pulse of duration \(t_\pi \) is shone on the first atom. The effect of this sequence can be understood by considering the four initial states, \(\vert ee\rangle , \vert ge\rangle , \vert eg\rangle \), and \(\vert gg\rangle \), of the two qubits. Since only \(\vert g\rangle \) is coupled to the Rydberg state, the whole sequence has no effect on \(\vert ee\rangle \). Moreover, for the initial states \(\vert ge\rangle \) and \(\vert eg\rangle \), the three-pulse sequence is equivalent to applying a single pulse of \(2t_\pi \) on \(\vert g\rangle \), which only multiplies the state by \(-1\). Non-trivial physics happens for the initial state \(\vert gg\rangle \). For this case, the first and third laser pulses together multiply the state by \(-1\), and the second laser pulse, which is effectively off-resonant due to the \(\vert rr\rangle \) being blockaded, gives an additional small phase \(\phi \ll \pi \). In total, the only one of four states that does not acquire a sign is \(\vert ee\rangle \). This is equivalent to applying a controlled-phase gate. The controlled-phase gate, together with arbitrary single-qubit rotations which can be implemented via magnetic fields or stimulated Raman transitions, are sufficient to realize universal quantum computing. Gate fidelities exceeding \(99\%\) for entangling gates, and up to \(99.6\%\) for single-qubit gates, have been demonstrated [194].
Appendix C: Trapped ions
In the main text, we stated that there are two schemes to implement entanglement between trapped ion qubits. Here, we describe these two schemes, as well as other physics that can be explored.
The Cirac–Zoller scheme. We shine three laser pulses. The first pulse transfers the population in \(\vert g_i,0\rangle \) to \(\vert e_i,1\rangle \), creating one phonon in the process. The second pulse gives a \((-1)\) sign to \(\vert g_j,1\rangle \), thus realizing a controlled-Z gate between the ion and the phonon. The third pulse is identical to the first pulse, destroying the phonon and returning the system to its motional ground state
1.1 Appendix C.1: The Cirac–Zoller scheme
The Cirac–Zoller scheme [203], illustrated in Fig. 16, is a three-step process that realized the controlled-Z gate and requires individual qubit addressability. In the first step, one shines a laser at frequency \(\omega = \omega _0 + \omega _t\) on a specific ion, where \(\omega _0\) is the energy spacing between the qubit states \(\vert g\rangle \) and \(\vert e\rangle \), and \(\omega _t\) is the frequency of the center-of-mass mode. The Hamiltonian for a single ion coupled to the laser is
where \(a (a^\dagger )\) annihilates (creates) a mode excitation, and \(\varOmega \) is the ion-laser coupling strength. For \(\omega _0, \omega _t \gg \varOmega \), which is typically the case, we apply the rotating wave approximation, i.e. go to a rotating frame and neglect terms rotating at frequency \(O(\omega _0)\) or \(O(\omega _t)\) in this frame, and obtain
where \(a (a^\dagger )\) destroys (creates) a phonon excitation. Assuming the initial state has no phonons, the effect of the above Hamiltonian is that it transfers the qubit’s state to the phonons. Concretely, when one shines a laser pulse of duration \(t=\pi /\varOmega \) on an ion labeled i in the state \((\alpha \vert g\rangle + \beta \vert e\rangle )_i\vert 0\rangle \), where \(\vert 0 \rangle \) refers to having zero phonons, the system’s state after the pulse is \(\vert e\rangle _i (i\alpha \vert 1\rangle + \beta \vert 0\rangle )\). The second step involves shining a second laser pulse, with a similar form to Eq. (C.10), but couples \(\vert g\rangle _j\) on ion j to a different excited state \(\vert e'\rangle _j\), for a duration \(2\pi /\varOmega \). The effect of this second step is to selectively give a \((-1)\) sign to \(\vert g\rangle _j\vert 1\rangle \), i.e. accomplishes a controlled-Z gate between the phonon and the qubit. The third step is identical to the first step, and decouples the phonon from the qubit i. The net effect of the sequence is to selectively give a \((-1)\) sign to \(\vert g\rangle _i\vert g\rangle _j \vert 1\rangle \), and do nothing to all other states, which is a controlled-Z gate.
The Cirac–Zoller gate was first experimentally realized to demonstrate entanglement between an ion and a phonon in Ref. [292], and later between two ions in Ref. [293,294,295].
1.2 Appendix C.2: The Mølmer–Sørensen scheme
The Mølmer–Sørensen scheme. a We shine two lasers at frequencies \(\omega _1\) and \(\omega _2\) close to the red and blue motional sidebands at \(\omega _0 \pm \omega _t\). Different detuning of the laser frequencies from the motional sidebands give rise to different qubit interactions, as described in the text. b Physical picture for the emergent Mølmer–Sørensen interaction. Ions scatter from \(\vert gg,n\rangle \) to \(\vert ee,n\rangle \) (also from \(\vert ge,n\rangle \) to \(\vert eg,n\rangle \)) either by emitting and re-absorbing a virtual phonon in the weak coupling case, \(\varOmega \ll \varDelta _t\), or by constructive interference of four paths at special times when the spin and motion decouple in the strong coupling case, \(\varDelta _t \sim \varOmega \)
In the Mølmer–Sørensen scheme, a laser beam containing two frequency components \(\omega _1\) and \(\omega _2\), as shown in Fig. 17a is shone on the ions. The two frequencies are chosen close to the upper and lower motional sidebands, i.e. \(\omega _0 \pm \omega _t \pm \varDelta _t +\delta \), where \(\omega _0\) is the energy spacing between the qubit states \(\vert g\rangle \) and \(\vert e\rangle \), and \(\omega _t\) is the normal mode frequency of the ions, typically the frequency of the center-of-mass mode. Depending on the laser frequencies and strengths, this scheme can realize a variety of qubit interactions, including controlled-phase gate between a given pair of qubits, or various long-range Hamiltonians with pairwise interactions between the qubits.
The Hamiltonian for a single ion interacting with two frequency laser field is given as
where \(a (a^\dagger )\) annihilates (creates) a mode excitation, and \(\varOmega \) is the ion-laser coupling strength. For \(\omega _0, \omega _t \gg \varOmega \), which is typically the case, we apply the rotating wave approximation, i.e. go to a rotating frame and neglect terms rotating at frequency \(O(\omega _0)\) or \(O(\omega _t)\) in this frame, and obtain
where we denoted \(\omega _2 = \omega _0 + \omega _t + \varDelta _t + \delta \) and \(\omega _1 = \omega _0 - \omega _t - \varDelta _t + \delta \). It is to be understood that Eq. (C.12) is the Hamiltonian for a single ion, with the ion label implicit in the Pauli operators. To include more ions that couple to the lasers, Eq. (C.12) should be summed over the ion labels.
There are a few cases to consider for the two laser frequencies: the symmetric scheme where \(\delta =0\), the asymmetric scheme where \(\delta \ne 0\), the case where \(\varDelta _t \gg \varOmega \) and different strengths of \(\delta \) within this case, the case where \(\varDelta _t\) is comparable to \(\varOmega \), and also the case where more than one normal mode is involved. Each case gives rise to a different qubit interaction, and we will consider them one by one.
Let us begin by considering the weak coupling case, \(\varOmega \ll \varDelta _t\). In this case, the normal modes are only virtually excited, and can be eliminated in second order perturbation theory, giving
where \(J \propto \varOmega ^2/\varDelta _t\). The physical picture that explains this emergent interaction is as follows (see also Fig. 17b). The laser drives flip the internal state of an ion labeled i, and the ion absorbs (or emits) a virtual normal mode phonon in this process. Another ion labeled j emits (or absorbs) the phonon and flips its internal state due to the laser drive. This virtual exchange of phonons is responsible for mediating long-ranged qubit interactions between the ions. It should be noted that there are similarities between the coupling of an ion’s qubit states to the phonon modes and the case of cavity quantum electrodynamics where an atom’s internal states are coupled to the electromagnetic modes in the cavity [296].
In the limit \(\delta = 0\), H reduces to
which is the global Mølmer–Sørensen interaction. In the limit \(\delta \gg J\), the \(\sigma ^+_i \sigma ^+_j\) term is also rapidly rotating and can be averaged to zero, therefore H reduces to \(H = J \sum _{ij} (\sigma ^+_i \sigma ^-_j + \mathrm{h.c.})\). Finally, when \(\delta \) is comparable to J, the Hamiltonian after moving to an interaction picture is \(H = J \sum _{ij} \sigma ^x_i \sigma ^x_j + B\sum _i \sigma ^z_i\). This scheme is widely realized in experiments for quantum simulation (see, e.g. [206, 208, 297, 298]).
The disadvantage of the weak coupling case above is that the dynamics are slow, \(J \ll \varOmega \ll \varDelta _t\). The dynamics can be made faster by making \(\varDelta _t\) comparable to \(\varOmega \) and setting \(\delta =0\). In this case, Eq. (C.12) is exactly integrable. The exact time evolution operator under H [Eq. (C.12)] has the form
where \(D(\alpha ) = \exp (\alpha a^\dagger - \alpha ^* a)\), and \(\sigma ^x_{\mathrm{tot}} = \sum _j \sigma ^x_j\). In this case, the spin degree of freedom and motional degree of freedom are not decoupled in general, except at special times when \(\alpha (t) = 0\). This special time occurs at multiples of \(t = 2\pi /\varDelta _t\). At these special times, the time evolution operator, \(U = \exp (i \varPhi (t) (\sigma ^x_{\mathrm{tot}})^2)\), is the same as the one obtained from a Mølmer–Sørensen interaction. One can obtain a physical picture behind this spin-motion decoupling at \(t=2\pi /\varDelta _t\) by visualizing the center-of-mass mode as a quantum harmonic oscillator. The Hamiltonian [Eq. (C.12)] displaces the quantum harmonic oscillator, and the oscillator undergoes a displacement given by \(D(\alpha (t) \sigma ^x_{\mathrm{tot}})\). It returns to its initial state at \(t=2\pi /\varDelta _t\) (i.e. when \(\alpha (t) = 0\)), however, it picks up a spin-dependent geometric phase during each cycle. This spin-dependent phase is exactly equal to the phase given by the MøZ-Sørensen gate. Figure 17b shows another intuitive explanation for the Mølmer–Sørensen interaction. The laser pulses scatter two ions from \(\vert gg,n\rangle \) to \(\vert ee,n\rangle \) (also from \(\vert ge,n\rangle \) to \(\vert eg,n\rangle \)) via four paths, and the total amplitude of this process is the constructive interference of the four paths.
Local Mølmer–Sørensen interactions, e.g. between exactly two qubits, can be obtained by shining the lasers on only two ions so that the sum in Eq. (C.14) is restricted to those two ions. The gates can be made fast by making \(\varDelta _t\) comparable to \(\varOmega \) and applying the laser pulses for a duration that is a multiple of \(2\pi /\varDelta _t\), as explained above. Two-qubit Mølmer–Sørensen gates have also been widely realized in experiments [206,207,208,209,210,211], with the highest current gate fidelity in the range of \(99.9\%\)
[212] Together with single-qubit rotations, they form a universal gate set for digital quantum computation. A major advantage of using trapped ions over superconducting qubits as a quantum computing platform is the global connectivity of the interactions. All ions couple to the center-of-mass mode, which mediates the qubit interactions, therefore one can implement a Mølmer–Sørensen interaction between any pair of ions in a finite time scale regardless of how far apart they are (up to caveats about ion spacing and mode spacing).
Finally, we consider the case that there are other normal modes nearby in frequency to the lasers. This case arises when \(\varDelta _t\) is comparable to the mode spacing, which can for example be accomplished by parking the lasers close to the radial modes instead of the axial modes. Then Eq. (C.12) should be modified to include the other modes, \(a_m\), as well. After adiabatically eliminating the normal modes for \(\varOmega \ll \varDelta _t\) as above, one again obtains a long-ranged qubit interaction, however the interaction is no longer uniform between all the qubits. Instead, one obtains an approximately power-law decaying interaction, \(J_{ij} \sim J/|r_i - r_j|^\alpha \) (with an exponential correction). In the limit of coupling only to the center-of-mass mode, \(\alpha =0\) and we recover the infinite-ranged interaction in Eq. (C.14). In the limit that \(\varDelta _t\) is so large that all the normal modes are nearly at the same frequency relative to the lasers, then \(\alpha \approx 3\). For intermediate \(\varDelta _t\), we have \(0< \alpha < 3\). This case was first realized in [298,299,300,301].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Bhattacharyya, A., Joshi, L.K. & Sundar, B. Quantum information scrambling: from holography to quantum simulators. Eur. Phys. J. C 82, 458 (2022). https://doi.org/10.1140/epjc/s10052-022-10377-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10377-y