1. 介绍
量子纠缠是量子理论中最反直觉的现象之一。在量子力学的早期,它被认为是“量子力学的特征性质,这一性质使量子力学完全背离经典思维 [1] 。”另一方面,近年来它被确定为许多量子信息处理任务的关键资源 [2] [3] [4] 。与经典关联不同,它的一个关键特征是,它不能在多体之间自由共享。这就是所谓的单配性定律 [5] ,也是纠缠和量子力学本身的基本特征之一 [6] 。自从Coffman、Kundu和Wootters证明了三量子位态的第一个定量单配性关系 [7] 以来,这种共享关系已经得到了广泛的探索。
纠缠单配性研究中的一个重要问题是确定给定的纠缠测度是否是单配的。对于多量子位系统,几乎所有已知的纠缠测度都是单配性的。这些包括形成纠缠,并发 [8] [9] ,纠缠,负性,凸延伸负性,Tsallis-q纠缠熵,Rényi-
纠缠熵,压缩纠缠和单向可蒸馏纠缠,它们被证明是单配的 [10] 。然而,对于高维系统,对这种共享性知之甚少。到目前为止,除了单向可蒸馏纠缠和压缩纠缠,我们只知道G-并发 [11] 在所有有限维中都是单配的 [12] 。根据参考文献 [12] (也参见下面的等式(3))中给出的定义可知后者是单配的。也就是说,高维系统中其他纠缠测度的单配性仍然是未知的,即使是众所周知的测度,如并发。
设
是有限维的三体Hilbert空间,其中
是复合量子系统的三个子系统,且
是作用于
的密度矩阵集。回想一下,纠缠测度E的原始单配关系定量地显示为以下形式的不等式:
(1)
其中竖线表示测量(二分)纠缠的二分分裂。然而,等式(1)对许多纠缠测度无效。这可能会给人这样的印象,即纠缠的单配性不是纠缠本身的属性,而是用于量化纠缠的函数的属性。
此外,在参考文献 [13] 中,忠实性与单配性的问题是通过表明许多纠缠测度,如形成纠缠,不能满足某种形式的关系
(2)
其中
是独立于基础Hilbert空间的维数的某个固定函数,且它是连续的,并满足
,且在x和y的某些范围内有严格不等式。尽管有这个显著的结果,我们在这里证明,形成纠缠以及许多其他根据凸延伸定义的纠缠测度,都符合最近在参考文献 [12] 提出的单配性定义。
根据参考文献 [12] 中关于单配性的定义(无不等式),纠缠测度E是单配的,如果对于满足解纠缠条件的任何
,有
(3)
我们得到
。根据这个定义,如果系统A和复合系统BC之间的纠缠与系统A与B之间的纠缠一样多,那么系统A与C之间就没有纠缠可共享。
显然,这个定义抓住了纠缠单配性的本质,也许不足为奇的是,通过用
替换E (对一些
) [12] ,可以得到类似于(1)的一族单配性关系。更准确地说,根据这个定义,连续测度E是单配性的,当且仅当存在
使得
, (4)
对于作用在状态空间
上的所有
,其固定的dim
(见参考文献 [12] 中的定理1)。注意,公式(4)可以用与(2)相似的形式表示,其中
。然而,我们在这里强调(4)不是(2)的特例,因为指数因子
取决于Hilbert空间的基本维数。注意,没有先验的物理理由来假设指数因子在维度上是普遍的和独立的。
在本文中,我们证明了几乎所有的纠缠单调在纯三体态上都是单配的,在混合三体态上也是单配的。我们的结果表明,单配性确实是纠缠的一种属性,而不是某种纠缠测量的结果。
函数
称为纠缠测度,如果
1) 对于任何可分密度矩阵
,有
;
2) E在局部运算和经典通信(LOCC)下表现单调。也就是说,对于任何给定的LOCC映射
,我们都有
。
此外,在LOCC下平均不增加的凸纠缠测度称为纠缠单调 [14] 。
设E是对两体态纠缠的一个度量。与E相关的形成纠缠度量
定义为
, (5)
其中最小值取自
的所有纯态分解。即
是E的凸延伸。Vidal在参考文献 [14] 证明
了如果下面的凹性条件成立,上面的
是混合两体态上的纠缠单调。对于一个纯态
,
定义函数
:
。 (6)
注意,由于E在局部酉下是不变的,我们必有
, (7)
对于作用在
上的任何酉算子U。如果h也是凹的,即
, (8)
对于任意态
和任意
,则(5)中定义的
是一个纠缠单调。
2. 无限维系统的并发
设
其中
为纯态。回想一下,
的并发
被定义为 [15]
。 (9)
其中
。对于混合状态
[15] ,
, (10)
其中下确界取自
的所有可能系综
。
我们知道,对于有限维系统,纠缠的单配性与协作纠缠密切相关。给定有限维系统的两体纠缠E的测度,其对应的协作纠缠
是三体混合态
上的纠缠测度,给出如下 [16] :
, (11)
其中最大值取自所有产生概率为
的两体态
的三体LOCC协议。按照同样的思路,
可以扩展到
的无限维情况:
, (12)
其中上确界取自所有产生概率为
两体态
三体LOCC协议。下面的定理证明了解纠缠条件和协作纠缠之间的联系。
2.1. 引理
设
其
是满足解纠缠条件(3) (可能是混合的)三体态。那么,
。 (13)
证明:任意小的
,在
上存在由LOCC得到的系综
满足:
。 (14)
因为C两体纠缠单调,所以它不能平均增加:
。 (15)
另一方面,根据定义
,因此与(3)我们得到(13)。
2.2. 定义
设
其
为混合态。我们称
, (16)
为
的辅助并发,其中上确界取自于
的所有可能的系综
。
根据定义,很显然,一般来说,
。
2.3. 推论
设
是满足解纠缠条件(3)的纯三体态。那么,
。 (17)
证明:证明直接来自引理2.1,回顾
,
其中最后一个等式来自引理2.1。因此,上面所有的不等式都是等式,因为我们假设解纠缠条件
。这就完成了证明。
3. 无限维并发的单配性
3.1. 定理
1) 如果
是纯的,并且解纠缠条件(3)成立,那么
在系统
上具有同构于
并且局部酉的子空间,
, (18)
其中
和
是纯态。特别地,
是一个乘积态,因此
,所以C在纯三体态上是单配的;
2) 如果
是一个混合的三体态,并且
,则
, (19)
其中
是某种概率分布,并且对于每个x,Hilbert空间
具有同构于
的子空间,使得直到系统B上是局部酉的,每个纯态
由
(20)
给出。特别地,边缘态
是可分的,因此C在混合的三体态上是单配的。
证明:根据推论2.3,如果解纠缠条件适用于纯三体态
,那么
的所有纯态分解必有相同的平均纠缠。设
是
的任意纯态分解,其
,
。则
,
其中不等式是由于C的凸性,并且等号成立,因为
的所有纯态分解具有相同的平均纠缠。此外,由于C是纠缠单调的,我们有
。
因此,用
表示,我们得出结论,如果解缠结条件成立,那么我们有
。
假设
和h是严格凹的,我们得到
。
设
,设
是
的r维子空间,使得存在纯态
,其A部分的边际为
。因此,存在等距
,使得
。
现在,设
是
的具有相同数量的元素n的另一个纯态分解。同理,存在等距
,使得
。
另一方面,由于两个系综
和
对应于相同的密度矩阵
,所以它们必可通过酉矩阵
以如下形式关联:
。
用
来表示。我们有
。
因此我们得出结论,
。这意味着
对于酉矩阵
的任意选择都是等距的。但是由于
是任意归一化向量。因此,我们得出结论,等距矩阵
的任何线性组合都与等距矩阵成比例。
我们现在讨论这个性质在
形式上的结果。等距
可以表示为
,其中k是
的正交基,对于每个j,
是
中的正交向量。考虑任意线性组合
。它可以表示为
,
。因此,
与等距成比例当且仅当对于所有
,
和
。注意到
。现在,对于一个固定的k和
,与等距成比例当且仅当对于所有
,它必等于零向量。因此,我们得出结论,对于一些独立于k的
来说
,
和
。注意,我们可以不失一般性地假设
是
的谱分解。在这种情况下,我们有
对任何给定的k都成立。我们现在得到了
。
表示
。那么上面的等式意味着对于
的某些子空间
,
,特别地,存在一个酉矩阵,
,将
的基
与
的基
联系起来。因此,我们得出结论:
。
因此,
。因此,
,其中
是由
给出的某个密度矩阵。由于在
的
的所有纯化都是通过C上的
局部幺正相关联的,我们得出结论,
具有等式(18)到局部幺正的形式。因此
是乘积状态,因此
。这就完成了第1部分的证明。
是
的最优纯态分解,满足
。
用
表示,注意
。
因此,若
,则
,
其中使用C的凸性。
另一方面,因为C是对于x的纠缠测度,我们有
。
结合等式,有这样的结论:
。
因此,第二部分余下证明同第一部分证明一样。
注意,如果上述定理第二部分中的系统B的维数不大于3,那么对于每个x,我们必须有
或
是一维的。因此,我们得到以下推论。
3.2. 推论
使用与上述定理相同的符号,如果
和
,则
是二可分的,特别是它允许形式
, (21)
其中
是
可分的,
是
可分的,
。特别地,如果
是一个纯态,那么
的形式为
或
。
最后讨论了纠缠测度的严格凹性。纠缠的许多可操作测度,如纠缠的相对熵、纠缠成本和可蒸馏纠缠,都在两体纯态上约化为根据约化态的冯·诺依曼熵给出的纠缠熵。冯·诺依曼熵
已知是严格凹 [17] ,因此它们在纯三体态上都是单配的。对于E为负的特殊情况上述定理的第一部分推广了参考文献 [18] 中解纠缠定理中证明的类似结果。它证明了许多纠缠测度在纯三体态上是单配的,而它们在等式(5)中定义的凸延伸即证明在混合三体态上也是单配的。
任何函数可以表示为
, (22)
其中
是
的特征值,如果
对所有
,则函数是严格凹的。这包括
的量子Tsallis-q熵 [19] 。特别地,线性熵(或Tsallis-2熵)是严格凹的,因此纠缠是单配的纠缠测度,因为它是根据凸延伸定义的。另一个重要的例子是Rényi-
熵 [20] [21] [22] 。对于Rényi参数
,Rényi熵是严格凹的(参见参考文献 [14] ),但是一般来说,对于
,Ŕenyi熵甚至不是凹的(尽管它们是Schur凹的)。据作者所知,除了
的
-Rényi纠缠熵这种情况外,文献中深入研究的所有其他纠缠测度在纯两体态上都对应于约化密度矩阵的严格凹函数。这些包括负性、纠缠、并发、G-并发和纠缠的Tsallis熵。
总之,我们表明,根据参考文献 [12] 中提出的无不等式的单配性的新定义,许多被认为不是单配的(不考虑具体的单配性关系 [13] )的纠缠测度,如形成纠缠,实际上是单配的。这个新定义等价于定量不等式(4),但关键区别在于,指数因子
可以取决于基本维度。因此,这里给出的结果支持单配的非普遍(即维度相关)定义。许多重要纠缠测度不是普遍单配的 [13] ,这可能让人觉得单配性不能归因于纠缠本身,而是用于量化纠缠的特定度量的属性。此外,如文献 [13] 所示,纠缠度量不能同时保持忠实性(如文献 [13] 中所定义的)和普遍单配性。通过采用一个新的单配性定义,我们避免了这些问题,这个新定义允许非普遍单配性关系,同时保持一种定量的表达方式,如(4)。
虽然我们不能证明所有的纠缠测度都是单配的(根据参考文献 [12] 中的定义),但我们也不了解任何非单配的连续纠缠度量。可能的情况是,所有的连续纠缠度量都是单配的,这将支持我们的观点,即单配性是纠缠的属性,而不是某些特定函数量化纠缠的属性。
NOTES
*通讯作者。