Proof of a Null Penrose Conjecture using a new Quasi-local Mass

Henri Roesch

We define an explicit quasi-local mass functional which is non-decreasing along all foliations (satisfying a convexity assumption) of null cones. We use this new functional to prov…