Non-Archimedean functional Zauner conjecture

About 4 years old · traced to

Let K\mathbb{K} be a non-Archimedean field satisfying Equation (FU). For each d∈Nd\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,…,τd2∈Kd\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 d∈Nd\in\mathbb{N}, there exist such vectors and functionals satisfying fj(τj)=1f_j(\tau_j)=1 for all 1≤j≤d21\leq j\leq d^2, with Sf,τS_{f,\tau} diagonalizable, and

∣fj(τk)fk(τj)∣=∣d∣,∀ 1≤j,k≤d2, j≠k,|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 1≤j≤d21\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.

References

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.