Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Time-reversal of an unknown quantum state

Abstract

For decades, researchers have sought to understand how the irreversibility of the surrounding world emerges from the seemingly time-symmetric, fundamental laws of physics. Quantum mechanics conjectured a clue that final irreversibility is set by the measurement procedure and that the time-reversal requires complex conjugation of the wave function, which is overly complex to spontaneously appear in nature. Building on this Landau-Wigner conjecture, it became possible to demonstrate that time-reversal is exponentially improbable in a virgin nature and to design an algorithm artificially reversing a time arrow for a given quantum state on the IBM quantum computer. However, the implemented arrow-of-time reversal embraced only the known states initially disentangled from the thermodynamic reservoir. Here we develop a procedure for reversing the temporal evolution of an arbitrary unknown quantum state. This opens the route for general universal algorithms sending temporal evolution of an arbitrary system backward in time.

Introduction

An origin of the arrow of time, the concept coined for expressing one-way direction of time, is inextricably associated with the Second Law of Thermodynamics1, which declares that entropy growth stems from the system’s energy dissipation to the environment2,3,4,5,6. Thermodynamic considerations7,8,9,10,11,12,13,14,15,16,17, combined with the quantum mechanical hypothesis that irreversibility of the evolution of the physical system is related to measurement procedure18,19, and to the necessity of the anti-unitary complex conjugation of the wave function of the system for time reversal20, led to understanding that the energy dissipation can be treated in terms of the system’s entanglement with the environment1,21,22,23,24. The quantum mechanical approach to the origin of the entropy growth problem was crowned by finding that in a quantum system initially not correlated with an environment, the local violation of the second law can occur25. Extending then the solely quantum viewpoint on the arrow of time and elaborating on the implications of the Landau–Neumann–Wigner hypothesis18,19,20, enabled to quantify the complexity of reversing the evolution of the known quantum state and realize the reversal of the arrow of time on the IBM quantum computer26.

In all these past studies, a thermodynamic reservoir at finite temperatures has been appearing as a high-entropy stochastic bath thermalizing a given quantum system and increasing thus its thermal disorder, hence entropy. We find that most unexpectedly, it is exactly the presence of the reservoir that makes it possible to prepare the high-temperature thermal states of an auxiliary quantum system governed by the same Hamiltonian \(\hat{H}\) as the Hamiltonian of a given system. This enables us to devise the operator of the backward-time evolution \(\hat{U}=\exp (i\hat{H}t)\) reversing the temporal dynamics of the given quantum system. The necessary requirement is that the dynamics of the both, auxiliary and given, systems were governed by the same Hamiltonian \(\hat{H}\). The time-reversal protocol comprises the cyclic sequential process of quantum computation on the combined auxiliary and the given systems and the thermalization process of the auxiliary system. A universal time-reversal procedure of an unknown quantum state defined through the density matrix \(\hat{\rho }(t)\) of a quantum system \({\mathcal{S}}\) will be described as a reversal of the temporal system evolution \(\hat{\rho }(t)\to \hat{\rho }(0)=\exp (i\hat{H}t/\hslash )\hat{\rho }(t)\exp (-i\hat{H}t/\hslash )\) returning it to system’s original state \(\hat{\rho }(0)\). Importantly, we need not know the quantum state of this system in order to implement the arrow of time reversal. A dramatic qualitative advance of the new protocol is that it eliminates the need of keeping an exponentially huge record of classical information about the values of the state amplitudes. Moreover, the crucial step compared with the protocol of time reversal of the known quantum state26 is that we now lift the requirement that initially the evolving quantum system must be a pure uncorrelated state. Here, we develop a procedure where the initial state can be a mixed state and, therefore, include correlations due to system’s past interaction with the environment.

Results

Universal procedure

The calculations are organized as follows. First, we describe how the time reversal of an unknown state can be implemented in a universal manner and estimate its computational complexity. Next, we outline a somewhat more resource-demanding procedure, where, however, one can relax the need of knowing the Hamiltonian \(\hat{H}\). Then we show that if in addition to the quantum system \({\mathcal{S}}\) one is provided by an auxiliary system \({\mathcal{A}}\), so that \(\dim {\mathcal{S}}=\dim {\mathcal{A}}\), whose dynamics is governed by the same Hamiltonian \(\hat{H}\), one can devise \({\hat{U}}^{\dagger }(t)\) without knowing an exact form of \(\hat{H}\). Finally, we discuss how the partial knowledge on the state \(\hat{\rho }(t)\) can reduce and optimize the complexity of the time-reversal procedure.

The starting point of the reversal procedure is drawn from the observation of S. Lloyd et al.27 that having an ancilla system in a state \(\hat{\sigma }\) one can approximately construct a unitary operation \(\exp (-i\omega \hat{\sigma }\delta t)\) acting on a system \({\mathcal{S}}\) simulating its evolution under Hamiltonian \({\hat{H}}_{a}=\hslash \omega \hat{\sigma }\) during the infinitesimal time interval δt. Here, ω refers to some arbitrary rate, which for a moment, we leave unspecified. Having N identical copies of ancillas, one generates a finite time evolution \(\rho (t)\to \rho (t+\tau )={e}^{-i\omega \tau \hat{\sigma }}\hat{\rho }(t){e}^{+i\omega \tau \hat{\sigma }}\) over the time interval τ = Nδt with the accuracy (ωτ)2/N (see “Methods”). The first step of the time-reversal procedure is then constructing the density matrix \(\hat{\sigma }\). Consider the density operator defined by the given finite-dimensional Hamiltonian \(\hat{H}\) having the maximal eigenvalue \({\epsilon }_{\max }\):

$$\hat{\sigma }=\frac{1}{Z}\left({\mathbb{1}}{\epsilon }_{\max }-\hat{H}\right),$$
(1)

where \(Z={\epsilon }_{\max }\dim {\mathcal{S}}-\,{\text{Tr}}\,\{\hat{H}\}\) is the normalization factor. Then the Lloyd (LMR) procedure maps the initial density matrix \(\hat{\rho }(t)\) to

$$\hat{\rho }(t)\to \exp \left(\frac{i\omega }{Z}\hat{H}\tau \right)\hat{\rho }(t)\exp \left(-\frac{i\omega }{Z}\hat{H}\tau \right).$$
(2)

One sees that application of the LMR procedure with the specific density matrix σ realizes approximately the time-reversed evolution of the system

$$\hat{\rho }(t)\to \hat{\rho }\left(t-\frac{\hslash \omega }{Z}\ \tau \right)+\delta \hat{\rho }(\tau )$$
(3)

to a backward delay τR = (ω/Z)τ. The accuracy \(\delta \hat{\rho }(\tau )\) of such a time-reversal procedure is given by (see “Methods”),

$$| | \delta \hat{\rho }(\tau )| | \le \frac{{(\omega \tau )}^{2}}{N}\ \left(| | \hat{\sigma }| | +| | \hat{\rho }(t)| | +2| | \hat{\rho }(t)| | \ | | \hat{\sigma }| {| }^{2}\right),$$
(4)

where \(| | \hat{A}| |\) is the operator norm: \(| | \hat{A}| | ={\sup }_{\left|\psi \right\rangle }\sqrt{\left\langle \psi \right|\hat{A}\left|\psi \right\rangle /\langle \psi | \psi \rangle }\).

From Eqs. (3) and (4), one draws two important conclusions. First, the above time-reversal procedure for a backward delay τR requires time τ to be completed. Therefore, while exercising the reversal, the system still maintain the forward evolution governed by its own Hamiltonian. Taking this into account, one has to modify Eq. (3) to

$$\hat{\rho }(t)\to \hat{\rho }\left(t-\tau \frac{\hslash \omega }{Z}+\tau \right),$$
(5)

which immediately poses the constraint on the operation rate ω of the LMR procedure: the actual time reversal occurs only for ω > Z. If this constraint is not satisfied, the time-reversal procedure only slows down the forward time evolution of the system. For a quantum system \({\mathcal{S}}\), the threshold rate Z/ is proportional to the Hilbert space dimension \(\dim {\mathcal{S}}\): \(Z=\hslash \tilde{\omega }\dim {\mathcal{S}}\) with \(\hslash \tilde{\omega }=\left({\epsilon }_{\max }-\,{\text{Tr}}\,\{\hat{H}\}/\dim {\mathcal{S}}\right)\), which is typically an exponentially large number. In particular, in order to make the time reversal with the same rate as the forward time evolution, one has to demand ω > 2Z/. This brings straightforwardly the second conclusion: as far as ω is large, the infinitesimal time step δt of the procedure has to be small so that ωδt 1, therefore the number N has to be large. Indeed, fixing the backward delay τR, the operation rate ω = 2Z/, and setting the reversal accuracy ϵ: \(| | \delta \hat{\rho }(\tau ={\tau }_{R})| | \le \epsilon\) one finds from Eq. (4):

$${N}_{\epsilon }=\frac{| | \hat{\rho }(t)| | }{\epsilon }\ {\left(\dim {\mathcal{S}}\frac{{\tau }_{R}}{\tilde{\tau }}\right)}^{2},$$
(6)

where \(\tilde{\tau }={\tilde{\omega }}^{-1}\) is the typical timescale of the system dynamics, and \(| | \hat{\sigma }| | \propto {(\dim {\mathcal{S}})}^{-1}\ll | | \hat{\rho }(t)| |\) is assumed. Equation (6) implies that the computational complexity of the time-reversal procedure for an unknown quantum state is proportional to the square of the system’s Hilbert space dimension. In contrast, the time reversal of a known pure quantum state \(\hat{\rho }(t)=\left|\psi (t)\right\rangle \left\langle \psi (t)\right|\) is proportional to the dimension of the Hilbert space, which is swept by the system in the course of its forward time evolution \(\left|\psi (0)\right\rangle \to \left|\psi (t)\right\rangle\)26. As follows from Eq. (6), the time-reversal computational cost of an unknown pure state is maximal as long as \(| | \hat{\rho }| | =1\) in this case. For a mixed high-entropy state \(\hat{\rho }\), the reversal complexity is reduced: given a state \(\hat{\rho }\) with the entropy \({S}_{\rho }={\mathrm{ln}}\,(\dim {\mathcal{S}})-k \, {\mathrm{ln}}\,(2)\), where only \(k\ll {\mathrm{log}\,}_{2}(\dim {\mathcal{S}})\) bits of information is known, the upper estimate for the reversal complexity is given by (see “Methods”)

$${N}_{\epsilon }\le \frac{k}{\epsilon \,{\mathrm{log}\,}_{2}(\dim {\mathcal{S}})}\ {\left(\dim {\mathcal{S}}\frac{{\tau }_{R}}{\tilde{\tau }}\right)}^{2}.$$
(7)

Having complete information about the Hamiltonian \(\hat{H}\) allows one to construct a corresponding quantum circuit realizing the forward time evolution operator \(\hat{U}=\exp (-i\hat{H}t/\hslash )\) through a specific fixed set \({\mathcal{G}}\) of universal quantum gates: \(\hat{U}={\hat{U}}_{1}\cdots {\hat{U}}_{N}\), \({\hat{U}}_{i}\in {\mathcal{G}}\). As far as \({\mathcal{G}}\) is an universal set, for every \({\hat{U}}_{i}\in {\mathcal{G}}\) one can construct the inverse gate \({\hat{U}}_{i}^{\dagger }\). Therefore, the time-reversed evolution operator \({\hat{U}}^{\dagger }\) can be constructed in a purely algorithmic way given the gate decomposition of \(\hat{U}\). Thus, the above procedure may appear extremely ineffective for a practical time-reversal task. However, the situation turns completely different if we relax the requirement of the exact knowledge of \(\hat{H}\) and assume that one, instead, is provided by the equivalent copy of the system \({\mathcal{S}}\) governed by the same Hamiltonian \(\hat{H}\).

Auxiliary system

Let one be equipped with the thermodynamic bath at the temperature T = β−1 in addition to the ancilla. One can then thermalize the ancilla and prepare it in the equilibrium state \({\sigma }_{\beta }={Z}_{\beta }^{-1}\exp (-\beta \hat{H})\) with \({Z}_{\beta }={\rm{Tr}}\{\exp (-\beta \hat{H})\}\) being a statistical sum. For high-enough temperature β → 0, one has \(\beta {\epsilon }_{\max } \sim 1\) and, therefore, \({\sigma }_{\beta }\approx {Z}_{\beta }^{-1}(1-\beta \hat{H})\) which gives the desired state of the ancilla to implement the reverse evolution through the LMR procedure. In this case,

$$\hat{\rho }(t)\to \hat{\rho }\left(t-\frac{\hslash \omega \beta }{{Z}_{\beta }}\ \tau +\tau \right)+\delta \hat{\rho }(\tau ).$$
(8)

As can be seen from the above equation the actual time reversal requires the operation rate of the LMR procedure to exceed the threshold

$$\omega \, > \, {\omega }_{{\rm{th}}}=\frac{T}{\hslash }{Z}_{\beta }\approx \frac{T}{\hslash }\dim {\mathcal{S}}.$$
(9)

The approximation error \(\delta \hat{\rho }\) splits now to two contributions, \(\delta \hat{\rho }=\delta {\hat{\rho }}_{1}+\delta {\hat{\rho }}_{2}\), where \(\delta {\hat{\rho }}_{1}\) is the approximation error resulting from the LMR procedure, see Eq. (4) with \(\hat{\sigma }\to {\hat{\sigma }}_{\beta }\), while the error \(\delta {\hat{\rho }}_{2}\) describes the error due to the β expansion of the thermal state \({\hat{\sigma }}_{\beta }\). Assuming ω =  2ωth, i.e. the backward evolution goes with the same rate as the forward time evolution one finds

$$\delta {\hat{\rho }}_{2}(\tau )=-i\frac{\tau \beta }{\hslash }\ \left[{\hat{H}}^{2},\hat{\rho }\left(t-\tau \right)\right].$$
(10)

Then for \(| | {\hat{\sigma }}_{\beta }| | \ll | | \hat{\rho }(t)| |\) one can estimate the net error as

$$| | \delta \hat{\rho }(\tau )| | \le \left(4\frac{{Z}_{\beta }^{2}}{N}\ {\left(\frac{\tau }{{\tau }_{\beta }}\right)}^{2}+\frac{\tau }{{\tau }_{\beta }}{(\beta {\epsilon }_{\max })}^{2}\right)| | \hat{\rho }(t-\tau )| | .$$
(11)

where τβ = β. The temperature dependence of two error contributions in Eq. (11) oppositely depends on the inverse temperature: the error due to thermal expansion (second term) reduces as β → 0, while the error due to LMR dynamics (first term) increases with decreasing β. For a given reverse time delay τ and the number of LMR iterations \(N\gg {Z}_{\beta }^{2}\approx {(\dim {\mathcal{S}})}^{2}\), one has an optimal temperature

$$\beta {\epsilon }_{\max }={\left(8\frac{{Z}_{\beta }^{2}}{N}\frac{{\epsilon }_{\max }\tau }{\hslash }\right)}^{1/3},$$
(12)

and the corresponding net accuracy of the reversal procedure is then given by

$$| | \delta \hat{\rho }(\tau )| | =\epsilon =3{\left(\frac{{Z}_{\beta }^{2}}{N}\right)}^{1/3}{\left(\frac{{\epsilon }_{\max }\tau }{\hslash }\right)}^{4/3}| | \hat{\rho }(t-\tau )| | .$$
(13)

Comparing with the case of the known Hamiltonian time-reversal procedure, see Eq. (6), the reversal complexity here is again proportional to the square of the system’s Hilbert space dimension, but, at the same time, has more adverse scaling with the reversal duration and the net accuracy.

The above analysis does not need any prior information about the state \(\hat{\rho }\) which would require very high temperature of the auxilliary thermostat in order to cover all the possible energy states of the system’s Hilbert space that finally results in a tremendously high rate \(\sim \hslash \beta \dim {\mathcal{S}}\) of the LMR procedure. If, however, some information about the energy content of the state \(\hat{\rho }\) is available, one can appreciably reduce the reversal cost. Indeed, let the state \(\hat{\rho }\) have the average energy \(\bar{E}={\rm{Tr}}\{\rho \hat{H}\}\) with an energy variance \({(\delta E)}^{2}={\rm{Tr}}\{\hat{\rho }((\hat{H}-\bar{E})^2)\}\). Then one can present the density matrix as the result of the low-energy contribution, \({\hat{\rho }}_{\,{<}\,}=\hat{P}\hat{\rho }\hat{P}/{\rm{Tr}}\{\hat{P}\hat{\rho }\}\) and the high-energy remainder \({\hat{\rho }}_{ \,{> }\,}=(1-\hat{P})\hat{\rho }(1-\hat{P})/{\rm{Tr}}\{(1-\hat{P})\hat{\rho }\}\), where \(\hat{P}={\sum }_{E{<}{E}_{\max }}\left|E\right\rangle \left\langle E\right|\) is a projection operator to the subspace with energies below some cutoff energy \({E}_{\max } \, > \, \bar{E}\): \(\hat{\rho }=(1-{\epsilon }_{{\rm{E}}}){\hat{\rho }}_{\,{<}\,}+{\epsilon }_{{\rm{E}}}{\hat{\rho }}_{ \,{> }\,}\). The additional error due to truncating the system’s Hilbert space to the low-energy subspace is given by the constant ϵE, which is a probability for the system to be found in the energy state \(E \, > \, {E}_{\max }\), and, according to the Chebyshev inequality, is bound by

$${\epsilon }_{{\rm{E}}}\le {\left(\frac{{E}_{\max }-\bar{E}}{\delta E}\right)}^{-2}.$$
(14)

Single-particle wave packet

Now, we consider an exemplary time-reversal procedure for a spreading single-particle wave packet with the quadratic spectrum. Let the packet at the time t = 0 be localized at the origin and have the Lorentzian shape with the width ξ0:

$$\Psi (x,0)=\sqrt{\frac{{\xi }_{0}}{2\pi }}\ \frac{2{\xi }_{0}}{{x}^{2}+{\xi }^{2}}\equiv \sum \limits_{p}\sqrt{2\pi {\xi }_{0}}{e}^{-| p| {\xi }_{0}}{e}^{ipx}.$$
(15)

A subsequent free evolution with quadratic Hamiltonian \(\hat{H}={\hslash }^{2}{\hat{p}}^{2}/2m\) during the time interval τ > 0 broadens the particle’s wave function into

$$\Psi (x,\tau )\approx \frac{{e}^{-| x| m{\xi }_{0}/\hslash \tau }}{\sqrt{2\pi \hslash \tau /m}}\exp \left(\frac{im{x}^{2}}{2\hslash \tau }\right),$$
(16)

having the typical size ξτ = τ/mξ0 or, equivalently, \({\xi }_{\tau }/{\xi }_{0}=4\bar{E}\tau /\hslash\), where \(\bar{E}={\hslash }^{2}/4m{\xi }_{0}^{2}\) is the average energy carried by the wave packet. The statistical sum Zβ within the volume  ~ ξτ is given by

$${Z}_{\beta } \sim {\xi }_{\tau }\int\ dE{\nu }_{{\rm{1D}}}(E){e}^{-\beta E} \sim \frac{\tau }{\hslash }\sqrt{\frac{\bar{E}}{\beta }},$$
(17)

where \({\nu }_{{\rm{1D}}}(E)={(m/2{\pi }^{2}{\hslash }^{2}E)}^{1/2}\) is one-dimensional density of states. Assuming \({E}_{\max } \sim \bar{E}\), the reversal complexity for the time-reversal procedure with the accuracy ϵ is given by (see Eqs. (12) and (13))

$${N}_{\epsilon } \sim \frac{1}{{\epsilon }^{4}}{\left(\frac{\bar{E}\tau }{\hslash }\right)}^{7}=\frac{1}{{\epsilon }^{4}}{\left(\frac{{\xi }_{\tau }}{{\xi }_{0}}\right)}^{7}.$$
(18)

The optimal inverse temperature of the thermostat is then given by

$$\beta \sim \frac{1}{\bar{E}}\frac{\epsilon }{{\xi }_{\tau }/{\xi }_{0}}.$$
(19)

Comparing this with the reversal complexity of a known state of the wave packet, \({N}_{\epsilon }^{\prime} \sim {\epsilon }^{-1}({\xi }_{\tau }/{\xi }_{0})\), see ref. 26, one finds that the reversal of an unknown wave-packet state is a more laborious computational task.

Discussion

We have described the time-reversal procedure of an unknown mixed quantum state. The procedure relies on the ability to perform the LMR protocol and on the existence of an ancilla system whose dynamics is governed by the same Hamiltonian as the Hamiltonian of the reversed system, which is not required to be known to us. The reversal procedure is comprised of N 1 sequential applications of the LMR procedure to the joint state of the system and ancilla prepared in a thermal state. In contrast to the known state-reversal procedure, the introduced algorithm does not require to keep an information about all amplitudes of the reversed state. Yet the reversal complexity given by N scales typically as squared dimension of a Hilbert space spanned the unknown state. Moreover, the operation rate of the LMR procedure has to be sufficiently high to overrun the forward time evolution of the reversed system during the execution of the reversal protocol.

The experimental realization of such a protocol is a feasible yet challenging task. As a first step, it will require an upgrade of the existing design of quantum chips. In particular, one needs a set of interacting qubits (denoted by \({{\mathcal{Q}}}_{{\rm{A}}}\)) capable to get thermalized on-demand being connected with the high-temperature environment. For superconducting qubits28, this can be implemented by coupling them with a transmission line, where the high-temperature thermal radiation is fed in, once one needs to set the qubits into a high-temperature state. Next, the second set of qubits \({{\mathcal{Q}}}_{{\rm{B}}}\), \(\dim {{\mathcal{Q}}}_{{\rm{B}}}=\dim {{\mathcal{Q}}}_{{\rm{A}}}\) is required, where one can store a quantum state prepared in the set \({{\mathcal{Q}}}_{{\rm{A}}}\). Then the time-reversal procedure goes as follows. First, one prepares some state ψA(0) of the qubits \({{\mathcal{Q}}}_{{\rm{A}}}\), and lets it evolve according to an intrinsic Hamiltonian of the qubits \({{\mathcal{Q}}}_{{\rm{A}}}\): \({\psi }_{{\rm{A}}}(0)\to {\psi }_{{\rm{A}}}(\tau )={e}^{-i{\hat{H}}_{{\rm{A}}}\tau /\hslash }{\psi }_{{\rm{A}}}(0)\). Second, at the end of the evolution, one swaps the states between \({{\mathcal{Q}}}_{{\rm{A}}}\) and \({{\mathcal{Q}}}_{{\rm{B}}}\), ψA ↔ ψB. We assume that the set \({{\mathcal{Q}}}_{{\rm{B}}}\) can keep its quantum state untouched for a sufficient time. The procedure then continues as described above: one subsequently thermalizes the set \({{\mathcal{Q}}}_{{\rm{A}}}\) and implements the joint LMR evolution \({e}^{-i\omega \delta t{\hat{S}}_{{\rm{AB}}}}{\hat{\rho }}_{{\rm{A}}}\otimes {\hat{\rho }}_{{\rm{B}}}{e}^{i\omega \delta t{\hat{S}}_{{\rm{AB}}}}\). As a result, the qubits \({{\mathcal{Q}}}_{{\rm{B}}}\) will undergo the time-reversed dynamics under the same Hamiltonian \({\hat{H}}_{{\rm{A}}}\). This procedure is to be implemented on the emergent quantum computers with the on-demand thermalizable qubits.

Methods

LMR procedure

The LMR procedure goes as follows: one considers a combined system of the system in question and an ancilla \(\hat{\rho }\otimes \hat{\sigma }\) and performs the joint unitary evolution over an infinitesimal time instant δt under a Hamiltonian \(\hslash \omega \hat{S}\),

$$\hat{\rho }\otimes \hat{\sigma }\to \exp \left(-i\omega \delta t\hat{S}\right)\left[\hat{\rho }\otimes \hat{\sigma }\right]\exp \left(+i\omega \delta t\hat{S}\right),$$
(20)

where \(\hat{S}\) is a unitary SWAP operator29 acting on the system and ancilla: \(\hat{S}\left({\left|x\right\rangle }_{{\mathcal{S}}}\otimes {\left|y\right\rangle }_{a}\right)={\left|y\right\rangle }_{{\mathcal{S}}}\otimes {\left|x\right\rangle }_{a}\). The operator \(\hat{S}\) is itself Hermitian and, therefore, the unitary operator \(\exp (-i\omega \delta t\hat{S})\) can be implemented. Making use of its property \({\hat{S}}^{2}=\hat{1}\), one gets \(\exp (-i\omega \delta t\hat{S})=\hat{1}\cos (\omega \delta t)-i\hat{S}\sin (\omega \delta t)\) and, therefore, its computational complexity is equivalent to the complexity of the unitary swap operator acting on the direct product of Hilbert spaces with the dimensions \(\dim {\mathcal{S}}\). Next, we trace out the ancilla and get the quantum channel for the system’s density matrix

$$\begin{array}{c}\rho \to {\Phi }_{\delta t}[\hat{\rho }]={\cos }^{2}(\omega \delta t)\hat{\rho }+{\sin }^{2}(\omega \delta t)\hat{\sigma }\\ -i\sin (\omega \delta t)\cos (\omega \delta t)\left[\hat{\sigma },\hat{\rho }\right].\end{array}$$
(21)

At the infinitesimal time instant ωδt → 0, one gets the channel, \({\Phi }_{\delta t}\left[\hat{\rho }\right]=\hat{\rho }-i\omega \delta t\left[\hat{\sigma },\hat{\rho }\right]+{(\omega \delta t)}^{2}\left(\hat{\sigma }-\hat{\rho }\right)\). In this expression, the term \(\hat{\rho }-i\omega \delta t\left[\hat{\sigma },\hat{\rho }\right]\) corresponds to the infinitesimal time evolution of the density matrix \(\hat{\rho }(t)\) under the Hamiltonian \({\hat{H}}_{\sigma }=\hslash \omega \hat{\sigma }\): \(\hat{\rho }(t)\to \hat{\rho }(t+\delta t)={e}^{-i{\hat{H}}_{\sigma }\delta t/\hslash }\hat{\rho }(t){e}^{i{\hat{H}}_{\sigma }\delta t/\hslash }\approx \hat{\rho }(t)-i\omega \delta t\left[\hat{\sigma },\hat{\rho }\right]-\frac{1}{2}{(\omega \delta t)}^{2}\left[\hat{\sigma }\left[\hat{\sigma },\hat{\rho }\right]\right]\). Therefore, up to the (ωδt)2 terms, Eq. (21) can be transformed into the exponential form

$${\Phi }_{\delta t}\left[\hat{\rho }(t)\right]\approx {e}^{-i\omega \delta t\hat{\sigma }}\hat{\rho }(t){e}^{+i\omega \delta t\hat{\sigma }}+{\left(\omega \delta t\right)}^{2}\left(\hat{\sigma }+\frac{1}{2}\left[\hat{\sigma }\left[\hat{\sigma },\hat{\rho }(t)\right]\right]-\hat{\rho }(t)\right).$$
(22)

Repeating the above procedure N times one can generate the forward time evolution \(\exp (-i\omega \tau \hat{\sigma })\) over a finite time interval τ = Nδt

$${\Phi }_{\delta t}^{N}[\hat{\rho }(t)]\approx \exp (-i\omega \tau \hat{\sigma })\hat{\rho }\exp (+i\omega \tau \hat{\sigma })+\delta \hat{\rho }(\tau ),$$
(23)

where the approximate accuracy is given by

$$\delta \hat{\rho }(\tau )=\frac{{\left(\omega \tau \right)}^{2}}{N}\left(\sigma +\frac{1}{2}\left[\hat{\sigma }\left[\hat{\sigma },\hat{\rho }(t+\tau )\right]\right]-\hat{\rho }(t+\tau )\right),$$
(24)

with \(\hat{\rho }(t+\tau )=\exp (-i\omega \tau \hat{\sigma })\hat{\rho }(t)\exp (+i\omega \tau \hat{\sigma })\) being the final state of the system.

High-entropy-state-reversal complexity

Here, we derive the Eq. (7) for the time-reversal complexity of the state \(\hat{\rho }\) with the entropy \(S={\mathrm{ln}}\,\dim (N)-k \, \mathrm{ln}\,(2)\), where \(N=\dim ({\mathcal{S}})\) is the Hilbert space dimension of the system. The norm \(| | \hat{\rho }| |\) is given by its maximum eigenvalue \(| | \hat{\rho }| | ={p}_{1} \, > \, {p}_{i}\), i = 2, …N of the density operator. The von Neumann entropy can be decomposed into a sum

$$S=H({p}_{1})+(1-{p}_{1})\mathop{\sum }\limits_{i = 2}^{N}{\tilde{p}}_{i} \, {\mathrm{ln}}\,({\tilde{p}}_{i}),$$
(25)

where \({\tilde{p}}_{i}={p}_{i}/(1-{p}_{1})\) with \(\mathop{\sum }\nolimits_{i = 2}^{N}{\tilde{p}}_{i}=1\), \(H(x)=-x{\mathrm{ln}}\,(x)-(1-x){\mathrm{ln}}\,(1-x)\le {\mathrm{ln}}\,(2)\). Let us find a maximal possible p1 for a given S. One sees straightforwardly that p1 is maximal if all \({\tilde{p}}_{i}\), i = 2, …N are uniform and Eq. (25) is reduced to

$${\mathrm{ln}}\,(N)-k\,{\mathrm{ln}}\,(2)=H({p}_{1})+(1-{p}_{1}){\mathrm{ln}}\,(N-1).$$
(26)

For N 1, one can assume p1 1 and get the approximate solution \({p}_{1}\approx k/{\mathrm{log}\,}_{2}(N)\) that results in Eq. (7).

Data availability

Data sharing is not applicable to this article, as no data sets were generated or analyzed during this study.

References

  1. Lloyd, S. On the spontaneous generation of complexity in the universe. in Complexity and the Arrow of Time, (eds Lineweaver, C. H.,Davies, P. C. W. & Ruse, M.) 80–112 (Cambridge University Press, 2013).

  2. Thomson, W. I. X. On the dynamical theory of heat. Part V. Thermo-electric currents. Trans. R. Soc. Edinb. 21, 123–171 (1857).

    Article  Google Scholar 

  3. Maxwell, J. C. Illustrations of the dynamical theory of gases. Part I. On the motions and collisions of perfectly elastic spheres. Philos. Mag., 4th Ser. 19, 19–32 (1860).

    Article  Google Scholar 

  4. Boltzmann, L. Weitere Studien über das Wärmegleichgewicht unter Gasmolekülen. Wien. Ber. 75, 62–100 (1872).

    Google Scholar 

  5. Boltzmann, L. Entgegnung auf die wärme-theoretischen Betrachtungen des Hrn. E. Zermelo. Ann. der Phys. (Leipz.) 57, 773–784 (1896).

    ADS  Article  Google Scholar 

  6. Lebowitz, J. L. Statistical mechanics: a selective review of two central issues. Rev. Mod. Phys. 71, S346–S357 (1999).

    Article  Google Scholar 

  7. Holster, A. T. The criterion for time symmetry of probabilistic theories and the reversibility of quantum mechanics. N. J. Phys. 5, 1–28 (2013).

    MathSciNet  Google Scholar 

  8. Andrieux, D. et al. Entropy production and time asymmetry in nonequilibrium fluctuations. Phys. Rev. Lett. 98, 150601 (2007).

    ADS  Article  Google Scholar 

  9. Parrondo, J. M. R., Van den Broeck, C. & Kawai, R. Entropy production and the arrow of time. N. J. Phys. 11, 073008 (2009).

    Article  Google Scholar 

  10. Campisi, M., Hänggi, P. & Talkner, P. Colloquium: quantum fluctuation relations: foundations and applications. Rev. Mod. Phys. 83, 771 (2011).

    ADS  Article  Google Scholar 

  11. Campisi, M. & Hänggi, P. Fluctuation, dissipation and the arrow of time. Entropy 13, 2024–2035 (2011).

    ADS  MathSciNet  Article  Google Scholar 

  12. Deffner, S. & Lutz, E. Nonequilibrium entropy production for open quantum systems. Phys. Rev. Lett. 107, 140404 (2011).

    ADS  Article  Google Scholar 

  13. Oreshkov, O. & Cerf, N. J. Operational formulation of time reversal in quantum theory. Nat. Phys. 11, 853 (2015).

    Article  Google Scholar 

  14. Manzano, G., Horowitz, J. M. & Parrondo, J. M. R. Quantum fluctuation theorems for arbitrary environments: adiabatic and non-adiabatic entropy production. Phys. Rev. X 8, 031037 (2018).

    Google Scholar 

  15. Santos, J. P., Landi, G. T. & Paternostro, M. Wigner entropy production rate. Phys. Rev. Lett. 118, 220601 (2017).

    ADS  Article  Google Scholar 

  16. Batalhão, T. B., Gherardini, S., Santos, J. P., Landi, G. T. & Paternostro, M. Characterizing irreversibility in open quantum systems. Thermodynamics in the Quantum Regime. Fundamental Theories of Physics, vol 195 (eds Binder, F., Correa, L., Gogolin, C., Anders, J. & Adesso, G.) (Springer, Cham, 2019).

  17. Gherardini, S., Müller, M. M., Trombettoni, A., Ruffo, S. & Ncaruso, F. Reconstructing quantum entropy production to probe irreversibility and correlations. Quantum Sci. Technol. 3, 035013 (2018).

    ADS  Article  Google Scholar 

  18. Landau, L. Das Dämpfungsproblem in der Wellenmechanik. Z. Phys. 45, 430 (1927).

    ADS  Article  Google Scholar 

  19. VonNeuman, J. Beweis des Ergodensatzes und des H-Theorems in der neuen Mechanik. Z. f.ür. Phys. 57, 30–70 (1929).

    Article  Google Scholar 

  20. Wigner, E. Ueber die Operation der Zeitumkehr in der Quantenmechanik. Nachrichten von der Gesellschaft der Wissenschaften zu Gttingen, Mathematisch- Physikalische Klasse 1932, 546–559 (1932).

  21. Batalhão, T. B. et al. Irreversibility and the arrow of time in a quenched quantum system. Phys. Rev. Lett. 115, 190601 (2015).

  22. Camati, P. A. et al. Experimental rectification of entropy production by Maxwell’s Demon in a quantum system. Phys. Rev. Lett. 117, 240502 (2016).

    ADS  Article  Google Scholar 

  23. Partovi, M. H. Entanglement versus Stosszahlansatz: disappearance of the thermodynamic arrow in a high-correlation environment. Phys. Rev. E 77, 021110 (2008).

    ADS  MathSciNet  Article  Google Scholar 

  24. Jennings, D. & Rudolph, T. Entanglement and the thermodynamic arrow of time. Phys. Rev. E 81, 061130 (2010).

    ADS  MathSciNet  Article  Google Scholar 

  25. Lesovik, G. B., Lebedev, A. V., Sadovskyy, I. A., Suslov, M. V. & Vinokur, V. M. H-theorem in quantum physics. Sci. Rep. 6, 32815 (2016).

    ADS  Article  Google Scholar 

  26. Lesovik, G. B., Sadovskyy, I. A., Suslov, M. V., Lebedev, A. V. & Vinokur, V. M. Arrow of time and its reversal on the IBM quantum computer. Sci. Rep. 9, 4396 (2019).

    ADS  Article  Google Scholar 

  27. Lloyd, S., Mohseni, M. & Rebentrost, P. Quantum principal component analysis. Nat. Phys. 10, 631 (2014).

    Article  Google Scholar 

  28. Krantz, P. et al. A quantum engineeras guide to superconducting qubits. Appl. Phys. Rev. 6, 021318 (2019).

  29. Garcia-Escartin, J. C. & Chamorro-Posada, P. A SWAP gate for qudits. Quant. Inf. Process. 12, 3625 (2013).

    ADS  MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The work was supported by the U.S. Department of Energy, Office of Science, Basic Energy Sciences, Materials Sciences and Engineering Division (V.M.V. and partly A.V.L.) and by the RFBR Grant No. 18-02-00642A (A.V.L). A.V.L. acknowledges the support from the Ministry of the Education and Science of the Russian Federation 16.7162.2017/8.9 and from the Government of the Russian Federation (Agreement 05.Y09.21.0018).

Author information

Authors and Affiliations

Authors

Contributions

A.V.L. and V.M.V. conceived the work, A.V.L. carried out the calculations, both authors analyzed the results and wrote the paper.

Corresponding author

Correspondence to V. M. Vinokur.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

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

Supplementary information

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 license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license 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 license, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Lebedev, A.V., Vinokur, V.M. Time-reversal of an unknown quantum state. Commun Phys 3, 129 (2020). https://doi.org/10.1038/s42005-020-00396-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1038/s42005-020-00396-0

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing