Simple characterizations for commutativity of quantum weakest preconditions
Abstract
In a recent letter [Information Processing Letters~104 (2007) 152-158], it has shown some sufficient conditions for commutativity of quantum weakest preconditions. This paper provides some alternative and simple characterizations for the commutativity of quantum weakest preconditions, i.e., Theorem 3.1, Theorem 3.2 and Proposition 3.3 in what follows. We also show that to characterize the commutativity of quantum weakest preconditions in terms of $[M,N]$ ($=MN-NM$) is hard in the sense of Proposition 4.1 and Proposition 4.2.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2011
- DOI:
- 10.48550/arXiv.1108.4607
- arXiv:
- arXiv:1108.4607
- Bibcode:
- 2011arXiv1108.4607L
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Logic;
- Quantum Physics
- E-Print:
- Final version