Continuous Welch bounds with Applications

Abstract

Let $(Ω, μ)$ be a measure space and $\{τ_α\}_{α\in Ω}$ be a normalized continuous Bessel family for a finite dimensional Hilbert space $\mathcal{H}$ of dimension $d$. If the diagonal $Δ\coloneqq \{(α, α):α\in Ω\}$ is measurable in the measure space $Ω\times Ω$, then we show that \begin{align*} \sup _{α, β\in Ω, α\neq β}|\langle τ_α, τ_β\rangle |^{2m}\geq \frac{1}{(μ\timesμ)((Ω\timesΩ)\setminusΔ)}\left[\frac{ μ(Ω)^2}{d+m-1 \choose m}-(μ\timesμ)(Δ)\right], \quad \forall m \in \mathbb{N}. \end{align*} This improves 47 years old celebrated result of Welch [\textit{IEEE Transactions on Information Theory, 1974}]. We introduce the notions of continuous cross correlation and frame potential of Bessel family and give applications of continuous Welch bounds to these concepts. We also introduce the notion of continuous Grassmannian frames.

Theorems & Definitions (42)

• Theorem 1.1
• Theorem 1.2
• Definition 2.1
• Theorem 2.2
• proof
• Lemma 2.3
• proof
• Theorem 2.4
• proof
• Example 2.5