Generalised quantum weakest preconditions

DOI10.1007/S11128-009-0151-8MaRDI QIDQ993477zbMATH OpenOpenAlexFDO

Authors Roman Gielerak, Marek Sawerwain

Publication date 20 September 2010

Published in Quantum Information Processing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.5239

zbMATH Keywords

completely positive transformations

Mathematics Subject Classification ID

Vector-valued set functions, measures and integrals (28B05) Vector-valued measures and integration (46G10) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate. Additionally, our result is valid in infinite dimension case and also holds for a quantum programs defined as a positive but not necessary completely positive transformations of a quantum states.

Recommendations

• Quantum weakest preconditions
• Commutativity of quantum weakest preconditions
• Natural Quantum Operational Semantics with Predicates
• scientific article; zbMATH DE number 5708042
• Commutativity of quantum weakest liberal precondition and its properties

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1028822 (Why is no real title available?)
• scientific article; zbMATH DE number 1932707 (Why is no real title available?)
• scientific article; zbMATH DE number 3378527 (Why is no real title available?)
• scientific article; zbMATH DE number 3186734 (Why is no real title available?)
• An axiomatic basis for computer programming
• Classical concepts in quantum programming
• Clean positive operator valued measures
• Compiling quantum programs
• Completely positive linear maps on complex matrices
• Entangled states and collective nonclassical effects in two-atom systems
• Natural Quantum Operational Semantics with Predicates
• On non-completely positive quantum dynamical maps on spin chains
• On the completeness of the inductive assertion method
• Quantum information with continuous variables
• Quantum logic and physical modalities
• Quantum programming languages: survey and bibliography
• Quantum weakest preconditions
• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Towards a quantum programming language

Cited in

(7)

• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Quantum walk and its application domains: a systematic review
• Natural Quantum Operational Semantics with Predicates
• Commutativity of quantum weakest preconditions
• Some remarks on super-Gram operators for general bipartite quantum states
• Commutativity of quantum weakest liberal precondition and its properties
• Quantum weakest preconditions

Describes a project that uses

Uses Software

• QPL
• qGCL
• QML

This page was built for publication: Generalised quantum weakest preconditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993477)