arXiv:2305.10101
$\boldsymbol{α_{>}(ε) = α_{<}(ε)}$ For The Margolus-Levitin Quantum Speed Limit Bound
H. F. Chau
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 $πα(ε) / (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.