On boundaries and influences (Q1382414)

The main result is an isoperimetric type of inequality on the \(n\)-dimensional hypercube. Given a set \(A \subset \{0,1\}^n\) the so-called influence and the boundary of \(A\) are involved. For an \(x \in \{0,1\}^n\) let \(S_i(x)\) mean the vector arising by flipping the \(i\)th coordinate of \(x\). The size of the set \(A_i=\{x \in A:S_i(x) \not \in A \}\) measures the dependency of \(A\) on the \(i\)th coordinate, and this value (i.e. \(I_i(A)=|A_i|\)) is the influence on \(A\) of the \(i\)th coordinate. The boundary of \(A\) is \(\partial A= \bigcup_{i \leq n} A_i\). Furthermore \(\mu\) designates the counting measure on the cube. It was known earlier that \(\mu(\partial A)\sum_{i \leq n} I_i(A)\) is bounded below by a quantity depending only on \(\mu(A)\), but not on \(n\). The author gives a better estimation, using the function \(h_A\), where \(h_A(x)=|\{i \leq n:x \in A_i\}|\). With this, and appropriate numbers \(\alpha, \beta \in (0, 1/2)\), functions \(\varphi\) and \(\psi\) from \([0,1]\) to the reals, and for monotone \(A\) the inequality \[ \int \sqrt{h_A} d\mu \geq \beta\varphi(\mu(A)(1-\mu(A))) \psi\Biggl( \sum_{i \leq n} I_i^2(A) \Biggr) \] holds. Due to misprints the condition for \(\alpha\) in the theorem is misspelled and the inequality is lacking a right bracket.