Article | Open | Published:

Fundamental Speed Limits to the Generation of Quantumness

Scientific Reports volume 6, Article number: 38149 (2016) | Download Citation

Abstract

Quantum physics dictates fundamental speed limits during time evolution. We present a quantum speed limit governing the generation of nonclassicality and the mutual incompatibility of two states connected by time evolution. This result is used to characterize the timescale required to generate a given amount of quantumness under an arbitrary physical process. The bound is found to be tight under pure dephasing dynamics. More generally, our analysis reveals the dependence on the initial and final states and non-Markovian effects.

Introduction

Quantum speed limits (QSLs) provide a upper bound to the rate at which a physical system can evolve. Due to their fundamental nature, QSLs have found applications in a wide variety of fields including quantum information processing1,2,3, quantum metrology4,5, quantum simulation6, quantum thermodynamics7, quantum critical dynamics8,9, quantum control10,11,12,13 and other quantum technologies.

The first rigorous QSL was derived as a time-energy uncertainty relation providing a lower bound to the required passage time τ for a system to evolve from an initial state |ψ0〉 to a final state |ψτ〉 = U(τ, 0)|ψ0〉, where U(τ, 0) is the time-evolution operator associated with the driving Hamiltonian H. It was shown that τ ≥ arccos (|〈ψ0|ψτ〉|)/ΔE, where ΔE is the energy dispersion of the initial state14,15,16,17,18,19. The modern formulation of QSL for unitary processes takes into account an alternative expression as an upper bound for the speed of evolution, the mean energy of the system, that can replace the role of energy dispersion ΔE1,2,3,20,21. A geometric interpretation provides an intuitive understanding of the QSL bound as a brachistochrone22 where the geodesic23,24 set by the Fubini-Study metric in (projective) Hilbert space is travelled at the maximum speed of evolution achievable under a given Hamiltonian dynamics25,26,27,28. Time-optimal evolutions are often explored in the context of quantum control theory, where the existence of a QSL has been shown to limit the performance of algorithms aimed at identifying optimal driving protocols11,12. More recently, QSLs have been extended to open quantum dynamics where the system of interest is embedded in an environment29,30,31,32,33. The evolution need not be restricted to a master equation and can be alternatively described by general quantum channels29,30. These new QSLs to non-unitary evolution have been formulated in terms of a variety of norms of the generator of the dynamics. Similar bounds can be expected to apply to classical processes as well34.

While for certain applications it might suffice to characterize QSL exclusively through the properties of the generator of the dynamics4,35, a reference to the initial and time-evolving states generally becomes unavoidable. This is particularly the case for externally driven systems or open quantum systems exhibiting non-Markovian effects resulting from the finite-memory of the environment. We further notice that when the dynamics of a system is registered by monitoring a given observable, the standard QSL governing the fidelity decay can become too conservative, and even fail to capture the right scaling of the time scale of interest with the system parameters. A prominent example is provided by thermalization, where the identification of the relevant time scale remains an open problem36.

Identifying the minimal passage time for arbitrary physical processes is as well crucial to understand the quantum-to-classical transition37. This transition is of particular relevance in composite quantum systems exhibiting non-classical correlations, with applications to a variety of fields38. To characterize the crossover between the quantum and classical worlds of a single physical system, one can define the notion of quantumness on the non-commutativity of the algebra of observables39 in a way that it is experimentally measurable40. In this framework a system is found to be classical if all its accessible states commute with each other.

In this work, we exploit the definition of quantumness involving the non-commutativity of the initial and final states of the system of interest. We derive lower bound for the timescale required to generate a given amount of quantumness, that quantifies the degree to which the time-evolving state is mutually incompatible with the initial state under arbitrary dynamics. The new bound allows one to classify different dynamics according to their power to generate nonclassicality and is shown to be saturated under pure dephasing dynamics, whether it is induced by a Markovian or a non-Markovian environment.

Quantum speed limit to the dynamics of quantumness

The nonclassicality of quantum systems can be conveniently quantified using the Hilbert-Schmidt norm of the commutator of two states, which is proposed to witness the “state incompatibility” between any two admissible states ρa and ρb39,40. The “quantumness” is then defined as

where the pre-factor is required for normalization and is the Hilbert-Schmidt norm of A. As a quantumness witness,

and Q(ρa, ρb) = 0 iff [ρa, ρb] = 039,40. Choosing ρa = ρ0 and ρb = ρt, Q (ρ0, ρt) allows one to quantify the capacity of an arbitrary physical process to generate or sustain quantumness in case of [ρ0, ρt] ≠ 0. Clearly, if ρ0 is a diagonal density matrix in a given basis and time evolution just alters the weight distribution without generating coherences, the quantumness between the initial and time-evolving states Q(ρ0, ρt) remains zero. Consequently we can generally expect a QSL different in nature from those previously derived for the fidelity decay, which would remain valid as weaker lower bounds. As shown in the section Methods, we obtain the lower-bound of evolution time associated with quantumness,

where the time-average is denoted by , and is the Liouville super-operator describing the time derivative of density matrix: .

Results

The lower bound obtained in Eq. (3) constitutes the main result of this work. In what follows, this bound is analyzed in a series of relevant scenarios, that will be used to identify the salient physical principles governing the generation of quantumness. After a discussion of its dynamics in isolated systems we consider a system embedded in an environment, exhibiting possible non-Markovian effects, and discuss the limits of pure dephasing and dissipative processes.

Unitary quantum dynamics

Consider a general two-parameter unitary transformation for a two-level system (setting ħ ≡ 1 from now on)

where θ and α are arbitrary real functions of time and σ is the Pauli operator41 (We apply the standard conventions that σx = |1〉〈0| + |0〉〈1| and σy = i|1〉〈0| − i|0〉〈1|). When the system is prepared in an initially pure states ρ0 = |0〉〈0|, it evolves into ρt = |ψt〉〈ψt| with . In this case, the system Hamiltonian is found to be

For the creation of quantumness, we require [ρ0, ρt] ≠ 0, i.e., sin 2θ ≠ 0. It follows from Eq. (3), that

where

Specially in the case that both and α are constant numbers, . According to Eq. (5), the dynamics is generated by . Then due to Eq. (6), the exact evolution time saturates the lower bound τ = τQ in the regime that 0 < θ < π/4. It is worth pointing out that in this case, the independence of the result on the angle α is coincident with the result in the Bloch-vector formalism set up by the angles θ and α. When the final state reaches θ = π/4, the lower bound τQ attains its maximal value and starts to decline when θ goes over this point. After that, Eq. (6) remains valid while loosing the tightness in the regime 0 < θ < π/4. In another special case with both θ and constant during the evolution, one can find that by Eq. (5). Then for a target state characterized by a nonvanishing α, τQ(θ = π/4) = τ/|α| by Eq. (6). Therefore, the QSL ruling the evolution of quantumness exhibits a pronounced dependence on the initial and final states.

A similar analysis can be extended to higher-dimensional systems. Consider the stimulated Raman adiabatic passage (STIRAP)42 in a three-level atomic system, under the Hamiltonian as

The system can be transferred from ρ0 to ρτ = |ψτ〉〈ψτ|, where without disturbing the quasistable state |1〉. The QSL bound also becomes tight and matches the exact time of evolution τQ = τ when θ < π/4 and and α are time-independent.

Nonunitary process

In this part, we consider the scenario of open quantum systems. We will use the quantum-state-diffusion (QSD) equation43,44 as a general framework to derive the exact master equation before discussing the relevant QSL. In doing so, we treat both Markovian and non-Markovian environments in a unified way. In particular, we consider an Ornstein-Uhlenbeck process for the environmental noise. The correlation function reads

where Γ implies the system-environment coupling strength and γ is inversely proportional to the memory time of the environment. Here, 0 < γ < ∞ and the lower and upper limits of γ correspond to the strongly non-Markovian and Markov environments, respectively. For a single two-level system, the system-environment Hamiltonian is

where ω and ωλ are the frequencies of the system and the λ-th environmental mode, respectively, and gλ is their coupling strength. L is the coupling operator and aλ () is the annihilation (creation) operator for the λ-th environmental mode.

When L = σz, QSD equation describes a pure dephasing process. In the rotating frame with respect to the system bare Hamiltonian, the exact super-operator is found to be

where . If ρ0 = |ψ0〉〈ψ0| where , then 〈0|ρτ|0〉 = 〈0|ρ0|0〉, 〈1|ρτ|1〉 = 〈1|ρ0|1〉, and , where . In the Markov limit, and then . After ρ0, ρτ and are substituted into Eq. (3), it is found that

where βτ ≡ 2Γτ. Remarkably, the bound is tight and reachable under pure-dephasing dynamics, when τ = τQ as shown in Fig. 1. Equation (12) also applies to the non-Markovian case as long as βτ in Eq. (11) is modified into . Qualitatively, QSL timescale depends on the choice of initial state parameter θ, specifically, the initial population distribution determined by . QSL is therefore symmetric as a function of θ with respect to θ = π/4.

Figure 1: The quantum speed limit timescales τQ (based on quantumness) and τB (based on the fidelity) as a function of quantumness Q in the Markovian pure-dephasing processes with different initial states: , where.
Figure 1

Under pure dephasing the bound τQ is shown to be identical to the exact time τ in which quantumness is generated.

In Fig. 1, for different initial states, we compare the new QSL timescale τQ obtained in Eq. (3) and that τB based on the fidelity evolving with time (see ref. 30) in the presence of a Markovian dephasing environment. Specifically, it was then shown that for an initially pure state, the minimum time for the (squared) fidelity or relative purity F(t) = Tr[ρ0, ρt] to decay to a given value F(τ) is lower bounded by whenever the dynamics is governed by a master equation of the form . Figure 1 illustrates that τQ not only provides a tighter bound than τB for the generation of quantumness, but also it actually captures the real evolution pattern. Furthermore, it is known that as the system progressively goes to a steady state, which depends on the initial coherence between the up and down states, the dephasing rate should be asymptotically slowed down. This pattern has not been captured by τB. When the quantumness approaches a final value determined by θ, τQ increases rapidly while the rate of τB is nearly invariant.

Next we consider the effect of the environmental memory, which is parameterized by γ, on the QSL timescale. In Fig. 2, τQ is evaluated for a fixed initial state (with θ = π/5) and the other parameters except γ and Q. The dependence of τQ on the quantumness Q of system and environment is monotonic. The environmental memory timescale is inversely proportional to γ. As an upshot, in the presence of a strongly non-Markovian environment the evolution speed is greatly suppressed, resulting in larger values of τQ. Yet it is found that at the end of the dephasing process, the quantum speed limit timescale quickly approaches the same asymptotical value. The difference between the QSL timescale of the system in the extremely non-Markovian environment [τQ(γ/Γ = 0.1)] and that in a nearly Markov environment [τQ(γ/Γ = 2.0)] is increased with increasing Q before the system goes to the steady state.

Figure 2: Dependence of the quantum speed limit timescale τQ on the memory parameter γ in the non-Markovian pure-dephasing dynamics as a function of quantumness Q (θ = π/5).
Figure 2

The inset shows the bound τB derived from the fidelity decay, which fails to capture the correct behavior.

For an n-qubit system in a common dephasing environment, we can rigorously discuss the scaling behavior of QSL for certain states. By a treatment in the Kraus representation45, a general GHZ state evolves into ρt = C(t)ρ0. Here denotes the entry-wise product and effectively C(t) (as well as ρt) can be expressed in a 2 × 2 matrix expanded by |0n〉 and |1n〉, where the off-diagonal terms are with and the diagonal terms are unity. By Eqs (11) and (12), we can find that when is sufficiently small (e.g., with a Markov environment, r = e−2Γt is sufficiently close to unity in the short time limit), both the quantumness Q and QSL time τQ scale with the number of qubits n as n2.

When L = σ, the total Hamiltonian describes a dissipation (energy relaxation) model, whose exact super-operation is found to be

where and ∂tp(t, s) = P(t)p(t, s) with p(s, s) = 1. Starting from the same pure state as that of the pure-dephasing model, here the time-evolving density matrix satisfies and , where is a complex function of time. In the Markov limit, P(t) = Γ/2 and then ξ = Γτ/2. In the non-Markovian situation, P(t) satisfies ∂tP(t) = Γγ/2 − γP(t) + P2(t) with P(0) = 0. Consequently, according to Eq. (3), it is found that

where , , and d ≡ d(t) = Im[P(t)eξ(t)]. Note here is not allowed to be zero, otherwise, Q(ρ0, ρτ) will vanish according to its definition in Eq. (1). Equations (14) and (15) indicate that in the dissipation model, it is hard to find a closed analytical expression for τQ, and one has to resort to the numerical evaluation.

In Fig. 3, we demonstrate the dependence of the QSL timescale on the environmental memory parameter γ, measured in units of the system-environment coupling strength Γ, for a fixed initial state. From the numerically exact dynamics, we find that τQ monotonically decreases with increasing γ. With a nearly Markovian environment (see e.g., the dot-dashed line for γ/Γ = 2.0), τQ approaches a steady value. As expected in an environment with short memory time, the energy dissipated into the environment from the system has nearly no chance to come back to the system. The dissipation process becomes therefore irreversible. This favors the evolution of the system towards a final incompatible state. As a result, two different regimes are observed. For nearly memoryless dynamics, γ/Γ ≥ 1, the QSL timescale is found to rapidly increase as the system approaches the steady state through a roughly exponential decay. Regarding the spectral function G(t, s), a smaller γ then yields a lesser damping rate of the system. In the strong non-Markovian regime 0.1 ≤ γ/Γ < 1, the pattern becomes complex and the QSL timescale appears to be greatly enhanced by decreasing γ. In this regime, it is difficult for the time-evolving state to become classically incompatible with the initial state.

Figure 3: Dependence of the quantum speed limit timescale on the memory parameter γ of the non-Markovian dissipative process as a function of the quantumness Q, for θ = π/4.
Figure 3

Discussion

We have studied the generation of nonclassicality via the quantumness witness defined as the Hilbert-Schmidt norm of the commutator of the initial and the final quantum states, resulting from time evolution. For arbitrary physical processes we have derived a quantum speed limit that sets the minimum timescale τQ for the generation of a given amount of quantumness. This novel QSL has been computed and analyzed in a variety of relevant scenarios including unitary evolution, pure dephasing (of both single- and multiple-qubit system), and energy dissipation. In addition, we have discussed the generation of quantumness in non-unitary evolutions, by employing the exact quantum-state-diffusion equations.

While standard quantum speed limits characterizing the fidelity decay become too conservative and even fail to capture the correct dependence of this timescale on the parameters of the system, the new bound is tight and is saturated under pure dephasing dynamics, whether induced by a Markovian or non-Markovian environment.

Method

We consider the time-evolution of the initial density matrix to be described by a master equation of the form

where is the Liouville super-operator. The rate at which quantumness can vary is then exactly given by

As an example, for unitary dynamics, i.e., in a closed system. Using the Cauchy-Schwarz inequality, i.e., and by virtue of , it follows from the definition of quantumness in Eq. (1) that

To derive a quantum speed limit we integrate from t = 0 to t = τ. Note that Q(ρ0, ρ0) = 0, and . As an upshot, the time in which quantumness can emerge is lower-bounded by

where the time-average is denoted by . We note that even if is explicitly time-independent, i.e., the parameters in the equation of motion are constants, then can not be reduced to since ρt is a function of time.

It is worth pointing out that Eq. (19) suggests

as an upper bound for the speed of evolution of quantumness. Clearly, this quantity can be further upper bounded using the triangular and Cauchy-Schwarz inequalities by . The resulting bound closely resembles the QSL derived by studying the reduced dynamics of an open quantum system in terms of the fidelity decay30,31,32. We note however that this bound is more conservative than that given by τQ in Eq. (19). Weaker bounds could be derived as well exploiting the fact that , or conversely using the adjoint of the generator 30. We shall not pursue this goal here.

Additional Information

How to cite this article: Jing, J. et al. Fundamental Speed Limits to the Generation of Quantumness. Sci. Rep. 6, 38149; doi: 10.1038/srep38149 (2016).

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

References

  1. 1.

    Ultimate physical limits to computation. Nature 406, 1047 (2000).

  2. 2.

    Computational Capacity of the Universe. Phys. Rev. Lett. 88, 237901 (2002).

  3. 3.

    , & Quantum limits to dynamical evolution. Phys. Rev. A 67, 052109 (2003).

  4. 4.

    , & The elusive Heisenberg limit in quantum-enhanced metrology. Nat. Commun. 3, 1063 (2012).

  5. 5.

    , & Advances in quantum metrology. Nat. Phot. 5, 222 (2011).

  6. 6.

    , , , & Quantum Simulation of Dissipative Processes without Reservoir Engineering. Sci. Rep. 5, 9981 (2015).

  7. 7.

    , & More bang for your buck: Super-adiabatic quantum engines. Sci. Rep. 4, 6208 (2014).

  8. 8.

    , , & Intrinsic geometry of quantum adiabatic evolution and quantum phase transitions. Phys. Rev. A 82, 012321 (2010).

  9. 9.

    , & Assisted Finite-Rate Adiabatic Passage Across a Quantum Critical Point: Exact Solution for the Quantum Ising Model. Phys. Rev. Lett. 109, 115703 (2012).

  10. 10.

    & On the consistency, extremal, and global properties of counterdiabatic fields. J. Chem. Phys. 129, 154111 (2008).

  11. 11.

    et al. Optimal Control at the Quantum Speed Limit. Phys. Rev. Lett. 103, 240501 (2009).

  12. 12.

    Driving at the Quantum Speed Limit: Optimal Control of a Two-Level System. Phys. Rev. Lett. 111, 260501 (2013).

  13. 13.

    & Superadiabatic Controlled Evolutions and Universal Quantum Computation. Sci. Rep. 5, 15775 (2015).

  14. 14.

    & The uncertainty relation between energy and time in nonrelativistic quantum mechanics. J. Phys. (USSR) 9, 249 (1945).

  15. 15.

    A unitarity bound on the evolution of nonstationary states. Nuov. Cim. 16 A, 232 (1973).

  16. 16.

    Quantum decay and the Mandelstam-Tamm-energy inequality. J. Phys. A: Math. Gen. 16, 2993 (1983).

  17. 17.

    Minimum time for the evolution to an orthogonal quantum state, Am. J. Phys. 60, 182 (1992).

  18. 18.

    An energy dispersion estimate. Phys. Lett. A 161, 329 (1992).

  19. 19.

    How fast can a quantum state change with time? Phys. Rev. Lett. 70, 3365 (1993).

  20. 20.

    & The maximum speed of dynamical evolution. Physica D 120, 188 (1998).

  21. 21.

    & Fundamental Limit on the Rate of Quantum Dynamics: The Unified Bound Is Tight. Phys. Rev. Lett. 103, 160502 (2009).

  22. 22.

    , , & Time-Optimal Quantum Evolution, Phys. Rev. Lett. 96, 060503 (2006).

  23. 23.

    , , & Quantum Computation as Geometry. Science 311, 1133 (2006).

  24. 24.

    et al. Quantum Brachistochrone Curves as Geodesics: Obtaining Accurate Minimum-Time Protocols for the Control of Quantum Systems. Phys. Rev. Lett. 114, 170501 (2015).

  25. 25.

    & Geometry of quantum evolution. Phys. Rev. Lett. 65, 1697 (1990).

  26. 26.

    , & Time-optimal navigation through quantum wind. J. Phys. A: Math. Gen. 36, 5587 (2003).

  27. 27.

    & Zermelo navigation and a speed limit to quantum information processing. Phys. Rev. A 90, 012303 (2014).

  28. 28.

    & Zermelo navigation in the quantum brachistochron. J. Phys. A: Math. Gen. 48, 115303 (2015).

  29. 29.

    , , & Quantum Speed Limit for Physical Processes. Phys. Rev. Lett. 110, 050402 (2013).

  30. 30.

    , , & Quantum Speed Limits in Open System Dynamics. Phys. Rev. Lett. 110, 050403 (2013).

  31. 31.

    & Quantum Speed Limit for Non-Markovian Dynamics. Phys. Rev. Lett. 111, 010402 (2013).

  32. 32.

    , , , & Quantum speed limit for arbitrary initial states. Sci. Rep. 4, 4890 (2014).

  33. 33.

    & Quantum Speed Limits for Leakage and Decoherence. Phys. Rev. Lett. 115, 210402 (2015).

  34. 34.

    , & Measuring disorder in irreversible decay processes. J. Chem. Phys. 141, 104107 (2014).

  35. 35.

    , & Purity and entropy evolution speed limits for open quantum systems. arXiv:1408.1227 (2014).

  36. 36.

    , & Quantum many-body systems out of equilibrium. Nat. Phys. 11, 124 (2015).

  37. 37.

    Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 75, 715 (2003).

  38. 38.

    , , , & The classical-quantum boundary for correlations: Discord and related measures, Rev. Mod. Phys. 84, 1655 (2012).

  39. 39.

    , & Quantifying quantumness via commutators: an application to quantum walk. arXiv:1312.1329v1 (2013).

  40. 40.

    et al. Measuring quantumness: from theory to observability in interferometric setups. arXiv: 1501 03099v1 (2015).

  41. 41.

    , , & Inverse engineering control in open quantum systems. Phys. Rev. A 88, 053422 (2013).

  42. 42.

    , & Coherently controlled adiabatic passage. Rev. Mod. Phys. 79, 53 (2007).

  43. 43.

    & The non-Markovian stochastic Schrödinger equation for open systems. Phys. Lett. A 235, 569 (1997).

  44. 44.

    , & Non-Markovian quantum state diffusion. Phys. Rev. A 58, 1699 (1998).

  45. 45.

    , & , Restoration of a quantum state in a dephasing channel via environment-assisted error correction. Phys. Rev. A 88, 022321 (2013).

Download references

Acknowledgements

It is a pleasure to thank M. Beau and I. L. Egusquiza for discussions and a careful reading of the manuscript. We acknowledge grant support from the Basque Government (grant IT472–10), the Spanish MICINN (No. FIS2012-36673-C03-03), the National Science Foundation of China No. 11575071, and Science and Technology Development Program of Jilin Province of China (20150519021JH). Funding support from UMass Boston (project P20150000029279) and the John Templeton Foundation is further acknowledged.

Author information

Affiliations

  1. Institute of Atomic and Molecular Physics and Jilin Provincial Key Laboratory of Applied Atomic and Molecular Spectroscopy, Jilin University, Changchun 130012, Jilin, China

    • Jun Jing
  2. Department of Theoretical Physics and History of Science, The University of the Basque Country (EHU/UPV), PO Box 644, 48080 Bilbao, Spain

    • Jun Jing
    •  & Lian-Ao Wu
  3. Ikerbasque, Basque Foundation for Science, 48011 Bilbao, Spain

    • Lian-Ao Wu
  4. Department of Physics, University of Massachusetts, Boston, MA 02125, USA

    • Adolfo del Campo

Authors

  1. Search for Jun Jing in:

  2. Search for Lian-Ao Wu in:

  3. Search for Adolfo del Campo in:

Contributions

J.J. contributed to numerical and physical analysis and prepared all the figures and A.d.-C. to the conception and design of this work. L.-A.W. initiated the project. J.J., L.-A.W. and A.d.-C. wrote and reviewed the main manuscript text.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to Lian-Ao Wu.

About this article

Publication history

Received

Accepted

Published

DOI

https://doi.org/10.1038/srep38149

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.