K. Mahesh Krishna
Abstract:Let $(\Omega, \mu)$, $(\Delta, \nu)$ be measure spaces and $\{\tau_\alpha\}_{\alpha\in \Omega}$, $\{\omega_\beta\}_{\beta \in \Delta}$ be 1-bounded continuous Parseval frames for a Hilbert space $\mathcal{H}$. Then we show that \begin{align} (1) \quad \quad \quad \quad \log (\mu(\Omega)\nu(\Delta))\geq S_\tau(h)+S_\omega (h)\geq -2 \log \left(\frac{1+\displaystyle \sup_{\alpha \in \Omega, \beta \in \Delta}|\langle\tau_\alpha , \omega_\beta\rangle|}{2}\right) , \quad \forall h \in \mathcal{H}_\tau \cap \mathcal{H}_\omega, \end{align} where \begin{align*} &\mathcal{H}_\tau := \{h_1 \in \mathcal{H}: \langle h_1 , \tau_\alpha \rangle \neq 0, \alpha \in \Omega\}, \quad \mathcal{H}_\omega := \{h_2 \in \mathcal{H}: \langle h_2, \omega_\beta \rangle \neq 0, \beta \in \Delta\},\\ &S_\tau(h):= -\displaystyle\int\limits_{\Omega}\left|\left \langle \frac{h}{\|h\|}, \tau_\alpha\right\rangle \right|^2\log \left|\left \langle \frac{h}{\|h\|}, \tau_\alpha\right\rangle \right|^2\,d\mu(\alpha), \quad \forall h \in \mathcal{H}_\tau, \\ & S_\omega (h):= -\displaystyle\int\limits_{\Delta}\left|\left \langle \frac{h}{\|h\|}, \omega_\beta\right\rangle \right|^2\log \left|\left \langle \frac{h}{\|h\|}, \omega_\beta\right\rangle \right|^2\,d\nu(\beta), \quad \forall h \in \mathcal{H}_\omega. \end{align*} We call Inequality (1) as \textbf{Continuous Deutsch Uncertainty Principle}. Inequality (1) improves the uncertainty principle obtained by Deutsch \textit{[Phys. Rev. Lett., 1983]}. We formulate Kraus conjecture for 1-bounded continuous Parseval frames. We also derive continuous Deutsch uncertainty principles for Banach spaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the Continuous Deutsch Uncertainty Principle and its generalizations in Hilbert spaces and Banach spaces. Specifically, the main contributions of the paper can be summarized as follows:
1. **Proposing the Continuous Deutsch Uncertainty Principle**:
- The paper first defines 1 - bounded continuous Parseval frames, and proposes the Continuous Deutsch Uncertainty Principle under this framework. Specifically, for two measure spaces \((\Omega, \mu)\) and \((\Delta, \nu)\), and 1 - bounded continuous Parseval frames \(\{\tau_\alpha\}_{\alpha \in \Omega}\) and \(\{\omega_\beta\}_{\beta \in \Delta}\) on these two spaces, the paper proves the following inequality:
\[
\log(\mu(\Omega)\nu(\Delta))\geq S_\tau(h)+S_\omega(h)\geq - 2\log\left(1+\sup_{\alpha \in \Omega,\beta \in \Delta}|\langle\tau_\alpha,\omega_\beta\rangle|^2\right)\geq0,\quad\forall h\in H_\tau\cap H_\omega
\]
where \(H_\tau\) and \(H_\omega\) respectively represent the sets of vectors with non - zero projections under these frameworks, and \(S_\tau(h)\) and \(S_\omega(h)\) respectively represent the continuous Shannon entropies under these frameworks.
2. **Proposing the Continuous Kraus Conjecture**:
- Based on the above - mentioned Continuous Deutsch Uncertainty Principle, the paper further proposes a Continuous Kraus Conjecture. This conjecture states that under the same conditions, the following inequality holds:
\[
S_\tau(h)+S_\omega(h)\geq - 2\log\left(\sup_{\alpha \in \Omega,\beta \in \Delta}|\langle\tau_\alpha,\omega_\beta\rangle|\right)\geq0,\quad\forall h\in H_\tau\cap H_\omega
\]
3. **Generalization to Banach Spaces**:
- The paper also explores similar uncertainty principles in Banach spaces. For two measure spaces \((\Omega, \mu)\) and \((\Delta, \nu)\), and 1 - bounded continuous Parseval \(p\)-frames \(\{f_\alpha\}_{\alpha \in \Omega}\) and \(\{g_\beta\}_{\beta \in \Delta}\) on these two spaces, the paper proves the following inequalities:
\[
\frac{1}{(\mu(\Omega)\nu(\Delta))^{1/p}}\leq\sup_{y\in X,\|y\| = 1}\left(\sup_{\alpha \in \Omega,\beta \in \Delta}|f_\alpha(y)g_\beta(y)|\right)
\]
and
\[
S_f(x)+S_g(x)\geq - p\log\left(\sup_{y\in X,\|y\| = 1}\left(\sup_{\alpha \in \Omega,\beta \in \Delta}|f_\alpha(y)g_\beta(y)|\right)\right)