Coarse total vertical perimeter conjecture on the Heisenberg group

From papers

Let H(R)\mathbb H(\mathbb R) be the real Heisenberg group, let μ\mu be its Haar measure, and let PER(A)\mathrm{PER}(A) denote the horizontal perimeter of a measurable set AH(R)A\subseteq\mathbb H(\mathbb R). For t>0t>0, write vt(A)v_t(A) for its vertical perimeter, and for ε(0,1)\varepsilon\in(0,1) define the coarse total vertical perimeter by

V(ε)(A)=ε1vt(A)t3/2dt.V^{(\varepsilon)}(A)=\int_\varepsilon^1\frac{v_t(A)}{t^{3/2}}\,dt.

Coarse total vertical perimeter conjecture. For every measurable AH(R)A\subseteq\mathbb H(\mathbb R) and every ε(0,1/2)\varepsilon\in(0,1/2),

V(ε)(A)log(1/ε)PER(A).V^{(\varepsilon)}(A)\lesssim\sqrt{\log(1/\varepsilon)}\cdot\mathrm{PER}(A).

This is a weaker coarse variant of the preceding isoperimetric question. The source reports significant partial positive evidence, including numerical experiments and proofs of nontrivial special cases, but does not establish the conjecture.

Progress summary

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

Sources & referencesView supporting material

Primary source

Vincent Lafforgue and Assaf Naor, “Vertical versus horizontal Poincaré inequalities on the Heisenberg group”, arXiv:1212.2107 (2012).

Solutions 0

No solutions have been posted yet.