[論文レビュー] Continuous Welch bounds with Applications

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

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

ひとこと要約

本稿は、有限次元ヒルベルト空間上の正規化された連続ベッセル族に対して、ウェルチのバインディングの連続版を確立し、離散ウェルチバインディングを任意の測度空間に一般化する。測度論的構造を組み込み、連続フレームポテンシャルとグラスマンフレームを導入することで、等角フレームやザウナールの予想への応用を含め、異なるベクトル間の内積の二乗の上界に対する下界を改善する。

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$-等角フレームはすべての非対角内積が同じ大きさを持つものとして定義される。
• $\mu(\Omega) = d^2$ である $\gamma$-等角緊密連続フレームの存在を主張する、ザウナールの予想の連続的バージョンを提示する。

実験結果

リサーチクエスチョン

• RQ1 ウェルチのバインディングは、複素射影空間に制限されない任意の測度空間にインデックス付けられた連続フレームへ一般化可能か？
• RQ2 フレームポテンシャルの連続的アナロジーとは何か？ そして、フレーム作用素およびそのトレースとどのように関係するか？
• RQ3 連続グラスマンフレームが存在する条件は何か？ また、フレーム相関を最小化するものとどのように関係するか？
• RQ4 ザウナールの予想の連続的バージョンとは何か？ また、$\mu(\Omega) = d^2$ である $\gamma$-等角緊密連続フレームに対して成り立つか？
• RQ5 離散の場合と同様に、フレームポテンシャルによる連続フレームの特徴づけは可能か？

主な発見

• 本稿は、新たな連続ウェルチバインディングを確立した：任意の $d$ 次元ヒルベルト空間上の正規化された連続ベッセル族に対して、すべての $m \in \mathbb{N}$ に対して $$ \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] $$ が成り立つ。
• 連続フレームポテンシャルが $\operatorname{Tr}(S_\tau^2)$ に等しいことが示され、これにより計算および解析が簡略化されるスペクトル的特徴づけが得られる。
• フレームポテンシャルの下界が導出された：$\frac{\mu(\Omega)^2}{d} \leq FP(\{\tau_\alpha\}) \leq \mu(\Omega)^2$ であり、下界に等号が成り立つのは、フレームが緊密である場合に限る。
• 連続フレーム相関は、 $$ \mathcal{M}(\none\{\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$ 内に $\mu(\Omega) = d^2$ である $\gamma$-等角緊密連続フレームが存在する。