Markov环境下“X”态基于CHSH不等式的量子非局域关联检验*

曾柏云 辜鹏宇 蒋世民 贾欣燕 樊代和

(西南交通大学物理科学与技术学院,成都 610031)

量子非局域关联是量子理论最基础的特征之一.“X”态作为实验中常见的一种量子态,因其在演化过程中仍保持“X”形的稳定性,而被广泛应用于开放量子系统的研究中.利用Clauser-Horne-Shimony-Holt (CHSH)不等式,在Markov 环境这种典型的开放量子系统下,研究了两种通过局部变换操作所关联的“X”态在振幅阻尼环境和相位阻尼环境中量子非局域检验结果随时间的演化情况.研究结果表明,在相位阻尼环境中,随着演化时间的增加,两种“X”态具有相同的CHSH 不等式检验结果.在振幅阻尼环境中,利用局部变换操作得到的“X”态,可获得较长的成功进行量子非局域关联检验的演化时间.最后,详细给出了两种类型“X”态在相位阻尼环境和振幅阻尼环境中成功进行量子非局域关联检验的保真度范围.

1 引言

量子非局域关联最早由Einstein-Podolsky-Rosen(EPR)佯谬[1]引入,揭示了量子理论与经典局域实在论之间的矛盾.由于量子非局域关联是量子理论最基本的特性之一,其也成为了量子信息学发展的关键基础[2].近年来,量子非局域性关联在量子通信[3]、量子计算[4]和量子密码学[5]等中均发挥了重要的应用价值.

1964 年,Bell[6]提出了著名的Bell 不等式,可用于对量子非局域关联进行检验.而对于两比特量子纠缠态,利用Clauser 等[7]提出的Clauser-Horne-Shimony-Holt (CHSH)不等式,可更加方便地进行量子非局域关联的实验检验研究.在CHSH不等式检验方案中,经典局域论预言CHSH 不等式的检验上限为Sc-max=2,而量子理论可以使该上限值进一步达到因此,在量子非局域关联的检验研究中,只需要通过判断CHSH不等式检验值S ＞2 是否成立,即可证明量子非局域关联的存在.

然而,量子非局域关联在量子信息领域的实际应用中,由于量子态不可避免地将与环境(如开放量子系统)相互作用,进而导致量子态发生退相干现象,这将导致虽然实验制备出的量子态具有量子非局域关联特性,但与环境发生相互作用后,其量子非局域关联特性将会消失,甚至还会出现所谓的“纠缠突然死亡”的现象[8].因此,研究量子态在开放量子系统中随时间演化后,是否还存在量子非局域关联特性,具有一定的必要性.通常,量子态在开放量子系统演化时,有两种典型的演化环境模型,即相位阻尼环境和振幅阻尼环境.例如,相位阻尼环境可以用来描述量子态通过波导时的随机散射过程,而振幅阻尼环境可以描述自发辐射过程中量子态的动力学演化过程[9].

2007 年,Yu 等[10]提出了一种典型的量子态,即“X”态(其密度矩阵可写为如(1)式所示的“X”形状),并研究了该量子态在开放量子系统中并发度(concurrence)C随保真度F和时间t的变化情况:

目前,“X”态作为一个重要的量子资源,其在开放量子系统动力学的研究仍然是量子理论中的研究热点之一.例如,2022 年,Guo 等[12]研究了一类两比特“X”态的相干和混合的几何图像,并展示了在相干与混合之间相协调的新的图像和结构.Kelleher 等[13]指出了“X”态的一些性质,如纠缠性与二阶辛极空间的一类特殊的超几何平面有关.Namitha 等[14]利用“X”态研究了初始的相干对具有偶极相互作用的一个公共真空库中空间分离的两个量子比特系统的纠缠动力学影响.Zhao 等[15]研究了量子相干性和量子纠缠在Bell 对角态这种“X”态中的关系,并进一步提出相干性和纠缠之间的关系.2021 年,我们课题组[16]提出了一种基于CHSH 不等式几何解释的“X”态量子非局域关联检验方案,这对任意“X”态的量子非局域关联检验研究提供了理论基础.虽然胡强等[17]也利用Hardytype 佯谬对振幅阻尼信道、相位阻尼信道和退极化信道等三种类型的退相干传输信道中的量子态进行了量子非局域关联检验研究,但是,到目前为止,关于“X”态在开放量子系统中,特别是在Markov 环境这种典型环境中,基于CHSH 不等式的量子非局域性的研究还尚未有报道.

基于此,本文首先给出两种由局部变换关系所关联的“X”态的密度矩阵,结合Kraus 算符,阐述了在Markov 环境中,“X”态通过相位阻尼和振幅阻尼环境时,密度矩阵随时间和保真度的演化情况.最后,基于CHSH 不等式,对两种类型“X”态经过相位阻尼和振幅阻尼环境演化后的量子非局域关联特性进行了检验研究,最终给出了这两种“X”态在上述两种环境中演化后,成功地进行量子非局域关联的条件和范围.

2 Markov 环境下“X”态的演化及其基于CHSH 不等式的检验方案

图1 量子系统示意图,其中腔A 和腔B 中各有一个二能级原子,且其存在纠缠特性Fig.1.Schematic diagram of quantum system.Cavity A and cavity B have one two-level atom entanglement down respectively.

如(1)式所示的“X”态,在Markov 环境下随时间演化时,不失一般性地,演化后的密度矩阵可写为

式中,各参数仍然满足如(1)式所述的要求.

在给定密度矩阵的情形下,根据基于CHSH不等式的量子非局域关联检验方案[7,16,19],只需计算该量子态的关联矩阵K=(kmn) (m,n=1,2,3),即可进行量子非局域关联的检验研究.其中关联矩阵元k mn=tr(ρX(t)·σm ⊗σn) 表示关联矩阵中处于第m行、第n列的矩阵元,σ m,n表示泡利算符.具体而言,将(3)式所示的密度矩阵,代入到关联矩阵K的表达式中,即可得到关联矩阵的具体表达式:

如假设x和y分别表示(4)式中3 个对角元绝对值的最大和次大值,则进行量子非局域关联检验时,CHSH 不等式的最大值可写为[19]

此时,如Sm＞2 能够被满足,即可证明该量子态可成功进行量子非局域检验.

在明确了上述基于CHSH 不等式进行的量子非局域关联检验的方案后,此时即需要得出“X”态在Markov 环境下,密度矩阵随时间的动力学演化结果.实际上,图1 所示的A 和B 组成的总系统的哈密顿量可写为Htot=Hat+Hcav+Hint,其中Hat表示A 和B 系统中原子的哈密顿量之和,Hcav表示腔A 和腔B 中环境的哈密顿量与之和,Hint表示每个系统中原子与各自所处环境的相互作用哈密顿量之和[20].二能级原子与腔环境的相互作用后,将导致“X”态的纠缠特性逐渐出现解纠缠现象,并且不同类型的腔环境对量子态的纠缠特性影响不同.本文主要考虑Markov 环境下,“X”态在振幅阻尼和相位阻尼这两种典型环境演化后,进行的量子非局域关联检验情况.

将(3)式所示的“X”态和这个封闭系统的总哈密顿量Htot代入Liouville-Von Neumann 方程dρX(t)/dt=-i[Htot,ρX(t)]中,再利用旋波近似和Born-Markov 近似,以及Kraus 算符[9]进行方程求解,即可得到在Markov 环境下,“X”态密度矩阵随时间的演化结果:

民营企业是我国经济发展中最具活力的成分。企业家都是具有风险创新精神的，注定了他们对所处创新环境是相当敏感的。随着创新激励政策落到实处，以往的策略性创新行为已经无法得到认可，实质性创新就成为企业获得创新补贴的唯一手段。因此不同产权性质的企业在创新驱动供给侧改革的背景下，可能会呈现出不同的创新补贴特征与R&D研发投入产出趋势。为了进一步分析供给侧改革下创新驱动政策的作用效果，本文将样本按照企业产权性质分成两组进行重复回归。

在相位阻尼环境下,每个子系统的Kraus 算符可分别用

进行表示[21],其中(Γ表示阻尼率).将上述Kraus 算符表达式代入(6)式,则可得到量子态在相位阻尼环境演化后,密度矩阵随时间的演化结果为

在得到如(7)式、(8)式所示的量子态经过Markov 环境演化后的密度矩阵后,即可计算得到如(4)式所示的关联矩阵的具体表达式,结合基于CHSH 不等式的检验方案,进而可进行“X”态的量子非局域关联检验研究.

3 Markov 环境下“X”态的量子非局域关联检验结果

实际上,“X”态包含了若干类别的纠缠态,本文主要研究对象为较为常见的Werner 态和将它进行局部变换操作得到的量子态.由文献[10]可知,常见的Werner 态,以及其进行局部变换操作后量子态的密度矩阵可分别写为

由并发度的计算表达式(如(2)式所示)和(9)式的具体表达式可知,这两种“X”态的并发度可均表示为即该两种类型的“X”态在未经Markov 环境演化时,局部变换操作并不改变它们的并发度.

下面,首先研究“X”态在相位阻尼环境下的量子非局域关联检验情况.将(9a)式和(9b)式分别代入到(7)式中,可分别得到“X”态随时间演化后的密度矩阵为

此时,将(10)式代入到(4)式,即可进一步计算得到进行量子非局域关联检验时的关联矩阵元k mn值为

从(11)式中可以看出,两种类型“X”态的关联矩阵对角元的绝对值|kmm|相等,且|k33|＞|k22|=|k11|,因此该两种类型“X”态具有相同的量子非局域关联检验结果,即

图2 相位阻尼环境中, 和随演化时间Γt和保真度F 的变化关系图Fig.2.and versus evolution time Γ t and fidelity F in a phase damping environment.

将(9)式分别代入(8)式,用上述同样的方法,可得到两种类型“X”态的密度矩阵ρW和在振幅阻尼环境下随时间变化的密度矩阵:

将(13)式分别代入(4)式中,即可得到在振幅阻尼环境中,两种“X”态进行量子非局域关联检验时的关联矩阵分别为

从(14)式的关联矩阵可以看出,在任一保真度F值的情况下,矩阵对角元|kmm|值的最大和次大值,将依赖于演化时间Γt,因此无法写出进行量子非局域关联检验时的通用表达式.但不论如何,在某一保真度下,随着演化时间的不同,通过将(14)式中对角元|kmm|的值进行降序排列,然后结合(5)式,即可得到在振幅阻尼环境的演化中,“X”态进行量子非局域关联检验的结果,如图3 所示.

图3 振幅阻尼环境中,随保真度F 和演化时间 Γ t 的变化关系图 (a),(b) 保真度在 0 .25 ≤F ≤1 变化时的情况;(c),(d) F=0.78 和 F=1.00 时的情况Fig.3. versus evolution time Γ t in amplitude damping environment: (a),(b) The situation when the fidelity changes in 0 .25 ≤F ≤1 respectively;(c),(d) the situation when F=0.78 and F=1.00 respectively.

从图3 中可以看出,在振幅阻尼环境下,当保真度F≤0.78 时,不论演化时间为多少,两种“X”态均不能成功进行量子非局域关联检验(即Sm＜2).当F ＞0.78 时,在初始时刻(即t=0),两种“X”态的均可成功进行量子非局域关联检验(即Sm＞2),且保真度越大,Sm越大.但是,随着演化时间的增加,尽管两种“X”态进行量子非局域关联检验时,可获得的最大值均将呈现先减小后增加的现象,但是,两种“X”态的演化关系曲线不同.特别地,当保真度F=1 时,对于密度矩阵为ρW的“X”态,演化时间Γ t ＞0.22 后,则会得到Sm＜2的量子非局域关联检验结果,即此时该“X”态将不能进行量子非局域关联检验.而对于密度矩阵为的“X”态,演化时间Γ t ＞0.26 后,才得到Sm＜2的检验结果,这表明了在振幅阻尼环境下,密度矩阵为的“X”态,进行量子非局域关联检验能够保持更长的时间.

为了更清楚地显示“X”态在相位阻尼和振幅阻尼环境下,能够成功进行量子非局域关联检验的范围情况,图4 给出了经局部变化操作后的两种“X”态,能够成功进行量子非局域关联检验时的最小保真度Fmin与演化时间Γ t的变化关系曲线.

图4 Fmin 与时间 Γ t 的 变化关 系图.其 中蓝色 点划线 表示密度矩阵为 ρ W 的“X”态在振幅阻尼信道下的演化曲线;红色虚线表示密度矩阵为 的“X”态在振幅阻尼信道下的演化曲线;黑色实线表示两“X”态在相位阻尼信道下的演化曲线Fig.4.Fmin versus time Γ t .The blue dotted line represents the evolution curve of the “X” state with the density matrix ρW under the amplitude damping channel;the red dotted line represents the evolution curve of the “X” state with density matrix under the amplitude damping channel;the black solid line represents the evolution curve of two “X” states in a phase damped channel.

从图4 中可以清晰地看出,在相同的演化时间下,使用密度矩阵为ρW和的“X”态进行量子非局域关联检验时,在相位阻尼环境中所需的最小保真度远小于在振幅阻尼环境中所需的保真度.这也表明了在相位阻尼环境中,可成功进行量子非局域关联检验的保真度范围将更大.同时,从图4 中还可以看出,在振幅阻尼环境以及相同的演化时间下,密度矩阵为的“X”态成功进行量子非局域关联检验的保真度范围大于密度矩阵为ρW的“X”态,这也表明了对“X”态的密度矩阵进行局部变换操作,有助于提高成功进行量子非局域关联检验研究的量子态保真度范围.特别地,对于密度矩阵为ρW的“X”态,能够成功进行量子非局域关联检验的演化时间为Γ t=0.22,而对于密度矩阵为的“X”态,该演化时间可达到Γ t=0.26 .

4 总结

本文研究了两种由局部变换操作所联系的“X”态在Markov 环境(相位阻尼和振幅阻尼环境)中随时间演化后,基于CHSH 不等式进行的量子非局域关联检验情况.结果表明,两种类型“X”态在相位阻尼环境演化中,具有相同的量子非局域关联检验结果.随着演化时间的增加,两种“X”态的量子非局域关联检验最大值S m都将非线性减小,且仅当F=1 时(“X”态约化为量子纯态),两者才能始终成功进行量子非局域关联检验的研究(即Sm ＞2).当保真度 0 .78＜F ＜1 时,两种“X”态随着演化时间的增加,进行量子非局域关联检验时的最大值将由S m ＞2 逐步过渡到S m ＜2,进而不能成功进行量子非局域关联检验的研究.

两种“X”态在振幅阻尼环境中随时间演化后,基于CHSH 不等式的量子非局域关联检验将具有不同的结果.研究表明,当F ＞0.78 时,随着演化时间的增加,经过局部变换操作后的“X”态,较操作之前的“X”态量子非局域关联检验结果降低更加缓慢.特别地,当F=1 时,密度矩阵为ρW的“X”态在演化时间Γ t ＞0.22 后,将不能成功进行量子非局域关联检验.而对于密度矩阵为的“X”态,其在演化时间Γ t ＞0.26 后,才不能进行量子非局域关联检验.这表明经过局部变换操作之后,更有利于“X”态进行基于CHSH 不等式的量子非局域关联检验.

最后,给出了两种“X”态在相位阻尼环境和振幅阻尼环境下能够进行量子非局域关联时所满足的最小保真度Fmin随演化时间Γ t的变化关系.研究结果表明,在能够成功进行量子非局域关联检验的前提下,两类型“X”态在相位阻尼环境中演化,可采用的保真度范围较大.同时,在相同的演化时间下,密度矩阵为ρW的“X”态在经过局部变换操作后有助于提高其在振幅阻尼环境中的量子非局域关联检验的保真度范围.

实际上,本文的研究结果对基于“X”态在Markov 环境演化后进行的量子非局域关联实验检验具有一定的指导意义.首先,从本文的研究结果可以看出,“X”态随时间演化后,保真度对成功进行量子非局域关联检验具有重要的影响.例如,当初始时刻F ＜0.78 时,两种“X”态在振幅阻尼和相位阻尼环境中演化后,均不能成功地进行量子非局域关联检验研究.其次,本文的研究结果表明,尽管在相位阻尼环境演化后,两种“X”态进行量子非局域关联检验时,可得到相同的实验检验结果,但相比振幅阻尼环境,两种“X”态在相位阻尼环境演化时,更利于成功进行量子非局关联的实验检验研究.并且,在振幅阻尼环境演化后,经过局部变换操作之后的“X”态,更有利于量子非局域关联检验的实验检验.

本文的研究结果,为理论和实验研究“X”态在Markov 环境下随时间演化的量子非局域关联检验提供了思路.相信本文的研究,可为后续基于其他开放量子系统环境,甚至基于非Markov 环境的量子态量子非局域关联检验研究提供参考.