This provides a result for time varying states. Although it also provides a bound for mixed states, the bound (for mixed states) can be so loose as to be uninformative. The Margolus–Levitin theorem has not yet been established in time-dependent quantum systems, whose Hamiltonians H t are driven by arbitrary time-dependent parameters, except for the adiabatic case.