王 碩， 王 萍， 郭 迎， 王興華

（1．中南大學 信息科學與工程學院， 湖南 長沙410083；2．懷德第一中學， 吉林 公主嶺136100）

通過差分非高斯操作連續(xù)變量量子密鑰分發(fā)

王 碩1， 王 萍1， 郭 迎1， 王興華2

（1．中南大學 信息科學與工程學院， 湖南 長沙410083；2．懷德第一中學， 吉林 公主嶺136100）

人們發(fā)現(xiàn)非高斯操作可以用來提升高斯糾纏態(tài)的的糾纏度，本文提出了一種通過使用非高斯差分操作來進行放射性的基于糾纏(Entanglement-based,EB)的連續(xù)變量量子密鑰分發(fā)(CVQKD)的方法，其中糾纏源產(chǎn)生于中間而不是合法的通信兩端.這個被提出的放射性的結(jié)構(gòu)方案對分析在有損信道中光子如何丟失是非常有用的，這種分析可以提高量子通信的性能.它可以在當前技術(shù)條件下實現(xiàn).為了提高通信的安全距離和基于EB協(xié)議和PM協(xié)議的噪聲容限，這個技術(shù)采用一種在色散潮流中新的成熟的和通用的非高斯操作.

量子密鑰分發(fā)；連續(xù)變量；非高斯操作；光子減法

量子密鑰分發(fā)通常為兩個遠距離參與者，Alice和Bob提供一種方法，來建立一個安全密鑰序列[1].其中存在三個主要的標準來衡量一個量子密鑰分發(fā)方案，即為：實用性，性能和安全性[2].

連續(xù)變量量子密鑰分發(fā)通過光子場x和p的正交性進行編碼并使用零差或外差檢測來提取它，對于最初選擇離散變量量子密鑰分發(fā)是因為它提供更高的檢測效率，現(xiàn)成的激光源和更加方便地集成到當前的通信系統(tǒng).在過去的十年中連續(xù)變量量子密鑰分發(fā)已經(jīng)產(chǎn)生重大進展.許多最近的成果包括無條件的安全性證明抵抗任意潛在攻擊策略[4]，以及基于糾纏的連續(xù)變量量子密鑰分發(fā)試驗性的展示[5]和改進的調(diào)制[6]或者具有高效率甚至在低信噪比中解碼[7].然而，安全性分析過多的依賴于量子信道是線性的假設(shè)[7].最近，Guo以及其他人已經(jīng)提出一個改進四態(tài)EB CVQKD方案，其中合法參與者在信道不是線性的假設(shè)下計算出協(xié)方差矩陣[8].不幸的是，這兩個合法通信端正交的相關(guān)性不能達到一個EPR態(tài)，這明顯的限制了實際運用中的CVQKD的密鑰率.

有趣是，它已經(jīng)被從理論和實踐上證明了非高斯操作[9]如光子減法和光子加法運算，可以被用來增加和提高在高斯糾纏態(tài)的糾纏度[10]，由此提高量子線性放大器[11]和量子通信的性能[12].在本文中，我們關(guān)注在非高斯態(tài)操作基礎(chǔ)上的一種放射性的EB CVQKD的設(shè)計,從而提高系統(tǒng)性能，這種非高斯操作即為：減法運算.其中的糾纏源通過一個中立的通信端Fred而放射的,來自中心的竊聽者Eve位于Fred和合法參與者之間，其目的是為了完全控制高斯糾纏態(tài).它通過使用原始的分析技術(shù)[13]表明非高斯差分可以在當前技術(shù)下[3]實踐中實現(xiàn)，也可以增加在合法參與者之間正交的相關(guān)性.這個協(xié)方差矩陣可以在不使用線性信道的假設(shè)下的實驗數(shù)據(jù)中直接評估.相應的，它對應的制備與測量方案在當前的技術(shù)下是不難實現(xiàn)的.它允許在長距離的情況下密鑰的分發(fā)還是有好的抵抗與最初高斯調(diào)制有關(guān)的額外噪聲性能，這也說明了這個方案和原始的方案的不同，尤其是，在研究非理想的信道中光子丟失對連續(xù)變量量子密鑰分發(fā)的性能產(chǎn)生的影響.

本文的結(jié)構(gòu)如下，第二部分致力于通過差分的非高斯操作進行放射性的連續(xù)變量量子密鑰分發(fā)方法的基礎(chǔ)結(jié)構(gòu).第三部分證明提出的EB CVQKD的密鑰率，它位于中間的竊聽者是基于傳統(tǒng)的分析技術(shù).最后在第四部分得出結(jié)論.

1 非高斯操作下的放射性的EB CVQKD

這個提出的連續(xù)變量量子密鑰分發(fā)可以在制備與測量方案中實施，為了使理論分析簡單一些，我們認為它的效率等價于使用高斯調(diào)制的基于糾纏方案[4].以設(shè)計一個放 射的基于糾纏的連續(xù)變量量子密鑰分發(fā)方案為開始，它對于理解一個使用高斯調(diào)制的傳統(tǒng)的EB CVQKD協(xié)議是很有幫助.通過中立參與者，F(xiàn)red，一個糾纏的高斯源，在兩個遠距離參與者之間的建立起糾纏源，Alice和Bob，為了在一個放射的量子網(wǎng)絡中（例如下圖1）產(chǎn)生一個密鑰率加密.

圖1 非高斯操作下的放射性的EB CVQKD的原理示意圖.在這里的PNRD代表光子數(shù)分辨探測器

假設(shè)Fred準備了一個雙模真空壓縮態(tài)ρab，具有方差V0+1，其中V0=2α2代表調(diào)制方差.態(tài)ρab的一半發(fā)送給Alice同時另外一半的態(tài)通過具有傳送效率T和額外噪聲ε的光子信道發(fā)送給Bob.在Alice（或者Bob）接收這個態(tài)時，她（或者他）就使用一個理想探測器選擇外差或者零差探測器來檢測.同時，我們假設(shè)Alice當Bob應用零差或者外差檢測時采用外差檢測，這是為了共享兩個相關(guān)的高斯變量從而可以被進一步用于提取私鑰加密.因為實際的量子信道和探測器并不是理想的，增加的信道噪聲被指為信道輸入記為Xline=1/T-1+ε.

我們想到的是考慮到一個在非高斯操作下非高斯操作下的EB CVQKD通過光子減法操作來實現(xiàn).如上圖1所示，F(xiàn)red首先為了每一個模結(jié)合一個分束器和一個光子數(shù)分辨探測器.在兩個光線在模式a0和b0同時的被兩個具有相同傳輸器的分束器所利用之后，例如：μa=μb=μ，結(jié)果態(tài)可以被表示為：

其中pk代表歸一化因子，糾纏的非高斯態(tài)由下式給出：

例如，當k∈{1,2}，它可以由下面的式子計算得出：

我們注意前面所提到的減法操作對于μ=1是不存在的.很容易的證明，光子k態(tài)在k≥1時，比原始的輸入態(tài)有一個更大的糾纏度，如圖2表示.有很多的糾纏態(tài)使用一個合適的傳輸條件μ∈(0,1).此外，更大數(shù)量的減去光子k意味著雙向態(tài)的更大的糾纏.它表明基于減法的非高斯操作可以增加雙向態(tài)的兩種模式的相關(guān)性.我們也注意光子數(shù)分辨探測器應該被作為有效的檢測[18]，這導致了一個對糾纏源處理后產(chǎn)生了非高斯混合態(tài).

圖2 |φ〉ab和的糾纏比較.這里因為μ∈{0.5,0.8}和k∈{1,2}，所以E0=E(|φ〉ab)和1具有 α∈(0,1)

在下文中，我們嘗試證明由Fred所帶來的糾纏性能的提高，F(xiàn)red在傳送糾纏態(tài)給遠距離的參與者之前完成了基于光子減法的非高斯操作，它會提高在放射光子網(wǎng)絡中的基于糾纏的連續(xù)變量量子密鑰分發(fā)的性能.

2 放射性的基于糾纏的連續(xù)變量量子密鑰分發(fā)的密鑰率

在這部分，我們表明如何估計在基于光子減法的非高斯操作下的放射的EB CVQKD的密鑰率.所以我們集中于分析直接協(xié)商，因為反向協(xié)商可以用類似的方法得到.基于高斯調(diào)制的EB CVQKD，這個密鑰率可以有下面的式子計算出來[10]：

其中S是馮·諾伊曼熵，ρe是竊聽者的局部態(tài)，ma代表Alice隨著P(ma)的可能性實現(xiàn)的測量結(jié)果代表竊聽者的輔助態(tài)，它是在Alice的測量結(jié)果的ma條件下得到的.由

于竊聽者可以提供一個Alice的純態(tài)和Bob的密度矩陣，我們得到)和)，如圖1所示.因此，Holevo數(shù)量可以寫為[8]：

而且，根據(jù)一個有益的協(xié)方差矩陣如下[4]：

其中I2是2×2的單位矩陣，σz是以1和-1為對角線的對角矩陣，同時a，b和c代表有效的參數(shù)，由下面的式子得出：

舉例，當k=1時，我們得到：

圖3 z1和z0的相關(guān)性對比.這里z0表示高斯EPR態(tài)的關(guān)系，同時z1對于隨著α∈{0,1}的變化μ∈{0.5,0.8}.

我們注意基于減法的連續(xù)變量量子密鑰分發(fā)當μ=1時不存在，這和原始的具有糾纏源在中間的連續(xù)變量量子密鑰分發(fā)有關(guān).如圖3所示，熟悉矩陣的關(guān)系對于適當?shù)膮?shù)μ和α可以制成比高斯EPR態(tài)更大.它表明對于被減去的雙向態(tài)提出的方案的無條件安全性受μ和α值的限制，當α趨近于0的時候它變成高斯EPR態(tài)的下界.然而，當α的值變得非常小的時候，在實際中它就變得無效了.這就是我們在提出的方案中所要完成的不得不選擇合適的μ和α值的原因.

因為由竊聽者執(zhí)行的最具有攻擊力的策略是高斯攻擊，我們假設(shè)存在一個等價的高斯態(tài)ρa1b1具有相同的協(xié)方差矩陣作為以光子減法為基礎(chǔ)的基于糾纏的連續(xù)變量量子密鑰分發(fā)，例如和之間的關(guān)系在Ref.中被討論[17].接下來，我們考慮在以代替被減態(tài)基礎(chǔ)的提出的方案的效率.

假設(shè)Alice執(zhí)行外差檢測，通過在一個平衡的分束器中結(jié)合她的模和一個真空附屬d0來產(chǎn)生一個相干態(tài).在原始態(tài)上的交互執(zhí)行可以被描述為繼續(xù)通過他的模式采用零差或者外差檢測.隨后，為了零差檢測在Alice和Bob之間共享的信息可由下式計算得出：

外差檢測由下式給出：

接下來，我們考慮的是計算竊聽者和Alice的的共有信息，例如作為Alice零差測量的條件.使用提純方法，我們有，它是相關(guān)的方差矩陣的辛本征值λ3,4的函數(shù)，具體式子如下：

注意到一個外差檢測在本質(zhì)上是一個通過相干態(tài)的推測，外差測量結(jié)果在協(xié)方差矩陣中如下：

然后，辛本征值直接的表示為：

因此，通過外差檢測的馮·諾伊曼熵就可以如下表示了：

由此，對于基于光子減法的放射性的連續(xù)變量量子密鑰率的下界由下式給出：

其中pk代表了在非高斯操作下成功實施的可能性.也就是，零差檢測下的密鑰率由下式計算出來：

同時外差檢測由下式得出：

在放射的基于糾纏的連續(xù)變量量子密鑰分發(fā)在光子信道中不具有非高斯操作，原始的高斯態(tài)ρ0的協(xié)方差矩陣ΓG

并且協(xié)方差矩陣ΓG0的辛本征值再Bob的外差測量上是有條件的：

3 結(jié)論

我們提出一個方法來提高在非高斯的操作下的基于糾纏的連續(xù)變量量子密鑰方案的性能，尤其是，光子減法操作.這個提出的光子減法操作在當前的技術(shù)下很容易的實現(xiàn).由于被調(diào)制的態(tài)是非高斯的，我們預測出密鑰率和信道過剩噪聲的可容忍度在高斯定理的協(xié)助下對抗一般的集體攻擊.結(jié)果表示這個提出的方案比原始的方案允許更長的安全距離，并且在抵抗信道過剩噪聲中有更好的性能.此外，因為可用的調(diào)制方差VA的區(qū)域可以是開放的，所以這個提出的方案有一個更加靈活的應用.而且，我們表明減法操作也可能等同于準備—措施方案.總之，我們已經(jīng)證明光子減法不僅能被用于提高量子態(tài)的糾纏度，也能提高連續(xù)變量量子密鑰分配的性能，包括更長的安全距離，更大的過剩噪聲可容忍度，和更加靈活的調(diào)制方差的選擇.

〔1〕M.N ielsen,and I.Chuang,Quantum computation and quantum information(Cambridge University Press, Cambridge,2000).

〔2〕V.Scarani,H.Bechmann-Pasquinucci,N.J.Cerf,M. Dusek,N.Lutkenhaus,and M.Peev,Rev.Mod.Phys. 81,1301(2009).

〔3〕C.W eedbrook,S.Pirandola,R.Garcaa-Patraon,N.J. Cerf,T.C.Ralph,J.H.Shapiro,and S.Lloyd,Rev. Mod.Phys.84,621(2012).

〔4〕R.Garcia-Patron and N.J.Cerf,Phys.Rev.Lett. 97,190503(2006).190503(2006).

〔5〕L.S.Madsen,V.C.Usenko,M.Lassen,R.Filip,and U.L.Andersen,Nat.Commun.3,1083(2012).

〔6〕A.Leverrier and P.Grangier,Phys.Rev.Lett. 102,180504(2009).

〔7〕P.Jouguet,S.Kunz-Jacques,and A.Leverrier,Phys. Rev.A 84,062317(2011).

〔8〕J.Yang,B.Xu,and H.Guo,Phys.Rev.A 86, 042314(2012).

〔9〕H.Takahashi,J.S.Neergaard-N ielsen,M.Takeuchi, M.Takeoka,K.Hayasaka,A.Furusawa,and M.Sasaki, Nature Photon.4,178(2010).

〔10〕A.Leverrier and P.Grangier,Phys.Rev.A 83, 042312(2011).

〔11〕H.-J.Kim,S.-Y.Lee,S.-W.Ji,and H.Nha,Phys. Rev.A 85,013839(2012).

〔12〕S.-Y.Lee,S.-W.Ji,H.-J.Kim,and H.Nha,Phys. Rev.A 84,012302(2011).

〔13〕R.Garcia-Patron,Ph.D.thesis,Universitfle Libre de Bruxelles,2007.

〔14〕A.Peres,Phys.Rev.Lett.77,1413(1996).

〔15〕G.Vidal and R.F.W erner,Phys.Rev.A 65,032314 (2002).

〔16〕C.Weedbrook,Phys.Rev.A 87,022308(2013).

〔17〕F.Grosshans,N.J.Cerf,J.W enger,R.Tualle-Brouri, and P.Grangier Quantum Infor.Comput.3,535 (2003).

〔18〕A.Kitagawa,M.Takeoka,M.Sasaki,and A.Chefles, Phys.Rev.A 73,042310(2006).

O141

A

1673-260X（2014）07-0017-04