Pith. sign in

REVIEW 2 cited by

Improving constant in end-point Poincar\'e inequality on Hamming cube

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1811.05584 v5 pith:5IIF6JHF submitted 2018-11-14 math.PR math.APmath.CA

classification math.PRmath.APmath.CA
keywords constantfracestimatesharpabovecubehamminginequality
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Beckmann boundary form of Talagrand's conjecture on the discrete cube

    math.CA 2026-06 unverdicted novelty 8.0 of 10

    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.

  2. Sharp Poincare-Wirtinger inequalities on complete graphs

    math.CA 2024-11 accept novelty 7.0 of 10

    On the complete graph K_n, the sharp Poincare-Wirtinger constant and the full set of extremizers are determined for p in [1, 3+δ1_n) ∪ (3+δ2_n, ∞).

Pith tools