Certifying coherence in quantum devices under classical control

本文提出了一种综合且计算高效的框架，利用半正定规划以及与联合可测性的联系，来认证受隐性经典控制影响的设备的量子相干性，从而实现对高维态的分析以及对保持相干性信道的表征。

要点

想象一下你是一名侦探，正试图证明一位魔术师使用的是真正的魔法（量子叠加态），而不是巧妙的戏法（经典物理）。通常情况下，如果你想证明魔法的存在，你会检查魔术师手中的牌是否不符合常规规则。但如果魔术师有一个隐藏的助手呢？

这篇论文探讨了一个特定的问题：当一个量子设备可能正受到一个隐藏的经典变量秘密控制时，我们如何证明该设备是真正具有“魔力”的（相干的）？

以下是他们研究工作的简易类比拆解：

1. 问题所在：“隐藏的傀儡师”

在量子世界中，“相干性”就像是一种同时处于两个地方的状态（叠加态）。通常，我们认为一个系统是相干的，是因为它的组成部分并不完全对齐（它们不对易）。

然而，想象一下有一台机器在制备这些量子态。如果这台机器正受到一个隐藏开关（一个经典变量，我们称之为 $\lambda$）的秘密引导，会发生什么呢？这个开关是实验者看不见的。

• 戏法： 当开关设置为“1”时，隐藏开关指示机器制备一个“平庸”的状态；当开关设置为“2”时，它指示制备另一个不同的“平庸”状态。
• 幻象： 当你对结果进行平均处理时（因为你不知道使用了哪种开关设置），最终的混合体看起来就像是一个复杂的、本不该存在的“神奇”量子态。
• 危险： 你可能以为自己发现了一种新的量子现象，但实际上这只是一个经典的戏法。论文提出了问题：我们如何证明这台机器是真正的量子机器，而不是仅仅被一个隐藏的经典变量所操纵？

2. 解决方案：“数学筛子”

作者构建了一套数学工具（称为半正定规划或 SDP）来充当筛子。这些工具用于测试一组状态是否可能是由一个隐藏的经典开关伪造出来的。

他们开发了两种主要的工具：

A. “完美但缓慢”的筛子（层级结构）

• 工作原理： 这是一个循序渐进的测试阶梯。第一步是一个快速检查。如果失败了，你就知道它是假的。如果通过了，你就进入更难、更详细的下一步。
• 承诺： 如果你在这把阶梯上一直向上攀爬，你最终会得到一个 100% 完美的答案。它证明了相干性可以用数学完全定义。
• 代价： 这就像试图通过数清沙滩上的每一粒沙子来证明这是一片沙滩。它很精确，但在处理具有许多状态的现实世界实验时，耗时太长。

B. “快速且聪明”的筛子（实用方法）

• 工作原理： 这是一个捷径。它并不攀爬整个阶梯，而是进行一次非常聪明的快照。
• 优势： 它速度极快。作者展示了它可以在标准计算机上几分钟内处理数百个量子态（即使在高维空间中）。
• 结果： 尽管这是一个捷径，但它出奇地准确。它能让你非常有把握地判断一个设备是真正的相干，还是仅仅在伪装。

3. 特殊情况：量子比特（Qubit）超级工具

对于最常见的量子比特类型（量子比特，就像一枚可以正面朝上、反面朝上，或者两者兼有的硬币），作者发现了一个聪明的捷径。

• 他们将“相干性”问题与另一个已知的概念——“联合可测性”（询问是否可以同时测量两件事而不产生干扰）联系了起来。
• 通过利用这种联系，他们创建了一个能够同时认证超过 1,000 个量子比特相干性的工具。这就像拥有一个超快速扫描仪，可以在几秒钟内检查完整个图书馆的书籍。

4. 测试“管道”（量子信道）

最后，他们将这些工具应用于量子信道（即传输量子信息的“管道”）。

• 问题： 这根管道是保留了魔力，还是破坏了魔力？
• 新概念： 他们定义了**“破坏相干性的信道”**。这些管道由于噪声过大或具有破坏性，无论你向其中发送什么，输出结果总会看起来像是一个平庸的经典混合体。这就像一根无论你放入什么都会把黄金变成铅的管道。
• 测试： 他们的工具现在可以准确告诉你，一根管道是安全的（保留相干性）还是损坏的（破坏相干性）。

总结

作者为量子科学家们构建了一个工具箱。

1. 理论证明： 他们证明了即使存在隐藏的经典戏法，你也可以在数学上定义真正的“量子性”。
2. 实用工具： 他们创建了一种快速、高效的方法来测试具有许多状态的真实设备。
3. 可扩展性： 对于简单的量子比特，他们制作了一个可以扩展到大规模数量（1,000+）的工具。
4. 信道测试： 他们提供了一种测试通信信道是破坏量子魔力还是保持其生命力的方法。

简而言之，他们为我们提供了一把放大镜，让我们能够识破真正的量子魔术，即使有一个隐藏的经典傀儡师试图在幕后操纵丝线。

技术摘要

技术摘要：经典控制下量子器件的相干性认证

问题陈述
量子相干性在本质上与状态的非对易性相关，通常相对于特定的基底进行定义。然而，一种与基底无关的相干性认证需要证明一组状态无法被同时对角化。一个显著的概念局限在于，当制备设备受到“隐藏经典控制”的影响时——即不可见的经典参数（隐藏变量 $\lambda$）随机地影响设备的运行。在这种情况下，设备可能会生成一组在观察者看来具有相干性的非对易状态，但这些状态却可以存在一个经典模型，在该模型中，以 $\lambda$ 为条件，底层的状态是对易的（不相干的）。现有的在存在此类隐藏变量的情况下认证真实相干性的方法仅限于简单情形。本文解决的核心问题是：如何严谨地认证一个量子制备设备在可能受不可见经典参数影响时，是否具有真正的相干性。

方法论
作者开发了一套基于半正定规划 (SDP) 的方法，用于表征允许不相干模型存在的状态集 $\mathcal{C}$（即可以由对易状态的经典混合模拟）。

1. 完整的 SDP 松弛层级结构：
   论文首先通过构建一个收敛的外部 SDP 松弛层级 $\mathcal{C}_2 \supset \mathcal{C}_3 \supset \dots \supset \mathcal{C}_\infty = \mathcal{C}$，建立了相干性的充分必要条件。

   • 第 $m=2$ 层： 这涉及定义二分算符 $O_{xy} = \int d\lambda q(\lambda) \tau_{x,\lambda} \otimes \tau_{y,\lambda}$，其中 $\tau_{x,\lambda}$ 是对易状态。约束条件包括正定性、正部分转置 (PPT) 以及恢复观测状态 $\rho_x$ 的边缘约束。
   • 收敛性： 更高层级 ($m > 2$) 利用作用于 $m$ 个系统的算符。该层级通过与 POVM 的 de Finetti 定理的对应关系，证明了当 $m \to \infty$ 时收敛至精确集合 $\mathcal{C}$。虽然该方法是完备的，但其扩展性较差（涉及 $N^2$ 个大小为 $d^2$ 的矩阵），导致其在处理大型系统时并不实用。

2. 实用的 SDP 判据（块矩矩阵）：
   为了解决扩展性问题，作者引入了一个基于块矩矩阵的单一且高效的 SDP 条件。

   • 公式化： 通过假设底层的状态 $\tau_{x,\lambda}$ 是纯态且对易的，作者构造了一个包含观测状态 $\rho_x$ 和代表对易状态乘积的优化变量 $M_{ij}$ 的块矩矩阵 $\Gamma$。
   • 约束： 矩阵 $\Gamma$ 必须是正定的，其对角块对应于 $\rho_i$，而非对角块 $M_{ij}$ 满足 $\rho_i \succeq M_{ij} \succeq 0$ 且满足埃尔米特性。
   • 效率： 该方法随状态数量 $N$ 和维度 $d$ 线性扩展（矩阵大小为 $d(N+1)$），使其在处理高 $N$ 和高 $d$ 的情况时在计算上是可行的。
   • 见证器 (Witnesses)： 该 SDP 的对偶形式产生了相干性见证器（不等式），这些不等式对于所有不相干集合均成立，但会被相干集合所违反。

3. 针对量子比特的专门方法（联合可测性）：
   对于量子比特系统 ($d=2$)，作者利用了相干性认证与相关二分测量联合可测性之间的等价性。

   • 近似： 他们利用凸规划技术，通过布洛赫球的内、外多面体近似来近似联合可测观测量的集合。
   • 扩展性： 通过使用一个拥有 220 个顶点的多面体（将布洛赫球近似为缩减因子 $r \approx 0.9934$），他们实现了对超过 1,000 个量子比特状态集的精确认证。

4. 通道上的相干性：
   这些方法被扩展到量子通道 $\Lambda$。如果一个通道的图像（所有输出状态的集合）允许一个不相干模型，则该通道被定义为破坏相干性 (CB) 的通道。

   • 认证： 作者提出了一个迭代算法，用于寻找使输出相干性最大化的输入状态集，从而收紧关于通道是否为 CB 的界限。
   • 量子比特通道： 对于量子比特，使用多面体近似方法来确定通道的图像是否允许一个不相干模型，从而有效地区分相干保持和破坏相干性的机制。

主要结果

• 理论表征： 论文证明了在隐藏经典控制下的相干性可以完全由 SDP 层级进行表征。
• 扩展性： 实用的 SDP 判据（公式 17）成功认证了：
  • $N=100$ 个随机量子比特状态，耗时不足 8 分钟。
  • $N=70$ 个随机三能级系统 (qutrit) 状态，耗时不足 11 分钟。
  • 仅有两个状态的高维系统 ($d=150$)，认证了可见度 $v \gtrsim 0.9246$ 的相干性。
• 准确性比较： 与完整层级的基准测试表明，实用的 SDP 方法不仅速度显著更快，而且在相干性认证的临界噪声阈值方面提供了更紧致（更准确）的界限。
• 量子比特扩展： 联合可测性方法实现了对超过 1,000 个量子比特状态的精确相干性认证，这一领域是通用 SDP 层级无法触及的。
• 通道分析：
  • 对于 $d=20$ 的去极化通道，迭代算法收敛至已知的关于相干性破坏阈值的理论界限。
  • 对于复合通道（去极化 + 去相位；去极化 + 幅度阻尼；去极化 + 幅度阻尼），作者绘制了参数空间中通道属于相干性破坏还是相干保持的区域。
  • 对于量子比特去极化通道，该方法认证了 CB 阈值为 $v \lesssim 0.4999$，以及保持阈值为 $v \gtrsim 0.5029$，几乎匹配了理论精确值 $0.5$。

意义与主张
作者声称提供了一个用于在经典控制不完美或隐藏的现实场景下分析量子叠加态的“强大工具箱”。

• 基础影响： 这项工作解决了非对易状态可能具有经典模拟性的概念局限，提供了区分真实量子相干性与经典混合的严谨标准。
• 实际效用： 所开发的方法旨在用于“最先进的量子制备设备”，提供计算高效的工具，即使在高维系统或大量状态下依然有效。
• 新概念： 破坏相干性通道 (Coherence-Breaking Channels) 的引入类比了纠缠破坏通道的概念，为根据通道在存在隐藏经典变量时保留或破坏叠加态的能力来分类量子通道提供了新的框架。
• 基准测试： 这些工具被呈现为在实验设置中（特别是在缺乏解析解的情况下）衡量高维叠加态的噪声和损耗优势的重要工具。

本文并非提出新的实验装置，而是提供了必要的理论和计算框架，用于解释在放宽经典控制假设下的实验数据。