王安康

（北京郵電大學(xué)理學(xué)院，北京 100876）

0 引言

量子糾纏[1]是量子信息處理應(yīng)用優(yōu)于經(jīng)典計(jì)算的關(guān)鍵資源[2]。故從理論和實(shí)踐的角度看，它的表征和驗(yàn)證均是量子信息科學(xué)中的關(guān)鍵問題。一般的糾纏目擊方法對測量設(shè)備的要求極高，由于實(shí)驗(yàn)室中測量設(shè)備不完美，很容易把可分態(tài)誤判為糾纏態(tài)[3-6]，進(jìn)而造成很大的損失。在設(shè)備無關(guān)場景[7-8]下，對設(shè)備沒有任何要求，它利用Bell 實(shí)驗(yàn)，基于Bell 不等式的違背，來驗(yàn)證測量系統(tǒng)共享量子態(tài)之間的關(guān)聯(lián)性。但由于Bell 實(shí)驗(yàn)需要類空間隔，并對整個(gè)實(shí)驗(yàn)的效率要求極高，因此在實(shí)際操作中并不好實(shí)現(xiàn)。為了更好地解決這個(gè)問題，Busemi[9]提出了所有的糾纏態(tài)在半量子非局域場景（相比Bell 場景下的經(jīng)典比特輸入，這里采用的是可信量子態(tài)的輸入）下都是非局域性的，這在Bell 場景是無法實(shí)現(xiàn)的。例如，兩粒子量子態(tài)-Werner 態(tài)[10]

1 測量設(shè)備無關(guān)條件下三粒子量子態(tài)的糾纏目擊

1.1 一般糾纏目擊形式

對于一般的糾纏目擊[14-15]，即對于任意的糾纏態(tài)ρABC，有哈密頓操作W使得tr(Wρ)＜0，然而對于任意的可分態(tài)σABC，有哈密頓操作W，使得tr(Wσ)≥0恒成立，如此的W （一般稱為糾纏目擊）能用于探測量子態(tài)是否糾纏。由于實(shí)際實(shí)驗(yàn)室中測量設(shè)備不完美，存在統(tǒng)計(jì)數(shù)據(jù)的偏差以及來自第三方的惡意竊聽等，所得到的W 一般都有很大的誤差導(dǎo)致tr(Wρ)的誤判，從而錯(cuò)誤的判定可分態(tài)σABC為糾纏態(tài)ρABC。

1.2 測量設(shè)備無關(guān)條件下三粒子的糾纏目擊形式證明

1.2.1 可信量子態(tài)輸入與W 的關(guān)系

為了避免因測量設(shè)備的缺陷所導(dǎo)致的誤差，Branciard 等人提出了在半量子非局域場景下，基于測量設(shè)備無關(guān)條件的糾纏目擊形式。即使在測量設(shè)備不完美的條件下仍然可以正確判斷測量設(shè)備之間共享的是可分態(tài)還是糾纏態(tài)。半量子非局域場景使用真實(shí)可信且信息完備的量子態(tài)輸入代替經(jīng)典比特的輸入，考慮三粒子量子態(tài)ρABC作用在希爾伯特空間上，其中。令W為探測糾纏態(tài)ρABC的糾纏目擊形式，又量子態(tài)的張量形式可以表示整個(gè)希爾伯特空間，故W 可以表示為量子態(tài)的線性組合形式，即

其中βstu是實(shí)數(shù)，并且它們分別對應(yīng)的是的一組基。

1.2.2 三粒子量子態(tài)下的概率表示形式

接下來我們證明三粒子形式的測量設(shè)備無關(guān)糾纏目擊形式。即對于糾纏目擊形式：

對于任意的可分態(tài)σABC恒成立，但是對于糾纏態(tài)ρABC,I(P)＜0。已知在測量設(shè)備無關(guān)條件下，測量系統(tǒng)Alice，Bob，Charlie 分別執(zhí)行測量操作，輸出經(jīng)典結(jié)果a，b，c，其中，統(tǒng)計(jì)概率表示為

1.2.3 LPP 映射原理

根據(jù)LPP 映射原理[14,16]，對于任意的糾纏態(tài)ρABC，存在一個(gè)正映射（但不是完全正映射）Λ，使得不是正的，因此至少存在一個(gè)特征值所對應(yīng)的特征向量，記為定義為Λ的對偶映射，對于所有的線性操作A ,B有成立。對于哈密頓操作，滿足

1.2.4 糾纏態(tài)在糾纏目擊形式下的表達(dá)

此時(shí)對應(yīng)的糾纏目擊形式為

因此，我們可以得出在Alice，Bob，Charlie 之間共享糾纏態(tài)時(shí)，對應(yīng)的測量設(shè)備無關(guān)糾纏目擊形式I(P)＜0成立。

1.2.5 可分態(tài)在糾纏目擊形式下的表達(dá)

假設(shè)Alice，Bob，Charlie 共享的量子態(tài)為是可分態(tài)σABC，根據(jù)可分態(tài)的定義，可以寫成如下的形式[17,18]

因此對于任意的測量算子作用在可分態(tài)上，可以表示為

其中Πabc是測量系統(tǒng)Alice，Bob，Charlie 輸出的經(jīng)典結(jié)果所對應(yīng)的POVM 測量，并且

因此，

最終我們利用LPP 映射原理，證明了基于三粒子量子態(tài)下的測量設(shè)備無關(guān)糾纏目擊形式， 這對于拓展到共享多粒子下的測量設(shè)備無關(guān)糾纏目擊形式具有非常重要的意義。

2 三粒子量子態(tài)在測量設(shè)備無關(guān)條件下具體的糾纏目擊形式

接下來我們用詳細(xì)的例子來說明，基于三粒子量子態(tài)的測量設(shè)備無關(guān)條件下的糾纏目擊具體表達(dá)形式。

對于含噪聲的三粒子量子態(tài)-W[17]態(tài)，

其中的系數(shù)βstu是實(shí)數(shù)，具體形式可以表示為：

至此，我們以含噪聲的三粒子W態(tài)為例，詳細(xì)說明了在測量設(shè)備無關(guān)條件下糾纏目擊的形式。此外在運(yùn)用MATLAB 進(jìn)行線性方程求解的過程中，充分運(yùn)用了AX=B的求解方式，其中A 表示的是三個(gè)量子態(tài)的張量形式，即

X的表示如下：

3 結(jié)論

根據(jù)LPP映射原理，對可分態(tài)與糾纏態(tài)分別進(jìn)行糾纏目擊形式的分析討論，最終我們給出了三粒子量子態(tài)下的測量設(shè)備無關(guān)糾纏目擊形式的具體證明過程，并且對于給定的含噪聲形式的三粒子量子態(tài)W態(tài)，給出了詳細(xì)的測量設(shè)備無關(guān)糾纏目擊形式構(gòu)造過程，這對于拓展到多粒子量子態(tài)下的測量設(shè)備無關(guān)糾纏目擊形式具有重大的意義。此外，受Busemi所提出的所有糾纏態(tài)都是非局域的啟發(fā)，是否可以研究測量設(shè)備共享的三粒子量子態(tài)下的隨機(jī)性，值得進(jìn)一步思考。