Birkhoff normal form via decorated trees

Abstract: We derive an explicit tree based ansatz for the Birkhoff normal form up to any order in the context of Hamiltonian PDEs. To do so we make use of a tree based representation of iterated Poisson brackets to encode the nested Taylor expansions along flows of a sequence of symplectic transformations. As an example we consider the cubic Schr\"odinger equation.