Abstract Physical Traces

zbMATH Open1065.18005arXiv0910.3144MaRDI QIDQ4680358FDOQ4680358

Authors: Samson Abramsky, Bob Coecke 

Publication date: 1 June 2005

Abstract: We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in Categorical Semantics of Quantum Protocols. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.

Full work available at URL: https://arxiv.org/abs/0910.3144

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Algebra and Coalgebra in Computer Science
• Dagger compact closed categories and completely positive maps (extended abstract)
• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Strongly compact closed semantics
• Representation of partial traces

Mathematics Subject Classification ID

Quantum computation (81P68) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of spans/cospans, relations, or partial maps (18B10) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Linear transformations, semilinear transformations (15A04)

Cited In (16)

• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Axiomatic description of mixed states from Selinger's CPM-construction
• Interacting quantum observables: categorical algebra and diagrammatics
• Logic and geometry of agents in agent-based modeling
• A royal road to quantum theory (or thereabouts), extended abstract
• A link between quantum logic and categorical quantum mechanics
• Charged Rényi entropies in CFTs with Einstein-Gauss-Bonnet holographic duals
• Compact inverse categories
• Some Nearly Quantum Theories
• Categorical formulation of finite-dimensional \(C^*\)-algebras
• The Mathematics of Text Structure
• POVMs and Naimark's theorem without sums
• What are the fundamental structures of concurrency? We still don't know!
• Strongly compact closed semantics
• A diagrammatic derivation of the Hermitian adjoint
• Categorical formulation of finite-dimensional quantum algebras

This page was built for publication: Abstract Physical Traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680358)