郝小寧
(太原理工大學 數(shù)學學院, 山西 太原 030024)
?
基于弱測量的量子失協(xié)
郝小寧
(太原理工大學 數(shù)學學院, 山西 太原 030024)
探討了量子信息理論中基于弱測量的量子失協(xié)的相關問題, 證明了主要結論: 令希爾伯特空間H=HA?HB, dimHA=n(2 乘積態(tài); 弱測量; 超量子失協(xié); 互信息; 量子失協(xié) 描述和量化量子關聯(lián)是量子信息科學的一個基本和關鍵的問題[1]. 許多學者對量子關聯(lián)的不同度量進行了研究, 例如量子失協(xié)、幾何失協(xié)[2]以及量子虧損[3]等. 量子失協(xié)表示通過測量單個子系統(tǒng)不能被提取的不可達信息. 它是度量總的關聯(lián)與經典關聯(lián)之間的差[4]. 可分態(tài)的糾纏是零, 但是它們的量子失協(xié)可以是非零的[5]. 這表明除量子糾纏外, 量子失協(xié)可以反映量子態(tài)更多的量子關聯(lián). 量子失協(xié)能有效地反映量子關聯(lián)的作用, 這不同于經典關聯(lián). 因此, 量子失協(xié)引起廣大學者的關注并進行深入研究. Xi Zhengjun等學者給出兩體態(tài)的量子失協(xié)的上界[6]. Luo Shunlong給出two-qubit系統(tǒng)量子失協(xié)的解析公式[7]. Mohamed給出two-qubit態(tài)的量子失協(xié)的動力學相關研究[8]. 在量子力學中, 量子測量起著非常重要的作用. 量子態(tài)對量子測量是非常敏感的. 對量子態(tài)進行測量不可避免地要擾動量子系統(tǒng), 進而產生波函數(shù)的塌縮. 為使對初始量子態(tài)的影響最小, Oreshov 和Brun提出弱測量的理論以及弱測量算子的形式[9-10]. 弱測量不僅在研究基本的物理問題中, 而且在技術應用中都起著很重要的作用. 基于弱測量并結合量子失協(xié)Singh 和Pati 提出超量子失協(xié)(SQD)[11], 并證明在一個子系統(tǒng)上進行弱測量能使得SQD總是大于等于由投影測量得到的一般的量子失協(xié)(QD)[11]. 隨后, 李波等學者對two-qubit的SQD、QD和互信息進行研究[12]. 同時, 基于弱測量[13-14], 一些學者也進行了相關研究. Zhang Jun等學者在弱測量下研究量子關聯(lián)的花費[15]. Wang Yaokun等學者基于弱測量給出最大的holevo量[16]. Li Tao等學者對two-qubit的X型態(tài)給出超量子失協(xié)的解析公式[17], 也即給出低維系統(tǒng)的超量子失協(xié)的解析公式. Li Lei等學者研究弱測量下的量子失協(xié)的幾何測量[18]. 我們知道, 對于兩體的高維系統(tǒng)可以提高量子信息處理的效率[19]. 而先前學者們的研究并沒有對高維系統(tǒng)的QD, SQD, 乘積態(tài), 經典關聯(lián)以及互信息的關系進行研究. 因此, 本文主要工作是基于弱測量研究在高維量子系統(tǒng)的量子失協(xié)的相關問題, 給出乘積態(tài), 超量子失協(xié), 量子失協(xié), 經典關聯(lián)和互信息之間等價命題的刻畫. 這個結果是參考文獻[12]中two-qubit情形在高維的推廣. 下面介紹本文的一些基本概念及符號表示.HA和HB是Hilbert空間, dimHA=n(2 D(ρ)=I(ρ)-C(ρ)= S=(A|ΠB)= D(ρ)= S(A|B), n?2(2≤n<∞)量子系統(tǒng)上超量子失協(xié)Dw(ρ)的定義[11]為 |PB(x)}-S(A|B), 其中, 條件熵S(A|B)=S(ρ)-S(ρB), 并且 Sw{A|PB(x)}= p(+x)S(ρA|PB(+x))+p(-x)S(ρA|PB(-x)), 測后的態(tài) ρA|PB(±x)= 概率 p(±x)= Tr{IA?PB(±x))ρ(IA?PB(±x))}, 注意 PB(+x)=απ1+βπ2, PB(-x)=βπ1+απ2, p(x)+p(-x)=1, π1+π2=PB(+x)+PB(+x)+ PB(-x)+PB(-x)=I, 式中: x是測量強度的參數(shù). 引理 1 令H=HA?HB,dimH<∞, ρ∈S(H), C(ρ)=0當且僅當ρ是一個乘積態(tài), 即ρ=ρA?ρB[12]. 基于引理1, 李波等學者給出下列定理 1. 定理 1 對two-qubit態(tài), 下列7個陳述是等價的: 1) ρ是一個乘積態(tài). 2) ρ有零經典關聯(lián). 3) ρ有零超量子失協(xié). 4) ρ有零互信息. 5) ρ有相等的量子失協(xié)與超量子失協(xié). 6) ρ有相等的量子失協(xié)和互信息. 7) ρ有相等的超量子失協(xié)和互信息. 這里先介紹m(2 HA和HB是希爾伯特空間, dimHA=n(2 dimHB=m(2 對n?m量子系統(tǒng), 超量子失協(xié)的定義是 |M(x)}-S(A|B), 其中, 條件熵S(A|B)=S(ρ)-S(ρB), 并且 測量后子系統(tǒng)A上的態(tài)是 相應的概率分別為 所以, 定理 2 令H=HA?HB, dimHA=n(2 1) ρ是乘積態(tài), 即ρ=ρA?ρB. 2) ρ有零超量子失協(xié). 3) ρ有相等的量子失協(xié)和超量子失協(xié). 4) ρ有零互信息. 5) ρ有相等的量子失協(xié)和互信息. 6) ρ有相等的超量子失協(xié)和互信息. 證明 1)?2). 由陳述1), 可得 TrB{[I?M1(x)](ρA?ρB)[I?M1(x)]}= p1(x)= TrAB{[I?M1(x)](ρA?ρB)[I?M1(x)]}= 所以, 2)?3), 4)?5)以及5)?6)的證明方法與定理1的證明相似. 3)?4). 弱量子條件熵是 Sw{A|MB(x)}= 注意, 弱量子條件熵 Sw{A|MB(x)}=Sw{A| 其中, Sw{A|MB(x)}= 這表明C(ρ)=0, 由引理1可知ρ是一個乘積態(tài),I(ρ)=0. 因此, 陳述4)成立. 6)?1). 由式(2), von Neumann熵的凹性及陳述6), 可以得到 [1]Henderson L, Vedral V. Classical, quantum and total correlations[J]. J. Phys. A, 2001, 34(35): 6899-6905. [2]Li Bo, Wang Zhixi, Fei Shaoming. Quantum discord and geometry for a class of two-qubit states[J]. Phys. Rev. A, 2011, 83(2): 1293-1304. [3]Xi Zhengjun, Fan Heng, Li Yongming.One-way unlocalizable quantum discord[J]. Phys. Rev. A, 2012, 85(5): 1222-1228. [4]Ollivier H, Zurek W H. Quantum Discord: A measure of the quantumness of correlations[J]. Phys. Rev. Lett, 2002, 88(1): 017901. [5]Horodecki R, Horodecki P, Horodecki M, et al. Quantum entanglement[J]. Rev. Mod. Phys. 2007, 81(2): 865-942. [6]Xi Zhengjun, Lu Xiaoming, Wang Xiaoguang, et al. Necessary and sufficient condition for saturating the upper bound of quantum discord[J]. Phys. Rev. A, 2012, 85(3): 2371-2376. [7]Luo Shunlong. Quantum discord for two-qubit systems[J]. Phys. Rev. A, 2008, 77(4): 140. [8]Mohamed A B A. Quantum discord and its geometric measure with death entanglement in correlated dephasing two qubits system[J]. Quant. Inf. Rev, 2013, 1(1): 1-7. [9]Aharonov Y, Albert D Z, Vaidman L. How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100[J]. Phys. Rev. Lett, 1988, 60(14): 1351-1354. [10]Oreshkov O, Brun T A. Weak measurements are universal[J]. Phys. Rev. Lett, 2005, 95(11): 110409. [11]Singh U, Pati A K. Quantum discord with weak measurements[J]. Ann. Phys, 2014, 343(4): 141-152. [12]Li Bo, Chen Lin, Fan Heng. Non-zero total correlation means non-zero quantum correlation[J]. Phys. Lett. A. 2014, 378(18-19): 1249-1253. [13]Hu Mingliang, Fan Heng, Tian Dongping. Role of weak measurements on states ordering and monogamy of quantum correlation[J]. Int. J. Theor. Phys, 2014, 54(1): 1-10. [14]Wang Yaokun, Ma Teng, Fan Heng, et al. Super-quantum correlation and geometry for Bell-diagonal states with weak measurements[J]. Quantum Inf Process, 2014, 13(2): 283-297. [15]Zhang Jun, Wu Shaoxiong, Yu Changshui. Quantum correlation cost of the weak measurement[J]. Ann. Phys, 2014, 351: 104-111. [16]Wang Yaokun, Fei Shaoming, Wang Zhixi, et al. Maximal holevo quantity based on weak measurements[J]. Sci. Rep, 2015, 5: 10727. [17]Li Tao, Ma Teng, Wang Yaokun, et al. Super Quantum discord for X-type states[J]. Int. J. Theor. Phys, 2015, 54(2): 680-688. [18]Li Lei,Wang Qingwen, Shen Shuqian, et al. Geometric measure of quantum discord with weak measurements[J]. Quantum Inf Process, 2015, 15(1): 291-300. [19]Walborn S P, Lemelle D S, Almeida M P, et al. Quantum key distribution with higher-order alphabets using spatially encoded qudits[J]. Phys. Rev. Lett, 2006, 96(9): 090501. Quantum Discord Based on Weak Measurements HAO Xiao-ning (College of Mathematics, Taiyuan University of Technology, Taiyuan 030024, China) An exploration was made on the relevant issue of quantum discord in quantum information field. Let Hilbert space to beH=HA?HB, dimHA=n(2 product state; weak measurements; super quantum discord; mutual information; quantum discord 1673-3193(2016)06-0566-04 2016-03-31 國家自然科學基金資助項目(11171249);山西省國際合作項目(2014081027-2);太原理工大學青年基金資助項目(2014QN024) 郝小寧(1980-), 女, 博士, 講師, 主要從事算子及量子信息與量子計算研究. O413 A 10.3969/j.issn.1673-3193.2016.06.0031 預備知識
2 主要結果