Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

被引：6
|
作者：
Bergfeld, Jort Martinus [1 ]
Sack, Joshua [2 ]
机构：
[1] Univ Amsterdam, ILLC, POB 94242, NL-1090 GE Amsterdam, Netherlands
[2] Calif State Univ Long Beach, Dept Math & Stat, 1250 Bellflower Blvd, Long Beach, CA 90840 USA
来源：
SOFT COMPUTING | 2017年 / 21卷 / 06期
关键词：
Probability; Quantum logic; Axiomatization; Quantum computation; Quantum protocols; COMPACT CLOSED CATEGORIES; DYNAMIC LOGIC;
D O I：
10.1007/s00500-015-1802-6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a sound axiomatization for a probabilistic modal dynamic logic of quantum programs. The logic can express whether a state is separable or entangled, information that is local to a subsystem of the whole quantum system, and the probability of positive answers to quantum tests of certain properties. The power of this axiomatization is demonstrated with proofs of properties concerning bases of a finite-dimensional Hilbert space, composite systems, entangled and separable states, and with proofs of the correctness of two probabilistic quantum protocols (the quantum leader election protocol and the BB84 quantum key distribution protocol).
引用
收藏
页码：1421 / 1441
页数：21
相关论文
共 50 条
  • [1] Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
    Jort Martinus Bergfeld
    Joshua Sack
    Soft Computing, 2017, 21 : 1421 - 1441
  • [2] Searching for quantum programs and quantum protocols
    Stepney, Susan
    Clark, John A.
    JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2008, 5 (05) : 942 - 969
  • [3] Proof rules for the correctness of quantum programs
    Feng, Yuan
    Duan, Runyao
    Ji, Zhengfeng
    Ying, Mingsheng
    THEORETICAL COMPUTER SCIENCE, 2007, 386 (1-2) : 151 - 166
  • [4] Dynamic quantum logic for quantum programs
    Brunet, O
    Jorrand, P
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2004, 2 (01) : 45 - 54
  • [5] VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
    Rand, Robert
    Zdancewic, Steve
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 351 - 367
  • [6] A logic for quantum circuits and protocols
    Patra, M
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 424 - 438
  • [7] Probabilistic logic of quantum computers
    Chen, SS
    ADAPTIVE COMPUTING: MATHEMATICAL AND PHYSICAL METHODS FOR COMPLEX ENVIRONMENTS, 1996, 2824 : 126 - 134
  • [8] Probabilistic logic of quantum observations
    Sernadas, A.
    Rasga, J.
    Sernadas, C.
    Alcacer, L.
    Henriques, A. B.
    LOGIC JOURNAL OF THE IGPL, 2019, 27 (03) : 328 - 370
  • [9] Quantum probabilistic logic programming
    Balu, Radhakrishnan
    QUANTUM INFORMATION AND COMPUTATION XIII, 2015, 9500
  • [10] Quantum Logic Network for Probabilistic Cloning Quantum States
    GAO Ting~(1
    Communications in Theoretical Physics, 2005, 43 (01) : 73 - 78
12345