Lipschitz-interface conjecture for isoperimetric sets of strictly log-concave measures

Let μ=eVdx\mu=e^{-V}dx be a strictly log-concave probability measure on Rn\mathbb{R}^n, and let EE be an open isoperimetric subset with μ(E)=α\mu(E)=\alpha. Lipschitz-interface conjecture. For suitable growth conditions on VV, including bounded convex domains in the limiting case, there is a constant C=C(α,n)C=C(\alpha,n) and a rotation after which

E={(x,xn)Rn1×R:xn=φ(x)},φ(x)C(α,n).\partial E=\{(x',x_n)\in\mathbb{R}^{n-1}\times\mathbb{R}:x_n=\varphi(x')\},\qquad |\nabla\varphi(x')|\le C(\alpha,n).

The claim extends the proposed convex-domain interface regularity to strictly log-concave densities; the source leaves the precise admissible growth conditions on VV to be specified.

Sources & referencesView supporting material

Primary source

David Jerison, “The Two Hyperplane Conjecture”, arXiv:1809.10759 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.