Admissible Discrete Linear Propagators for High-Order Time Splittings of Rotational Nonlinear Schrödinger Equations with Arbitrary Three-Dimensional Rotation
Abstract
We study robust high-order time splittings for nonlinear Schr\"odinger equations whose linear part is defined by the Laplacian and an arbitrary three-dimensional rotation operator. After Fourier pseudospectral discretization, a continuous exact factorization of the linear flow need not yield a method self-adjoint fixed-grid propagator. For the original stage-wise explicit exact integrator, we identify a quadratic even term in the local logarithm and show that its visibility is state-dependent, so the observed temporal order of accuracy can depend on the initial data. We then formulate fixed-grid admissibility for discrete linear propagators and construct two admissible propagators for arbitrary three-dimensional rotation: a symmetrized explicit exact integrator and a palindromic generalized shear propagator. Both are unitary, first-order consistent, method self-adjoint, and have odd local logarithms. Numerical experiments verify the predicted defect mechanism and demonstrate recovery of the designed second-, fourth-, and sixth-order behavior with the admissible propagators.
Cite
@article{arxiv.2607.07923,
title = {Admissible Discrete Linear Propagators for High-Order Time Splittings of Rotational Nonlinear Schrödinger Equations with Arbitrary Three-Dimensional Rotation},
author = {Tianqi Zhang and Fei Xue},
journal= {arXiv preprint arXiv:2607.07923},
year = {2026}
}