1: \begin{abstract}

2: We present the algebraic foundations of the {\em symmetric Zassenhaus algorithm} and some of its variants. These algorithms have proven effective in

3: devising higher-order methods for solving the time-dependent \schr equation in the semiclassical regime.

4: We find that the favourable properties of these methods derive

5: directly from the structural properties of a $\mathbb{Z}_2$-graded Lie algebra. Commutators in this Lie algebra can be simplified explicitly, leading to

6: commutator-free methods.

7: Their other structural properties are crucial in proving

8: unitarity, stability, convergence, error bounds and quadratic costs of Zassenhaus based methods. These algebraic structures have also found applications in Magnus expansion

9: based methods for time-varying potentials where they allow significantly milder constraints for convergence and lead to highly effective schemes.

10: The algebraic foundations laid out in this work

11: pave the way for extending higher-order Zassenhaus and Magnus schemes to other equations of quantum mechanics.

12: \end{abstract}

13: