Most incompatible measurements and sum-of-squares optimisation

想象一下你正在尝试烤一个蛋糕，但你有一个严格的规则：你必须能够将所有的原料在一个大碗中混合在一起，且它们之间不能发生冲突。在量子世界中，这种“混合”被称为联合可测量性（joint measurability）。如果你能将你的量子测量（你的原料）混合成一个“母体”测量，它们就是兼容的。如果它们发生冲突并拒绝混合，它们就是不兼容的（incompatible）。

这篇论文是关于寻找那些“最顽固”的原料——即最难混合在一起的测量方式。为什么这很重要？因为在量子物理学中，不兼容性实际上是一种超能力。它是实现诸如“量子转向（quantum steering）”等现象的燃料，而这是一种证明一个系统是真正的量子系统而非仅仅是经典巧合的方法。你的测量方式越不兼容，你的量子系统就能承受越多的噪声（静电或误差），而不会让这种神奇特性消失。

以下是作者 Sébastien Designelle 的发现，使用了简单的类比：

1. 问题所在：寻找“最差”的混合物

科学家们早就知道如何寻找最不兼容的测量对（比如尝试混合两种互相排斥的特定香料）。但如果你有一个包含 5 个、10 个或 100 个测量的整个香料架时，情况会如何呢？对于大规模测量组寻找绝对“最差”的混合方式，一直是一个巨大的数学难题。

作者的目标是建立一个通用的“配方”（一个母体测量），使其适用于任何测量组，以证明它们究竟可以有多不兼容。

2. 方法论：“平方和（Sum-of-Squares）”阶梯

为了解决这个问题，作者构建了一个名为平方和（SOS）层级的数学阶梯。

类比： 想象你正试图证明一个形状是完美的正方形。
- 第 1 层（基础）： 你检查边是否是直的。这就像作者的“2 次度（Degree 2）”方法。这是一个简单、清晰且优于我们以往认知的公式。
- 第 2 层（向上攀爬）： 你检查角和对角线。这就是“3 次度”和“4 次度”方法。
- 阶梯顶端： 作者意识到，他们不需要仅仅检查一个特定的形状，而是可以使用计算机来检查由“平方”（始终为正的数学多项式）组成的任何形状。这就是平方和优化（Sum-of-Squares optimization）。

通过攀爬这个阶梯，作者可以构建出比以往方法更灵活、更强大的“母体测量”。

3. 重大发现：“反对易（Anticommuting）”冠军

其中一个最令人兴奋的发现是关于一种特定类型的测量，即反对易观测量（anticommuting observables）。

类比： 把这些想象成类似于量子意义上的“左”与“右”或“上”与“下”。它们在本质上是完全对立的，以至于如果你尝试测量其中一个，另一个会立即翻转或改变。
结果： 作者证明了对于简单的“是/否”（二分）测量，这些“左/右”对立面是最不兼容的测量。它们是终极的“不可混合”原料。这证实了如果你想构建最稳健的量子系统，你应该使用这些特定类型的测量。

4. 计算机的角色：击败数学

虽然作者为许多情况找到了完美的数学公式（解析结果），但他们也使用计算机来解决更复杂情况下的“平方和”谜题。

结果： 计算机找到了甚至比作者自己最好的数学公式还要更好的解。这就像是亲手写出一份完美食谱，然后用一台超级计算机进行试吃并调整配料，让蛋糕变得更加蓬松。
证明： 论文展示了这种计算机方法是有效的。它成功地改进了已知测量不兼容性的极限，证明了“阶梯”方法是一个强大的工具。

5. 现实世界的应用：“维度见证者（Dimension Witness）”

论文最后解释了这如何帮助现实中的量子技术。

类比： 想象你正在试图猜测一个盒子（量子系统的维度）的大小，而无需打开它。你只能通过测量来探测它。
应用： 由于作者找到了“最不兼容”的测量方式，他们创建了一个更好的“尺子”（维度见证者）。如果你使用这些测量并观察到一定程度的“量子转向”（系统对噪声的反应强度），你就可以确定地证明该系统是一个高维量子物体，而非微小、简单的物体。这是以“单侧设备无关（one-sided device-independent）”的方式进行的，这意味着你不需要信任对方的设备也能得知真相。

总结

简而言之，这篇论文构建了一个更好的数学工具箱，用于寻找“最顽固”的量子测量方式。

它证明了对立的测量（反对易测量）是竞争不兼容性的冠军。
它引入了一个层级方法（平方和阶梯），允许计算机找到比人类公式本身更好的解。
它提供了一个更好的尺子，用于认证量子系统的规模和复杂度，这对于构建未来的量子计算机和安全通信网络至关重要。

这篇论文并非声称构建了新的量子计算机或治愈了某种疾病；它只是提供了理解和认证这些量子系统能发挥多大威力的数学“蓝图”和“尺子”。

技术摘要：最不相容测量与平方和优化

问题陈述
测量不相容性（或缺乏联合可测性）是量子理论中的一种基本资源，支撑着诸如 Bell 非定域性和爱因斯坦-波多尔斯基-罗森（EPR）操纵（steering）等现象。虽然成对测量的不相容性已得到很好的表征，但在有限维系统中，确定更大集合（ $k > 2$ ）的“最不相容”测量集仍然是一个重要的开放问题。核心挑战在于建立对所有可能测量集都有效的通用界限。这需要构建一个“通用父测量”（universal parent measurement，即一个可以通过后处理导出任何特定集合的联合测量），并使其满足半正定约束。以往的方法依赖于结合成对信息或特定的几何构造，这些方法往往无法捕捉到较大集合的完整结构，或缺乏实验可行性。

方法论
作者开发了一个基于平方和（SOS）优化的系统框架来构建通用父测量。该方法分为两个主要阶段：

解析构造（低阶多项式）：
作者首先展示了定义为测量算符之和的正多项式的通用父测量。
- 二次项（Degree Two）： 他们构造了形式为 $G \propto (S - \alpha \mathbb{1})^2$ 的父测量，其中 $S$ 是投影算符之和。这种方法为固定维度（ $d$ ）和固定输出数（ $n$ ）下的不相容鲁棒性（ $\eta$ ）提供了解析下界。
- 三次项（Degree Three）： 通过将多项式阶数扩展到三（ $G \propto S(S - \beta \mathbb{1})^2$ ），他们推导出了更紧的界限，特别是针对广义不相容鲁棒性（ $\eta_g$ ）。
- 特殊情况： 对于相互不确定基（MUBs），他们利用高阶多项式（最高至四阶）和 MUBs 的特定性质来改进去极化鲁棒性（ $\eta_d$ ）的界限。
平方和层级（数值优化）：
由于意识到将父测量限制为关于 $S$ 的简单多项式具有局限性，作者形式化了一个通用层级。
- 他们定义了可归一化多项式（其输出之和还原为单位矩阵）和压缩边缘化多项式（其边缘分布可以通过特定不等式进行限定）。
- 这使得该问题可以转化为半正定规划（SDP）实例（方程 49 和 50），其中在寻找次数为 $2t$ 的 SOS 多项式集合中的父测量。
- 作者通过实现一个受限层级（方程 50）来进行数值处理，利用“压缩”（pinched）约束来减少变量数量，以应对计算复杂度。

核心贡献

解析界限： 本文提供了新的解析通用父测量，改进了各种不相容性度量（ $\eta_d, \eta_r, \eta_g$ ）的现有技术水平界限。
最大不相容性的表征： 作者证明了由反交换观测算符产生的二分测量（dichotomic measurements）集在随机鲁棒性（ $\eta_r$ ）和广义鲁棒性（ $\eta_g$ ）方面是最不相容的。具体而言，他们表明 $\chi^r_k(2) = 1/\sqrt{k}$ 且 $\chi^g_k(2) = \frac{1}{2}(1 + 1/\sqrt{k})$ 。
统一框架： 该工作统一了之前的解析方法（见参考文献 [10, 13, 20]），并通过引入一个允许解析推导和数值精炼的层级对其进行了扩展。
数值改进： 通过受限 SOS 层级，作者获得了在特定情况（例如 $d=4, k=5$ ）下严格优于其自身解析值的数值界限。

结果

反交换观测算符： 研究证实了反交换观测算符构成了最不相s的二分集合，为这些特定配置提供了紧凑界限。
维度见证器（Dimension Witnesses）： 推导出的界限被应用于演示真正的、高维的操纵（steering）。作者提供了一个操纵鲁棒性的上界（方程 42）以及一个相应的维度见证器（方程 43），该见证器取决于设置数量（ $k$ ）和系统维度（ $d$ ）。
性能比较：
- 对于 $k=2$ ，解析结果重现了已知的紧凑界限。
- 对于 $k > 2$ ，二次和三次项解析界限优于之前通过成对组合得到的松散界限。
- 来自 SOS 层级的数值结果（表 I）表明，该方法可以超越解析极限，特别是在固定维度和固定输出数的机制下。
- 表 III 总结了 $d=4, k=5$ 时 $\eta_g$ 下界的演进过程，显示出从基于克隆的界限（0.5200）到压缩边缘化数值结果（~0.5391）的明显提升。

意义与主张
本文声称建立了一条在涉及更大测量集合的情景中认证不相容性的路径，从而超越了双测量机制。

理论进展： 它提供了一种构建通用父测量的严谨方法，解决了证明任意集合的半正定性的技术障碍。
最优性： 作者证明了对于相关的鲁棒性度量，反交换观测算符确实是最不相容的二分测量。
方法论效力： SOS 层级被呈现为一个统一解析和数值方法的强大工具。尽管作者对通用层级的收敛性保持谨慎（指出是否对于所有 $k, d, n$ 都变得紧凑仍是一个开放问题），但他们展示了该方法在边缘情况（ $k=2, n=2, d=2$ ）下是紧凑的，并且有能力改进更复杂场景下的界限。
应用： 研究结果为单侧设备无关维度见证器提供了直接应用，允许在提高对噪声鲁棒性的同时，实现对量子系统维度的认证。

该工作并非提出新的实验装置，而是为解释此类实验（特别是涉及高维操纵的实验）提供了必要的理论界限和认证工具。