On the existence of fully inseparable biseparable Gaussian states

本文研究了完全不可分的双可分高斯态，并通过有限维投影和纠缠判据对典型族进行的数值分析，为“所有完全不可分的高斯态实际上都是真正多部分纠缠态”这一猜想提供了支持性证据。

要点

以下是用简单语言和创造性类比对该论文的解读。

宏观图景：“纠缠”谜题

想象你有三位朋友（我们称他们为 Alice、Bob 和 Charlie）正在玩一场复杂的量子游戏。在这场游戏中，纠缠就像一种特殊且不可断裂的纽带，无论他们相距多远，他们的行动都能完美协调。

物理学家通常关注这种纽带的两种类型：

1. 真正的多体纠缠（GME）：这是“黄金标准”。这意味着 Alice、Bob 和 Charlie 被纠缠在一个单一、不可分割的结中。如果不打破这种魔力，你就无法将他们拆分成对。
2. 完全不可分：这听起来很相似，但定义稍显宽松。它意味着这个群体纠缠得如此紧密，以至于你无法将任何一个人从其余人中分离出来。然而，从数学上讲，可能存在这种情况：该群体仅仅是以不同方式纠缠的不同对的“混合”，而不是一个大的三方结。

问题：作者问道：是否存在一个群体是“完全不可分”的（你无法拆分他们），但并非*“真正”纠缠的（它只是对的混合）？*

在一般量子态的世界中，答案是肯定的。你可以拥有一个“假”的三方结，它实际上只是双向结的鸡尾酒。

具体焦点：本文关注一种特定且非常常见的量子态，称为高斯态。这些就像是量子世界中“平滑、圆润、可预测”的态（把它们想象成一座完美平滑的小山，而不是崎岖多石的山脉）。作者想知道：这些“平滑”的高斯态是否存在这种“假结”的漏洞，还是它们总是真正纠缠的？

调查：平滑与震荡

研究人员选取了若干族这种“平滑”的高斯态。他们知道这些态是“完全不可分”的（你无法拆分这个群体），但他们也知道，基于标准测试（仅观察粒子的平均位置和速度），这些态看起来像是可以通过混合更简单的对来伪造的。

为了确定它们究竟是“真正”的（真正的三方结）还是仅仅是“伪造”的（对的混合），作者使用了一个巧妙的技巧：投影。

类比：3D 雕塑与阴影
想象一个复杂的 3D 雕塑（完整的量子态）。如果你用光照亮它，你会得到一个 2D 阴影。

• 作者将他们复杂的 3D 量子雕塑投影到更小、更简单的 2D 屏幕（有限维子空间）上。
• 然后，他们检查这些更简单的 2D 阴影是否存在“真正”的结。
• 规则：如果简单的阴影中存在真正的结，那么原始的 3D 雕塑必然也曾经有过真正的结。（你无法通过压扁形状来创造结；你只能丢失它们）。

他们以不断增加的细节水平进行了这种投影：

1. 低细节：将该态视为由简单的“硬币”（量子比特）组成。
2. 中细节：将其视为“骰子”（量子三态）。
3. 高细节：将其视为“四面骰子”（量子四态）。

发现：漏洞正在缩小

随着他们增加“阴影”的细节，他们发现了以下情况：

• 在低细节下：某些态看起来可能是伪造的。“真正”的结并不明显。
• 在中细节下：“伪造”区域开始缩小。这些态看起来越来越像真正的结。
• 在高细节下：该态可能是伪造的区域几乎消失了。他们观察得越仔细，就越清楚该态实际上是一个真正的三方结。

隐喻：想象试图识别一颗假钻石。

• 用肉眼（低细节）看，它看起来是真的。
• 用放大镜（中细节）看，你看到了一个微小的瑕疵，表明它可能是假的。
• 用高倍显微镜（高细节）看，你意识到那个“瑕疵”只是光线的把戏，而这块石头实际上是一颗完美、真正的钻石。

在这篇论文中，“瑕疵”是指该态可能是对的混合这一可能性。随着他们观察得更近（增加投影的维度），这种可能性消失了。

结论：一个强有力的猜想

作者没有发现任何一个“完全不可分”但并非真正纠缠的“高斯态”的例子。事实上，每次他们观察得更仔细时，“伪造”的态都被证明是“真实”的。

他们还指出了一个数学事实：如果你混合不同的“平滑”（高斯）山丘，你通常会得到一个“凹凸不平”（非高斯）的形状。因此，从数学上讲，认为你可以混合平滑态以得到一个看起来像混合但实际并非如此的结果，是很奇怪的。

最终主张：
基于他们所有的测试，作者提出了一个猜想（一个强有力的科学猜测）：

所有“完全不可分”的高斯态实际上都是“真正的多体纠缠态”。

用通俗的话说：如果一个平滑的量子态纠缠得如此紧密，以至于你无法拆分这个群体，那么它肯定是一个真正的三方（或多方）结。在平滑的高斯态世界中，没有“假”结。

为什么这很重要（根据论文）

如果这个猜测成立，它将使科学家的生活变得容易得多。

• 之前：要证明一个态是真正纠缠的，你必须进行非常困难、复杂的测试。
• 之后（如果猜测成立）：你只需要检查该态是否“完全不可分”（这是一个更简单的测试）。如果它通过了该测试，你就自动知道它是真正纠缠的。

论文承认他们尚未证明这一点 100%（从数学上讲，反例仍然可能存在），但他们的证据如此有力，以至于他们愿意为此赌上自己的声誉。

技术摘要

技术摘要：关于完全不可分双可分高斯态的存在性

问题陈述
本文探讨了连续变量（CV）系统中两种量子资源之间的区别：真实多体纠缠（GME）与完全不可分性。虽然所有 GME 态都是完全不可分的（即相对于所有双分划均纠缠），但对于任意量子态而言，反之并不成立。存在“完全不可分双可分”（FIB）态，这类态在每一个双分划下均纠缠，但可表示为相对于不同分划可分的态的凸混合。

本文研究的具体问题是：此类 FIB 态是否存在于高斯态类中。高斯态完全由其一阶和二阶矩（均值和协方差矩阵）确定。已知的一个局限是，“协方差矩阵（CM）双可分性判据”（公式 11）仅在态的 CM 无法分解为分划可分态的 CM 的凸和时，才能检测出 GME。然而，对于任何满足该分解条件的 CM，都存在一个非高斯双可分态。因此，仅基于二阶矩的标准判据无法区分一个真正多体纠缠的高斯态与一个仅仅是 FIB 的态，因为该高斯态与一个双可分的非高斯态拥有相同的 CM。

方法论
作者系统地研究了几类典型的三模高斯态族，这些态是完全不可分的（通过 CV PPT 判据验证），但同时满足 CM 双可分性判据（公式 11）。为了在这些态中检测 GME，作者采用了一种策略，将无限维的高斯态投影到有限维子空间（局域投影到量子比特、量子三态和量子四态）。由于局域投影无法产生纠缠，如果投影后的有限维态被检测为 GME，则原始高斯态必然也是 GME。

对投影态中 GME 的检测主要利用以下两种方法：

1. 见证不等式（10）：基于密度矩阵非对角元和对角元的双可分性必要条件，该条件源自文献 [20] 并在 [31] 中进行了扩展。
2. 完全可分解见证：一种半定规划（SDP）方法（公式 8），用于区分不同双分划的 PPT 态的凸混合与 GME 态。

这些测试所需的密度矩阵元素是利用准概率分布（Wigner、Husimi Q 和 Glauber-Sudarshan P 函数）从高斯协方差矩阵计算得出的，具体采用了多维埃尔米特多项式以提高计算效率（附录 A）。

主要贡献与结果
本研究考察了四类高斯态族：

1. 真空 + 双模压缩真空（TMSV）：由双模压缩真空与真空态混合导出的高斯态。
2. 单模压缩真空（SMSV）+ TMSV：TMSV 与单模压缩真空的混合。
3. 热态 + TMSV：TMSV 与热态的混合。
4. 相干态 + TMSV：TMSV 与相干态（具有非零一阶矩）的混合。
5. 含噪 GHZ 类态：纯 GHZ 类高斯态与真空噪声的混合。

对于所有被考察的态族，作者发现，尽管其 CM 满足双可分性分解条件（11），但在特定的非平凡参数范围内，这些态被检测为真实多体纠缠。关键在于，随着局域投影子空间维度的增加（从量子比特 $d=2$ 到量子三态 $d=3$ 再到量子四态 $d=4$），检测到 GME 的参数区域会扩大。随着投影维度的增长，完全不可分区域与检测到 GME 的区域之间的“间隙”逐渐缩小，趋近于完全不可分的边界。

意义与主张
本文并未声称提供了 FIB 高斯态不存在的严格证明，也未提出反例。相反，作者基于其发现提出了一个猜想：所有完全不可分的高斯态都是真实多体纠缠的。

如果该猜想成立，其意义在于两点：

1. 理论简化：这意味着对于高斯态，完全不可分性与 GME 是等价的。这将极大地简化 GME 的检测，因为只需检查完全不可分性（仅依赖于 CM）就足以确认 GME，从而无需进行高阶矩分析或构建复杂的见证。
2. 对多副本激活的启示：论文指出，多副本 GME 激活（即多个态副本揭示了单副本中不存在的纠缠）已在有限维系统和一般的无限维系统中被证实存在。如果该猜想成立，则这种现象在高斯态中不存在，因为其单副本的完全不可分性已能保证 GME。

作者总结道，尽管由于缺乏形式化证明或构造出的反例，该问题仍处于开放状态，但检测区域随投影维度增加而表现出的行为，以及目前尚未发现任何 FIB 高斯态的构造，有力地支持了此类态不存在的猜想。