Physics – Quantum Physics
Scientific paper
2009-10-13
Physics
Quantum Physics
35 pages. Appeared in Semantic Techniques in Quantum Computation, ed. S. Gay and I. Mackie, pages 1--28, Cambridge University
Scientific paper
Recently, the author and Bob Coecke have introduced a categorical formulation of Quantum Mechanics. In the present paper, we shall use it to open up a novel perspective on No-Cloning. What we shall find, quite unexpectedly, is a link to some fundamental issues in logic, computation, and the foundations of mathematics. A striking feature of our results is that they are visibly in the same genre as a well-known result by Joyal in categorical logic showing that a `Boolean cartesian closed category' trivializes, which provides a major road-block to the computational interpretation of classical logic. In fact, they strengthen Joyal's result, insofar as the assumption of a full categorical product (both diagonals and projections) in the presence of a classical duality is weakened. This shows a heretofore unsuspected connection between limitative results in proof theory and No-Go theorems in quantum mechanics.
No associations
LandOfFree
No-Cloning In Categorical Quantum Mechanics 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 No-Cloning In Categorical Quantum Mechanics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and No-Cloning In Categorical Quantum Mechanics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-641160