 Lyapunov quantum control

For $\dot{\rho }=-i[H_0+f{H}_1,\rho ]$ and ${\dot{\rho }}_d=-i[H_0,{\rho }_d]$, the Hilbert-Schmidt distance gives $V=\Vert \rho -{\rho }_d{\Vert }^2/2$. The choice $f=\mathrm{Tr}({\rho }_d[-i{H}_1,\rho ])$ yields $\dot{V}=-f^2$. Decrease alone does not prove convergence: orthogonal pure eigenstates of a diagonal $H_0$ give zero input for a transverse Pauli control even though their distance remains nonzero. Such a law can be simulated to produce an open-loop control.