Definition (alpha(G,eps)). Write

α(G,𝜀)=max⁡{1−|A(𝜀D)||G|:A⊆G,|A||G|≥12}.

So α(G,𝜀) small says “12-sized sets have large 𝜀D-neighbourhoods”.