Generalised quantum weakest preconditions

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.

7 pages, no figures, added references, changed content

References in corpus (7)

• Quantum information with continuous variables
• Quantum nature of a strongly-coupled single quantum dot-cavity system
• Cavity QED with a Bose-Einstein condensate
• Physical accessibility of non-completely positive maps
• Clean Positive Operator Valued Measures
• Ion-trap quantum information processing: experimental status
• On non-completely positive quantum dynamical maps on spin chains

Cited by in corpus (3)

• Recommendation systems with quantum k-NN and Grover's algorithms for data processing
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Quantum qubit switch: entropy and entanglement