dorsal/arxiv
View SchemaDe-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure
| Authors | Bob Coecke |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0506134 |
| URL | https://arxiv.org/abs/quant-ph/0506134 |
Abstract
Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others obstruct the passage to a formalism which is not saturated with physically insignificant global phases. First we show that the bulk of the required linear structure is purely multiplicative, and arises from the strongly compact closed tensor which, besides providing a variety of notions such as scalars, trace, unitarity, self-adjointness and bipartite projectors, also provides Hilbert-Schmidt norm, Hilbert-Schmidt inner-product, and in particular, the preparation-state agreement axiom which enables the passage from a formalism of the vector space kind to a rather projective one, as it was intended in the (in)famous Birkhoff & von Neumann paper. Next we consider additive types which distribute over the tensor, from which measurements can be build, and the correctness proofs of the protocols discussed in quant-ph/0402130 carry over to the resulting weaker setting. A full probabilistic calculus is obtained when the trace is moreover linear and satisfies the \em diagonal axiom, which brings us to a second main result, characterization of the necessary and sufficient additive structure of a both qualitatively and quantitatively effective categorical quantum formalism without redundant global phases. Along the way we show that if in a category a (additive) monoidal tensor distributes over a strongly compact closed tensor, then this category is always enriched in commutative monoids.
{
"annotation_id": "a5406e85-bf59-4b0e-ba1d-17a2f6e588ad",
"date_created": "2026-03-02T18:02:16.740000Z",
"date_modified": "2026-03-02T18:02:16.740000Z",
"file_hash": "7ee09866835bc6678703ee45fff08418dc7039fe1811cb69f024fd0be3896e65",
"private": false,
"record": {
"abstract": "Elaborating on our joint work with Abramsky in quant-ph/0402130 we further\nunravel the linear structure of Hilbert spaces into several constituents. Some\nprove to be very crucial for particular features of quantum theory while others\nobstruct the passage to a formalism which is not saturated with physically\ninsignificant global phases.\n First we show that the bulk of the required linear structure is purely\nmultiplicative, and arises from the strongly compact closed tensor which,\nbesides providing a variety of notions such as scalars, trace, unitarity,\nself-adjointness and bipartite projectors, also provides Hilbert-Schmidt norm,\nHilbert-Schmidt inner-product, and in particular, the preparation-state\nagreement axiom which enables the passage from a formalism of the vector space\nkind to a rather projective one, as it was intended in the (in)famous Birkhoff\n\u0026 von Neumann paper.\n Next we consider additive types which distribute over the tensor, from which\nmeasurements can be build, and the correctness proofs of the protocols\ndiscussed in quant-ph/0402130 carry over to the resulting weaker setting. A\nfull probabilistic calculus is obtained when the trace is moreover linear and\nsatisfies the \\em diagonal axiom, which brings us to a second main result,\ncharacterization of the necessary and sufficient additive structure of a both\nqualitatively and quantitatively effective categorical quantum formalism\nwithout redundant global phases. Along the way we show that if in a category a\n(additive) monoidal tensor distributes over a strongly compact closed tensor,\nthen this category is always enriched in commutative monoids.",
"arxiv_id": "quant-ph/0506134",
"authors": [
"Bob Coecke"
],
"categories": [
"quant-ph",
"math.CT",
"math.LO"
],
"title": "De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure",
"url": "https://arxiv.org/abs/quant-ph/0506134"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "87ab0ceb-e550-428e-ab6c-f9fd47c02446",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}