Complete entanglement detection using polynomial invariants

技术摘要：利用多项式不变量实现完全纠缠检测

问题陈述
本研究旨在解决的核心挑战是判定一个二分量子态 $\varrho_{AB}$ 是可分的还是纠缠的。现有的方法存在一种两极分化现象：

1. 完备但不易于实验： 如 PPT 判据或 $k$-对称扩展层级等方法是完备的（能够检测所有纠缠态），但需要获取显式的密度矩阵，并依赖数值优化（例如半正定规划）。
2. 易于实验但不完备： 基于线性或非线性纠缠见证的方法可以通过物理系统的直接测量进行评估，但在功能上是不完了几的，无法检测某些形式的纠缠。

本文旨在通过构建一个既具有完备性（能检测所有纠缠态）又具有实验可及性（可通过测量进行评估，而无需对密度矩阵进行经典描述），同时保持局部幺正（LU）不变性的框架，来统一这些方法。

方法论
作者开发了一个基于量子态张量幂和多项式不变量的统一框架。其核心方法论分为三个阶段：

1. 通用算符界限： 作者推导了以张量幂形式存在的纠缠判据，即关于态的算符不等式。他们引入了可分态集合 $\text{SEP}(A:B)$ 上的特定概率测度 $\mu$。利用该测度，他们定义了一个“de Finetti”态 $\Omega_{A^n B^n}$，它是 $n$ 阶乘积态的平均值。
2. 多项式展开与对称性： 通过使用多项式展开和对称群扭转算符（twirling operators）来展开可分态的 $n$ 阶张量幂（可分态是积态的凸组合），作者确立了任何可分态 $\varrho_{AB}$ 都满足算符不等式 $\varrho_{AB}^{\otimes n} \preceq \Lambda_{A^n B^n}$，其中 $\Lambda_{A^n B^n}$ 是一个由 de Finetti 态 $\Omega_{A^n B^n}$ 经由多项式预因子 $f_{AB}(n)$ 约束的中间算符。
3. 向多项式见证的转换： 为了使这些判据在实验上可行，作者采用了 Sylvester 判据来处理算符正定性。他们通过对算符差的张量幂应用到反对称子空间投影上的迹进行求值，将算符不等式 $\Lambda_{A^n B^n} - \varrho_{AB}^{\otimes n} \succeq 0$ 转换为一系列多项式不等式。

主要贡献与结果

• 定理 1（通用界限）： 本文证明了对于任何可分态 $\varrho_{AB}$ 和任何正整数 $n$，其张量幂 $\varrho_{AB}^{\otimes n}$ 被一个缩放后的 de Finetti 态所界定：
  $$\varrho_{AB}^{\otimes n} \preceq f_{AB}(n) \Omega_{A^n B^n}$$
  其中 $f_{AB}(n)$ 随 $n$ 的增加呈多项式增长（具体为 $f_{AB}(n) \leq (n+1)^{d_{AB}^3 - 1}$）。至关重要的是，作者证明了该界限的完备性：如果一个态在足够大的 $n$ 时违反了该不等式，则它是纠缠的。

• 定理 3（定量逆命题）： 作者为该界限建立了定量逆命题。如果一个态对于所有 $n$ 都满足该不等式，则其可分性对数保真度 $G(\varrho_{AB})$ 在 $n \to \infty$ 时趋于零。这证实了该系列不等式提供了对可分态集合的完备表征。

• 推论 4（完全多项式见证）： 最显著的操作性结果是构造了一系列可数的完全多项式纠缠见证器 $p_{n,m}(\varrho_{AB})$。它们定义为：
  $$p_{n,m}(\varrho_{AB}) = \text{Tr}\left( P_{\wedge m}^{(A^n B^n)} (f_{AB}(n)\Omega_{A^n B^n} - \varrho_{AB}^{\otimes n})^{\otimes m} \right)$$
  本文证明，一个态是可分的，当且仅当对于所有 $n \in \mathbb{N}$ 及 m \in \{1, \dots, d_{AB}^n}，都有 $p_{n,m}(\varrho_{AB}) \geq 0$。

  • 完备性： 该系列中的每一个纠缠态都会违反至少一个见证器。
  • LU 不变性： 这些见证器在局部幺正变换下是不变的，尊重纠缠的基本对称性。
  • 实验可及性： 与以往的完备层级不同，这些见证器不需要显式的密度矩阵。原则上，它们可以通过对 $nm$ 个未知态的直接测量来估计。

意义与局限性
本文声称通过提供一个显式不变且完备的框架，扩展了在任意局部维度下进行纠缠检测的工具箱。其结果弥合了理论完备性（通常需要优化）与实验可行性（通常是不完备的见证器）之间的鸿沟。

然而，作者对其实际应用持谨慎态度：

• 计算可行性： 该系列见证器涉及任意高阶的多项式，并且需要测量越来越多的副本（$n$）。对于较大的 $n$，评估这些见证器在计算上是不可行的。
• 有限与无限： 虽然可分态集是半代数集（意味着对于固定的维度存在有限的完全见证集），但使用现有算法寻找这样的有限集在计算上是极其困难的。因此，本文提供的是一个可数无限的族，而非实用的有限族。
• 实验现实： 作者指出，对于实验检测，低阶见证器（在高维情况下是不完备的）可能仍然更为高效。所提出的方法更多是作为一种理论上的完备性保证，而非针对高维系统的高效实验协议。

综上所述，这项工作提供了一个严谨的数学证明，即利用源自张量幂界限的局部幺和不变多项式见证器，可以完全检测纠缠，克服了传统上在完备性与实验可及性之间的权衡，尽管代价是需要任意数量的态副本。