Sharp isoperimetric inequalities on the Hamming cube near the critical exponent
Abstract
An isoperimetric inequality on the Hamming cube for exponents $\beta\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $\beta\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the critical exponent $\beta=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$.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2024
- DOI:
- 10.48550/arXiv.2407.12674
- arXiv:
- arXiv:2407.12674
- Bibcode:
- 2024arXiv240712674D
- Keywords:
-
- Mathematics - Classical Analysis and ODEs;
- Mathematics - Combinatorics;
- 46B09;
- 60E15;
- 05C35;
- 65G30
- E-Print:
- 46 pages, 9 figures