On the construction of quantum normal forms

We explore the connection between semi-classical and quantum Birkhoff canonical forms for Schroedinger operators. In particular we give a "non-symbolic" operator theoretic derivation of the quantum Birkhoff canonical form (BCF) and provide an explicit recipe for expressing the quantum BCF in terms of the semi-classical BCF.