Quantum speed limit theorems

Short description: Theorems which give fundamental limits on quantum evolution

Quantum speed limit theorems are quantum mechanics theorems concerning the orthogonalization interval, the minimum time for a quantum system to evolve between two orthogonal states, also known as the quantum speed limit.

Consider an initial pure quantum state expressed as a superposition of its energy eigenstates

$|\psi (0)⟩=\sum _n{c}_n|E_n⟩$.

If the state $|\psi (0)⟩$ is let to evolve for an interval $\delta t$ by the Schrödinger equation it becomes

$|\psi (\delta t)⟩=\sum _n{c}_n{e}^{-i\frac{E_n\delta t}{\hslash }}|E_n⟩$,

where $\hslash =\frac{h}{2\pi }$ is the reduced Planck constant. If the initial state $|\psi (0)⟩$ is orthogonal to the evolved state $|\psi (\delta t)⟩$ then $⟨\psi (0)|\psi (\delta t)⟩=0$ and the minimum interval $\delta t_{\perp }$ required to achieve this condition is called the orthogonalization interval or time.

Mandelstam-Tamm theorem

The Mandelstam-Tamm theorem states that

$\delta E\delta t_{\perp }\ge \hslash \frac{\pi }{2}$,

where

$(\delta E{)}^2=⟨\psi |H^2|\psi ⟩-(⟨\psi |H|\psi ⟩{)}^2=\frac{1}{2}\sum _{n,m}|c_n{|}^2|c_m{|}^2(E_n-E_m{)}^2$,

is the variance of the system's energy and $H$ is the Hamiltonian operator. The theorem is named after Leonid Mandelstam and Igor Tamm. In this case, quantum evolution is independent of the particular Hamiltonian used to transport the quantum system along a given curve in the projective Hilbert space; it is the distance along this curve measured by the Fubini-Study metric.

Proof

We want to find the smallest interval $\delta t_{\perp }$ such that

$|S(\delta t_{\perp }){|}^2=|⟨\psi (0)|\psi (\delta t_{\perp })⟩{|}^2=0$.

We note that

$\begin{array}{rl}|S(\delta t){|}^2& =|⟨\psi (0)|\psi (\delta t)⟩{|}^2=\sum _{n,m}|c_n{|}^2|c_m{|}^2{e}^{-i\frac{\delta t}{\hslash }(E_n-E_m)}=\\ & =\sum _{n,m}|c_n{|}^2|c_m{|}^2\cos \left(\frac{\delta t}{\hslash }(E_n-E_m)\right),\end{array}$

using Euler's formula and noting that the sine function is odd. Then

$\begin{array}{rl}|S(\delta t){|}^2& \ge 1-\frac{4}{{\pi }^2}\sum _{n,m}|c_n{|}^2|c_m{|}^2\frac{\delta t}{\hslash }(E_n-E_m)\sin \left(\frac{\delta t}{\hslash }(E_n-E_m)\right)\\ & -\frac{2}{{\pi }^2}\sum _{n,m}|c_n{|}^2|c_m{|}^2{\left(\frac{\delta t}{\hslash }(E_n-E_m)\right)}^2\end{array}$,

since $\cos (x)\ge 1-\frac{4}{{\pi }^2}x\sin (x)-\frac{2}{{\pi }^2}{x}^2$, $\mathrm{\forall }x\in \mathbb{ℝ}$. We note that

$\frac{d|S(\delta t){|}^2}{d\delta t}=-\sum _{n,m}|c_n{|}^2|c_m{|}^2\sin \left(\frac{\delta t}{\hslash }(E_n-E_m)\right)\frac{E_n-E_m}{\hslash }$.

Thus

$|S(\delta t){|}^2\ge 1+\frac{4}{{\pi }^2}\delta t\frac{d|S(\delta t){|}^2}{d\delta t}-\frac{1}{{\pi }^2}{\left(\frac{2\delta t}{\hslash }\delta E\right)}^2$.

Since $|S(\delta t){|}^2\ge 0$ then $\frac{d|S(\delta t){|}^2}{d\delta t}=0$ if $S(\delta t)=0$. So the second term vanishes for $\delta t=\delta t_{\perp }$ and

$0\ge 1-\frac{1}{{\pi }^2}\frac{4\delta t_{\perp }^2}{{\hslash }^2}{\left(\delta E\right)}^2$.

For this bound to become an equality we demand $\cos (x)=1-\frac{4}{{\pi }^2}x\sin (x)-\frac{2}{{\pi }^2}{x}^2$, that is $x=0$ or $x=\pm \pi$. Thus

$\frac{\delta t_{\perp }}{\hslash }(E_n-E_m)=0\text{or}\frac{\delta t_{\perp }}{\hslash }(E_n-E_m)=\pm \pi \mathrm{\forall }n,m,c_n\ne 0,c_m\ne 0$,

which holds for only two energy eigenstates $E_0=0$ and $E_1=\pm \frac{\pi \hslash }{\delta t_{\perp }}$. Thus, the only state that attains this bound is a two-level pure quantum state (qubit) in an equal superposition

$|{\psi }_q⟩=\frac{1}{\sqrt{2}}(e^{i{\phi }_0}|0⟩+e^{i{\phi }_1}|\pm \frac{\pi \hslash }{\delta t_{\perp }}⟩)$

of energy eigenstates $|E_0⟩$ and $|E_1⟩$, unique up to degeneracy of the energy level $E_1$ and arbitrary phase factors ${\phi }_0$, ${\phi }_1$ of the eigenstates.

Margolus–Levitin theorem

The Margolus–Levitin theorem states that

$E_{avg}\delta t_{\perp }\ge \hslash \frac{\pi }{2}$,

where

$E_{avg}=⟨\psi |H|\psi ⟩=\sum _n|c_n{|}^2{E}_n$,

is the system's average energy and $H$ is the Hamiltonian operator, such that

• $H$ does not depend on time;
• $H$ has zero ground state energy.

The theorem is named after Norman Margolus and Lev B. Levitin.

Proof

Graphs of trigonometric functions used in inequalities of Mandelstam-Tamm and Margolus–Levitin theorems.

We want to find the smallest interval $\delta t_{\perp }$ such that

$S(\delta t_{\perp })=⟨\psi (0)|\psi (\delta t_{\perp })⟩=\sum _n|c_n{|}^2{e}^{-i\frac{E_n\delta t_{\perp }}{\hslash }}=0$.

We note that

$\begin{array}{rl}\text{Re}(S(\delta t))& =\sum _n|c_n{|}^2\cos \left(\frac{E_n\delta t}{\hslash }\right)\ge \\ & \ge \sum _n|c_n{|}^2(1-\frac{2}{\pi }\frac{E_n\delta t}{\hslash }-\frac{2}{\pi }\sin \left(\frac{E_n\delta t}{\hslash }\right))=\\ & =\sum _n|c_n{|}^2-\frac{2\delta t}{\pi \hslash }\sum _n|c_n{|}^2{E}_n-\frac{2}{\pi }\sum _n|c_n{|}^2\sin \left(\frac{E_n\delta t}{\hslash }\right)=\\ & =1-\frac{2\delta t}{\pi \hslash }{E}_{avg}+\frac{2}{\pi }\text{Im}(S(\delta t))\end{array}$,

as $\cos (x)\ge 1-\frac{2}{\pi }x-\frac{2}{\pi }\sin (x),\mathrm{\forall }x\ge 0$. Since $S(\delta t_{\perp })=0$ requires $\text{Re}(S(\delta t_{\perp }))=\text{Im}(S(\delta t_{\perp }))=0$ then

$0\ge 1-\frac{2}{\pi }\frac{E_{avg}\delta t_{\perp }}{\hslash }$.

For this bound to become an equality we demand $\cos (x)=1-\frac{2}{\pi }(x+\sin (x))$, that is $x=0$ or $x=\pi$. Thus

$\frac{E_n\delta t_{\perp }}{\hslash }=0\text{or}\frac{E_n\delta t_{\perp }}{\hslash }=\pi \mathrm{\forall }n,c_n\ne 0$,

which holds for only two energy eigenstates $E_0=0$ and $E_1=\frac{\pi \hslash }{\delta t_{\perp }}$. Thus, the only state that attains this bound is a two-level pure quantum state (qubit) in an equal superposition

$|{\psi }_q⟩=\frac{1}{\sqrt{2}}(e^{i{\phi }_0}|0⟩+e^{i{\phi }_1}|\frac{\pi \hslash }{\delta t_{\perp }}⟩)$

of energy eigenstates $|E_0⟩$ and $|E_1⟩$, unique up to degeneracy of the energy level $E_1$ and arbitrary phase factors ${\phi }_0$, ${\phi }_1$ of the eigenstates.

Time-varying Hamiltonian

The Margolus-Levitin theorem generalizes to the case with time-varying Hamiltonian and mixed states.

Let $H_{\delta t}$ be the Hamiltonian at time interval $\delta t$, such that $H_{\delta t}$ still has zero energy in the ground state. Let the system start at some mixed state with density operator ${\rho }_0$ and evolve by the Schrödinger equation over time. Then

$\underset{0}{\overset{\delta t}{\int }}|tr({\rho }_0{H}_{\delta t})|dt\ge \hslash D_B({\rho }_0,{\rho }_{\delta t})$,

where $D_B$ is the Bures distance between the starting state and the ending state.

To obtain the original theorem, set $H_{\delta t}$ to be independent of time, and ${\rho }_0=|\psi (0)⟩⟨\psi (0)|$, then since pure states evolve to pure states, ${\rho }_{\delta t}=|\psi (\delta t)⟩⟨\psi (\delta t)|$, and so by the formula for the Bures distance between pure states,

$E_{avg}\delta t\ge \hslash \arccos |⟨\psi (0)|\psi (\delta t)⟩|$,

and when the starting and ending states are orthogonal, we obtain $E_{avg}\delta t_{\perp }\ge \hslash \frac{\pi }{2}$. However, the Margolus–Levitin theorem has not yet been established in time-dependent quantum systems, whose Hamiltonians $H_{\delta t}$ are driven by arbitrary time-dependent parameters, except for the adiabatic case.

Other relevant theorems

Relevant theorems concerning the Margolus–Levitin and the Mandelstam-Tamm theorems were proved in 2009 by Lev B. Levitin and Tommaso Toffoli.

Theorem

In the case $E_{avg}\ne \delta E$ the orthogonalization interval satisfies

$\delta t_{\perp }\le \frac{\pi \hslash (1+e^{\ln \left|\frac{\delta E}{E_{avg}}\right|})}{2E_{avg}(1+\frac{\delta E}{E_{avg}})}(1+ϵ)=\frac{\pi \hslash }{2E_{avg}}(1+ϵ),\mathrm{\forall }ϵ>0$

Theorem

For any state $|\psi ⟩$

$\frac{E_{max}}{4}\le E_{avg}\le \frac{E_{max}}{2}$,

where $E_{max}$ is the maximum energy eigenvalue of $|\psi ⟩$ and

$\pi \hslash \le E_{max}\delta t_{\perp }\le 2\pi \hslash$,

wherein $E_{max}\delta t_{\perp }=\pi \hslash$ for the qubit state $|{\psi }_q⟩$ with $E_1=E_{max}$.

Proof

Let

$S(\delta t_{\perp })=⟨\psi (0)|\psi (\delta t_{\perp })⟩=\sum _n|c_n{|}^2{e}^{-i\frac{\delta t_{\perp }}{\hslash }{E}_n}=0$.

Assume a contrario that $E_{max}>\frac{2\pi \hslash }{\delta t_{\perp }}$. We can define $E_l\doteq E_{max}-\frac{2\pi \hslash }{\delta t_{\perp }}>0$. But then

$e^{-i\frac{\delta t_{\perp }}{\hslash }{E}_l}=e^{-i\frac{\delta t_{\perp }}{\hslash }{E}_{max}}{e}^{2\pi i}=e^{-i\frac{\delta t_{\perp }}{\hslash }{E}_{max}}$.

Thus, replacing $E_{max}$ with $E_l>E_{max}$ does not change $S(\delta t_{\perp })$ and therefore the set of energy eigenvalues is bounded from above. To prove the existence of the lower bound on $E_{max}$, let the average energy be $E_{avg}^{(1)}$. We note that replacing energy levels $E_n$ in $S(\delta t_{\perp })$ with $E_{max}-E_n$ will not affect its validity. But after such a replacement, the average energy is $E_{avg}^{(2)}=E_{max}-E_{avg}^{(1)}$, and we can choose $E_{avg}=\min (E_{avg}^{(1)},E_{avg}^{(2)})$. Thus $E_{avg}\le \frac{E_{max}}{2}$. Using the bound on $E_{avg}$ from the Margolus–Levitin theorem completes the proof.

Furthermore, if $\delta t_{\perp }=\frac{\pi \hslash }{E_{max}}$ then

$S(\delta t_{\perp })=\sum _{n=0}^m|c_n{|}^2{e}^{-i\pi \frac{E_n}{E_{max}}}=\sum _{n=0}^m|c_n{|}^2(\cos \left(\pi \frac{E_n}{E_{max}}\right)-i\sin \left(\pi \frac{E_n}{E_{max}}\right))=0$,

which is satisfied iff $E_0=0$, $E_1=E_{max}=\frac{\pi \hslash }{\delta t_{\perp }}$, and $|c_n{|}^2=\frac{1}{2}$.

See also

• Bekenstein bound
• Bremermann's limit
• Landauer's principle
• Kolmogorov complexity
• Koomey's law
• Limits to computation
• Moore's law
• Uncertainty principle

References

• Deffner, Sebastian; Campbell, Steve (2017), "Quantum speed limits", Journal of Physics A 50 (45): 453001, doi:10.1088/1751-8121/aa86c6, Bibcode: 2017JPhA...50S3001D 
• Jordan, Stephen P. (2017), "Fast quantum computation at arbitrarily low energy", Physical Review A 95 (3): 032305, doi:10.1103/PhysRevA.95.032305, Bibcode: 2017PhRvA..95c2305J 
• Lloyd, Seth; Ng, Y. Jack, "Black Hole Computers", Scientific American (April 2007), p. 53–61
• Sinitsyn, Nikolai A. (2018). "Is there a quantum limit on speed of computation?". Physics Letters A 382 (7): 477–481. doi:10.1016/j.physleta.2017.12.042. Bibcode: 2018PhLA..382..477S.