Against probability: A quantum state is more than a list of probability distributions

技术摘要：“反对概率：量子态不仅仅是概率分布列表”

问题陈述
量子态通常并不由密度算符 ($\rho$) 表示，而是由源自完备的层析测量集 ($M$) 的结果概率列表表示。这种表示法在物理学中无处不在，例如出现在量子场论（通过相关函数）和量子基础（通过广义概率框架）中。虽然此类概率表示 $P_M(\rho)$ 是单射的（能够唯一确定状态），但作者质疑其在物理意义上是否具有忠实性（faithful）。具体而言，他们研究了基于概率表示的近似陈述（例如，“输出近似于随机”）在“回溯”（pull back）到密度算符层面时是否仍然有效。核心问题在于，概率表示可能缺乏拓扑鲁棒性：在概率表示空间中看似收敛于理想行为的一系列状态，在物理状态空间（由迹距离定义）中可能并不收敛。

方法论
作者采用拓扑学和信息论方法来分析概率表示诱导的度量与密度算符空间上的标准迹距离度量之间的关系。

1. 鲁棒性的定义： 他们定义一个表示 $P_M$ 是拓扑鲁棒的，如果诱导度量 $d_M$ 中的收敛意味着迹距离 $\delta$ 中的收敛。形式上，对于任何状态序列 $(\rho^{(n)})$ 和一组状态 $\Sigma$：
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   其中 $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$。

2. 反例构建： 他们构建了一个涉及 $n$ 个不稳定原子的随机性生成协议的具体示例。他们定义了一个纠缠态序列 $\rho^{(n)}_{RE}$，该序列在迹距离意义下远离完美随机状态集 $\Sigma_{rand}$（即 $\delta \geq 1/4$）。然而，当限制在局部测量 ($M_\otimes$) 时，这些状态的概率分布随着 $n \to \infty$ 收敛于 $\Sigma_{rand}$。这表明基于局部测量的表示是不鲁棒的。

3. 拓扑特征化： 作者分析了密度算符所张成的向量空间 $\text{span}(D(H))$。他们证明，虽然在密度矩阵集 $D(H)$ 上，$d_M$ 与 $\delta$ 诱导的拓扑是相同的（除了病态的“脆弱”情况外），但鲁棒性要求这些拓扑在整个向量空间 $\text{span}(D(H))$ 上也是等价的。这等价于 $\text{span}(D(H))$ 关于范数 $\|\cdot\|_M$ 的完备性。

4. 通过熵量化结构： 为了将结果推广到一般情况，他们引入了一种基于“结构”的信息论度量。他们定义了表示的渐近熵，其定义为：为了对任何测量进行 $\epsilon$-解码所需的压缩数据列表的最小规模。他们考虑了“高效”的表示（其中效应的数量随维度多项式增长）或基于局部操作的表示。

主要贡献与结果

• 无结论定理（定理 6）： 其核心结果是一个无结论定理，指出如果一个概率表示 $P_M$ 具有非微不足道的结构（具体而言，如果其渐近熵被限制在一个显著小于平凡上界 $2^{2^n}$ 的序列内），那么该表示不能是拓扑鲁棒的。
• 结构与鲁棒性的不相容性： 论文确立了一个基本的权衡：
  • 鲁棒性要求表示是“无结构的”（本质上要求需要指数级数量的测量才能鲁棒地区分状态）。
  • 结构（如子系统分解、局部性或高效性）必然导致非鲁棒性。
• 具体推论：
  • 推论 7： 基于局部测量 ($P_{M_\otimes}$) 的表示不是鲁棒的。这意味着仅基于非信号传递盒（non-signaling boxes，对应于 $P_{M_\otimes}$）的后量子密码学安全性定义，可能无法保证在标准量子定义下的安全性。
  • 推论 8： 任何高效的表示（即测量效应的数量随希尔伯特空间维度呈多项式增长的表示，如最小完备层析测量集 SIC-POVMs）都不是鲁棒的。这适用于无界维度的系统。
• 向 GPT 的推广（定理 9）： 作者将他们的发现扩展到广义概率理论（GPTs），表明存在某些 GPTs，其中局部测量诱导的拓扑与广义迹距离的拓扑不同，即使在测量集并非脆弱的情况下也是如此。

意义与主张
论文认为，概率表示虽然在数学上方便且是许多框架（包括 QBism 和重构计划）的基础，但存在一个根本缺陷：当表示包含物理相关的结构时，它们无法保持状态之间的“接近”概念。

• 对量子基础的影响： 这些结果对试图使用高效测量集（如 SIC-POVMs）或将量子态纯粹解释为信念目录（QBism）的重构程序提出了挑战。由于缺乏鲁棒性，近似的概率陈述无法可靠地映射回物理状态。
• 对量子信息的影响： 在量子密码学中，$P_{M_\otimes}$ 的非鲁棒性表明，依赖于非信号传递盒的“后量子”方案可能不如其对应的量子方案安全，因为基于概率的安全性定义并不保证在迹距离意义下的安全性。
• 对量子场论 (QFT) 的影响： 由于 QFT 态通常由相关函数（一种概率表示形式）来表征，作者指出这些表示是不鲁棒的，特别是对于非局部可观测量（例如霍金辐射相关性）。

结论
作者得出结论，密度算符形式化具有优良的特性——鲁棒性、子系统结构和高效性——而概率表示无法同时实现这些特性。虽然概率表示提供了理论无关性，但论文认为，对于任何具有非微不足道结构的表示（这对于实际物理是必要的），拓扑鲁棒性都会丧失。因此，有必要寻找能够统一概率表示的通用性与密度算符的鲁棒性的替代方法。