搜索

x

留言板

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

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

基于冗余图态的多人协作量子计算

田宇玲 冯田峰 周晓祺

引用本文:
Citation:

基于冗余图态的多人协作量子计算

田宇玲, 冯田峰, 周晓祺

Collaborative quantum computation with redundant graph state

Tian Yu-Ling, Feng Tian-Feng, Zhou Xiao-Qi
PDF
HTML
导出引用
  • 量子计算是一种基于量子力学基本原理设计的新型计算模型, 在某些特定问题上表现出了远超经典计算机的处理能力. 随着量子计算任务复杂度的提高, 如何分配量子计算资源, 实现多方协作的量子计算, 将成为量子计算领域待解决的一个重要问题. 本文在一次性量子计算的基础上, 提出了基于冗余图态的多人协作量子计算方案. 不同于传统图态中每个节点仅对应一个粒子, 冗余图态中每个节点都对应若干粒子. 参与量子计算的每一方都将分配到一组完整涵盖各节点的粒子, 各方将自行协商完成图态的分割以及后续的测量, 从而实现多人协作的量子计算. 在本方案中, 参与量子计算的各方可以根据自身任务的需要来确定量子计算的合作方式并进行资源分配, 使量子计算具备更高的灵活性与开放性. 此外, 本文还提出了一个两方协作制备任意单比特量子态的光学实验方案.
    Quantum computation is a computing model based on quantum theory, which can outperform the classical computation in solving certain problems. With the increase of the complexity of quantum computing tasks, it becomes important to distribute quantum computing resources to multi-parties to cooperatively fulfill the complex tasks. Here in this paper a scheme based on the one-way quantum computing model is proposed to realize collaborative quantum computation. The standard one-way quantum computing model is based on graph states. With graph states used as resources, one can realize a universal quantum computer through using single-qubit measurements and feed-forward. In contrast to the standard one-way computation, the main resource for collaborative quantum computation is a redundant graph state (also a multi-particle highly entangled state). Unlike in the traditional graph state where each particle corresponds to a specific node, in a redundant graph state, several particles correspond to a single node, which means that each node of the graph has several redundant copies. With the help of a redundant graph state, several parties can share a graph state flexibly at will. A redundant graph state is prepared and then distributed to several parties where each of them obtains a full copy of all nodes. By communicating with each other and measuring the particles in different ways, a standard graph state is prepared and distributed among these parties. The collaborative computation then finishes through the common one-way quantum computing operations. Besides the general scheme, a concrete optical implementation of a two-party cooperative single-qubit quantum state preparation based on a six-photon redundant graph state is also put forward. Such a redundant graph state is proposed to be prepared by using the spontaneous parametric down-conversion entangled source and quantum interference. With this redundant graph state, a standard three-node graph state can be shared with the two parties in an arbitrary way. This scheme does not only make the collaborative quantum computation across several parties possible and flexible, but also guarantee the privacy of each party’s operations. This feature would be particularly useful in the case where the computing resource is obtained from an outside provider. This scheme paves the way for realizing quantum computation in more general and complicated applications.
      通信作者: 周晓祺, zhouxq8@mail.sysu.edu.cn
    • 基金项目: 国家重点研发计划(批准号: 2017YFA0305200, 2016YFA0301700)和广东省自然科学基金(批准号: 2016A030312012)资助的课题.
      Corresponding author: Zhou Xiao-Qi, zhouxq8@mail.sysu.edu.cn
    • Funds: Project supported by the National Key Research and Development Program of China (Grant Nos. 2017YFA0305200, 2016YFA0301700) and the Natural Science Foundation of Guangdong Province, China (Grant No. 2016A030312012).
    [1]

    Feynman R P 1982 Int. J. Theor. Phys. 21 467Google Scholar

    [2]

    Benioff P 1980 J. Stat. Phys. 22 563Google Scholar

    [3]

    Deutsch D 1985 Proc. R. Soc. Lond. A 400 97Google Scholar

    [4]

    Shor P W 1994 Proceedings 35th Annual Symposium on Foundations of Computer Science Santa Fe, NM, USA, Nov. 20-22, 1994 p124

    [5]

    Grover L K 1997 Phys. Rev. Lett. 79 325Google Scholar

    [6]

    Aspuru-Guzik A, Dutoi A D, Love P J, Head-Gordon M 2005 Science 309 1704Google Scholar

    [7]

    Jordan S P, Lee K S M, Preskill J 2012 Science 336 1130Google Scholar

    [8]

    O’Malley P J J, Babbush R, Kivlichan I D, et al. 2016 Phys. Rev. X 6 031007

    [9]

    Cai X D, Weedbrook C, Su Z E, Chen M C, Gu M, Zhu M J, Li L, Liu N L, Lu C Y, Pan J W 2013 Phys. Rev. Lett. 110 230501Google Scholar

    [10]

    Li Z K, Liu X M, Xu N Y, Du J F 2015 Phys. Rev. Lett. 114 140504Google Scholar

    [11]

    Wang H, He Y, Li Y H, Su Z E, Li B, Huang H L, Ding X, Chen M C, Liu C, Qin J, Li J P, He Y M, Schneider C, Kamp M, Peng C Z, Höfling S, Lu C Y, Pan J W 2017 Nat. Photon. 11 361Google Scholar

    [12]

    Qiang X G, Zhou X Q, Wang J W, Wilkes C M, Loke T, O’Gara S, Kling L, Marshall G D, Santagati R, Ralph T C, Wang J B, O’Brien J L, Thompson M G, Matthews J C F 2018 Nat. Photon. 12 534Google Scholar

    [13]

    Deutsch D E 1989 Proc. R. Soc. Lond. A 425 73Google Scholar

    [14]

    Raussendorf R, Briegel H J 2001 Phys. Rev. Lett. 86 5188Google Scholar

    [15]

    Walther P, Resch K J, Rudolph T, Schenck E, Weinfurter H, Vedral V, Aspelmeyer M, Zeilinger A 2005 Nature 434 169Google Scholar

    [16]

    Chen X, Gu Z C, Wen X G 2010 Phys. Rev. B 82 155138Google Scholar

    [17]

    Luo Z H, Li J, Li Z K, Hung L Y, Wan Y D, Peng X H, Du J F 2018 Nat. Phys. 14 160Google Scholar

    [18]

    Farhi E, Goldstone J, Gutmann S, Sipser M 2000 arXiv: 0001106v1 [quant-ph]

    [19]

    Long G L 2006 Commun. Math. Phys. 45 825

    [20]

    Ladd T D, Jelezko F, Laflamme R, Nakamura Y, Monroe C, O’Brien J L 2010 Nature 464 45Google Scholar

    [21]

    周晓祺 2008 博士学位论文 (合肥: 中国科学技术大学)

    Zhou X Q 2008 Ph. D. Dissertation (Hefei: University of Science and Technology of China) (in Chinese)

    [22]

    Briegel H J, Raussendorf R 2001 Phys. Rev. Lett. 86 910Google Scholar

    [23]

    Raussendorf R, Browne D E, Briegel H J 2003 Phys. Rev. A 68 022312Google Scholar

    [24]

    Bouchet A 1993 Discrete Math. 114 75Google Scholar

    [25]

    Fujii K 2015 arXiv: 1504.01444v1 [quant-ph]

    [26]

    Varnava M, Browne D E, Rudolph T 2006 Phys. Rev. Lett. 97 120501Google Scholar

    [27]

    Zhao Z, Chen Y A, Zhang A N, Yang T, Briegel H J, Pan J W 2004 Nature 430 54Google Scholar

  • 图 1  对图态进行局域泡利测量并进行相应的幺正变换后得到新图态 (a)对图态中的任何一个粒子进行σz测量; (b)对图态上相邻的两个粒子分别进行σx测量; (c)对粒子5a, 5b进行σx测量, 对n个粒子5c中的任意一个粒子5ci进行M测量, 其余的n – 1个粒子进行σz测量; (d)对粒子5做一个单比特测量M

    Fig. 1.  Graph states after local measurements and the corresponding unitary operations: (a) σz measurement on any particle in the graph state; (b) two neighboring σx measurements on the graph state; (c) σx measurements on 5a, 5b, measurement M on 5ci and σz measurements on 5ck(ki); (d) measurement M on single-qubit 5.

    图 2  基于冗余图态的多人协作量子计算 (a) 用于两人协作量子计算的图态; (b) “工”字形冗余图态; (c) 对(b)图所示图态中的b1, b2, b3, a4, a5, a6进行σz测量后剩下的图态; (d) 对(b)图所示图态中的a1, a2, a3, b4, b5, b6进行σz测量后剩下的图态; (e)用于多人协作量子计算的图态

    Fig. 2.  Collaborative computation based on redundant graph state: (a) A graph state for bipartite collaborative quantum computation; (b) an I-shape redundant graph state; (c) the graph state after σz measurements on b1, b2, b3, a4, a5, a6 in graph state depicted in (b); (d) the graph state after σz measurements on a1, a2, a3, b4, b5, b6 in graph state depicted in (b); (e) a graph state for collaborative quantum computation.

    图 3  冗余图态 (a)任意的冗余图态; (b)与图(a)相对应的传统图态; (c)六粒子冗余图态

    Fig. 3.  Redundant graph state: (a) An arbitrary redundant graph state; (b) the traditional graph state corresponding to (a); (c) six-partite redundant graph state.

    图 4  两用户协作制备任意单比特量子态的光学实验装置

    Fig. 4.  Physical realization of preparing arbitrary quantum state cooperated by two participants in optics.

  • [1]

    Feynman R P 1982 Int. J. Theor. Phys. 21 467Google Scholar

    [2]

    Benioff P 1980 J. Stat. Phys. 22 563Google Scholar

    [3]

    Deutsch D 1985 Proc. R. Soc. Lond. A 400 97Google Scholar

    [4]

    Shor P W 1994 Proceedings 35th Annual Symposium on Foundations of Computer Science Santa Fe, NM, USA, Nov. 20-22, 1994 p124

    [5]

    Grover L K 1997 Phys. Rev. Lett. 79 325Google Scholar

    [6]

    Aspuru-Guzik A, Dutoi A D, Love P J, Head-Gordon M 2005 Science 309 1704Google Scholar

    [7]

    Jordan S P, Lee K S M, Preskill J 2012 Science 336 1130Google Scholar

    [8]

    O’Malley P J J, Babbush R, Kivlichan I D, et al. 2016 Phys. Rev. X 6 031007

    [9]

    Cai X D, Weedbrook C, Su Z E, Chen M C, Gu M, Zhu M J, Li L, Liu N L, Lu C Y, Pan J W 2013 Phys. Rev. Lett. 110 230501Google Scholar

    [10]

    Li Z K, Liu X M, Xu N Y, Du J F 2015 Phys. Rev. Lett. 114 140504Google Scholar

    [11]

    Wang H, He Y, Li Y H, Su Z E, Li B, Huang H L, Ding X, Chen M C, Liu C, Qin J, Li J P, He Y M, Schneider C, Kamp M, Peng C Z, Höfling S, Lu C Y, Pan J W 2017 Nat. Photon. 11 361Google Scholar

    [12]

    Qiang X G, Zhou X Q, Wang J W, Wilkes C M, Loke T, O’Gara S, Kling L, Marshall G D, Santagati R, Ralph T C, Wang J B, O’Brien J L, Thompson M G, Matthews J C F 2018 Nat. Photon. 12 534Google Scholar

    [13]

    Deutsch D E 1989 Proc. R. Soc. Lond. A 425 73Google Scholar

    [14]

    Raussendorf R, Briegel H J 2001 Phys. Rev. Lett. 86 5188Google Scholar

    [15]

    Walther P, Resch K J, Rudolph T, Schenck E, Weinfurter H, Vedral V, Aspelmeyer M, Zeilinger A 2005 Nature 434 169Google Scholar

    [16]

    Chen X, Gu Z C, Wen X G 2010 Phys. Rev. B 82 155138Google Scholar

    [17]

    Luo Z H, Li J, Li Z K, Hung L Y, Wan Y D, Peng X H, Du J F 2018 Nat. Phys. 14 160Google Scholar

    [18]

    Farhi E, Goldstone J, Gutmann S, Sipser M 2000 arXiv: 0001106v1 [quant-ph]

    [19]

    Long G L 2006 Commun. Math. Phys. 45 825

    [20]

    Ladd T D, Jelezko F, Laflamme R, Nakamura Y, Monroe C, O’Brien J L 2010 Nature 464 45Google Scholar

    [21]

    周晓祺 2008 博士学位论文 (合肥: 中国科学技术大学)

    Zhou X Q 2008 Ph. D. Dissertation (Hefei: University of Science and Technology of China) (in Chinese)

    [22]

    Briegel H J, Raussendorf R 2001 Phys. Rev. Lett. 86 910Google Scholar

    [23]

    Raussendorf R, Browne D E, Briegel H J 2003 Phys. Rev. A 68 022312Google Scholar

    [24]

    Bouchet A 1993 Discrete Math. 114 75Google Scholar

    [25]

    Fujii K 2015 arXiv: 1504.01444v1 [quant-ph]

    [26]

    Varnava M, Browne D E, Rudolph T 2006 Phys. Rev. Lett. 97 120501Google Scholar

    [27]

    Zhao Z, Chen Y A, Zhang A N, Yang T, Briegel H J, Pan J W 2004 Nature 430 54Google Scholar

  • [1] 姜达, 余东洋, 郑沾, 曹晓超, 林强, 刘伍明. 面向量子计算的拓扑超导体材料、物理和器件研究. 物理学报, 2022, 0(0): 0-0. doi: 10.7498/aps.71.20220596
    [2] 王晨旭, 贺冉, 李睿睿, 陈炎, 房鼎, 崔金明, 黄运锋, 李传锋, 郭光灿. 量子计算与量子模拟中离子阱结构研究进展. 物理学报, 2022, 0(0): 0-0. doi: 10.7498/aps.71.20220224
    [3] 王美红, 郝树宏, 秦忠忠, 苏晓龙. 连续变量量子计算和量子纠错研究进展. 物理学报, 2022, 0(0): 0-0. doi: 10.7498/aps.71.20220635
    [4] 周宗权. 量子存储式量子计算机与无噪声光子回波. 物理学报, 2022, 71(7): 070305. doi: 10.7498/aps.71.20212245
    [5] 王芙蓉, 杨帆, 张亚, 李世中, 王鹤峰. 基于奇异值分解的矩阵低秩近似量子算法. 物理学报, 2021, 70(15): 150201. doi: 10.7498/aps.70.20210411
    [6] 张结印, 高飞, 张建军. 硅和锗量子计算材料研究进展. 物理学报, 2021, 70(21): 217802. doi: 10.7498/aps.70.20211492
    [7] 张诗豪, 张向东, 李绿周. 基于测量的量子计算研究进展. 物理学报, 2021, 70(21): 210301. doi: 10.7498/aps.70.20210923
    [8] 丁晨, 李坦, 张硕, 郭楚, 黄合良, 鲍皖苏. 基于辅助单比特测量的量子态读取算法. 物理学报, 2021, 70(21): 210303. doi: 10.7498/aps.70.20211066
    [9] 林键, 叶梦, 朱家纬, 李晓鹏. 机器学习辅助绝热量子算法设计. 物理学报, 2021, 70(14): 140306. doi: 10.7498/aps.70.20210831
    [10] 何映萍, 洪健松, 刘雄军. 马约拉纳零能模的非阿贝尔统计及其在拓扑量子计算的应用. 物理学报, 2020, 69(11): 110302. doi: 10.7498/aps.69.20200812
    [11] 杨乐, 李凯, 戴宏毅, 张明. 基于量子算法的量子态层析新方案. 物理学报, 2019, 68(14): 140301. doi: 10.7498/aps.68.20190157
    [12] 赵士平, 刘玉玺, 郑东宁. 新型超导量子比特及量子物理问题的研究. 物理学报, 2018, 67(22): 228501. doi: 10.7498/aps.67.20180845
    [13] 范桁. 量子计算与量子模拟. 物理学报, 2018, 67(12): 120301. doi: 10.7498/aps.67.20180710
    [14] 梁建武, 程资, 石金晶, 郭迎. 基于量子图态的量子秘密共享. 物理学报, 2016, 65(16): 160301. doi: 10.7498/aps.65.160301
    [15] 赵娜, 刘建设, 李铁夫, 陈炜. 超导量子比特的耦合研究进展. 物理学报, 2013, 62(1): 010301. doi: 10.7498/aps.62.010301
    [16] 李盼池, 王海英, 戴庆, 肖红. 量子过程神经网络模型算法及应用. 物理学报, 2012, 61(16): 160303. doi: 10.7498/aps.61.160303
    [17] 李盼池, 王海英, 宋考平, 杨二龙. 量子势阱粒子群优化算法的改进研究. 物理学报, 2012, 61(6): 060302. doi: 10.7498/aps.61.060302
    [18] 姚淅伟, 曾碧榕, 刘钦, 牟晓阳, 林星程, 杨春, 潘健, 陈忠. 基于核磁共振的子空间量子过程重构. 物理学报, 2010, 59(10): 6837-6841. doi: 10.7498/aps.59.6837
    [19] 叶 宾, 须文波, 顾斌杰. 量子Harper模型的量子计算鲁棒性与耗散退相干. 物理学报, 2008, 57(2): 689-695. doi: 10.7498/aps.57.689
    [20] 叶 宾, 谷瑞军, 须文波. 周期驱动的Harper模型的量子计算鲁棒性与量子混沌. 物理学报, 2007, 56(7): 3709-3718. doi: 10.7498/aps.56.3709
计量
  • 文章访问数:  3441
  • PDF下载量:  29
  • 被引次数: 0
出版历程
  • 收稿日期:  2019-01-24
  • 修回日期:  2019-03-26
  • 上网日期:  2019-06-01
  • 刊出日期:  2019-06-05

基于冗余图态的多人协作量子计算

  • 中山大学物理学院, 光电材料与技术国家重点实验室, 广州 510000
  • 通信作者: 周晓祺, zhouxq8@mail.sysu.edu.cn
    基金项目: 国家重点研发计划(批准号: 2017YFA0305200, 2016YFA0301700)和广东省自然科学基金(批准号: 2016A030312012)资助的课题.

摘要: 量子计算是一种基于量子力学基本原理设计的新型计算模型, 在某些特定问题上表现出了远超经典计算机的处理能力. 随着量子计算任务复杂度的提高, 如何分配量子计算资源, 实现多方协作的量子计算, 将成为量子计算领域待解决的一个重要问题. 本文在一次性量子计算的基础上, 提出了基于冗余图态的多人协作量子计算方案. 不同于传统图态中每个节点仅对应一个粒子, 冗余图态中每个节点都对应若干粒子. 参与量子计算的每一方都将分配到一组完整涵盖各节点的粒子, 各方将自行协商完成图态的分割以及后续的测量, 从而实现多人协作的量子计算. 在本方案中, 参与量子计算的各方可以根据自身任务的需要来确定量子计算的合作方式并进行资源分配, 使量子计算具备更高的灵活性与开放性. 此外, 本文还提出了一个两方协作制备任意单比特量子态的光学实验方案.

English Abstract

    • 量子计算是一门利用量子力学原理解决计算问题并有效提高计算效率的科学. 自从量子计算[1,2]被提出以来, 人们对量子计算及其应用进行了不断的探索, 在理论研究[3-8]和物理实现上[9-12]都取得了显著的进步. 其中最引人瞩目的是一系列高效的量子算法, 例如搜索算法[5]、大数因子分解算法[9]、玻色采样算法[11]和对复杂系统的模拟[6,8]等, 从而极大地提高了一些特定问题的计算效率. 此外, 不同的计算模型也相继被提出, 例如量子线路模型[13]、一次性量子计算[14,15]、拓扑量子计算[16,17]、绝热量子计算[18]和对偶量子计算[19]等, 为构造量子计算机[20]提供了多种思路和方法.

      随着量子计算的发展, 计算任务的复杂性将逐步提高, 在开展量子计算的过程中不可避免地会碰到需要两方甚至多方一起合作进行的量子计算任务. 例如, 待处理问题的关键信息掌握在两方甚至多方手中, 需要各方共同合作才能够解决问题; 或者算法复杂度高, 需要分成几个模块由不同的人或平台来分别实现等. 为了解决这类问题, 需要找到一种新的方法来实现量子计算资源的分配, 从而解决多人协作的量子计算问题.

      为此, 本文在一次性量子计算的基础上, 提出了基于冗余图态[21]的多人协作量子计算方案. 与传统图态[22,23]中每个节点对应一个粒子不同, 冗余图态中每个节点都由多个粒子组成. 通过制备一个适当的冗余图态, 将其每个节点上的粒子分配给各个不同的用户, 由用户自行协商确定该量子计算任务的控制主体, 完成对图态的分割, 之后再进行通常的一次性量子计算操作, 从而实现多人协作的量子计算.

      本文的结构如下: 首先简单介绍图态的重要性质; 接着提出基于冗余图态的多人协作的量子计算方案; 最后展示了一个基于六光子冗余图态的光学实验方案, 实现两用户协作制备任意单比特量子态.

    • 图态是一种特殊的纠缠态, 其中每个节点对应着一个量子比特, 连接两个节点的线段代表一个控制相位翻转门操作(controlled-phase gate). 若对图态的节点进行单比特泡利测量, 剩下的节点及连线所构成的状态经过经典的反馈操作后, 等价于只对原图态进行节点删除操作和局域互补操作[24]所产生的图态.

      图态具有以下两个性质[25,26]: 第一, 如图1(a)所示, 对图态中的任何一个粒子进行σz测量, 当测量结果为+1时, 剩余的图态等价于从原图态中删除该粒子以及所有与它相连的线, 当测量结果是–1时, 则对剩下的图态进行一个σz操作, 便可获得与测量结果为+1时相同的图态; 第二, 如图1(b)所示, 对图态上相邻的两个粒子分别进行σx测量, 若测量结果均为+1, 则剩余的图态等价于从原图态中删除这两个粒子并将与这两个粒子相邻的粒子连接起来. 反之, 若测量结果中存在–1, 则需要对剩余的图态进行一个相应的局域幺正操作, 使之与测量结果均为+1时所产生的图态相同.

      图  1  对图态进行局域泡利测量并进行相应的幺正变换后得到新图态 (a)对图态中的任何一个粒子进行σz测量; (b)对图态上相邻的两个粒子分别进行σx测量; (c)对粒子5a, 5b进行σx测量, 对n个粒子5c中的任意一个粒子5ci进行M测量, 其余的n – 1个粒子进行σz测量; (d)对粒子5做一个单比特测量M

      Figure 1.  Graph states after local measurements and the corresponding unitary operations: (a) σz measurement on any particle in the graph state; (b) two neighboring σx measurements on the graph state; (c) σx measurements on 5a, 5b, measurement M on 5ci and σz measurements on 5ck(ki); (d) measurement M on single-qubit 5.

      由于对任意一个图态进行测量, 总是需要根据测量的结果对剩下的图态进行一个相应的幺正变换来修正. 为简明起见, 在本文后续的论述中, 我们只考虑测量时量子态投影到本征值为+1的本征态.

    • 若将上述的两个性质应用于图1(c)所示的特定结构的图态上, 其中对粒子5a, 5b进行σx测量, 对n个粒子5c中的任意一个粒子5ci (i∈{${1,2,\cdots,n} $})进行一个单比特测量M、其余的n – 1个粒子进行σz测量, 则根据图1(a)所示性质, 将会移除进行了σz测量的粒子, 而根据如图1(b)所示性质, 将把粒子5a, 5b移除并将粒子5ci与粒子2, 4, 6连接起来. 可以发现, 对图1(c)所示图态进行上述的测量后, 其效果就等价于对图1(d)所示图态的粒子5进行M测量.

      若以如图1(d)所示图态为资源进行一次性量子计算, 该计算可以通过对粒子1—6进行单比特测量来完成. 相应地, 利用具备如图1(c)所示结构的图态, 可以实现多人协作的一次性量子计算任务.

      首先考虑两人协作的场景, 我们使用的图态如图2(a)所示, 其中将顶端和底端的两排粒子如图标记为a1a6以及b1b6. 假设我们希望利用这个图态进行Alice和Bob协作的量子计算任务, 将粒子a1a6分配给Alice, 将粒子b1b6分配给Bob, 中间的12个粒子都进行σx测量. 根据图态的性质, 经过σx测量后, 剩下的图态可以用图2(b)来表示. 在图2(b)中, 每个虚线框表示一个节点, 每个节点中各有两个粒子, 这两个粒子分别分配给不同的用户, 这样的图态即为冗余图态. 接下来, 由Alice和Bob协商该量子计算任务的合作方式并进行量子计算资源的分配, 例如Alice和Bob商定好, 由Alice控制上半部分的粒子, Bob控制下半部分的粒子, 那么只要Alice对手中的粒子a4, a5, a6进行σz测量, Bob对手中的粒子b1, b2, b3进行σz测量, 剩下的态就变成了如图2(c)所示的图态. 同理, 如果是决定由Alice控制下半部分的粒子, Bob控制上半部分的粒子, 那么只要Alice对手中的粒子a1, a2, a3进行σz测量, Bob对手中的粒子b4, b5, b6进行σz测量, 剩下的态就变成如图2(d)所示的图态. Alice和Bob再根据具体的任务, 对自己手中剩下的粒子进行特定的单粒子测量. 虽然Alice和Bob获得测量结果后需要相互沟通从而进行反馈和修正, 但由于测量时量子态的塌缩具有随机性和概率性, 因此双方并不会泄露各自的测量基矢. 最后, 携带测量结果的经典比特或者未测量的图态即为一次性量子计算的输出, 一个由Alice和Bob合作的量子计算任务就完成了.

      图  2  基于冗余图态的多人协作量子计算 (a) 用于两人协作量子计算的图态; (b) “工”字形冗余图态; (c) 对(b)图所示图态中的b1, b2, b3, a4, a5, a6进行σz测量后剩下的图态; (d) 对(b)图所示图态中的a1, a2, a3, b4, b5, b6进行σz测量后剩下的图态; (e)用于多人协作量子计算的图态

      Figure 2.  Collaborative computation based on redundant graph state: (a) A graph state for bipartite collaborative quantum computation; (b) an I-shape redundant graph state; (c) the graph state after σz measurements on b1, b2, b3, a4, a5, a6 in graph state depicted in (b); (d) the graph state after σz measurements on a1, a2, a3, b4, b5, b6 in graph state depicted in (b); (e) a graph state for collaborative quantum computation.

      若考虑多用户协作的情况, 则制备如图2(e)所示的图态, 该图态在第二层的每个粒子上都连接了若干个粒子. 同样地, 我们对第一层和第二层的12个粒子进行σx测量, 将获得类似于图2(b)所示的冗余图态, 但其每个节点都有多个粒子. 再将连接在同个节点上的各个粒子分别分配给相应的用户, 然后各用户根据自身计算问题的需求对图态进行分割—如果该节点准备由自己控制, 就不测量, 如果不准备自己控制该节点, 就进行σz测量将其移除. 接着各用户再执行一次性量子计算操作即可完成此次多人协作的量子计算任务.

      值得注意的是, 一方面, 对于如图1(c)所示的图态, 如果把粒子5b和粒子5ci (i = 1, 2,···, n)单独作为一个子图看待, 则该子图对应的图态在局域幺正变换下等价于一个n + 1粒子的Greenherger-Horne-Zeilinger态, 各个5ci (i = 1, 2,···, n)粒子之间相互纠缠, 状态保持一致. 如果在光学系统的偏振自由度上, 量子比特是光子, 那么光子5ci总是保持相同的偏振状态. 另一方面, 以图2(a)所示图态为例, 我们对中间的12个粒子都进行了σx测量, 这12个局域的泡利测量可以结合在图态的制备过程中, 即我们可以直接制备一个初态, 使它的表达式正好与图2(b)所示的冗余图态相等. 而对于任意的n节点冗余图态, 如图3(a)所示, 每个虚线框表示一个节点, 每个节点都由m个粒子组成(n, m均为正整数). 该冗余图态可以看成是由传统的n节点图态(图3(b))衍生而来的—在传统的n节点图态表示形式的基础上, 将每个节点拓展为m个粒子. 具体来说, 对于m个用户参与的n节点协作性量子计算, 需要制备由mn个粒子组成的冗余图态来作为协作性量子计算的资源. 例如, 两用户参与的3节点协作性量子计算, 需要使用六粒子的冗余图态作为计算资源. 对于图3(c)中所示的六粒子冗余图态, 其由三个节点线形连接构成, 且每个节点中都有两个粒子, 根据通常的线形三粒子图态:

      图  3  冗余图态 (a)任意的冗余图态; (b)与图(a)相对应的传统图态; (c)六粒子冗余图态

      Figure 3.  Redundant graph state: (a) An arbitrary redundant graph state; (b) the traditional graph state corresponding to (a); (c) six-partite redundant graph state.

      $ \begin{split} &\frac{1}{2}\Big({{\left| + \right\rangle }_1}{{\left| + \right\rangle }_2}{{\left| + \right\rangle }_3} + {{\left| + \right\rangle }_1}{{\left| - \right\rangle }_2}{{\left| + \right\rangle }_3} \\ &\; + {{\left| - \right\rangle }_1} \left. \left|+\right.\right\rangle_2{{\left| - \right\rangle }_3} - {{\left| - \right\rangle }_1}{{\left| - \right\rangle }_2}{{\left| - \right\rangle }_3}\Big), \end{split} $

      将每个节点$ {{{\left| \pm \right\rangle }_i}}\left( {i = 1,\; 2,\; 3} \right) $拓展为两个粒子$ {{{\left| \pm \right\rangle }_{a_i}}}{{{\left| \pm \right\rangle }_{b_i}}}\left( {i = 1,2,3} \right) $, 则该六粒子冗余图态可以写为

      $ \begin{split} & \frac{1}{2}\Big({{{\left| + \right\rangle }_{a_1}}{{\left| + \right\rangle }_{b_1}}{{\left| + \right\rangle }_{a_2}}{{\left| + \right\rangle }_{b_2}}{{\left| + \right\rangle }_{a_3}}{{\left| + \right\rangle }_{b_3}} } \\ & + {{\left| + \right\rangle }_{a_1}}{{\left. \left| +\right. \right\rangle }_{b_1}}{{\left| - \right\rangle }_{a_2}}{{\left| - \right\rangle }_{b_2}}{{\left| + \right\rangle }_{a_3}}{{\left| + \right\rangle }_{b_3}} \\ & +{{\left| - \right\rangle }_{a_1}}{{\left| - \right\rangle }_{b_1}} {{\left.\left| +\right. \right\rangle }_{a_2}}{{\left| + \right\rangle }_{b_2}}{{\left|- \right\rangle }_{a_3}}{{\left| - \right\rangle }_{b_3}} \\ & - {{\left| - \right\rangle }_{a_1}}{{\left| - \right\rangle }_{b_1}} {{{\left.\left|-\right. \right\rangle }_{a_2}}{{\left| - \right\rangle }_{b_2}}{{\left| - \right\rangle }_{a_3}}{{\left| - \right\rangle }_{b_3}}} \Big). \end{split} $

    • 在上述理论的基础上, 本文提出了利用六粒子冗余图态实现Alice和Bob协作制备任意量子态的具体方案. Alice和Bob共享的六粒子冗余图态如图3(c)所示, 粒子a1, a2, a3由Alice控制, 粒子b1, b2, b3由Bob控制. 应用该六粒子冗余图态, Alice和Bob能够以任意的协作形式为任意一方制备量子态.

      假如Alice想要独立为自己制备一个量子态, 那么Bob就对b1, b2, b3进行σz测量将其移除, 之后由Alice对a1, a2分别进行一个特定的测量, 例如分别在粒子a1和粒子a2上做HZα1HZ±α2操作, 其中$0 < \alpha 1\left( {\alpha 2} \right) < 2{\text{π}}$, 正负号的选择由对粒子a1的测量结果(0或1)来决定, 粒子a3的状态就可以制备为${X^{{m_2}}}{Z^{{m_1}}}H{Z_{\alpha 2}}H{Z_{\alpha 1}}\left| + \right\rangle $, 其中m1(2)为对粒子a1(a2)测量的结果. 同样地, 若将制备的任务完全交给Bob, 则Alice只需对a1, a2, a3进行σz测量, 之后由Bob对b1, b2分别进行一个适当测量即可将量子态制备到粒子b3上. 也可以让其中一方为对方制备一个量子态. 若是由Alice为 Bob制备这个量子态, 那么就由Alice对a3, Bob对b1, b2进行σz测量, 然后Alice对a1, a2进行测量. 还可以让Alice和Bob协作, 共同为其中任意一方制备量子态, 例如由Alice来控制量子态制备的第一步, 由Bob来控制第二步, 最后让Alice获得这个量子态, 那么, Alice就对a2, Bob对b1, b3进行σz测量, 之后由Alice对a1, Bob对b2分别进行适当的测量即可.

      该方案在光学系统上的实现装置如图4所示. 首先制备六粒子冗余图态, 我们用水平偏振光表示${\left| 0 \right\rangle }$, 用竖直偏振光表示${\left| 1 \right\rangle }$, 利用与偏振无关的分束器将竖直偏振的激光分为四束, 分别抽运四块非线性晶体BBO发生自发参量下转换过程. 其中两束激光分别入射二型切割的BBO晶体, 各产生一对下转换光子, 经过走离补偿以及偏振调制后, 制备为偏振相同的纠缠光子对, 可以写为

      图  4  两用户协作制备任意单比特量子态的光学实验装置

      Figure 4.  Physical realization of preparing arbitrary quantum state cooperated by two participants in optics.

      $({1}/{{\sqrt 2 }})\big({{{\left| 0 \right\rangle }_{3\left( 5 \right)}}{{\left| 0 \right\rangle }_{4\left( 6 \right)}} + {{\left| 1 \right\rangle }_{3\left( 5 \right)}}{{\left| 1 \right\rangle }_{4\left( 6 \right)}}} \big), $

      下标i (i = 3, 4, 5, 6)表示光子i (i = 3, 4, 5, 6). 另外两束激光分别入射一型切割的BBO晶体, 各产生一对水平偏振的光子, 在 +/– 基矢上展开为

      $ \frac{1}{2}\left( {{{\left| + \right\rangle }_{1\left( 7 \right)}} + {{\left| - \right\rangle }_{1\left( 7 \right)}}} \right) \otimes \left( {{{\left| + \right\rangle }_{2\left( 8 \right)}} + {{\left| - \right\rangle }_{2\left( 8 \right)}}} \right), $

      其中$\left| \pm \right\rangle = \displaystyle\frac{1}{{\sqrt 2 }}\left( {\left| 0 \right\rangle \pm \left| 1 \right\rangle } \right)$, 表示 ±45°偏振光; 下标i (i = 1, 2, 7, 8)表示光子i (i = 1, 2, 7, 8). 图中偏振分束器(PBS)透射水平偏振光, 反射竖直偏振光, 而45°偏振分束器(CPBS)是由四个45°放置的半波片和偏振分束器组成, 它的作用是透射45°偏振光, 反射–45°偏振光. 将光子1作为预报性的单光子, 将光子4和光子5从两个端口入射PBS1, 再将光子6投影至${\left| + \right\rangle }$态上, 并让光子3和光子4′分别经过一个45°放置的半波片, 从而将光子3, 光子5′和光子4′制备为一个传统的线形三光子图态, 在 +/– 基矢上展开为

      $ \begin{split} & \frac{1}{2}\left( {{\left| + \right\rangle }_3}{{\left| + \right\rangle }_{5'}}{{\left| + \right\rangle }_{4'}} + {{\left| + \right\rangle }_3}{{\left| - \right\rangle }_{5'}}{{\left| + \right\rangle }_{4'}} \right. \\ & + {{\left| - \right\rangle }_3} \left.{{\left.\left|+ \right.\right\rangle }_{5'}}{{\left| - \right\rangle }_{4'}} - {{\left| - \right\rangle }_3}{{\left| - \right\rangle }_{5'}}{{\left| - \right\rangle }_{4'}} \right). \end{split} $

      接着让光子2与光子3在CPBS1上干涉, 光子4′与光子7在CPBS2上干涉, 光子5′与光子8在CPBS3上干涉, 从而将线形三光子图态拓展为六光子冗余图态. 分别调节入射分束器的两路光子所经历的光程, 保证两路光子在偏振分束器发生干涉时的时间不可分辨性. 此外, PBS引入的相位可以通过适当调整波片来抵消. 若在八路出射光路上各放置一个单光子探测器, 则当且仅当八个单光子探测器同时响应, 就完成了六光子冗余图态的制备, 系统状态的演变过程如下:

      $ \begin{split} & \frac{{1}}{{4}\sqrt {2} }{{(}| + \rangle }_{{2}}+| - \rangle _{{2}}{)\otimes}(| + \rangle_{3}| + \rangle_{5^{\prime}}| + \rangle _{4^{\prime}}+| + \rangle_{3}| - \rangle_{5^{\prime}}| + \rangle_{4^{\prime}}+| - \rangle_{3}| + \rangle_{5^{\prime}}| - \rangle_{4^{\prime}} \\ & -| - \rangle_{3}| - \rangle_{5^{\prime}}| - \rangle _{4^{\prime}}{)\otimes}{{(}| + \rangle }_{{7}}+| - \rangle _{{7}}{)\otimes}{{(}| + \rangle }_{{8}}+| - \rangle _{{8}}{)} \\ \xrightarrow{{\rm{CPBS}}_{{1}}} &\; \frac{{1}}{{4}}(| + \rangle_{a_1}| + \rangle_{b_1}| + \rangle_{5^{\prime}}| + \rangle_{4^{\prime}}+| + \rangle _{a_1}| + \rangle_{b_1}| - \rangle _{5^{\prime}}| + \rangle_{4^{\prime}}+| - \rangle_{a_1}| - \rangle_{b_1}| + \rangle_{5^{\prime}}| - \rangle_{4^{\prime}} \\ & -| - \rangle_{a_1}| - \rangle_{b_1}| - \rangle_{5^{\prime}}| - \rangle _{4^{\prime}}{)\otimes}{{(}| + \rangle }_{{7}}+| - \rangle _{{7}}{)\otimes}{{(}| + \rangle }_{{8}}+| - \rangle _{{8}}{)} \\ \xrightarrow{{\rm{CPBS}}_{{2}}} &\; \frac{{1}}{2\sqrt {2} }(| + \rangle _{a_1}| + \rangle_{b_1}| + \rangle _{5^{\prime}}| + \rangle_{a_3}| + \rangle _{{b_3}}+| + \rangle_{a_1}| + \rangle_{b_1}| - \rangle_{5^{\prime}}| + \rangle_{a_3}| + \rangle _{{b_3}} \\ & +| - \rangle_{a_1}| - \rangle_{b_1}| + \rangle_{5^{\prime}}| - \rangle_{a_3}| - \rangle_{{b_3}}-| - \rangle_{a_1}| - \rangle_{b_1}| - \rangle_{5^{\prime}}| - \rangle_{a_3}| - \rangle_{{b_3}}{)\otimes}{{(}| + \rangle }_{{8}}+| - \rangle_{{8}}{)} \\ \xrightarrow{{\rm{CPBS}}_{{3}}} &\; \frac{{1}}{2}\big( | + \rangle _{a_{1}}| + \rangle_{b_{1}}| + \rangle _{a_{2}}| + \rangle_{b_{2}}| + \rangle _{a_{3}}| + \rangle_{b_3} +| + \rangle _{a_{1}}| + \rangle_{b_{1}}| - \rangle _{a_{2}}| - \rangle_{b_{2}}| + \rangle _{a_{3}}| + \rangle_{b_3} \\ & +| - \rangle_{a_{1}}| - \rangle _{b_{1}}| + \rangle_{a_{2}}| + \rangle_{b_{2}}| - \rangle _{a_{3}}| - \rangle_{b_3}-| - \rangle_{a_{1}}| - \rangle _{b_{1}}| - \rangle_{a_{2}}| - \rangle_{b_{2}}| - \rangle _{a_{3}}| - \rangle_{b_3} \big) ,\end{split}$

      其中ai (bi), (i = 1, 2, 3)表示由Alice (Bob)控制的节点i中的光子. 在该系统中, 即使产生的八光子中有多对光子来自于同一自发参量下转换过程, 也不能触发八个单光子探测器同时响应事件, 从而避免了噪声的干扰. 接着, Alice和Bob通过由半波片、1/4波片、偏振分束器和单光子探测器对自己手上的光子做单比特投影测量, 完成图态的分割和量子态制备操作. 以Alice独立为自己制备量子态为例, 选择令m1 = m2 = 0的基矢做测量, 此时, a3的状态为$H{Z_{\alpha 2}}H{Z_{\alpha 1}}\left| + \right\rangle $, 可以通过量子态层析的方法进行重构和验证. 同理, 应用该系统, Alice和Bob可以根据双方商定的方案, 以任意的协作形式为任意一方制备量子态.

    • 提出了一种新型的多人协作量子计算方案. 通过制备一个适当的冗余图态, 将相应的部分分配给不同用户, 再由用户自行协商完成对冗余图态的分割, 最后进行通常的一次性量子计算操作来实现多人协作的量子计算. 本文还给出了一个基于六粒子冗余图态实现两方协作任意量子态制备的光学实验方案. 本方案可以适用于广泛的应用场景. 与终端开放隐形传态[27]中多方合作决定将信息传送至某一方的开放性理念类似, 共享冗余图态方案的各方可以根据自己的需求灵活地确定量子计算具体的协作方式, 同时也保障了各方进行量子计算的安全性和私密性.

参考文献 (27)

目录

    /

    返回文章
    返回