The Penrose inequality in spherical symmetry with charge and in Gauss-Bonnet gravity

We establish the spacetime Penrose inequality in spherical symmetry in spacetime dimensions n + 1 ≥ 3 with charge and cosmological constant from the initial data perspective. We also show that this result extends to the Gauss-Bonnet theory of gravity.