Arxiv:2012.13642V1 [Math.CO]

arXiv:2012.13642v1 [math.CO] 25 Dec 2020 oman form elEF a evee sasbls fSG,weeaot2%o k of 27% about where SRGs, of subclass a on as viewed parameters be may ETFs real rae elEFwith ETF real a creates hrceie elEF with ETFs real characterizes 4 i of gin nw ocet pia aknsi rjciespace projective in packings optimal create to known with ierpeettvs vr T of ETF every representatives, line [ h arxΦ= Φ matrix the naohrcntuto,a R ihprmtr ( parameters with SRG an construction, another In vectors umn rps(Rs.Uigacntuto fSie,a R ihparamet with SRG an Seidel, of construction a on ET Using real focus (SRGs). of we graphs analogs Here field finite ETFs). the complex are continues to which and (akin geometries, theory orthogonal geometries basic unitary the in develops intr ETFs which are fields [11], finite paper over lines companion equiangular and Frames 2.8). t (Definition information quantum [3 and sensing compressed [16], as fingerprinting such digital areas [21], in munication applications find they others AYR .GEVS OEHW VRO,JH APR N DUSTI AND JASPER, JOHN IVERSON, W. JOSEPH GREAVES, W. R. GARY n k := ] vrtera ubrfil,asequence a field, number real the Over ntera etn,EF r epycnetdwt h hoyof theory the with connected deeply are ETFs setting, real the In over ETFs of phenomenon related the investigate we paper, this In − n 2 QINUA IE NOTOOA GEOMETRY ORTHOGONAL IN LINES EQUIANGULAR λ R { = 1 osrit norfiiefil etn r ekr n l but all and weaker, are setting on field finite parameters our generali modular in a with constraints aligned E closely that are prove geometries we onal constraints, parameter regula certain strongly satisfy and I that ETFs (ETFs). real between frames tight correspondence known equiangular on specifically focusing antb tandi nt rhgnlgoer fdimensi of geometry orthogonal finite a tha show in we attained application, be an cannot As con geometries. necessary derive orthogonal bound and dimensions. finite ETFs, many Gerzon’s real with infinitely that connections of strate deduce geometries we orthogonal graphs, finite triangular to results Abstract. d − qinua ih frame tight equiangular n , . . . , v scalled is 2 etr whenever vectors µ ϕ 4.Ti eainhphspoe ob riflfrtetere of theories the for fruitful be to proven has relationship This [4]. j } v saseilisac,terepresentatives the instance, special a As . ∈ ≤ ϕ eivsiaeeuaglrlnsi nt rhgnlgeome orthogonal finite in lines equiangular investigate We equiangular ℓ 1 RMSOE IIEFIELDS: FINITE OVER FRAMES j 30vrie aif n fteconstraints the of one satisfy vertices 1300 v uhthat such · · · ≤ n 30vrie aif tlatoeo hm pligour Applying them. of one least at satisfy vertices 1300 = ϕ v n v etodlsymmetry centroidal etr whenever vectors 1 + 4 = 1. ϕ d > n ∈ fteeaeconstants are there if j ⊤ Introduction k R ϕ − EF fsize of (ETF) d j × 2 1vcosin vectors +1 = n λ 1 aifisΦΦ satisfies − a L n ( and 2 µ = n hscrepnec uniquely correspondence this and , { ℓ ϕ j 2,9.Fo hsperspective, this From 9]. [23, } d i ⊤ k R j ,k ,µ λ, k, v, R ϕ × ⊤ ∈ P 2 = d j [ d n = ) n − rssti a 1,2,26]. 23, [19, way this arises ,b a, ] 2 aino Rs The SRGs. of zation F nfiieorthog- finite in TFs µ 1 flnstruhteori- the through lines of if iin o Tsin ETFs for ditions cI aallwt the with parallel n n o hsrao and reason this for and , = n,u oacag of change a to up and, , eznsbound Gerzon’s t eas demon- also We L rps(SRGs) graphs r ≥ n5. on 8konSRG known 18 o some for rae elETF real a creates ) { b satie in attained is ϕ n ozr col- nonzero and 0 o every for seuaglrand equiangular is j } k j togyregular strongly Fs. ∈ ,wrls com- wireless ], [ 2 = n r ( ers dcdi the in oduced tries, ] c .MIXON G. N er [18]. heory nt study to on Tsare ETFs . nt fields finite r adto said are onSRG nown µ ,k ,µ λ, k, v, i Tsin ETFs or 6= v j in = ) 2 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON both SRGs and ETFs, and results from each area have been used to establish both existence and nonexistence in the other [4, 10, 15, 22, 8, 1, 2]. A similar phenomenon occurs for ETFs in finite orthogonal geometries, but in this setting we encounter the more general notion of a modular strongly regular graph (Definition 4.1). As with SRGs, modular SRGs are described by parameters (v,k,λ,µ), and an ETF can be obtained if and only if constraints like those above are satisfied (Theorem 4.3 and Theorem 4.5). However, in the finite field setting these parameter constraints need only be satisfied modulo the field characteristic. Thanks to this weaker condition, a much larger fraction of SRGs can be identified with ETFs over finite fields, and we observe that 98% of known SRG parameters on v 1300 vertices occur in this way (Remark 5.2). These≤ constructions produce remarkable examples of ETFs over finite fields. In the real setting, Gerzon’s bound states that Rd admits a system of n equiangular lines only if n d+1 . Saturation is empirically rare, and examples of n = d+1 ≤ 2 2 equiangular lines in Rd are known only for d 2, 3, 7, 23 . It is an open problem whether the bound can be attained in any other∈{ dimension,} and it is known that this can happen only for d 79 such that d + 2 is an odd square [14, 15]. Gerzon’s bound also applies in our finite≥ field setting (Proposition 2.9). However, we now find a completely different behavior: when applied to triangular graphs, our results show that Gerzon’s bound is saturated in some d-dimensional finite orthogonal geometry whenever d 7 is not a power of 2 (Theorem 5.3). This is all the more| − surprising| since we show that ETFs in finite orthogonal geometries are closely aligned with real ETFs. If a d n real ETF exists, then d n ETFs exist in finite orthogonal geometries of all but× finitely many characteristics× (Proposition 3.2). Conversely, if a d n ETF exists in a finite orthogonal geometry of characteristic p> 2n 5, then a real× d n ETF also exists (Proposition 3.3). In this sense, ETFs in finite− orthogonal geometries× may be seen as approximations of real ETFs, and there is only a narrow window in which existence may differ between the two settings. Nevertheless, marked deviations occur within that window, and our results imply the existence of a large quantity of ETFs having sizes that are not known to exist over either the real or complex numbers (Example 5.1). The paper is laid out as follows. The next section provides background on SRGs, orthogonal geometry, and frames and equiangular lines over finite fields. In Sec- tion 3, we examine interactions between real ETFs and those in finite orthogonal geometries, and provide additional necessary conditions for the existence of the latter. Section 4 develops the crucial relationship between ETFs in finite orthogonal geometries and modular SRGs. In Section 5 we give consequences of that theory and find many new ETF sizes over finite fields, including those that at- tain Gerzon’s bound in infinitely many dimensions. Finally, in Section 6 we give a computer-assisted proof that Gerzon’s bound is never attained in a 5-dimensional finite orthogonal geometry of odd characteristic.

2. Preliminaries 2.1. Review of strongly regular graphs. The reader may consult [7] for background on strongly regular graphs. In this paper, all graphs are assumed to be simple and undirected. If Γ is a graph on the v-element vertex set V , then its 0, 1 -adjacency matrix is deﬁned as the V V matrix A with Aij = 1 if vertices i { } × and j are adjacent, and Aij = 0 otherwise, whereas its Seidel adjacency matrix FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY 3 is the V V matrix Σ with entries × 1, if i and j are adjacent; − Σij = 0, if i = j; 1, otherwise.

We denote Jv or simply J for the v v matrix of all ones, and 1v or 1 for the column vector of all ones. Then the two× adjacency matrices are related by

(2.1) Σ = J 2A I. − − By definition, a nontrivial strongly regular graph (SRG) Γ is neither complete nor edgeless, and there are parameters v,k,λ,µ such that its 0, 1 -adjacency matrix A has size v v and satisfies { } × (2.2) AJ = kJ, A2 = µJ + (λ µ)A + (k µ)I. − − We abbreviate this by saying Γ is a (v,k,λ,µ)-SRG. It has exactly two eigenvalues r>s with eigenvectors outside the span of 1, namely 1 1 r = λ µ + (λ µ)2 + 4(k µ) , s = λ µ (λ µ)2 + 4(k µ) . 2 − − − 2 − − − − h p i h p i Each satisfies the equation

(2.3) x2 = (λ µ)x + (k µ), for x r, s − − ∈{ } as well as the relations

(2.4) r + s = λ µ, rs = µ k, (k r)(k s)= µv. − − − − The orthogonal projections

1 k−s 1 k−r Er = (A sI J), Es = (A rI J) r−s − − v s−r − − v 1 together with v J form a basis of mutually orthogonal idempotents for the algebra 1 1 spanned by A,I,J. Here I = v J +Er +Es and A = k( v J)+rEr +sEs. We denote −1 −1 f = rank Er = (r s) (s k vs) and g = rank Es = (s r) (r k vr). If f = g then r and s−are integers,− − and if f = g then (v,k,λ,µ)=(4− µ+1,−2µ,µ− 1,µ). 6 − The complementary graph Γ is also an SRG, with parameters v′ = v, k′ = v k 1, λ′ = v 2k + µ 2, µ′ = v 2k + λ and r′ = s 1, s′ = r 1, f ′ = g, −g′ =−f. We− denote the− eigenvalues− of the Seidel adjacency− − matrix− Σ− = J 2A I of Γ by − −

(2.5) θk = v 2k 1, θr = 2r 1, θs = 2s 1. − − − − − − 1 Here Σ = θk( v J)+ θrEr + θsEs, and in particular Σ1 = θk1. From (2.4) we obtain

1 (2.6) (θk θr)(θk θs)= v 4k +2λ +2µ, v − − − and the spectral decomposition of Σ implies

1 (2.7) (Σ θrI)(Σ θsI) = (θk θr)(θk θs)( J) = (v 4k +2λ +2µ)J. − − − − v − 4 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

2.2. Review of orthogonal geometry. The reader may consult [12] for background on orthogonal geometry.

Definition 2.1. Given an odd prime power q,a quadratic space over Fq is a finite- dimensional vector space W equipped with a form , : W W Fq that satisfies the following: h· ·i × →

(O1) for every u W , the induced mapping u, : W Fq is linear, ∈ h ·i → (O2) u, w = w,u for every u, w W , h i h i ∈ (O3) if u W satisfies u, w = 0 for every w W , then u = 0. ∈ h i ∈ In other words, , is a nondegenerate symmetric bilinear form on W . We also say that , inducesh· ·i an orthogonal geometry on W . h· ·i In Definition 2.1, if ej is a basis for W , then the form , above is { }j∈[d] h· ·i completely determined by its Gram matrix M = ei,ej . It is symmetric h i i,j∈[d] and invertible, and conversely any symmetric invertible d d matrix over F is q the Gram matrix of an orthogonal geometry on W . The determinant× of the Gram F× F matrix M lies in the multiplicative group q of nonzero elements in q, and if we denote F×2 = α2 : α F× F× q { ∈ q }≤ q for the subgroup of nonzero quadratic residues, then the quadratic space W is said to have discriminant discr(W ) = (det M) F×2 F×/F×2. q ∈ q q The latter does not depend on the choice of basis for W . Fd Definition 2.2. For an odd prime power q, the real model on q is given by the nondegenerate symmetric bilinear form (x, y)= x⊤y. Up to isometric isomorphism, a given vector space W has exactly two types of orthogonal geometry: one for which the discriminant is trivial (square-type), and Fd another for which it is not. For example, the real model on the vector space W = q has Gram matrix M = I with det M = 1, so it is an orthogonal geometry with square-type discriminant. As an example of the other type of orthogonal geometry Fd F× on q , let ζ q be a primitive element and create , from the Gram matrix ∈ F×2 h· ·i M = diag(1,..., 1, ζ). Then det M = ζ / q , so that the geometry induced by Fd ∈ , on q has nontrivial discriminant. h· ·iIf W is a quadratic space, then a subspace U W is called totally isotropic if u, w = 0 for every u, w U. In that case dim≤U 1 dim W . h i ∈ ≤ 2 2.3. Review of frames and equiangular lines. The basic theory of frames and equiangular lines over finite fields is developed in the companion paper [11]. We summarize the relevant portions here. Throughout the paper, we abuse notation by identifying a sequenceΦ= ϕj j∈[n] Fn { } of vectors in a quadratic space W with its synthesis operator Φ: q W given by →

Φ xi = xiϕi. { }i∈[n] iX∈[n] † n † Its analysis operator Φ : W F is given by Φ w = ϕi, w , and its Gram q h i i∈[n] † → n×n matrix is the matrix for Φ Φ in the standard basis, namely G = ϕi, ϕj F . h i ∈ q FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY 5

Deﬁnition 2.3. Let W be a d-dimensional quadratic space over Fq, where q is odd. A sequence Φ = ϕj in W is called a frame of size d n if it spans W . A { }j∈[n] × tight frame is a frame Φ for which there exists a frame constant c Fq such † ∈ that ΦΦ = cI. We also call Φ a c-tight frame in that case. If Φ = ϕj is a { }j∈[n] c-tight frame and there exists a Fq such that ϕj , ϕj = a for every j [n], then we call Φ an equal norm tight∈ frame, or an (ha,c)-NTFi . ∈ Unlike the real setting, it may happen that the frame constant equals zero. We emphasize that the vectors of a 0-tight frame span the ambient space by deﬁnition. If Φ is an (a,c)-NTF of size d n, then the equal traces of Φ†Φ and ΦΦ† give × (2.8) na = dc. Proposition 2.4 ([11]). If Φ is a d n frame, then it is a 0-tight frame if and † × Fn only if im Φ is a totally isotropic subspace of q in the real model. In particular, a 0-tight frame of size d n exists only if n 2d. × ≥ As in the real setting, it is possible to infer the existence of a frame from a corresponding Gram matrix. In addition, the Gram matrix uniquely determines the discriminant of the ambient orthogonal geometry, which may be detected through the following notion.

Definition 2.5. Given an n n matrix A = a1 an = Aij , choose × ··· i,j∈[n] any indexing set J [n] such that aj j∈J forms a basis for im A. Then the ⊆ { } principal submatrix Ab := Aij i,j∈J is called a basic submatrix of A. In the following characterization, notice the absence of any condition akin to positive semidefiniteness. n×n Proposition 2.6 ([11]). Let G F (q odd) be a square matrix, and let Gb be a ∈ q basic submatrix (Definition 2.5). Given a quadratic space W , G is the Gram matrix of a frame for W if and only if all of the following are satisfied: (i) G⊤ = G, (ii) rank G = dim W , F×2 (iii) (det Gb) q = discr(W ). In particular, G is symmetric if and only if it is the Gram matrix of a frame for F×2 Frank G an orthogonal geometry with discriminant (det Gb) q on q . Proposition 2.7 ([11]). Suppose G Fn×n is the Gram matrix of a frame Φ. ∈ q Then, G2 = cG if and only if Φ is a c-tight frame.

Deﬁnition 2.8. Let Φ = ϕj be a sequence of vectors in a quadratic space W { }j∈[n] over Fq. For a,b Fq, Φ is called an (a,b)-equiangular system if: ∈ (i) ϕj , ϕj = a for every j [n], h i2 ∈ (ii) ϕi, ϕj = b for every i = j in [n]. h i 6 If this occurs and ϕj = 0 for every j, then we call L = span ϕj j∈[n] a sequence of equiangular lines6 . An (a,b)-equiangular system that{ is also a} c-tight frame is known as an equiangular tight frame, or (a,b,c)-ETF. We have the following version of Gerzon’s bound [14]. Proposition 2.9 (Gerzon’s bound, [11]). Suppose q is an odd prime power and Φ is an (a,b)-equiangular system of n vectors in a d-dimensional quadratic space over 2 d+1 Fq, such that a = b. Then n , and equality holds only if Φ is an ETF. 6 ≤ 2 6 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

The parameters of an (a,b,c)-ETF are related in a manner similar to that given by the Welch bound in the real and complex settings [27]. Proposition 2.10 ([11]). If Φ is an (a,b,c)-ETF of size d n, then × a(c a) = (n 1)b. − − Finally, the sizes of ETFs with nonzero frame constant come in Naimark complementary pairs. We emphasize that the two geometries mentioned below may have diﬀerent discriminants. Proposition 2.11 (Naimark complements, [11]). If c =0 and there is an (a,b,c)- Fd 6 ETF in an orthogonal geometry on q (q odd), then there is a (c a,b,c)-ETF in Fn−d − an orthogonal geometry on q . 2.4. Initial observations. Before beginning in earnest, we make a few basic observations about ETFs in orthogonal geometries. First of all, the existence of an ETF may be detected from its Gram matrix, where the following is immediate from Proposition 2.6 and Proposition 2.7.

Proposition 2.12. Suppose G is a symmetric n n matrix with entries in Fq, × where q is odd. Given a,b,c Fq, G is the Gram matrix of an (a,b,c)-ETF in an Fd ∈ orthogonal geometry on q if and only if all of the following hold: (ii) Gii = a for every i [n], 2 ∈ (ii) (Gij ) = b for every i = j in [n], (iii) G2 = cG, 6 (iv) rank G = d. Remark 2.13. Proposition 2.12 fails to mention the type of orthogonal geometry Fd on q , even though it is uniquely determined by G and can be recovered from the determinant of a basic submatrix. This is easy to compute in practice but may be difficult to predict in general. For this reason, we shall often be deliberately ambiguous as we have done in Proposition 2.12, referring only to “an” orthogonal geometry without specifying its discriminant. In any case, the discriminant can always be made unambiguous by passing to a Fn×n quadratic extension field: any symmetric G q is the Gram matrix of a frame Frank G ∈ for q2 in the real model, since the determinant of a basic submatrix lies in × ×2 F F 2 . In particular, if an (a,b,c)-ETF exists in an orthogonal geometry on q ≤ q Fd Fd q , then an (a,b,c)-ETF exists in the real model on q2 . Remark 2.14. The parameters of an (a,b,c)-ETF may be altered by rescaling its Fn×n Gram matrix. If G q is the Gram matrix of an (a,b,c)-ETF in an orthogonal F∈× 2 geometry and α q , then αG is the Gram matrix of an (αa, α b,αc)-ETF in an orthogonal geometry∈ of the same dimension. Notice that the discriminant changes if the dimension is odd and α / F×2. If n > d then b = 0, since the vectors of a ∈ q 6 (0, 0)-equiangular system span a totally isotropic subspace (and therefore cannot form a frame), while those of an (a, 0)-equiangular system with a = 0 are linearly independent (by the usual argument). As b is a quadratic residue, we6 can normalize to ensure b = 1 whenever n > d. In that case the ambiguity associated with α = 1 remains. (We usually do not normalize a or c since each is often equal to 0.) After− such normalization, the Gram matrix takes the form G = S + aI, where S has zeros on the diagonal and 1 off the diagonal. Here, S is known as the signature ± FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY 7 matrix of the rescaled ETF. Up to a change in sign, it is uniquely determined by the unscaled ETF. We end our preliminary discussion with some trivial ETF constructions. Example 2.15. For any n 2 and any odd prime power q = pl, the matrices I,J Fn×n satisfy I2 = I and≥ J 2 = nJ. The former produces a (1, 0, 1)-ETF in an ∈ q orthogonal geometry of dimension d = n over Fq. The latter produces a (1, 1,n)- ETF of size 1 n. When p fails to divide n, we can take a Naimark complement to obtain an (n× 1, 1,n)-ETF of size (n 1) n. − − × 3. Field conditions In this section, we provide conditions under which the signature matrix of an ETF in one field produces another ETF in a different field. Using this technique, we demonstrate a close correspondence between real ETFs and ETFs in finite orthogonal geometries. In the finite field setting, we show that in most cases the parameters of an (a,b,c)-ETF belong to the base field Fp, and so its Gram matrix factors to produce another ETF of the same size in an orthogonal geometry over the base field. Considering relations between the parameters, we deduce necessary conditions on d,n,p such that a d n ETF exists in a finite orthogonal geometry of characteristic p. × We use the following notation when moving between fields. Let R C be a unital ring of algebraic integers (that is, zeroes of monic polynomials with⊂ integer coefficients), and let π : R F be a unital ring homomorphism into a finite field → F of characteristic p. (For instance, R = Z and F = Fp.) Given a matrix M with entries in R, we denote M = π(M) for its entrywise image over F and rankF M for its rank over F . In case M has integer entries, we also write rankp M := rankF M = rankF M. We routinely abuse notation by identifying integers k Z p ∈ with their images k = π(k) Fp F . The symbols and p indicate equality in ∈ ≤ ≡ ≡ F and Fp, respectively, after appropriate applications of π : R F . These abuses should not cause any confusion in practice, and the exact meaning→ should be clear from context. The following proposition will prove indispensible. It summarizes aspects of Propositions 13.3.1, 13.3.2, and 13.3.4 of [5]. In [5] it is assumed that R is the entire ring of algebraic integers in C. However, a careful reading shows that the same proofs apply in our more general setting. Proposition 3.1 ([5]). Let M be an n n matrix all of whose entries and eigenvalues lie in R. ×

(a) We have rankF M rank M, with equality if M is diagonalizable and every ≤ nonzero eigenvalue θ satisfies θ =0. (b) Suppose M is nonzero, singular,6 and symmetric with integral entries and constant row sum θ0, and that the θ0-eigenspace is one-dimensional. Denote the minimal polynomial of M by (x θ0)h(x), and define ǫ =1 if h(M)=0 and ǫ =0 otherwise. If every other nonzero− eigenvalue θ = θ of M satisfies 6 0 θ =0, then rankF M = rank M ǫ. 6 − 3.1. Interactions between real and finite fields. Proposition 3.2. Suppose S Zn×n is the signature matrix of a real d n ETF with n > d +1. Let q = pl be∈ any odd prime power, but if n = 2d assume× there 8 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

2 n×n exists δ Fq with δ n 1. Then there exist a,c Fq such that S + aI F ∈ ≡ − ∈ ∈ q is the Gram matrix of an (a, 1,c)-ETF of n vectors in an orthogonal geometry on ′ Fd , where d′ d and q ≤ 2 d(n−1) , if n =2d; n (n−1) , if n =2d; a n−d 6 and c d(n−d) 6 ≡ (qδ, if n =2d ≡ (q2δ, if n =2d. (The square roots are integers in the indicated cases.) Furthermore, d′ = d if c 0. 6≡ Proof. Let G = S +âI Rn×n be the Gram matrix of a d n ETF with frame constantc ˆ R. Since G∈= 0 satisfies G2 =cG ˆ , S has eigenvalues× aˆ andc ˆ aˆ, where ∈ 6 − − d(n 1) n2(n 1) aˆ = − , cˆ = d aˆ = − . n d n d(n d) r − s − (See [22, Section 4].) First suppose n =2d. Corollary 13 of [22] states that S has integer eigenvalues, so a,ˆ cˆ Z. Therefore6 G has integer entries and integer spectrum σ(G)= 0n−d, cˆd , ∈ Fn×{n } where superscripts denote geometric multiplicities. Its image G q satisfies 2 ∈ G =c ˆG, and, by Proposition 2.12, it is the Gram matrix of an (â, 1, cˆ)-ETF in ′ d ′ ′ an orthogonal geometry on F , where d = rankp G. We have d d by Proposi- q ≤ tion 3.1(a), and equality holds ifc ˆ p 0. 6≡ Now suppose n = 2d. We havea ˆ = √n 1 andc ˆ = 2√n 1, so the entries − − and eigenvalues of G lie in the ring R = Z[√n 1]. Let π : R Fq be the unique − → unital ring homomorphism for which π(√n 1) = δ. In this case we consider Fn×n − G = π(G) q . As above, G is the Gram matrix of a (δ, 1, 2δ)-ETF in an ∈ ′ orthogonal geometry on Fd , and d′ d with equality if δ = 0. q ≤ 6 We have a partial converse to Proposition 3.2. Proposition 3.3. Suppose there is an ETF of n vectors in an orthogonal geometry on Fd. If q = pl is odd and p> 2n 5, then there is an ETF of n vectors in Rd. q − We do not know if p> 2n 5 is a sharp bound. − Proof. By applying Proposition 2.11 if necessary, we may assume that n 2d. (Note that if the frame constant is zero then we already have n 2d by Proposi-≥ tion 2.4.) We may also assume that n d +2 4, since otherwise≥ a real ETF of the desired size is already known to exist.≥ Then≥ it is easy to show max d, n d, n 1 2n 5 < p, { − − }≤ − so that d p 0 and n d p 0. 6≡ − Fn6≡×n Let G = S + aI q be the Gram matrix of an (a, 1,c)-ETF, where the ∈Fn×n signature matrix S q has zeros on the diagonal and 1 off the diagonal. Here 2 n ∈ ± G = cG = d aG by (2.8), or equivalently, 2 n−2d n−d 2 S = d aS + d a I. 2 On the other hand, S has entries in Fp, and its diagonal is constantly n 1. n−2d n−d 2 − Therefore β := a lies in Fp, and a = n 1. Consequently, d d − (n 2d)2(n 1) (3.1) β2 = − − . d(n d) − FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY 9

We are going to lift S to a matrix over Z and recover a real ETF. Let π : Z Fq → be the unique unital ring homomorphism. Define βˆ to be the unique integer with 1 (p 1) βˆ 1 (p 1) and π(βˆ) = β, and define Sˆ Zn×n to be the unique − 2 − ≤ ≤ 2 − ∈ matrix with Sîj 0, 1 and π(Sîj ) = Sij for every i, j. Since π extends to a ∈ { ± } 2 homomorphism of matrix rings, we have π (Sˆ )ij βˆSîj = 0 whenever i = j. On − 6 the other hand, when i = j, h i 6 2 2 0 (Sˆ )ij βˆSîj (Sˆ )ij + βˆSîj (n 2)+ βˆ

(3.3) χS(x) := det(xI S) Fp[x]. − ∈ 10 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

On the other hand, G has minimal polynomial mG(x)= x(x c) with only 0 and c as its roots. If c = 0, then the Jordan normal form D of−G is diagonal with d = rank G copies of6 c and n d copies of 0 on the diagonal, and if c = 0 then D is upper triangular with all− zeros on the diagonal. In either case, we ﬁnd that d n−d χG(x) := det(xI G) = (x c) x , and so − − d n−d (3.4) χS(x)= χG(x + a) = (x + a c) (x + a) . − By considering the Jordan normal form of G again, we see that d = n. (If c = 0 then d 1 n

k k k χS (x)= h(x) = (x + a) (x + a c) . − This contradicts (3.4) since a = a c and d = n d. Therefore option (I) holds, 6 − 6 − and a,c Fp. In every∈ case, the “consequentally” statement follows from Proposition 2.12.

Corollary 3.5. Suppose there is an ETF of n / d, 2d vectors in an orthogonal Fd l ∈ { } geometry on q , where q = p is an odd prime power. If d p 0 and n p 1, then −1 ×2 6≡ 6≡ n p d and d(n 1)(n d) F . 6≡ − − ∈ p Proof. As explained in Remark 2.14, there is an (a, 1,c)-ETF of n vectors in an d orthogonal geometry on F , where a Fp by Theorem 3.4. Proposition 2.10 states q ∈ that 1 = (n d)[d(n 1)]−1a2, so n d = 0 and − − − 6 d(n 1)(n d)−1 = a2 F×2. − − ∈ p FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY11

4. Relationships with modular SRGs As in the real setting, ETFs in finite orthogonal geometries are closely associated with graphs given by the sign patterns in their signature matrices. In this section we study this correspondence in detail. Specifically, let G be the Gram matrix of an (a,b,c)-ETF Φ of n > d vectors in a d-dimensional orthogonal geometry over Fq, where q is odd. After rescaling as in Remark 2.14, we may assume b = 1. Then the signature matrix S := G aI of Φ is symmetric with zeros on the diagonal and 1 off the diagonal, and so− it is the Seidel adjacency matrix of a graph Γ on n vertices.± A second graph related to Φ is obtained by multiplying each of the frame vectors by 1 to produce another (a, 1,c)-ETF Φ′ with Gram matrix ± a 1⊤ G′ = v . 1v Σ+ aIv Here Φ′ is said to have normalized signature matrix, and Σ is the Seidel adjacency matrix of a graph Γ′ on n 1 vertices. In this section we characterize− graphs Γ′ for which there exists a such that G′ above is the Gram matrix of an ETF (Theorem 4.3). We also characterize graphs Γ for which there exists a such that G above is the Gram matrix of an ETF and the all-ones vector is an eigenvector of G (Theorem 4.5). In both cases, we are led to a modular generalization of strongly regular graphs. SRGs form a special subclass, and for this subclass we identify the ETF size and parameters directly from the SRG parameters (Theorem 4.4 and Theorem 4.6). We frequently encounter matrices S 0, 1, 1 n×n, and we sometimes abuse ∈ { Zn×−n } Fn×n notation by using the same symbol for S as well as its image S q . This should not cause any confusion in practice.∈ ∈ 4.1. ETFs with normalized signature matrix. Definition 4.1. Given an odd prime p, a graph Γ on vertex set V of size v is called a p-modular strongly regular graph with parameters v,k,λ,µ (briefly, a (v,k,λ,µ)-SRGp) if the following hold:

(i) every vertex i V has valency ki p k, ∈ ≡ (ii) whenever i, j V are adjacent, they have exactly λij p λ neighbors in common, ∈ ≡ (iii) whenever i, j V are distinct and non-adjacent, they have exactly µij p µ neighbors in common.∈ ≡

Equivalently, Γ is a (v,k,λ,µ)-SRGp if and only if its 0, 1 -adjacency matrix A 2 { } satisﬁes A p µJ + (λ µ)A + (k µ)I. Applying the operators on both sides of ≡ − − the equivalence to the vector 1, we see that the parameters of a (v,k,λ,µ)-SRGp necessarily satisfy

(4.1) k(k λ 1) p µ(v k 1). − − ≡ − − The following characterization of modular SRGs can be proved easily using (2.1) and the inversion of a 4 4 matrix. We omit details. × Lemma 4.2. Let Σ be the Seidel adjacency matrix of a graph Γ on v vertices. The following are true for any choice of odd prime p:

(a) If Γ is a (v,k,λ,µ)-SRGp, then Σ1 p (v 2k 1)1 and ≡ − − 2 Σ p (v 4k +2λ +2µ)J + 2(µ λ 1)Σ + (4k 2λ 2µ 1)I. ≡ − − − − − − 12 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

(b) Suppose there exist α,β,γ,θ in an extension ﬁeld Fq Fp such that Σ1 2 ≥ ≡ θ1 and Σ αJ + βΣ + γI in Fq. Then α,β,γ,θ Fp, and Γ is a ≡ ∈ (v,k,λ,µ)-SRGp for v α + γ +1 ≡ k 1 (α + γ θ)  ≡ 2 − (4.2)  1  λ (2α β + γ 2θ 3)  ≡ 4 − − − 1 µ 4 (2α + β + γ 2θ + 1),  ≡ − where the inverses are taken in F .  p The theorem below may be considered as a p-modular version of Seidel’s classical theorem relating strongly regular graphs with real ETFs [19, 23, 26]. Theorem 4.3. Let Σ be the Seidel adjacency matrix of a graph Γ on v = n 1 vertices, and deﬁne − 0 1⊤ S = v . 1v Σ l n×n Given an odd prime power q = p , there exist a,c Fq such that S + aI F is ∈ ∈ q the Gram matrix of an (a, 1,c)-ETF if and only if Γ is a (v,k,λ,µ)-SRGp and all of the following hold in Fq:

(i) k p 2µ, ≡ (ii) v p 3k 2λ 1, ≡ − − 2 2 (iii) there exists δ Fq such that δ (λ µ) + 4(k λ). ∈ ≡ − − In that case, S + aI is the Gram matrix of an (a, 1,c)-ETF if and only if a = λ µ + ǫδ +1 and c =2ǫδ for some ǫ 1 . − ∈ {± } If µ p 0, then condition (i) above implies (ii) for any (v,k,λ,µ)-SRGp, as seen 6≡ from (4.1). Similarly, (ii) implies (i) if k λ 1 p 0. However, (i) and (ii) are independent in general. − − 6≡

Proof. First we make a reduction. For any choice of a,c Fq, the matrix ∈ ⊤ a 1v Fn×n G := S + aI = q 1v Σ+ aIv ∈ satisﬁes G2 = cG if and only if 2 ⊤ ⊤ a + v 1v (Σ+2aIv) ac c1v 2 2 = . (Σ+2aIv)1v Σ + Jv +2aΣ+ a Iv c1v c(Σ + aIv) This occurs if and only if:

(I) Σ1v (c 2a)1v, 2 ≡ − 2 (II) Σ Jv + (c 2a)Σ + (ac a )Iv, (III) v ≡−ac a2. − − ≡ − In any case Σ2 has constant diagonal v 1, so that (II) is equivalent to the combina- tion of (II) and (III). By Proposition 2.12,− G is the Gram matrix of an (a, 1,c)-ETF if and only if (I) and (II) hold. In the forward direction, suppose there exist a,c Fq such that G is the Gram matrix of an (a, 1,c)-ETF. We prove (i)–(iii) and deduce∈ the values of a and c. 2 Since (I) and (II) hold, Σ1v θ1v and Σ αJv + βΣ+ γIv for ≡ ≡ (4.3) α = 1, β = θ = c 2a, γ = ac a2. − − − FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY13

By Lemma 4.2(b), Γ is a (v,k,λ,µ)-SRGp with parameters as in (4.2). In particular, 2(k 2µ) (θ β) (α +1) and 2(v 3k +2λ + 1) (θ β) + (α + 1). − ≡ − − − ≡ − Since θ = β and α = 1, we have − (4.4) k p 2µ and v p 3k 2λ 1 p 6µ 2λ 1. ≡ ≡ − − ≡ − − This gives (i) and (ii). For (iii), observe from (4.3) and (4.2) that c = β +2a and v γ = ac a2 = a2 + βa. ≡ − Completing the square to solve for a, we find that (4.5) 4(a + β )2 4v + β2 =: ∆. 2 ≡ Another application of (4.2) gives β 2(µ λ 1), so by (4.4), the right-hand side of (4.5) is ≡ − − ∆ 4(6µ 2λ 1)+4(µ λ 1)2 4[(λ µ)2 + 4(k µ)]. ≡ − − − − ≡ − − β F β 2 1 2 Therefore a + 2 q satisfies (α + 2 ) 4 ∆ (λ µ) + 4(k µ). This gives (iii). ∈ ≡ ≡ −2 −2 Additionally, for either choice of δ Fq such that δ (λ µ) + 4(k µ) we have ∈ ≡ − − a = β + ǫδ λ µ + ǫδ +1 for some ǫ 1 , while c =2a + β =2ǫδ. − 2 ≡ − ∈ {± } In the reverse direction, suppose Γ is a (v,k,λ,µ)-SRGp that satisfies (i)–(iii). 2 2 Choose δ Fq such that δ (λ µ) + 4(k µ). Fix ǫ 1 , and define a = λ µ∈+ ǫδ + 1 and c = 2ǫδ≡. In− order to prove− that G is∈ the {± Gram} matrix of − 2 an (a, 1,c)-ETF, we show (I) and (II). By Lemma 4.2(a), Σ1v θ1v and Σ ≡ ≡ αJv + βΣ+ γIv, where α v 4k +2λ +2µ 1, ≡ − ≡− β 2(µ λ 1), ≡ − − γ 4k 2λ 2µ 1 v, ≡ − − − ≡ θ v 2k 1 2(µ λ 1). ≡ − − ≡ − − We have c 2a 2(µ λ 1) β θ, which gives (I). For (II), observe as above − ≡ − − ≡ ≡ that 4(a + β )2 =4δ2 4v + β2, hence a2 + β v. Consequently, 2 ≡ ≡ ac a2 = a2 + βa v γ. − ≡ ≡ Comparing coefficients, we find that (II) holds.

Theorem 4.4. Let Σ be the Seidel adjacency matrix of a nontrivial SRG with f = g. Deﬁne 6 2r +1 1⊤ G = v Zn×n, 1v Σ+(2r + 1)I ∈ where n = v+1. Suppose p is an odd prime that divides both k 2µ and v 3k+2λ+1. Fn×n − − Then G p is the Gram matrix of a (2r +1, 1, 2r 2s)-ETF in an orthogonal ∈ Fd − geometry on p, where

d = rankp Σ+(2r + 1)I.

Furthermore, d = g +1 if r p s, whereas d min f +1,g +1 if r p s. 6≡ ≤ { } ≡ We omit the case f = g for simplicity, since in that case the matrix G above is already the Gram matrix of a real ETF with n =2d, and Proposition 3.2 applies. 14 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

Proof. Recall our notation (2.5) for the eigenvalues of Σ, where 2r +1 = θr. − Theorem 4.3 implies that G is the Gram matrix of an (a,b,c)-ETF with the given parameters, and the dimension is d = rankp G by Proposition 2.12. It remains to prove that rankp G = rankp Σ θrI, and to deduce the “furthermore” statements. − To begin, we argue in cases to show rankp G = rankp Σ θrI. First suppose − −1 v θk p θr. Then x := (θk θr) 1v F satisfies (Σ θrI)x = 1v. Taking 6≡ − ∈ p − ⊤ transposes, we see that 1 lies in the row space of Σ θrI, and so v − ⊤ 1v rankp Σ θrI = rankp . − Σ θrI − ⊤ If we can show that 1 x θr, then we can continue to find v ≡− ⊤ ⊤ 1v θr 1v rankp = rankp − , Σ θrI 1v Σ θrI − − where the additional column on the right already lies in the column space on the left, as the image of x. It will follow that rankp Σ θrI = rankp G as desired. In fact, the −1 − ⊤ definition of x gives 1 x = (θk θr) v, so we need only show v p θr(θk θr). v − ≡ − − In other words, to prove rankp G = rankp Σ θrI it suffices in this case to show − (4.6) v p (2r + 1)(v 2k +2r). ≡ − By applying the relation r2 = (λ µ)r + (k µ) from (2.3), we find that − − (2r + 1)(v 2k +2r)=4r2 + (2v 4k + 2)r + v 2k − − − = (2v 4k +4λ 4µ + 2)r + v +2k 4µ. − − − Substituting v p 3k 2λ 1, we see that the coefficient on r above is congruent ≡ − − to 2k 4µ. Since k p 2µ we deduce (4.6). Therefore, rankp G = rankp Σ θrI − ≡ − when θk p θr. 6≡ Next we prove that rankp G = rankp Σ θrI in the case θk p θr. Eventually we will find a suitable choice for x to use− the argument above.≡ In the meantime, observe that, by (2.6) and our hypotheses, 1 (θk θr)(v 2k +2s)= v 4k +2λ +2µ p 1. v − − − ≡ − Rewriting the left-hand side, we find

2(θk θr)(k s) 1 p θk θr − − , − ≡ − − v the fraction being an integer. By assumption θk θr p 0, thus − ≡ 2(θk θr)(k s) (4.7) − − Z pZ, v ∈ \ and in particular θk θr = 0. − 6 Now we can produce x. Working over R for the moment, recall that ker(Σ θrI) −1 − contains the column space of (r s)Er = A sI (k s)v J. For an integer m yet to − − − − ⊤ 1 be determined, deﬁne vectors y = m 0 ... 0 and x = 1v +(r s)Ery θk−θr − in Rv. Simplifying, we ﬁnd v (θk θr)(k s)m (4.8) x = (A sI)y + − − − 1v. − v(θk θr) − FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY15

Our goal is to choose m in such a way that all factors of p are cleared from the denominator of (4.8). In that case, we can interpret x as a vector over Fp, and the same relations that helped above will again hold. Let pℓ1 , pℓ2 , and pℓ3 be the ℓ1+ℓ2 largest powers of p that divide v, θk θr, and k s, respectively. Then p is the largest power of p that occurs in− the denominator− of (4.8), and (4.7) implies ℓ1 = ℓ2 + ℓ3. Hence,

ℓ1+ℓ2 ℓ1+ℓ2 ℓ1 ℓ1 gcd p , (θk θr)(k s) = gcd p ,p = p − − divides v. By Bezout’s identity, there is an integer m for whichv (θk θr)(k s)m is a multiple of pℓ1+ℓ2 . With m so defined, the denominator of (4.8)− clears− as− desired. ⊤ v We have (Σ θrI)x = 1v and 1v x = , since (r s)Ery lies in the kernel of − θk−θr − Σ θrI and the orthogonal complement of 1v. Additionally, all factors of p clear from− the denominator of v by (4.7). Overall, we may interpret x as a vector θk−θr Fv in p for which the desired relations hold, and the same argument as above shows that rankp G = rankp Σ θrI. − It remains to prove our “furthermore” statements about d = rankp Σ θrI. We are going to use Proposition 3.1. Define M = Σ+(2r + 1)I Rv×−v, so that ∈ d = rankp M. Here M has eigenvalues θk θr, 0, θs θr. By (2.7) it satisfies − − (4.9) M M + (θr θs)I = (v 4k +2λ +2µ)J. − − Applying our hypotheses v p 3k 2λ 1 and 2µ p k, we find ≡ − − ≡

(4.10) M M + (θr θs)I = J =0. − − 6 Since MJ = (θk θr)J, we deduce from (4.9) and (4.10) that M has minimal polynomial − x(x + θr θs)(x + θr θk)=:(x + θr θk)h(x) − 1 f − g − and spectrum σ(M) = (θk θr) , 0 , (θs θr) , with multiplicities denoted by superscripts and all three{ eigenvalues− distinct.− } We argue in cases. If r p s and θk θr p 0, then θs θr p 0 and Proposi- 6≡ − 6≡ − 6≡ tion 3.1(a) immediately gives d = g +1. If r p s and θk θr p 0, then Proposi- 6≡ − ≡ tion 3.1(b) applies to produce d = g +1 ǫ, where ǫ = 0 since h(M) = 0 by (4.10). − 6 Hence d = g + 1 in this case as well. Finally, suppose r p s. Then θr p θs, and ≡ ≡ M = Σ θrI = Σ θsI. By Proposition 3.1(a), rankp M rank(Σ θrI)= g +1 − − ≤ − and also rankp M rank(Σ θsI)= f + 1. This completes the proof. ≤ − 4.2. ETFs with centroidal symmetry. So far we have related graphs on v vertices with ETFs having n = v + 1 vectors. Now we consider ETFs with n = v vectors. Speciﬁcally, we characterize ETFs having centroidal symmetry, in the sense that the all-ones vector is an eigenvector of the Gram matrix [9]. Theorem 4.5. Let Σ be the Seidel adjacency matrix of a graph Γ on v vertices. The following are equivalent for any choice of odd prime power q = pl:

(i) there exist a,c,θ Fq such that G = Σ+ aI is the Gram matrix of an (a, 1,c)-ETF, and∈G1 θ1, ≡ (ii) Γ is a (v,k,λ,µ)-SRGp with v p 4k 2λ 2µ, and there exists δ Fq such that δ2 (λ µ)2 + 4(k ≡µ). − − ∈ ≡ − − In that case, Σ+ aI is the Gram matrix of an (a, 1,c)-ETF if and only if a λ µ + ǫδ +1 and c 2ǫδ for some ǫ . ≡ − ≡ ∈ {±} 16 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

Proof. Suppose (i) holds. Then Σ1 = (θ a)1, and the equation G2 = cG produces Σ2 = (c 2a)Σ+a(c a)I. From Lemma− 4.2 and the linear independence of J, Σ, I, − − we deduce that Γ is a (v,k,λ,µ)-SRGp with v 4k+2λ+2µ 0, 2(µ λ 1) c 2a, and 4k 2λ 2µ 1 a(c a). In particular,− c = 2(a + ≡µ λ −1) and− ≡ − − − − ≡ − − − 4k 2λ 2µ 1 a(a +2µ 2λ 2) − − − ≡ − − [(a + µ λ 1) (µ λ 1)][(a + µ λ 1)+(µ λ 1)] ≡ − − − − − − − − − (a + µ λ 1)2 (λ µ + 1)2. ≡ − − − − Rearranging, we find (a + µ λ 1)2 (λ µ)2 + 4(k µ). − − ≡ − − 2 2 Hence there exists δ Fq such that δ = (λ µ) + 4(k µ), and for either choice of such δ there exists∈ǫ such that a +−µ λ 1=−ǫδ and c =2ǫδ. Now assume (ii). Pick∈ǫ {±} , and define a−= λ− µ + ǫδ + 1 and c =2ǫδ. Then c 2a 2(µ λ 1) and ∈ {±} − − ≡ − − a(c a) [ǫδ + λ µ 1][ǫδ (λ µ 1)] δ2 (λ µ + 1)2 4k 2λ 2µ 1. − ≡ − − − − − ≡ − − ≡ − − − From these identities, the assumption v 4k +2λ +2µ p 0, and Lemma 4.2(a), we conclude that Σ2 (c 2a)Σ+a(c a)I.− For G = Σ+aI≡, this says G2 = cG. Finally, ≡ − − Lemma 4.2(a) supplies θ Fq such that Σ1 = (θ a)1, that is, G1 = θ1. ∈ − Theorem 4.6. Let Σ be the Seidel adjacency matrix of a nontrivial SRG with f = g, and define G = Σ+(2r + 1)I. Suppose p is an odd prime that divides 6 v 4k +2λ +2µ. Then G is the Gram matrix of a (2r +1, 1, 2r 2s)-ETF with − Fd − n = v vectors in an orthogonal geometry on p, where d = rankp G. Furthermore:

(a) If r p s and v 2k +2r p 0, then d = g +1. 6≡ − 6≡ (b) If r p s and v 2k +2r p 0, then d = g. 6≡ − ≡ (c) If r p s, then d min f +1,g +1 . ≡ ≤ { } (d) Let pm be the largest power of p that divides v. If pm+1 divides v 2k +2r, then d g. − ≤ Our proof of (d) uses a strategy suggested in [5, §13.7]. The assumption f = g is given only to make it obvious that G has integer entries. In fact, if f = g then6 v 4k +2λ +2µ = 1, and there is no choice of p to satisfy the hypotheses above. − − Proof. Recall our notation (2.5) for the eigenvalues of Σ. By (2.7) and our assumption v 4k +2λ +2µ p 0, we see that G =Σ θrI satisﬁes − ≡ −

(4.11) G G + (θr θs)I = (v 4k +2λ +2µ)J =0. − − 2 Therefore G = (θs θr)G, and it follows from Proposition 2.12 that G is the Gram matrix of an ETF− with the given parameters in an orthogonal geometry on Fd p, where d = rankp G. It remains to prove (a)–(d). Observe that G =Σ θrI has spectrum − 1 f g σ(G)= (θk θr) , 0 , (θs θr) { − − } with multiplicities denoted by superscripts, where it is possible that some eigenvalues coincide. We have rank G = g + 1 if θk = θr, and rank G = g otherwise. 6 FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY17

Proposition 3.1(a) immediately implies (a), since θk θr = v 2k +2r and − − θs θr = 2(s r). If θk = θr, then (b) follows as well. On the other hand, if − − θk = θr then G has minimal polynomial 6 x(x θk + θr)(x θs + θr)=:(x θk + θr) h(x), − − − and h(G) = 0 by (4.11). In this case, (b) follows from Proposition 3.1(b). For (c), we observe that rankp G rank G g + 1, and if r p s then θr p θs and likewise ≤ ≤ ≡ ≡ G = Σ θsI rank(Σ θsI) f +1. − ≤ − ≤ Hence, d min f +1,g +1 if r p s. Finally,≤ we prove{ (d). Assume} p≡m+1 divides v 2k +2r. Then pm divides k r. k−r v − − Put t = m and z = m , so that z 2t p 0, and deﬁne H = z(s r)Es. We will p p − ≡ − show H is a nonzero scalar multiple of G, and it will follow that

d = rankp G = rankp H rank H = rank Es = g. ≤ Using the definition of Es and the fact that Σ = J 2A I, we can rewrite − − H = zA zrI z(k−r) J = zA zrI tJ = (z 2t)A tΣ (zr + t)I. − − v − − − − − Since z 2t p 0 we have H = tΣ (zr + t)I. Next, the relation z p 2t implies − ≡ − − k−r ≡ m+1 zr + t p t(2r + 1). It follows that H = tG. Finally, t = m p 0 since p ≡ − p 6≡ divides v 2k +2r but not v. This completes the proof. − 5. Examples and applications for SRGs We now give consequences of the preceding theory. Most known SRGs imply the existence of ETFs over finite fields, and we collect small ETF sizes that occur in this way. Using the infinite family of triangular graphs, we deduce that Gerzon’s bound is attained in orthogonal geometries of infinitely many dimensions. This stands in contrast with the real setting, where it is an open problem if Gerzon’s bound is saturated in Rd for some d / 2, 3, 7, 23 . Many unknown SRGs would also imply the existence of ETFs, and∈ this { provides} necessary conditions for their existence. We collect this data as well. 5.1. Existence. Example 5.1. Table 1 lists some ETFs in finite orthogonal geometries that arise from our constructions. We created the table by iterating through SRG parameters in Brouwer’s table [4], as implemented in [25]. For each parameter set, we proceeded as follows. If k = 2µ then we applied Theorem 4.4 for all primes that satisfy its 6 hypotheses. Where r p s, we created the Gram matrix for a single SRG with the given parameters, and≡ computed its rank to find d. If k = 2µ then the same construction from Theorem 4.4 creates a real ETF, and Proposition 3.2 applies. Our table omits ETFs that occur in this way, except in those cases where the resulting frame constant is c = 0 (since then Proposition 3.2 cannot predict the dimension). In those cases, we again constructed the Gram matrix from a single SRG and recorded its rank. For each parameter set, we then followed a similar procedure using Theorem 4.6, where the condition k =2µ was replaced by v =4k 2λ 2µ. Table 1 describes our results with d < 40. We do not claim to record− all− consequences of Theorem 4.4 and Theorem 4.6 from known SRGs in this range. In particular, we did not attempt to compute dimensions for nonisomorphic SRGs with 18 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON equal parameters in cases where the parameters may not predict d. (In fact, it is known that p-rank can be an effective way to distinguish nonisomorphic SRGs [6].) Remark 5.2. Theorem 4.3 and Theorem 4.5 describe the construction of p-modular SRGs from ETFs in orthogonal geometries. In many cases, the resulting graphs are SRGs, and empirically this accounts for a large fraction of known SRGs. By Theorem 4.6, a (v,k,λ,µ)-SRG arises from the construction of Theorem 4.5 unless v 4k +2λ +2µ is a power of 2. By Theorem 4.4, it arises from the construction of− Theorem 4.3 whenever there is an odd prime that divides both k 2µ and v 3k +2λ+1. (Apply Proposition 3.2 if f = g.) Using Brouwer’s table [4],− we find that− 1142 out of 1160 known SRG parameters with v 1300 can be constructed from an ETF using Theorem 4.3 or Theorem 4.5. The≤ exceptions are shown in Table 2. In addition, 2824 out of 2910 feasible parameters with v 1300 for which existence is unresolved would arise from an ETF in this way, if the≤ SRG exists. Next we interpret Theorem 4.6 for a particular infinite family of SRGs. Given a positive integer d, we write T (d + 1) for the complement of the triangular graph whose vertices are the 2-sets of 1,...,d +1 , with vertices adjacent in T (d + 1) { } d+1 when they have trivial intersection. It is an SRG with parameters v = 2 , k = 1 (d 2)(d 1), λ = 1 (d 4)(d 3), µ = 1 (d 3)(d 2) and r = 1, s =2 d, 2 − − 2 − − 2 − − − f = 1 (d2 1), g = d (see [7] for the complementary parameters). 2 − Theorem 5.3. For every integer d> 1 and every odd prime p that divides d 7, d+1 −Fd there exists a (3, 1, 12)-ETF of n = 2 vectors in an orthogonal geometry on p. Proof. Take Γ = T (d +1) in Theorem 4.6. From the above, we obtain v 4k +2λ +2µ = 1 (d 7)(d 4), − 2 − − 1 with v 2k +2r = 2 d(d 7) p 0 and r s = d 1 p 6. Since p is odd and divides− d 7, Theorem− − 4.6 produces≡ an− ETF with− the≡ given parameters in − Fd′ an orthogonal geometry on p . If p = 3 then r p s, and Theorem 4.6(b) gives ′ 6 6≡ d = g = d. If p = 3 then d p 1, and the largest power of p that divides v p 1 is pm = 1. Here pm+1 = p divides≡ v 2k +2r, so we can apply Theorem 4.6(d)≡ to obtain d′ g = d. The inequality cannot− be strict, or else the Gram matrix would produce an≤ ETF that violates Gerzon’s bound. Therefore d′ = d. 5.2. Necessary conditions. Example 5.4. Our results provide necessary conditions for the unresolved existence of SRGs whose parameters satisfy the hypotheses of Theorem 4.4 or Theorem 4.6. Specifically, Table 3 lists the parameters of ETFs whose existence would be implied by such SRGs on v 300 vertices. (We omit the SRG parameter µ since it is uniquely determined≤ by v,k,λ.) Each row is a consequence of Theorem 4.4 (if n = v + 1) or Theorem 4.6 (if n = v). Among the data we see that if Conway’s 99-graph with parameters (99, 14, 1, 2) exists, then there is a (2, 1, 4)-ETF of n = 100 vectors in an orthogonal geometry F45 on 5 . The authors do not know if such an ETF exists. It is well known that 45 there is an ETF of 100 vectors in R , but if we attempt to project it into F5 with Proposition 3.2, then we obtain a (4, 1, 0)-ETF in dimension d′ 45. These parameters do not match the ones predicted for Conway’s graph, and≤ in any case we cannot be sure from Proposition 3.2 that d′ = 45. FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY19

p d nac p d nac p d na c 3 4 10 0 0 3 36 631 0 1 7 24 100 2 6 3 7 28 0 0 3 37 101 1 2 7 26 325 3 6 3 9 25 0 1 3 37 112 1 1 7 27 117 2 4 3 9 37 0 1 3 37 169 1 1 7 27 352 3 1 3 10 37 0 0 3 37 703 0 0 7 28 406 3 5 3 10 55 0 0 3 38 144 1 0 7 31 121 2 6 3 12 36 1 0 3 39 225 1 0 7 31 256 3 4 3 12 49 0 1 3 39 400 0 1 7 33 290 3 6 3 12 67 0 1 3 39 742 0 1 7 33 528 3 6 3 13 91 0 0 5 3 600 7 34 145 2 4 3 14 36 1 0 5 9 26 0 0 7 34 324 3 1 3 14 45 1 0 5 10 45 2 4 7 34 562 3 1 3 15 64 0 1 5 11 56 2 2 7 35 85 0 2 3 15 106 0 1 5 12 26 0 0 7 35 630 3 5 3 16 82 0 0 5 12 78 2 3 7 36 169 2 2 3 16 136 0 0 5 13 49 2 1 7 37 344 0 0 3 18 81 1 0 5 15 65 2 4 7 38 247 2 6 3 18 100 0 1 5 15 105 2 4 11 16 120 3 6 3 18 154 0 1 5 16 81 2 2 11 17 137 3 8 3 19 49 1 1 5 16 121 2 2 11 18 171 3 1 3 19 65 1 2 5 17 153 2 3 11 25 169 3 4 3 19 81 1 0 5 19 126 0 0 11 27 197 3 6 3 19 105 1 0 5 20 56 0 2 11 27 351 3 6 3 19 190 0 0 5 20 81 0 2 11 28 225 3 8 3 20 46 0 0 5 20 190 2 4 11 28 379 3 8 3 20 57 1 0 5 21 51 0 0 11 29 435 3 1 3 21 81 1 0 5 21 176 0 0 11 36 122 0 0 3 21 121 0 1 5 21 211 2 2 11 37 223 5 1 3 21 126 1 0 5 22 253 2 3 11 38 703 3 6 3 21 162 1 0 5 23 46 0 0 11 39 97 4 6 3 21 211 0 1 5 23 101 0 0 11 39 742 3 8 3 22 50 1 2 5 23 144 2 1 13 7 14 0 0 3 22 65 1 2 5 23 276 0 0 13 18 153 3 6 3 22 77 1 2 5 24 101 0 0 13 19 172 3 8 3 22 100 1 1 5 25 81 0 2 13 20 210 3 12 3 22 145 0 0 5 25 101 0 2 13 29 225 3 4 3 22 243 1 0 5 25 170 2 4 13 30 155 5 2 3 22 253 0 0 5 25 300 2 4 13 31 257 3 6 3 22 253 1 1 5 26 196 2 2 13 31 465 3 6 3 22 276 1 0 5 26 326 2 2 13 32 289 3 8 3 24 117 1 0 5 27 126 0 0 13 32 497 3 8 3 24 169 0 1 5 27 378 2 3 13 33 561 3 12 3 24 277 0 1 5 30 121 0 2 13 39 247 5 10 3 25 101 1 2 5 30 435 2 4 17 9 18 0 0 3 25 325 0 0 5 31 100 1 0 17 22 231 3 6 3 27 196 0 1 5 31 466 2 2 17 23 254 3 8 3 27 352 0 1 5 32 176 0 0 17 24 300 3 12 3 28 100 1 1 5 32 528 2 3 17 36 127 5 3 3 28 226 0 0 5 33 100 1 0 17 37 361 3 4 3 28 351 1 0 5 33 289 2 1 17 39 401 3 6 3 28 378 1 0 5 35 126 0 0 17 39 741 3 6 3 28 406 0 0 5 35 325 2 4 19 24 276 3 6 3 30 144 1 0 5 35 595 2 4 19 25 301 3 8 3 30 256 0 1 5 36 111 2 2 19 26 351 3 12 3 30 436 0 1 5 36 361 2 2 19 36 222 5 15 3 31 122 1 2 5 36 631 2 2 23 28 378 3 6 3 31 155 1 2 5 37 703 2 3 23 29 407 3 8 3 31 496 0 0 5 39 226 0 0 23 30 465 3 12 3 32 144 1 0 7 12 66 3 6 29 15 30 0 0 3 32 177 1 0 7 13 79 3 1 29 34 561 3 6 3 33 289 0 1 7 14 105 3 5 29 35 596 3 8 3 33 529 0 1 7 16 50 0 0 29 36 666 3 12 3 34 85 1 1 7 17 81 3 4 31 36 630 3 6 3 34 325 0 0 7 19 101 3 6 31 37 667 3 8 3 34 595 0 0 7 19 171 3 6 31 38 741 3 12 3 35 120 1 0 7 20 121 3 1 37 19 38 0 0 3 35 729 1 0 7 20 191 3 1 41 21 42 0 0 3 35 1080 1 0 7 21 77 2 5 53 27 54 0 0 3 35 1107 1 0 7 21 231 3 5 61 31 62 0 0 3 36 361 0 1 7 24 50 0 0 73 37 74 0 0

Table 1. For each row above, an (a, 1,c)-ETF of n vectors ex- Fd ists in an orthogonal geometry on p. We omit data that can be deduced from the existence of a known real ETF using Proposi- tion 3.2. Example 5.1 describes our methodology. 20 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

v k λµ v k λ µ v kλµ 21 10 3 6 70 27 12 9 220 84 38 28 40 12 2 4 112 30 2 10 280 117 44 52 57 24 11 9 120 42 8 18 512 196 60 84 Table 2. Except for the nine parameter sets above and their complements, every known SRG with v 1300 vertices can be constructed from an ETF over a ﬁnite ﬁeld.≤ See Remark 5.2.

Example 5.5. The missing Moore graph refers to a possible SRG with parameters (3250, 57, 0, 1) [13]. At the time of writing its existence is unresolved. If such an SRG exists, then it produces a (4, 1, 8)-ETF of n = 3251 vectors in an orthogonal F1521 geometry on 11 via Theorem 4.4. Example 5.6. It is known that there is no (841, 200, 87, 35)-SRG [17]. Theorem 4.6 gives another proof of this fact, since the complement of any such SRG would F40 produce a (0, 1, 1)-ETF of n = 841 vectors in an orthogonal geometry on 5 , and this violates Gerzon’s bound. Example 5.7. Table 4 summarizes feasible SRG parameters with v 1300 that imply equality in Gerzon’s bound via Theorem 4.6. For the first and≤ last rows, Theorem 4.6 gives only an upper bound on d, but as in the proof of Theorem 5.3 the inequality cannot be strict. The authors do not know how to construct an ETF with any of the parameters given in Table 4. In particular, every instance of Gerzon equality that we currently know satisfies the identity a2 = (d+2)b, but this equation does not occur anywhere in Table 4 (where b = 1). Proposition 2.10 implies that a2 = (d + 2)b whenever Gerzon’s bound is saturated, d p 0, and d p 1. The authors do not know if these conditions can be removed. 6≡ 6≡ Remark 5.8. Since ETFs over finite fields give necessary conditions for the existence of SRGs, it would be helpful to have more machinery to prove nonexistence of equiangular systems with given parameters. Gerzon’s bound on the size of an equiangular system gives one such tool, but it is a blunt instrument since it takes little account of the parameters (a,b) of an equiangular system (other than to require a2 = b). In comparison with the real case, it is natural to ask if there may be “relative6 bounds” on the number of vectors in an (a,b)-equiangular system that take greater advantage of the known parameters. We leave this as an open problem.

Problem 5.9 ([11]). Given an orthogonal geometry over Fq and parameters a,b Fq, ﬁnd an upper bound on the size of an (a,b)-equiangular system that improves∈ upon Gerzon’s bound wherever possible.

6. Failure of Gerzon equality in dimension 5 By leveraging a finite search space, we now show that Gerzon’s bound cannot be attained in any finite orthogonal geometry of dimension 5 over a field of odd characteristic. This is the smallest dimension for which Theorem 5.3 fails to provide an instance of Gerzon equality. Theorem 6.1 (Computer-assisted result). For any choice of odd prime power q, F5 there does not exist an ETF of n = 15 vectors in any orthogonal geometry on q. FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY21

v k λ p d nac v k λ p d nac 69 48 32 13 24 69 5 3 225 64 13 7 64 225 2 2 85 54 33 7 35 85 0 4 225 128 64 5 25 226 0 3 85 70 57 5 35 86 0 4 231 160 110 5 111 231 3 3 85 70 57 13 35 85 5 1 232 33 2 3 87 232 0 1 88 27 6 5 32 88 2 3 232 33 2 19 88 232 9 3 99 14 1 5 45 100 2 4 232 33 2 23 88 233 9 22 100 33 8 3 34 101 1 2 232 63 14 3 88 233 2 1 111 30 5 19 36 111 7 1 232 63 14 11 88 232 0 6 112 36 10 3 48 112 0 2 232 150 95 11 88 232 0 8 115 18 1 3 46 115 1 1 232 154 96 3 28 232 2 2 115 18 1 17 45 115 7 16 232 154 96 37 29 233 5 7 120 34 8 7 52 121 2 6 235 52 9 3 94 235 2 2 120 84 58 3 57 121 0 2 235 52 9 7 95 236 4 5 121 36 7 3 37 121 1 1 235 52 9 23 95 235 11 3 121 36 7 5 36 121 2 2 235 192 156 11 95 235 9 2 121 48 17 3 48 121 0 1 236 180 135 37 60 236 7 30 133 32 6 3 57 133 0 2 238 75 20 7 84 238 4 2 133 32 6 11 56 133 9 9 243 66 9 13 44 243 7 10 133 88 57 3 57 133 0 1 245 52 3 3 49 245 1 2 133 88 57 5 56 133 4 2 245 52 3 23 50 245 7 9 133 108 87 5 57 133 2 3 245 180 131 3 100 245 2 1 133 108 87 11 56 133 7 7 245 180 131 19 101 245 11 9 136 105 80 3 52 137 1 2 246 85 20 7 42 246 0 5 136 105 80 11 52 136 7 9 249 88 27 17 84 249 11 15 162 21 0 5 57 163 2 3 250 81 24 7 106 250 6 2 162 21 0 7 56 162 0 4 250 153 88 3 46 250 1 1 162 92 46 7 24 163 5 1 259 42 5 5 111 259 1 4 162 112 76 13 64 162 9 11 259 42 5 23 112 259 11 1 162 138 117 7 70 162 0 4 261 64 14 5 116 261 3 3 162 138 117 17 70 163 7 1 261 64 14 13 117 261 0 2 169 42 5 3 43 170 1 2 261 176 112 5 30 261 0 3 169 42 5 5 43 169 2 1 261 180 123 13 117 261 0 4 169 42 5 7 42 169 0 5 261 208 165 5 116 261 1 1 169 56 15 3 57 169 0 2 261 208 165 19 117 261 11 7 169 56 15 5 56 169 4 1 265 96 32 3 106 266 1 2 169 70 27 3 70 169 2 2 265 96 32 17 105 265 13 15 175 108 63 13 43 175 7 4 266 45 0 13 56 266 7 4 176 25 0 3 55 176 1 2 273 80 19 3 91 274 2 2 176 25 0 7 56 176 0 6 273 80 19 41 90 273 11 32 176 25 0 17 56 177 7 3 273 200 145 7 105 273 4 2 176 70 24 5 56 177 4 3 276 75 10 3 46 277 1 1 183 52 11 5 61 184 4 1 276 75 10 11 45 276 7 7 183 52 11 29 60 183 9 26 276 75 18 11 116 277 2 8 189 128 82 11 29 189 5 3 276 165 92 17 46 277 7 10 189 140 103 5 91 189 1 4 280 62 12 3 124 280 1 1 190 144 108 5 76 191 4 4 280 62 12 17 125 281 13 11 196 39 2 3 49 197 1 2 280 216 166 3 136 280 1 1 196 39 2 7 49 197 0 5 280 216 166 5 136 281 3 3 196 39 2 31 48 196 7 26 285 64 8 7 76 285 2 4 196 45 4 3 46 196 1 1 285 64 8 11 75 285 9 10 196 75 26 3 76 197 2 1 286 95 24 3 66 286 0 2 196 114 59 5 25 196 0 2 286 95 24 5 66 287 4 3 204 28 2 13 84 204 9 7 286 160 84 3 66 286 0 1 204 140 94 3 69 205 0 1 288 41 4 29 124 289 11 24 205 68 15 3 40 205 1 1 288 182 106 3 28 289 2 2 205 68 15 5 40 205 2 4 288 245 208 5 141 289 1 4 208 45 8 5 91 209 1 4 289 72 11 3 72 289 0 1 209 156 115 5 76 209 4 1 289 72 11 7 73 289 2 6 209 156 115 7 77 210 2 5 289 90 23 3 91 290 2 1 209 156 115 11 77 209 9 4 289 90 23 5 91 289 1 4 210 33 0 5 55 210 2 4 289 90 23 7 90 289 4 6 210 33 0 7 56 211 0 3 289 108 37 3 109 289 1 1 210 76 26 5 96 211 3 3 289 108 37 5 108 289 3 4 210 132 82 3 100 211 1 1 289 126 53 3 126 289 0 1 216 129 72 13 44 217 7 10 297 104 31 7 89 297 4 1 216 172 136 5 86 216 4 4 300 184 108 7 70 301 2 5 217 128 72 3 63 217 0 2 300 230 175 13 116 301 11 4 220 72 22 3 100 220 1 1 300 273 248 11 118 301 7 9 225 48 3 7 49 225 0 2 300 273 248 13 118 300 7 7

Table 3. Each row contains parameters of an SRG whose existence is unresolved. If such an SRG exists, then there is an Fd (a, 1,c)-ETF of n vectors in an orthogonal geometry on p. See Example 5.4 for details. 22 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

v k λ µ p dac 351 210 113 144 5 26 0 0 703 520 372 420 3 37 2 2 1081 486 177 252 5 46 2 2 1275 728 379 464 7 50 0 0 Table 4. If an SRG with the given parameters exists, then there d+1 is an (a, 1,c)-ETF consisting of n = 2 vectors in an orthogonal geometry on Fd. See Example 5.7. p

2 In particular, for any choice of a,b Fq with b = a , there is no (a,b)-equiangular ∈ 6 F5 system of n = 15 vectors in any orthogonal geometry on q. Our computer-assisted proof implements the following lemma, which can also be generalized for unitary geometries. Similar methods have been used to prove nonexistence of SRGs [1, 2]. Recall that a clique in a graph refers to a complete subgraph. A clique is maximal if it is not properly contained in any other clique. The clique number of a graph is the size of its largest clique. Lemma 6.2. Suppose there is an (a, 1)-equiangular system Φ of n distinct vectors Fd in an orthogonal geometry on q , such that rankΦ > 1. Choose any two linearly Fd independent vectors ψ1, ψ2 q satisfying ψ1, ψ1 = ψ2, ψ2 = a and ψ1, ψ2 =1. Deﬁne ∈ h i h i h i V = ψ Fd : ψ, ψ = a, ψ, ψ =1, ψ, ψ 2 =1 , { ∈ q h i h 1i h 2i } and let Γ be the compatibility graph on vertex set V with distinct vertices ϕ, ψ adjacent whenever ϕ, ψ 2 =1. Then Γ contains a clique K V of size n 2, h i ⊆ − and Ψ = ψ1, ψ2 K is an (a, 1)-equiangular system of n vectors. Furthermore, if Φ is an{(a, 1,c)}-ETF, ∪ then K can be chosen so that Ψ is an ETF with the same parameters.

Proof. Denote Φ = ϕj j∈[n], where ϕ1 and ϕ2 are linearly independent. For { } ′ any choice of signs ǫj 1 , the system Φ = ǫj ϕj j∈[n] is again an (a, 1)- equiangular system, and∈ if {± Φ is} an (a, 1,c)-ETF then{ so is Φ} ′. By choosing the signs appropriately, we may therefore assume that ϕ , ϕj = 1 for every j 2. The linear h 1 i ≥ transformation T : span ϕ1, ϕ2 span ψ1, ψ2 given by T (ϕj) = ψj is easily seen to be an isometric isomorphism.{ } → By Witt’s{ Extension} Theorem (Theorem 5.2 of [12]) it extends to an isometric isomorphism U : Fd Fd. For every j 3, q → q ≥ ψj := U(ϕj ) belongs to V , and K := ψj : j 3 is a clique in Γ. The proof is { ≥ } complete since Ψ = ψ1, ψ2 K = ψj j∈[n] is the image of Φ under an isometric isomorphism. { } ∪ { }

Our code for the following computer-assisted proof is provided as an ancillary ﬁle with the arXiv version of this paper.

Computer-assisted proof of Theorem 6.1. Suppose for the sake of contradiction that F5 there is an (a,b,c)-ETF of n = 15 vectors in an orthogonal geometry on q. As explained in Remark 2.14, we may assume that b = 1, and, by Theorem 3.4, we may take q = p to be prime with a,c Fp. Furthermore, Proposition 3.3 implies that p 2n 5 = 25, since there is no ETF∈ of n = 15 vectors in R5 by [22, Corollary 16]. ≤ − FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY23

p s a V ω(Γ) p s a V ω(Γ) ps a V ω(Γ) | | | | | | 301 24 9 503 55 6 70 0 98 4 302 21 5 5 0 4 145 25 71 0 98 4 311 12 5 510 60 6 190 8 722 3 312 33 9 511 30 5 19 0 11 722 3 500 40 4 512 45 8 191 8 722 3 50 1 70 25 513 45 8 19 1 11 722 3 502 55 6 514105 5 Table 5. Data for the computer-assisted proof of Theorem 6.1. F5 The second column describes the type of geometry on p, where s = 0 for square-type discriminant and s = 1 otherwise. For a as in the third column we implemented the graph Γ of Lemma 6.2 with the GRAPE package for GAP [20, 24]. The number of vertices appears in the fourth column, and the last column gives the clique number as found by GRAPE.

If p = 5 then we may divide (2.8) to obtain c =3a, and then Proposition 2.10 states 2a2 6= 14, or a2 = 7. Since 7 is a square, we conclude that p 3, 5, 7, 19 . ∈{ } When p 3, 7, 19 , there are at most two possibilities for a Fp and two ∈ { } F5 ∈ possible orthogonal geometries on p. For each possibility, we used GAP [24] to implement a choice of ψ , ψ F5 as in Lemma 6.2. Using the GRAPE package 1 2 ∈ p for GAP [20], we then implemented the compatibility graph Γ of Lemma 6.2 and computed its clique number. The results are summarized in Table 5. In each case, we found the clique number was less than n 2 = 13. By Lemma 6.2, we conclude that there is no (a, 1)-equiangular system− of n = 15 vectors in an F5 orthogonal geometry on p for p 3, 7, 19 . It remains to consider p = 5.∈{ Turning to} GAP again, we proceeded as above, testing all possible values of a F5. Here again, we found the clique number was less than n 2 = 13 in all but∈ two cases: for the geometry with square-type discriminant and−a 1, 4 , the clique number was 25. Hence, we are in one of these cases. Taking V∈, { Γ, and} K as in Lemma 6.2, there must be a maximal clique ′ M that contains K, and then Ψ := ψ1, ψ2 M contains all the vectors of the { ′ } ∪ frame Ψ = ψ1, ψ2 K, so that rankΨ = 5. However, for both of the remaining cases we checked{ every} ∪ maximal clique M in Γ of size 13 M 25, and in each case we found rankΨ′ 3, 4 . (There were 16 such maximal≤ | |≤ cliques for a = 1, and 156 for a = 4.) This∈ { is a} contradiction. Therefore no such ETF exists. By Proposition 2.9, neither does there exist an (a,b)-equiangular system of 15 vectors with a2 = b in any orthogonal geometry of dimension 5 over a ﬁnite ﬁeld of odd characteristic.6

Acknowledgments GRWG was partially supported by the Singapore Ministry of Education Aca- demic Research Fund (Tier 1); grant numbers: RG29/18 and RG21/20. JJ was supported by NSF DMS 1830066. DGM was partially supported by AFOSR FA9550- 18-1-0107 and NSF DMS 1829955. This project began at the 2018 MFO Mini- Workshop on Algebraic, Geometric, and Combinatorial Methods in Frame Theory. 24 GARY R. W. GREAVES, JOSEPH W. IVERSON, JOHN JASPER, AND DUSTIN G. MIXON

The authors thank the other participants, Matt Fickus, and Steve Flammia for comments that motivated the authors or provided insight.

References [1] J. Azarija and T. Marc. There is no (75, 32, 10, 16) strongly regular graph. Linear Algebra Appl., 557:62–83, 2018. [2] J. Azarija and T. Marc. There is no (95, 40, 12, 20) strongly regular graph. J. Combin. Des., 28(4):294–306, 2020. [3] A. S. Bandeira, M. Fickus, D. G. Mixon, and P. Wong. The road to deterministic matrices with the restricted isometry property. J. Fourier Anal. Appl., 19(6):1123–1149, 2013. [4] A. E. Brouwer. Parameters of strongly regular graphs. https://www.win.tue.nl/~aeb/graphs/srg/srgtab.html. Accessed Nov 8 2020. [5] A. E. Brouwer and W. H. Haemers. Spectra of graphs. Universitext. Springer, New York, 2012. [6] A. E. Brouwer and C. A. van Eijl. On the p-rank of the adjacency matrices of strongly regular graphs. J. Algebraic Combin., 1(4):329–346, 1992. [7] A. E. Brouwer and H. Van Maldeghem. Strongly regular graphs. https://homepages.cwi.nl/~aeb/math/srg/rk3/srgw.pdf, accessed Nov 8 2020. [8] M. Fickus, J. Jasper, D. G. Mixon, and J. Peterson. Tremain equiangular tight frames. J. Combin. Theory Ser. A, 153:54–66, 2018. [9] M. Fickus, J. Jasper, D. G. Mixon, J. D. Peterson, and C. E. Watson. Equiangular tight frames with centroidal symmetry. Appl. Comput. Harmon. Anal., 44(2):476–496, 2018. [10] M. Fickus and D. G. Mixon. Tables of the existence of equiangular tight frames. arXiv:1504.00253. [11] G. R. W. Greaves, J. W. Iverson, J. Jasper, and D. G. Mixon. Frames over finite fields: Basic theory and equiangular lines in unitary geometry. arXiv:2012.12977v1. [12] L. C. Grove. Classical groups and geometric algebra. American Mathematical Society, Prov- idence, RI, 2002. [13] A. J. Hoffman and R. R. Singleton. On Moore graphs with diameters 2 and 3. IBM J. Res. Develop., 4:497–504, 1960. [14] P. W. H. Lemmens and J. J. Seidel. Equiangular lines. J. Algebra, 24:494–512, 1973. [15] A. A. Makhnev. On the nonexistence of strongly regular graphs with the parameters (486, 165, 36, 66). Ukra¨ın. Mat. Zh., 54(7):941–949, 2002. [16] D. G. Mixon, C. J. Quinn, N. Kiyavash, and M. Fickus. Fingerprinting with equiangular tight frames. IEEE Trans. Inform. Theory, 59(3):1855–1865, 2013. [17] A. Neumaier. New inequalities for the parameters of an association scheme. In Combinatorics and graph theory (Calcutta, 1980), pages 365–367. Springer, Berlin-New York, 1981. [18] J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves. Symmetric informationally complete quantum measurements. J. Math. Phys., 45(6):2171–2180, 2004. [19] J. J. Seidel. A survey of two-graphs. In Geometry and combinatorics: Selected works of J.J. Siedel, pages 146–176. Academic Press, Boston, 1991. [20] L. H. Soicher. The GRAPE package for GAP, Version 4.8.3, 2019. https://gap-packages.github.io/grape. [21] T. Strohmer and R. W. Heath, Jr. Grassmannian frames with applications to coding and communication. Appl. Comput. Harmon. Anal., 14(3):257–275, 2003. [22] M. A. Sustik, J. A. Tropp, I. S. Dhillon, and R. W. Heath, Jr. On the existence of equiangular tight frames. Linear Algebra Appl., 426(2-3):619–635, 2007. [23] D. E. Taylor. Regular 2-graphs. Proc. London Math. Soc. (3), 35(2):257–274, 1977. [24] The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.10.1, 2019. https://www.gap-system.org. [25] The Sage Developers. SageMath, the Sage Mathematics Software System (Version 8.7), 2019. https://www.sagemath.org. [26] S. Waldron. On the construction of equiangular frames from graphs. Linear Algebra Appl., 431(11):2228–2242, 2009. [27] L. Welch. Lower bounds on the maximum cross correlation of signals. IEEE Trans. Inform. Theory, 20(3):397–399, 1974. FRAMES OVER FINITE FIELDS: EQUIANGULAR LINES IN ORTHOGONAL GEOMETRY25

School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 637371 Email address: [email protected]

Department of Mathematics, Iowa State University, Ames, IA USA 50010 Email address: [email protected]

Department of Mathematics and Statistics, South Dakota State University, Brook- ings, SD USA 57007 Email address: [email protected]

Department of Mathematics, The Ohio State University, Columbus, OH USA 43210 Email address: [email protected]