Generalised quantum weakest preconditions

DOI10.1007/S11128-009-0151-8zbMATH Open1197.81047arXiv0710.5239OpenAlexW2036681090MaRDI QIDQ993477FDOQ993477

Marek Sawerwain, Roman Gielerak

Publication date: 20 September 2010

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

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.

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)

Cites Work

• Compiling quantum programs
• Completely positive linear maps on complex matrices
• Quantum information with continuous variables
• Towards a quantum programming language
• Quantum programming languages: survey and bibliography
• 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
• An axiomatic basis for computer programming
• On the completeness of the inductive assertion method
• Entangled states and collective nonclassical effects in two-atom systems
• Quantum weakest preconditions
• On non-completely positive quantum dynamical maps on spin chains
• Clean positive operator valued measures
• Quantum logic and physical modalities
• Classical concepts in quantum programming
• Natural Quantum Operational Semantics with Predicates
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

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

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)