Categorical Probabilistic Theories

@article{Gogioso2017CategoricalPT,
  title={Categorical Probabilistic Theories},
  author={Stefano Gogioso and Carlo Maria Scandolo},
  journal={arXiv: Quantum Physics},
  year={2017}
}
We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt… 
[PDF] Semantic Reader
35 Citations
Highly Influential Citations
1
Background Citations
20
Methods Citations
5
Results Citations
1

35 Citations

Categorical Operational Physics

This thesis gives a recipe for recovering a class of generalised quantum theories, before instantiating it with operational principles inspired by an earlier reconstruction due to CDP, and reconstructs finite-dimensional quantum theory itself.

A Shortcut from Categorical Quantum Theory to Convex Operational Theories

This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces…

A computer scientist’s reconstruction of quantum theory

The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order…

Discrimination of symmetric states in operational probabilistic theory

A state discrimination problem in an operational probabilistic theory (OPT) is investigated in diagrammatic terms. It is well-known that, in the case of quantum theory, if a state set has a certain…

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…

Compositional resource theories of coherence

This work shows that resource theories of coherence can instead be defined purely compositionally, that is, working with the mathematics of process theories, string diagrams and category theory, and opens the door to the development of novel tools which would not be accessible from the linear algebraic mind set.

Categorical quantum dynamics

It is argued that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.

Classicality without local discriminability: Decoupling entanglement and complementarity

It is demonstrated that the presence of entanglement is independent of the existence of incompatible measurements, and on the basis of the fact that every separable state of the theory is a statistical mixture of entangled states, a no-go conjecture is formulated for theexistence of a local-realistic ontological model.

Functorial Evolution of Quantum Fields

A compositional algebraic framework to describe the evolution of quantum fields in discretised spacetimes and introduces notions of symmetry and cellular automata, which are shown to subsume existing definitions of Quantum Cellular Automata from previous literature.

A no-go theorem for theories that decohere to quantum mechanics

  • Ciarán M. LeeJohn H. Selby
  • Philosophy, Physics
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2018
This work asks whether there exists an operationally defined theory superseding quantum theory, but which reduces to it via a decoherence-like mechanism and proves that no such post-quantum theory exists if it is demanded that it satisfy two natural physical principles: causality and purification.

References

SHOWING 1-10 OF 71 REFERENCES

Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality

Information processing in generalized probabilistic theories

A framework in which a variety of probabilistic theories can be defined, including classical and quantum theories, and many others, is introduced, and a tensor product rule for combining separate systems can be derived.

Dilation of states and processes in operational-probabilistic theories

This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this…

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…

Categorical Quantum Mechanics I: Causal Quantum Processes

We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this…

Quantum Theory, Namely the Pure and Reversible Theory of Information

A short non-technical presentation of a recent derivation of Quantum Theory from information-theoretic principles shows that Quantum Theory is the only standard theory of information that is compatible with the purity and reversibility of physical processes.

Information Processing in Convex Operational Theories

Leaks: Quantum, Classical, Intermediate and More

It is shown that defining a notion of purity for processes in general process theories has to make reference to the leaks of that theory, a feature missing in standard definitions; hence, a refined definition is proposed and the resulting notion ofurity for quantum, classical and intermediate theories is studied.

Purity through Factorisation

A construction is given that identifies the collection of pure processes within a theory containing both pure and mixed processes, and defines a pure subcategory in the framework of symmetric monoidal categories.

Contextuality, Cohomology and Paradox

A remarkable connection between contexuality and logical paradoxes is exposed and it is shown that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions.
...