EQUIANGULAR TIGHT FRAMES FROM COMPLEX SEIDEL MATRICES CONTAINING CUBE ROOTS OF UNITY BERNHARD G. BODMANN, VERN I. PAULSEN, AND MARK TOMFORDE Abstract. We derive easily verifiable conditions which characterize when com- plex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors. 1. Introduction Equiangular tight frames play an important role in several areas of mathematics, ranging from signal processing (see, e.g. [1, 4, 12, 13] and references therein) to quantum computing (see, e.g. [2, 7]). In comparison with the host of results on the construction of equiangular tight frames for finite dimensional real Hilbert spaces [21, 18, 8, 3, 10], relatively few means are known for constructing equiangular frames in the complex case (see, e.g. [11, 17, 7]). The problem of the existence of equiangular frames is known to be equivalent to the existence of a certain type of matrix called a Seidel matrix [15] or signature matrix [10] with two eigenvalues. A matrix Q is a Seidel matrix provided that it is self-adjoint, its diagonal entries are 0, and its off-diagonal entries are all of modulus one. In the real case, these off-diagonal entries must all be 1; such matrices can then be interpreted as (Seidel) adjacency matrices of graphs.± The case when these adjacency matrices have two eigenvalues has been characterized arXiv:0805.2014v2 [math.FA] 1 Sep 2008 in graph-theoretic terms [19, 20], see also [16], and a fairly complete catalog of all such graphs, when the number of vertices is small, is known. Moreover, such graphs are known to exist for an arbitrarily large number of vertices [5]. In this paper, we study the existence and construction of Seidel matrices with two eigenvalues and off-diagonal entries that are all cube roots of unity. We derive necessary and sufficient conditions for the existence of such matrices and construct examples. In particular, we find arbitrarily large Seidel matrices of this type. We show that the existence of such Seidel matrices is equivalent to the existence of Date: October 23, 2018. 2000 Mathematics Subject Classification. 42C15, 52C17, 05B20. Key words and phrases. equiangular tight frames, roots of unity, directed graphs. The first author was supported by NSF Grant DMS-0807399, the second author by NSF Grant DMS-0600191. 1 2 BERNHARD G. BODMANN, VERN I. PAULSEN, AND MARK TOMFORDE certain highly regular directed graphs, and hence, show that such directed graphs exist on an arbitrarily large number of vertices. This paper is organized as follows. We complete the introduction with a more detailed description of equiangular tight frames, Seidel matrices and their rela- tionship. In Section 2, we derive conditions for the existence of such matrices. In Section 3, we refine these conditions and use our relations, in Section 4, to deter- mine the possible sizes of such Seidel matrices for n 100. Section 5 discusses the connections with directed graphs. Section 6 contains≤ examples and Section 7 gives a method for constructing examples of arbitrarily large size. 1.1. Equiangular Tight Frames. Let be a real or complex Hilbert space. H A finite family of vectors f1,...,fn is called a frame provided that there exist strictly positive real numbers{ A and }B such that n 2 2 2 A x x,fj B x for all x . k k ≤ |h i| ≤ k k ∈H i X=1 A frame is said to be a tight frame if we can choose A = B. When A = B = 1, then the frame is called a normalized tight frame or a Parseval frame. Replacing fi by fi/√A always normalizes a tight frame. One can show (see [4, p. 21], for example) that a family f1,...,fn is a tight frame with constant A if and only if { } n 1 (1.1) x = x,fi fi for all x . A h i ∈H i X=1 There is a natural equivalence relation for tight frames, motivated by simple operations on the frame vectors which preserve identity (1.1). We say that two tight frames f1,f2,...fn and g1, g2,...gn for are uni- tarily equivalent if there exists{ a unitary operator} { U on such} thatH for all H i 1, 2,...n , gi = Ufi. We say that they are switching equivalent if there exist a∈ unitary { operator} U on , a permutation π on 1, 2,...n and a family of uni- H { } modular constants λ , λ , . λn such that for all i 1, 2,...n , gi = λiUf . { 1 2 } ∈ { } π(i) If is a real Hilbert space, U is understood to be orthogonal, and all λi 1 . HIn this paper we shall be concerned only with Parseval frames for the k∈-dimen- {± } sional complex Hilbert space Ck, equipped with the canonical inner product. We use the term (n, k)-frame to mean a Parseval frame of n vectors for Ck. Every such Parseval frame gives rise to an isometric embedding of Ck into Cn via the map k n V : C C , (Vx)j = x,fj for all j 1, 2,...n → h i ∈ { } which is called the analysis operator of the frame. Because V is linear, we may identify V with an n k matrix and the vectors f1,...,fn are the respective columns of V . Conversely,× given any n k matrix{V that defines} an isometry, if ∗ × we let f1,...,fn denote the columns of V ∗, then this set is an (n, k)-frame and V is the{ analysis} operator of the frame. EQUIANGULAR TIGHT FRAMES FROM COMPLEX SEIDEL MATRICES 3 If V is the analysis operator of an (n, k)-frame, then since V is an isometry, we see that V V = Ik and the n n matrix VV is a self-adjoint projection of rank ∗ × ∗ k. Note that VV ∗ has entries (VV ∗)ij = ( fj,fi ). Thus, VV ∗ is the Grammian matrix (or correlation matrix) of the set ofh vectors.i Conversely, any time we have an n n self-adjoint projection P of rank k, we can always factor it as P = VV × ∗ for some n k matrix V . In this case we have V V = Ik and hence V is an × ∗ isometry and the columns of V ∗ are an (n, k)-frame. Moreover, if P = WW ∗ is another factorization of P , then there exists a unitary U such that W ∗ = UV ∗, and the frame corresponding to W differs from the frame corresponding to V by applying the same unitary to all frame vectors, which is included in our equivalence relation. However, switching equivalence is coarser than just identifying all frames with the same Grammian. In [10] it is shown that it corresponds to identifying frames for which the Grammians can be obtained from each other by conjugation with diagonal unitaries and permutation matrices. Definition 1.1. An (n, k)-frame f ,...,fn is called uniform if there is a constant { 1 } u> 0 such that fi = u for all i. An (n, k)-frame is called equiangular if all of the frame vectors arek non-zerok and the angle between the lines generated by any pair of frame vectors is a constant, that is, provided that there is a constant b such that fi/ fi ,fj/ fj = b for all i = j. |h k k k ki| 6 Many places in the literature define equiangular to mean that the (n, k)-frame is uniform and that there is a constant c so that fi,fj = c for all i = j. However, the assumption that the frame is uniform is not|h neededi| in our definition6 as the following result shows. k Proposition 1.2. Let f ,...,fn be a tight frame for C . If all frame vectors { 1 } are non-zero and if there is a constant b so that fi/ fi ,fj/ fj = b for all |h k k k ki| i = j, then fi = fj for every i and j. 6 k k k k Proof. Without loss of generality, we may assume that the frame is a Parseval n 2 frame, so that P = ( fj,fi ) is a projection of rank k. Hence, P = P and so h i i,j=1 upon equating the (i, i)-th entry and using the fact that the trace of P is k, we see 2 n 4 n 2 2 2 4 that fi = fi,fi = fj,fi fi,fj = fi + b fi fj = fi + k k h i j=1h ih i k k j=i k k k k k k b2 f 2(k f 2), which shows that f 2 is a (non-zero)6 constant independent i i P i P ofki. k − k k k k In [10] a family of (n, k)-frames was introduced that was called 2-uniform frames. It was then proved that a Parseval frame is 2-uniform if and only if it is equiangular. Thus, these terminologies are interchangeable in the literature, but the equiangular terminology has become more prevalent. 1.2. Seidel Matrices and Equiangular Tight Frames. At this point we re- visit an approach that has been used to construct equiangular tight frames [15]. The previous section shows that an (n, k)-frame is determined up to unitary equiv- alence by its Grammian matrix.