Which Quantum Evolutions Can Be Reversed by Local Unitary Operations? Algebraic Classification and Gradient-Flow-Based Numerical Checks

Generalising in the sense of Hahn's spin echo, we completely characterise those unitary propagators of effective multi-qubit interactions that can be inverted solely by {\em local} unitary operations on $n$ qubits (spins-$\tfrac{1}{2}$). The subset of $U\in \mathbf{SU}(2^n)$ satisfying $U^{-1}=K_1 U K_2$ with pairs of local unitaries $K_1, K_2\in\mathbf{SU}(2)^{\otimes n}$ comprises two classes: in type-I, $K_1$ and $K_2$ are inverse to one another, while in type-II they are not. {Type-I} consists of one-parameter groups that can jointly be inverted for all times $t\in\R{}$ because their Hamiltonian generators satisfy $K H K^{-1} = \Ad K (H) = -H$. As all the Hamiltonians generating locally invertible unitaries of type-I are spanned by the eigenspace associated to the eigenvalue -1 of the {\em local} conjugation map $\Ad K$, this eigenspace can be given in closed algebraic form. The relation to the root space decomposition of $\mathfrak{sl}(N,\C{})$ is pointed out. Special cases of type-I invertible Hamiltonians are of $p$-quantum order and are analysed by the transformation properties of spherical tensors of order $p$. Effective multi-qubit interaction Hamiltonians are characterised via the graphs of their coupling topology. {Type-II} consists of pointwise locally invertible propagators, part of which can be classified according to the symmetries of their matrix representations. Moreover, we show gradient flows for numerically solving the decision problem whether a propagator is type-I or type-II invertible or not by driving the least-squares distance $\norm{K_1 e^{-itH} K_2 - e^{+itH}}^2_2$ to zero.