A note on balanced independent sets in the cube

Abstract

Ramras conjectured that the maximum size of an independent set in the discrete cube Q n containing equal numbers of sets of even and odd size is, when n is odd. We prove this conjecture, and find the analogous bound when n is even. The result follows from an isoperimetric inequality in the cube.