A separator theorem for one-dimensional graphs under linear mapping (Q1109791)

For integers \(a,b>0\), let \(G=<Z_ n,E_{ab}>\), where \(Z_ n=\{0,1,...,n-1\}\) and \(E_{ab}=\{(i,j)| j=(ai+b)\) mod n for \(i\in Z_ n\}\). G has a separator of size O(n/\(\sqrt{\log_ an})\).