Commutativity of quantum weakest preconditions

Ying, M; Chen, J; Feng, Y; Duan, R

Commutativity of quantum weakest preconditions

Ying, M

Chen, J Feng, Y

Duan, R

Permalink

Publication Type:: Journal Article
Citation:: Information Processing Letters, 2007, 104 (4), pp. 152 - 158
Issue Date:: 2007-11-15

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download full textAdobe PDF (257.22 kB)

View on publisher's site

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.contributor.author	Chen, J	en_US
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.contributor.author	Duan, R https://orcid.org/0000-0002-4388-7487	en_US
dc.date.issued	2007-11-15	en_US
dc.identifier.citation	Information Processing Letters, 2007, 104 (4), pp. 152 - 158	en_US
dc.identifier.issn	0020-0190	en_US
dc.identifier.uri	http://hdl.handle.net/10453/8318
dc.description.abstract	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. © 2007 Elsevier B.V. All rights reserved.	en_US
dc.relation.ispartof	Information Processing Letters	en_US
dc.relation.isbasedon	10.1016/j.ipl.2007.06.003	en_US
dc.subject.classification	Computation Theory & Mathematics	en_US
dc.title	Commutativity of quantum weakest preconditions	en_US
dc.type	Journal Article
utslib.citation.volume	4	en_US
utslib.citation.volume	104	en_US
utslib.for	0105 Mathematical Physics	en_US
utslib.for	01 Mathematical Sciences	en_US
utslib.for	08 Information and Computing Sciences	en_US
utslib.for	09 Engineering	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	open_access
pubs.issue	4	en_US
pubs.publication-status	Published	en_US
pubs.volume	104	en_US

Abstract:

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. © 2007 Elsevier B.V. All rights reserved.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/8318