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

6: partially takes into account tunneling. However, the variational method is

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

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

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

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

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

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

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

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

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

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

17: can include tunneling and, in general, improves accuracy over the

18: non-variational thawed Gaussian approximation.

19: 

20: \end{abstract}

21: