Harper's isoperimetric inequality

Yuval Filmus

An 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.