arXiv++ Combinatorics

A sharp isoperimetric inequality for the Hamming cube is proved at the critical exponent $β=\frac12$. This follows up on previous work, where such bounds were established for $β$ near $\frac12$. As a consequence, this result settles a conjecture of Kahn and Park on cube partitions and yields a sharp $L^1$ Poincaré inequality for Boolean-valued functions. It also confirms a low-noise limit for balanced functions predicted by the Hellinger conjecture on noisy Boolean channels in information theory.

An isoperimetric inequality on the Hamming cube for exponents $β\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the critical exponent $β=0.5$, including a bound that is asymptotically sharp for small subsets. A key ingredient is a new Bellman-type function involving the Gaussian isoperimetric profile which appears to be a good approximation of the true envelope function. Verification uses computer-assisted proofs and interval arithmetic. Applications include progress towards a conjecture of Kahn and Park as well as sharp Poincaré inequalities for Boolean-valued functions near $L^1$.

For a polynomial $P$ of degree greater than one, we show the existence of patterns of the form $(x,x+t,x+P(t))$ with a gap estimate on $t$ in positive density subsets of the reals. This is an extension of an earlier result of Bourgain. Our proof is a combination of Bourgain's approach and more recent methods that were originally developed for the study of the bilinear Hilbert transform along curves.