1: \begin{abstract}

2: Geometric integrators of the Schr\"{o}dinger equation conserve exactly

3: many invariants of the exact solution. Among these integrators, the

4: split-operator algorithm is explicit and easy to implement, but,

5: unfortunately, is restricted to systems whose Hamiltonian is separable into a

6: kinetic and potential terms. Here, we describe several implicit

7: geometric integrators applicable to both separable and non-separable

8: Hamiltonians, and, in particular, to the nonadiabatic molecular Hamiltonian in

9: the adiabatic representation. These integrators combine the dynamic Fourier

10: method with recursive symmetric composition of the trapezoidal rule or

11: implicit midpoint method, which results in an arbitrary order of accuracy in

12: the time step. Moreover, these integrators are exactly unitary, symplectic,

13: symmetric, time-reversible, and stable, and, in contrast to the

14: split-operator algorithm, conserve energy exactly, regardless of the accuracy

15: of the solution. The order of convergence and conservation of

16: geometric properties are proven analytically and demonstrated numerically on a

17: two-surface NaI model in the adiabatic representation. Although each

18: step of the higher order integrators is more costly, these algorithms become

19: the most efficient ones if higher accuracy is desired; a thousand-fold speedup

20: compared to the second-order trapezoidal rule (the Crank-Nicolson method) was

21: observed for wavefunction convergence error of $10^{-10}$. In

22: a companion paper [J. Roulet, S. Choi, and J. Van\'{\i}\v{c}ek

23: (2019)], we discuss analogous, arbitrary-order compositions of the

24: split-operator algorithm and apply both types of geometric integrators to a

25: higher-dimensional system in the diabatic representation.

26: 

27: \end{abstract}