1: \begin{abstract}

2: Among the single-trajectory Gaussian-based methods for solving the

3: time-dependent Schr\"{o}dinger equation, the variational Gaussian

4: approximation is the most accurate one. In contrast to Heller's original

5: thawed Gaussian approximation, it is symplectic, conserves energy exactly, and may partially account for tunneling. However, the variational method is

6: also much more expensive. To improve its efficiency, we symmetrically compose

7: the second-order symplectic integrator of Faou and Lubich and obtain geometric

8: integrators that can achieve an arbitrary even order of convergence in the

9: time step. We demonstrate that the high-order integrators can speed up

10: convergence drastically compared to the second-order algorithm and, in

11: contrast to the popular fourth-order Runge-Kutta method, are time-reversible

12: and conserve the norm and the symplectic structure exactly, regardless of the

13: time step. To show that the method is not restricted to low-dimensional

14: systems, we perform most of the analysis on a non-separable twenty-dimensional

15: model of coupled Morse oscillators. We also show that the variational method

16: may capture tunneling and, in general, improves accuracy over the

17: non-variational thawed Gaussian approximation.

18: 

19: \end{abstract}

20: