On the connection between correlation-immune functions and perfect 2-colorings of the Boolean n-cube

Abstract

A coloring of the Boolean $n$-cube is called perfect if, for every vertex $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-face of the Boolean $n$-cube. In the present paper it is proven that each Boolean function ${\chi }^S$ ($S\subset E^n$) satisfies the inequality $$\mathrm{nei}(S)+2(\mathrm{cor}(S)+1)(1-\rho (S))\le n,$$ where $\mathrm{cor}(S)$ is the maximum degree of the correlation immunity of ${\chi }^S$, $\mathrm{nei}(S)=\frac{1}{|S|}\sum _{x\in S}|B(x)\cap S|-1$ is the average number of neighbors in the set $S$ for vertices in $S$, and $\rho (S)=|S|/2^n$ is the density of the set $S$. Moreover, the function ${\chi }^S$ is a perfect coloring if and only if we obtain an equality in the above formula. Keywords: hypercube, perfect coloring, perfect code, correlation-immune function.

5 pages