Uniqueness in Harper's vertex-isoperimetric theorem

Eero Raty

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usu…