Tight Quasiprobabilistic Entropic Uncertainty Relations for Discrete Quantum Systems

技术摘要：离散量子系统中紧致的拟概率熵不确定性关系

问题陈述
本文通过拟概率分布来表征量子系统中的不确定性。虽然海森堡-罗伯逊（Heisenberg-Robertson）和熵不确定性关系（如 Maassen-Uffink）通过测量结果的标准差或香农熵来量化不确定性，但拟概率表示（如 Wigner、Husimi、Kirkwood-Dirac 和 Gross-Wigner 函数）提供了相空间视角。一个核心问题是：“经典”态——即那些具有正拟概率分布（$Q$-正态态）的态——是否最小化了与这些分布相关的确定性。

具体而言，作者研究了以下不等式的有效性：
$$H_1^Q(\hat{\rho}) \geq \min_{\hat{\rho}_{\text{pure}}^+} H_1^Q(\hat{\rho}_{\text{pure}}^+)$$
其中 $H_1^Q$ 是状态 $\hat{\rho}$ 的拟概率分布 $Q$ 的香农熵，且最小值在纯 $Q$-正态态上取值。该不等式假设混合 $Q$-正态态总是比纯 $Q$-正态态具有更高的不确定性。

这一问题的研究受到历史先例的启发：

• Husimi 函数： Wehrl 猜想并由 Lieb 证明，Husimi 函数的香农微分熵由相干态最小化。
• 连续变量 Wigner 函数： 一个类似的猜想认为纯高斯态最小化 Wigner 微分熵。然而，这一点最近已被证伪。
• 离散系统： 对于 Gross-Wigner (GW) 和 Kirkwood-Dirac (KD) 分布，类似于上述命题是否成立仍是一个开放问题。一个显著的复杂之处在于，$Q$-正态态（$E_Q^+$）的集合通常包含混合极值态，这使得对熵最小值的表征变得困难。

方法论
作者利用框架（frames）的形式体系来定义拟概率表示。他们考虑一个有限维度的希尔伯特空间 $\mathcal{H}$ 以及一个框架 $(\hat{S}_\lambda)_{\lambda \in \Lambda}$ 及其对偶框架 $(\hat{T}_\lambda)_{\lambda \in \Lambda}$。拟概率 $Q_\lambda(\hat{\rho})$ 和其对偶符号 $\tilde{Q}_\lambda(\hat{C})$ 通过迹运算定义。

研究重点关注两类特定的表示：

1. Kirkwood-Dirac (KD) 表示： 由两组交换观测量 $\hat{A}$ 和 $\hat{B}$ 定义。作者特别分析了 $\hat{A}$ 和 $\hat{B}$ 的特征基为相互无偏基 (MUB) 的情况。在这种情况下，该表示是“强自对偶”的。
2. Gross-Wigner (GW) 表示： 为奇数维 $d$ 的 $n$ 个量子比特（qudits）定义，与离散位置和动量算符相关联。该表示同样是强自对偶的。

作者利用 Margenau-Hill (MH) 分布（定义为拟概率分布的实部 $Q^{\text{MH}} = \text{Re}(Q)$）来建立界限。他们利用 Jensen 不等式和自对偶框架的性质，将 MH-香农熵（$H_1^{\text{MH}}$）与状态的纯度（$\text{Tr}(\hat{\rho}^2)$）联系起来。

主要贡献与结果

1. 离散系统熵不确定性的证明（定理 1）：
   本文证明了对于 MUB KD 表示和奇数维量子比特的 GW 表示，$Q$-香农熵仅由纯 $Q$-正态态最小化。具体而言：

   • 对于 $E_+^{\text{MH}}$ 中的任何状态 $\hat{\rho}$，熵满足：
     $$H_1(\hat{A}) + H_1(\hat{B}) \geq H_1^{\text{MH}}(\hat{\rho}) \geq -\ln(\text{Tr}(\hat{\rho}^2)) + \ln d \geq \ln d$$
   • 当且仅当 $\hat{\rho}$ 是纯 $Q$-正态态时，下界 $H_1^{\text{MH}}(\hat{\rho}) = \ln d$ 被饱和。
   • 这证实了在这些离散系统中，“经典”态（纯正态态）确实是最小不确定性态，类似于 Husimi 函数的 Wehrl-Lieb 结果，但与连续变量中被证伪的 Wigner 猜想形成对比。

2. 饱和性的表征：

   • MUB KD： 所有纯 KD-正态态都饱和了标准熵不确定性关系 $H_1(\hat{A}) + H_1(\hat{B}) = \ln d$。
   • GW： 虽然纯 GW-正态态最小化 GW-香农熵，但它们并不都饱和标准熵不确定性关系 $H_1(\hat{A}) + H_1(\hat{B})$。某些纯 GW-正态态会产生 $H_1(\hat{A}) + H_1(\hat{B}) = 2 \ln d$。因此，最小标准不确定性与最小拟概率熵之间的等价性在 KD 中严格成立，但在 GW 中并不成立。

3. 非正性与不确定性的关系：
   作者建立了一个互补的结果：大的拟概率非正性（通过 “KD mana” $M(\hat{\rho})$ 量化）意味着大的不确定性。他们推导出了 KD mana 的一个关于观测量 Rényi-1/2 熵之和的上界：
   $$M(\hat{\rho}) \leq \ln(\sqrt{d}) - \frac{1}{2}[H_{1/2}(\hat{A}) + H_{1/2}(\hat{B})]$$
   这意味着具有高“量子性”（高非正性）的态必然具有高不确定性；反之，低不确定性态的资源性（低 mana）也较低。

4. 与连续变量的区别：
   论文强调了离散变量与连续变量系统之间的根本区别。对于连续变量 Wigner 函数，类似的猜想（即纯高斯态最小化 Wigner 熵）是错误的。作者指出，导致离散界限的推理在连续变量中失效，是因为连续 Wigner 函数无法在其支撑集上保持常数，而这是所研究的离散正态态的一个特性。

意义
本文为特定的离散拟概率表示（MUB KD 和 GW）提供了严格证明，即纯正态态构成了相关香农熵的唯一极小值。这解决了类似于 Wehrl-Lieb 定理在这些离散系统中的猜想。

研究结果澄清了量子力学中“经典性”的图景：

• 他们确认了对于 MUB KD 和 GW 表示，在正态态集合内，“混合态比纯态更不确定”的直觉是严格成立的。
• 他们表明，连续变量 Wigner 猜想的失败并非拟概率分布的普遍特征，而是由相空间的连续性质决定的。
• 他们在非正性资源（mana）与不确定性之间建立了定量联系，强化了非正性作为量子计算优势资源的地位。

作者指出，对于非 MUB KD 分布，情况更为复杂，且最小标准不确定性与最小拟概率熵之间的等价性可能并不成立，并在附录中提供了反例。