The strong form of the p-adic Zauner conjecture

Let pp be a prime, let dNd\in\mathbb{N}, and let ,\langle\cdot,\cdot\rangle and \|\cdot\| denote the inner product and norm on Qpd\mathbb{Q}_p^d. The vectors τ1,,τd2\tau_1,\ldots,\tau_{d^2} lie in Qpd\mathbb{Q}_p^d, and |\cdot| is the pp-adic absolute value. The strong form of the p-adic Zauner conjecture. For every dNd\in\mathbb{N}, there exist vectors τ1,,τd2Qpd\tau_1,\ldots,\tau_{d^2}\in\mathbb{Q}_p^d such that τj,τj=1\langle\tau_j,\tau_j\rangle=1 for all 1jd21\leq j\leq d^2, there is a bQpb\in\mathbb{Q}_p satisfying

j=1d2x,τjτj=bx,xQpd,\sum_{j=1}^{d^2}\langle x,\tau_j\rangle\tau_j=bx,\qquad\forall x\in\mathbb{Q}_p^d,

τj,τk2=n|\langle\tau_j,\tau_k\rangle|^2=|n| for all 1j,kd21\leq j,k\leq d^2 with jkj\neq k, and τj=1\|\tau_j\|=1 for all 1jd21\leq j\leq d^2. This strong form additionally requires all vectors to have norm one. The supplied text does not state whether it has been proved or disproved.

Sources & referencesView supporting material

Primary source

K. Mahesh Krishna, “p-adic Welch Bounds and p-adic Zauner Conjecture”, arXiv:2209.06763 (2022).

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.