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 () is hard in the sense of Proposition 4.1 and Proposition 4.2.
Cite
@article{arxiv.1108.4607,
title = {Simple characterizations for commutativity of quantum weakest preconditions},
author = {Tianrong Lin},
journal= {arXiv preprint arXiv:1108.4607},
year = {2023}
}
Comments
Final version; accidentally discovered that the review report (March 20, 2012) retained & decided to share it & of course the review report is not correct & what referees talked about not science but fallacy or private interests & the paper's appearance as it submitted, except for adding a review report picture & deleting the email