Spekkens's toy theory as a category of processes

Details Spekkens's toy theory as a category of processes Spekkens's toy theory as a category of processes

2011-08-09

arxiv.org/abs/1108.1978v1

Physics

Quantum Physics

28 pages and many pictures

Scientific paper

We provide two mathematical descriptions of Spekkens's toy qubit theory, an inductively one in terms of a small set of generators, as well as an explicit closed form description. It is a subcategory MSpek of the category of finite sets, relations and the cartesian product. States of maximal knowledge form a subcategory Spek. This establishes the consistency of the toy theory, which has previously only been constructed for at most four systems. Our model also shows that the theory is closed under both parallel and sequential composition of operations (= symmetric monoidal structure), that it obeys map-state duality (= compact closure), and that states and effects are in bijective correspondence (= dagger structure). From the perspective of categorical quantum mechanics, this provides an interesting alternative model which enables us to describe many quantum phenomena in a discrete manner, and to which mathematical concepts such as basis structures, and complementarity thereof, still apply. Hence, the framework of categorical quantum mechanics has delivered on its promise to encompass theories other than quantum theory.

Affiliated with

Also associated with

No associations

Rating

Spekkens's toy theory as a category of processes 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 Spekkens's toy theory as a category of processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Spekkens's toy theory as a category of processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-70560