Physical traces: quantum vs. classical information processing

DOI10.1016/S1571-0661(04)80556-5MaRDI QIDQ2842812zbMATH OpenOpenAlexWikidataFDO

Authors Samson Abramsky, Bob Coecke

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Quantum coding (general) (81P70)

Abstract: Within the Geometry of Interaction (GoI) paradigm, we present a setting that enables qualitative differences between classical and quantum processes to be explored. The key construction is the physical interpretation/realization of the traced monoidal categories of finite-dimensional vector spaces with tensor product as monoidal structure and of finite sets and relations with Cartesian product as monoidal structure, both of them providing a so-called wave-style GoI. The developments in this paper reveal that envisioning state update due to quantum measurement as a process provides a powerful tool for developing high-level approaches to quantum information processing.

Recommendations

• Information processing in convex operational theories
• Categorical quantum mechanics. II: Classical-quantum interaction
• TOWARDS NONCOMMUTATIVE COMPUTING
• Classical and quantum structuralism
• Quantum–enhanced information processing

Cites work

• A single quantum cannot be cloned
• Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999
• Discrete quantum causal dynamics
• Feedback and generalized logic
• Geometry of Interaction and linear combinatory algebras
• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 1330438 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3250482 (Why is no real title available?)
• Lectures on Quantum Theory
• Morphisms of projective geometries and of corresponding lattices
• Morphisms of projective geometries and semilinear maps
• New foundations for the geometry of interaction
• Retracing some paths in process algebra
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Traced monoidal categories
• Unique decomposition categories, Geometry of Interaction and combinatory logic

Cited in

(4)

• Charged Rényi entropies in CFTs with Einstein-Gauss-Bonnet holographic duals
• Quantum versus Classical Information
• The game semantics of game theory
• Causality in higher order process theories

This page was built for publication: Physical traces: quantum vs. classical information processing

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