Coarse total vertical perimeter conjecture on the Heisenberg group

At least 13 years old · documented by

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 A⊆H(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/2 dt.V^{(\varepsilon)}(A)=\int_\varepsilon^1\frac{v_t(A)}{t^{3/2}}\,dt.

Coarse total vertical perimeter conjecture. For every measurable A⊆H(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.

References

Primary source

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

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.