Abstract
For vanishing fidelity between initial and final states, two important quantum speed limits, the Mandelstam–Tamm limit (involving energy dispersion) and Margolus–Levitin one (involving excitation energy expectation value), have been derived. While the generalization of the former limit to the case of arbitrary fidelity is straightforward, the relevant generalization of the latter given in the seminal paper by Giovanetti et al. (Phys Rev A67:052109, 2003) was based on the conjectured equality of lower and upper bounds on the right-hand side of generalized Margolus–Levitin inequality, verified numerically up to seven digits. Only recently there appear two proofs of the conjecture. We provide below a very elementary new proof, based on the simplest tools from differential calculus. Thus, the generalized Margolus–Levitin speed limit can be derived much in the spirit of the original one valid for vanishing fidelity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent decades, much effort has been devoted to the study of the so-called quantum speed limits, i.e., a lower bound on time it takes quantum system to evolve in some definite way. They have been intensively studied in recent years since this problem is of great practical importance in quantum technologies. Many forms of quantum speed limits have been derived which involve various quantities: energy, fidelity, purity, entropy, etc., and concern closed (isolated) and open systems (see [1,2,3] for reviews and [4, 5], for more recent references). In what follows, we will be considering the case of pure states of isolated systems. The prototype of quantum speed limit is the famous Mandelstam–Tamm [6] relation which gives the lower bound on time necessary for the quantum system to evolve from an initial state to the orthogonal one. It reads
where
is the energy dispersion in the initial state (\(\big <\ldots \big >_0\) denotes here the expectation value in the initial state). Actually, a more general result can be derived [6,7,8]: for
being the fidelity between the initial and final states, the evolution time is bounded by
Margolus and Levitin [9] derived an alternative speed limit yielding lower bound for the orthogonalization time in terms of expectation value of energy in initial state. It reads
with \(E_0\) being the ground state energy of initial state. The natural question arises whether the inequality (5) may be generalized to the case of arbitrary fidelity between the initial and the final state. Giovanetti et al. [10] have shown that the relevant bound takes the form
with \(\alpha (\delta )\) being some function of fidelity. Although they did not provide the closed analytical formula for \(\alpha \), the upper and lower bounds for the latter were given. Actually, these bounds agree numerically to seven significant figures leading to the conjecture that, in fact, they coincide. If this is the case, the exact formula for \(\alpha \) is at our disposal. Its form is sketched in Fig. 1
Quite recently, Hörnedal and Sönnerborn [11] provided a rigorous proof, based on symplectic geometry, that the exact formula for \(\alpha \) coincides with the upper bound on it, derived in [10]. They rely heavily on symplectic geometric interpretation which suggests a specific character of Margolus–Levitin bound. The more advanced tools they use allow for drawing more detailed conclusions. Alternative proof of the coincidence of Giovannetti et al. upper and lower bounds on \(\alpha \) has been given in [12]. It is, however, more involved and uses the arguments which seem to deviate significantly from the clear reasoning presented in Ref. [10].
In the present note, we give a straightforward proof of the equality of upper and lower bounds on \(\alpha \), derived in the paper by Giovannetti et al. [10].
2 Lower and upper bounds coincide
Giovanetti et al. [10] derived the lower and upper bounds
on the function \(\alpha (\delta )\) as follows. The upper bound results by considering the particular family of two-level states parametrized by one real variable \(\xi \in [0,1]\),
where \(\vert {0} \rangle \) and \(\vert {E_0} \rangle \) are Hamiltonian eigenstates of energy 0 and \(E_0\), respectively. By solving explicitly the dynamics, one easily finds the evolution time as a function of fidelity between the initial and final state. Finally, by minimizing the latter function over \(\xi \in [0,1]\) one finds the relevant upper bound. It reads
actually, the bound presented in [10] has a slightly different, but equivalent, form; we prefer the expression used in [11]. The lower bound is obtained [10] by considering the family of inequalities
for \(x\ge 0\), \(q\ge 0\). They are optimized (in the sense of choosing a the smallest real number such that the inequality (10) holds for all real \(x\ge 0\)) by bounding the left hand side by the linear function tangent to it and equal to 1 for \(x=0\) (cf. Fig. 2).
Denoting by y the x-coordinate of the tangent point, one finds
with y being restricted to the interval
Equations (11)–(13) define implicitly the function \(a=a(q)\). Once this function is defined, the lower bound on \(\alpha \) reads [10]
Our aim here is to give a simple, straightforward proof of the equality
We start with simplifying the notation in Eq. (14) defining the lower bound. To this end, let us put
Then Eq. (14) takes the form
So, in order to prove the equality (15) our only task is to analyze carefully the behavior of \(F(q,\theta ,\delta )\) in the domain \(q\ge 0\), \(0\le \theta <2\pi \), \(0\le \delta \le 1\). Let us note that the main difficulty comes here from the denominator on the right-hand side of Eq. (18); the function a(q) is defined only implicitly by solving Eqs. (11)\(\div \)(13). The main, yet very simple, idea to deal with this problem is to parametrize the solutions to (11) and (12) in terms of the variable y. By solving them for q and a, we find
The function \(a=a(q)\) is now given in parametrized form, y being the relevant parameter.
Before entering the detailed analysis of the function a(q), let us make the following useful remarks. With \(\delta \) fixed and \(\theta \) varying in the interval \([0,2\pi )\), Eqs. (16), (17) define a circle of radius \(\sqrt{\delta }\), centered at (0, 1) in the \(\rho -\sigma \) plane:
It appears to be convenient to define the angle \(\varphi \) by
then \(\varphi \) belongs to some closed subinterval of \([0,\pi ]\). The relevant geometry is depicted in Fig. 3
Coming back to the analysis of the function \(a=a(q)\), defined implicitly by Eqs. (20), (21), let us note that Eq. (20) implies
i.e., q is a monotonically growing function of y wherever it is defined. We are interested in the solutions corresponding to \(0\le q<\infty \). It is easy to check that, due to the constraint (13), it is sufficient to consider the interval \(y_-\le y\le y_+\), where \(y_\pm \) are determined by the conditions
Numerically, \(y_-=2.3311\), \(y_+=4.4934\). In the interval \([ y_-,y_+)\) q(y) is monotonically growing from 0 to \(\infty \). Consequently, it is invertible. Inserting the function \(y=y(q)\) into Eq. (21), one obtains the relevant function \(a=a(q)\). The functions \(q=q(y)\), \(a=a(y)\) on the interval \([y_-,y_+)\) are sketched in Fig. 4 and 5, respectively.
In order to analyze the function \(a=a(q)\), note that
and
In order to find the explicit form of \(m(\delta )\) (cf. Eq. (19)), one has to find first the maximum of \(F(q,\theta ,\delta )\) for \(q\in [0,\infty )\), \(\theta \) and \(\delta \) fixed; so we are looking for \({\max }_{q\ge 0}\, F(q,\theta ,\delta )\).
According to the discussion above, one can, equivalently, consider F as the function of y on the interval \([y_-,y_+)\). It reads
or, using (16), (17) and (23),
So, we have to find the maximal value of \(F(q(y),\theta ,\delta )\) on the interval \([y_-,y_+)\). As always, the maximum may arise either at the internal point or at the end point of the interval. In order to compute the relevant maximal value, we find first the derivative
The maximal value can be attained in the internal point of \([y_-,y_+)\) only provided the derivative (31) vanishes. This is possible iff
Keeping in mind that \(0\le \varphi \le \pi \) and \(\frac{\pi }{2}<y_-\le y<y_+<\frac{3}{2}\pi <2\pi \), one finds the unique solution to Eq. (32)
However, \(y\in [y_-,y_+)\) yielding the following restrictions on \(\varphi \)
The inequalities (34) provide the necessary conditions for \(F(q(y), \theta ,\delta )\) to attain the maximal value at the internal point of the interval \([y_-,y_+)\). On the contrary, if \(0\le \varphi \le \pi -\frac{1}{2}y_+\) or \(\pi -\frac{1}{2}y_-<\varphi \le \pi \), \(\frac{\text {d}F(q(y),\theta ,\delta )}{\text {d}y}\) does not vanish at the interval \([y_-,y_+)\) and attains its maximal value at one of its end points.
The value of \(\varphi \) depends, by virtue of Eqs. (16), (17) and (23), on \(\delta \) and \(\theta \). Fixing \(\delta \) and varying \(0\le \theta <2\pi \), one finds that \(\varphi \) varies over some closed subinterval of \([0,\pi ]\). There are a priori two possibilities:
Then, for any \(\varphi \) Eq. (32) has the unique solution in the interval \([y_-,y_+)\). Moreover, one easily finds
Now, by virtue of (33), \(\varphi +y=2\pi -\varphi \) so that \(\pi +\frac{1}{2}y_+>\varphi +y\ge \pi +\frac{1}{2}y_-\) and \(\sin (\varphi +y)<0\). Therefore, \(F(q(y),\theta ,\delta )\) attains unique maximum at \(y=2\pi -2\varphi \). It equals
or
According to equation (19), the lower bound \(m(\delta )\) is obtained by minimalizing \(F_\mathrm{{max}}\) over the points \((\rho ,\sigma )\) running the circle (22). It is obvious that the minimum is attained for \(\sigma \le 0\). Defining
and taking into account the above remark allows us to write
Using the identity \(\arccos (2\tau ^2-1)=2\arccos \tau \), we rewrite (39) as
Finally, we note that
defines one-to-one mapping of the interval \([-\sqrt{\delta },\sqrt{\delta }]\) onto itself. Equations (40), (41) imply
yielding Eq. (15).
-
(ii)
For some points on the circle (22), the inequalities (34) are violated. This is illustrated in Fig. 7. For any point \((\rho ,\sigma )\) belonging either to the arc AB or CD, the derivative \(\frac{\text {d}F(q(y),\theta ,\delta )}{\text {d}y}\) is nonvanishing in the interval \([y_-,y_+)\). Consider first the arc AB. Then \(0\le \varphi \le \pi -\frac{1}{2}y_+\) and it is easy to see that \(\frac{\text {d}F(q(y),\theta ,\delta )}{\text {d}y}>0\) in the interval \([y_-,y_+)\). Therefore, the maximum is attained for \(y\rightarrow y_+\) and reads
On the contrary, on the arc CD \(\pi -\frac{1}{2}y_-<\varphi \le \pi \) and \(\frac{\text {d}F(q(y),\theta ,\delta )}{\text {d}y}<0\) on the whole interval \([y_-,y_+)\). Therefore, the maximum is attained for \(y=y_-\) and reads:
On the remaining arcs AC and BD, the inequalities (34) do hold and the reasoning leading to Eq. (37) remains valid. In order to find the minimal value of \({\max }_{q\ge 0}\,F(q,\theta ,\delta )\) over the circle (22), we have to compare \(F_{AB}\), Eq. (43), \(F_{CD}\), Eq. (44) and \(F_\mathrm{{max}}\), Eq. (37). To this end, we define \(\psi \equiv \pi -\varphi \) and parametrize the points \((\rho ,\sigma )\) by \(\psi \) (in general, to any \(\psi \) there correspond two points on the circle). The relevant parametrization of the circle (22) is presented in Fig. 8.
The coordinates \((\rho ,\sigma )\) of two intersection points obey the equations
which yield
Then
Now, it is straightforward to check that
On the AB arc, \(2\pi \ge 2\psi \ge y_+>\pi \) and the right-hand side is nonnegative; it vanishes for \(2\psi =y_+\) which corresponds to the points A and B. Moreover, \(F_{AB}\) takes the minimal value at A. As a result, \(F_\mathrm{{max}}\) and \(F_{AB}\) attain the same minimal value on the AB arc.
Analogously,
On the CD arc, \(0\le 2\psi \le y_-\) and the right-hand side is nonnegative; it vanishes for \(2\psi =y_-\) which corresponds to the points C and D. \(F_{CD}\) takes the minimal value at C. Again we conclude that \(F_\mathrm{{max}}\) and \(F_{CD}\) attain the same minimal value on the CD arc.
It follows from the above discussion that also in the (ii) case one obtains the correct value of \(m(\delta )\) by minimalizing \(F_\mathrm{{max}}\) on the whole circle (18). Therefore, we can refer to the reasoning described in (i). This concludes the proof.
Availability of data and materials
No datasets were generated or analyzed during the current study.
References
Dodonov, V., Dodonov, A.: Energy-time and frequency-time uncertainty relations: exact inequalities. Phys. Scr. 90, 074049 (2015)
Frey, M.: Quantum speed limits-primer, perspectives, and potential future directions. Quant. Inf. Proc. 15, 3919 (2016)
Deffner, S., Campbell, S.: Quantum speed limits: from Heisenberg’s uncertainty principle to optimal quantum control. J. Phys. A: Math. Theor. 50, 453001 (2017)
Mai, Z., Yu, C.: Tight and attainable quantum speed limit for open systems. Phys. Rev. A 108, 052207 (2023)
Pati, A., Mohan, B., Braunstein, S.: Exact quantum speed limits arXiv: 2305.03833
Mandelstam, L., Tamm, I.: The uncertainty relation between energy and time in nonrelativistic quantum mechanics. J. Phys 9, 249 (1945)
Bhattacharyya, K.: Quantum decay and the Mandelstam–Tamm-energy inequality. J Phys. A16, 2993 (1983)
Pfeifer, P.: How fast can a quantum state change with time? Phys. Rev. Lett. 70, 3365 (1993)
Margolus, N., Levitin, L.B.: The maximum speed of dynamical evolution. Physica D 120, 188 (1998)
Giovannetti, V., Lloyd, S., Maccone, L.: Quantum limits to dynamical evolution. Phys. Rev. A 67, 052109 (2003)
Hörnedal, N., Sönnerborn, O.: The Margolus–Levitin quantum speed limit for an arbitrary fidelity arXiv: 2301.10063
Chau, H.F.: \(\alpha _>(\varepsilon )=\alpha _<(\varepsilon )\) for the Margolus–Levitin quantum speed limit bound arXiv: 2305.10101
Author information
Authors and Affiliations
Contributions
All authors contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Andrzejewski, K., Bolonek-Lasoń, K. & Kosiński, P. Note on the Margolus–Levitin quantum speed limit for arbitrary fidelity. Quantum Inf Process 23, 167 (2024). https://doi.org/10.1007/s11128-024-04375-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-024-04375-0