Commutativity of quantum weakest preconditions

被引：8
|
作者：
Ying, Mingsheng [1 ]
Chen, Jianxin [1 ]
Feng, Yuan [1 ]
Duan, Runyao [1 ]
机构：
[1] Tsinghua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China
来源：
INFORMATION PROCESSING LETTERS | 2007年 / 104卷 / 04期
基金：
中国国家自然科学基金;
关键词：
formal semantics; quantum program; Hermitian matrix; super-operator; weakest precondition;
D O I：
10.1016/j.ipl.2007.06.003
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The notion of quantum weakest precondition was introduced by D'Hondt and P. Panangaden [E. D'Hondt, P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science 16 (2006) 429-451], and they presented a representation of weakest precondition of a quantum program in the operator-sum form. In this Letter, we give an intrinsic characterization of the weakest precondition of a quantum program given in a system-environment model. Furthermore, some sufficient conditions for commutativity of quantum weakest preconditions are presented. (c) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码：152 / 158
页数：7
相关论文
共 50 条
  • [1] Quantum weakest preconditions
    D'Hondt, Ellie
    Panangaden, Prakash
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (03) : 429 - 451
  • [2] Generalised quantum weakest preconditions
    Roman Gielerak
    Marek Sawerwain
    Quantum Information Processing, 2010, 9 : 441 - 449
  • [3] Generalised quantum weakest preconditions
    Gielerak, Roman
    Sawerwain, Marek
    QUANTUM INFORMATION PROCESSING, 2010, 9 (04) : 441 - 449
  • [4] Commutativity of quantum weakest liberal precondition and its properties
    Lei, Hong-Xuan
    Xi, Zheng-Jun
    Li, Yong-Ming
    Ruan Jian Xue Bao/Journal of Software, 2013, 24 (05): : 933 - 941
  • [5] Efficient weakest preconditions
    Rustan, K
    Leino, M
    INFORMATION PROCESSING LETTERS, 2005, 93 (06) : 281 - 288
  • [6] Weakest preconditions in fibrations
    Aguirre, Alejandro
    Katsumata, Shin-ya
    Kura, Satoshi
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (04) : 472 - 510
  • [7] CHARACTERIZATION OF WEAKEST PRECONDITIONS
    WAND, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (02) : 209 - 212
  • [8] Weakest Preconditions in Fibrations
    Aguirre, Alejandro
    Katsumata, Shin-ya
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 352 (352) : 5 - 27
  • [9] VARIETIES OF WEAKEST LIBERAL PRECONDITIONS
    MORRIS, JM
    INFORMATION PROCESSING LETTERS, 1987, 25 (03) : 207 - 210
  • [10] WEAKEST PRECONDITIONS - CATEGORICAL INSIGHTS
    MANES, EG
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 182 - 197
12345