Definition (alpha(G,eps)). Write

α(G,𝜀)=max{1|A(𝜀D)||G|:AG,|A||G|12}.

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