搜索

x

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于CHSH不等式几何解释的“X”态量子非局域关联检验

曾柏云 辜鹏宇 胡强 贾欣燕 樊代和

引用本文:
Citation:

基于CHSH不等式几何解释的“X”态量子非局域关联检验

曾柏云, 辜鹏宇, 胡强, 贾欣燕, 樊代和

Quantum nonlocal test of “X” state based on geometric interpretation of CHSH inequality

Zeng Bai-Yun, Gu Peng-Yu, Hu Qiang, Jia Xin-Yan, Fan Dai-He
PDF
HTML
导出引用
  • 量子非局域关联现象是量子理论区别于经典理论的重要特征之一. “X”态作为一种典型的量子混合态, 基于其进行的量子非局域关联的检验研究, 不论对验证量子理论的正确性, 还是在量子信息论的应用领域研究, 都具有重要的意义. 本文在基于传统Clauser-Horne-Shimony-Holt (CHSH)不等式进行量子非局域关联检验的基础上, 提出了一种基于“X”态几何解释的量子非局域关联检验策略. 利用“X”态的几何解释策略, 可使物理图像更为直观地研究检验时最优化测量基选取, 以及可获得的最大CHSH不等式检验值等. 最后给出了基于CHSH不等式几何解释策略, “X”态成功进行量子非局域关联检验的参数范围.
    Quantum nonlocal correlation is one of the important features that distinguish the quantum theory from classical theory. As a typical quantum mixed state, the study of quantum nonlocal correlation based on the “X” state is of great importance for the verification of the correctness of quantum theory and the application of quantum information theory. In this work, with the traditional Clauser-Horne-Shimony-Holt (CHSH) inequality testing for quantum nonlocal correlations, we propose a strategy for testing the quantum nonlocal correlations based on the geometric interpretation of the “X” state. By using the geometric interpretation of the “X” state, which is described by the transform of Bloch sphere, it is possible to investigate the optimal selection of measurement settings. The maximum value of CHSH inequalities can also obtained from the physical images. Finally, the range of parameters for a successful quantum nonlocal correlation testing based on the CHSH inequality for the “X” state is studied. The results show that when $f = 1$, the “X” state will be reduced to a normal pure entangled state, and the quantum nonlocal correlation testing results are in full agreement with the traditional ones. This result proves the correctness of the geometric interpretation strategy proposed in this work. When$f \lt 1$, only some of the “X” states can be used for e successfully testing the quantum nonlocal correlations. It is also found that the range of fidelity values that can successfully test the quantum nonlocal correlations will be further increased by increasing the values of r. In particular, when r = 1, the range of fidelity value will reach a largest one (e.g. $f \gt 0.781$). The results in this work can provide the reference for experimentally testing the quantum nonlocal correlation by using the “X” state.
      通信作者: 樊代和, dhfan@swjtu.edu.cn
    • 基金项目: 计算物理国防科技重点实验室项目(批准号: 6142A05180401)和国家自然科学基金 (批准号: 12147208)资助的课题.
      Corresponding author: Fan Dai-He, dhfan@swjtu.edu.cn
    • Funds: Project supported by the Key Laboratory Project of Computational Physics of National Defense Science and Technology, China (Grant No. 6142A05180401) and the National Natural Science Foundation of China (Grant No. 12147208).
    [1]

    Einstein A, Podolsky B, Rosen N 1935 Phys. Rev. 47 777Google Scholar

    [2]

    Chen Y A, Zhang Q, Chen T Y, et al. 2021 Nature 589 214Google Scholar

    [3]

    Zhang X, Li H O, Cao G, Xiao M, Guo G C, Guo G P 2019 Nat. Sci. Rev. 6 32Google Scholar

    [4]

    Horodecki R 2021 arXiv: 2103.07712 v2 [quant-ph]

    [5]

    Bell J S 1964 Physics 1 195Google Scholar

    [6]

    Clauser J F, Horne M A, Shimony A, Holt R A 1969 Phys. Rev. Lett. 23 880Google Scholar

    [7]

    Freedman S J, Clauser J F 1972 Phys. Rev. Lett. 28 938Google Scholar

    [8]

    Aspect A, Dalibard J, Roger G 1982 Phys. Rev. Lett. 49 1804Google Scholar

    [9]

    Collins D, Gisin N, Linden N, Massar S, Popescu S 2002 Phys. Rev. Lett. 88 040404Google Scholar

    [10]

    Collins D, Gisin N 2004 J. Math. Phys. 37 1775Google Scholar

    [11]

    Mermin N D 1990 Phys. Rev. Lett. 65 1838Google Scholar

    [12]

    Ardehali M 1992 Phys. Rev. A 46 5375Google Scholar

    [13]

    Belinskiĭ A, Klyshko D N 1993 Phys. Usp. 36 653Google Scholar

    [14]

    Greenberger D M, Horne M A, Shimony A, Zeilinger A 1990 Am. J. Phys. 58 1131Google Scholar

    [15]

    Hardy L 1993 Phys. Rev. Lett. 71 1665Google Scholar

    [16]

    Kim J H, Chae J W, Jeong Y C, Kim Y H 2022 J. Korean Phys. Soc. 80 203Google Scholar

    [17]

    Singh J, Ghosh S, Arvind, Goyal S K 2021 Phys. Lett. A 392 127158Google Scholar

    [18]

    Koga J I, Kimura G, Maeda K 2018 Phys. Rev. A 97 062338Google Scholar

    [19]

    Seiler J, Strohm T, Schleich W P 2021 Phys. Rev. A 104 032218Google Scholar

    [20]

    Werner R F 1989 Phys. Rev. A 40 4277Google Scholar

    [21]

    Zhang Y S, Huang Y F, Li C F, Guo G C 2002 Phys. Rev. A 66 062315Google Scholar

    [22]

    Yu T, Eberly J 2007 Quantum Inf. Comput. 7 459

    [23]

    Shi J D, Wu T, Song X K, Ye L 2014 Quantum Inf. Process. 13 1045Google Scholar

    [24]

    Namitha C, Satyanarayana S 2018 J. Phys. B:At. Mol. Opt. 51 045506Google Scholar

    [25]

    Mishra S, Thapliyal K, Pathak A, Venugopalan A 2022 Quantum Inf. Process. 21 1Google Scholar

    [26]

    Guo Y N, Peng H P, Zeng K, Wang G Y 2020 Quantum Inf. Process. 19 1Google Scholar

    [27]

    刘晋, 缪波, 胡强, 樊代和 2020 量子光学学报 26 6Google Scholar

    Liu J, Miu B, Hu Q, Fan D H 2020 J. Quantum Opt. 26 6Google Scholar

    [28]

    石名俊, 杜江峰, 朱栋培, 阮图南 2000 物理学报 49 1912Google Scholar

    Shi M J, Du J F, Zhu D P, Ruan T N 2000 Acta Phys. Sin. 49 1912Google Scholar

    [29]

    Connes A, Zagier D 2007 Am. Math. Mon. 114 909Google Scholar

  • 图 1  基于CHSH不等式的Bloch球表示图. 左右两个Bloch球分别代表A和B两个系统, 它们之间的关系由一个关联矩阵K进行描述. ${\boldsymbol{j}}$${\boldsymbol{q}}$表示A系统中的两个测量方向, ${\boldsymbol{p}}$${\boldsymbol{t}}$表示B系统中的两个测量方向

    Fig. 1.  Diagram of Bloch ball representation based on CHSH inequality. The left and right Bloch sphere represents the two sub-system A and B, respectively. The relationship between them is described by a correlation matrix K. ${\boldsymbol{j}}$ and ${\boldsymbol{q}}$ represents the two measurement directions in system A, ${\boldsymbol{p}}$ and ${\boldsymbol{t}}$ represents the two measurement directions in system B.

    图 2  将关联矩阵K作用于B系统后的Bloch球表示图. 其中A系统的Bloch球保持不变, B系统的Bloch球受关联矩阵K的影响而发生改变. 两系统间的关联由单位矩阵I来描述

    Fig. 2.  The Bloch sphere representation diagram by applying the correlation matrix K to system B. The Bloch sphere of system A keep constant. The Bloch sphere of system B is changed. The correlation between two systems is described by the unit matrix I.

    图 3  B系统Bloch球退变为一椭圆平面时的表示图 (a)向量 ${{\boldsymbol{p}}_K}$在椭圆上的交点为${B_1}$, 向量${{\boldsymbol{t}}_K}$在椭圆上的交点是${B_2}$, 红色虚线表示向量${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$, 橙色点划线表示向量${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$; (b) 向量${{\boldsymbol{p}}_K}$在椭圆上的交点是${C_2}$, 向量${{\boldsymbol{t}}_K}$在椭圆上的交点是${C_3}$, 橙色点划线表示最大期望值${S_{\max }}$

    Fig. 3.  Diagram of elliptic plane when the Bloch sphere of system B is changed: (a) The intersection of vector ${{\boldsymbol{p}}_K}$ on the ellipse is ${B_1}$, the intersection of vector ${{\boldsymbol{t}}_K}$ on the ellipse is ${B_2}$. The red dashed line indicates vector ${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$, and the orange dotted line indicates vector ${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$. (b) The intersection of vector ${{\boldsymbol{p}}_K}$ on the ellipse is ${C_2}$ , and the intersection of vector ${{\boldsymbol{t}}_K}$ on the ellipse is ${C_3}$. The orange dotted line indicates the maximum expectation value of ${S_{\max }}$.

    图 4  在不同保真度f下, ${S_{\max }}$r的变化关系图

    Fig. 4.  Plot of ${S_{\max }}$ vs. r under different values of fidelity f.

    图 5  在不同r下, ${S_{\max }}$随保真度f的变化关系图

    Fig. 5.  Plot of ${S_{\max }}$ vs. fidelity f under different values of r.

    图 6  ${f_{\min }}$r的变化关系图

    Fig. 6.  Plot of ${f_{\min }}$vs. r.

    图 7  ${S_{\max }}$随保真度fr的变化关系图

    Fig. 7.  Plot of ${S_{\max }}$ vs. fidelity f and r.

  • [1]

    Einstein A, Podolsky B, Rosen N 1935 Phys. Rev. 47 777Google Scholar

    [2]

    Chen Y A, Zhang Q, Chen T Y, et al. 2021 Nature 589 214Google Scholar

    [3]

    Zhang X, Li H O, Cao G, Xiao M, Guo G C, Guo G P 2019 Nat. Sci. Rev. 6 32Google Scholar

    [4]

    Horodecki R 2021 arXiv: 2103.07712 v2 [quant-ph]

    [5]

    Bell J S 1964 Physics 1 195Google Scholar

    [6]

    Clauser J F, Horne M A, Shimony A, Holt R A 1969 Phys. Rev. Lett. 23 880Google Scholar

    [7]

    Freedman S J, Clauser J F 1972 Phys. Rev. Lett. 28 938Google Scholar

    [8]

    Aspect A, Dalibard J, Roger G 1982 Phys. Rev. Lett. 49 1804Google Scholar

    [9]

    Collins D, Gisin N, Linden N, Massar S, Popescu S 2002 Phys. Rev. Lett. 88 040404Google Scholar

    [10]

    Collins D, Gisin N 2004 J. Math. Phys. 37 1775Google Scholar

    [11]

    Mermin N D 1990 Phys. Rev. Lett. 65 1838Google Scholar

    [12]

    Ardehali M 1992 Phys. Rev. A 46 5375Google Scholar

    [13]

    Belinskiĭ A, Klyshko D N 1993 Phys. Usp. 36 653Google Scholar

    [14]

    Greenberger D M, Horne M A, Shimony A, Zeilinger A 1990 Am. J. Phys. 58 1131Google Scholar

    [15]

    Hardy L 1993 Phys. Rev. Lett. 71 1665Google Scholar

    [16]

    Kim J H, Chae J W, Jeong Y C, Kim Y H 2022 J. Korean Phys. Soc. 80 203Google Scholar

    [17]

    Singh J, Ghosh S, Arvind, Goyal S K 2021 Phys. Lett. A 392 127158Google Scholar

    [18]

    Koga J I, Kimura G, Maeda K 2018 Phys. Rev. A 97 062338Google Scholar

    [19]

    Seiler J, Strohm T, Schleich W P 2021 Phys. Rev. A 104 032218Google Scholar

    [20]

    Werner R F 1989 Phys. Rev. A 40 4277Google Scholar

    [21]

    Zhang Y S, Huang Y F, Li C F, Guo G C 2002 Phys. Rev. A 66 062315Google Scholar

    [22]

    Yu T, Eberly J 2007 Quantum Inf. Comput. 7 459

    [23]

    Shi J D, Wu T, Song X K, Ye L 2014 Quantum Inf. Process. 13 1045Google Scholar

    [24]

    Namitha C, Satyanarayana S 2018 J. Phys. B:At. Mol. Opt. 51 045506Google Scholar

    [25]

    Mishra S, Thapliyal K, Pathak A, Venugopalan A 2022 Quantum Inf. Process. 21 1Google Scholar

    [26]

    Guo Y N, Peng H P, Zeng K, Wang G Y 2020 Quantum Inf. Process. 19 1Google Scholar

    [27]

    刘晋, 缪波, 胡强, 樊代和 2020 量子光学学报 26 6Google Scholar

    Liu J, Miu B, Hu Q, Fan D H 2020 J. Quantum Opt. 26 6Google Scholar

    [28]

    石名俊, 杜江峰, 朱栋培, 阮图南 2000 物理学报 49 1912Google Scholar

    Shi M J, Du J F, Zhu D P, Ruan T N 2000 Acta Phys. Sin. 49 1912Google Scholar

    [29]

    Connes A, Zagier D 2007 Am. Math. Mon. 114 909Google Scholar

  • [1] 曾柏云, 辜鹏宇, 蒋世民, 贾欣燕, 樊代和. Markov环境下“X”态基于CHSH不等式的量子非局域关联检验. 物理学报, 2023, 72(5): 050301. doi: 10.7498/aps.72.20222218
    [2] 胡强, 曾柏云, 辜鹏宇, 贾欣燕, 樊代和. 退相干条件下两比特纠缠态的量子非局域关联检验. 物理学报, 2022, 71(7): 070301. doi: 10.7498/aps.71.20211453
    [3] 刘晋, 缪波, 贾欣燕, 樊代和. 基于Hardy-type佯谬的混合态高概率量子非局域关联检验. 物理学报, 2019, 68(23): 230302. doi: 10.7498/aps.68.20191125
    [4] 叶世强, 陈小余. 基于量子相干性的四体贝尔不等式构建. 物理学报, 2017, 66(20): 200301. doi: 10.7498/aps.66.200301
    [5] 郑伟真, 赵斌, 胡广月, 郑坚. 稀疏膨胀过程中几何位形对于电子非局域热传导的影响. 物理学报, 2015, 64(19): 195201. doi: 10.7498/aps.64.195201
    [6] 王斌, 薛建议, 贺好艳, 朱德兰. 基于线性矩阵不等式的一类新羽翼倍增混沌分析与控制. 物理学报, 2014, 63(21): 210502. doi: 10.7498/aps.63.210502
    [7] 赵加强, 曹连振, 逯怀新, 王晓芹. 三比特类GHZ态的Bell型不等式和非定域性. 物理学报, 2013, 62(12): 120301. doi: 10.7498/aps.62.120301
    [8] 饶黄云, 刘义保, 江燕燕, 郭立平, 王资生. 三能级混合态的量子几何相位. 物理学报, 2012, 61(2): 020302. doi: 10.7498/aps.61.020302
    [9] 赵加强, 曹连振, 王晓芹, 逯怀新. 三光子GHZ态中不同Bell型不等式的实验研究. 物理学报, 2012, 61(17): 170301. doi: 10.7498/aps.61.170301
    [10] 李尊懋, 熊庄, 代丽丽. 几何活性原子态的计算. 物理学报, 2010, 59(11): 7824-7829. doi: 10.7498/aps.59.7824
    [11] 赵加强, 逯怀新. 原子偶极压缩的相干控制和Cauchy-Schwarz不等式的破坏. 物理学报, 2010, 59(11): 7875-7879. doi: 10.7498/aps.59.7875
    [12] 周本元, 黄晖, 李高翔. 三模高斯态光场非局域性的增强. 物理学报, 2009, 58(3): 1679-1684. doi: 10.7498/aps.58.1679
    [13] 陈立冰, 谭鹏, 董少光, 路洪. 利用二粒子部分纠缠态实现开靶目标的非局域量子可控非(CNOT)门的受控操作. 物理学报, 2009, 58(10): 6772-6778. doi: 10.7498/aps.58.6772
    [14] 黄伟其, 王晓允, 张荣涛, 于示强, 秦朝建. 多孔硅量子点中的电子局域态. 物理学报, 2009, 58(7): 4652-4658. doi: 10.7498/aps.58.4652
    [15] 张善卿. 一些直接代数方法的几何解释及应用. 物理学报, 2008, 57(3): 1335-1338. doi: 10.7498/aps.57.1335
    [16] 夏云杰, 王光辉, 杜少将. 双模最小关联混合态作为量子信道实现量子隐形传态的保真度. 物理学报, 2007, 56(8): 4331-4336. doi: 10.7498/aps.56.4331
    [17] 郭德军, 单传家, 夏云杰. 内禀退相干下Tavis-Cummings模型中原子的纠缠演化与贝尔不等式破坏. 物理学报, 2007, 56(4): 2139-2147. doi: 10.7498/aps.56.2139
    [18] 石名俊, 杜江峰, 朱栋培, 阮图南. 混合纠缠态的几何描述. 物理学报, 2000, 49(10): 1912-1918. doi: 10.7498/aps.49.1912
    [19] 高 涛, 王红艳, 易有根, 谭明亮, 朱正和, 孙 颖, 汪小琳, 傅依备. PuO分子X5Σ-态的势能函数及热力学函数的量子力学计算. 物理学报, 1999, 48(12): 2222-2227. doi: 10.7498/aps.48.2222
    [20] 蔡树芝, 牟季美, 张立德, 程本培. 纳米非晶氮化硅键态结构的X射线径向分布函数研究. 物理学报, 1992, 41(10): 1620-1626. doi: 10.7498/aps.41.1620
计量
  • 文章访问数:  1293
  • PDF下载量:  31
  • 被引次数: 0
出版历程
  • 收稿日期:  2022-03-13
  • 修回日期:  2022-04-12
  • 上网日期:  2022-08-25
  • 刊出日期:  2022-09-05

基于CHSH不等式几何解释的“X”态量子非局域关联检验

  • 西南交通大学物理科学与技术学院, 成都 610031
  • 通信作者: 樊代和, dhfan@swjtu.edu.cn
    基金项目: 计算物理国防科技重点实验室项目(批准号: 6142A05180401)和国家自然科学基金 (批准号: 12147208)资助的课题.

摘要: 量子非局域关联现象是量子理论区别于经典理论的重要特征之一. “X”态作为一种典型的量子混合态, 基于其进行的量子非局域关联的检验研究, 不论对验证量子理论的正确性, 还是在量子信息论的应用领域研究, 都具有重要的意义. 本文在基于传统Clauser-Horne-Shimony-Holt (CHSH)不等式进行量子非局域关联检验的基础上, 提出了一种基于“X”态几何解释的量子非局域关联检验策略. 利用“X”态的几何解释策略, 可使物理图像更为直观地研究检验时最优化测量基选取, 以及可获得的最大CHSH不等式检验值等. 最后给出了基于CHSH不等式几何解释策略, “X”态成功进行量子非局域关联检验的参数范围.

English Abstract

    • 量子非局域关联现象最早于1935年由Einstein等[1]引入(即所谓的EPR佯谬现象的提出), 其揭示了量子理论和经典局域实在论之间的尖锐矛盾. 随着量子非局域关联现象在量子信息学中的深入研究和应用, 诸如量子通信[2]和量子计算[3]等方案应运而生. 可以说, 量子非局域关联性是量子理论最基本的特性, 也是量子信息学发展的关键[4].

      为了检验量子非局域关联的存在, 1964年, Bell[5]提出了著名的Bell不等式. 在Bell不等式的基础之上, 1969年, Clauser等[6]发展出了一种更适于实验验证的不等式, 即CHSH不等式. CHSH不等式的经典上限为${S_{{\text{c}} \text- \max }} = 2$, 而对于量子理论, 其上限可达到${S_{{\text{q}} \text- \max }} = 2\sqrt 2$. 因此, 通过检验CHSH不等式的上限值, 即可检验量子非局域关联的存在. 在CHSH不等式提出之后, 相关量子非局域关联的实验检验也相继展开. 如1972年, Freedman和Clauser[7]报道了对CHSH不等式6倍标准差违背的实验验证. Aspect等[8]在1982年利用时变分析仪检验了CHSH不等式, 结果与量子力学预测一致. 尽管在CHSH不等式提出之后, CGLMP不等式[9]${I_{nn22}}$不等式[10]、MABK不等式[11-13]等量子非局域关联检验方案被相继提出, 并且一些无不等式的方法, 如GHZ定理[14]和Hardy定理[15]也相继问世, 但CHSH不等式仍然是用来证明量子非局域关联存在的强有力工具. 在如今量子信息学的各个领域, 如量子通信、量子密钥分发和量子隐态传输等也不乏利用CHSH不等式检验量子非局域性的身影[16-18].

      然而, 无论是基于不等式的方法还是基于无不等式的方法, 它们在进行量子非局域关联检验时, 均存在物理图像不直观的问题. 这种不直观性体现在, 人们难以寻找最佳的测量基, 并且进一步加大了量子非局域检验的计算量. 针对这一问题, 2021年, Seiler等[19]提出了一种基于CHSH不等式的非最大纠缠态的几何解释方案. 该方案使用两个Bloch球和一个关联矩阵的组合, 通过直观的图像分析, 可以较为方便地找出最优的测量基策略, 最终使利用CHSH不等式的检验过程的物理图像更加直观. 并且, 这种图像解释不仅适用于纠缠纯态, 还适用于纠缠混合态.

      众所周知, 由于实验过程中存在各种噪声, 以及环境退相干效应对量子态制备的影响, 使得实验制备的量子态通常为一混合态, 所以基于混合态的量子非局域关联检验就变得尤为重要. 1989年, Werner[20]构造了一种典型的混合态(即Werner态). 2002年, Zhang等[21]利用光子的自发参量下转换和受控退相干成功制备了Werner态, 这为实验检验基于混合态的量子非局域关联提供了可能. 实际上, 在量子理论中, 还存在一种典型的混合态, 由于该混合态密度矩阵的对角线和反对角线中非零元组成了一个“X”的形状, 且在常见的噪声影响下, 其演化过程仍能使密度矩阵保持为“X”型[22], 因此也被称为“X”态.

      事实上, 这种“X”态并不罕见, 它可以在各种物理环境中产生. 目前, “X”态在量子信息领域中被越来越多地利用. 如 Shi等[23]利用“X”态研究了量子比特与局域退相干信道相互作用时多体纠缠的动力学演化. Namitha和Satyanarayana[24]构造了单光子相干态和双光子相干态这两类“X”态, 并将它们作为初始态来研究马尔可夫近似下的纠缠动力学等. 2022年, Mishra等[25]研究了“X”态在马尔可夫和非马尔可夫信道中的相干性. Guo等[26]研究了任意两比特“X”态的局域量子不确定性和几何结构的突变性等.

      但是, 到目前为止, 一种能够较为直观或基于图形化的、基于“X”态的量子非局域关联检验方案还未见报道. 尽管我们课题组在2020年利用Hardy定理对“X”态进行了量子非局域关联检验研究, 给出了任意“X”态能够进行量子非局域关联检验的条件和范围[27], 但是, 该检验方案依然存在检验中物理图像不直观的问题.

      基于上述原因, 在文献[19]的启发下, 本文从CHSH不等式的Bloch球描述出发, 首先给出基于几何解释的策略, 然后利用上述方法对 “X”态进行了基于图形化的量子非局域关联检验研究. 并对得到的图像进行详细分析, 给出最优化检验策略. 最终给出了“X”态在不同纠缠度和不同保真度下, 成功进行量子非局域关联的条件和范围.

    • 考虑一 “X”态作为研究对象, 其密度矩阵可以写为[22]

      $ \begin{gathered} {\boldsymbol{\rho}} = \dfrac{{1 - f}}{3}{{\boldsymbol{I}}_4} + \dfrac{{4f - 1}}{3}\left| \psi \right\rangle \left\langle \psi \right|= \left( {\begin{array}{*{20}{c}} {\dfrac{{4f - 1}}{3} \times \dfrac{1}{{1 + {r^2}}} + \dfrac{{1 - f}}{3}}&0&0&{ - \dfrac{{4f - 1}}{3} \times \dfrac{r}{{1 + {r^2}}}} \\ 0&{\dfrac{{1 - f}}{3}}&0&0 \\ 0&0&{\dfrac{{1 - f}}{3}}&0 \\ { - \dfrac{{4f - 1}}{3} \times \dfrac{r}{{1 + {r^2}}}}&0&0&{\dfrac{{4f - 1}}{3} \times \dfrac{{{r^2}}}{{1 + {r^2}}} + \dfrac{{1 - f}}{3}} \end{array}} \right) \\ \end{gathered} , $

      其中$\left| \psi \right\rangle = \dfrac{1}{{\sqrt {1 + {r^2}} }}(r{\left| H \right\rangle _{\text{A}}}{\left| H \right\rangle _{\text{B}}} - {\left| V \right\rangle _{\text{A}}}{\left| V \right\rangle _{\text{B}}})$表示一偏振纠缠纯态, $\left| H \right\rangle $$\left| V \right\rangle $分别表示水平偏振态和垂直偏振态, A和B分别表示两个子系统. $r(0 \leqslant r \leqslant 1)$值的大小决定$\left| \psi \right\rangle $的纠缠度, 当$r = 0$时, (1)式表示一个直积态; 而当$r = 1$时, (1)式则表示一个最大纠缠态. ${{\boldsymbol{I}}_4}$是一个$4 \times 4$单位矩阵. f ($1/4 \leqslant f \leqslant 1$)为保真度, 它表示“X”态与偏振纠缠纯态的相似程度, 当$f = 1/4$时, “X”态中将只存在噪声; 而当$f = 1$时, 该“X”态约化为偏振纠缠纯态.

      对(1)式所示的“X”态进行量子非局域关联检验时, 关于CHSH几何解释的最优化测量基问题, 可归为研究一个椭球与一个截面相交的椭圆内接平行四边形的周长问题. 如对“X”态的两个子系统, 可分别进行两种测量: 在A(B)系统中, 可用${\boldsymbol{Q}} = {\boldsymbol{q}} \cdot {{\boldsymbol{\sigma}} _{\text{A}}}$(${\boldsymbol{P}} = {\boldsymbol{p}} \cdot {{\boldsymbol{\sigma}} _{\text{B}}}$), ${\boldsymbol{J}} = {\boldsymbol{j }}\cdot {{\boldsymbol{\sigma}} _{\text{A}}}$(${\boldsymbol{T}} = {\boldsymbol{t}} \cdot {{\boldsymbol{\sigma}} _{\text{B}}}$)两个算符来表示相应的测量. 其中, ${\boldsymbol{q}}$(${\boldsymbol{p}}$)和${\boldsymbol{j}}$(${\boldsymbol{t}}$)分别表示A(B)系统中的两个测量向量, 表示A(B)系统中两个测量基的选取方向. ${{\boldsymbol{\sigma}} _{\text{A}}}$(${{\boldsymbol{\sigma}} _{\text{B}}}$)表示泡利算符, 可以是${{\boldsymbol{\sigma}} _x}$, ${{\boldsymbol{\sigma}} _y}$, ${{\boldsymbol{\sigma}} _z}$中的任意一个.

      根据CHSH不等式[6], 可以将(2)式所示的S期望值的大小与经典理论上限${S_{{\text{c}} \text- \max }} = 2$做比较, 当$S \gt {S_{{\text{c}} \text- \max }}$时, 即可说明“X”态能够被成功用于基于CHSH不等式的量子非局域关联检验.

      $ S = \left\langle {{\boldsymbol{Q}} \otimes {\boldsymbol{P}}} \right\rangle - \left\langle {{\boldsymbol{Q}} \otimes {\boldsymbol{T}}} \right\rangle + \left\langle {{\boldsymbol{J}} \otimes {\boldsymbol{P}}} \right\rangle + \left\langle {{\boldsymbol{J}} \otimes {\boldsymbol{T}}} \right\rangle . $

      将上述对A, B系统的测量算符分别代入到(2)式, 通过计算可进一步得到CHSH不等式中的S表达式为

      $ S = {\boldsymbol{q}} \cdot {\boldsymbol{K}} \cdot ({\boldsymbol{p}} - {\boldsymbol{t}}) + {\boldsymbol{j}} \cdot {\boldsymbol{K}} \cdot ({\boldsymbol{p}} + {\boldsymbol{t}}) , $

      其中, ${\boldsymbol{K}} = ({k_{mn}})$为一$3 \times 3$矩阵, 表示了A和B两个子系统之间的关联矩阵 [28], 其矩阵元可写为${k_{mn}} = \left\langle \psi \right.\left| {{{\boldsymbol{\sigma}} _m} \otimes {{\boldsymbol{\sigma}} _n}} \right|\left. \psi \right\rangle = {\text{tr}}({\boldsymbol{\rho}} \cdot {{\boldsymbol{\sigma}} _m} \otimes {{\boldsymbol{\sigma}} _n})$, ($m, n = x, y, z$).

      实际上, 上述理论分析可用图1所示的两个Bloch球来进行几何分析. 即可用A, B系统的两个Bloch球中, 选取4个测量方向(即${\boldsymbol{j}}$, ${\boldsymbol{q}}$, ${\boldsymbol{p}}$${\boldsymbol{t}}$)和它们的关联矩阵${\boldsymbol{K}}$来描述(3)式所示的期望值S.

      图  1  基于CHSH不等式的Bloch球表示图. 左右两个Bloch球分别代表A和B两个系统, 它们之间的关系由一个关联矩阵K进行描述. ${\boldsymbol{j}}$${\boldsymbol{q}}$表示A系统中的两个测量方向, ${\boldsymbol{p}}$${\boldsymbol{t}}$表示B系统中的两个测量方向

      Figure 1.  Diagram of Bloch ball representation based on CHSH inequality. The left and right Bloch sphere represents the two sub-system A and B, respectively. The relationship between them is described by a correlation matrix K. ${\boldsymbol{j}}$ and ${\boldsymbol{q}}$ represents the two measurement directions in system A, ${\boldsymbol{p}}$ and ${\boldsymbol{t}}$ represents the two measurement directions in system B.

      根据泡利算符的具体表达式, 并将(1)式代入$ {k_{mn}} $的表达式中, 即可计算得到“X”态A, B两个子系统之间的关联矩阵${\boldsymbol{K}}$的矩阵元素为

      $ \begin{split} &\;{\boldsymbol{K}}= \\ &\left( {\begin{array}{*{20}{c}} {{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _x} \otimes {{\boldsymbol{\sigma}} _x})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _x} \otimes {{\boldsymbol{\sigma}} _y})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot} {{\boldsymbol{\sigma}} _x} \otimes {{\boldsymbol{\sigma}} _z})} \\ {{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _y} \otimes {{\boldsymbol{\sigma}} _x})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _y} \otimes {{\boldsymbol{\sigma}} _y})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot} {{\boldsymbol{\sigma}} _y} \otimes {{\boldsymbol{\sigma}} _z})} \\ {{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _z} \otimes {{\boldsymbol{\sigma}} _x})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot}{{\boldsymbol{\sigma}} _z} \otimes {{\boldsymbol{\sigma}} _y})}&{{\text{tr}}({\boldsymbol{\rho}} {\cdot} {{\boldsymbol{\sigma}} _z} \otimes {{\boldsymbol{\sigma}} _z})} \end{array}} \right) \\ & = \left( {\begin{array}{*{20}{c}} { - \dfrac{{2(4f - 1)r}}{{3(1 + {r^2})}}}&0&0 \\ 0&{\dfrac{{2(4f - 1)r}}{{3(1 + {r^2})}}}&0 \\ 0&0&{\dfrac{{4f - 1}}{3}} \end{array}} \right). \\[-42pt] \end{split} $

      可以看出, 当将关联矩阵${\boldsymbol{K}}$作用于B系统的Bloch球后, 将等效于如图2所示Bloch球, A系统保持不变, 而B系统从球形变成一椭球形, 该椭球球面在x轴、y轴和z轴上的值将由原来的${x_0} = {y_0} = {z_0} = 1$变为${x_1} = {y_1} = |2(4 f - 1)r/ [3(1 + {r^2})]|$, 以及$ {z_1} = |(4 f - 1)/3 | $. 同时, B系统的向量${\boldsymbol{p}}$${\boldsymbol{t}}$将变为新的向量${{\boldsymbol{p}}_K} = {\boldsymbol{K}} \cdot {\boldsymbol{p}}$${{\boldsymbol{t}}_K} = {\boldsymbol{K}} \cdot {\boldsymbol{t}}$. 由于$\left| {2 r/(1 + {r^2})} \right| \leqslant 1$(当且仅当$r = 1$时, 等号成立), 因此可以得到$|(4 f - 1)/3 | \geqslant |2(4 f - 1)r/[3(1 + {r^2})]|$. 该结果说明, 经过关联矩阵${\boldsymbol{K}}$作用后, B系统的Bloch球面在z轴的长度将大于x轴和y轴, 如图2所示.

      图  2  将关联矩阵K作用于B系统后的Bloch球表示图. 其中A系统的Bloch球保持不变, B系统的Bloch球受关联矩阵K的影响而发生改变. 两系统间的关联由单位矩阵I来描述

      Figure 2.  The Bloch sphere representation diagram by applying the correlation matrix K to system B. The Bloch sphere of system A keep constant. The Bloch sphere of system B is changed. The correlation between two systems is described by the unit matrix I.

      在考虑上述等效操作后, (3)式可以进一步写为

      $ S = {\boldsymbol{q}} \cdot ({{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}) + {\boldsymbol{j}} \cdot ({{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}) . $

      为了能够获得最大的$ S $值, 接下来用几何方法, 对(5)式的结果做进一步分析. 在实际的量子非局域关联检验过程中, 由于A, B两个子系统中的4个向量(即${\boldsymbol{j}}$${\boldsymbol{q}}$, ${\boldsymbol{p}}$${\boldsymbol{t}}$, 分别表示了选取的测量基)可任意选取, 因此可以通过选取最优化的向量方向来获取(5)式的最大值. 如考虑到向量${\boldsymbol{q}}$${\boldsymbol{j}}$分别是子系统A中的单位向量, 因此可以选取向量${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$(${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$)和向量${\boldsymbol{q}}$(${\boldsymbol{j}}$)的方向相同, 即可将(5)式中的向量点乘关系, 最大化地约化到仅与向量模大小运算相关的表达式:

      $ {S_{\max }}({{\boldsymbol{p}}_K},{{\boldsymbol{t}}_K}) = \left| {{{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}} \right| + \left| {{{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}} \right| . $

      为了能够进一步得到 (6)式的最大值, 可以将图2所示的Bloch球进一步简化到一个椭圆平面进行研究. 如图2中, 选取过B系统椭球的球心O, 且包含向量${{\boldsymbol{p}}_K}$${{\boldsymbol{t}}_K}$构成的平面, 与Bloch椭球相交, 得到一个新椭圆平面. 并以O为坐标原点, 建立新的二维坐标系$x'{{ \text- }}y'$, 如图3(a)所示. 其中$x'$轴处于椭圆短轴方向, $y'$轴处于椭圆的长轴方向.

      图  3  B系统Bloch球退变为一椭圆平面时的表示图 (a)向量 ${{\boldsymbol{p}}_K}$在椭圆上的交点为${B_1}$, 向量${{\boldsymbol{t}}_K}$在椭圆上的交点是${B_2}$, 红色虚线表示向量${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$, 橙色点划线表示向量${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$; (b) 向量${{\boldsymbol{p}}_K}$在椭圆上的交点是${C_2}$, 向量${{\boldsymbol{t}}_K}$在椭圆上的交点是${C_3}$, 橙色点划线表示最大期望值${S_{\max }}$

      Figure 3.  Diagram of elliptic plane when the Bloch sphere of system B is changed: (a) The intersection of vector ${{\boldsymbol{p}}_K}$ on the ellipse is ${B_1}$, the intersection of vector ${{\boldsymbol{t}}_K}$ on the ellipse is ${B_2}$. The red dashed line indicates vector ${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$, and the orange dotted line indicates vector ${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$. (b) The intersection of vector ${{\boldsymbol{p}}_K}$ on the ellipse is ${C_2}$ , and the intersection of vector ${{\boldsymbol{t}}_K}$ on the ellipse is ${C_3}$. The orange dotted line indicates the maximum expectation value of ${S_{\max }}$.

      此时, 在图3(a)中, 通过将向量${{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}$${{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}$分别平移到的$ {B_3}{B_4} $$ {B_2}{B_3} $位置, 即可在椭圆平面内构成一平行四边形$ {B_1}{B_2}{B_3}{B_4} $. 在这种情况下, ${B_1}{B_2}$的长度将等于向量$|{{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}|$, 且${B_1}{B_4}$的长度将等于$|{{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}|$. 而最大量子非局域关联检验结果的研究, 将变为如何通过选取最优化的向量${{\boldsymbol{p}}_K}$, ${{\boldsymbol{t}}_K}$, 使平行四边形$ {B_1}{B_2}{B_3}{B_4} $周长实现最大化的几何问题.

      结合上述分析得到的图2中B系统Bloch球x, y, z轴长度不同的特点, 再结合几何关系分析[29]可以得出, 当${{\boldsymbol{t}}_K}$选取为沿x轴方向, ${{\boldsymbol{p}}_K}$选取为沿z轴方向时, 平行四边形$ {B_1}{B_2}{B_3}{B_4} $将变为图3(b)所示的菱形${C_1}{C_2}{C_3}{C_4}$, 此时, 将获得$\left| {{{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}} \right| + \left| {{{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}} \right|$的最大值, 也即获得CHSH不等式$ S $的最大值.

      根据图3(b)的几何图形关系, 就可以非常方便地计算得到“X”态基于CHSH不等式的最大化量子非局域关联检验的结果为

      $ {S_{\max }} = 2\sqrt {x_1^2 + z_1^2} = \dfrac{{8f - 2}}{3}\sqrt {1 + {{\Big(\dfrac{{2r}}{{1 + {r^2}}}\Big)}^2}} . $

      此时, 只需判断${S_{\max }} \gt 2$是否成立, 即可说明 “X”态能否进行基于CHSH不等式的量子非局域关联检验研究. 同时, 进行量子非局域关联检验时的最优化测量基的选取方式也可以确定: 即选取B系统的两个测量方向${\boldsymbol{p}}$${\boldsymbol{t}}$分别沿着Bloch球的z轴方向和x轴方向, 且进一步选取A系统中的两个测量方向${\boldsymbol{q}}$${\boldsymbol{j}}$, 分别满足${\boldsymbol{q}} = \pm\, \dfrac{{{{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}}}{{\left| {{{\boldsymbol{p}}_K} - {{\boldsymbol{t}}_K}} \right|}}$${\boldsymbol{j}} = \pm\, \dfrac{{{{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}}}{{\left| {{{\boldsymbol{p}}_K} + {{\boldsymbol{t}}_K}} \right|}}$即可.

    • 利用几何分析方法得到的最大CHSH不等式检验结果(7)式(即选取最优化的测量基时), 选取3个特定的保真度值(即$f = 0.78$, $f = 0.90$以及$f = 1$), 可以得到如(1)式所示的“X”态, 进行量子非局域关联检验时, ${S_{\max }}$r的变化关系曲线如图4所示.

      图  4  在不同保真度f下, ${S_{\max }}$r的变化关系图

      Figure 4.  Plot of ${S_{\max }}$ vs. r under different values of fidelity f.

      图4可以看出, 当$f = 1$(图中红色圆点表示, 此时“X”态约化为一偏振纠缠纯态)且取最优化测量基的情况下, 只要$r \gt 0$, “X”态均可进行基于CHSH不等式的量子非局域关联检验(即${S_{\max }} \gt 2$). 且随着r值的增大, ${S_{\max }}$的值也非线性地增大. 特别地, 当$r = 1$时(最大纠缠态), 可获得${S_{\max }} = 2\sqrt 2 $. 该结果与Clauser等[6]的研究结果完全一致, 证明了本文得到的基于几何解释的正确性.

      $f = 0.78$(图4中黑色实心框表示)且取最优化测量基的情况下, 无论r为何值, 均将得到${S_{\max }} \leqslant 2$, 说明此时的“X”态不能进行基于CHSH不等式的量子非局域关联检验. 而当保真度的取值位于$0.78 \lt f \lt 1$时, 仅有部分“X”态可成功用于基于CHSH不等式的量子非局域关联检验研究.

      同理, 图5给出了在3个特定r值(即$r = 0$, $r = 0.50$以及$r = 1$)下, 且选取最优化测量基时, ${S_{\max }}$随保真度f的变化关系曲线.

      图  5  在不同r下, ${S_{\max }}$随保真度f的变化关系图

      Figure 5.  Plot of ${S_{\max }}$ vs. fidelity f under different values of r.

      图5可以看出, 不论r取何值, 随着保真度f的增大, ${S_{\max }}$均将线性地增大. 并且随着r值的增大, 可用于成功检验量子非局域关联检验(即${S_{\max }} \gt 2$)的f值的范围也将增大. 为了能够清晰地表示在不同r取值范围下, “X”态能够成功进行基于CHSH不等式的量子非局域关联检验的保真度范围, 给出了${f_{\min }}$r的变化关系曲线, 如图6所示.

      图  6  ${f_{\min }}$r的变化关系图

      Figure 6.  Plot of ${f_{\min }}$vs. r.

      图6可以看出, 随着r的增大, ${f_{\min }}$的值将非线性地减小, 这也意味着可用于进行量子非局域关联检验的“X”态的范围将非线性地增大. 特别地, 当(1)式所示的“X”态中$\left| \psi \right\rangle $为一最大偏振纠缠态时(即r = 1), 可用于进行量子非局域关联检验的“X”态的范围最大, 即只要保真度$f \gt 0.781$即可.

      为了更加全面地描述“X”态在不同保真度f以及r取值时的量子非局域关联检验情况, 图7给出了(1)式所示的“X”态进行量子非局域关联检验时的最大期望值${S_{\max }}$fr的变化关系. 从图7可以看出, ${S_{\max }}$的值随fr值的增大均呈现出连续变化的现象. 只有在满足一定条件时, “X”态才能够成功地(即${S_{\max }} \gt 2$)进行基于CHSH不等式的量子非局域关联检验研究. 进一步, 从图7可以看出, 不论r取何值, ${S_{\max }}$随保真度f值的变化, 基本呈现线性变化关系; 而不论保真度f取何值, ${S_{\max }}$r值的变化均呈现出非线性变化关系.

      图  7  ${S_{\max }}$随保真度fr的变化关系图

      Figure 7.  Plot of ${S_{\max }}$ vs. fidelity f and r.

    • 在传统基于CHSH不等式进行量子非局域关联检验研究的基础之上, 本文提出了一种以量子“X”态作为研究对象的几何解释策略. 从“X”态的Bloch球分析研究出发, 利用几何解释的方法, 分别给出了“X”态进行基于CHSH不等式的量子非局域关联检验研究时, 最优化测量基的选取策略, 以及可获得的最大CHSH不等式检验值. 这种几何解释的方法, 可进一步降低进行量子非局域关联检验时的理论计算量, 同时也可使量子非局域关联检验的物理图像更为直观.

      通过几何解释研究发现, 当“X”态的保真度$f{\text{ = }}1$时, 由于“X”态将直接约化到一偏振纠缠纯态, 对其进行的量子非局域关联检验结果与传统的基于CHSH不等式进行检验的结果完全一致(最大CHSH不等式值为${S_{\max }}{\text{ = }}2\sqrt 2 $), 证明了本文提出的几何解释方案的正确性. 而当$f \lt 1$时, 仅有部分“X”态(即r值存在一定范围)可成功用于量子非局域关联的检验研究. 同时, 研究还发现, 随着r值的增大, 可进一步扩大可成功进行量子非局域关联检验的保真度f值的范围. 特别地, 当$r = 1$时, 保真度f取值范围最大, 即只要满足$f \gt 0.781$, 该“X”态即可成功用于基于CHSH不等式的量子非局域关联检验研究.

      实际上, 本文的研究结果在基于“X”态进行的量子非局域关联实验检验方面也具有一定的指导价值. 如可通过密度矩阵的重构操作, 首先得出制备的“X”态的密度矩阵具体表达式, 并进一步分析得到该“X”态的保真度f以及r参数值. 而本文的研究结果, 已经较为清晰地给出了在特定fr值的情况下, 该“X”态能否成功进行量子非局域关联的实验检验研究. 如能够满足检验要求, 则可进一步选取本文基于几何解释得出的最优化测量基, 进行实际的实验检验.

      本文提出的几何解释方案, 实际上为量子态进行量子非局域关联检验的研究提供了一个物理图像较为直观的研究策略. 相信本文的研究将对后续开展基于其他方案的量子非局域关联检验研究提供参考.

参考文献 (29)

目录

    /

    返回文章
    返回