1: \begin{abstract}

2: Exact nonadiabatic quantum evolution preserves many geometric properties of

3: the molecular Hilbert space. In a companion paper [S. Choi and J.

4: Van\'{\i}\v{c}ek, 2019], we presented numerical integrators of arbitrary-order

5: of accuracy that preserve these geometric properties exactly even in the

6: adiabatic representation, in which the molecular Hamiltonian is not separable

7: into a kinetic and potential terms. Here, we focus on the separable

8: Hamiltonian in diabatic representation, where the split-operator algorithm

9: provides a popular alternative because it is explicit and easy to implement,

10: while preserving most geometric invariants. Whereas the standard version has

11: only second-order accuracy, we implemented, in an automated fashion, its

12: recursive symmetric compositions, using the same schemes as in the companion

13: paper, and obtained integrators of arbitrary even order that still preserve

14: the geometric properties exactly. Because the automatically generated

15: splitting coefficients are redundant, we reduce the computational cost by

16: pruning these coefficients and lower memory requirements by identifying unique

17: coefficients. The order of convergence and preservation of geometric

18: properties are justified analytically and confirmed numerically on a

19: one-dimensional two-surface model of NaI and a three-dimensional three-surface

20: model of pyrazine. As for efficiency, we find that to reach a convergence

21: error of $10^{-10}$, a $600$-fold speedup in the case of NaI and a $900$-fold

22: speedup in the case of pyrazine are obtained with the higher-order

23: compositions instead of the second-order split-operator algorithm. The

24: pyrazine results suggest that the efficiency gain survives in higher dimensions.

25: 

26: \end{abstract}