IT IS NOT REAL TIME TRAVEL BUT WILL BE A GIANT LEAP ON QUANTUM COMPUTING: ARROW OF TIME AND ITS REVERSAL ON THE IBM QUANTUM COMPUTER.

Scientific Reportsvolume 9, Article number: 4396 (2019) | D

Abstract

Uncovering the origin of the “arrow of time” remains a fundamental scientific challenge. Within the framework of statistical physics, this problem was inextricably associated with the Second Law of Thermodynamics, which declares that entropy growth proceeds from the system’s entanglement with the environment. This poses a question of whether it is possible to develop protocols for circumventing the irreversibility of time and if so to practically implement these protocols. Here we show that, while in nature the complex conjugation needed for time reversal may appear exponentially improbable, one can design a quantum algorithm that includes complex conjugation and thus reverses a given quantum state. Using this algorithm on an IBM quantum computer enables us to experimentally demonstrate a backward time dynamics for an electron scattered on a two-level impurity.

Introduction

A fundamental question of the origin of irreversibility of time emerged already in classical statistical physics1,2,3,4,5 and has been remaining ever since a subject of an continuous attention6,7,8. Intense researches revealed several aspects of this problem. One of them is a statistical mechanics view discussing the irreversibility problem in the context of the fluctuation theorem9,10,11,12,13,14,15,16. In particular, it was quantitatively described and shown experimentally that in a finite temporal interval the time reversed dynamics can emerge17. The quantum systems were discussed in18 where the positive entropy production rate was experimentally demonstrated on a single spin-1/2 particle, while in19 the negative entropy production rate in the presence of a Maxwell’s Demon was observed for spin-1/2 quantum system. Moreover, the full quantum treatment have shown theoretically20,21 and later experimentally22 that the presence of initial mutual correlations between subparts of a quantum system may lead to a local violation of thermodynamical laws and hence to the thermodynamic arrow of time reversal. Even in a quantum system initially not correlated with an environment, the local violation of the Second Law can occur, as it was demonstrated, with the mathematical rigor23, in the framework of the quantum channel theory24. Most of the above works were based in a good part on thermodynamic considerations. From the slightly different perspective this question was discussed in the seminal work by Zurek25, who looked at the irreversibility issue from the angle of the loss of predictability with the time. A solely quantum mechanical aspect of the problem was stressed by Landau26 and von Neumann27 who related irreversiblity to the process of a macroscopic measurement. In28 the arrow of time dilemma was addressed from the point of view system-observer considerations, but later this approach was criticized in29. Here, in the spirit of quantum mechanics, we elaborate on the implications of the Wigner’s result30 that time reversal operation is anti-unitary because it requires complex conjugation. We demonstrate that this emerging anti-unitarity predicates that the universal time reversal operation does not spontaneously appear in nature. To make the time reversal possible, one would need a supersystem manipulating the quantum system in question. In most of the cases, such a supersystem cannot materialize spontaneously. As an illustration, we use the simplest systems of a single- or two particles subject to electromagnetic fluctuations. We show that even the evolution of these single- or two-particle states in a free space generates the complexity that renders spontaneous time reversal either highly improbable or actually impossible. We expect that if irreversibility emerges even in the systems that simple, than, even, more it should appear in the more complex systems. In what follows, we quantify the complexity of the preparation of the time-reversed quantum state and the probability of its spontaneous emergence. We show that the time-reversal complexity of the developed quantum state scales linearly with the dimension of the Hilbert space swept by the system in the course its forward time evolution, but that one can devise an administering supersystem artificially. This is implemented experimentally by modeling a real system, the electron scattered on the two-level systems, on the IBM quantum computer. In this respect we utilize the conjectures by Lloyd6.

Further, a principal possibility of occurring of the time reversal was discussed in20.

Reversal of The Spreading Wave Packet

That in quantum mechanics in order to execute a time reversal operation one has to perform complex conjugation of the wave function, implies that the time reversal operator 𝒯̂ T^ is a product of a complex conjugation operator 𝒦̂ K^ and a unitary rotation 𝑈̂ 𝑅U^R, i.e. 𝒯̂ =𝑈̂ 𝑅𝒦̂ T^=U^RK^, where for any ΨΨ, 𝒦̂ Ψ=Ψ∗K^Ψ=Ψ∗. This operation not only reflects velocities like in the classical physics, but also reverses phases of the wave function components. A general universal operation that can reverse any arbitrary wave function, does not exist in nature. Yet, some special ΨΨ-dependent operation such that 𝑈̂ ΨΨ=Ψ∗U^ΨΨ=Ψ∗ can exist and below we explicitly construct such an operation for a system of qubits. To that end, one has to design a supersystem that is external with respect to the system of interest and which is capable to implement the purposeful manipulating on the given system. In nature, in the simplest case of a single particle, the role of such a supersystem can be taken up, for example, by the fluctuating electromagnetic field. To gain an insight into how this works, let us consider a wave packet corresponding to the particle with the square energy dispersion, 𝜀=𝑝2/2𝑚ε=p2/2m, where p is the particle momentum and m is the particle mass, propagating in space, see Fig. 1. The electromagnetic field is assumed to be predominantly weak except for rare fluctuations. Thus, the spreading of the wave packet is coherent. At large times 𝜏τ the wave packet spreads asΨ(𝑥,𝜏)≃𝑓(𝑥𝑚/ℏ𝜏)2𝜋ℏ𝜏/𝑚‾‾‾‾‾‾‾√exp(𝑖𝑚𝑥22ℏ𝜏),Ψ(x,τ)≃f(xm/ℏτ)2πℏτ/mexp(imx22ℏτ),(1)

where f(q) is a Fourier image of the initial spatial wave function. The phase of ΨΨ changes as a result of the action of the fast fluctuation of an external potential, i.e. with the potential that changes on the times much shorter than the characteristic time of the phase change. To set the fluctuation that complex conjugates ΨΨ, let us divide the coordinate space into a large number of the elemental cells δxn where a wavefunction’s phase 𝜙(𝑥,𝜏)ϕ(x,τ) changes slowly and look for a fast electromagnetic potential fluctuation 𝑉(𝑥,𝑡)V(x,t) which is smooth on the cell’s scale and reverts the phase of the wavefunction: ∫𝑑𝑡𝑒𝑉(𝑥𝑛,𝑡)/ℏ=−2𝜙(𝑥𝑛,𝜏)∫dteV(xn,t)/ℏ=−2ϕ(xn,τ). If during the 𝜏τ the wave packet (1) has spread from the size L0 to the size 𝐿𝜏=ℏ𝜏/𝑚𝐿0Lτ=ℏτ/mL0, it would require 𝑁∼𝜖−1/2(𝐿𝜏/𝐿0)N∼ϵ−1/2(Lτ/L0) elementary cells to approximately revert the quantum state Ψ(𝑥,𝜏)→Ψ̃ ∗(𝑥,𝜏)Ψ(x,τ)→Ψ~∗(x,τ) with the probability 1−𝜖1−ϵ: |⟨Ψ̃ ∗(𝑥,𝜏)|Ψ∗(𝑥,𝜏)⟩|2=1−𝜖|⟨Ψ~∗(x,τ)|Ψ∗(x,τ)⟩|2=1−ϵ, see Supplementary Information (SI). Then the probability of the spontaneous reversal, i.e. the probability of the appearance of the required electromagnetic potential fluctuation, estimates as 2N. Now we determine the typical time scale 𝜏τ on which the spontaneous time reversal of a wave-packet can still occur within the universe lifetime 𝑡𝑈∼4.3×1017tU∼4.3×1017 sec. The latter is obtained from the estimate 2−𝑁≃𝜏/𝑡𝑈2−N≃τ/tU, where the number of cells 𝑁∼𝜖−1/2(⟨𝐸⟩𝜏/ℏ)N∼ϵ−1/2(⟨E⟩τ/ℏ) is expressed through the average particle energy ⟨𝐸⟩=ℏ2/𝑚𝐿20⟨E⟩=ℏ2/mL02. As a typical average energy of the wave-packet we take the energy corresponding to the current universe temperature 2.72 K, and arrive at 𝜏≃6×10−11τ≃6×10−11 sec. One thus sees that even in the discussed simplest possible example of a single quantum particle the time reversal is already a daunting task where even with the GHz rate of attempts, the required fluctuation is not observable within the universe lifetime. The above arguments reveal that, in quantum mechanics, time irreversibility emerges already on the level of a single evolving particle.

Figure 1
Figure 1

Now we consider a more complex example and demonstrate that a separable stateΨ(𝑥1,𝑥2)=|𝜓1(𝑥1)𝜓2(𝑥2)|exp[𝑖(𝜙1(𝑥1)+𝜙2(𝑥2))]Ψ(x1,x2)=|ψ1(x1)ψ2(x2)|exp[i(ϕ1(x1)+ϕ2(x2))](2)

of two particles can not be reverted by classical field fluctuations in the case where particle’s wave functions overlap. Let all particles have the same electric charge q and interact with a classical electric potential v(xt). The potential fluctuations produce phase shifts ∫𝑑𝑡𝑞𝑣(𝑥,𝑡)/ℏ∫dtqv(x,t)/ℏ. Accordingly the proper fluctuations capable to reverse the quantum state should satisfy the condition 𝜙1(𝑥1)+𝜙2(𝑥2)ϕ1(x1)+ϕ2(x2) + ∫𝑑𝑡[𝑞𝑣(𝑥1,𝑡)+𝑞𝑣(𝑥2,𝑡)]/ℏ∫dt[qv(x1,t)+qv(x2,t)]/ℏ = −𝜙1(𝑥1)−𝜙2(𝑥2)−ϕ1(x1)−ϕ2(x2). For 𝑥1=𝑥2×1=x2 it implies ∫𝑑𝑡𝑞𝑣(𝑥,𝑡)/ℏ=−𝜙1(𝑥)−𝜙2(𝑥)∫dtqv(x,t)/ℏ=−ϕ1(x)−ϕ2(x), and therefore at 𝑥1≠𝑥2×1≠x2 one has to satisfy the condition 𝜙2(𝑥2)+𝜙1(𝑥1)=𝜙2(𝑥1)+𝜙1(𝑥2)ϕ2(x2)+ϕ1(x1)=ϕ2(x1)+ϕ1(x2) which, in general, does not hold.

Quantum entanglement introduces the next level of complexity for the time-reversal procedure. Consider a two-particle state Ψ(𝑥1,𝑥2)=|Ψ(𝑥1,𝑥2)|𝑒𝑖𝜙(𝑥1,𝑥2)Ψ(x1,x2)=|Ψ(x1,x2)|eiϕ(x1,x2) with the non-separable phase function 𝜙(𝑥1,𝑥2)=𝑎1(𝑥1)𝑏1(𝑥2)+ϕ(x1,x2)=a1(x1)b1(x2)+𝑎2(𝑥1)𝑏2(𝑥2)a2(x1)b2(x2). In this situation even for the non-overlapping particles with Ψ(𝑥1,𝑥2)=0Ψ(x1,x2)=0 for 𝑥1=𝑥2×1=x2 the two-particle state can not be reversed by an interaction with classical fields. Let one access the particles by different fields which induce separate phase shifts Ψ(𝑥1,𝑥2)→Ψ(𝑥1,𝑥2)𝑒𝑖(𝜑1(𝑥1)+𝜑2(𝑥2))Ψ(x1,x2)→Ψ(x1,x2)ei(φ1(x1)+φ2(x2)). The induced phase shifts should satisfy the relation: 𝜑1(𝑥1)+𝜑2(𝑥2)=−2𝜙(𝑥1,𝑥2)φ1(x1)+φ2(x2)=−2ϕ(x1,x2), therefore for any three points 𝑥1≠𝑥2≠𝑥3×1≠x2≠x3 the following conditions should hold𝜑1(𝑥1)+𝜑2(𝑥2)=−2(𝑎1(𝑥1)𝑏1(𝑥2)+𝑎2(𝑥1)𝑏2(𝑥2)),φ1(x1)+φ2(x2)=−2(a1(x1)b1(x2)+a2(x1)b2(x2)),(3)𝜑1(𝑥1)+𝜑2(𝑥3)=−2(𝑎1(𝑥1)𝑏1(𝑥3)+𝑎2(𝑥1)𝑏2(𝑥3)).φ1(x1)+φ2(x3)=−2(a1(x1)b1(x3)+a2(x1)b2(x3)).(4)

Subtracting these relations one gets 𝜑2(𝑥2)−𝜑2(𝑥3)φ2(x2)−φ2(x3) = −2𝑎1(𝑥1)(𝑏1(𝑥2)−𝑏1(𝑥3))−2a1(x1)(b1(x2)−b1(x3)) − 2𝑎2(𝑥1)(𝑏2(𝑥2)−𝑏2(𝑥3))2a2(x1)(b2(x2)−b2(x3)) where the left hand side does not depend on x1 and therefore one has to assume a1and a2 to be constant. This, however, contradicts the non-separability assumption for 𝜙(𝑥1,𝑥2)ϕ(x1,x2).

An entangled two-particle state with a non-separable phase function can naturally emerge as a result of scattering of two localized wave-packets31. However, as we have seen, the generation of the time-reversed state, where a particle gets disentangled in the course of its forward time evolution, requires specific two-particle operations which, in general, cannot be reduced to a simple two-particle scattering.

The above consideration enables us to formulate important conjectures about the origin of the arrow of time: (i) For the time reversal one needs a supersystem manipulating the system in questionIn the most of the casessuch a supersystem cannot spontaneously emerge in nature. (ii) Even if such a supersystem would emerge for some specific situationthe corresponding spontaneous time reversal typically requires times exceeding the universe lifetime.

A matter-of-course supersystem of that kind is implemented by the so-called universal quantum computer. It is capable to efficiently simulate unitary dynamics of any physical system endowed with local interactions32. A system’s state is encoded into the quantum state of the computer’s qubit register and its evolution is governed by the quantum program, a sequence of the universal quantum gates applied to the qubit register. There exists a panoply of ways by which a quantum state of a system can be encoded into the states of the quantum computer. Indeed, choosing a proper dimension of the quantum computer register one can swap its state |𝜓0⟩reg|ψ0⟩reg with the system’s quantum state, |Ψ⟩sys|Ψ⟩sys, by the unitary operation 𝑈̂ SWAP|𝜓0⟩reg⊗|Ψ⟩sys=|𝜓⟩reg⊗|Ψ0⟩sysU^SWAP|ψ0⟩reg⊗|Ψ⟩sys=|ψ⟩reg⊗|Ψ0⟩sys, where the mapping |Ψ⟩sys→|𝜓⟩reg|Ψ⟩sys→|ψ⟩reg completes the encoding task. Such an encoding procedure is universal i.e. it does not require the knowledge of the system state |Ψ⟩sys|Ψ⟩sys. However, non-physical encodings might be suggested which can not be accomplished by unitary transformation. One of the ways to do that was proposed in33 where the real and the imaginary components of the system’s wave function were separately mapped onto the different Hilbert subspaces of the auxiliary system, i.e. quantum computer. Within this representation of the initial quantum system, the complex conjugation can be formulated as a universal unitary rotation of the wave function of the auxiliary system. However, the mapping itself is not a universal unitary operation as follows from the superposition principle arguments. This means that the approach of33 merely lifts the problem of the non-unitarity of the quantum conjugation hiding it in the non-unitarity of the mapping procedure. At variance, in what follows we address the time reversal of the original physical system without nonphysical mapping it on some completely different system unrelated to the original one. We start with formulating general principles of constructing time-reversal algorithms on quantum computers and, in the next section, present a practical implementation of a few-qubit algorithm that enabled experimental time reversal procedure on the public IBM quantum computer.

General Time Reversal Algorithms

Consider a quantum system initially prepared in the state Ψ(𝑡=0)Ψ(t=0) and let it evolve during the time 𝜏τ into the state Ψ(𝜏)=exp(−𝑖𝐻𝜏/ℏ)Ψ(0)Ψ(τ)=exp⁡(−iHτ/ℏ)Ψ(0). Let us find a minimal size of a qubit register needed to simulate the dynamics of a system Ψ(0)→Ψ(𝜏)Ψ(0)→Ψ(τ) with a given fidelity 1−𝜖1−ϵ. Let us choose a finite set of time instances 𝑡𝑖∈[0,𝜏]ti∈[0,τ], 𝑖=0,…𝑁′i=0,…N′ subject to a condition |⟨Ψ(𝑡𝑖)|Ψ(𝑡𝑖+1⟩)|2=1−𝜖|⟨Ψ(ti)|Ψ(ti+1⟩)|2=1−ϵ with 𝑡0=0t0=0 for some small 𝜖>0ϵ>0. Then at any time instant 𝑡∈[0,𝜏]t∈[0,τ] a state Ψ(𝑡)Ψ(t) can be approximated by the discrete set of states {Ψ(𝑡𝑖),𝑖=0,…𝒩′}{Ψ(ti),i=0,…N′} with the fidelity 1−𝜖1−ϵ. The set of states {Ψ(𝑡𝑖)}{Ψ(ti)} spans the Hilbert subspace 𝒮S of the dimension 𝒩≤𝒩′N≤N′. Therefore, 𝒩N basis vectors |𝑒𝑖⟩∈𝒮|ei⟩∈S can be represented by 𝒩Northogonal states of the qubit register, |𝑒𝑖⟩→|𝑏→𝑖⟩≡|𝑏0𝑏1…⟩|ei⟩→|b→i⟩≡|b0b1…⟩. The corresponding qubit Hamiltonian 𝐻̂ H^ which mimics the original Hamiltonian ̂ H^ is then defined by the relation (𝐻̂ )𝑖𝑗≡⟨𝑏→𝑖|𝐻̂ |𝑏→𝑗⟩=⟨𝑒𝑖|̂ |𝑒𝑗⟩(H^)ij≡⟨b→i|H^|b→j⟩=⟨ei|H^|ej⟩.

Below we introduce two encoding procedures |𝑒𝑖⟩→|𝑏→𝑖⟩|ei⟩→|b→i⟩. In the first, sparse coding approach, one assigns a separate qubit to each state |𝑒𝑖⟩|ei⟩, 𝑖∈[0,𝒩−1]i∈[0,N−1] and encodes the state 𝜓(𝜏)ψ(τ) into the 𝒩N-qubit state |𝜓⟩=∑𝒩−1𝑖=0𝜓𝑖|00…1𝑖…0𝒩−1⟩|ψ⟩=∑i=0N−1ψi|00…1i…0N−1⟩. The second approach is a densecoding scheme where one records the state 𝜓(𝜏)ψ(τ) into a state of 𝑛=int[log2(𝒩)]+1n=int[log2(N)]+1 qubits |𝜓⟩=∑𝒩−1𝑖=0𝜓𝑖|𝑖⟩|ψ⟩=∑i=0N−1ψi|i⟩, where int[x] is the closest upper integer to x: 𝑥≤int[𝑥]x≤int[x], |𝑖⟩≡|𝑏0…𝑏𝑛−1⟩|i⟩≡|b0…bn−1⟩ is a computational basis state corresponding a binary representation of the number 𝑖=∑𝑛−1𝑘=0𝑏𝑘2𝑛−1−𝑘i=∑k=0n−1bk2n−1−k.

A time-reversal operation 𝒯̂ T^ of the qubit register can be presented as a product 𝒯̂ =𝑈̂ 𝑅𝒦̂ T^=U^RK^ of the complex conjugation operator 𝒦̂ K^, 𝒦̂ (𝜓𝑖|𝑖⟩)≡𝜓∗𝑖|𝑖⟩K^(ψi|i⟩)≡ψi∗|i⟩, and some unitary operator 𝑈̂ 𝑅U^R, whose form is defined by the Hamiltonian 𝐻̂ H^, 𝑈̂ 𝑅=𝑈̂ †𝐻𝑈̂ ∗𝐻U^R=U^H†U^H∗, where 𝐻̂ =𝑈̂ †𝐻diag{𝐸1…𝐸𝑛}𝑈̂ 𝐻H^=U^H†diag{E1…En}U^H see SI. Therefore, ?in order to implement the time-reversal operation 𝒯̂ T^ one needs to know the Hamiltonian 𝐻̂ H^explicitly. Note, that quantum computer is able to simulate unitary dynamics governed by an arbitrary Hamiltonian including those that do not correspond any physical system (for example, some non-local Hamiltonian). It is known, that the joint transformation of the charge conjugation, parity inversion, and time reversal is considered as an exact symmetry of all known laws of physics, and, therefore, the qubit Hamiltonian 𝐻̂ H^, which corresponds to a real physical system, has to honor this symmetry as well. Therefore, the unitary operation describing evolution of the physical system 𝑈̂ 𝑅U^R is generally known and represents a transformation which is inherited from the time-reversal symmetry of the original Hamiltonian ̂ H^. In particular, if the qubit Hamiltonian ̂ H^ is real, then the corresponding evolution operator 𝑈̂ (𝜏)U^(τ)is symmetric that entails 𝑈̂ 𝑅=1U^R=1.

In the following we assume the unitary 𝑈̂ 𝑅U^R to be known and focus on the unitary implementation of a complex conjugation operation 𝒦̂ K^, 𝒦̂ →𝑈̂ 𝜓K^→U^ψ. In particular, we quantify a complexity of such implementation as a number of elementary quantum gates or/and auxiliary qubits needed to implement 𝑈̂ 𝜓U^ψ. For a sparse coding scheme, the complex conjugation of the 𝒩N-qubit state |𝜓⟩=∑𝒩−1𝑖=0|𝜓𝑖|𝑒𝑖𝜙𝑖|00…1𝑖…0𝒩−1⟩|ψ⟩=∑i=0N−1|ψi|eiϕi|00…1i…0N−1⟩ can be accomplished by the unitary operation 𝑈̂ (1)𝜓=∏𝒩−1𝑖=0⊗𝑇̂ 𝑖(−2𝜙𝑖)U^ψ(1)=∏i=0N−1⊗T^i(−2ϕi) where 𝑇̂ 𝑖(𝜙)T^i(ϕ) is the single qubit operation: 𝑇̂ 𝑖(𝜙)|0𝑖⟩=|0𝑖⟩T^i(ϕ)|0i⟩=|0i⟩ and 𝑇̂ 𝑖(𝜙)|1𝑖⟩=𝑒𝑖𝜙|1𝑖⟩T^i(ϕ)|1i⟩=eiϕ|1i⟩. Consequently, the sparse coding scheme does not require the most “expensive” two-qubit gates at all but do require a large number 𝒩N of qubits. For the dense coding scheme the situation is the opposite: this scheme involves only a logarithmically smaller number n of qubits but instead requires implementation of 2n n-qubit conditional phase shift operations: 𝒦̂ →𝑈̂ (2)𝜓=∑2𝑛−1𝑗=0|𝑗⟩⟨𝑗|𝑒−2𝑖𝜙𝑗K^→U^ψ(2)=∑j=02n−1|j⟩⟨j|e−2iϕj which add proper phases to each component of the state |𝜓⟩|ψ⟩: 𝑈̂ (2)𝜓|𝜓⟩=|𝜓∗⟩U^ψ(2)|ψ⟩=|ψ∗⟩. Therefore, 𝑈̂ (2)𝜓U^ψ(2) must involve two-qubit gates, i.e. conditional-NOT (CNOT) gates. We quantify the complexity of the dense coding scheme by a number 𝑁⊕N⊕ of CNOT gates needed to implement it. Each phase shift operation Φ̂ 𝑖(𝜙)≡|𝑖⟩⟨𝑖|𝑒𝑖𝜙Φ^i(ϕ)≡|i⟩⟨i|eiϕ can be build with the help of 𝑛−1n−1 ancillary qubits and 2(𝑛−1)2(n−1) Toffoli gates, as shown in Fig. 2A. In total, it requires 𝑁⊕[𝑈̂ (2)𝜓]=12(𝑛−1)2𝑛∼12𝒩log2(𝒩)N⊕[U^ψ(2)]=12(n−1)2n∼12Nlog2(N) CNOT gates. However, such an arrangement is non-optimal as it involves an excess usage of Toffoli gates. Indeed, let us consider two states, |𝑗⟩=|𝑏0𝑏1…𝑏𝑛−1⟩|j⟩=|b0b1…bn−1⟩ and |𝑗′⟩=|𝑏′0𝑏′1…𝑏′𝑛−1⟩|j′⟩=|b′0b′1…b′n−1⟩, with coincident two older bits 𝑏0=𝑏′0b0=b′0, 𝑏1=𝑏′1b1=b′1. The separate usage of phase shifts Φ̂ 𝑗(𝜙𝑗)Φ^j(ϕj) and Φ̂ 𝑗′(𝜙𝑗′)Φ^j′(ϕj′) involves the double check of b0 and b1 values. The better implementation checks b0and b1 only once and conjugates phases of all states within a set |𝑏0𝑏1𝑏2…𝑏𝑛−1⟩|b0b1b2…bn−1⟩ within a separate circuit block. In fact, such optimization can be done for all subsequent junior bits b3b4, see Fig. 2B, that can minimize the usage of Toffoli gates and reduce the reversal complexity to be linear in 𝒩N: 𝒩⊕∼24𝒩N⊕∼24N, see SI. We thus arrive at the conclusion that The number of elementary operations needed for the exact time reversal procedure of the dynamics of a quantum system which in the course its evolution sweeps a Hilbert space of a dimension 𝒩N is bounded from above by some number 𝒪(𝒩)O(N). If now we consider typical systems emerging in nature, then the entanglement generates the dimensionality, 𝒩N, that is exponentially large with respect to the number of particles involved.

Figure 2
Figure 2

Time Reversal Experiment

Now we are equipped to carry out an experiment implementing two- and three-qubit time-reversal procedures utilizing the public IBM quantum computer. We model a one dimensional particle scattering on a two-level impurity (TLI). The dynamics of the impurity is governed by a Hamiltonian, 𝐻̂ i=ℏ𝜔(cos𝛼𝜎̂ 𝑧+sin𝛼𝜎̂ 𝑥)H^i=ℏω(cosασ^z+sinασ^x). The scattering potential seen by the particle depends on the state of the TLS. The corresponding scattering operator has the form 𝑆̂ 𝑖=|0⟩⟨0|⊗𝑆̂ 0+|1⟩⟨1|⊗𝑆̂ 1S^i=|0⟩⟨0|⊗S^0+|1⟩⟨1|⊗S^1, where 𝑆̂ 0S^0 and 𝑆̂ 1S^1 are symmetric unitary scattering matrices of the TLI in a state |0⟩|0⟩ or |1⟩|1⟩. This scattering problem is modeled by the evolution of the qubit register 𝑈̂ 𝑛bit|𝑞𝑖⟩⊗(|𝑞1⟩⊗⋯⊗|𝑞𝑛⟩)U^nbit|qi⟩⊗(|q1⟩⊗⋯⊗|qn⟩), where |𝑞𝑖⟩|qi⟩ qubit describes the state of the TLI and the remaining qubits describe the state of scattered particles. The basis states |0𝑖⟩|0i⟩ and |1𝑖⟩|1i⟩, 𝑖=1,…𝑛i=1,…ncorrespond to the left and right incoming/outgoing state of the ith particle. We consider the processes in which one or two incoming particles are scattered on the freely evolving TLI. We assume that both particles incident from the left being in a well localized ballistically propagating states and arrive at the impurity where they experience instantaneous respective scatterings at separate time instants 𝑡=𝜏t=τ and 𝑡=2𝜏t=2τ. The corresponding evolutions are described by unitary rotations 𝑆̂ (1)i⋅𝑈̂ i(𝜏)S^i(1)⋅U^i(τ) and 𝑆̂ (2)i⋅𝑈̂ i(𝜏)⋅𝑆̂ (1)i⋅𝑈̂ i(𝜏)S^i(2)⋅U^i(τ)⋅S^i(1)⋅U^i(τ) for one- and two-particle situation, where 𝑈̂ i(𝜏)=exp(−𝑖𝐻̂ i𝜏/ℏ)U^i(τ)=exp⁡(−iH^iτ/ℏ) describes the free evolution of the TLI between the particles arrivals and 𝑆̂ (𝑖)iS^i(i), 𝑖=1,2i=1,2 is the scattering operator for the i-th particle. Next, in both cases we let the system freely evolve during a time 𝜏τ that makes the resulting 2-qubit and 3-qubit evolution operators: 𝑈̂ 2bit=𝑈̂ i(𝜏)⋅𝑆̂ (1)i⋅𝑈̂ i(𝜏)U^2bit=U^i(τ)⋅S^i(1)⋅U^i(τ) and 𝑈̂ 3bit=𝑈̂ i(𝜏)⋅𝑆̂ (2)i⋅𝑈̂ i(𝜏)⋅𝑆̂ (1)i⋅𝑈̂ i(𝜏)U^3bit=U^i(τ)⋅S^i(2)⋅U^i(τ)⋅S^i(1)⋅U^i(τ) more symmetric, that simplifies the form of 𝑈̂ 𝑅U^R unitary rotation entering in the time-reversal procedure. The 2-qubit scattering model is endowed with the symmetric evolution operator 𝑈̂ 2bitU^2bit and, therefore, its time reversal requires only the complex conjugation operation 𝒯̂ =𝒦̂ T^=K^. At variance, the evolution operator 𝑈̂ 3bitU^3bit of the 3-qubit model is non symmetric and its time reversal requires an additional unitary rotation 𝒯̂ =𝑈̂ 𝑅𝒦̂ T^=U^RK^. It follows from the relation SWAP12⋅𝑈̂ 3bit⋅SWAP12=𝑈̂ 𝑡3bitSWAP12⋅U^3bit⋅SWAP12=U^3bitt, where SWAP12|𝑞1⟩⊗|𝑞2⟩=|𝑞2⟩⊗|𝑞1⟩SWAP12|q1⟩⊗|q2⟩=|q2⟩⊗|q1⟩ is the swap operation, that the required unitary operation 𝑈̂ 𝑅=SWAP12U^R=SWAP12. The corresponding quantum circuits realizing 𝑈̂ 2bitU^2bit and 𝑈̂ 3bitU^3bit are shown on Fig. 3A and C, see the detail in SI.

Figure 3
Figure 3

According to the results of the Section 2, the unitary implementation of the complex conjugation for a 2- or 3-qubit register will require 48 or 144 CNOT gates. These numbers are beyond of the present capability of the IBM public quantum computer due to the finite error rate 1.5–2.5% of its CNOT gates. Here we utilize an alternative to the Section 2 approach (see SI for details), which is based on the arithmetic representation of the n-bit AND Boolean function34,𝑏0∧𝑏1∧⋯∧𝑏𝑛−1=12𝑛−1(∑𝑖1𝑏𝑖1−∑𝑖1<𝑖2𝑏𝑖1⊕𝑏𝑖2+∑𝑖1<𝑖2<𝑖3𝑏𝑖1⊕𝑏𝑖2⊕𝑏𝑖3+⋯+(−1)𝑛−1𝑏0⊕⋯⊕𝑏𝑛−1),b0∧b1∧⋯∧bn−1=12n−1(∑i1bi1−∑i1<i2bi1⊕bi2+∑i1<i2<i3bi1⊕bi2⊕bi3+⋯+(−1)n−1b0⊕⋯⊕bn−1),(5)

where 𝑏0∧𝑏1∧…b0∧b1∧… is 1 if and only if all 𝑏0=𝑏1=⋯=1b0=b1=⋯=1 and 𝑏0⊕𝑏1⊕…b0⊕b1⊕… is modulo 2 addition. Consider, for instance, a 2-qubit situation. The complex conjugation 𝑈̂ 𝜓=∑3𝑘=0Φ̂ 𝑘(𝜙𝑘)U^ψ=∑k=03Φ^k(ϕk) can be alternatively represented as𝑈̂ 𝜓=exp[−2𝑖𝜙00𝑏¯0∧𝑏¯1−2𝑖𝜙01𝑏¯0∧𝑏1−2𝑖𝜙10𝑏0∧𝑏¯1−2𝑖𝜙11𝑏0∧𝑏1],U^ψ=exp[−2iϕ00b¯0∧b¯1−2iϕ01b¯0∧b1−2iϕ10b0∧b¯1−2iϕ11b0∧b1],(6)

where 𝑏¯𝑖b¯i denotes a negation of the bit value. Summing up all four components in the exponent according to the Eq. (5) one decomposes 𝑈̂ 𝜓U^ψ operator into a product of 1-qubit and 2-qubit phase shifts operations:𝑈̂ 𝜓=exp[−𝑖𝛼0𝑏0−𝑖𝛽0𝑏¯0]exp[−𝑖𝛼1𝑏1−𝑖𝛽1𝑏¯1]exp[−𝑖𝛼01𝑏0⊕𝑏1−𝑖𝛽01𝑏0⊕𝑏1⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯],U^ψ=exp⁡[−iα0b0−iβ0b¯0]exp[−iα1b1−iβ1b¯1]exp[−iα01b0⊕b1−iβ01b0⊕b1¯],(7)

where aiβj are linear combinations of the phase shifts 𝜙𝑘ϕk. The modulo 2 addition 𝑏0⊕𝑏1b0⊕b1 can be effectively implemented with only two CNOT gates. This approach can be generalized for arbitrary number of qubits and turns out to be more efficient at small n since it does not need an ancillary qubits at all and requires (𝑛−1)2𝑛−1(n−1)2n−1 CNOT gates for the complex conjugation of an arbitrary n-qubit state that wins over the approach discussed in Section 2 for 𝑛≤48n≤48. In particular, at 𝑛=2n=2 and 3 one needs only two or eight CNOT gates, respectively. The corresponding 2- and 3-qubit quantum circuits are shown on Fig. 3B and 3D.

The time-reversal experiment runs in several steps: (i) The qubit register that is initially set into the state |𝜓(0)⟩=|0…0⟩|ψ(0)⟩=|0…0⟩ accomplishes the forward time unitary evolution |𝜓0⟩→|𝜓1⟩=𝑈̂ 𝑛bit|𝜓0⟩|ψ0⟩→|ψ1⟩=U^nbit|ψ0⟩. Next, (ii′) the unitary complex conjugation operation 𝒦̂ =𝑈̂ 𝜓K^=U^ψ is applied |𝜓1⟩→|𝜓∗1⟩=𝑈̂ 𝜓|𝜓1⟩|ψ1⟩→|ψ1∗⟩=U^ψ|ψ1⟩ followed by (ii″) the unitary transformation 𝑈̂ 𝑅U^R, |𝜓∗1⟩→|𝒯̂ 𝜓1⟩=𝑈̂ 𝑅|𝜓∗1⟩|ψ1∗⟩→|T^ψ1⟩=U^R|ψ1∗⟩. As a result, the time-reversed state |𝒯̂ 𝜓1⟩|T^ψ1⟩ is generated. Finally, at step (iii) one applies the same forward time unitary evolution |𝒯̂ 𝜓1⟩→𝑈̂ 𝑛bit|𝒯̂ 𝜓1⟩|T^ψ1⟩→U^nbit|T^ψ1⟩ and measures the resulting state of the register in the computational basis. In practice, the step 2″ is only needed for the 3-qubit model where 𝑈̂ 𝑅=SWAP12U^R=SWAP12 requires three additional CNOT gates. In order to save this number of CNOTs we replace the forward evolution operator 𝑈̂ 3bitU^3bit at step (iii) by the new evolution operation obtained from 𝑈̂ 3bitU^3bit via the physical interchange of two particle qubits, rather than to implement the SWAP12 operation at step (ii″). Generally, to arrive to the same initial state one has to apply the inverse time-reversal operation 𝒯−1=𝒦̂ 𝑈̂ †𝑅T−1=K^U^R† to the final state 𝑈̂ 𝑛bit|𝒯̂ 𝜓1⟩U^nbit|T^ψ1⟩. However, if the initial state |𝜓(0)⟩|ψ(0)⟩ was a product state |0…0⟩|0…0⟩ this operation is in fact not needed. Indeed, the complex conjugation just changes the overall phase of the qubit register while 𝑈̂ †𝑅U^R† swaps the same qubit states in 2-particle scattering experiment.

The above time reversal experiment sets the qubit register again into the initial state |0…0⟩|0…0⟩ with the probability unity, provided all quantum gates are prefect and no decoherence and relaxation processes are present. The exemplary outcome probabilities 𝑃𝑖𝑗=|⟨𝑏𝑖𝑏𝑗|𝜓̃ 0⟩|2Pij=|⟨bibj|ψ~0⟩|2 and 𝑃𝑖𝑗𝑘=|⟨𝑏𝑖𝑏𝑗𝑏𝑘|𝜓̃ 0⟩|2Pijk=|⟨bibjbk|ψ~0⟩|2, 𝑖,𝑗,𝑘=0,1i,j,k=0,1 obtained in a real experiment for the 2- and 3-qubit models are shown on the Fig. 3E. One can see that the probability for observing the correct final state |0…0⟩|0…0⟩ is less than 100% and for 2- and 3-qubit experiment are given by 85.3±0.4%85.3±0.4% and 49.1±0.6%49.1±0.6% correspondingly. This considerable distinction from the perfect scenario comes from the three main sources: (i) The finite coherence time T2 of qubits; (ii) The errors of CNOT gates and (iii) The readout errors of the final state of the qubit register.

The observed outcome probabilities were obtained after 8192 runs of each experiment at the same state of the ‘ibmqx4’ 5-qubit quantum processor, see details in SI. For the 2-qubit experiment two processor’s qubit lines q1 and q2 with the coherence times 41.0 μs and 43.5 μs and readout errors 𝜖𝑟1=3.3%ϵr1=3.3% and 𝜖𝑟2=2.9%ϵr2=2.9% were involved. For the 3-qubit experiment, the additional q0 qubit line with 𝑇2=39.4𝜇sT2=39.4μs and the readout error 𝜖𝑟0=4.8%ϵr0=4.8% was used. The 2-qubit experiment requires six CNOTq2,q1 gates with the gate error 𝜖𝑔21=2.786%ϵg21=2.786%, while the 3-qubit experiment acquires, in addition, six CNOT𝑞2,𝑞0CNOTq2,q0 and four CNOT𝑞1,𝑞0CNOTq1,q0gates with the corresponding gate errors 𝜖𝑔20=2.460%ϵg20=2.460% and 𝜖𝑔10=1.683%ϵg10=1.683%. This numbers give us a rough estimate of the net error rates: 𝜖2bit=1−(1−𝜖𝑔21)6ϵ2bit=1−(1−ϵg21)6(1−𝜖𝑟1)(1−𝜖𝑟2)≈15.6%(1−ϵr1)(1−ϵr2)≈15.6% and 𝜖3bit=1−(1−𝜖𝑔21)6(1−𝜖𝑔20)6(1−𝜖𝑔10)4ϵ3bit=1−(1−ϵg21)6(1−ϵg20)6(1−ϵg10)4(1−𝜖𝑟0)(1−𝜖𝑟1)(1−𝜖𝑟2)(1−ϵr0)(1−ϵr1)(1−ϵr2)≈34.4%≈34.4%. One can see, that while this estimate agrees with an observed error of a 2-qubit experiment, the error probability for the 3-qubit experiment is underestimated. We argue that a time duration of a single 3-qubit experiment is about 7.5 μs is comparable with T2 times, while a single 2-qubit experiment takes less time about 3 μs. Hence, the decoherence effects are more prominent in a 3-qubit case that might explain the underestimated value of the error rate. The more experimental data for the different system parameters and processor states are discussed in SI. We note, that at the present date the more accurate computation can be made within NMR quantum computation paradigm35, where much more accurate two-qubit gates can be achieved.

Conclusion

Our findings suggest several directions for investigating time reversal and the backward time flow in real quantum systems. One of the directions to pursue, is the time dependence of the reversal complexity 𝒩N of an evolving quantum state. In our work, we have shown that an isolated d-dimensional quantum particle with quadratic spectrum exhibits a polynomial complexity growth 𝒩(𝜏)=𝜏𝑑N(τ)=τd. Uncovering the 𝒩(𝜏)N(τ) dependence for realistic situations, accounting for the interactions will establish a mechanism and the corresponding time-scale on which time-reversed states can spontaneously emerge. Another fundamental question is whether it is possible at all to design a quantum algorithm that would perform time-reversal more efficiently than using 𝒪(𝒩)O(N) elementary gates. So far, our time-reversal schemes were scrolling one by one through the state components but did not exploit a quantum parallelism in its full power. On a practical side the time-reversal procedure might be helpful for the quantum program testing. Having in hands a multi-qubit quantum computer it is hard to verify that it really has computed the desired result. Indeed, the full tomography of the computed state is an exponentially hard task. Alternatively, making the time-reversal of the anticipated computed state and running the same evolution drives the computer back to its initial state if and only if the computer really made a correct computation. The initial state is typically non-entangled and therefore its verification is an easy task.

Data Availability

All data generated or analyzed during this study are included in this published article and its Supplementary Information file.

Acknowledgements
Te work was supported by the U.S. Department of Energy, Office of Science, Basic Energy Sciences, Materials
Sciences and Engineering Division (V.M.V.), by the Swiss National Foundation via the National Centre of
Competence in Research in Quantum Science and Technology (NCCR QSIT) (A.V.L.) and by the RFBR Grants
No. 17-02-00396A (G.B.L.) and 18-02-00642A (A.V.L. and G.B.L.). A.V.L. and M.V.S. acknowledges the support
from the Ministry of the Education and Science of the Russian Federation 16.7162.2017/8.9. G.B.L. was supported
by the Government of the Russian Federation (Agreement 05.Y09.21.0018), Foundation for the Advancement
of Teoretical Physics “BASIS”, the Pauli Center for Teoretical Physics. All data are available in the online
supplementary materials.
Author Contributions
G.B.L., I.A.S., M.V.S., A.V.L. and V.M.V. conceived the work, carried out calculations, and wrote the manuscript.
Additional Information
Supplementary information accompanies this paper at https://doi.org/10.1038/s41598-019-40765-6.
Competing Interests: Te authors declare no competing interests.

Author: Jesus Padilla

Leave a Reply