Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3643
Articles: 2'487'895
Articles rated: 2609

29 March 2024
 
  » arxiv » quant-ph/0506134

 Article overview


De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure
Bob Coecke ;
Date 16 Jun 2005
Subject Quantum Physics; Category Theory; Logic | quant-ph math.CT math.LO
AbstractElaborating on our joint work with Abramsky we further unravel the linear structure of Hilbert spaces into several constituents which play different roles in quantum mechanics. Some prove to be very crucial for particular features of the theory while others obstruct the passage to a formalism which is not saturated with physically insignificant global phases. In particular do we pass from a vector space formalism to a rather projective one as it was intended in the (in)famous Birkhoff-von Neumann paper. The bulk of the linear structure required to reason about quantum mechanics is multiplicative since it arises from the strongly compact closed tensor which, besides providing a variety of notions such as scalars, trace, unitarity, self-adjointness and bipartite projectors, Hilbert-Schmidt norm, Hilbert-Schmidt inner-product, and most importantly, the passage from a formalism of the vector space kind to a rather projective one in terms of the preparation-state agreement axiom. Additive types for objects including a zero object provide pseudo-projections from which measurements can be build, and the correctness proofs of the protocols discussed in [Abramsky and Coecke LiCS’04] carry over to the resulting weaker setting. A full probabilistic calculus is obtained when the trace is moreover pseudo-linear and satisfies the diagonal axiom, which brings us to our main result, characterization of the necessary and sufficient additive structure of a both qualitatively and quantitatively effective categorical quantum formalism without redundant global phases.
Source arXiv, quant-ph/0506134
Services Forum | Review | PDF | Favorites   
 
Visitor rating: did you like this article? no 1   2   3   4   5   yes

No review found.
 Did you like this article?

This article or document is ...
important:
of broad interest:
readable:
new:
correct:
Global appreciation:

  Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.

browser claudebot






ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2024 - Scimetrica