Abstract Physical Traces

MaRDI QIDQ4680358zbMATH OpenFDO

Authors Samson Abramsky, Bob Coecke

Publication date 1 June 2005

Full work available at URL https://arxiv.org/abs/0910.3144, https://eudml.org/doc/124761, http://www.emis.de/journals/TAC/volumes/14/6/14-06abs.html

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

Mathematics Subject Classification ID

Linear transformations, semilinear transformations (15A04) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 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) Quantum computation (81P68)

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.

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

Cited in

(16)

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

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)