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. 
Henri Roesch
gr-qc math.DG