Introduces Beckmann boundary B(f) as inf E||V||_2 over div V = Lf and proves B(f) ≳ Var(f) sqrt(log(1 + 1/sum Inf_i(f)^2)) for nonconstant Boolean f, with sharp one-sided fractional spectral bounds.
Improving constant in end-point Poincar\'e inequality on Hamming cube
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known, and $\sqrt{\frac{\pi}{2}}$ gives an estimate from below for this sharp constant. On the other hand, L. Ben Efraim and F. Lust-Piquard have shown an estimate from above: $C_1\le \frac{\pi}{2}$. There are at least two other independent proofs of the same estimate from above (we write down them in this note). Since those proofs are very different from the proof of Ben Efraim and Lust-Piquard but gave the same constant, that might have indicated that constant is sharp. But here we give a better estimate from above, showing that $C_1$ is strictly smaller than $\frac{\pi}{2}$. It is still not clear whether $C_1> \sqrt{\frac{\pi}{2}}$. We discuss this circle of questions and the computer experiments.
fields
math.CA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Beckmann boundary form of Talagrand's conjecture on the discrete cube
Introduces Beckmann boundary B(f) as inf E||V||_2 over div V = Lf and proves B(f) ≳ Var(f) sqrt(log(1 + 1/sum Inf_i(f)^2)) for nonconstant Boolean f, with sharp one-sided fractional spectral bounds.