Total: 1
Black hole perturbation theory beyond second order is not well understood because typically one defines the meaning of gauge invariance order by order which is ambiguous. In this series of works we therefore developed a new approach which disentangles the meaning of gauge invariance from the perturbative order. It is based on the reduced phase space approach to the Hamiltonian formulation of General Relativity and constructs a non-perturbative, albeit implicit, formulation of the dynamics of only observables that are gauge invariant to all orders. To obtain explicit expressions, perturbation theory is then employed, but now only perturbations are considered that are gauge invariant to all orders. There are both spherically symmetric and non-symmetric observables and the formulation takes the (perturbative) backreaction between those fully into account. The formulation has access to both the exterior and interior of the dynamical horizon. In previous papers of this series we have introduced the general formalism and performed consistency checks with second order results obtained in other approaches. The real virtue of our approach starts emerging at higher than second order where we expect differences from previous works both due to backreaction effects and because we work with observables that are gauge invariant to all orders, not only up to a given order. In this paper, we consider the third order. Also new to our approach is that we start from a non-perturbative, namely polynomial, version of the constraints which therefore are finite polynomials in all degrees of freedom before reducing, rather than an infinite series. This allows for an exact and non-perturbative, while implicit, solution of the constraints which does not need to truncate the series and thus is of tremendous technical advantage.