ManuscriptsAn exposition of Harper’s proof of his edge isoperimetric inequality for the hypercube, following his book Global methods for combinatorial isoperimetric problems.
The proof uses a generalization of shifting that Harper calls compression.
Compared to Harper’s original proof (also reproduced in the book), the compression proof includes only one simple calculation.
