Generalised quantum weakest preconditions
arXiv:0710.5239 · doi:10.1007/s11128-009-0151-8
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 (11)
- Quantum information with continuous variables
- Quantum nature of a strongly-coupled single quantum dot-cavity system
- Quantum computation with optical coherent states
- Cavity QED with a Bose-Einstein condensate
- Entangled states and collective nonclassical effects in two-atom systems
- Toward an architecture for quantum programming
- Physical accessibility of non-completely positive maps
- Clean Positive Operator Valued Measures
- Classical Concepts in Quantum Programming
- Ion-trap quantum information processing: experimental status
- On non-completely positive quantum dynamical maps on spin chains