Complex ETF existence conjecture beyond twice the dimension

Let DD and NN be positive integers with N>2D>2N>2D>2, and let an ETF(D,N)\operatorname{ETF}(D,N) denote a complex equiangular tight frame of NN vectors in dimension DD. Call (D,N)(D,N) positive or negative when it satisfies the positive or negative conditions defined in the source. Complex ETF existence conjecture. An ETF(D,N)\operatorname{ETF}(D,N) exists if and only if

N=D2orD(D1)N1Zor(D,N) is positive or negative.N=D^2\quad\text{or}\quad \frac{D(D-1)}{N-1}\in\mathbb{Z}\quad\text{or}\quad (D,N)\text{ is positive or negative}.

This conjecture proposes that, beyond the cases N=2DN=2D, all known construction families and the displayed arithmetic or type conditions account exactly for complex ETF existence. The conjecture remains open; the known nonexistence of an ETF(3,8)\operatorname{ETF}(3,8) shows that existence questions are nontrivial.

Sources & referencesView supporting material

Primary source

Matthew Fickus and John Jasper, “Equiangular tight frames from group divisible designs”, arXiv:1803.07468 (2018).

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.