Boolean cube expansion from bounded differences

ID: boolean-cube-expansion-from-bounded-differences

For a nonempty of relative size at least , its Hamming distance function has the bounded differences property with all constants one. If , the concentration bound at gives , so for . Then , proving that the radius- neighbourhood contains at least cube points.

New to topics? Read the docs here!