Title: Infinite-dimensional Carleman linearization, the lie series and optimal control of nonlinear PDEs