1: \begin{abstract}

2: In this work, we obtain an {\em a-posteriori} theorem for

3: the existence of partly hyperbolic invariant tori in analytic Hamiltonian

4: systems: autonomous, periodic, and quasi-periodic. The method of

5: proof is based on the convergence of a KAM iterative scheme to

6: solve the invariance equations of tori and their invariant bundles under

7: the framework of the parameterization method.

8: Starting from parameterizations analytic in a complex strip and

9: satisfying their invariance equations approximatly, we derive

10: conditions for the existence of analytic parameterizations in a

11: smaller strip satisfying the invariance equations exactly.

12: The proof relies on the careful treatment of the analyticity loss

13: with each iterative step and on the control of geometric properties

14: of symplectic flavour. We also provide all the necessary explicit

15: constants to perform computer assisted proofs.

16: 

17: 

18: 

19: \end{abstract}

20: