Exponentially small lower bounds for the splitting of separatrices to whiskered tori with frequencies of constant type

We study the splitting of invariant manifolds of whiskered tori with two frequencies in nearly-integrable Hamiltonian systems, such that the hyperbolic part is given by a pendulum. We consider a 2-dimensional torus with a fast frequency vector $\omega/\sqrt\epsilon$, with $\omega=(1,\Omega)$ where $\Omega$ is an irrational number of constant type, i.e. a number whose continued fraction has bounded entries. Applying the Poincar\'e-Melnikov method, we find exponentially small lower bounds for the maximal splitting distance between the stable and unstable invariant manifolds associated to the invariant torus, and we show that these bounds depend strongly on the arithmetic properties of the frequencies.