Joey Iverson recently posted our latest paper with John Jasper on the arXiv. This paper can be viewed as a sequel of sorts to our previous paper, in which we introduced the idea of hunting for Gram matrices of equiangular tight frames (ETFs) in the adjacency algebras of association schemes, specifically group schemes. In this new paper, we focus on the so-called Schurian schemes. This proved to be a particularly fruitful restriction: We found an alternate construction of Hoggar’s lines, we found an explicit representation of the “elusive” packing from the real packings paper (based on a private tip from Henry Cohn), we found an packing involving the Mathieu group (this one beating the corresponding packing in Sloane’s database), we found some low-dimensional mutually unbiased bases, and we recovered nearly all small sized ETFs. In addition, we constructed the first known infinite family of ETFs with Heisenberg symmetry; while these aren’t SIC-POVMs, we suspect they are related to the objects of interest in Zauner’s conjecture (as in this paper, for example). This blog entry briefly describes the main ideas in the paper.
Let act on the finite set . This determines an action of on , and each orbit of this action corresponds to an matrix of zeros and ones supported on . These matrices span the vector space of -stable matrices, that is, the complex matrices such that for all and . If acts transitively on , then the adjacency matrices form a (not necessarily commutative) association scheme. Indeed, one of the adjacency matrices is identity since acts transitively on . Next, the orbits partition , and so the adjacency matrices sum to the all-ones matrix. The orbit of is the transpose of the orbit of . Finally, -stable matrices are closed under multiplication, regardless of whether the action is transitive (just write out the entry of the product and perform a change of variables). The association schemes that arise in this way are called Schurian, and if the scheme is commutative, we say is a Gelfand pair, where is the stabilizer of some .
The spectral theorem affords any commutative association scheme with another useful basis: the orthogonal projections onto the common eigenspaces of the members of . Furthermore, every orthogonal projection in can be expressed as a sum of these “primitive” projections, meaning there are only finitely many Gram matrices of tight frames in to consider. In the case of a Schurian scheme, the primitive projections can be expressed in terms of the characters of . In fact, one may construct projection matrices from the characters even in the noncommutative case, but they will no longer form a basis for .
In the past, folks have constructed so-called group frames by spinning a vector with the representation of some group . If fixes under this action, then you might reduce to a frame of size by removing the copies, resulting in a homogeneous frame. It turns out that the corresponding Gram matrix is -stable with , and every positive semidefinite -stable matrix is the Gram matrix of a homogeneous frame. One may also consider projective reduction, in which the span of is invariant under the action of a subgroup . Readers who are familiar with SIC-POVMs recognize projective reduction as naturally arising from scalars in the Heisenberg group. Overall, projective reduction ended up playing a key role in each of the new constructions we provide.
I’ll conclude with a brief description of our new infinite family of ETFs with Heisenberg symmetry. Let be a finite abelian group of odd order, and define to be the set , where is the exponent of . Then we may define multiplication in using a symplectic form over to obtain the Heisenberg group over . The symplectic group over is the group of automorphisms of that fix the symplectic form. In this paper, we prove that is a Gelfand pair, and we find Gram matrices of tight frames in the corresponding adjacency algebra whose projective reductions are ETFs. We conclude the paper with explicit constructions of the corresponding group frames. Again, we are very interested to find any relationship with SIC-POVMs, though it seems that any correspondence may require to be cyclic.