Quantum Birkhoff normal forms

We consider quantum analogues of several theorems on Birkhoff normal forms and prove a quantum analogue of the theorem on reducing a Hamiltonian to the normal form and the analogue of the theorem on reducing a Hamiltonian to the real normal form. We obtain the normal form explicitly in the nonresonant case. We consider the uniqueness problems of the normal form and of the normalizing transformation in the nonresonant and resonant cases.