在量子世界中，最强大的资源是一种被称为“纠缠”的奇特连接。在这种连接中，两个粒子保持着某种联系，使得其中一个粒子的状态会瞬间影响另一个，无论它们之间的距离有多远。几十年来，科学家们能够在被称为“高斯态”的简单、平滑系统中识别出这种连接，这些系统表现得有点像平静湖面上的涟漪。然而，最先进的量子技术（如超精密传感器和未来的量子计算机）依赖于一种更为狂野、更复杂的纠缠类型，即“强非高斯态”。这些状态就像是锯齿状、不规则的波浪，挑战着过去的平滑模式。检测这种崎岖形式的纠缠一直是一个主要的障碍，因为用于测量平滑波浪的标准工具在面对这些复杂形状时会完全失效，导致研究人员无法验证他们最有潜力的量子资源是否真的在发挥作用。
来自布鲁塞尔自由大学的一个研究小组现在开发了一种新方法来解决这个问题，提供了一种能够以惊人的简易程度来认证这种困难纠缠类型的方法。研究人员并没有试图直接测量复杂的量子态（这通常需要难以想象的海量数据），而是设计了一种技术，该技术同时使用几个相同的量子态副本。他们将这些副本通过简单的被动光学电路——本质上是由反射镜和分束器组成的网络，这些组件不会向系统添加能量——然后统计从电路中出来的粒子（如光子或原子）的数量。通过分析这些粒子计数的统计模式，他们可以计算出特定的数学值，从而揭示该状态是否具有纠缠性。这种方法与以往的方法有显著不同，以往的方法通常需要测量在实验室环境下极难获取的高阶相关性。
研究人员证明，他们的新准则在识别“NOON态”方面的表现异常出色。NOON态是一类特殊的量子态，其中粒子处于要么完全在某处、要么完全在另一处的叠加态。这些状态对于计量学（即测量科学）至关重要，因为它们理论上可以提供最高的精度。以往的方法，包括基于熵或对粒子位置与动量进行标准测量的法，即使在纠缠显而易见的情况下，也完全无法检测出这些状态中的纠缠。然而，这种新方法成功识别了包含任意数量粒子的NOON态，范围从仅有的几个到十个，而旧技术在这一范围内便已触及瓶颈。研究人员发现，他们的方法不仅适用于纯净、理想的状态，也适用于受到噪声干扰的混合态，这表明该方法对于现实世界的条件具有鲁棒性（稳健性）。
为了确保他们的发现不仅仅是理论上的，团队进行了广泛的计算机模拟，以测试其方法在现实实验约束下的表现。他们模拟了当粒子被吸收或散射时不可避免的损耗，模拟了当不同副本之间的实验条件发生轻微波动时产生的噪声，以及由于测量次数有限而产生的统计不确定性。即使在模拟系统丢失高达20%粒子的情形下，该方法依然能够检测到纠缠。在涉及最困难的状态时，他们发现，通过合理的实验运行次数（具体约为十万次），即使在存在显著噪声的情况下，他们仍能确认纠缠的存在。这表明该技术不仅仅是一个数学上的奇思妙想，而是一个可以用现有技术实现的实用工具，例如光子量子计算和超冷原子实验中已经使用的粒子计数探测器。
这项工作的意义在于它能够弥合理论与实践之间的鸿沟，用于处理最先进的量子态。通过展示仅使用几个状态副本、简单的光学元件和粒子计数即可实现纠缠认证，研究人员消除了一个开发量子传感器和量子计算机的主要障碍。他们的方法不需要对光或物质进行复杂的、主动的操控（这种操控往往会引入误差），而是依赖于粒子自身的根本属性。这项研究证实，这些高度非高斯态中的纠缠不仅是真实的，而且即使在实验装置不完美的情况下，也能以高置信度被检测到。这为科学家构建和验证下一代量子设备打开了大门，确保他们进行超精密测量和先进计算所需的强大资源确实存在且功能完好。
技术摘要：检测强非高斯纠缠
问题陈述
在连续变量（CV）量子系统中，高效地认证纠缠是推进量子信息处理、光子计算和计量学的关键瓶颈。虽然存在许多针对高斯态的判据（例如基于二阶矩的 Simon 判据）和弱非高斯态（例如熵判据）的方法，但这些方法在强非高斯纠缠领域失效。这一领域包括远超出高斯态凸包的状态，例如 NOON 态和 Fock 态的叠加态。现有方法面临两个主要局限性：
- 不敏感性： 熵判据和基于非局部正交算符（EPR 型）的方法通常无法检测高度非高斯态或相干态叠加态中的纠缠。
- 实验不可行性： 基于模式算符高阶矩（如 Shchukin-Vogel 层级）的判据在理论上可以捕捉这些相关性，但需要不可行的测量设置，或者其阶数随状态复杂度呈指数级增长（例如对于光子数 N 的 NOON 态，需要 2N 阶矩）。
方法论
作者将最近引入的基于**部分转置态矩（PT 矩）**的纠缠判据扩展到了连续变量系统。核心方法论包含三个组成部分：
理论框架（PT 矩）：
论文推广了两种源自 Stieltjes 矩问题和 Descartes 符号法则的无限层级判据。这些判据通过矩 pn=Tr{ρ~n} 来测试部分转置 ρ~ 的正定性。
- 作者专注于涉及纯度 p2 和三阶矩 p3 的三阶判据。
- 他们推导出了一个二次判据（p3−p22≥0）和一个线性判据（p3−(3p2−1)/2≥0）。
- 至关重要的是，他们确定了一个最优三阶判据，该判据通过在可分态上最小化 p3 来优化 p2。该最优判据能适应状态的纯度：当 p2≥1/2 时为线性关系，而当 p2<1/2 时遵循更复杂的边界。
- 对于纯态，这些三阶判据被证明是检测纠缠的充分必要条件。
实验读出（多副本方法）：
为了在不需要不可行测量设置的情况下获取这些 PT 矩，作者采用了多副本方法。
- 与随机测量（其在 CV 系统中随希尔伯特空间维度恶化）不同，该方案利用了 n 个状态副本 ρ⊗n。
- 第 n 个 PT 矩是通过涉及 Fock 基底循环移位算符的多副本可观测量来测量的。
- 这些移位算符通过由无源线性光学元件（分束器和相移器）实现的**离散傅里叶变换（DFT）**进行对角化。
- 最终的读出仅需在输出模式上使用粒子数分辨探测器。
- 具体而言，p2 需要每个子系统一个 50:50 分束器，而 p3 则需要每个子系统一组特定的三个分束器和相移器的序列。
鲁棒性分析：
作者对现实的实验缺陷进行了建模，包括：
- 损耗： 建模为作用于输入态的损耗量子信道。
- 噪声副本： 状态制备参数（如相位、损耗）在不同副本之间的变化。
- 有限统计： 由于有限实验运行次数导致的统计波动。
关键结果
论文将所提出的 PT 矩判据与标准方法（Shchukin-Vogel、EPR 型、熵型）在各种状态族中进行了基准测试：
- 高斯态： 三阶判据被证明是高斯可分性的必要非充分条件（这与 Simon 判据对于 1×1 高斯态是最紧边界的结论一致）。然而，最优三阶判据在 p2 和 p3 方面为高斯纠缠提供了紧凑的界限。
- 相干叠加态（猫态）： 对于退相干纠缠薛定谔猫态，线性 p3-PPT 判据优于所有熵判据，能够在相干分量间距较小（∣α∣=∣β∣≳1）时检测到纠缠，而此时熵法会失效。
- 强非高斯态（NOON 态）： 这是主要的成功案例。
- 对于 NOON 态 ∣ψ⟩=α∣N,0⟩+β∣0,N⟩，三阶判据可以检测所有 N 以及所有非平凡叠加（α,β=0）下的纠缠。
- 标准方法（EPR、熵法）对于这些状态完全失效。
- 基于模式算符的判据需要高达 2N 阶的矩，这在实验上是难以实现的。所提方法无论 N 为多少，仅需三阶矩。
- 鲁棒性：
- 损耗： 该方法在对于高光子数（N=10）时可检测高达 ∼20% 的损耗。只有当损耗超过 50% 时，纠缠认证才会失败。
- 噪声副本： 判据对副本之间相位和损耗参数的变化保持鲁棒，可容忍高达 ∼30% 的损耗参数变化。
- 有限统计： 数值模拟表明，对于具有 10% 损耗的 N=1 NOOL 态，约 103 个样本足以见证纠缠；对于 15% 损耗的 N=10 态，约 105 个样本则足够。
意义与主张
论文声称提供了一种强大且高效的纠缠判据，专门针对强非高斯领域定制，而此前的方法在此领域要么不敏感，要么在实验上不可行。
- 高效性： 通过使用结合无源线性光学和粒子数测量的多副本方法，该方案避免了与高阶模式算符矩相关的测量设置的指数级缩放。
- 通用性： 这些判据是维度无关的，既适用于纯态也适用于混合态，涵盖了所有类 NOON 态及其他非高斯族（如光子添加/减去态、Hermite-Gauss 态）。
- 实用性： 论文展示了该方法在面对现实实验约束（损耗、噪声、有限统计）时的鲁棒性，使其成为当前光子平台和超冷原子平台认证纠缠的可行工具。
- 局限性： 作者承认，主要的实验负担在于需要跨多个状态副本保持干涉稳定性。他们还指出，生成多个概率性非高斯态的副本仍然是一个挑战，但他们认为概率性制备实际上等同于降低统计量，而其方法可以适应这一点。
总之，这项工作确立了基于 PT 矩的判据作为检测强非高斯纠缠的优越替代方案，弥合了连续变量量子系统中理论必要性与实验可行性之间的鸿沟。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。