[论文解读] Modular Welch Bounds with Applications

K. Mahesh Krishna|arXiv (Cornell University)|Jan 2, 2022

Advanced Operator Algebra Research被引用 13

一句话总结

该论文将框架理论中的基本不等式——Welch界——推广至酉交换C*-代数和W*/AW*-代数上的希尔伯特C*-模。论文建立了模形式的Welch界，当代数为ℂ时，其退化为经典Welch界；引入了模形式框架势、等角框架及格拉斯曼框架的模形式版本，并为李群上的连续框架提出了模形式的Zauner猜想。

ABSTRACT

We prove the following two results. \begin{enumerate} \item Let $\mathcal{A}$ be a unital commutative C*-algebra and $\mathcal{A}^d$ be the standard Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{ au_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{A}^d$ such that $\langle au_j, au_j angle =1$, $\forall 1\leq j \leq n$, then \begin{align*} \max _{1\leq j,k \leq n, j eq k}\|\langle au_j, au_k angle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{{d+m-1\choose m}}-1 ight], \quad \forall m \in \mathbb{N}. \end{align*} \item Let $\mathcal{A}$ be a $\sigma$-finite commutative W*-algebra or a commutative AW*-algebra and $\mathcal{E}$ be a rank d Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{ au_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{E}$ such that $\langle au_j, au_j angle =1$, $\forall 1\leq j \leq n$, then \begin{align*} \max _{1\leq j,k \leq n, j eq k}\|\langle au_j, au_k angle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{{d+m-1\choose m}}-1 ight], \quad \forall m \in \mathbb{N}. \end{align*} \end{enumerate} Results (1) and (2) reduce to the famous result of Welch [ extit{IEEE Transactions on Information Theory, 1974}] obtained 48 years ago. We introduce the notions of modular frame potential, modular equiangular frames and modular Grassmannian frames. We formulate Zauner's conjecture for Hilbert C*-modules.

研究动机与目标

• 将经典Welch界——在框架理论与信号设计中具有关键作用——推广至酉交换C*-代数和W*/AW*-代数上的希尔伯特C*-模设置。
• 在希尔伯特C*-模背景下，定义并研究框架势、等角框架及格拉斯曼框架的模形式类比。
• 为以李群为指标集的连续框架，提出并研究模形式的Zauner猜想。
• 为测度空间（包括具有哈尔测度的李群）上的单位内积Bessel族建立连续模形式Welch界。
• 探索希尔伯特C*-模上连续模形式格拉斯曼框架及γ-等角框架的存在性与结构。

提出的方法

• 利用酉交换C*-代数上标准希尔伯特C*-模中的C*-代数恒等式与内积的范数估计，推导模形式Welch界。
• 在C*-代数设置中应用柯西-施瓦茨不等式与类似迹的恒等式，以界定交叉内积范数平方和的上界。
• 将模形式框架势定义为在测度空间上对⟨τ_g, τ_h⟩⟨τ_h, τ_g⟩的积分，推广离散框架势。
• 定义连续模形式Bessel族，并将其框架势计算为框架算子平方的迹。
• 提出连续模形式均方根交叉关系与框架相关性，作为模形式设置下相干性的度量。
• 引入γ-等角连续模形式框架的概念，并为满足μ_G(G) = d²的李群提出连续模形式Zauner猜想。

实验结果

研究问题

• RQ1 能否将经典Welch界推广至酉交换C*-代数和W*/AW*-代数上的希尔伯特C*-模？
• RQ2 在希尔伯特C*-模设置下，等角框架、格拉斯曼框架及框架势的模形式类比是什么？
• RQ3 对于具有哈尔测度的李群为指标集的框架，是否存在连续模形式的Welch界？
• RQ4 在何种条件下，希尔伯特C*-模上连续模形式格拉斯曼框架存在？
• RQ5 是否存在Zauner猜想在李群上连续紧框架的模形式推广？

主要发现

• 模形式Welch界表明：对于任意酉交换C*-代数上秩为d的希尔伯特C*-模中的单位内积向量族，最大交叉内积范数的2m次幂满足：max_{j≠k} ||⟨τ_j, τ_k⟩||^{2m} ≥ (1/(n−1))·[n / (d+m−1 choose m) − 1] 对所有m ∈ ℕ成立。
• 在一阶情形（m=1）下，该不等式退化为max_{j≠k} ||⟨τ_j, τ_k⟩||² ≥ (n−d)/(d(n−1))，当代数为ℂ时，即恢复经典Welch界。
• 对于以李群(G, μ_G)为指标集的连续模形式框架，连续模形式Welch界为：sup_{g≠h} ||⟨τ_g, τ_h⟩||² ≥ [ (μ_G(G)²/d − (μ_G×μ_G)(Δ)) / (μ_G×μ_G)((G×G)∖Δ) ]
• 证明了连续模形式框架势等于Tra(S_τ²) = Tra((θ_τ*θ_τ)²)，从而建立了代数与算子理论表征之间的联系。
• 连续模形式格拉斯曼框架被定义为最小化最大框架相关的连续单位内积模形式框架，且在适当条件下此类框架存在。
• 论文提出了连续模形式Zauner猜想：对任意d ∈ ℕ及李群(G, μ_G)，在𝒜^d上存在一个γ-等角紧致的连续模形式框架，且满足μ_G(G) = d²。