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

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 prove the null Penrose conjecture under fairly generic conditions.