Non-Archimedean functional Zauner conjecture

Let K\mathbb{K} be a non-Archimedean field satisfying Equation (FU). For each dNd\in\mathbb{N}, consider Kd\mathbb{K}^d with any non-Archimedean norm, and let (Kd)(\mathbb{K}^d)^* denote its dual. For vectors τ1,,τd2Kd\tau_1,\dots,\tau_{d^2}\in\mathbb{K}^d and functionals f1,,fd2(Kd)f_1,\dots,f_{d^2}\in(\mathbb{K}^d)^*, define

Sf,τ(x)=j=1d2fj(x)τj.S_{f,\tau}(x)=\sum_{j=1}^{d^2}f_j(x)\tau_j.

Non-Archimedean functional Zauner conjecture. For every dNd\in\mathbb{N}, there exist such vectors and functionals satisfying fj(τj)=1f_j(\tau_j)=1 for all 1jd21\leq j\leq d^2, with Sf,τS_{f,\tau} diagonalizable, and

fj(τk)fk(τj)=d,1j,kd2, jk,|f_j(\tau_k)f_k(\tau_j)|=|d|,\qquad \forall\,1\leq j,k\leq d^2,\ j\neq k,

while fj=1\|f_j\|=1 and τj=1\|\tau_j\|=1 for every 1jd21\leq j\leq d^2. This is the non-Archimedean functional analogue of the Zauner conjecture, obtained by taking n=d2n=d^2 in the preceding question; the supplied text does not indicate whether it is known or open.

Sources & referencesView supporting material

Primary source

K. Mahesh Krishna, “Non-Archimedean and p-adic Functional Welch Bounds”, arXiv:2209.06769 (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.