On sharp isoperimetric inequalities on the hypercube (2303.06738v1)
Abstract: We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}{\log_{2}(3/2)} \geq \mu(A){*} (\log_{2}(1/\mu(A){*})){\log_{2}(3/2)} $$ for all sets $A \subseteq {0,1}n$, where $\mu$ denotes the uniform probability measure, $\mu(A){*}=\min{\mu(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 $\mathbb{E} h_{A}{\beta}$ in terms of $\mu(A)$ for all $\beta \in [1/2,1]$, improving, and in some cases tightening, previously known results. In particular, we obtain the sharp inequality $\mathbb{E}h_{A}{0.53}\geq 2 \mu(A)(1-\mu(A))$ for all sets with $\mu(A)\geq 1/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} \to X$, $|f|{\infty}\leq 1$, and any $p \in [1,2]$ we have $$ |Df|{p} \gtrsim \frac{1}{q{3/2}C_{q}(X)} |f|{2}{2/p}\left(\log \frac{e|f|{2}}{|f|{1}}\right){1/q}, $$ where $| Df|{p}{p} = \mathbb{E} | \sum_{1\leq j \leq n} x'{j} D{j} f(x)|{p}$, $x'$ 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.