Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Physical Review A

α>(ε)=α<(ε) for the Margolus-Levitin quantum speed limit bound

H. F. Chau

Published Nov 1, 2023• 1 citation
Publisher

Abstract

The Margolus-Levitin (ML) bound says that for any time-independent Hamiltonian, the time needed to evolve from one quantum state to another is at least $\ensuremath{\pi}\ensuremath{\alpha}(\ensuremath{\epsilon})/2\ensuremath{\langle}E\ensuremath{-}{E}_{0}\ensuremath{\rangle}$, where $\ensuremath{\langle}E\ensuremath{-}{E}_{0}\ensuremath{\rangle}$ is the expected energy of the system relative to the ground state of the Hamiltonian and $\ensuremath{\alpha}(\ensuremath{\epsilon})$ is a function of the fidelity $\ensuremath{\epsilon}$ between the two states. For a long time, only an upper bound ${\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})$ and a lower bound ${\ensuremath{\alpha}}_{<}(\ensuremath{\epsilon})$ are known, although they agree up to at least seven significant figures. Recently, H\"ornedal and S\"onnerborn [arXiv:2301.10063] proved an analytical expression for $\ensuremath{\alpha}(\ensuremath{\epsilon})$, a fully classified system whose evolution time saturates the ML bound, and gave this bound a symplectic-geometric interpretation. Here I solve the same problem through an elementary proof of the ML bound. By explicitly finding all the states that saturate the ML bound, I show that ${\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})$ is indeed equal to ${\ensuremath{\alpha}}_{<}(\ensuremath{\epsilon})$. More importantly, I point out a numerical stability issue in computing ${\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})$ and report a simple way to evaluate it efficiently and accurately.

DOI
10.1103/physreva.108.052202

Related papers

$\boldsymbol{α_{>}(ε) = α_{<}(ε)}$ For The Margolus-Levitin Quantum Speed Limit Bound

H. F. Chau

The Margolus-Levitin (ML) bound says that for any time-independent Hamiltonian, the time needed to evolve from one quantum state to another is at least $πα(ε) / (2 \langle E-E_0 \rangle)$, where $\langle E-E_0 \rangle$ is the expected energy of the system relative to the ground state of the Hamiltonian and $α(ε)$ is a function of the fidelity $ε$ between the two state. For a long time, only a upper bound $α_{>}(ε)$ and lower bound $α_{<}(ε)$ are known although they agree up to at least seven significant figures. Lately, Hörnedal and Sönnerborn proved an analytical expression for $α(ε)$, fully classified systems whose evolution times saturate the ML bound, and gave this bound a symplectic-geometric interpretation. Here I solve the same problem through an elementary proof of the ML bound. By explicitly finding all the states that saturate the ML bound, I show that $α_{>}(ε)$ is indeed equal to $α_{<}(ε)$. More importantly, I point out a numerical stability issue in computing $α_{>}(ε)$ and report a simple way to evaluate it efficiently and accurately.

arXiv:2305.10101•May 17, 2023•1 citation

Margolus-Levitin quantum speed limit for an arbitrary fidelity

Niklas Hörnedal, Ole Sönnerborn

The Mandelstam-Tamm and Margolus-Levitin quantum speed limits are two well-known evolution time estimates for isolated quantum systems. These bounds are usually formulated for fully distinguishable initial and final states, but both have tight extensions to systems that evolve between states with an arbitrary fidelity. However, the foundations of these extensions differ in some essential respects. The extended Mandelstam-Tamm quantum speed limit has been proven analytically and has a clear geometric interpretation. Furthermore, which systems saturate the limit is known. The derivation of the extended Margolus-Levitin quantum speed limit, on the other hand, is based on numerical estimates. Moreover, the limit lacks a geometric interpretation, and no complete characterization of the systems reaching it exists. In this paper, we derive the extended Margolus-Levitin quantum speed limit analytically and describe the systems that saturate the limit in detail. We also provide the limit with a symplectic-geometric interpretation, which indicates that it is of a different character than most existing quantum speed limits. At the end of the paper, we analyze the maximum of the extended Mandelstam-Tamm and Margolus-Levitin quantum speed limits and derive a dual version of the extended Margolus-Levitin quantum speed limit. The maximum limit is tight regardless of the fidelity of the initial and final states. However, the conditions under which the maximum limit is saturated differ depending on whether or not the initial state and the final state are fully distinguishable. The dual limit is also tight and follows from a time reversal argument. We describe the systems that saturate the dual quantum speed limit.

arXiv:2301.10063•Physical Review Research•Dec 12, 2023•14 citations

A Margolus-Levitin speed limit for observables: mean energy bounds expectation-value change quadratically

Bryan Nasr

The Mandelstam-Tamm and Margolus-Levitin quantum speed limits bound how fast a state evolves, using the energy variance and the mean energy above the ground state. Speed limits on observables -- the change of an expectation value <A(t)> -- have so far used the variance (the Mandelstam-Tamm / quantum-Fisher-information lineage); the mean energy has not been brought to bear on the change of <A> in a fixed state. We close this branch. First, a no-go theorem: there is no state-independent linear mean-energy bound on the time to change an observable's expectation by Delta = |<A(T)> - <A(0)>|; the optimal state-independent exponent of Delta is exactly two. Second, the corresponding sharp quadratic bound, T (<H> - E_0) >= C_* Delta^2 / sigma_A^2, for every time-independent Hamiltonian H (ground energy E_0), every bounded observable A with spectral spread sigma_A = (lambda_max - lambda_min)/2, and every pure or mixed state, with the dimension-independent constant C_* = 1/(8 sin x_*) = 0.172506267461..., where x_* is the smallest positive root of tan(x/2) = x. The bound is tight, approached but not attained by a near-ground two-level family. We then give the exact energy-time/swing trade-off curve of which C_* is the small-swing slope -- tight at every swing, the observable analog of the Giovannetti-Lloyd-Maccone curve for states -- show the constant survives for mixed states via joint convexity of the trace distance, sharpen it for bandwidth-limited generators and several observables at once, and show the quadratic law degrades to a linear one when the initial state is an eigenvector of the observable. It completes the (mean-energy x observable) corner of the speed-limit landscape and, being quadratic, is most constraining where the linear variance bounds are weakest. Its cleanest physical home is the autonomous quantum clock, where it gives a coherent mean-energy resolution floor.

quant-pharXiv:2608.22658•Aug 25, 2026•0 citations

Note on the Margolus–Levitin quantum speed limit for arbitrary fidelity

Krzysztof Andrzejewski, Katarzyna Bolonek-Lasoń, Piotr Kosiński

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.

arXiv:2307.16854•Quantum Information Processing•May 2, 2024•2 citations

A unifying quantum speed limit for time-independent Hamiltonian evolution

H. F. Chau, Wenxin Zeng

Abstract Quantum speed limit (QSL) is the study of fundamental limits on the evolution time of quantum systems. For instance, under the action of a time-independent Hamiltonian, the evolution time between an initial and a final quantum state obeys various mutually complementary lower bounds. They include the Mandelstam–Tamm (MT) bound, the Margolus–Levitin (ML) bound, the Luo–Zhang bound, the Lee–Chau (LC) bound together with the dual ML bound introduced by Ness and coworkers. Here we show that the MT bound can be obtained by optimizing the LC bound over a certain parameter. More importantly, we report a QSL that includes all the above bounds as special cases before optimizing over the physically meaningless reference energy level of a quantum system. This unifying bound depends on a certain parameter p. For any fixed p, we find all pairs of time-independent Hamiltonian and initial pure quantum state that saturate this unifying bound. More importantly, these pairs allow us to compute this bound accurately and efficiently using an oracle that returns certain pth moments related to the absolute value of energy of the quantum state. Moreover, this oracle can be simulated by a computationally efficient and accurate algorithm for finite-dimensional quantum systems as well as for certain infinite-dimensional quantum states with bounded and continuous energy spectra. This makes our computational method feasible in a lot of practical situations. We further compare the performance of this bound for the case of a fixed p as well as the case of optimizing over p with existing QSLs. We find that if the dimension of the underlying Hilbert space is ≲ 2000 , our unifying bound optimized over p can be computed accurately in a few minutes using Mathematica code with just-in-time compilation in a typical desktop. Besides, this optimized unifying QSL is at least as good as all the existing ones combined and can occasionally be a few percent to a few times better.

arXiv:2310.08813•Journal of Physics A Mathematical and Theoretical•May 15, 2024•3 citations

The Margolus-Levitin Bound and Energy-Time Limits for Quantum Computation at the Landauer Scale

Rowan Brad Quni-Gudzinas

The Margolus-Levitin (ML) bound establishes a fundamental limit on the speed of quantum evolution, stating that a system with mean energy $\langle H \rangle$ above its ground state requires a minimum time $\tau \ge \pi\hbar/(2\langle H\rangle)$ to evolve between orthogonal states. This preprint rigorously derives the ML bound and critically examines its applicability as a universal per-operation energy-time limit for quantum computation at the Landauer-relevant energy scale. We show that while the ML bound constrains the intrinsic dynamics of the qubit register, it does not account for the dominant energy dissipation from cryogenic control hardware. Consequently, the ML bound alone is insufficient to characterize the energy cost of a logical operation. To address this, we connect the theoretical limit to the QNFO joules-per-compute (JPCUB) benchmark program and propose a concrete normalization of computational cost. This normalization quantifies energy per logical qubit operation by incorporating both the intrinsic qubit energy and the overhead of cryogenic controllers, providing a practical metric for quantum computation efficiency. ## 1. Introduction Quantum speed limits (QSLs) bound the minimum time required for a quantum state to evolve to an orthogonal state. The Margolus-Levitin (ML) bound is a prominent QSL, relating this minimum time to the mean energy of the system. As quantum computing hardware matures, understanding the fundamental energy limits of computation becomes critical. The Landauer limit sets a lower bound on the energy dissipated by irreversible operations, while the ML bound sets a lower bound on the time required for state evolution. This preprint derives the ML bound and assesses its role as a universal per-operation energy-time bound for quantum computation. We then connect this theoretical limit to the QNFO joules-per-compute (JPCUB) benchmark program, proposing a concrete normalization for the energy cost of logical qubit operations in cr

•Sep 4, 2026•0 citations
The Margolus-Levitin (ML) bound says that for any time-independent Hamiltonian, the time needed to evolve from one quantum state to another is at least \ensuremathπ\ensuremathα(\ensuremathϵ)/2\ensuremath⟨E\ensuremath−E0\ensuremath⟩\ensuremath{\pi}\ensuremath{\alpha}(\ensuremath{\epsilon})/2\ensuremath{\langle}E\ensuremath{-}{E}_{0}\ensuremath{\rangle}\ensuremathπ\ensuremathα(\ensuremathϵ)/2\ensuremath⟨E\ensuremath−E0​\ensuremath⟩, where \ensuremath⟨E\ensuremath−E0\ensuremath⟩\ensuremath{\langle}E\ensuremath{-}{E}_{0}\ensuremath{\rangle}\ensuremath⟨E\ensuremath−E0​\ensuremath⟩ is the expected energy of the system relative to the ground state of the Hamiltonian and \ensuremathα(\ensuremathϵ)\ensuremath{\alpha}(\ensuremath{\epsilon})\ensuremathα(\ensuremathϵ) is a function of the fidelity \ensuremathϵ\ensuremath{\epsilon}\ensuremathϵ between the two states. For a long time, only an upper bound \ensuremathα>(\ensuremathϵ){\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})\ensuremathα>​(\ensuremathϵ) and a lower bound \ensuremathα<(\ensuremathϵ){\ensuremath{\alpha}}_{<}(\ensuremath{\epsilon})\ensuremathα<​(\ensuremathϵ) are known, although they agree up to at least seven significant figures. Recently, H"ornedal and S"onnerborn [arXiv:2301.10063] proved an analytical expression for \ensuremathα(\ensuremathϵ)\ensuremath{\alpha}(\ensuremath{\epsilon})\ensuremathα(\ensuremathϵ), a fully classified system whose evolution time saturates the ML bound, and gave this bound a symplectic-geometric interpretation. Here I solve the same problem through an elementary proof of the ML bound. By explicitly finding all the states that saturate the ML bound, I show that \ensuremathα>(\ensuremathϵ){\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})\ensuremathα>​(\ensuremathϵ) is indeed equal to \ensuremathα<(\ensuremathϵ){\ensuremath{\alpha}}_{<}(\ensuremath{\epsilon})\ensuremathα<​(\ensuremathϵ). More importantly, I point out a numerical stability issue in computing \ensuremathα>(\ensuremathϵ){\ensuremath{\alpha}}_{>}(\ensuremath{\epsilon})\ensuremathα>​(\ensuremathϵ) and report a simple way to evaluate it efficiently and accurately.
α>(ε)=α<(ε)\boldsymbol{α_{>}(ε) = α_{<}(ε)}α>​(ε)=α<​(ε) For The Margolus-Levitin Quantum Speed Limit Bound
The Margolus-Levitin (ML) bound says that for any time-independent Hamiltonian, the time needed to evolve from one quantum state to another is at least πα(ε)/(2⟨E−E0⟩)πα(ε) / (2 \langle E-E_0 \rangle)πα(ε)/(2⟨E−E0​⟩), where ⟨E−E0⟩\langle E-E_0 \rangle⟨E−E0​⟩ is the expected energy of the system relative to the ground state of the Hamiltonian and α(ε)α(ε)α(ε) is a function of the fidelity εεε between the two state. For a long time, only a upper bound α>(ε)α_{>}(ε)α>​(ε) and lower bound α<(ε)α_{<}(ε)α<​(ε) are known although they agree up to at least seven significant figures. Lately, Hörnedal and Sönnerborn proved an analytical expression for α(ε)α(ε)α(ε), fully classified systems whose evolution times saturate the ML bound, and gave this bound a symplectic-geometric interpretation. Here I solve the same problem through an elementary proof of the ML bound. By explicitly finding all the states that saturate the ML bound, I show that α>(ε)α_{>}(ε)α>​(ε) is indeed equal to α<(ε)α_{<}(ε)α<​(ε). More importantly, I point out a numerical stability issue in computing α>(ε)α_{>}(ε)α>​(ε) and report a simple way to evaluate it efficiently and accurately.
The Mandelstam-Tamm and Margolus-Levitin quantum speed limits are two well-known evolution time estimates for isolated quantum systems. These bounds are usually formulated for fully distinguishable initial and final states, but both have tight extensions to systems that evolve between states with an arbitrary fidelity. However, the foundations of these extensions differ in some essential respects. The extended Mandelstam-Tamm quantum speed limit has been proven analytically and has a clear geometric interpretation. Furthermore, which systems saturate the limit is known. The derivation of the extended Margolus-Levitin quantum speed limit, on the other hand, is based on numerical estimates. Moreover, the limit lacks a geometric interpretation, and no complete characterization of the systems reaching it exists. In this paper, we derive the extended Margolus-Levitin quantum speed limit analytically and describe the systems that saturate the limit in detail. We also provide the limit with a symplectic-geometric interpretation, which indicates that it is of a different character than most existing quantum speed limits. At the end of the paper, we analyze the maximum of the extended Mandelstam-Tamm and Margolus-Levitin quantum speed limits and derive a dual version of the extended Margolus-Levitin quantum speed limit. The maximum limit is tight regardless of the fidelity of the initial and final states. However, the conditions under which the maximum limit is saturated differ depending on whether or not the initial state and the final state are fully distinguishable. The dual limit is also tight and follows from a time reversal argument. We describe the systems that saturate the dual quantum speed limit.
The Mandelstam-Tamm and Margolus-Levitin quantum speed limits bound how fast a state evolves, using the energy variance and the mean energy above the ground state. Speed limits on observables -- the change of an expectation value <A(t)> -- have so far used the variance (the Mandelstam-Tamm / quantum-Fisher-information lineage); the mean energy has not been brought to bear on the change of <A> in a fixed state. We close this branch. First, a no-go theorem: there is no state-independent linear mean-energy bound on the time to change an observable's expectation by Delta = |<A(T)> - <A(0)>|; the optimal state-independent exponent of Delta is exactly two. Second, the corresponding sharp quadratic bound, T (<H> - E_0) >= C_* Delta^2 / sigma_A^2, for every time-independent Hamiltonian H (ground energy E_0), every bounded observable A with spectral spread sigma_A = (lambda_max - lambda_min)/2, and every pure or mixed state, with the dimension-independent constant C_* = 1/(8 sin x_*) = 0.172506267461..., where x_* is the smallest positive root of tan(x/2) = x. The bound is tight, approached but not attained by a near-ground two-level family. We then give the exact energy-time/swing trade-off curve of which C_* is the small-swing slope -- tight at every swing, the observable analog of the Giovannetti-Lloyd-Maccone curve for states -- show the constant survives for mixed states via joint convexity of the trace distance, sharpen it for bandwidth-limited generators and several observables at once, and show the quadratic law degrades to a linear one when the initial state is an eigenvector of the observable. It completes the (mean-energy x observable) corner of the speed-limit landscape and, being quadratic, is most constraining where the linear variance bounds are weakest. Its cleanest physical home is the autonomous quantum clock, where it gives a coherent mean-energy resolution floor.
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.
Abstract Quantum speed limit (QSL) is the study of fundamental limits on the evolution time of quantum systems. For instance, under the action of a time-independent Hamiltonian, the evolution time between an initial and a final quantum state obeys various mutually complementary lower bounds. They include the Mandelstam–Tamm (MT) bound, the Margolus–Levitin (ML) bound, the Luo–Zhang bound, the Lee–Chau (LC) bound together with the dual ML bound introduced by Ness and coworkers. Here we show that the MT bound can be obtained by optimizing the LC bound over a certain parameter. More importantly, we report a QSL that includes all the above bounds as special cases before optimizing over the physically meaningless reference energy level of a quantum system. This unifying bound depends on a certain parameter p. For any fixed p, we find all pairs of time-independent Hamiltonian and initial pure quantum state that saturate this unifying bound. More importantly, these pairs allow us to compute this bound accurately and efficiently using an oracle that returns certain pth moments related to the absolute value of energy of the quantum state. Moreover, this oracle can be simulated by a computationally efficient and accurate algorithm for finite-dimensional quantum systems as well as for certain infinite-dimensional quantum states with bounded and continuous energy spectra. This makes our computational method feasible in a lot of practical situations. We further compare the performance of this bound for the case of a fixed p as well as the case of optimizing over p with existing QSLs. We find that if the dimension of the underlying Hilbert space is ≲ 2000 , our unifying bound optimized over p can be computed accurately in a few minutes using Mathematica code with just-in-time compilation in a typical desktop. Besides, this optimized unifying QSL is at least as good as all the existing ones combined and can occasionally be a few percent to a few times better.
The Margolus-Levitin (ML) bound establishes a fundamental limit on the speed of quantum evolution, stating that a system with mean energy ⟨H⟩\langle H \rangle⟨H⟩ above its ground state requires a minimum time τ≥πℏ/(2⟨H⟩)\tau \ge \pi\hbar/(2\langle H\rangle)τ≥πℏ/(2⟨H⟩) to evolve between orthogonal states. This preprint rigorously derives the ML bound and critically examines its applicability as a universal per-operation energy-time limit for quantum computation at the Landauer-relevant energy scale. We show that while the ML bound constrains the intrinsic dynamics of the qubit register, it does not account for the dominant energy dissipation from cryogenic control hardware. Consequently, the ML bound alone is insufficient to characterize the energy cost of a logical operation. To address this, we connect the theoretical limit to the QNFO joules-per-compute (JPCUB) benchmark program and propose a concrete normalization of computational cost. This normalization quantifies energy per logical qubit operation by incorporating both the intrinsic qubit energy and the overhead of cryogenic controllers, providing a practical metric for quantum computation efficiency. ## 1. Introduction Quantum speed limits (QSLs) bound the minimum time required for a quantum state to evolve to an orthogonal state. The Margolus-Levitin (ML) bound is a prominent QSL, relating this minimum time to the mean energy of the system. As quantum computing hardware matures, understanding the fundamental energy limits of computation becomes critical. The Landauer limit sets a lower bound on the energy dissipated by irreversible operations, while the ML bound sets a lower bound on the time required for state evolution. This preprint derives the ML bound and assesses its role as a universal per-operation energy-time bound for quantum computation. We then connect this theoretical limit to the QNFO joules-per-compute (JPCUB) benchmark program, proposing a concrete normalization for the energy cost of logical qubit operations in cr