🔢 mathematics

Robustness of Hidden-Variable Theories and Matrix Scaling

本文通过构建一个反例，驳斥了阿拉斯诺（Aaronson）关于薛定谔隐变量理论对微扰具有鲁棒性的猜想，同时提出了一个既满足鲁棒性又符合所有其他理想公理的修正版理论。

原作者： Giulio Malavolta, Harold Nieuwboer, Akshay Ramachandran, Michael Walter

发布于 2026-09-15

📖 1 分钟阅读🧠 深度阅读

原作者： Giulio Malavolta, Harold Nieuwboer, Akshay Ramachandran, Michael Walter

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

量子力学以从未失败过的数学精度描述了自然界中最小微粒的行为，然而它却留下了一个深刻的哲学鸿沟。该理论告诉我们发现粒子处于特定位置的概率，但它拒绝说明在观测之前，该粒子究竟实际位于何处。这种确定路径的缺失困扰了物理学家近一个世纪。为了填补这一鸿沟，一些人提出了“隐变量理论”，该理论认为粒子确实拥有确定的位置和历史，只是这些细节对我们的观察而言仅仅是隐藏起来了。挑战在于构建一种既能保留这些隐藏路径，又能与标准量子力学的完美预测相匹配的理论。如果能够构建出这样的理论，它不仅将满足我们对现实的好奇心，还将改变我们对计算极限的理解，可能使计算机能够解决目前尚无法解决的问题。

多年来，一个受物理学家埃尔温·薛定谔（Erwin Schrödinger）启发的特定提议一直是此类理论的主要候选方案。这种通常被称为“薛定谔理论”的方法，试图通过调整概率网格，直到起始和结束条件符合量子力学的规则，从而绘制出量子系统的历史。该理论若要在现实世界中发挥作用，一个至关重要的要求是它必须具有鲁棒性（稳健性）。这意味着，如果输入数据发生微小的变化——例如粒子初始状态的轻微偏移——所得出的历史也应仅发生微小的变化。如果输入的微观变化导致输出发生巨大且不可预测的转变，那么该理论对于实际应用或理解自然界在轻微扰动下的行为将是毫无用处的。

一组研究人员现在已经证明，这种特定的薛定谔理论并不具备鲁棒性。他们构建了一个精确的数学案例，其中两个量子装置几乎完全相同，其差异极其微小，甚至远小于我们在实验室中可以测量到的程度。尽管两者近乎完美地相似，该理论却为这两个装置分配了完全不同的历史。在一种情况下，粒子采取某一路径的概率很高；而在几乎相同的第二种情况下，该路径的概率却降到了接近于零。这两个结果之间的差异并非微小的波动，而是根本性的转变，这证明了当面对即使是最轻微的数据缺陷时，该理论也会崩溃。这一发现解决了一个领域内的长期疑问，表明这种特定版本的隐变量理论不能成为最终答案。

然而，故事并未止步于失败。研究人员并没有停留在证伪旧思想上；他们构建了一个修复了该问题的新版本理论。他们引入了一个简单的约束，即对流经任何单一路径的概率量设定一个限制，这起到了稳定器的作用。有了这条新规则，该理论变得具有鲁棒性。现在，当输入发生轻微变化时，输出也仅随之发生轻微变化，正如一个可靠的物理理论所应具备的那样。这个新的“封顶”理论保留了原始提议的所有其他理想特征，如对称性和与量子规则的一致性，同时终于实现了实际应用所需的稳定性。

这项工作还阐明了该领域可能性的图景。研究人员表明，虽然你可以拥有一个既具鲁棒性又具对称性的理论，但你无法同时拥有一个既具鲁棒性、又具对称性，还能完美保留复杂多部分系统结构的理论。你必须选择保留哪些属性。他们的新型“封顶”理论通过保留鲁棒性和对称性，并接受一种对复杂系统而言稍弱的一致性形式，从而取得了成功。这提供了一幅关于权衡关系的完整地图，展示了哪些规则组合可以共存，而哪些必须被牺牲。其结果是提供了一个更清晰、更诚实的关于隐变量理论可以是什么以及不能是什么的图景，将该领域从推测转向了明确的可能性集合。

技术摘要：隐变量理论的鲁棒性与矩阵缩放

问题陈述
受量子基础和复杂度理论的启发，本文研究了由 Aaronson 正式化的隐变量理论（HVT）的性质。具体而言，本文探讨了“薛定谔理论”（Schrödinger theory）的鲁棒性，该理论受薛定谔 1931 年提议的启发并由 Aaronson 正式化。在该理论中，给定初始量子态 $\rho$ 和幺正演化 $U$ ，通过对 $U$ 的条目模值进行重缩放（通过 Sinkhorn 算法），从而分配一个联合概率分布，使得列边缘分布与 $\rho$ 的 Born 定律概率相匹配，且行边缘分布与最终态 $U\rho U^\dagger$ 的分布相匹配。

Aaronson 曾猜想该映射是鲁棒的：即输入的逆多项式级微小扰动会导致生成的联合分布产生逆多项式级的微小扰动。这一性质对于复杂度理论的应用至关重要，特别是用于刻画非坍缩测量（复杂度类 DQP）的计算能力。本文旨在确定该猜想是否成立，以及是否可以构造一种满足鲁棒性及其他理想公理（对称性、无差别性、分解不变性和交换性）的修正理论。

方法论
作者结合了矩阵缩放理论、运输多面体上的优化以及显式反例构造方法。

反例构造： 为了证伪原始薛定谔理论的鲁棒性，作者构造了一组特定的输入。他们定义了一个具有特定零模式和参数 $\delta$ 的非负矩阵 $M_\delta$ 。他们证明了 $M_\delta$ 的 Sinkhorn 缩放对 $\delta$ 具有高度敏感性。随后，作者通过构造高维希尔伯特空间（ $N = 2n+1$ ）并将该矩阵“提升”到量子设定中，定义了两个幺正矩阵 $U_\delta$ 和 $U_{\delta'}$ ，它们具有相同的支撑集，但彼此之间的差异在指数级微小范围内（ $\|U_\delta - U_{\delta'}\|_{\max} < 2^{-n}$ ）。选择初始态 $\rho$ 使得由薛定谔理论分配的联合分布尽管输入极其接近，其差异却很大（在全变差距离意义下为常数级）。
优化与容量约束： 为了解决鲁棒性失效的问题，作者提出了“受限薛定谔理论”（Capped Schrödinger Theory）。该变体通过一个约束优化问题来定义。不同于在标准运输多面体（具有固定边缘分布的矩阵）上最小化 Kullback-Leibler (KL) 散度 $D_{KL}(P \parallel |U|)$ ，新理论是在带有额外容量约束的集合 $C(\rho, U)$ 上最小化该散度。具体而言，联合分布的条目被限制为 $P_{ji} \leq C_{ji} = 2|U_{ji}|\sqrt{(U\rho U^\dagger)_{jj} \rho_{ii}}$ 。
鲁棒性证明： 作者利用 KL 散度的强凸性和最大流最小割定理证明了受限理论的鲁棒性。容量约束确保了对于临近的输入 $(\rho, U)$ 和 $(\tilde{\rho}, \tilde{U})$ ，其可行集是“接近”的，从而允许解的投影。通过界定临近多面体上 KL 散度极小值之间的距离，作者确立了联合分布的变化仅相对于输入扰动呈多项式级变化。
公理分析： 作者系统地分析了 Aaronson 公理的兼容性。他们证明了新的不可能定理，表明某些公理组合无法同时被满足，从而细化了可能的 HVT 景观。

核心贡献与结果

证伪鲁棒性猜想： 本文提供了一个反例（定理 1.3），表明原始薛定𝟬谔理论不是鲁棒的。作者构造了一个纯态和两个幺正矩阵，两者在指数级微小程度上接近，但分配的联合分布在至少一个条目上至少存在逆线性项的差异，且在全变差距离意义下存在常数级差异。这种失效即使在幺正矩阵共享相同的最小块（支撑集）时也会发生，表明这种不稳定性是缩放过程本身固有的。
提出受限薛定谔理论： 作者引入了一种修改后的理论（定义 4.1），该理论对联合分布施加了容量约束。他们证明（定理 1.4）该新理论满足：
- 对称性： 在基底重标记下的不变性。
- 无差别性： 保留 $U$ 的块结构。
- 鲁棒性： 对微小扰动的稳定性。
- 分布乘积交换性： 针对乘积态的一种特定形式的交换性。
对公理的新限制： 本文确立了两个新的不可能结果（定理 1.5 和 1.6）：
- 没有 HVT 能同时满足无差别性和乘积交换性（在转移矩阵的强意义下）。
- 没有 HT 能同时满足无差别性和分解不变性。
  这些结果结合前人的工作，提供了对能同时满足 Aaronson 公理子集的完整分类。

意义
本文解决了 Aaronson 提出的关于薛定谔理论稳定性的主要开放问题。通过证明原始理论不具备鲁棒性，本文阐明了使用该特定 HVT 来进行涉及非坍缩测量的复杂度理论刻画时的局限性。

引入受限薛定谔理论具有重要意义，因为它在保留对称性、无差别性和某种交换性的同时，挽救了鲁棒性属性。这为理解 HVT 固有的权衡提供了“完整图景”：人们可以同时实现鲁棒性和无差别性，但必须以牺牲分解不变性和强交换性为代价。这项工作因此划定了 HVT 公理框架内可能性的精确边界，为研究具有非坍缩测量的量子系统的计算能力提供了更精细的工具。

此外，本文还强调了矩阵缩放、带容量约束的熵优化运输与量子基础之间的联系，表明在存在容量约束的情况下，Sinkhorn 算法的稳定性是构建物理上合理的隐变量模型的关键因素。

类似论文