CPM Categories for Galois Extensions

  title={CPM Categories for Galois Extensions},
  author={James Hefford and Stefano Gogioso},
  journal={Electronic Proceedings in Theoretical Computer Science},
By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition. Analogously to the quantum-to-classical case, these decoherences reduce the degrees of freedom in physical systems, while at the same time restricting the fields over which the systems are defined. These theories possess fully fledged operational semantics, allowing… 



Two Roads to Classicality

Mixing and decoherence are both manifestations of classicality within quantum theory, each of which admit a very general category-theoretic construction. We show under which conditions these two

Higher-order CPM Constructions

  • S. Gogioso
  • Mathematics
    Electronic Proceedings in Theoretical Computer Science
  • 2019
We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial,

Categories of quantum and classical channels

A construction that turns a category of pure state spaces and operators into a categories of observable algebras and superoperators is introduced, providing elegant abstract notions of preparation and measurement.

Axiomatizing complete positivity

There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps, and this work extends this axiomatization to the latter by introducing decoherence structures.

Environment and classical channels in categorical quantum mechanics

We present a both simple and comprehensive graphical calculus for quantum computing. We axiomatize the notion of an environment, which together with the axiomatic notion of classical structure

A categorical semantics of quantum protocols

  • S. AbramskyB. Coecke
  • Computer Science
    Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
  • 2004
This paper focuses on quantum information protocols, which exploit quantum-mechanical effects in an essential way and form the basis for novel and potentially very important applications to secure and fault-tolerant communication and computation.

Categories for Quantum Theory

Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to

Hyper-decoherence in Density Hypercubes

This work demonstrates the existence of a probabilistic hyper-decoherence of density hypercubes to quantum systems and calculate the associated hyper-phase group.

Fantastic Quantum Theories and Where to Find Them

We present a uniform framework for the treatment of a large class of toy models of quantum theory. Specifically, we will be interested in theories of wavefunctions valued in commutative involutive

Interacting quantum observables: categorical algebra and diagrammatics

The ZX-calculus is introduced, an intuitive and universal graphical calculus for multi-qubit systems, which greatly simplifies derivations in the area of quantum computation and information and axiomatize phase shifts within this framework.