A Qualitative Modal Representation of Quantum Register Transformations

Details A Qualitative Modal Representation of Quantum Register Transformations A Qualitative Modal Representation of Quantum Register Transformations

2008-02-27

arxiv.org/abs/0802.4057v2

Computer Science

Logic in Computer Science

Scientific paper

We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum registers represent quantum systems, and can be viewed as the structure of quantum data for quantum operations. Our systems provide a modal framework for reasoning about operations on quantum registers (unitary transformations and measurements), in terms of possible worlds (as abstractions of quantum registers) and accessibility relations between these worlds. We give a Kripke--style semantics that formally describes quantum register transformations and prove the soundness and completeness of our systems with respect to this semantics.

Affiliated with

Also associated with

No associations

Rating

A Qualitative Modal Representation of Quantum Register Transformations 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 A Qualitative Modal Representation of Quantum Register Transformations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Qualitative Modal Representation of Quantum Register Transformations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-26124