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\ge 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.