[论文解读] Continuous Welch bounds with Applications

K. Mahesh Krishna|arXiv (Cornell University)|Sep 20, 2021

Mathematical Analysis and Transform Methods参考文献 36被引用 16

一句话总结

本文为有限维希尔伯特空间上归一化的连续贝塞尔族建立了威奇逊界（Welch's bound）的连续版本，将离散威奇逊界推广至任意测度空间。它推导出不同向量之间内积平方上确界的下界，改进了经典的1974年结果，引入了测度论结构，提出连续框架势能与连续格拉斯曼框架，并在等角框架和佐纳猜想中具有应用。

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 $Ω imes Ω$, then we show that \begin{align*} \sup _{α, β\in Ω, α eq β}|\langle τ_α, τ_β angle |^{2m}\geq \frac{1}{(μ imesμ)((Ω imesΩ)\setminusΔ)}\left[\frac{ μ(Ω)^2}{d+m-1 \choose m}-(μ imesμ)(Δ) ight], \quad \forall m \in \mathbb{N}. \end{align*} This improves 47 years old celebrated result of Welch [ extit{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.

研究动机与目标

• 将威奇逊著名界从离散有限框架推广至由任意测度空间索引的连续框架。
• 通过推广至一般测度空间，解决先前连续威奇逊界仅限于复射影空间的局限性。
• 引入并研究连续框架势能与连续互相关作为分析框架性质的工具。
• 定义并研究连续格拉斯曼框架与 γ-等角连续框架，作为离散框架概念的自然延伸。
• 提出连续版本的佐纳猜想，适用于连续设置下的等角紧致连续框架。

提出的方法

• 本文使用在测度空间 $(\Omega, \mu)$ 上的连续框架与贝塞尔族理论，其中 $\{\tau_\alpha\}_{\alpha \in \Omega}$ 是 $d$-维希尔伯特空间 $\mathcal{H}$ 中的归一化连续贝塞尔族。
• 引入连续框架势能为 $FP(\{\tau_\alpha\}) = \int_\Omega \int_\Omega |\langle \tau_\alpha, \tau_\beta \rangle|^2 \, d\mu(\alpha) \, d\mu(\beta)$，并将其与算子 $S_\tau^2$ 的迹联系起来。
• 通过柯西-施瓦茨不等式与框架算子的性质，推导出关键不等式，得到涉及 $\mu(\Omega)^2 / d$ 与对角线 $\Delta$ 测度的下界。
• 证明依赖于假设对角线 $\Delta = \{ (\alpha, \alpha) : \alpha \in \Omega \}$ 在 $\Omega \times \Omega$ 中可测，以确保积分定义良好。
• 定义连续格拉斯曼框架为使 $\alpha \neq \beta$ 时 $|\langle \tau_\alpha, \tau_\beta \rangle|$ 的上确界最小化的框架，并定义 $\gamma$-等角框架为所有非对角线内积绝对值相等的框架。
• 提出连续版本的佐纳猜想，即存在 $\gamma$-等角紧致连续框架，且满足 $\mu(\Omega) = d^2$。

实验结果

研究问题

• RQ1 威奇逊界能否从离散框架推广至由任意测度空间索引的连续框架，突破对复射影空间的限制？
• RQ2 框架势能的连续类比是什么？它如何与框架算子及其迹相关联？
• RQ3 在何种条件下连续格拉斯曼框架存在？它们与最小化框架相关性的关系如何？
• RQ4 佐纳猜想的连续版本是什么？对于满足 $\mu(\Omega) = d^2$ 的 $\gamma$-等角紧致连续框架，该猜想是否成立？
• RQ5 是否存在类似于离散情形的框架势能表征，用于刻画连续框架？

主要发现

• 本文建立了新的连续威奇逊界：对于任意 $d$-维希尔伯特空间上的归一化连续贝塞尔族，有 $$ \sup_{\alpha \neq \beta} |\langle \tau_\alpha, \tau_\beta \rangle|^{2m} \geq \frac{1}{(\mu \times \mu)((\Omega \times \Omega) \setminus \Delta)} \left[ \frac{\mu(\Omega)^2}{{d + m - 1 \choose m}} - (\mu \times \mu)(\Delta) \right] $$ 对所有 $m \in \mathbb{N}$ 成立。
• 证明了连续框架势能等于 $\operatorname{Tr}(S_\tau^2)$，提供了谱表征，简化了计算与分析。
• 推导出框架势能的下界：$\frac{\mu(\Omega)^2}{d} \leq FP(\{\tau_\alpha\}) \leq \mu(\Omega)^2$，且下界取等当且仅当框架为紧致框架。
• 连续框架相关性满足 $$ \mathcal{M}(\{\tau_\alpha\}) \geq \left( \frac{1}{(\mu \times \mu)((\Omega \times \Omega) \setminus \Delta)} \left[ \frac{\mu(\Omega)^2}{d} - (\mu \times \mu)(\Delta) \right] \right)^{1/2} $$ 且对 $\gamma$-等角框架取等。
• 本文引入了连续格拉斯曼框架的概念，即最小化框架相关性的框架，并将存在性问题作为开放问题提出。
• 提出了佐纳猜想的连续版本：对任意 $d \in \mathbb{N}$，在 $\mathbb{C}^d$ 中存在 $\gamma$-等角紧致连续框架，且满足 $\mu(\Omega) = d^2$。