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

TL;DR

This paper introduces a new quasi-local mass functional that is non-decreasing along certain null cone foliations, enabling a proof of the null Penrose conjecture under broad conditions.

Contribution

The paper presents a novel quasi-local mass functional and applies it to prove the null Penrose conjecture in general settings.

Findings

New quasi-local mass functional is non-decreasing along null cone foliations.

Proof of the null Penrose conjecture under generic conditions.

Functional satisfies a convexity assumption.

Abstract

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.