| | |
| | |
Stat |
Members: 3643 Articles: 2'487'895 Articles rated: 2609
29 March 2024 |
|
| | | |
|
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 | Abstract: | Elaborating 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 |
|
|
No review found.
Did you like this article?
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
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |