Zauner's conjecture over finite fields

Let dd be a positive integer, let qq be a prime power, and let Fq2\mathbb{F}_{q^2} be the quadratic extension of the finite field with qq elements. A unitary geometry on Fq2\mathbb{F}_{q^2} is equipped with its standard sesquilinear form, and an equiangular tight frame (ETF) is a collection of vectors with equal-norm, equal-magnitude pairwise inner products that spans the space. Zauner's conjecture over finite fields. For every dd, there exist infinitely many pairwise coprime qq such that a unitary geometry on Fq2\mathbb{F}_{q^2} admits an ETF of n=d2n=d^2 vectors. This is posed as the finite-field analogue of Zauner's conjecture; it is an open problem for future investigation.

Sources & referencesView supporting material

Primary source

Gary R. W. Greaves, Joseph W. Iverson, John Jasper and Dustin G. Mixon, “Frames over finite fields: Basic theory and equiangular lines in unitary geometry”, arXiv:2012.12977 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.