Tight Entropic Uncertainty Relations

本文提出了一种新的与状态无关的熵不确定性关系下界，该下界改进了 Maassen-Uffink 下界，并在特定参数趋于极限时对任意可观测量渐近紧致，且可推广至 Renyi 熵。

要点

想象一下，你正试图用两种不同的语言来描述一个神秘的物体。假设语言 A 是“英语”，语言 B 是“法语”。这个物体是一个量子系统（比如一个微小的粒子），而所谓的“语言”实际上是测量它的两种不同方式（称为可观测量）。

在量子世界中，有一个著名的规则叫做不确定性原理。它指出，如果你确切地知道这个物体在“英语”中是什么样子的，那么当你试图用“法语”描述它时，你就会完全困惑，反之亦然。你无法同时在两种语言中都做到完全精确。

长期以来，科学家们使用方差（数值波动的程度）来衡量这种“困惑”。但衡量困惑的更好方法是使用熵。将熵想象成一个“惊讶计”。

• 低熵：你对答案非常有把握。（例如：“它肯定是一只猫。”）
• 高熵：你完全是在猜测。（例如：“它可能是一只猫、一只狗、一个烤面包机，或者一朵云。”）

旧规则（Maassen-Uffink）

此前，科学家们用来预测你会产生多少“惊讶”的最佳规则，就像一张粗糙的安全网。它审视这两种语言，问道：“英语和法语中词汇重叠最严重的那个单一最坏情况是什么？”

如果重叠很小，规则会说：“好吧，你会非常惊讶。”如果重叠很大，它则说：“你可能不会太惊讶。”

• 问题：这个旧规则只关注两种语言之间最大的单一重叠。它忽略了所有其他较小的重叠。这就像只听一种乐器就评判整个管弦乐队。它给出了一个安全的回答，但并非真正的答案。

新发现（“紧”界限）

本文的作者 Alberto Riccardi 和 Lorenzo Maccone 构建了一张更聪明、更紧密的安全网。

他们的新规则不再仅仅关注最大的重叠，而是审视连接这两种语言的整本字典。他们使用一种数学工具（称为 Riesz–Thorin 定理）来权衡两种测量方法之间的每一个连接。

“魔法透镜”的类比：
想象你有一副特殊的透镜，可以放大两种语言之间的关系。

• 当你将透镜调整到特定设置（称为 $s$）并透过它观察时，你会得到你必须感到困惑程度的下限。
• 作者发现，如果将透镜调整到特定设置（即 $s$ 非常接近 2），这张安全网就会变得完美紧密。

“紧密”意味着什么？
这意味着该规则不再仅仅给出一个“安全的猜测”。它给出了你必须感到的确切最小惊讶量。

• 旧规则：“你至少会感到 50% 的困惑。”（但实际上你可能感到 80% 的困惑。）
• 新规则：“你确切地会感到 80% 的困惑。”（它 pinpoint 了真正的界限。）

为什么这很重要？

1. 它是与状态无关的：无论粒子处于什么状态，该规则都适用。它不关心系统的具体状态，只关心两种测量工具之间的关系。
2. 它更适合大型系统：过去，计算复杂系统（具有多个维度）的真实界限，就像试图手工数清海滩上的每一粒沙子。这在实际上是不可能的。作者表明，他们的新规则可以通过一种称为“非线性幂迭代”的计算机技巧高效计算。这就像拥有一架可以瞬间数清沙子的无人机。
3. 它对一切情况都是“紧密”的：他们证明了，随着你调整他们的公式，它最终会成为任何一对不相容测量的绝对最佳可能答案。

"Renyi"扩展

该论文还提到，这个新规则可以扩展，适用于不同类型的“惊讶计”（称为 Renyi 熵）。就像你可以用英里或公里来测量距离一样，你也可以用不同的方式来测量量子不确定性。这个新规则适用于所有这些方式，而旧规则仅适用于一种特定类型。

总结

将旧的不确定性规则想象成一条宽松、通用的毯子，它能让你保持温暖，但穿起来并不合身。新规则则是一件量身定制的西装。它利用两种测量之间相互关系的完整地图，完美地贴合量子系统，为科学家提供了关于当我们尝试测量不相容事物时，自然迫使我们产生多少“惊讶”的最精确预测。

简而言之：他们找到了一种方法，可以计算在测量两个不相容的量子事物时你必须感到的确切最小困惑度，用经过数学证明的完美界限取代了旧的粗略估计。

技术摘要

技术摘要：紧致的熵不确定性关系

问题陈述
熵不确定性关系（EURs）为不相容量子可观测量 $A$ 和 $B$ 的结果概率的香农熵之和 $H(A) + H(B)$ 提供了一个下界 $\gamma$。与基于方差的关系（如海森堡 - 罗伯逊关系）不同，EURs 仅依赖于结果的玻恩统计和可观测量的本征态，这使得该界限通常与状态无关。

虽然马森 - 乌夫金界限（Maassen-Uffink bound，$H(A) + H(B) \ge -2 \log_2 c$，其中 $c$ 是本征态之间的最大重叠）是标准的教科书结果，但它仅利用了有限的信息（最大重叠）。随后的改进纳入了第二大的重叠，然而，利用完整的幺正重叠矩阵 $U_{ji} = \langle b_j | a_i \rangle$ 且对所有可观测测量均紧致的界限一直难以企及。挑战在于寻找一个与状态无关的下界，该下界严格强于马森 - 乌夫金界限，并且对于任意不相容的可观测量具有渐近紧致性（趋近于熵之和的真实最小值）。

方法论
作者通过对将可观测量 $B$ 的本征基变换为可观测量 $A$ 的本征基的幺正算符 $U$ 应用里斯 - 索林插值定理，推导出了一个新的下界。

1. 算符范数插值：作者考虑算符范数 $\|U\|_{p \to q} = \sup_{\psi} \frac{\|U\psi\|_q}{\|\psi\|_p}$。通过在 $L^2 \to L^2$ 范数（由于幺正性为 1）和 $L^1 \to L^\infty$ 范数（由最大重叠 $c$ 界定）之间进行插值，他们建立了中间范数之间的关系。
2. 界限的推导：通过选择特定的插值参数 $p_0 = s$，$q_0 = s'$（其中 $1/s + 1/s' = 1$）以及 $p_1 = q_1 = 2$，并取插值参数 $\theta \to 1$ 的极限，作者将算符范数的导数与香农熵联系起来。这得出了不等式：
   $$H(A) + H(B) \ge -\frac{2s}{2-s} \log_2 \|U\|_{s \to s'}$$
   对于所有 $s \in (1, 2)$ 成立。
3. 数值评估：由于计算大维希尔伯特空间中的算符范数 $\|U\|_{s \to s'}$ 在计算上很困难，作者采用了非线性幂迭代法（NPIM）。该算法迭代地估计在 $\|x\|_s = 1$ 约束下的 $\|Ux\|_{s'}$ 的最大值，从而允许即使在高位维下也能有效地数值估算该界限。
4. 扩展到雷尼熵：该框架被扩展到雷尼熵 $H_\alpha$，得出了关系式 $H_{s/2}(A) + H_{s'/2}(B) \ge -\frac{2s}{2-s} \log_2 \|U\|_{s \to s'}$。

主要贡献与结果

• 新的状态无关界限：本文引入了一个（公式 1）依赖于完整幺正重叠矩阵 $U$ 而非仅最大元素的界限。这使得该界限适用于所有不共享本征态的不相容可观测量。
• 渐近紧致性：作者证明，在 $s \to 2^-$ 的极限下，该界限变得渐近紧致。具体而言，不等式的右侧收敛于所有系统状态 $|\psi\rangle$ 上熵之和的下确界。这与之前对一般可观测量不紧致的界限形成对比。
• 优于马森 - 乌夫金界限：通过解析比较，本文证明对于任何 $s \in (1, 2)$，新界限严格强于（或等于）马森 - 乌夫金界限。马森 - 乌夫金界限作为仅考虑最大重叠的特定情况被恢复。
• 数值验证：利用 NPIM，作者表明该界限能够准确估算大维系统（高达 $d=30$ 甚至更高）的熵之和最小值，而在这些系统中蒙特卡洛采样无法找到真实的最小值。对于量子比特（$d=2$），推导出了部分闭式解（附录 B），展示了该界限作为基之间旋转角函数的行为。
• 雷尼熵的紧致性：推导出的雷尼熵界限（公式 2）被证明对所有 $s$ 都是紧致的，并在 $s=1, s'=\infty$（反之亦然）时恢复为紧致的马森 - 乌夫金界限。

意义与主张
本文声称提供了第一个对任意可观测测量在一般意义下（在 $s \to 2$ 的极限下）紧致的熵不确定性关系的状态无关下界。作者认为，这种紧致性源于量子力学的基本结构：

1. 使用具有由玻恩规则（振幅的模平方，意味着 $L^2$ 范数）确定的固定参数的里斯 - 索林不等式。
2. 本征基之间需要幺正变换。
3. 选择特定的共轭指数（$1/s + 1/s' = 1$）以确保界限涉及熵之和。

这项工作表明，下界的具体形式并非任意，而是深深植根于量子概率的数学结构和希尔伯特空间的几何性质中。通过 NPIM 数值计算这一紧致界限的能力，为估算高维量子系统中的不确定性提供了一种实用工具，而在这些系统中精确最小化通常是不可处理的。作者指出，虽然推导侧重于纯态，但由于熵的凸性，这些界限自然地扩展到混合态。