Entanglement in Quantum Process Algebra

被引:0
作者
Yong Wang
机构
[1] Beijing University of Technology,College of Computer Science and Technology, Faculty of Information Technology
来源
International Journal of Theoretical Physics | 2019年 / 58卷
关键词
Quantum mechanics; Entanglement; Quantum processes; Process algebra;
D O I
暂无
中图分类号
学科分类号
摘要
We explicitly model entanglement in quantum processes by treating entanglement as a kind of parallelism. We introduce a shadow constant quantum operation and a so-called entanglement merge into quantum process algebra qACP. The transition rules of the shadow constant quantum operation and entanglement merge are designed. We also do a sound and complete axiomatization modulo the so-called quantum bisimilarity for the shadow constant quantum operation and entanglement merge. Then, this new type entanglement merge is extended into the full qACP. The new qACP has wide use in verification for quantum protocols, since most quantum protocols have mixtures with classical and quantum information, and also there are many quantum protocols adopting entanglement.
引用
收藏
页码:3611 / 3626
页数:15
相关论文
共 18 条
  • [1] Baeten JCM(2005)A brief history of process algebra Theor. Comput. Sci. Process Algebra 335 131-146
  • [2] Milner R(1992)A calculus of mobile processes, Parts I and II Inf. Comput. 1992 1-77
  • [3] Parrow J(2007)Probabilistic bisimulations for quantum processes Inf. Comput. 2007 1608-1639
  • [4] Walker D(2006)Typechecking communicating quantum processes Math. Struct. Comput. Sci. 2006 375-406
  • [5] Feng Y(2005)From quantum physics to programming languages: A process algebraic approach Lect. Notes Comput. Sci 2005 1-16
  • [6] Duan RY(2006)Relations among quantum processes: Bisimilarity and congruence Math. Struct. Comput. Sci. 2006 407-428
  • [7] Ji ZF(2009)An algebra of quantum processes ACM Trans. Comput. Logic (TOCL) 10 1-36
  • [8] Ying MS(1991)Quantum cryptography based on Bell’s theorem Phys. Rev. Lett. 67 661-663
  • [9] Gay SJ(undefined)undefined undefined undefined undefined-undefined
  • [10] Nagarajan R(undefined)undefined undefined undefined undefined-undefined