Closed walks and eigenvalues of abelian Cayley graphs (Q2499662)

Serre proved, for each \(\varepsilon>0\) and each positive integer \(k\), there exists a positive constant \(c=c(\varepsilon,k)\) such that for any \(k\)-regular graph \(X\) the number of eigenvalues \(\lambda_i\) of \(X\) with \(\lambda_i\geq(2-\varepsilon) \sqrt{k-1}\) is at least \(c|X|\). The author proves the following Serre type theorem for abelian Cayley graphs: For each \(\varepsilon>0\) and each positive integer \(k\), there exists a positive constant \(C=C(\varepsilon,k)\) such that for any abelian group \(G\) and for any symmetric set \(S\) of elements of \(G\) with \(|S|=k\) and \(1 \not\in S\), the number of eigenvalues of the Cayley graph \(X=X(G, S)\) such that \(\lambda_i\geq k-\varepsilon\) is at least \(C\cdot|G|\). This result follows from the fact that Cayley graphs of abelian groups have a large number of closed walks of even length.