Birkhoff normal form and long time existence for periodic gravity water waves

We consider the gravity water waves system with a periodic one-dimensional interface in infinite depth, and prove a rigorous reduction of these equations to Birkhoff normal form up to degree four. This prove a conjecture of Zakharov-Dyachenko based on the formal Birkhoff integrability of the waver waves Hamiltonian truncated at order four. As a consequence, we also obtain a long-time stability result: periodic perturbations of a flat interface that are of size ε in a sufficiently smooth Sobolev space lead to solutions that remain regular and small up to times of order $\epsilon^{−3}$.