---
title: 'Margolus–Levitin Bound: Quantum Speed Limit'
url: https://www.emergentmind.com/topics/margolus-levitin-bound
type: topic
---

# Margolus–Levitin Bound: Quantum Speed Limit

The Margolus–Levitin Bound is a fundamental quantum speed limit that constrains how rapidly a quantum system, governed by a time-independent Hamiltonian, can evolve from an initial pure or mixed state to a state of specified distinguishability, typically orthogonalization. In contrast to the Mandelstam–Tamm bound, which depends on the energy variance, the Margolus–Levitin (ML) bound is set by the mean energy above the ground state and provides an absolute lower bound on evolution time. It has profound implications for quantum information processing, metrology, control, and foundational aspects of quantum theory.

## 1. Formal Statement and Mathematical Structure

The Margolus–Levitin bound applies to a quantum system with time-independent Hamiltonian \( H \) and ground-state energy \( E_0 \). For a pure state \( |\psi(0)\rangle \) with mean energy above the ground,
\[
E = \langle\psi(0)|H|\psi(0)\rangle - E_0,
\]
the minimal time \( \tau_{\rm ML} \) required for evolution to an orthogonal state is
\[
\tau_{\rm ML} \ge \frac{\pi\hbar}{2E}
\]
[2104.05638, 2206.14803, 1003.4870, 2303.09423]. More generally, for target fidelity \( \delta = |\langle\psi(0)|\psi(\tau)\rangle|^2 \), the bound is
\[
\tau \ge \frac{\alpha(\delta)\,\hbar}{E},
\]
where \( \alpha(\delta) \) is a universal function characterized by
\[
\alpha(\delta) = \min_{z^2\le\delta} \left\{ \frac{1+z}{2} \;\arccos\left(\frac{2\delta-1-z^2}{1-z^2}\right) \right\}
\]
[2301.10063, 2305.10101, 2511.23237]. Mixed-state extensions use the Uhlmann–Jozsa fidelity in place of the pure-state overlap.

## 2. Theoretical Foundations and Derivation

The original derivations hinge on the spectral decomposition of the initial state in the energy eigenbasis. The overlap amplitude
\[
f(t) = \langle\psi(0)|\psi(t)\rangle = \sum_n |c_n|^2 e^{-i(E_n-E_0)t/\hbar}
\]
is bounded using trigonometric inequalities (e.g., \( \cos x \geq 1 - \frac{2x}{\pi} \) for \( x \in [0,\pi] \)), such that the real part of \( f(t) \) cannot reach zero faster than the time prescribed by the bound [2303.09423, 2301.10063]. The ML bound fundamentally relies on: (i) the Hamiltonian being time-independent; (ii) the system’s initial energy distribution with respect to ground; (iii) strict monotonicity and convexity arguments over the spectrum; (iv) the sharpness of the tangent-line bound for the cosine function [2305.10101].

A symplectic-geometric interpretation has been established, with \( \alpha(\delta) \) related to the minimal symplectic area (Gromov width) swept out on the projective Hilbert space (Fubini–Study geometry) for evolution toward fixed fidelity [2301.10063, 2305.10101]. The bound can alternatively be formulated via a geometric variational principle on SU(N): the minimal action to reach an orthogonal state under a PH (positive homogeneous) functional, with the mean energy setting the “velocity” of evolution in group space [1410.3209].

## 3. Saturation Conditions and Universality

The ML bound is saturated only under specific structural criteria. For pure states, saturation occurs if and only if the initial state is supported on exactly two energy eigenstates (the ground and one excited level), and the evolution stays within this two-dimensional subspace [2305.10101, 2511.23237]. For mixed states, exact saturation requires:
- Support confined to a direct sum \( \mathcal{E}_0 \oplus \mathcal{E}_1 \) of two energy eigenspaces.
- Each nonzero-weight eigenvector is a fixed superposition of one ground and one excited eigenvector with uniquely optimal weights.
- Eigenspace pairs evolve in mutually orthogonal two-dimensional sectors (no cross-subspace interference).
As a result, faithful (full-rank over a larger Hilbert space) mixed states cannot saturate the ML bound [2511.23237].

In the qubit case, the ML bound admits a purity parameterization, rendering a fully tight, purity-dependent inequality. The dual ML bound (by time reversal) constrains the evolution in terms of distance from the highest populated energy [2511.23237, 2206.14803].

## 4. Comparison to Mandelstam–Tamm and Generalizations

The ML bound is complementary to the Mandelstam–Tamm (MT) bound, which employs the energy standard deviation \( \Delta E \):
\[
\tau_{\rm MT} \ge \frac{\pi\hbar}{2\Delta E}
\]
[2104.05638]. For two-level systems with maximally coherent initial states, both bounds coincide (\( \Delta E = E \)), but in multilevel settings they differ and the tightest quantum speed limit is
\[
\tau_{\rm QSL} = \max\{\tau_{\rm MT},\,\tau_{\rm ML}\}
\]
[2206.14803, 2104.05638]. More refined bounds, including higher energy moments and spectrum-bounded (dual ML) cases, yield a regime structure:
- MT-limited: \( \Delta E < \min\{E, E_{\max}-E\} \),
- ML-limited: \( E < E_{\max}/2 \), large energy spread,
- Dual ML-limited: \( E > E_{\max}/2 \), large spread near the top of the spectrum [2206.14803, 2403.03579].
Arbitrary-order ML-type bounds (generalized ML or GML) leveraging \( p \)th-order moments have been recently established and experimentally validated, tightening speed limits across diverse regimes [2403.03579].

## 5. Generalizations: Mixed States, Open Systems, Non-Hermitian Dynamics

Purification arguments extend the ML bound to mixed states under unitary evolution, with the Uhlmann–Jozsa fidelity substituting the pure-state overlap [2511.23237, 1003.4870]. For genuinely nonunitary (open) or non-Hermitian evolution, strict ML-type bounds generally fail unless specific structure is preserved. In open quantum systems, a ML-type lower bound exists in terms of the operator-norm (spectral norm) of the nonunitary generator, but the mean energy above ground does not universally govern the evolution rate [1302.5069, 2205.11882, 2404.16392]. For driven or time-dependent closed systems, no extension of the ML bound in terms of a time-average of the mean energy withstands counterexamples—the bound is unique to time-independent situations [2303.09423, 1802.00995].

For non-Hermitian (e.g., effective) Hamiltonians \( \mathcal{H}=H-i\Gamma \), the ML-like bound incorporates the anti-Hermitian (decay) part, resulting in survival-probability and effective energy terms; tightness and utility are system- and context-dependent [2404.16392].

## 6. Applications and Implications in Quantum Technologies

The ML bound defines an absolute limit for state orthogonalization speed, hence for quantum gate rates and minimal operational times in quantum computing, quantum simulation, and quantum control [2104.05638, 2406.03964]. In quantum metrology, the ML bound underpins the Heisenberg limit for parameter estimation, establishing the ultimate precision as an inverse function of the mean generator energy:
\[
\delta\theta \ge \frac{1}{E}
\]
[1004.3944]. In protocols that generate or degrade entanglement and quantum discord, ML-type bounds provide operational limits on correlation processing rates under both unitary and certain open-system dynamics [2205.11882]. The ML bound also rules out arbitrarily rapid, energy-constrained quantum computational clock speeds in idealized models with only energy constraints and no further kinematic or locality boundaries; in realistic systems, signal-propagation, entropic, and geometric constraints supplement the ML limit [1701.01175].

A novel application appears in string theory: on the world-sheet, the ML bound associated with the string “clock” parameter via Fisher information necessitates a minimal interval for transitions, enforcing effective nonlocality and regularizing ultraviolet divergences in string-derived field theories [2302.08325].

## 7. Limitations, Exceptions, and Open Directions

The ML bound is not universally extensible:
- It is inapplicable under time-dependent Hamiltonians unless strict adiabaticity is guaranteed; attempts to generalize by naïve time-averaging of the mean energy fail [1802.00995, 2303.09423].
- It does not survive under arbitrary completely positive trace-preserving (CPTP) evolution; there exist counterexamples enabled by environmental interactions or engineered control Hamiltonians [1003.4870, 2303.09423].
- In open-system dynamics, operator-norm-based bounds provide analogous but physically distinct constraints, often looser or context-dependent [2205.11882, 2404.16392].
- The ML bound is only physically meaningful when the Hamiltonian spectrum possesses a well-defined bottom (and, for the dual, top).

Nevertheless, the ML bound remains a central result—technically precise, operationally sharp, and experimentally accessible—that embodies a foundational trade-off between energy resources and quantum dynamical speed [2104.05638, 2206.14803, 2301.10063, 2403.03579]. Recent advances have clarified its analytic structure, symplectic geometry, saturation conditions, and multi-regime unification, as well as its extensions and limitations in the context of modern quantum information theory.

Source: https://www.emergentmind.com/topics/margolus-levitin-bound