On sharp isoperimetric inequalities on the hypercube

arXiv2303.06738MaRDI QIDQ6429264FDOQ6429264

Authors: David Beltran, Paata Ivanisvili, Jose Beltrán Jiménez 

Publication date: 12 March 2023

Abstract: We prove the sharp isoperimetric inequality ${\displaystyle }$ mathbb{E} ,h_{A}^{log_{2}(3/2)} geq mu(A)^{*} (log_{2}(1/mu(A)^{*}))^{log_{2}(3/2)} ${\displaystyle }$ for all sets $Asubseteq{0,1}^n$, where $mu$ denotes the uniform probability measure, $mu(A{)}^{\ast }=minmu(A),1-mu(A)$, $h_A$ is supported on $A$ and to each vertex $x$ assigns the number of neighbour vertices in the complement of $A$. The inequality becomes equality for any subcube. Moreover, we provide lower bounds on $$ in terms of $mu(A)$ for all $$, improving, and in some cases tightening, previously known results. In particular, we obtain the sharp inequality $mathbbE{h}_A^{0.53}geq2mu(A)(1-mu(A))$ for all sets with $mu(A)geq1/2$, which allows us to refine a recent result of Kahn and Park on isoperimetric inequalities about partitioning the hypercube. Furthermore, we derive Talagrand's isoperimetric inequalities for functions with values in a Banach space having finite cotype: for all $f:{-1,1}^{n}oX$, $|f{|}_{infty}leq1$, and any $pin[1,2]$ we have ${\displaystyle }$ |Df|_{p} gtrsim frac{1}{q^{3/2}C_{q}(X)} |f|_{2}^{2/p}left(log frac{e|f|_{2}}{|f|_{1}} ight)^{1/q}, ${\displaystyle }$ where $|Df{|}_p^p=mathbbE|su{m}_{1leqjleqn}x{\text{'}}_j{D}_{j}f(x){|}^p$, $x^{\prime }$ is independent copy of $x$, and $C_q(X)$ is the cotype $q$ constant of $X$. Different proofs of the recently resolved Talagrand's conjecture will be presented.

Mathematics Subject Classification ID

Inequalities; stochastic orderings (60E15) Local theory of Banach spaces (46B07) Probabilistic methods in Banach space theory (46B09)

This page was built for publication: On sharp isoperimetric inequalities on the hypercube

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6429264)