On the propagation of semiclassical Wigner functions

We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we rediscuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions, we provide the correct geometrical prescription for their semiclassical propagation. This is determined by the classical trajectories of the tips of the chords defined by the initial semiclassical Wigner function and centred on their arguments, in contrast to the Liouville propagation which is determined by the classical trajectories of the arguments themselves.