Wavefunction and probability density for the excited state of the quantum harmonic oscillator. Vertical dashed lines indicate the classical turning points, while the dotted line represents the classical probability density. (en)
Probably correct, e.g. phase space is incompressible and therefore this is a rotation, Obscure reference, expand argument about time evolution operator, representation theory and unitarity on Ladder operators page and link here (en)