1: \begin{abstract}

2: {Let the quantization of the linear flow of diophantine

3: frequencies $\om$ over the torus $\T^l$, $l>1$, namely the Schr\"odinger operator

4:  $-i\hbar\omega\cdot\nabla$ on $L^2(\T^l)$, be

5: perturbed by the quantization of a function $\V_\om: \R^l\times\T^l\to\R$ of the form

6: \vskip 5pt\noindent

7: $$

8: \V_\om(\xi,x)=\V(z\circ \L_\om(\xi),x),\quad \L_\om(\xi):= \om_1\xi_1+\ldots+\om_l\xi_l

9: $$

10: \vskip 4pt\noindent

11: where  $z\mapsto \V(z,x): \R\times\T^l \to\R$ is real-holomorphic.

12:  We prove that the corresponding quantum normal form converges uniformly with respect to $\hbar\in [0,1]$. 

13: Since the quantum normal form reduces to the classical one  

14: for $\hbar=0$, this result simultaneously yields an exact

15:  quantization formula for the quantum spectrum, 

16: as well as a convergence criterion for the Birkhoff normal form, valid  

17: for a class of perturbations holomorphic away from the origin.  The main technical aspect 

18: concerns  the quantum homological equation $\ds 

19: {[F(-i\hbar\om\cdot\nabla),W]}/{i\hbar}+V=N$,  

20: $F:\R\to\R$ being  a smooth function $\ep-$close to the identity. Its  solution is 

21: constructed, 

22: and estimated uniformly with respect to $\hbar\in [0,1]$,  by solving 

23: the  equation $\{F(\L_\om),\W\}_M+\V=\N$ for the corresponding symbols. 

24: Here $\{\cdot,\cdot\}_M$ stands for the Moyal bracket.  

25: As a consequence, the KAM iteration for the symbols of the quantum operators can be implemented, 

26: and its convergence proved, uniformly with respect to 

27: $(\xi,\hbar,\ep)\in \R^l\times [0,1]\times \{\ep\in\C\,|\;|\ep|<\ep^\ast\}$, where  $\ep^\ast>0$ is explicitly estimated in terms only of the diophantine constants. This in turn entails the uniform 

28: convergence of the quantum normal form. }

29: \end{abstract}