Ramanujan Cayley graphs of Frobenius groups

TL;DR

This paper establishes bounds on the valency of Cayley graphs of Frobenius groups that ensure they are Ramanujan, extending previous work on abelian groups and identifying special cases involving quadratic primes.

Contribution

It determines Ramanujan bounds for Cayley graphs of Frobenius groups with respect to normal subsets and extends results to dihedral groups, highlighting exceptional cases linked to quadratic primes.

Findings

Bound matches trivial estimate when kernel and complement sizes are balanced.

Exact bounds are found for dihedral groups with respect to all Cayley subsets.

Exceptional cases occur when related primes are represented by quadratic polynomials.

Abstract

In this paper, we determine the bound of the valency of Cayley graphs of Frobenius groups with respect to normal Cayley subsets which guarantees to be Ramanujan. We see that if the ratio between the orders of the Frobenius kernel and complement is not so small, then this bound coincides with the trivial one coming from the trivial estimate of the largest non-trivial eigenvalue of the graphs. Moreover, in the cases of the dihedral groups of order twice odd primes, which are special cases of the Frobenius groups, we determine the same bound for the Cayley graphs of the groups with respect to not only normal but also all Cayley subsets. As is the case of abelian groups which we have treated in the previous papers, such a bound is equal to the trivial one in the above sense or, as exceptional cases, exceeds one from it. We then clarify that the latter occurs if and only if the corresponding prime is represented by a quadratic polynomial in a finite family.