2022/08/28 by K. Mahesh Krishna, Krishna, K. Mahesh
Mathematics · Physics and Astronomy · #12J25 #46S10 #47S10 #Black Holes and Theoretical Physics #FOS: Computer and information sciences #FOS: Mathematics #Functional Analysis (math.FA) #Information Theory (cs.IT) #Number Theory (math.NT) #Tensor decomposition and applications #advanced mathematical theories
paper · pdf · doi:10.48550/arxiv.2210.07062
openalex publication_date 2022/08/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let \mathbbK be a non-Archimedean (complete) valued field satisfying |∑j=1nλj2|=max1≤ j ≤ n|λj|2, ∀ λj ∈ \mathbbK, 1≤ j ≤ n, ∀ n ∈ ℕ. For d∈ ℕ, let \mathbbKd be the standard d-dimensional non-Archimedean Hilbert space. Let m ∈ ℕ and Symm(\mathbbKd) be the non-Archimedean Hilbert space of symmetric m-tensors. We prove the following result. If \τj\j=1n is a collection in \mathbbKd satisfying ⟨ τj, τj⟩ =1 for all 1≤ j ≤ n and the operator Symm(\mathbbKd)\ni x ↦ ∑j=1n⟨ x, τj⊗ m⟩ τj⊗ m ∈ Symm(\mathbbKd) is diagonalizable, then (1) max1≤ j,k ≤ n, j ≠ k\|n|, |⟨ τj, τk⟩|2m \≥ \frac|n|2|d+m-1 \choose m| . We call Inequality (1) as the non-Archimedean version of Welch bounds obtained by Welch [IEEE Transactions on Information Theory, 1974]. We formulate non-Archimedean Zauner conjecture.