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

.

If the state is let to evolve for an interval by the Schrödinger equation it becomes

,

where is the reduced Planck constant. If the initial state is orthogonal to the evolved state then and the minimum interval required to achieve this condition is called the orthogonalization interval[1] or time.[2]

Mandelstam-Tamm theorem

The Mandelstam-Tamm theorem[1] states that

,

where

,

is the variance of the system's energy and 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.[3]

Proof

We want to find the smallest interval such that

.

We note[2] that

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

,

since , . We note that

.

Thus

.

Since then if . So the second term vanishes for and

.

For this bound to become an equality we demand , that is or . Thus

,

which holds for only two energy eigenstates and . Thus, the only state that attains this bound is a two-level pure quantum state (qubit) in an equal superposition

of energy eigenstates and , unique up to degeneracy of the energy level and arbitrary phase factors , of the eigenstates.[2]

Margolus–Levitin theorem

The Margolus–Levitin theorem[4] states that

,

where

,

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

  • does not depend on time;
  • 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 such that

.

We note that[2]

,

as . Since requires then

.

For this bound to become an equality we demand , that is or . Thus

,

which holds for only two energy eigenstates and . Thus, the only state that attains this bound is a two-level pure quantum state (qubit) in an equal superposition

of energy eigenstates and , unique up to degeneracy of the energy level and arbitrary phase factors , of the eigenstates.[2]

Time-varying Hamiltonian

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

Let be the Hamiltonian at time interval , such that still has zero energy in the ground state. Let the system start at some mixed state with density operator and evolve by the Schrödinger equation over time. Then

,

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

To obtain the original theorem, set to be independent of time, and , then since pure states evolve to pure states, , and so by the formula for the Bures distance between pure states,

,

and when the starting and ending states are orthogonal, we obtain . However, the Margolus–Levitin theorem has not yet been established in time-dependent quantum systems, whose Hamiltonians are driven by arbitrary time-dependent parameters, except for the adiabatic case.[6]

Other relevant theorems

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

Theorem

In the case the orthogonalization interval satisfies

Theorem

For any state

,

where is the maximum energy eigenvalue of and

,

wherein for the qubit state with .

Proof

Let

.

Assume a contrario that . We can define . But then

.

Thus, replacing with does not change and therefore the set of energy eigenvalues is bounded from above.[2] To prove the existence of the lower bound on , let the average energy be . We note that replacing energy levels in with will not affect its validity. But after such a replacement, the average energy is , and we can choose . Thus . Using the bound on from the Margolus–Levitin theorem completes the proof.[2]

Furthermore, if then

,

which is satisfied[2] iff , , and .

See also

References

  1. 1 2 Leonid Mandelstam; Igor Tamm (1945), "The Uncertainty Relation Between Energy and Time in Non-relativistic Quantum Mechanics", J. Phys. (USSR), 9: 249–254
  2. 1 2 3 4 5 6 7 8 9 Lev B. Levitin; Tommaso Toffoli (2009), "Fundamental Limit on the Rate of Quantum Dynamics: The Unified Bound Is Tight", Physical Review Letters, 103 (16): 160502, arXiv:0905.3417, Bibcode:2009PhRvL.103p0502L, doi:10.1103/PhysRevLett.103.160502, ISSN 0031-9007, PMID 19905679, S2CID 36320152
  3. Yakir Aharonov; Jeeva Anandan (1990), "Geometry of quantum evolution", Physical Review Letters, 65 (14): 1697–1700, Bibcode:1990PhRvL..65.1697A, doi:10.1103/PhysRevLett.65.1697, PMID 10042340
  4. Norman Margolus; Lev B. Levitin (1998), "The maximum speed of dynamical evolution", Physica D, 120 (1–2): 188–195, arXiv:quant-ph/9710043, Bibcode:1998PhyD..120..188M, doi:10.1016/S0167-2789(98)00054-2, S2CID 468290
  5. Deffner, Sebastian; Lutz, Eric (2013-08-23). "Energy–time uncertainty relation for driven quantum systems". Journal of Physics A: Mathematical and Theoretical. 46 (33): 335302. arXiv:1104.5104. Bibcode:2013JPhA...46G5302D. doi:10.1088/1751-8113/46/33/335302. hdl:11603/19394. ISSN 1751-8113. S2CID 119313370.
  6. Okuyama, Manaka; Ohzeki, Masayuki (2018). "Comment on 'Energy-time uncertainty relation for driven quantum systems'". Journal of Physics A: Mathematical and Theoretical. 51: 318001. arXiv:1802.00995. doi:10.1088/1751-8121/aacb90. ISSN 1751-8113.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.