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!