Arxiv:1812.03332V4 [Math.CO] 28 Jun 2021 Rpswt ﬁxed with Graphs Eeial,Teeaefwitga Rps Nfc,Teset the Fact, in Graphs

Home , Paley graph

arXiv:1812.03332v4 [math.CO] 28 Jun 2021 rpswt fixed with graphs eeial,teeaefwitga rps nfc,teset the fact, In graphs. integral few are there Generically, (1.1) Ramanujan ftecmlmnaygraph complementary the of oesrcua rpriso graph a of properties structural Some matrix n nyif only and eua then regular o with now ermr htfo o-iatt nerlRmnjngrap Ramanujan integral non-bipartite a from that remark We h pcrmby spectrum the utst.Let multiset). of aeteetapoet fbigsrnl eua graphs. regular arb strongly over being graphs of Paley property extra generalized the of gr have Ramanujan subclass non-bipartite, a integral, deta considering some of in families properties infinite spectral and structural their study nerlRmnjngahsml ycnieigte“double the considering by simply graph Ramanujan integral 2010 atal upre yCNCT OCTadSECyT-UNC. and FONCYT CONICET, by supported Partially e od n phrases. and words Key λ ie graph a Given h ae a w is h rtoei oitouea interes an introduce to is one first The aims. two has paper The i o each for ahmtc ujc Classification. Subject Mathematics ℓ of F aypiso qinrei o-sseta rps sapp As t over graphs. problem of non-isospectral Waring’s invariants equienergetic several of compute pairs we many or information pseudo triv (with of spectral be regular, the to strongly out and turn integral graphs the non-bipartite, consequence, a As graphs. h alygah ihvre set vertex with graphs Cayley the Abstract. rpsi l characteristics. all in graphs A hssligsm pncss nteohrhn,w construc we hand, other the On cases. open some solving thus , q The . m ℓ λ swl stercmlmns eepiil opt h spe the compute explicitly We complements. their as well as , and 1 λ if λ > n λ i H PCR FGNRLZDPLYGRAPHS PALEY GENERALIZED OF SPECTRA THE 1 λ m = 1 = 1 = spectrum eoti htteWrn’ number Waring’s the that obtain We . 2 ≥ · · · ≥ − k Γ ecnie pca ls fgnrlzdPlygah over graphs Paley generalized of class special a consider We F( OF > n , . . . , k k sfiiefrevery for finite is of Furthermore, . ewl eoeby denote will We . · · · n eeaie ae rps pcr,Wrn’ rbe,Rama problem, Waring’s spectra, graphs, Paley Generalized q λ > ℓ vertices, If . λ ftegraph the of 1 + n λ F IAD .PDSÁ EI .VIDELA E. DENIS PODESTÁ, A. RICARDO n q Γ =max := (Γ) eteegnausof eigenvalues the be m w rpsaesaid are graphs Two . Γ Spec n ¯ -HPWR N APPLICATIONS AND POWERS )-TH epciey graph A respectively. , o h exponents the for = n Γ = (Γ) λ Γ 1 ≤ sa ievleof eigenvalue an is Γ stenme fdsic ievle,i suult denote to usual is it eigenvalues, distinct of number the is F rmr 52;Scnay0C0 11P05. 05C50, Secondary 05C25; Primary i k 1. ≤ q Γ scnetdi n nyif only and if connected is m n ([ Γ { {| Introduction a era fffo t pcrm nfc,if fact, In spectrum. its from off read be can [ ue2,2021 29, June 9 n oncinsttenonzero the set connection and λ λ ¯ λ stesetu of spectrum the is ) A ]). i 1 i ] | and d : 1 q , 1 | λ ℓ [ λ k 1 + i d 6 | rglrsml once rp ssi obe to said is graph connected simple -regular 2 ¯ Γ g i ] = ( d isospectral o each for , q n let and = 2 ℓ k , . . . , 1 + ≤ } m Γ Γ eaieLtnsur ye yusing By type. square Latin negative ( q , ps ewl civ hs ol by goals these achieve will We aphs. ssi obe to said is l h eodproei oconstruct to is purpose second The il. iain,o h n adw solve we hand one the on lications, λ ¯ fi sa ievleo t adjacency its of eigenvalue an is it if eegah.W xii infinitely exhibit We graphs. hese [ m 2 λ i a xetos ipe connected, simple, exceptions) ial ) d √ 1 = ) of ” tayfiiefils hywl also will They fields. finite itrary n q fall of i h ievle n multiplicities and eigenvalues the ] nnt oeso Ramanujan of towers infinite t k n o nntl ayvalues many infinitely for and A d tu n h nryo these of energy the and ctrum = fte aetesm spectrum. same the have they if n h − } Γ m one ihmlilcte (a multiplicities with counted or Γ 1 namely , d k ( igfml fgah n to and graphs of family ting n a banabipartite a obtain can one , . 2 λ 1 rglrcnetdintegral connected -regular eedn on depending , i ( 1 = ) q nt ed,namely fields, finite integral ℓ eoe h multiplicity the denotes 1) + ua graphs. nujan n ti iatt if bipartite is it and Γ t oesin powers -th ⊗ if K Spec 2 m . and (Γ) Γ ⊂ is Z k - . 2 RICARDO A. PODESTÁ, DENIS E. VIDELA

Outline and results. In Section 2 we consider a family of Cayley graphs Γq,m(ℓ) = X(Fqm ,Sℓ) ℓ where Sℓ is the set of nonzero (q + 1)-th powers in Fq∗m with ℓ,m integers satisfying 0 ℓ

ℓ that every element in Fqm can be written as a sum of at most two (q + 1)-th powers. That is, qℓ+1 qℓ+1 for a F m there exists x,y F m such that a = x + y . ∈ q ∈ q In the last section, we focus on the property of being Ramanujan. In Theorem 8.1 we show that Ramanujan graphs in the family can only happen in characteristics 2 and 3. Moreover, Gq,m we construct 3 infinite families of Ramanujan graphs (with different degrees of regularity) over F2, F3 and F4. In Tables 1–3 we give the parameters and the spectrum of the first three graphs in each of the families. The first graphs in each family are Γ2,4(1) = srg(16, 5, 0, 2) which is the Clebsch graph, the Brouwer-Haemers graph Γ3,4(1) = srg(81, 20, 1, 6) and Γ4,4(1) = srg(256, 51, 2, 12). On the other hand, every graph in ¯ is Ramanujan (Theorem 8.4). Finally, in Proposition 8.5 Gq,m we give an expression for the Ihara’s zeta function ZΓ(u) of the graphs, and in Example 8.6 we compute ZΓ(u) for the Clebsch and the Brouwer-Haemers graphs (and their complements) and also their complexities (numbers of spanning trees).

2. The generalized Paley graphs of (qℓ + 1)-th powers

Given a group G and a subset S G (called the connection set) the Cayley graph Γ= X(G, S) is the digraph with vertex set G where⊂ two elements g, h G form an edge pointing from g to h 1 ∈ if g− h S (h g S if G is abelian), hence without multiple edges. If the identity eG / S then ∈ − ∈ 1 ∈ Γ has no loops. If S is symmetric, that is S = S− (or S = S for G abelian), then Γ is simple (undirected edges). In this case, Γ is k-regular with k = S−. Actually, it is vertex-transitive. Finally, Γ is connected if and only if S is a generating set of| G| . For instance, the cycle and complete graphs in n-vertices are Cayley graphs: C = X(Z , 1 ) n n { } and Kn = X(Zn, Zn r 0 ). Another interesting example using finite fields as vertex sets is given { m} 2 m by the Paley graphs P (q )= X(F m ,S) with S = x : x F m . We have that P (q ) is simple q { ∈ q∗ } if qm 1 (mod 4) and directed if qm 3 (mod 4). ≡ ≡ 2.1. The graphs Γ (ℓ). Let q = ps be a prime power with s 1, m N and ℓ N . We will q,m ≥ ∈ ∈ 0 next consider a family of Cayley graphs Γq,m(ℓ) which will turn out to be a generalization of the m ℓ graphs Kqm and P (q ). Consider the set of (q + 1)-th powers in Fq∗m qℓ+1 (2.1) S = x : x F∗m . ℓ { ∈ q } Definition 2.1. Considering Fqm additively, we define the Cayley graph

(2.2) Γq,m(ℓ)= X(Fqm ,Sℓ). We call it the generalized Paley graph of (qℓ + 1)-th powers. We will denote the set of edges of Γq,m(ℓ) by Eq,m(ℓ), or simply by Eℓ. Notice that it is enough to consider 0 ℓ m 1 since qm 1 ≤ ≤ − x − = 1 implies that Skm+ℓ = Sℓ for every k.

Recall that if m Z, the 2-adic valuation of m, denoted by v2(m), is the power of 2 in the prime factorization of∈ m. The will need the following result, whose proof is elementary. Lemma 2.2. Let m and ℓ be integers and q a prime power. Then, (m,ℓ) q + 1 if v2(m) > v2(ℓ), (qm 1,qℓ +1) = 2 if v (m) v (ℓ), with q odd, −  2 ≤ 2  1 if v (m) v (ℓ), with q even. 2 ≤ 2  We now study the basic properties of Sℓ. We will use the notation m mℓ = (m,ℓ) for integers m,ℓ in the rest of the section. We begin by showing that Sℓ = S(m,ℓ) for mℓ even. 4 RICARDO A. PODESTÁ, DENIS E. VIDELA

Lemma 2.3. Let m,ℓ be non-negative integers. The subset Sℓ, deﬁned in (2.1), is a multiplicative subgroup of Fq∗m and we have:

(a) If q is even, then Sℓ = Fq∗m if mℓ is odd or Sℓ = S(m,ℓ) if mℓ is even. (b) If q is odd, then Sℓ = S0 if mℓ is odd or Sℓ = S(m,ℓ) if mℓ is even. qm 1 m qm 1 Moreover, S = − , S = q 1 for ℓ = 0, and S = − . | 0| 2 | ℓ| − 6 | (m,ℓ)| q(m,ℓ)+1

qℓ+1 qℓ+1 qℓ+1 Proof. Sℓ is a multiplicative subgroup of Fq∗m since x y = (xy) . Now, if α is a primitive ℓ qm 1 m q +1 element of Fq then Sℓ = α . Thus, Sℓ is a cyclic subgroup of Fq∗m of order t = (qm 1,q− ℓ+1) . h i − (qm 1,qℓ+1) Since the subgroup generated by α − has the same order than Sℓ, and every cyclic group m ℓ of order n has a unique subgroup of order d for each d n, we get that S = α(q 1,q +1) . | ℓ h − i Now, the condition v2(m) > v2(ℓ) implies that m and mℓ are even. Conversely, if mℓ is even m ℓ (m,ℓ) then m is even and v2(m) > v2(ℓ). Thus, by Lemma 2.2 we have that (q 1,q +1) = q +1 m ℓ − if mℓ is even for any q and (q 1,q + 1) = 2 (resp. 1) if mℓ odd for q odd (resp. even). Hence, q(m,ℓ)+1 − 2 S = x : x F m for m even and S = x : x F m or S = x : x F m = S for ℓ { ∈ q∗ } ℓ ℓ { ∈ q∗ } ℓ { ∈ q∗ } 0 mℓ odd, depending on whether q is even or odd respectively, and thus the result follows.

We now give conditions for the symmetry of Sℓ. Lemma 2.4. Let S be as in (2.1). Then, S is symmetric if and only if 1 S . Moreover: ℓ ℓ − ∈ ℓ (a) If q is even, then Sℓ is symmetric (for every m and ℓ). (b) If q is odd, then S is symmetric if m is odd and qm 1 (mod 4) or else if m is even. ℓ ℓ ≡ ℓ In these cases, Γq,m(ℓ) is a simple graph.

Proof. Clearly, 1 Sℓ, so if Sℓ is symmetric then 1 Sℓ. On the other hand, if there is some ∈ qℓ+1 −qℓ+1∈ qℓ+1 qℓ+1 qℓ+1 y F m satisfying y = 1, then we have x = x y = (xy) S for any ∈ q∗ − − ∈ ℓ x F m , and thus S is symmetric. ∈ q∗ ℓ In even characteristic Sℓ = Sℓ, since x = x for every x Fq∗m , showing (a). To prove (b), − − ∈ 2 let q be odd and m 1, ℓ 0 integers. If mℓ is odd, then Sℓ = S0 = x : x Fq∗m by the ≥ ≥ m { ∈ } previous lemma. In this case, 1 is a square in Fqm if and only if q 1 (mod 4). Now, suppose − q(m,ℓ)+1≡ that mℓ is even. As in the proof of Lemma 2.3 we have Sℓ = α for any primitive element h i q(m,ℓ)+1 α of F m . Therefore, it suﬃces to prove that there is some y F m such that y +1=0. q ∈ q∗ We claim that 2(q(m,ℓ) +1) qm 1. In fact, we have that qm 1 = (qm 1 + +q2 +q +1)(q 1) | − − − · · · − and since q(m,ℓ) + 1 and q 1 are coprime then q(m,ℓ) + 1 qm 1 + + q2 + q + 1. Also, since − | − · · · q is odd we have 2 q 1. Thus, 2(q(m,ℓ) + 1) qm 1. Hence, there exists some positive | − | − (m,ℓ) integer t such that qm 1 = 2t(q(m,ℓ) + 1). Let y = αt. Note that y2(q +1) = 1, and hence (m,ℓ) − yq +1 = 1. Since α is a primitive element, the order of y is 2(q(m,ℓ) + 1). Thus, we have (m,ℓ) ± yq +1 = 1. In this way, S = S as we wanted to see. − ℓ − ℓ Summing up, we have the following description of the graphs considered. Proposition 2.5. For q a prime power and 0 ℓ m 1 we have ≤ ≤ − Kqm if mℓ odd, q even, m (2.3) Γq,m(ℓ)= Γq,m(0) = P (q ) if mℓ odd, q odd,  Γq,m((m,ℓ)) if mℓ even (any q). Thus, Γq,m(ℓ) is simple, except in the case ℓ = 0 and q 3 (mod 4). Also, Γq,m(ℓ) is k-regular, m qm 1 qm 1 ≡ with k = q 1, − or − , respectively. − 2 qℓ+1 SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 5

Proof. By Lemma 2.3, if mℓ is odd, then Γq,m(ℓ) is the complete graph Kqm when q is even and it m is the Paley graph P (q ) when q is odd. By Lemma 2.4, Γq,m(ℓ) is a simple graph, except in the case q 3 (mod 4) with m odd. The remaining assertion follows from Lemma 2.3 again. ≡ ℓ

By (2.3), in the more interesting case when mℓ is even, it is enough to consider the graphs for positive divisors of m. Thus, we consider the family (2.4) = Γ (ℓ) : 1 ℓ m 1 with ℓ m and m even . Gq,m { q,m ≤ ≤ − | ℓ } All the graphs in q,m are not isomorphic to each other because they have diﬀerent degrees of G qm 1 regularity; in fact, Γq,m(d) is qd+1− -regular, by Lemma 2.3.

Remark 2.6. The graphs Γq,m(ℓ) with ℓ m are, in particular, generalized Paley graphs m qm 1 | ℓ GP (q , k− ) as deﬁned in [20], with k = q + 1. By Theorems 1.2 and 2.2 in [20], the m qm 1 ℓ qm 1 graph Γq,m(ℓ) = GP (q , qℓ+1− ) is connected if and only q + 1 is not a multiple of pd −1 for every proper divisor d of rm, where q = pr. This fact, together with the factorization− rm rm rm 2 2 m p +1=(p 1)(p + 1), implies that Γq,m( 2 ) is not connected. However, it is not clear what happens for−ℓ = m in general. This will be answered in Proposition 4.6. 6 2

2.2. Subgraphs and lattices. We now study conditions on the parameters qi,mi,ℓi, i = 1, 2, m m such that Γq1,m1 (ℓ1) be a subgraph of Γq2,m2 (ℓ2), i.e. Fq 1 Fq 2 and Eq1,m1 (ℓ1) Eq2,m2 (ℓ2). 1 ⊂ 2 ⊂ There are two trivial cases using the same field and different powers or using the same power in different fields. Namely,

(i) S S Γ (L) Γ (ℓ), (ii) F m F M Γ (ℓ) Γ (ℓ). L ⊂ ℓ ⇒ q,m ⊂ q,m q ⊂ q ⇒ q,m ⊂ q,M The case in (ii) holds if and only if m M. In this case, if m < M, the subgraph has lower order than the graph. We thus study the case| in (i), in which the graph and subgraph have the same number of vertices. In the previous notations we have the following.

Lemma 2.7. Let q,ℓ,L,m N with q a prime power. If ℓ,L are divisors of m, with mℓ and mL even, then ∈ S S qℓ + 1 qL + 1 ℓ L with L odd. L ⊂ ℓ ⇔ | ⇔ | ℓ

Proof. For the ﬁrst equivalence, since SL is a subgroup of Sℓ, the order SL divides the order qm 1 qm 1 | | Sℓ , that is (qm 1,q−L+1) divides (qm 1−,qℓ+1) . Since mℓ,mL are even and both ℓ and L divides | | − − m, we have (qm 1,qℓ +1) = qℓ + 1 and (qm 1,qL +1) = qL + 1, by Lemma 2.2, and hence qL +1=(qℓ + 1)−k for some k. Conversely, qL−+1=(qℓ + 1)k for some k clearly implies that L ℓ xq +1 = (xk)q +1 S and thus S S . ∈ ℓ L ⊂ ℓ For the second equivalence, if qℓ + 1 qL + 1, there exist some k N such that | ∈ L ℓ L ℓ L 2ℓ L 3ℓ L (k 1)ℓ L kℓ q +1=(q + 1)(q − q − + q − q − − + q − ) − −···− L kℓ with q − = 1, that is L = kℓ. The alternation of signs implies that k is odd. Conversely, let L = kℓ with k odd, then qk +1=(q + 1)(qk 1 qk 2 + q + 1). By changing q by qℓ above − − − ···− we get qL +1=(qℓ + 1)(qℓ(k 1) qℓ(k 2) + qℓ + 1), as desired. − − − ···−

We now give necessary and suﬃcient conditions for Γq,m1 (ℓ1) to be a subgraph of Γq,m2 (ℓ2).

Proposition 2.8. Let q be a prime power, and for i = 1, 2 let pi be a prime and ri,ℓi,mi be positive integers with ℓ m and m even. Then: i | i ℓi ℓ1 (a) Γq,m (ℓ1) Γq,m (ℓ2) if and only if m1 m2 and ℓ2 ℓ1 with odd. 1 ⊂ 2 | | ℓ2 (b) Γ r1 (ℓ1)=Γ r2 (ℓ2) if and only if p1 = p2, r1m1 = r2m2 and r1ℓ1 = r2ℓ2. p1 ,m1 p2 ,m2 6 RICARDO A. PODESTÁ, DENIS E. VIDELA

m m Proof. (a) Let Γi = Γq,mi (ℓi), i = 1, 2. Now, Γ1 Γ2 if and only if V1 = Fq 1 V2 = Fq 2 and E (ℓ ) E (ℓ ). The ﬁrst contention is⊂ equivalent to m m and the second⊂ one to q,m2 1 ⊂ q,m2 2 1 | 2 Sq,m1 (ℓ1) Sq,m2 (ℓ2), by considering the edges in Eℓ1 containing the vertex 0. The result thus follows by⊂ Lemma 2.7.

(b) Γ1 = Γ2 if and only if V1 = V2 and E1 = E2. The equality V1 = V2 of the vertex sets is r1m1 r2m2 equivalent to p1 = p2 , hence p1 = p2 = p and r1m1 = r2m2. The equality S1 = S2 between r ℓ r ℓ the connection sets is xp 1 1 +1 : x F = xp 2 2 +1 : x F , with q = pr1m1 = pr2m2 . By { ∈ q∗} { ∈ q∗} Lemma 2.7, this happens if and only if r m = r m and r ℓ = r ℓ , since r2ℓ2 = 1 is odd. 1 1 2 2 1 1 2 2 r1ℓ1

Example 2.9. (i) We have q,12 = Γq,12(1), Γq,12(2), Γq,12(3), Γq,12(6) , Γq,12(4) is excluded because m = 3 is odd. We haveG Γ (6){ Γ (2) and Γ (3) Γ (1)} . 4 q,12 ⊂ q,12 q,12 ⊂ q,12 (ii) The graphs in q,30 are Γq,30(1), Γq,30(3), Γq,30(5) and Γq,30(15) where we have ruled out Γ (10), Γ (6) andG Γ (2). We have Γ (15) Γ (3), Γ (5) Γ (1). q,30 q,30 q,30 q,30 ⊂ q,30 q,30 ⊂ q,30 (iii) If m = 2pt, with p odd and t 1, then we have the chain of proper subgraphs ≥ t t 1 2 Γ (p ) Γ (p − ) Γ (p ) Γ (p) Γ (1). q,m ⊂ q,m ⊂···⊂ q,m ⊂ q,m ⊂ q,m m All the graphs are connected, except for the first one since ℓ = 2 (see Proposition 4.6 ahead). Remark 2.10. If p,r,ℓ,m are non-negative integers, with p prime and ℓ m, then | (2.5) Γp,rm(rℓ)=Γpr,m(ℓ)=Γ rℓ m (1). p , ℓ The first equality says that we can restrict ourselves to the case of m,ℓ coprime by taking ℓ d = (m,ℓ), i.e. Γp,m(ℓ)=Γ d m ( ). The second equality implies that we can always take the p , d d simplest connection set S = xq+1 : x F . 1 { ∈ q} The lattice (poset) of divisors of m, that we denote by Λ(m), together with Proposition 2.8 induce a lattice structure on a subset of q,m in (2.4) which, since q is fixed, we will denote by Λ( (m)). We will see that this structureG is rather simple. G Proposition 2.11. Let m = 2tr with r odd. The lattice Λ( (m)) is empty if m is odd while it is isomorphic to t copies of the lattice of divisors of r if m isG even. More precisely, Λ( (r)) = ∅ for t = 0 and, if denotes disjoint union, for t 1 we have G ∪ ≥ t t 1 (2.6) Λ( (2 r)) = Λ( (r)) Λ( (2r)) Λ( (2 − r)). G G ∪ G ∪···∪ G Also, Λ( (2kr)) 2kΛ(r) for each 1 k t where aΛ(r) = ad : d Λ(r) . Thus Λ( (2tr)) G ≃ ≤ ≤ { ∈ } G has t connected components and hence it is connected if and only if t = ν2(m) = 1.

Proof. We will use the notations (2.7) Λ (m)= d m : m is even and Λ (m)= d m : m is odd . e { | d } o { | d } m Note that Λe(m) = Λ( 2 ) if m is even and Λe = ∅ if m is odd. Also, Λo(m) = Λ(m) if m is odd and Λo = ∅ if m is even. Thus, by (2.4), (2.7), and the previous observations we have Λ( (m)) (Λ ) (m) = Λ ( m ) G ≃ e o o 2 where the isomorphism sends Γq,m(d) to d for d m. Now, it is clear that Λ( (m)) is empty if t | t 1 G t = 0 (m odd). If t 1 we have Λ( (2 r)) Λo(2 − r). If r = p is a prime, the result in (2.6) ≥ t 1 G ≃ t 1 t k is clear, and hence Λ(2 − r) = Λ(r) 2Λ(r) 2 − Λ(r). The case of m = 2 p is a little bit more involved. The general result∪ in (2.6)∪···∪ follows by induction on the number of primes of r. We leave the details to the reader. SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 7

3. The spectra of generalized Paley graphs

It is well known that the spectrum of a Cayley graph Γ= X(G, S), with G an abelian group, is determined by the characters of G. More precisely, each character χ of G induces an eigenvalue of Γ= X(G, S) by the expression (3.1) χ(S)= χ(g). g S X∈ When we consider the graphs Γq,m(ℓ), the sums in (3.1) will be exponential sums associated to certain quadratic forms determined by the trace function and the exponent qℓ + 1.

3.1. Quadratic forms and exponential sums. A quadratic form in Fqm is an homogeneous polynomial of degree 2 in Fqm [x]. More generally, any function Q : Fqm Fq can be identified m → with a polynomial of m variables over Fq via an isomorphism Fqm Fq of Fq-vector spaces. Such Q is said to be a quadratic form in m variables if the corresponding≃ polynomial is homogeneous of degree 2. The minimum number of variables needed to represent Q as a polynomial in several variables is a well defined number r called the rank of Q. Two quadratic forms Q1,Q2 are equivalent if there is an invertible F -linear function S : F m F m such that Q (x)= Q (S(x)). q q → q 1 2 Fix Q a quadratic form from F m to F and ξ F . Consider the number q q ∈ q (3.2) N (ξ)=# x F m : Q(x)= ξ . Q { ∈ q } We will abbreviate NQ = NQ(0) = # ker Q. It is a classical result that there are three equivalence classes of quadratic forms. This classification depends on the parity of the characteristic (see for instance [19] or [24]). In both characteristics, there are 2 classes with even rank and one with odd rank. In the case of even rank, it is usual to say that Q is of type I or III, but it will be convenient for us to call them of type 1 or 1, respectively. Thus, we will put − ε = 1 if Q is of type 1 Q ± ± and we will call this sign εQ the type of Q. For even rank, the number NQ(ξ) does not depend on the characteristic and it is given as follows m 1 m r 1 (3.3) NQ(ξ)= q − + εQ ν(ξ) q − 2 − where ν(0) = q 1 and ν(z)= 1 if z F . − − ∈ q∗ Recall that in general, the trace map from Fqm to Fq, with q a prime power, is defined by qm−1 q2 q Tr m (x)= x + + x + x + x q /q · · · 2πi for x F m . For Q as before, a F and ζ = e p we will need the following exponential sum ∈ q ∈ q∗ p Trq/p(aQ(x)) (3.4) TQ,a = ζp . x F m ∈Xq We will abbreviate TQ,1 = TQ. Notice that TQ,a C. We next give the values of TQ,a in the case of even rank. ∈

Lemma 3.1. If Q be a quadratic form of m variables over Fq of even rank r. Then, TQ = 0 and m r 6 T = T = ε q − 2 for all a F . Q,a Q Q ∈ q∗ m 1 m r 1 Proof. Since r is even, by (3.3) we have NQ = q − + εQ(q 1)q − 2 − . On the other hand, 2πi Trq/p(ay) − note that for any a Fq ﬁxed, χa(y)= ζp with y Fq and ζp = e p is a character of Fq. Thus, by the orthogonality∈ of the characters we get, using∈ (3.4), that

1 1 Trq/p(aQ(x)) m 1 1 NQ = q χa(Q(x)) = q ζp = q − + q TQ,a. ∗ x F m a Fq x F m a Fq a F ∈Xq X∈ ∈Xq X∈ X∈ q 8 RICARDO A. PODESTÁ, DENIS E. VIDELA

Therefore, by equating the two previous expressions for NQ we arrive at m r (3.5) T = ε (q 1)q − 2 . Q,a Q − a F∗ X∈ q m r It is known that T = q − 2 or T = 0 ([12] for q odd, [21] for q even). Notice that | Q| | Q| Qa(x) := aQ(x), with a Fq∗, is a quadratic form of the same rank of Q(x), that is rQa = rQ = r. Thus, ∈ Trq/p(aQ(x)) Trq/p(Qa(x)) TQ,a = ζp = ζp = TQa x F m x F m ∈Xq ∈Xq m r and hence TQ,a = q − 2 or TQ,a = 0 for every a Fq∗. Now, by (3.5) and the triangle inequality, we have | | | | ∈ m r T (q 1)q − 2 = T T . | Q,a|≤ − | Q,a|≤ | Q,a| a F∗ a F∗ a F∗ X∈ q X∈ q X∈ q m r This implies that T = 0 and T = q − 2 for every a F . In particular, T = 0. Thus, | Q,a| 6 | Q,a| ∈ q∗ Q 6 m r T = T = (q 1) q − 2 . | Q,a| | Q,a| − a F∗ a F∗ X∈ q X∈ q Since equality holds in the triangular inequality we have that TQ = TQ,a for every a Fq∗. By m r ∈ (3.5), we must have that TQ = εQ q − 2 , as we wanted.

Trace forms. A whole family of quadratic forms over Fq in m variables, usually called ‘trace forms’, are given by

(3.6) QR(x) = Trqm/q(xR(x)) t qi where R(x) is a q-linearized polynomial over Fq (i.e. R(x)= i=0 aix ). Remark 3.2. If one considers two q-linearized polynomialsPS(x),R(x) in (3.6), the function QS,R(x) = Trqm/q(S(x)R(x)) also gives a quadratic form (notice that if S(x)= x then QS,R(x)= qℓ+1 qℓ2 +1 QR(x)). If we take monomials, say S(x) = γ1x and R(x) = γ2x with ℓ1 = ℓ2, then qℓ1 +qℓ2 qℓ1 +qℓ2 6 S(x)R(x)= γx . Thus, the associated Cayley graph Γ = X(F m , x : x F m ) S,R q { ∈ q∗ } is one of the graphs deﬁned in (2.2); namely Γ (ℓ) with ℓ = max ℓ ,ℓ min ℓ ,ℓ . q,m { 1 2}− { 1 2} qℓ We are interested in the case when R(x)= γx with ℓ N, γ F m , i.e. ∈ ∈ q∗ qℓ+1 (3.7) Qγ,ℓ(x) = Trqm/q(γx ). The next theorems, due to Klapper, give the distribution of ranks and types of the family of quadratics forms Q (x) : γ F m ,ℓ N . { γ,ℓ ∈ q ∈ } In the sequel, we will need the following notation

1 1 m 1 if 2 mℓ is even, (3.8) ε = ( 1) 2 ℓ = ℓ 1 − ( 1 if mℓ is odd, − 2 m where mℓ = (m,ℓ) . Theorem 3.3 (even characteristic ([16])). Let q be a power of 2, let m,ℓ N such that m is ∈ ℓ even and let Sℓ be as in (2.1). Then Qγ,ℓ is of even rank and we have: (a) If ε = 1 and γ S then Q is of type 1 and has rank m 2(m,ℓ). ℓ ± ∈ ℓ γ,ℓ ∓ − (b) If ε = 1 and γ / S then Q is of type 1 and has rank m. ℓ ± ∈ ℓ γ,ℓ ± SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 9

For q odd and N N, consider the following set of integers ∈ (3.9) Y (N)= 0 t qm 1 : t N (mod L) q,m,ℓ { ≤ ≤ − ≡ } where L = q(m,ℓ) + 1. Theorem 3.4 (odd characteristic ([17])). Let q be a power of an odd prime p and let m,ℓ be t non negative integers. Put γ = α with α a primitive element in Fqm . Then, we have: (a) If ε = 1 and t Y (0) then Q is of type 1 and has rank m 2(m,ℓ). ℓ ∈ q,m,ℓ γ,ℓ − − (b) If ε = 1 and t / Y (0) then Q is of type 1 and has rank m. ℓ ∈ q,m,ℓ γ,ℓ (c) If m is even, ε = 1 and t Y ( L ) then Q is of type 1 and has rank m 2(m,ℓ). ℓ ℓ − ∈ q,m,ℓ 2 γ,ℓ − (d) If m is even, ε = 1 and t / Y ( L ) then Q is of type 1 and has rank m. ℓ ℓ − ∈ q,m,ℓ 2 γ,ℓ − 3.2. The spectrum of Γ (ℓ). It is well-known that Spec(K )= [n 1]1, [ 1]n 1 and q,m n { − − − } q 1 1 1 √q 2t 1+√q 2t Spec(P (q)) = [ − ] , [ − − ] , [ − ] { 2 2 2 } 2m where q = 4t + 1. Hence Kn is always integral and P (q) is integral for q a square q = p . We now give one of our main results, the computation of the spectra of the graphs in the family Gq,m (thus completing the determination of the spectrum of all the graphs Γq,m(ℓ), see (2.3)). Theorem 3.5. Let q be a prime power and m 2,ℓ> 0 integers such that ℓ m with m even. ≥ | ℓ The spectrum of Γq,m(ℓ) is integral and given as follows: (a) If ℓ = m then the eigenvalues are 6 2 m m m +ℓ q 1 ε q 2 1 ε q 2 1 (3.10) k = − , υ = ℓ − , µ = − ℓ − , ℓ qℓ + 1 ℓ qℓ + 1 ℓ qℓ + 1 1 mℓ ℓ where εℓ = ( 1) 2 , with corresponding multiplicities 1, q kℓ and kℓ. m − m (b) If ℓ = then the eigenvalues are k m = q 2 1 and υ m = 1 with corresponding multiplicities 2 2 2 m m m − − q 2 and q 2 (q 2 1). − qm 1 Proof. (a) We know that Γ=Γ (ℓ) is k -regular with k = S = − , by Lemma 2.3. q,m ℓ ℓ | ℓ| qℓ+1 Now, the character group Fqm of (Fqm , +) is cyclically generated by the canonical character 2πi Trqm/p(x) χ(x) = ζp , where ζp = e p and p is the characteristic of Fq. That is, every character χ b of Fqm is of the form

Trqm/p(γx) (3.11) χ (x)= ζp = χ(γx), γ F m . γ ∈ q By (3.1) the eigenvalues of Γ are of the form χγ(Sℓ)= χγ (y). In this way, for γ Fqm , by y Sℓ ∈ qℓ+1 ℓ ∈ (3.11) and (2.1), since every x S is obtained by q + 1 diﬀerent elements in F m we have ∈ ℓ P q qℓ+1 qℓ+1 1 Trqm/p(γx ) 1 Trq/p Trqm/q (γx ) χγ (Sℓ)= qℓ+1 ζp = qℓ+1 ζp . x F∗ x F∗ ∈Xqm ∈Xqm That is to say, if Qγ,ℓ(x) is the quadratic form deﬁned in (3.7), we have

1 Trq/p(Qγ,ℓ(x)) χγ (Sℓ)= qℓ+1 ζp . x F∗ ∈Xqm Thus, by (3.4) and taking into account the contribution of x = 0, we have T 1 Qγ,ℓ − (3.12) χγ(Sℓ)= qℓ+1 where TQγ,ℓ is the exponential sum given in (3.4). 10 RICARDO A. PODESTÁ, DENIS E. VIDELA

By (3.12), the eigenvalues of Γ are given by the diﬀerent values that TQγ,ℓ can take. If γ = 0, m then Q0,ℓ = 0 and by (3.4) we have that TQ = q , obtaining the eigenvalue qm 1 χ0(Sℓ)= qℓ+1− = kℓ.

For the other eigenvalues, ﬁrst note that by Theorems 3.3 and 3.4, since mℓ is even, the quadratic form Qγ,ℓ has even rank r for every γ and also r takes only two values, r m,m 2ℓ . By Lemma 3.1, we have that ∈ { − } r m 2 (3.13) TQγ,ℓ = εQγ,ℓ q − . 1 2 mℓ By parts (a) and (b) of Theorems 3.3 and 3.4, if εℓ = ( 1) we have that εQγ,ℓ = εℓ if r = m and ε = ε if r = m 2ℓ. Taking into account the− two possible values of r and the two Qγ,ℓ − ℓ − signs in (3.13), by (3.12) we have that the eigenvalues of Γ are exactly the given ones in (3.10).

Next, we to compute the multiplicities of the eigenvalues. First, since the eigenvalue kℓ is m r m obtained from Q (x) = 0 and we have that T = ε q − 2 = q for γ = 0, it is clear that 0,ℓ Qγ,ℓ Qγ,ℓ 6 6 the multiplicity of kℓ is 1. The eigenvalues m m q 2 1 q 2 +ℓ 1 υℓ± = ±qℓ+1− and µℓ± = ± qℓ+1− are obtained when r = m and r = m 2ℓ, respectively. − If q is even, Theorem 3.3 give us the multiplicities of the eigenvalues; they are given by qm 1 M, 0, 0, M and 0,qm 1 M,M, 0 − − − − 1 1 respectively for 2 mℓ even and 2 mℓ odd, where M = #Sq,m(ℓ) with Sq,m(ℓ) as in (2.1). If α is qℓ+1 qℓ+1 qm 1 a primitive element of F m , then S (ℓ) = α . Thus, M = ord(α ) = − and q q,m h i (qm 1,qℓ+1) qm 1 − therefore M = qℓ+1− = kℓ, by Lemma 2.2 since mℓ is even. On the other hand, if q is odd, by Klapper’s Theorem 3.4, the corresponding multiplicities are given by m m q 1 M1, 0, 0, M1 and 0,q 1 M2, M2, 0 1 − − 1 − − respectively for 2 mℓ even and 2 mℓ odd, where M1 and M2 are given by L (3.14) M1 =#Yq,m,ℓ(0) and M2 =#Yq,m,ℓ( 2 ), (m,ℓ) with L = q + 1 and Yq,m,ℓ(N) as in (3.9).

Let us see that M1 = M2 = kℓ, and thus the multiplicities of the eigenvalues are as in the statement. Notice that if M,N,s ,s N such that M N and 0 s ,s M 1, then 1 2 ∈ | ≤ 1 2 ≤ − # 0 i N : i s (mod M) =# 1 i N : i s (mod M) = N . { ≤ ≤ ≡ 1 } { ≤ ≤ ≡ 2 } M qm 1 ℓ m ℓ Since k = #S = − N we have that q + 1 q 1. Thus, taking M = q + 1 and ℓ ℓ qℓ+1 ∈ | − m qm 1 N = q 1, from (3.14) we get that M = M = − = k , as desired. − 1 2 qℓ+1 ℓ m m (b) Note that kℓ = µℓ if and only if ℓ = 2 and εℓ = 1 (but this is automatic for ℓ = 2 ). qm 1 m − By (3.10), it is clear that k m = m− = q 2 1 and υ m = 1. The multiplicity of k m is now 2 q 2 +1 2 2 m − − k m +1= q 2 , showing (b). 2 m m It remains to show the integrality of the spectrum. For ℓ = 2 it is obvious. For ℓ = 2 , we already know that k N, hence it is enough to show that υ ,µ Z, i.e. that 6 ℓ ∈ ℓ ℓ ∈ ℓ m 1 m ℓ m +ℓ 1 m q + 1 q 2 ( 1) 2 ℓ and q + 1 q 2 + ( 1) 2 ℓ . | − − | − m s Note that since mℓ is even, then ℓ 2 . Let s,t be positive integers such that s t. Since q 1 s t s t | t s m | ≡− (mod q + 1) then q = (q ) s ( 1) s (mod q + 1). Thus, taking t = and s = ℓ we get ≡ − 2 SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 11

m 1 m ℓ ℓ ℓ that q 2 ( 1) 2 ℓ 0 (mod q + 1), and multiplying this congruence by q , since q 1 ℓ − − ≡ ≡ − (mod q + 1), we get that Γq,m(ℓ) has integral spectrum, and the result follows.

Notice that if we take ℓ = 0 in (3.10), with the convention ε0 = 1, we get the spectrum of the Paley graphs. 1 1 Note 3.6. If 2 mℓ is even we have λ2 = υℓ and λ3 = µℓ while if 2 mℓ is odd λ2 = µℓ and λ3 = υℓ. In both cases λ2 > 0 and λ3 < 0.

We now give some relations on the eigenvalues and on the parameters of Γq,m(ℓ). Denote by eℓ the cardinality of the edge set Eq,m(ℓ) of Γq,m(ℓ). Corollary 3.7. Let k , υ and µ be the eigenvalues of Γ (ℓ) as given in (3.10). ℓ ℓ ℓ q,m ∈ Gq,m m ℓ (a) We have k = (ε q 2 + 1)υ and also q υ = µ + 1 and (υ ,µ ) = 1. ℓ ℓ ℓ − ℓ ℓ ℓ ℓ (b) For ﬁxed q and ℓ, we have υℓ(Γ2m+2ℓ)= µℓ(Γ2m). (c) If Γ (d) Γ (ℓ) then k k , υ υ and e e . q,m ⊂ q,m d | ℓ d | ℓ d | ℓ m m m m Proof. To see (a), since (q 1) = (q 2 1)(q 2 + 1), we have kℓ = (εℓ q 2 1)υℓ, by (3.10). The − − ℓ − remaining assertions follows from the fact that q υℓ + µℓ = 1. Item (b) is clear from (3.10). d − ℓ d For (c), by Proposition 2.8 we have ℓ d with ℓ odd and, by Lemma 2.7, q + 1 q + 1. Hence | 1 1 | kd kℓ and if εℓ = εd also υd υℓ. But, εℓ = εd always holds since 2 mℓ and 2 md have the same parity.| Finally, since 2e = k |qm and k divides k we get e e . d d ℓ d d | ℓ

4. Complements and structural properties

¯ ¯ c Let Γq,m(ℓ) be the complement of Γq,m(ℓ). It is the Cayley graph Γq,m(ℓ)= X(Fqm ,Sℓ r 0 ), where Sc is the complement of S . The complementary family of is { } ℓ ℓ Gq,m (4.1) ¯ = Γ¯ (ℓ) : ℓ m with ℓ

ℓ We now show that Γ¯q,m(ℓ) is the union of q diﬀerent Cayley graphs, all mutually isomorphic to Γq,m(ℓ). Let α be a primitive element of Fqm . Then we have the cosets j i(qℓ+1)+j qm 1 ℓ α S = α : 1 i k = − (0 j q ). ℓ { ≤ ≤ qℓ+1 } ≤ ≤ (j) j (0) Denote by Γq,m,ℓ the Cayley graph X(Fqm , α Sℓ) and note that Γq,m,ℓ =Γq,m(ℓ). Note that Sℓ is j (j) symmetric if and only if α Sℓ is symmetric, hence Γq,m,ℓ is simple if and only if Γq,m(ℓ) is simple.

ℓ Lemma 4.2. Γ¯ (ℓ)=Γ(1) Γ(q ) and Γ(j) Γ (ℓ) for every j = 1,...,qℓ. q,m q,m,ℓ ∪···∪ q,m,ℓ q,m,ℓ ≃ q,m 12 RICARDO A. PODESTÁ, DENIS E. VIDELA

ℓ Proof. It is clear that Sc r 0 equals the disjoint union αS α2S αq S . Recall that ℓ { } ℓ ∪ ℓ ∪···∪ ℓ G = G1 G2 is the graph with vertex set V (G1) V (G2) and edge set E(G1) E(G2). Hence, ∪ ℓ ∪ ∪ (1) (q ) (j) ℓ Γ¯q,m(ℓ)=Γq,m Γq,m with V (Γq,m) = V (Γq,m(ℓ)) = Fq for every j = 1,...,q . To see (j) (0)∪···∪ j j that Γq,m Γq,m note that the ﬁeld automorphism T (x)= α x sends S to α S and preserves ≃ j ℓ ℓ edges, i.e. if x y S then T (x) T (y)= αj(x y) αjS . − ∈ ℓ j − j − ∈ ℓ ¯ (1) Note that for ℓ = 0 we have Γq,m(0) = Γq,m,0 =Γq,m(0), recovering the known fact that Paley graphs are self-complementary.

We now compute the spectra of Γ¯q,m(ℓ) in terms of that of Γq,m(ℓ) and derive some structural consequences of the graphs from the spectra.

Proposition 4.3. The spectrum of Γ¯q,m(ℓ) is integral and given as follows: (a) If ℓ = m , then the eigenvalues of Γ¯ (ℓ) are 6 2 q,m ℓ m ℓ m ℓ ℓ m q (q 1) q (ε q 2 − + 1) q (ε q 2 1) (4.2) k¯ = − , υ¯ = − ℓ , µ¯ = ℓ − , ℓ qℓ + 1 ℓ qℓ + 1 ℓ qℓ + 1 ℓ with corresponding multiplicities 1, q kℓ and kℓ, where kℓ, υℓ are eigenvalues of Γq,m(ℓ) as 1 m given in Theorem 3.5 and ε = ( 1) 2 ℓ . ℓ − m m m m m (b) If ℓ = , the eigenvalues of Γ¯ ( ) are k¯ m = q 2 (q 2 1), υ¯ m = 0 and µ¯ = q 2 , with 2 q,m 2 2 2 ℓ m m m − − multiplicities 1, q 2 (q 2 1) and q 2 1, respectively. − −

Proof. (a) If A is the adjacency matrix of Γ=Γq,m(ℓ), then J I A (where J is the all 1’s matrix) is the adjacency matrix of Γ¯. Since Γ is k-regular with n−vertices− then Γ¯ is (n k 1)- regular. Thus k¯ = n k 1= qℓ(qm 1)/(qℓ + 1). The remaining n 1 eigenvalues of−Γ¯ are− of ℓ − ℓ − − − the form 1 λi where λi runs through the n 1 eigenvalues of Γ belonging to an eigenvector orthogonal− to−1. That is, υ¯ = 1 υ and −µ¯ = 1 µ . The result follows by (3.10) in ℓ − − ℓ ℓ − − ℓ Theorem 3.5. Moreover, since Γq,m(ℓ) is integral by Theorem 3.5, Γ¯q,m(ℓ) is also integral. 1 a(a 1) a 1 (b) It is known that Spec(Ka a) = [a(a 1)] , [0] − , [ a] − , hence it is integral. By m × { − − } Lemma 4.1, taking a = q 2 we get the result. 1 ¯ ¯ 1 ¯ ¯ Note 4.4. If 2 mℓ is even we have λ2 =µ ¯ℓ and λ3 =υ ¯ℓ while if 2 mℓ is odd λ2 =υ ¯ℓ and λ3 =µ ¯ℓ. In both cases λ2 > 0 and λ3 < 0. ℓ ℓ ℓ Corollary 4.5. The eigenvalues of Γ¯q,m(ℓ) are multiples of q and we have k¯ℓ = q kℓ, µ¯ℓ = q υℓ and υ¯ +1= µℓ+1 . Moreover, ( υ¯ℓ , µ¯ℓ ) = 1 and υ +µ ¯ =υ ¯ + µ = 1. ℓ qℓ qℓ qℓ ℓ ℓ ℓ ℓ −

ℓ ℓ Proof. By (4.2) implies that q divides k¯ℓ, υ¯ℓ and µ¯ℓ. Also, by (3.10) we have k¯ℓ = q kℓ and µ¯ = qℓυ . Finally, note that qℓ υ¯ℓ + µ¯ℓ = 1, from which the result follows. ℓ ℓ qℓ qℓ − As a direct consequence of Theorem 3.5, we will show that all the graphs considered are non- bipartite and primitive (connected with connected complement), with trivial exceptions. For ℓ = m the graphs are primitive. 6 2 Proposition 4.6. For ﬁxed q and m, both q,m and ¯q,m are ﬁnite families of mutually non- isospectral graphs. Moreover: G G (a) Γ (ℓ) and Γ¯ (ℓ) are connected for every ℓ = m (primitiveness). q,m q,m 6 2 m ¯ m (b) Γq,m( 2 ) is disconnected while Γq,m( 2 ) is connected. (c) Γq,m(ℓ) and Γ¯q,m(ℓ) are non-bipartite (except for Γ2,2(1) = 2K2, Γ¯2,2(1) = C4 = K2,2). SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 13

Proof. By Theorem 3.5 and Proposition 4.3, if ℓ,ℓ′ are diﬀerent divisors of m the graphs Γq,m(ℓ) and Γq,m(ℓ′) are non-isospectral. The same holds for the pairs Γ¯q,m(ℓ), Γ¯q,m(ℓ′) and Γq,m(ℓ), Γ¯q,m(ℓ′).

(a) Γq,m(ℓ) (resp. Γ¯q,m(ℓ)) is connected if and only if kℓ (resp. k¯ℓ) has multiplicity 1; and this m ¯ happens if and only if ℓ = 2 , by Theorem 3.5 (resp. Proposition 4.3). Thus, Γq,m(ℓ) and Γq,m(ℓ) are connected for ℓ = m6 . 6 2 (b) This follows directly by Lemma 4.1. (c) The graphs Γ (ℓ) and Γ¯ (ℓ) are non-bipartite since k is not an eigenvalue, unless q,m q,m − q = m = 2 and ℓ = 1. In these cases we have Spec(Γ (1)) = Spec(2K )= [1]2, [ 1]2 (notice 2,2 2 { − } that k = 1 and µ = 1 correspond to diﬀerent eigenvectors) and Spec(Γ¯2,2(1)) = Spec(2K2) = [2]1, [0]2, [ 2]1 . { − }

For a graph Γ, the number wr(Γ) of closed walks of length r in Γ can be expressed in terms of the spectrum. We now compute these numbers for the graphs Γq,m(ℓ) and their complements. 1 This can be used to give the number cn(Γ) of n-cycles of Γ, since we clearly have cr(Γ) = 2r wr(Γ). Corollary 4.7. We have that k kr 1 + qℓυr + µr if ℓ = m , { − } 6 2 r 1 wr(Γq,m(ℓ)) = − r 1 m  m 2 (j 1) m q k −j q − if ℓ = 2 ,  j=1 (4.3) P qℓk (qℓk)r 1 + ( 1 υ)r + qℓ(r 1)υr if ℓ = m , { − − − − } 6 2 ¯ r 1 wr(Γq,m(ℓ)) = m − r 1 m  2 r 2 (j 1) m (q ) k −j q − if ℓ = 2 ,  j=1 ¯P ¯ where k = kℓ, υ = υℓ, µ =µℓ and k = kℓ, υ¯ =υ ¯ℓ, µ¯ =µ ¯ℓ are the eigenvalues of Γq,m(ℓ) and Γ¯ (ℓ), respectively. In particular, k w (Γ (ℓ)) and k¯ w (Γ¯ (ℓ)). q,m | r q,m | r q,m Proof. It is well known that the number of closed walks of length r is given by the r-th moment r r r ℓ r r sums wr(Γ) = λ1 + + λn. Thus, by Theorem 3.5, we get wr(Γq,m(ℓ)) = kℓ + q kℓυℓ + kℓµℓ for ℓ = m and also · · · 6 2 m m m r m m r m m r 1 r wr(Γq,m( )) = q 2 (q 2 1) + q 2 (q 2 1)( 1) = k m q 2 (q 2 1) − + ( 1) 2 − − − 2 { − − } from which the ﬁrst equality in (4.3) follows. For the complementary graphs we proceed similarly using Proposition 4.3 and we obtain the second identity in (4.3). The remaining assertions are clear.

Example 4.8. Consider the graph Γ=Γ2,4(1) and its complement Γ¯. Their eigenvalues are 5, 1, 3 and 10, 2, 2 , respectively. By the previous corollary the number of triangles in Γ is { − } { − } c (Γ) = 1 w (Γ) = 1 k(k2 + 2υ3 + µ3)= 5 (52 +2+( 3)3) = 0. 3 6 3 6 6 − Hence, the girth of Γ is g(Γ) 4. Also, c (Γ)¯ = 1 w (Γ)¯ = 5 (102 + 23 + 4( 2)3) = 100, so ≥ 3 6 3 3 − g(Γ)=3¯ .

5. Strongly regular graphs and Latin squares

A strongly regular graph (SRG) with parameters v,k,e,d (often called n, k, λ, µ), denoted srg(v,k,e,d), is a k-regular graph with v vertices such that for any pair of vertices x,y the number of vertices adjacent (resp. non-adjacent) to both x and y is e 0 (resp. d 0). These parameters are tied by the relation ≥ ≥ (5.1) (v k 1)d = k(k e 1). − − − − 14 RICARDO A. PODESTÁ, DENIS E. VIDELA

Strongly regular graphs are in particular distance regular graphs and have diameter δ = 2 if d = 0. For instance, the complete graphs Kn are srg(n,n 1,n 2, 0) for n 3. Also, Paley graphs6 P (qm) with qm 1 (mod 4) are strongly regular with− parameters− ≥ ≡ (5.2) qm, 1 (qm 1), 1 (qm 5), 1 (qm 1) , 2 − 4 − 4 − so they belong to the half case, i.e. with parameters (4t + 1, 2t,t 1,t) for some t. − Spectrum. The spectrum of strongly regular graphs is well understood. Every strongly regular graph Γ= srg(v,k,e,d) has 3 eigenvalues given by 1 (5.3) λ = k and λ± = (e d) ∆ 1 2 2 { − ± } with corresponding multiplicities m1 = 1 and 1 2k+(v 1)(e d) m± = (v 1) − − , 2 2 { − ∓ ∆ } where ∆= (e d)2 + 4(k d). If Γ is connected the converse also holds (see for instance [4]); that is, if Γ is connected− and− has 3 eigenvalues, then it is a strongly regular graph. p Γ is called a conference graph if (5.4) 2k + (v 1)(e d) = 0 − − (for instance Paley graphs are conference graphs). On the other hand, if 2k + (v 1)(e d) = 0 then Γ= srg(v,k,e,d) has integral spectrum with unequal multiplicities. − − 6 The condition for Γ= srg(v,k,e,d) to be Ramanujan (see (1.1)) is (5.5) (e d)+ (e d)2 + 4(k d) 4√k 1 − − − ≤ − + Note that if e = d then λ2− = λ2p(with multiplicity v 1) and (5.5) is then equivalent to 3k + d 4 which always holds, except− for the trivial case k−= 1 and d = 0. ≥ Therefore, SRGs with e = d are trivially integral, non-bipartite and Ramanujan graphs. The smallest examples are: the triangular graph T (6), the Shrikhande graph and the complement of the Clebsch graph with parameters (15, 8, 4, 4), (16, 6, 2, 2) and (16, 10, 6, 6), respectively. n n Remark 5.1. If f : F2 F2 is a Boolean function, the Cayley graph Γf = X(F2 , Ωf ) with n → Ωf = x F2 : f(x) = 1 is considered in [29]. It is proved that Γf is a SRG with the property { ∈ } n e = d if and only if f is bent. Thus, Γf f : F2 F2 bent n N is an infinite family of integral { | → } ∈ non-bipartite strongly regular Ramanujan graphs over F2 with e = d. In Section 8 we will construct infinite families of integral non-bipartite strongly regular Ramanujan graphs having e = d over any field. 6 5.1. Parameters as strongly regular. We now show that Γq,m(ℓ) and Γ¯q,m(ℓ) are SRGs with e = d. The complement of Γ= srg(v,k,e,d) is also an SRG Γ=¯ srg(v, k,¯ e,¯ d¯) with parameters 6 (5.6) k¯ = v k 1, e¯ = v 2 2k + d, d¯ = v 2k + e. − − − − − Notice that any Paley graph is self-complementary. We now give the parameters as SRGs for the graphs in and ¯ . In particular, no graph in is self-complementary. Gq,m Gq,m Gq,m Gq,m Proposition 5.2. All the graphs Γq,m(ℓ) q,m and Γ¯q,m(ℓ) ¯q,m are strongly regular, not of conference type. ∈ G ∈ G m m m ℓ qm 1 (a) If ℓ = then Γ (ℓ)= srg(q , k, e, d) and Γ¯ (ℓ)= srg(q ,q k, e,¯ d¯) with k = − , 6 2 q,m q,m qℓ+1 m m qm ε q 2 +ℓ(qℓ 1) 3qℓ 2 qm+ε q 2 (qℓ 1) qℓ − ℓ − − − ℓ − − e = (qℓ+1)2 , d = (qℓ+1)2 , (5.7) m m q2ℓ(qm 2)+ε q 2 (qℓ 1) 3qℓ qℓ(qm+ℓ 1) ε q 2 +ℓ(qℓ 1) − ℓ − − ¯ − − ℓ − e¯ = (qℓ+1)2 , d = (qℓ+1)2 , 1 m where ε = ( 1) 2 ℓ . ℓ − SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 15

m m m m m m m m (b) Γ ( )= srg(q ,k,k 1, 0) and Γ¯ ( )= srg(q ,q 2 k,q 2 (k 1),q 2 k) with k = q 2 1 q,m 2 − q,m 2 − − (except for Γ2,2(1) = 2K2). In particular, ¯ = ∅. Gq,m ∩ Gq,m m Proof. If ℓ = 2 , then Γq,m(ℓ) is connected by Proposition 4.6 and hence, since it has 3 eigenvalues, 6 m it is a strongly regular graph. If ℓ = 2 , by Proposition 4.6 the graph Γq,m(ℓ) is a disjoint union of complete graphs, and hence strongly regular also. The complement of an SRG is an SRG. It is straightforward to check that (5.4) holds if and only if ℓ = 0, but ℓ = 0 is not allowed for the GP-graphs in the families and ¯ (see (2.4) and (4.1)). Gq,m Gq,m m qm 1 (a) We already know that Γq,m(ℓ) is a srg(v,k,e,d) with v = q and k = qℓ+1− . To compute e and d note that by (5.3) we have

+ + + e = k + λ2 λ2− + λ2 + λ2− and d = k + λ2 λ2−, where λ2± are the non-trivial eigenvalues υℓ and µℓ in Theorem 3.5. Solving for e and d in the above expressions we get the parameters for Γq,m(ℓ). The parameters of the complementary graph follows from (5.6).

(b) It is known that aKn = srg(an, n 1,n 2, 0) and Ka n = srg(an, (a 1)n, (a 2)n, (a 1)n). − m − × − − − The result follows by taking a = n = q 2 , except for Γ2,2(1) since the parameters (4, 1, 0, 0) has no sense. The remaining assertion is clear after some straightforward computations.

Remark 5.3. (i) The proposition above gives two infinite families of strongly regular graphs with explicit parameters. In particular, e,d > 0, e,¯ d¯ > 0 and e = d, e¯ = d¯ in all cases 6 6 with the only exceptions of the Clebsch graph Γ2,4(1) = srg(16, 5, 0, 2) and its complement Γ¯2,4(1) = srg(16, 10, 6, 6), respectively. In particular, this proves that the Clebsch graph is the only graph in our families without triangles. (ii) By taking ℓ = 0 in (5.7) we recover the parameters in (5.2) for Paley graphs. (iii) In [22], primitive strongly regular graphs are classified into 3 classes. If Γ = srg(n,k,e,d) and Γ is not the Clebsch graph or its complement (i.e. Γ =Γ (1), Γ¯ (1)) then either 6 2,2 2,2 (a) n min f(f+1) , g(g+1) or (b) n = min f(f+3) , g(g+3) , ≤ 2 2 2 2 where f, g are the multiplicities of the non-trivial eigenvalues. It is easy to check that all the graphs Γ (ℓ) and Γ¯ (ℓ) –with (q,m,ℓ) = (2, 2, 1)– satisfy condition (a) strictly. q,m q,m 6 A connected strongly regular graph Γ, being a distance regular graph of diameter δ = 2, have intersection array of the form (Γ) = b0, b1, b2; c0, c1, c2 . For every i = 0, 1, 2 and every pair of vertices x,y at distance i, theA intersection{ numbers are} defined by b =# z N(y) : d(x, z)= i + 1 and c =# z N(y) : d(x, z)= i 1 , i { ∈ } i { ∈ − } where N(y) denotes the set of neighbors of y. Since we trivially have b2 = c0 = 0, we will simply write (Γ) = b , b ; c , c , as it is usual. A { 0 1 1 2} Corollary 5.4. If ℓ = m , the intersection arrays of Γ=Γ (ℓ) and Γ=¯ Γ¯ (ℓ) are given by 6 2 q,m q,m (Γ) = k, k e 1; 1, d = k,qℓd; 1, d (5.8) A { − − } { } (Γ)¯ = v k 1, k d; 1, v 2k + e = qℓk, k d; 1,qℓ(e + d) A { − − − − } { − } where k, d and e are given in Proposition 5.2. 16 RICARDO A. PODESTÁ, DENIS E. VIDELA

m Proof. We know that Γ = srg(v,k,e,d) is primitive for ℓ = 2 . Since Γ = srg(v,k,e,d) is connected with δ = 2, its intersection array is k, k e 1; 16 , d . In fact, it is clear that b = k { − − } 0 and c1 = 1. Let x,y be vertices of Γ. Thus, if d(x,y) = 1, then

b = #(N(y) r x ) #N(x)= k 1 e. 1 { } − − −

If d(x,y) = 2 then c2 = #(N(x) N(y)). Since Γ¯ is also connected with diameter 2, its intersection array is k,¯ k¯ e¯ 1; 1,∩d¯ . Now, since v 2k + e = (v k + 1) (k e + 1), by using (5.1) and (5.6){ we get− the− desired} result. − − − −

Latin square type graphs. For the deﬁnitions and results in this subsection we refer to [7]. A strongly regular graph Γ is geometric if it is the point graph of a partial geometry pg(σ, t, α). In this case, Γ has parameters (see Proposition 7.3 in [7])

(5.9) srg( 1 (σ + 1)(σt + α), (t + 1)σ, σ 1+ t(α 1), (t + 1)α). α − − A graph is pseudo-geometric if it has the parameters in (5.9). Strongly regular graphs with parameters

2 2 PLt(u)= srg u ,t(u 1),t 3t + u, t(t 1) (5.10) − − − NL (u)= srg u2,t(u + 1),t2 + 3t u, t(t + 1) , t − for some t,u > 0, are respectively called pseudo Latin square graph and negative Latin square graph (notice that NLt(u) = PL t( u)). If a pseudo Latin square graph PLt(u) is geometric − − then it is called Latin square graph and it is denoted Lt(u). In particular, if t = 2, L2(u) is called a lattice graph. We now show that the connected graphs Γ (ℓ) in are pseudo-geometric. q,m Gq,m Proposition 5.5. Any Γ (ℓ) in with ℓ = m is pseudo-geometric. More precisely, we have q,m Gq,m 6 2 m 1 2 (a) If 2 mℓ is odd then Γ= PLt(q ). m 1 2 (b) If 2 mℓ is even then Γ= NLt(q ).

m 1 ℓ mℓ Here t = (q 2 εℓ)/(q +1) = υℓ and εℓ = ( 1) 2 , where υℓ is one of the eigenvalues of Γ in (3.10). − | | −

Proof. Let Γ=Γ (ℓ) with 0 <ℓ< m and ℓ m. Note that the regularity degree of Γ equals q,m 2 | the multiplicity of a non-trivial eigenvalue, namely k = m(µℓ), by (a) of Theorem 3.5. Thus, by Proposition 8.14 in [7], Γ is either a pseudo Latin square graph, a negative Latin square graph or a conference graph. Since Γ is not a conference graph, by (a) in Proposition 5.2, then Γ is a pseudo Latin square graph or a negative Latin square graph, hence with parameters as in (5.10). m qm 1 Recall that Γ= srg(n,k,e,d) with n = q , k = qℓ+1− and e, d as in (5.7). Take u = µ υ and t = υ . | ℓ − ℓ| | ℓ| m 1 2 One can check that u = q 2 for m even or odd, and hence n = u . It is clear that k = t(u 1) 2 ℓ − holds (resp. k = t(u + 1)) if and only if ε = 1 (resp. ε = 1), that is if and only if 1 m is ℓ − ℓ 2 ℓ odd (resp. even). It is straightforward to check that t2 3t + u = e and t(t 1) = d (resp. 2 1 − − 1 t + 3t u = e and t(t +1) = d) for 2 mℓ is odd (resp. even). Hence, Γ= PLt(u) if 2 mℓ is odd − 1 and Γ= NLt(u) if 2 mℓ is even, proving the ﬁrst half of (a) and (b). SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 17

5.2. Invariants. For completeness, given a graph Γ in our families, we now summarize the values or bounds of some classical invariants (such as the diameter δ(Γ) and the girth γ(Γ), the independence number α(Γ), the clique number ω(Γ), the chromatic number χ(Γ), the vertex, edge and algebraic connectivities κ(Γ), ε(Γ), and θ2(Γ) respectively, and the isoperimetric constant h(Γ)), for Γ and Γ¯ in terms of the spectrum of Γ. Proposition 5.6. Let Γ=Γ (ℓ) and Γ=¯ Γ¯ (ℓ) ¯ . Then we have: q,m ∈ Gq,m q,m ∈ Gq,m (a) The diameters of Γ and Γ¯ are δ(Γ) = δ(Γ)=2¯ .

(b) The girths of Γ and Γ¯ are γ(Γ) = γ(Γ)=3¯ , except for γ(Γ2,4(1)) = 4. (c) The independence and clique numbers of Γ and Γ¯ satisfy: 1 (i) If 2 mℓ is even then m m m 2 +ℓ m 2 −ℓ ¯ q + q ¯ q + q ω(Γ) = α(Γ) m +ℓ and ω(Γ) = α(Γ) m −ℓ . ≤ q 2 +1 ≤ q 2 +1 1 m ¯ ¯ 2 (ii) If 2 mℓ is odd then ω(Γ) = α(Γ) = ω(Γ) = α(Γ) = q . (d) The chromatic numbers of Γ and Γ¯ satisfy: 1 (i) If 2 mℓ is even then m m m 2 −ℓ m 2 +ℓ (q 1)(q + 1) ¯ (q 1)(q + 1) χ(Γ) −m m −ℓ and χ(Γ) −m m +ℓ . ≥ q + q 2 ≥ q + q 2 m 1 ¯ 2 (ii) If 2 mℓ is odd then χ(Γ) = χ(Γ) = q . ¯ qm 1 ¯ (e) The vertex and edge connectivities of Γ and Γ are given by κ(Γ) = ε(Γ) = qℓ+1− and κ(Γ) = qℓ(qm 1) ℓ ℓ ¯ − ¯ ¯ ε(Γ) = qℓ+1 . In particular, κ(Γ) = q κ(Γ) and ε(Γ) = q ε(Γ). (f) The algebraic connectivity of Γ and Γ¯ are given by

1 1 ℓ is even ℓ is even υℓ if 2 m , ¯ µ¯ℓ if 2 m , θ2(Γ) = 1 and θ2(Γ) = 1 (µℓ if 2 mℓ is odd, (υ¯ℓ if 2 mℓ is odd.

(g) The isoperimetric constants of Γ and Γ¯ satisfy: 1 (i) If 2 mℓ is odd, then

1 2 2 1 ℓ 2ℓ 2 2 (kℓ υℓ) h(Γ) kℓ υℓ and (q kℓ µ¯ℓ) h(Γ)¯ q kℓ µ¯ℓ . 2 − ≤ ≤ − 2 − ≤ ≤ − 1 q q (ii) If 2 mℓ is even, then

1 2 2 1 ℓ 2ℓ 2 2 (kℓ µℓ) h(Γ) kℓ µℓ and (q kℓ υ¯ℓ) h(Γ)¯ q kℓ υ¯ℓ . 2 − ≤ ≤ − 2 − ≤ ≤ − q q In items (a), (e) and (f) one has to take ℓ = m . 6 2 m 1 Note. In the proposition, the case ℓ = 2 is contained in the case 2 mℓ odd.

m m Proof. Since Γq,m( 2 ) is disconnected, we exclude the cases ℓ = 2 in items (a), (e) and (f). To prove (a) and (b) note that, by Proposition 5.2, every Γ considered is an srg(v,k,e,d) with m e > 0 (except for Γ=Γ2,4(1)) and d > 0 (except when ℓ = 2 ), hence δ(Γ) = 2 and γ(Γ) = 3. For Γ2,4(1), we saw in Example 4.8 that γ(Γ) 4. But since Γ2,4(1) = srg(16, 5, 0, 2), the values e = 0 and d = 2 clearly imply that γ(Γ) = 4. ≥ To prove (c), ﬁrst recall that, by deﬁnitions, the clique number of a graph X (resp. X¯) is the independence number of its complement X¯ (resp. X), so ω(Γ) = α(Γ)¯ and ω(Γ)¯ = α(Γ). Now, we use the known bound ω(X) 1 k , where X is a SRG with degree of regularity k and µ< 0 ≤ − µ 18 RICARDO A. PODESTÁ, DENIS E. VIDELA

m 1 q 2 +ℓ+1 is the smallest eigenvalue of X. By Notes 3.6 and 4.4, if 2 mℓ is even, then µ = µℓ = qℓ+1 m − − qℓ(q 2 ℓ+1) − ¯ and µ =υ ¯ℓ = qℓ+1 for Γ and Γ, respectively. Then we have that m m − qm+q 2 +ℓ qm+q 2 ℓ α(Γ)¯ = ω(Γ) m and ω(Γ)¯ = α(Γ) m − . ≤ q 2 +ℓ+1 ≤ q 2 ℓ+1 Thus, (d) is a consequence of (c) because of the general bound α(X)χ(X) n, where X is 1 m ≥ a graph or order n. If 2 mℓ is odd, Γ contains the graph Γq,m( 2 ) by Proposition 2.8, then ℓ m m q + 1 q 2 + 1. Therefore, ω(Γ) = α(Γ)¯ = ω(Γ)¯ = α(Γ) = χ(Γ) = χ(Γ)¯ = q 2 (see [27]). | For (e), it is a well-known fact that the vertex and edge connectivity of a strongly regular graph is equal to its regularity degree (see [5], [6]). So, in particular we have that κ(Γ) = ε(Γ) = qm 1 ¯ ¯ ¯ ℓ kℓ = qℓ+1− and κ(Γ) = ε(Γ) = kℓ = q kℓ, as desired.

Now, for (f), θ2(Γ) is by deﬁnition the minimum nonzero Laplacian eigenvalue of Γ. Recall that the Laplacian eingenvalues µi of a k-regular graph are related with the eigenvalues λi by µ = k λ . Since Γ is k -regular,{ } then θ (Γ) = k υ if 1 m is odd and θ (Γ) = k { µ} i − i ℓ 2 ℓ − ℓ 2 ℓ 2 ℓ − ℓ if 1 m is even. On the other hand Γ¯ is qℓk -regular, then θ (Γ) = qℓk µ¯ if 1 m is odd and 2 ℓ ℓ 2 ℓ − ℓ 2 ℓ θ (Γ) = qℓk υ¯ if 1 m is even. 2 ℓ − ℓ 2 ℓ Finally, to see (g), given a graph X the isoperimetric constant h(X) satisﬁes (see [23]) 1 θ (X) h(X) θ (X)(2∆(X) θ (X)), 2 2 ≤ ≤ 2 − 2 ℓ where ∆(X) is the maximal degree of X. Sincep ∆(Γ) = kℓ and ∆(Γ)¯ = q kℓ, the inequalities in the statement follows directly from the above ones and item (f), and the proof is complete.

We now illustrate several previous results. m Example 5.7. The smallest graph in q,m having a connected (ℓ = 2 ) subgraph corresponds to q = 2, m = 12 and ℓ = 1, giving theG pair of subgraphs 6 Γ (3) Γ (1) and Γ¯ (1) Γ¯ (3). 2,12 ⊂ 2,12 2,12 ⊂ 2,12 In the following table we show their parameters as strongly regular graphs, the intersection arrays and their eigenvalues computed with Theorem 3.5, Propositions 4.3 and 5.2, and Corollary 5.4. graphs srg parameters intersection array eigenvalues Γ (1) (4096, 1365, 440, 462) (1365, 924; 1, 462) k = 1365, υ = 21, µ = 43 2,12 1 1 1 − Γ (3) (4096, 455, 54, 50) (455, 400; 1, 50) k = 455, υ = 7, µ = 57 2,12 3 3 3 − Γ¯ (1) (4096, 2730, 1826, 1086) (2730, 903; 1, 1804) k¯ = 2730, υ¯ = 42, µ¯ = 22 2,12 1 1 1 − Γ¯ (3) (4096, 3640, 3234, 3240) (3640, 405; 1, 832) k¯ = 3640, υ¯ = 8, µ¯ = 56 2,12 3 3 − 3 1 3 6 From the table above one can check that 924 = 2 462 and 400 = 2 50. Moreover, ki = (2 +1)υi ¯ · · µ1+1 ¯ 3 for i = 1, 3 and that k3 k1 and υ3 υ1. Also, k1 = 2k1, µ¯1 = 2µ1, υ¯1 +1= 2 and k3 = 2 k3, 3 µ3+1| | µ¯3 = 2 υ3, υ¯3 +1= 23 .

6. Energy

Another important spectral invariant of a graph is its energy. Given a graph Γ of n vertices with eigenvalues λ n , the energy of Γ is deﬁned by { i}i=1 n (6.1) E(Γ) = λ . | i| Xi=1 As a corollary of Theorem 3.5, we obtain the energy of the graphs Γq,m(ℓ) and Γ¯q,m(ℓ). SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 19

Proposition 6.1. The energy of Γ=Γ (ℓ) and Γ=¯ Γ¯ (ℓ) are given by q,m ∈ Gq,m q,m ∈ Gq,m 1 2kℓ µℓ if mℓ is even, E(Γ) = | | 2 ℓ 1 (2kℓq υℓ if 2 mℓ is odd, (6.2) | | 1 2k¯ℓ υ¯ℓ if mℓ is even, E(Γ)¯ = | | 2 (2k¯ υ if 1 m is odd, ℓ| ℓ| 2 ℓ for ℓ = m and 6 2 m ¯ m ℓ ¯ (6.3) E(Γq,m( 2 )) = E(Γq,m( 2 )) = 2kℓq = 2kℓ, where kℓ, υℓ, µℓ and k¯ℓ, υ¯ℓ, µ¯ℓ are the eigenvalues of Γq,m(ℓ) and Γ¯q,m(ℓ) as given in Theorem 3.5 and Proposition 4.3, respectively. In particular, 2k E(Γ) and 2k¯ E(Γ)¯ for any ℓ and also λ E(Γ) and λ¯ E(Γ)¯ for ℓ = m , where λ| , λ¯ are the| smallest eigenvalues of min | min | 6 2 min min Γq,m(ℓ), Γ¯q,m(ℓ) respectively.

Proof. We have E(Γ (ℓ)) = k + m(υ ) υ + m(µ ) µ . q,m ℓ ℓ | ℓ| ℓ | ℓ| The result thus follows directly after straightforward but tedious computations from Theorem 3.5, considering the different cases. To compute E(Γ¯q,m(ℓ)) we proceed similarly using Proposition 4.3. The divisibility of the energies of Γ and Γ¯ by 2k and 2k¯ respectively are obvious. For the remaining assertion, notice that by Notes 3.6 and 4.4 and Corollary 4.5, in case ℓ = m we have 6 2 E(Γ) = 2k λ if 1 m is even and E(Γ) = 2k¯ λ if 1 m is odd, while E(Γ)=2¯ k¯ λ¯ , if 1 m | min| 2 ℓ | min| 2 ℓ | min| 2 ℓ is even and, E(Γ) = 2k λ¯ if 1 m is odd. The result clearly follows from this observation. | min| 2 ℓ Equienergetic non-isospectral graphs. Two graphs of the same order are said to be equienergetic if they have the same energy and isospectral if they have the same spectrum. Thus, by (6.2), no two of the graphs in nor in ¯ are mutually equienergetic; that is Gq Gq E(Γ (ℓ)) = E(Γ (ℓ′)) and E(Γ¯ (ℓ)) = E(Γ¯ (ℓ′)) q,m 6 q,m q,m 6 q,m for every fixed q, m and every ℓ = ℓ . By definition, isospectrality implies equienergeticity. 6 ′ The converse is false; the simplest counterexample is given by the pair C4 and K2 K2, since Spec(C )= [0]2, [2]2 and Spec(K K )= [ 1]2, [1]2 , and hence E(C )= E(K ⊗ K ) = 4. 4 { } 2 ⊗ 2 { − } 4 2 ⊗ 2 We now give some pairs of equienergetic and non-isospectral graphs obtained with our families. Corollary 6.2. We have the following pairs of equienergetic and non-isospectral graphs: ¯ 1 (a) Γq,m(ℓ) and Γq,m(ℓ) for 2 mℓ odd. m m m (b) Γ ( )= q 2 K m and Γ¯ ( )= K m m . q,m 2 q 2 q,m 2 q 2 q 2 × (c) Γ (ℓ) K and Γ (ℓ) K for ℓ = m . q,m × 2 q,m ⊗ 2 6 2 (d) Γ¯ (ℓ) K and Γ¯ (ℓ) K for ℓ = m . q,m × 2 q,m ⊗ 2 6 2 Proof. The pairs of graphs in (a) and (b) are equienergetic by (6.2), since k¯ = kqℓ, and (6.3) respectively. The graphs in each equienergetic pair are non-isospectral to each other since Γq,m(ℓ) and Γ¯q,m(ℓ) have different spectra by Theorem 3.5 and Proposition 4.3. Parts (c) and (d) are consequences of Theorem 8 in [2], which asserts that if G is a connected graph with eigenvalues λ1, . . . , λn, then G K2 and G K2 are equienergetic and non-isospectral if and only if λ 1 for i = 1,...,n. The× graphs Γ ⊗ (ℓ) and Γ¯ (ℓ) are integral. For ℓ = m , | i|≥ q,m q,m 6 2 the graphs Γq,m(ℓ) are connected with non-zero eigenvalues, hence (c) follows. The graphs Γ¯q,m(ℓ) are always connected and have non-trivial eigenvalues if ℓ = m , this imply (d). 6 2 20 RICARDO A. PODESTÁ, DENIS E. VIDELA

Hyperenergeticity and maximal energy. It is known that E(Γ) 2√n 1 with equality if and ≥ − only if Γ= K1,n 1, i.e. for 1-stars ([13]). A graph Γ is called hyperenergetic if − E(Γ) > E(K ) = 2(n 1). n − We now show that all the graphs considered are generically hyperenergetic. Corollary 6.3. The graphs Γ (ℓ) and Γ¯ (ℓ) ¯ with ℓ = m are hyperenergetic, q,m ∈ Gq,m q,m ∈ Gq,m 6 2 except for the Clebsch graph Γ2,4(1).

Proof. The result follows directly from (6.2) using Theorem 3.5 and Proposition 4.3. In fact, m m ¯ m for ℓ = 2 , one checks that E(Γq,m(ℓ)) > 2(q 1) and E(Γq,m(ℓ)) > 2(q 1) for any (q,m,ℓ6 ) = (2, 4, 1). (This is a direct proof. It is known− that every srg is hyperenergetic− unless 6 four cases ([25]); and out of these, only srg(16, 5, 0, 2) =Γ2,4(1) is in our family.)

Koolen and Moulton ([18]) gave two upper bounds for the energy of a graph Γ with n vertices and e edges: one in terms of n only (6.4) E(Γ) 1 n(1 + √n); ≤ 2 and another one which, in the case that Γ is k-regular, takes the following simple form (6.5) E(Γ) k + k(n 1)(n k). ≤ − − We will say that a graph has maximal energypif equality holds in (6.4) and that it has k-maximal energy if equality holds in (6.5).

Corollary 6.4. No graph in the families q,m and ¯q,m has maximal energy. The only k-maximal energetic graph in ¯ is the complementG ofG the Clebsch graph Γ¯ (1) = srg(16, 10, 6, 6). Gq,m ∪ Gq,m 2,4 Proof. The ﬁrst assertion follows from Proposition 6.1 by a case-by-case analysis. For the second one, by Theorem 3 in [18], equality holds in (6.4) if and only if Γ is an SRG with parameters n+√n n+√n n+√n ¯ srg(n, 2 , 4 , 4 ). By Remark 5.3, the only possibility is Γ2,4(1) = srg(16, 10, 6, 6).

Although the graphs in the families q,m and ¯q,m are not k-maximal energetic, we will show that they are asymptotically k-maximalG energetic.G

Denote by E = E0(Γ) = k + k(n 1)(n k) the right hand side of (6.5) and let E¯ = E0(Γ)¯ be the corresponding one for the complement− − graph Γ¯. Balakrishnan proved ([1]) that for each p ǫ> 0, there exist inﬁnitely many non-complete unitary Cayley graphs Γn = X(Zn, Zn∗ ) such that E(Γn) < ǫE0. We now show that there is an inﬁnite family of generalized Paley graphs satisfying the same condition.

Proposition 6.5. Given ǫ> 0, for ﬁxed m,ℓ (resp. q) there exist q0 (resp. m0, ℓ0) such that for every q q (resp. m m , ℓ ℓ ) we have E(Γ (ℓ)) < ǫE and E(Γ¯ (ℓ)) <ǫE¯ . ≥ 0 ≥ 0 ≥ 0 q,m 0 q,m 0 Proof. It is enough to show that lim E(Γq,m(ℓ)) = 0 and lim E(Γq,m(ℓ)) = 0 and similarly for q E0 m,ℓ E0 →∞ →∞ qm 1 the limits involving Γ¯ (ℓ). Notice that E = k + k (qm 1)(qm k ) where k = − , q,m 0 ℓ ℓ − − ℓ ℓ qℓ+1 then we have m+pℓ E0 = kℓ(1 + q + 1). By Theorem 3.5 and Proposition 6.1 we have thatp m +ℓ E(Γq,m(ℓ)) 2k µ 2(q 2 +1) = ℓ| ℓ| = . E0 m+ℓ ℓ m+ℓ kℓ(1+√q +1) (q +1)(1+√q +1) 1 in the case 2 mℓ even. Thus, lim E(Γq,m(ℓ)) = lim 1 = 0 q E0 q √qℓ →∞ →∞ SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 21

ℓ E(Γq,m(ℓ)) 1 and similarly lim = lim q− 2 = 0. The case m odd is analogous. For the m,ℓ E0 m,ℓ 2 ℓ complements we proceed→∞ in the same way, but→∞ we omit the details, and the proof is complete.

7. The Waring’s problem

Here we give an application of our results to the Waring’s problem over finite fields. The Waring’s problem is about to compute or estimate the Waring number, which is the smallest number s = g(k,q) such that the diagonal equation xk + + xk = b 1 · · · s has a solution for every b F with respect to k. In other words, determine the minimum number ∈ q s such that every element of Fq can be written as a sum of at most s terms of k-th powers in the field. n pn 1 The Waring number g(k,p ) exists if and only if − ∤ k for all d n, d = n. Also, since pd 1 | 6 g(k,q)= g(d, q) with d = (k,q 1), it is enough to assume− that k pm 1. It is well known that g(k,p) k and − | − ≤ p 1 (7.1) g(k,p)= k k = 1, 2, − , p 1. ⇔ 2 − Moreover, Small proved (see [28]) that m (7.2) k q 1 and 2 k

Theorem 7.1. Let q be a prime power and let m,ℓ be positive integers such that ℓ m with mℓ even. If ℓ = m , then g(qℓ + 1,qm) = 2. | 6 2 Proof. By Proposition 4.6, the graph Γ (ℓ) is connected since ℓ = m . Moreover, Γ (ℓ) has q,m 6 2 q,m diameter 2 since it is a strongly regular graph. Thus, if a Fq∗m then 1 d(a, 0) 2. If ∈ qℓ+1 ≤ ≤ d(a, 0) = 1, then a0 is an edge an hence a 0 S , i.e. a = x for some x F m . On the − ∈ ℓ ∈ q∗ other hand, if d(a, 0) = 2 then there is a path ab0, that is a b Sℓ and b 0 Sℓ. In other q−ℓ+1 ∈ qℓ−+1 ∈ words, there exist elements x ,x F m such that a b = x and b = x , from which we 1 2 ∈ q∗ − 1 2 qℓ+1 qℓ+1 ℓ m get that a = x1 + x2 and hence g(q + 1,q ) = 2, as desired.

Note that if q is even and mℓ is odd, Γq,m(ℓ) is the complete graph Kqm which has diameter one. Hence, g(k,qm) = 1 in this case. m m Remark 7.2. If q = p with m = 4t, taking ℓ = 4 we have that mℓ = 4 is even and thus m m m g(p 4 + 1,q) = 2, by Theorem 7.1 since p 4 + 1 p + 1. In this way, we have extended a little | 1 bit Small’s result (7.2), that is g(k,q) = 2 for any 2 k q 4 + 1. ≤ ≤ We now stress that there are generalized Paley graphs not in the families considered in this paper that are not strongly regular. m pm 1 Remark 7.3. Consider the generalized Paley graph Γ = GP (p , k− ) with k not necessarily equal to pℓ + 1 (see Remark 2.6). By using the same argument as in the proof of Theorem 7.1, m one can show that if Γ= srg(v, k′, e, d) is strongly regular with d> 0, then g(k,p ) = 2. Since it is known that in general g(k,pm) = 2 (see Chapter 7 of [24]) then there must exist generalized Paley graphs which are not strongly6 regular. p 1 p 1 For instance, we have g( −2 ,p) = −2 by (7.1), hence diﬀerent from 2 for p = 5. In this p−1 6 case, the graph GP (p, 2) = X(F , x 2 : x = 0 ) is the cycle C which is not strongly regular. p { 6 } p 22 RICARDO A. PODESTÁ, DENIS E. VIDELA

For non-trivial examples of this kind we can take the pairs (k,p) = (4, 17) and (k,p) = (5, 31) with Waring number g(k,p) = 3 (see the table in §7.3.50 of [24]). This implies that the graphs GP (17, 4) = X(F , x4 : x = 0 ) and GP (31, 6) = X(F , x5 : x = 0 ) are not strongly regular. 17 { 6 } 31 { 6 } 8. Ramanujan graphs

The complete graphs Kn are Ramanujan for every n and Paley graphs P (q) are Ramanujan for q 9. We will next show that some of the graphs Γq,m(ℓ) are Ramanujan. This can only happen≥ in characteristics 2 and 3.

Theorem 8.1. Let Γq,m(ℓ) q,m. The graph Γq,m(ℓ) is Ramanujan if and only if q 2, 3, 4 , ℓ = 1 and m 4. ∈ G ∈ { } ≥

Proof. Suppose ﬁrst that Γq,m(ℓ) is Ramanujan. Thus, since mℓ is even (hence m is even), by Theorem 3.5 we have that #Sℓ = kℓ and that the nontrivial eigenvalue with the biggest absolute value is µℓ given in (3.10), that is λ(Γq,m(ℓ)) = µℓ . Then, they satisfy the inequality (1.1) which now takes the form | | m 1 q 2 +ℓ+ε qm 1 2 − 1 2 qℓ+1 ≤ qℓ+1 − which is equivalent to m +ℓ 2 ℓ m ℓ (8.1) (q 2 + ε) 4(q + 1)(q q 2). ≤ − − m m +ℓ ℓ ℓ m ℓ ℓ From this we get q 2 (q 2 + 2εq 4(q + 1)q 2 ) 4(q + 1)(q + 2) < 0. In particular, we must have − ≤ − m +ℓ ℓ ℓ m q 2 + 2εq 4(q + 1)q 2 < 0. − ℓ 2 m Taking x = q , this is equivalent to x 2bx 4 0 with b = εq− 2 2 < 0. This implies that x< 2b, that is − − ≤ − − ℓ 2ε q 4 m . ≤ − q 2 This can only happen when q = 2, 3, 4 with ℓ = 1 or q = 2 with ℓ = 2. But this last case cannot happen since if q = 2 and ℓ = 2, the graph Γ2,m(2) satisfy (1.1) only for m = 2, 4. But the graphs Γ2,2(2) and Γ2,4(2) are not allowed.

Now, if m = 2, the graphs Γ2,2(1), Γ3,2(1) and Γ4,2(1) are not Ramanujan. These graphs, by part (b) of Theorem 3.5 are a disjoint union of complete graphs, hence not connected (although m Kn is Ramanujan), since ℓ =1= 2 in this case. Therefore, we must have m 4 when q = 2, 3, 4 with ℓ = 1. ≥

Now we check that the graphs Γq,m(1) are Ramanujan for q = 2, 3, 4 and m 4. Suppose m +1 2 m ≥ that q = 2. In this case, (8.1) reads (2 2 + ε) 12(2 4), which in turn is equivalent to m+3 m +2 ≤ − 2 ε2 2 49 which clearly holds for any m 4. Therefore Γ2,2t(1) is Ramanujan for all t 2.− Now, assume≥ that q = 3. In this case, (8.1) reads≥ ≥ m+2 m +1 m m+2 m 3 + 2ε3 2 + 1 16(3 5) = 3 + 7 3 80, ≤ − · − m m +1 which in turn gives 7 3 2ε3 2 81, which holds for m 4. Therefore Γ3,2t(1) is Ramanujan · − ≥ m +1 ≥ 2 m for all t 2. Finally, if q = 4, (8.1) takes the form (4 2 + ε) 20(4 6), which is equivalent m+3 ≥ m +1 ≤ − to 4 2ε4 2 121, which holds for every m 2. However, Γ4,2(1) is not Ramanujan since it is not− connected.≥ Thus Γ (1) is Ramanujan fo≥ every t 2, and the result thus follows. 4,2t ≥ Remark 8.2. We have shown that = q,m q,m contains 3 inﬁnite families of Ramanujan graphs, namely G {G }

(8.2) 2 := Γ2,2t(1) t 2, 3 := Γ3,2t(1) t 2, and 4 := Γ4,2t(1) t 2. G { } ≥ G { } ≥ G { } ≥ Thus, we have obtained inﬁnite families of Ramanujan graphs deﬁned over F2, F3 and F4. SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 23

By Proposition 2.8, Γ (1) Γ ′ (1) if and only if m m . In this way, we can construct q,m ⊂ q,m | ′ several infinite towers of Ramanujan graphs in q = q,m m (i.e. over Fq) with fixed q = 2, 3 or 4, although with different regularity degree. ForG instance,{G } for each fixed q 2, 3, 4 , we can n q2 1 ∈ { } take the following tower of − -regular graphs (n 2) 4 ≥ Γ (1) Γ (1) Γ n (1) Γ n+1 (1) q,4 ⊂ q,8 ⊂···⊂ q,2 ⊂ q,2 ⊂··· Remark 8.3. The first graph in the family is Γ (1) = srg(16, 5, 0, 2) known as the Clebsch G2 2,4 graph. The first graph in the family 3, i.e. Γ3,4(1), is by Proposition 5.2 an (81, 20, 1, 6) strongly regular graph. Brouwer and HaemersG proved that this graph is unique ([4]). In particular, we have proved that the the Clebsch graph srg(16, 5, 0, 2) and the Brouwer-Haemers graph Γ3,4(1) = srg(81, 20, 1, 6), as well as their complements, are all Ramanujan graphs.

We now show that all the complementary graphs are Ramanujan. Theorem 8.4. Any graph Γ= Γ¯ (ℓ) ¯ is Ramanujan. q,m ∈ Gq,m ℓ Proof. Γ is a connected q kℓ-regular graph. By Proposition 4.3, the nontrivial eigenvalue of ℓ highest absolute value of Γ is µ¯ℓ = q υℓ. Then we just have to prove that (1.1) holds, that is m 1 qℓ(q 2 ε) qℓ(qm 1) − 2 − 1 2 . qℓ+1 ≤ qℓ+1 − 2ℓ m m ℓ m+ℓ ℓ This inequality is equivalent to q (q 2εq 2+ 1) 4(q + 1)(q 2q 1), which in turn m+2ℓ m+ℓ − m +ℓ 2ℓ≤ ℓ − − holds if and only if 3q + 4q + 2εq 2 8q + 12q + 4. This inequality can be further simpliﬁed to ≥ m m +ℓ m ℓ q 2 (3q 2 + 4q 2 + 2ε) 8(q + 2) ≥ which is always true, because ℓ = m and m 4 in all these cases. 6 2 ≥

We now give the parameters of the 3 families of Ramanujan graphs over F2, F3 and F4 and their complementary families (using Proposition 5.2); while for the ﬁrst 3 graphs in each of the families we give their spectra (using Theorem 3.5 and Proposition 4.3):

(a) Families over F2: t 4t 1 4t+( 2)t+1 8 4t+( 2)t 2 Γ2,2t(1) = srg(4 , 3− , − 9 − , −9 − ) ¯ t 2(4t 1) 4t+1+( 2)t 14 4t+1+( 2)t+1 2 Γ2,2t(1) = srg(4 , 3− , −9 − , −9 − )

Table 1. The families over F2.

t graph srg parameters spectrum 2 Γ (1) (16, 5, 0, 2) [5]1, [1]10, [ 3]5 2,4 { − } 2 Γ¯ (1) (16, 10, 6, 6) [10]1, [2]5, [ 2]10 2,4 { − } 3 Γ (1) (64, 21, 8, 6) [21]1, [5]21, [ 3]42 2,6 { − } 3 Γ¯ (1) (64, 42, 26, 30) [42]1, [2]42, [ 6]21 2,6 { − } 4 Γ (1) (256, 85, 24, 30) [85]1, [5]170, [ 11]85 2,8 { − } 4 Γ¯ (1) (256, 170, 114, 110) [170]1, [10]85, [ 6]170 2,8 { − }

(b) Families over F3: t 9t 1 9t+2( 3)t+1 11 9t+2( 3)t 3 Γ3,2t(1) = srg(9 , 4− , −16 − , 16− − ) ¯ t 3(9t 1) 9t+1+2( 3)t 27 9t+1+2( 3)t+1 3 Γ3,2t(1) = srg(9 , 4− , 16− − , 16− − ) 24 RICARDO A. PODESTÁ, DENIS E. VIDELA

Table 2. The families over F3.

t graph srg parameters spectrum 1 60 20 2 Γ3,4(1) (81, 20, 1, 6) [20] , [2] , [ 7] { 1 20 − 60} 2 Γ¯3,4(1) (81, 60, 45, 42) [60] , [6] , [ 3] { 1 182 − 546} 3 Γ3,6(1) (729, 182, 55, 42) [182] , [20] , [ 7] { 1 546 − 182} 3 Γ¯3,6(1) (729, 546, 405, 420) [546] , [6] , [ 21] { 1 4920 − 1640} 4 Γ3,8(1) (6561, 1640, 379, 420) [1640] , [20] , [ 61] 4 Γ¯ (1) (6561, 4921, 3699, 3660) {[4921]1, [60]1640, [−21]4920} 3,8 { − }

t 16t 1 16t+3( 4)t+1 14 16t+3( 4)t 4 Γ4,2t(1) = srg(16 , 5− , −25 − , 25− − ) ¯ t 4(16t 1) 16t+1+3( 4)t 44 16t+1+3( 4)t+1 4 Γ4,2t(1) = srg(16 , 5− , 25− − , 25− − )

Table 3. The families over F4.

t graph srg parameters spectrum 1 204 51 2 Γ4,4(1) (256, 51, 2, 12) [51] , [3] , [ 13] { 1 51 − 204} 2 Γ¯4,4(1) (256, 204, 164, 156) [204] , [12] , [ 4] { 1 819 − 3276} 3 Γ4,6(1) (4096, 819, 194, 156) [819] , [51] , [ 13] { 1 3276 − 819} 3 Γ¯4,6(1) (4096, 3276, 2612, 2652) [3276] , [12] , [ 52] { 1 52428 − 13107} 4 Γ4,8(1) (65536, 13107, 2498, 2652) [13107] , [51] , [ 205] 4 Γ¯ (1) (65536, 52428, 41972, 41820) {[52428]1, [204]13107,−[ 52]52428} 4,8 { − }

The parameters of Γ2,4(1), Γ¯2,4(1), Γ2,6(1), Γ¯2,6(1), Γ2,8(1), Γ¯2,8(1), Γ3,4(1), Γ¯3,4(1), Γ3,6(1), Γ¯3,6(1) and Γ4,4(1), Γ¯4,4(1) are in coincidence with the parameters in the tables of Brouwer’s web page (see [3]). The remaining graphs, Γ3,8(1), Γ¯3,8(1), Γ4,6(1), Γ¯4,6(1) and Γ4,8(1), Γ¯4,8(1), are not in those tables. Ihara proved that a graph is Ramanujan if and only if the Ihara zeta function of Γ satisﬁes the Riemann hypothesis in this context ([15]). So, we now investigate these functions for our graphs.

Ihara’s zeta function. The Ihara zeta function ζΓ(u) of a k-regular graph Γ has a determinantial expression ([14]) (1 u2)1 r(Γ) (8.3) ζ (u)= − − Γ det(Id uA + (k 1)u2Id) − − where r(Γ) is the circuit rank of Γ deﬁned by r(Γ) = χ(Γ) + c, where χ(Γ) = e n is the Euler characteristic (e is the number of edges and n the number of vertices) and c the− number of connected component of Γ) and A is the adjacency matrix of Γ. Also, by [8], if Γ is connected, non- bipartite and has minimal degree at least 2 then 1 u2 does not divide det(Id uA (k 1)u2 Id). − − − − By Ihara’s result, ζ (u) and ζ¯ (u) satisfy the Riemann hypothesis for all Γ and Γ Γ ∈ G2 ∪ G3 ∪ G4 all Γ=¯ Γ¯q,m(ℓ). For a connected k-regular graph we have that 1 r(Γ) = n e = n nk < 0. Further, − − − 2 A is conjugated to the diagonal matrix diag(λ1, λ2, . . . , λn). Hence, from expression (8.3) the SPECTRA OF GENERALIZED PALEY GRAPHS AND APPLICATIONS 25 reciprocal of ζΓ(u) is a integral polynomial of degree 2e = kn given by 1 2 e n 2 (8.4) ζ (u)− = (1 u ) − (1 λ u + (k 1)u ) Z[u]. Γ − − i − ∈ 1 i n ≤Y≤ Denote by Q(t, u) = 1 tu + (k 1)u2 the quadratic polynomials appearing in (8.4). Note that D(k, 1) = 0 and hence−D(k, u) =− (u 1)((k 1)u 1). The following result is automatic. − − − Proposition 8.5. The Ihara zeta function of Γ ¯ is given by ∈ Gq,m ∪ Gq,m k m 1 2 ( 1)q mυ mµ (8.5) ζ (u)− = (1 u ) 2 − (u 1)((k 1)u 1) Q(υ, u) Q(µ, u) Γ − − − − where Spec(Γ) = [k]1, [υ]mυ , [µ]mµ . { } The complexity K(Γ) of a graph Γ is the number of spanning trees of Γ. By Kirchkoﬀ’s formula, the complexity of the graphs Γ ¯ is ∈ Gq,m ∪ Gq,m (8.6) K(Γ) = 1 (k υ)mλ (k µ)mµ . qm − − This invariant is also computable in terms of the Ihara zeta function of Γ. By a result of Hashimoto ([14]), we have 1 1 ζ− (u) K(Γ) = lim Γ . 2rχ(Γ) u 1 (1 u)r → − Thus, by (8.5) and using that Q(λ, 1) = (k υ) and Q(µ, 1) = (k µ) we get (8.6). − − Example 8.6. We now give explicitly the Ihara zeta functions for the Clebsch and the Brouwer- Haemers graphs and for their complements, and we also compute their complexities. We use Tables 1 and 2.

(i) For the Clebsch graph Γ=Γ2,4(1) and their complement we have 1 2 24 2 2 10 2 5 ζ− (u) = (1 u ) (1 5u + 4u ) (1 u + 4u ) (1 + 3u + 4u ) , Γ − − − 1 2 64 2 2 5 2 10 ζ− (u) = (1 u ) (1 10u + 9u ) (1 2u + 9u ) (1 + 2u + 9u ) . Γ¯ − − − The complexities are given by K(Γ) = 1 (5 1)10(5 + 3)5 = 231, K(Γ)¯ = 1 (10 2)5(10 + 2)10 = 231310. 16 − 16 − (ii) For the Brouwer-Haemers graph Γ=Γ3,4(1) and their complement we have 1 2 729 2 2 60 2 20 ζ− (u) = (1 u ) (1 20u + 19u ) (1 2u + 19u ) (1 + 7u + 19u ) , Γ − − − 1 2 2349 2 2 20 2 60 ζ− (u) = (1 u ) (1 60u + 59u ) (1 6u + 59u ) (1 + 3u + 59u ) . Γ¯ − − − The complexities of the graphs are 1 60 20 60 116 20 ¯ 1 20 60 20 174 60 K(Γ) = 81 18 13 = 2 3 13 , K(Γ) = 81 54 63 = 2 3 7 .

References

[1] R. Balakrishnan. The energy of a graph. Linear Algebra Appl. 387, (2004) 287–295. [2] A.S. Bonifácio, C.T.M. Vinagre, N.M. Maia de Abreu. Constructing pairs of equienergetic and non-cospectral graphs. Appl. Math. Lett. 21:4 (2008) 338–341. [3] A.E. Brouwer. Table of parameters of strongly regular graphs. Brouwer’s web page www.win.tue.nl/~aeb/graphs/srg/srgtab.html [4] A.E. Brouwer, W.H. Haemers. Structure and uniqueness of the (81, 20, 1, 6) strongly regular graph. Discr. Math. 106/107 (1992) 77–82. [5] A.E. Brouwer, W.H. Haemers. Eigenvalues and perfect matching. Linear Algebra App. 395 (2005) 155–162. [6] A.E. Brouwer, D.M. Mesner. The connectivity of strongly regular graphs. European J. Comb. 6 (1985) 215–216. 26 RICARDO A. PODESTÁ, DENIS E. VIDELA

[7] P.J. Cameron, J.H. van Lint. Designs, graphs, codes and their links. Cambridge University Press, LMSST 22, 1991. [8] Y. Cooper. Properties determined by the Ihara zeta function of a graph. Electron. J. Combin. 16:1 (2009) #R84. [9] D.M. Cvetković. Cubic integral graphs. Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. No. 498/541 (1975) 107–113. [10] E.R. van Dam, W.H. Haemers. Which graphs are determined by their spectrum? Special issue on the Combinatorial Matrix Theory Conference (Pohang, 2002). Linear Algebra App. 373 (2003) 241–272. [11] A. Devillers, J.B. Fawcett, Ch.E. Praeger, J.X. Zhou. On k-connected-homogeneous graphs. Journal of Combinatorial Theory, Series A, 173 (2020), 105234. [12] K. Feng, J. Luo. Weight distribution of some reducible cyclic codes. Finite Fields Appl. 14:2 (2008) 390–409. [13] I. Gutman. The energy of a graph: old and new results. In Algebraic Combinatorics and Applications, A. Betten, A. Kohner, R. Laue, and A. Wassermann, eds., Springer, Berlin, 2001, 196–211. [14] I. Hashimoto. Zeta function of finite graphs and representation of p-adic groups. Adv. Studies in Pure Math. 15 (1989) 211–280. [15] Y. Ihara. On discrete subgroup of the two by two projective linear group over p-adic. J. Math. Soc. Japan 18 (1966) 219–235. [16] A. Klapper. Cross-correlations of geometric sequences in characteristic two. Des. Codes Cryptogr. 3:4 (1993) 347–377. [17] A. Klapper. Cross-correlations of quadratic forms sequences in odd characteristic. Des. Codes Cryp- togr. 3:4 (1997) 289–305. [18] J.H. Koolen, V. Moulton. Maximal energy graphs. Adv. in Appl. Math. 26:1 (2001) 47–52. [19] R. Lidl, H. Niederreiter. Finite fields. Cambridge University Press, 1997. [20] T.K. Lim, C.E. Praeger. On generalized Paley graphs and their automorphism groups. Michigan Math. J. 58:1 (2009) 293–308. [21] J. Luo, Y. Tang, H. Wang. Cyclic codes and sequences: the generalized Kasami case. IEEE Trans. Inform. Theory 56:5 (2010) 2130–2142. [22] A. Mohammadian, B. Tayfeh-Rezaie. A note on order and eigenvalue multiplicity of strongly regular graphs. Algebraic design theory and Hadamard matrices, 209–212, Springer Proc. Math. Stat., 133, Springer, Cham, 2015. [23] B. Mohar. Isoparametric number of graphs. J. Combin. Theory B 47 (1989) 274–291. [24] G.L. Mullen, D. Panario. Handbook of finite fields. CRC Press, 2013. [25] P. Panigrahi, R.N. Mohapatra. All primitive strongly regular graphs except four are hyperenergetic. (English summary) Appl. Math. Lett. 24:12 (2011) 1995–1997. [26] R.A. Podestá, D.E. Videla. The Waring’s problem over finite fields through generalized Paley graphs. Discrete Math. 344:5, 112324, 13 pp, 2021. [27] C. Schneider, A.C. Silva. Cliques and colorings in generalized Paley graphs and an approach to syn- chronization. Jour. Alg. Appl. 14:6 (2015) 1550088, 13 pp. [28] C. Small. Sum of powers in large finite fields. Proc. Amer. Math. Society. 65:1 (1977) 356–359. [29] P. Stanica. Graph eigenvalues and Walsh spectrum of Boolean functions. Electronic Journal of Comb. Number Theory 7:2 (2007) 431–442. [30] A. Winterhof. On Waring’s problem in finite fields. Acta Arith. 87:2 (1998) 171–177.

Ricardo A. Podestá – CIEM, Universidad Nacional de Córdoba, CONICET, FAMAF (5000) Córdoba, Argentina. E-mail: [email protected]

Denis E. Videla – CIEM, Universidad Nacional de Córdoba, CONICET, FAMAF (5000) Córdoba, Argentina. E-mail: [email protected]