Generalised quantum weakest preconditions

Physics – Quantum Physics

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

7 pages, no figures, added references, changed content

Scientific paper

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.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Generalised quantum weakest preconditions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generalised quantum weakest preconditions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generalised quantum weakest preconditions will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-469134

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.