劉晉 繆波 賈欣燕 樊代和

(西南交通大學(xué)物理科學(xué)與技術(shù)學(xué)院,成都 610031)

量子非局域關(guān)聯(lián)是量子力學(xué)預(yù)言的重要現(xiàn)象,同時(shí)也是量子理論區(qū)別于經(jīng)典理論的重要特征之一.因此,對(duì)量子非局域關(guān)聯(lián)的高成功概率檢驗(yàn)有著重要意義.本文提出了一種基于Hardy-type佯謬的、可用于針對(duì)純態(tài)和混合態(tài)進(jìn)行高成功概率量子非局域關(guān)聯(lián)檢驗(yàn)的邏輯,并對(duì)其適用性進(jìn)行了證明.研究發(fā)現(xiàn),利用本文提出的檢驗(yàn)邏輯對(duì)量子純態(tài)進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn),成功檢驗(yàn)概率將隨著量子純態(tài)的糾纏度增加而出現(xiàn)先增大后減小的現(xiàn)象,最大的成功檢驗(yàn)概率超過(guò)39%.進(jìn)一步利用提出的檢驗(yàn)邏輯,以Werner態(tài)這種量子混合態(tài)為例,進(jìn)行了針對(duì)混合態(tài)的量子非局域關(guān)聯(lián)的高概率檢驗(yàn)研究.研究發(fā)現(xiàn),隨著混合態(tài)的純度增加,成功進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn)的概率也將增加.最后給出了針對(duì)Werner態(tài)這種量子混合態(tài)進(jìn)行高成功概率量子非局域關(guān)聯(lián)檢驗(yàn)的條件和范圍.

1 引 言

1935 年,Einstein,Podolsky和Rosen三人[1]提出了著名的關(guān)于量子力學(xué)完備性的討論,即EPR佯謬.他們認(rèn)為量子力學(xué)是一套不完備的理論,即量子力學(xué)預(yù)言存在著量子非局域關(guān)聯(lián)的現(xiàn)象.因此,量子非局域關(guān)聯(lián)被認(rèn)為是量子力學(xué)最典型也是最重要的特征之一,同時(shí)也是量子力學(xué)區(qū)別于經(jīng)典物理的重要現(xiàn)象之一.同時(shí),量子非局域關(guān)聯(lián)還對(duì)量子信息進(jìn)程的實(shí)現(xiàn)具有重要意義,因此對(duì)量子非局域關(guān)聯(lián)的檢驗(yàn)不論從理論還是實(shí)驗(yàn)研究顯得至關(guān)重要.

目前對(duì)于量子非局域關(guān)聯(lián)的檢驗(yàn)常用的有兩類方案：一是通過(guò)對(duì)Bell不等式的違背來(lái)檢驗(yàn)量子非局域關(guān)聯(lián),另外一類則是無(wú)不等式的檢驗(yàn)方案來(lái)檢驗(yàn)量子非局域關(guān)聯(lián).1964年,Bell[2]提出一個(gè)滿足局域隱變量而在量子力學(xué)中是違背的不等式來(lái)說(shuō)明沒(méi)有任何的局域?qū)嵲谡撃苤貜?fù)量子力學(xué)的預(yù)測(cè),從而驗(yàn)證了量子非局域關(guān)聯(lián)的存在.1969年,Clauser,Horne,Shimony和Holt四人[3]在Bell不等式的基礎(chǔ)上,提出了兩比特的更加便于實(shí)驗(yàn)驗(yàn)證量子非局域關(guān)聯(lián)的CHSH-Bell不等式,并且在實(shí)驗(yàn)上得到了驗(yàn)證[4].1990年,Greeberger,Horne,Zeilinger[5]提出的GHZ佯謬是關(guān)于量子非局域關(guān)聯(lián)的無(wú)不等式證明,然而其只適用于大于等于三粒子的系統(tǒng).1993年,為了證明兩粒子系統(tǒng)的量子非局域關(guān)聯(lián),Hardy[6]提出了兩粒子情況下的佯謬,該證明表面僅只有一階梯子的情況下,可以獲得違反局域隱變量理論的最大概率約為9%.基于Hardy佯謬,通過(guò)對(duì)兩比特糾纏態(tài)的單次聯(lián)合測(cè)量,即可在無(wú)統(tǒng)計(jì)不等式的情況下驗(yàn)證量子非局域關(guān)聯(lián),因此Hardy佯謬也被認(rèn)為是“Bell定理的最佳的版本”[7].盡管利用Hardy佯謬檢驗(yàn)量子非局域關(guān)聯(lián)的概率非常低,但是足以證明量子非局域關(guān)聯(lián)的存在.之后學(xué)者將Hardy佯謬推廣到K階梯子的量子非局域關(guān)聯(lián)的證明,當(dāng) K→∞時(shí),最大概率可達(dá)到50%[8].后來(lái),通過(guò)許多量子態(tài),例如通過(guò)利用光子對(duì)的偏振糾纏態(tài)[9-11],軌道角動(dòng)量糾纏態(tài)[12,13]以及能量-時(shí)間糾纏態(tài)[14],實(shí)驗(yàn)結(jié)果均證明了量子非局域關(guān)聯(lián)現(xiàn)象的存在,違背了經(jīng)典理論的預(yù)測(cè).后來(lái),學(xué)者們又將Hardy佯謬推廣到了多粒子[15,16]和多維[17]的系統(tǒng)中,并且成功地檢驗(yàn)了量子非局域關(guān)聯(lián)現(xiàn)象.然而,值得關(guān)注的是,到目前為止,上述提到的大多數(shù)關(guān)于量子非局域關(guān)聯(lián)檢驗(yàn)的研究,均是以量子純態(tài)作為為研究對(duì)象的.

從實(shí)驗(yàn)角度而言,由于受到各種實(shí)驗(yàn)不完美因素的限制,實(shí)驗(yàn)制備的量子態(tài)往往是一個(gè)量子混合態(tài).因此,利用量子混合態(tài)來(lái)進(jìn)行量子非局域關(guān)聯(lián)的檢驗(yàn)就具有重要的現(xiàn)實(shí)意義.目前,針對(duì)量子混合態(tài)進(jìn)行的量子非局域關(guān)聯(lián)檢驗(yàn)的研究中,文獻(xiàn)[18]將原始量子非局域關(guān)聯(lián)檢驗(yàn)的相關(guān)證明推廣到一類特殊的混合態(tài),給出了一個(gè)滿足混合態(tài)量子非局域關(guān)聯(lián)檢驗(yàn)的必要條件.文獻(xiàn)[19]將原始的量子非局域關(guān)聯(lián)的嚴(yán)格證明進(jìn)行改進(jìn)和推廣,將一些典型的混合態(tài)進(jìn)行了量子非局域關(guān)聯(lián)的相關(guān)研究,改進(jìn)了文獻(xiàn)[18]中的結(jié)果,但是其不利于進(jìn)行實(shí)驗(yàn)的驗(yàn)證.盡管文獻(xiàn)[20]提出了一種基于混合態(tài)的量子非局域關(guān)聯(lián)檢驗(yàn)更優(yōu)的條件,但是成功檢驗(yàn)概率較小,不利于進(jìn)行實(shí)際的實(shí)驗(yàn)檢驗(yàn).

本文研究了一種適用于量子混合態(tài)[21,22]進(jìn)行Hardy-type佯謬的邏輯,這種邏輯可以以較高的成功概率來(lái)進(jìn)行針對(duì)量子混合態(tài)的量子非局域關(guān)聯(lián)檢驗(yàn).首先,本文介紹了提出的可適用于量子混合態(tài)的高概率Hardy-type佯謬邏輯,并證明了其正確性；其次,證明了提出的檢驗(yàn)邏輯也能適用于純態(tài)的量子非局域關(guān)聯(lián)檢驗(yàn)的情況；最后,本文以Werner態(tài)[23]這種量子混合態(tài)為例,進(jìn)一步研究了進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn)的條件等.

2 適用于量子混合態(tài)的Hardy-type佯謬高概率檢驗(yàn)邏輯

受文獻(xiàn)[24]啟發(fā),我們以兩比特態(tài)的量子態(tài)為基礎(chǔ),首先給出可用于混合態(tài)的高概率Hardytype佯謬檢驗(yàn)邏輯.考慮由自發(fā)參量下轉(zhuǎn)換所產(chǎn)生的信號(hào)光(s)和閑置光(i),選取相應(yīng)的測(cè)量基對(duì)信號(hào)閑置光子進(jìn)行偏振聯(lián)合測(cè)量.用 P(αs,βi) 表示測(cè)得s光子的偏振在 αs方向和i光子的偏振在βi方向的聯(lián)合測(cè)量概率.由于s光子與i光子的偏振測(cè)量概率可看作兩個(gè)獨(dú)立的事件,因此可以得到：定義則有：

假設(shè)通過(guò)選取合適的測(cè)量基 {αms,βni},可使得(3)—(5)式同時(shí)滿足：

在滿足(2)式的情況下,受(3)—(5)式條件的約束,可以證明能夠得出如下兩個(gè)結(jié)論.

證明由(2)式可知,s光子的偏振與i光子的偏振必定不在α1s和 β1i方向,即 P(α1s)／=1 與則代入(3)式后可得到此結(jié)果不能滿足(5)式.因此可以得出若s光子偏振在方向,即那么根據(jù)(3)式有P(α2s,則此結(jié)果不能滿足(5)式,因此s光子偏振必定不在方向,即若i光子偏振在方向,即根據(jù)(3)式有則此結(jié)果不能滿足(5)式,所以i光子偏振必定不在方向,即根據(jù)以上分析,可得

由于上面已經(jīng)得出 0＜P(α1s,β1i)＜ 1 ,則根據(jù)(3)式可以得出因此s光子的偏振與i光子的偏振必定不在和 β2i方向上,即若s光子偏振在 α2s方向,即 P(α2s)=1 ,根據(jù)(5)式可得到P(α1s,β2i)=1,則不能滿足(3)式,因此s光子偏振不在 α2s方向,即若i光子偏振在方向上,即根據(jù)(5)式有則不能滿足(3)式,因此i光子的偏振不能在方向上,即因此可以得出：0＜P(α2s)＜ 1 ,

通過(guò)如上的分析,可以匯總得出如下的結(jié)論：

2) 在滿足(2)式的情況下,經(jīng)典局域關(guān)聯(lián)將導(dǎo)致 H3＜ 1.

證明定義(8)—(10)式為：

由(3)(式與)(1a)式以及(8)式相結(jié)合可得P(β1i)+P=1+H4＞ 1,進(jìn)一步與(1b)和(7)式相比較可得到

從以上證明得到的兩個(gè)結(jié)論中可以看出,在經(jīng)典局域關(guān)聯(lián)下,如果選取的測(cè)量基能夠同時(shí)滿足(3)—(5)式,則(2)式必定不能成立,即

然而,在量子力學(xué)非局域關(guān)聯(lián)理論中可以證明,在選取的測(cè)量基能夠同時(shí)滿足(3)—(5)式時(shí),卻可以得到的結(jié)論.因此,通過(guò)檢驗(yàn)概率H值是否大于0,就可以檢驗(yàn)量子非局域關(guān)聯(lián)是否存在.并且H值越大,則對(duì)于量子非局域關(guān)聯(lián)檢驗(yàn)的概率越高,量子非局域關(guān)聯(lián)現(xiàn)象越明顯.

3 基于Hardy-type佯謬的高概率量子非局域關(guān)聯(lián)檢驗(yàn)

下面首先來(lái)證明上述提出的高概率Hardytype佯謬檢驗(yàn)邏輯,針對(duì)量子純態(tài)中也是適用的.對(duì)于兩比特偏振糾纏純態(tài),其波函數(shù)可表示為

其中,|H〉表示水平偏振態(tài),|V〉表示垂直偏振態(tài),r (0≤r ≤1)值的大小決定了(15)式所示的量子純態(tài)的糾纏度.例如,當(dāng) r =1 時(shí),(15)式為最大糾纏態(tài).

當(dāng)使用如下所示的通用測(cè)量基 |φ〉M,

作用于(15)式,則可以計(jì)算得出相應(yīng)的聯(lián)合測(cè)量概率為

此時(shí),利用Mathematica程序,可以計(jì)算得出在滿足(3)—(5)式的條件下(即H1= H2= H3=可以獲得的最大概率值 Hmax.圖1顯示了 Hmax隨r 的變化關(guān)系.

從圖1中可以看出,對(duì)于如(15)式所示的量子純態(tài),量子非局域關(guān)聯(lián)的成功檢驗(yàn)概率會(huì)隨著r 值的增大先增大后減小.特別地,當(dāng)r =0.773066時(shí),可獲得最大的 Hmax值,即量子非局域關(guān)聯(lián)檢驗(yàn)的最大概率為此時(shí)對(duì)應(yīng)的測(cè)量基分別為：α1s=0.722166 ,α2s=1.50353 ,β1i=1.11185,β2i=0.305655.該結(jié)果與文獻(xiàn)[24]利用純態(tài)進(jìn)行的量子非局域關(guān)聯(lián)檢驗(yàn)得到的結(jié)果一致,證明了提出的關(guān)于Hardy-type佯謬檢驗(yàn)量子非局域關(guān)聯(lián)的有效性.與原始的Hardy佯謬檢驗(yàn)方案成功概率約9%相比[6],利用本文提出的邏輯,可將量子非局域關(guān)聯(lián)檢驗(yàn)的成功概率提高到約39.1%,因此本文提出的基于Hardy-type佯謬邏輯,可極大地提高進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn)的成功概率.值得注意的是,當(dāng) r＜ 0.378525 或r＞ 0.778883時(shí),由于(3)—(5)式無(wú)法被同時(shí)滿足,因此對(duì)這些范圍內(nèi)的量子純態(tài),無(wú)法用本文提出的邏輯進(jìn)行量子非局域關(guān)聯(lián)的檢驗(yàn).

圖1 Hmax隨r 的變化Fig.1.Relationship between Hmax and r.

進(jìn)一步重點(diǎn)研究關(guān)于混合態(tài)的高概率量子非局域關(guān)聯(lián)檢驗(yàn).具體而言,以Werner態(tài)這種量子混合態(tài)為例,利用本文提出的Hardy-type佯謬檢驗(yàn)邏輯,分析量子混合態(tài)的量子非局域關(guān)聯(lián)檢驗(yàn)情況.

對(duì)于量子混合糾纏態(tài)Werner態(tài),其密度矩陣可寫(xiě)為[23]

其可認(rèn)為是如(15)式所表示的非最大糾纏純態(tài)|ψ〉混合了一定的白噪聲(0≤t＜ 1)所得到.其中I表示單位矩陣.本文通過(guò)的值來(lái)判定該混合態(tài)的混合程度,即當(dāng)對(duì)應(yīng)純態(tài),則是對(duì)應(yīng)混合態(tài).Tr(ρ2)的值越高,Werner態(tài)越接近于量子純態(tài).

對(duì)于如(18)所描述的量子混合態(tài),當(dāng)用如(16)式所示的通用測(cè)量基進(jìn)行聯(lián)合概率測(cè)量,可計(jì)算得到如下式所示的聯(lián)合測(cè)量概率：

同理,利用(19)式,可以計(jì)算得出在滿足(3)—(5)式的條件下(即 H1=H2=H3=1),可以獲得的最大概率值 Hmax.特別地,在 r =0.773066 (此情況下,Werner態(tài)中所含純態(tài)部分(即當(dāng) t =1 時(shí)的情況)可獲得最大概率的量子非局域關(guān)聯(lián)檢驗(yàn))和 r =0.599997 (此情況下,下文可證明所對(duì)應(yīng)的Werner態(tài),滿足量子非局域關(guān)聯(lián)的檢驗(yàn)的條件范圍是最大的)兩種情況下,如(18)式所示的量子混合態(tài),基于本文提出的Hardy-type佯謬的量子非局域關(guān)聯(lián)檢驗(yàn)成功概率以及 Tr(ρ2) 隨參數(shù)t 的變化關(guān)系如圖2所示.

從圖2中可以看出,利用本文提出的Hardytype佯謬邏輯,不論r 值處于哪種情況,隨著t 參數(shù)值的增大(即混合態(tài)越來(lái)越接近純態(tài)),檢驗(yàn)量子非局域關(guān)聯(lián)的成功概率都將越增大.從圖2(a)中可以看出：當(dāng) r =0.773066 時(shí),用(18)式所示的混合糾纏態(tài)進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn),僅當(dāng)滿足t ≥0.982327(此時(shí) Tr(ρ2)≥0.973725)時(shí),該混合態(tài)才能利用本文提出的檢驗(yàn)邏輯進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn),但成功檢驗(yàn)的概率較大,為 Hmax=0.33782 ,且隨著t 的增大而非線性增大.特別地,當(dāng)t =1(即純態(tài))時(shí),Hmax=0.391179 ,該結(jié)果與文獻(xiàn)[24]利用純態(tài)檢驗(yàn)得到的結(jié)果一致.從圖2(b)中可以看出：當(dāng) r =0.599997 時(shí),用(18)式所示的混合糾纏態(tài)進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn),當(dāng)滿足t ≥0.912649(Tr(ρ2)≥0.874696)時(shí),該混合態(tài)就能利用本文提出的檢驗(yàn)邏輯進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn),但成功檢驗(yàn)的概率為 Hmax=0.172799 ,且隨著t 的增大而非線性增大.特別地,當(dāng) t =1 (即純態(tài))時(shí),Hmax=0.261343.與圖2(a)所示的情況相比,盡管圖2(b)中所用的參數(shù)可用于成功檢驗(yàn)量子非局域關(guān)聯(lián)的范圍更大,但其缺點(diǎn)是成功檢驗(yàn)的概率要稍低一些.但不論如何,利用本文提出的Hardytype佯謬檢驗(yàn)邏輯,都能以較大的成功概率檢驗(yàn)量子非局域關(guān)聯(lián).

圖2 Tr(ρ2) 以及 Hmax隨t 參數(shù)的變化關(guān)系 (a) r =0.773066 的情況；(b) r =0.599997 的情況；其中藍(lán)色實(shí)線表示 Hmax隨t 的變化關(guān)系,對(duì)應(yīng)于右邊縱坐標(biāo)；黑色點(diǎn)化線表示 Tr(ρ2) 隨t 的變化關(guān)系,對(duì)應(yīng)于左邊縱坐標(biāo)Fig.2.Relationship between Tr(ρ2) and Hmax with t.The blue solid line means Hmaxvs.t ,using the right longitudinal coordinates.The black dot dash line means Tr(ρ2) vs.t using the left longitudinal coordinates.Fig.2 (a) is the situation of r =0.773066 and Fig.2 (b) is the situation of r = 0.599997.

值得注意的是,利用本文提出的Hardy-type佯謬檢驗(yàn)邏輯,針對(duì)如(18)式所示的混合態(tài),盡管可以以較高的成功概率進(jìn)行量子非局域關(guān)聯(lián)的檢驗(yàn),但是,從上面的分析也可以看出,只有滿足一定條件(即混合態(tài)的純度必須要大于某一個(gè)值,以及r 的取值必須在某一范圍)的混合態(tài)才能(即能找到一定的測(cè)量基可使得條件H1=H2=H3=1能夠被同時(shí)滿足)進(jìn)行量子非局域關(guān)聯(lián)的檢驗(yàn).因此,圖3給出了利用本文提出的Hardy-type佯謬檢驗(yàn)邏輯,可對(duì)如(18)式所示的混合態(tài)成功進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn)的范圍.

從圖3中可以看出,對(duì)(18)式所示的混合態(tài)而言,僅當(dāng)在滿足條件：0.378525≤r ≤0.778883時(shí),該混合態(tài)才能利用本文提出的Hardy-type佯謬檢驗(yàn)邏輯成功地進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn).而且,對(duì)于某一固定的r 值,(18)式所示混合態(tài)的純度也必須進(jìn)一步滿足一定條件(即存在t 參數(shù)的最小值 tmin),才能成功地進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn).例如,當(dāng) r =0.599997 時(shí),(18)式所示的混合態(tài)具有最大的條件范圍進(jìn)行量子非局域關(guān)聯(lián)的檢驗(yàn).即只要混合態(tài)的純度滿足條件 t ≥0.912649 (此時(shí)對(duì)應(yīng)的 Tr(ρ2)≥0.874696),就能成功地進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn).

圖3 tmin隨r 的變化Fig.3.Relationship between tmin and r.

4 結(jié) 論

提出了一種適用于任意兩比特糾纏混合態(tài)的Hardy-Type佯謬檢驗(yàn)邏輯,該邏輯可以較高的概率成功地檢驗(yàn)量子非局域關(guān)聯(lián).首先,利用偏振聯(lián)合概率測(cè)量的方法,證明了該檢驗(yàn)邏輯的適用性.在此基礎(chǔ)之上,以兩比特偏振糾纏純態(tài)為例,證明了該檢驗(yàn)邏輯也能適用于量子純態(tài)的情形.結(jié)果表明,對(duì)糾纏純態(tài)而言,該檢驗(yàn)邏輯可獲得的成功檢驗(yàn)概率隨著r 的增加將出現(xiàn)先增大后減小的情形,最大成功檢驗(yàn)概率可從傳統(tǒng)的約0.09提高到約Pmax=0.391179.其次,本文以Werner態(tài)這種混合態(tài)為例,從理論上分析了當(dāng)Werner態(tài)中的參數(shù)r 和t 改變時(shí),該混合態(tài)進(jìn)行量子非局域關(guān)聯(lián)檢驗(yàn)的情形.研究結(jié)果表明,對(duì)于固定r 值的混合態(tài),純度越高(即 Tr(ρ2) 越接近1),則其成功檢驗(yàn)量子非局域關(guān)聯(lián)的概率越大.最后,本文也研究了針對(duì)Werner混合態(tài)的成功檢驗(yàn)量子非局域關(guān)聯(lián)的t 參數(shù)范圍.結(jié)果表明,當(dāng) r =0.599997 時(shí),可用于量子非局域關(guān)聯(lián)檢驗(yàn)的混合態(tài)的范圍最大,即只需t＞ 0.912649即可.由于本文提出的檢驗(yàn)邏輯針對(duì)量子混合態(tài),可以較大的成功概率檢驗(yàn)量子非局域關(guān)聯(lián),因此該方法更加有利于實(shí)驗(yàn)的驗(yàn)證.