The strong form of the p-adic Zauner conjecture

About 4 years old · traced to

Let pp be a prime, let d∈Nd\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 d∈Nd\in\mathbb{N}, there exist vectors τ1,…,τd2∈Qpd\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 1≤j≤d21\leq j\leq d^2, there is a b∈Qpb\in\mathbb{Q}_p satisfying

∑j=1d2⟨x,τj⟩τj=bx,∀x∈Qpd,\sum_{j=1}^{d^2}\langle x,\tau_j\rangle\tau_j=bx,\qquad\forall x\in\mathbb{Q}_p^d,

∣⟨τj,τk⟩∣2=∣n∣|\langle\tau_j,\tau_k\rangle|^2=|n| for all 1≤j,k≤d21\leq j,k\leq d^2 with j≠kj\neq k, and ∥τj∥=1\|\tau_j\|=1 for all 1≤j≤d21\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.

References

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.