OpenAI reports a sharp stationary-varifold singular-set bound
- Mathematics
For every stationary integral m-varifold in an open Euclidean set, in every positive dimension and codimension, the singular set has Hausdorff dimension at most m−1.
For every stationary integral m-varifold in an open Euclidean set, in every positive dimension and codimension, the singular set has Hausdorff dimension at most m−1.
For every stationary integral m-varifold in an open Euclidean set, in every positive dimension and codimension, the singular set has Hausdorff dimension at most m−1.
For every stationary integral m-varifold in an open Euclidean set, in every positive dimension and codimension, the singular set has Hausdorff dimension at most m−1.
If correct, proves the sharp Euclidean codimension-one singular-set conjecture without stability or minimizing assumptions.
Is the singular set of every stationary integral varifold at most codimension one?
Publication dates and editorial changes.
OpenAI reports a sharp stationary-varifold singular-set bound
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.