| | |
| | |
Stat |
Members: 3645 Articles: 2'506'133 Articles rated: 2609
26 April 2024 |
|
| | | |
|
Article forum
| |
|
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 message found in this article forum.
You have a question or message about this article?
Ask the community and write a message in the forum.
If you want to rate this article, please use the review section..
To add a message in the forum, you need to login or register first. (free): registration page
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |