Non-negativity conjecture for the mass functional of GB initial data
Non-negativity conjecture. Consider a GB initial data set. Then M(v,λ′,Y)\mathcal{M}\left(v,\lambda',Y\right)M(v,λ′,Y) is a non-negative functional for any orbit space.