Classical structures based on unitaries
From MaRDI portal
Abstract: Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide. Provided all definitions are strict in the categorical sense, we show that this can never be the case. However, allowing for the defining axioms to be taken up to canonical isomorphism, a close connection between the classical structures of categorical quantum mechanics, and the categorical property of self-similarity familiar from logical and computational models becomes apparent. The required canonical isomorphisms are non-trivial, and mix both typed (multi-object) and untyped (single-object) tensors and structural isomorphisms; we give coherence results that justify this approach. We then give a class of examples where distinct self-similar structures at an object determine distinct matrix representations of arrows, in the same way as classical structures determine matrix representations in Hilbert space. We also give analogues of familiar notions from linear algebra in this setting such as changes of basis, and diagonalisation.
Recommendations
Cites work
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- A categorical analogue of the monoid semiring construction
- A general theory of self-similarity
- A new description of orthogonal bases
- A single quantum cannot be cloned
- Elementary remarks on units in monoidal categories
- Geometry of Interaction and linear combinatory algebras
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 1373517 (Why is no real title available?)
- scientific article; zbMATH DE number 786500 (Why is no real title available?)
- scientific article; zbMATH DE number 840152 (Why is no real title available?)
- scientific article; zbMATH DE number 3328203 (Why is no real title available?)
- scientific article; zbMATH DE number 3109445 (Why is no real title available?)
- Linear logic
- On the Functor ℓ2
- Quantum fan-out is powerful
- Quantum measurements without sums
- Representations of Inverse Semi-Groups
- Restriction categories. I: Categories of partial maps
- Types and forgetfulness in categorical linguistics and quantum mechanics
- Unique decomposition categories, Geometry of Interaction and combinatory logic
Cited in
(10)- Quantum computation and real multiplication
- Tensor topology
- Identities in modular arithmetic from reversible coherence operations
- The category \textsf{CNOT}
- No-cloning in categorical quantum mechanics
- Classical and quantum structuralism
- Quantum and Classical Structures in Nondeterminstic Computation
- Coherence and strictification for self-similarity
- Quantum measurements without sums
- On strictifying extensional reflexivity in compact closed categories
This page was built for publication: Classical structures based on unitaries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414965)
