# Ontological models for quantum theory as functors

@article{Gheorghiu2019OntologicalMF, title={Ontological models for quantum theory as functors}, author={Alexandru Gheorghiu and Chris Heunen}, journal={arXiv: Quantum Physics}, year={2019} }

We interpret ontological models for finite-dimensional quantum theory as functors from the category of finite-dimensional Hilbert spaces and bounded linear maps to the category of measurable spaces and Markov kernels. This uniformises several earlier results, that we analyse more closely: Pusey, Barrett, and Rudolph's result rules out monoidal functors; Leifer and Maroney's result rules out functors that preserve a duality between states and measurement; Aaronson et al's result rules out… Expand

#### Figures from this paper

#### One Citation

A mathematical framework for operational fine tunings

- Physics, Computer Science
- 2020

A precise theory-independent mathematical framework for characterizing operational fine tunings is developed, which is formulated in the language of category theory and functors and uses new light on the relation between nonlocality and generalized contextuality. Expand

#### References

SHOWING 1-10 OF 56 REFERENCES

Categories of quantum and classical channels

- Mathematics, Computer Science
- Quantum Inf. Process.
- 2016

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. Expand

Operational theories and Categorical quantum mechanics

- Physics, Mathematics
- 2012

A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to… Expand

Measurable Spaces and Their Effect Logic

- Mathematics, Computer Science
- 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
- 2013

The missing case of continuous probability is shown to fit in the same uniform framework for the semantics of computation and logic and involves an investigation of the logical aspects of the Giry monad on measurable spaces and of Lebesgue integration. Expand

Quantum Theory is a Quasi-stochastic Process Theory

- Mathematics, Physics
- 2017

There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we extend such representations to deal with… Expand

Some Identities for the Quantum Measure and its Generalizations

- Physics, Mathematics
- 1999

After a brief review of classical probability theory (measure theory), we present an observation (due to Sorkin) concerning an aspect of probability in quantum mechanics. Following Sorkin, we… Expand

ψ-epistemic theories: The role of symmetry

- Physics
- 2013

Formalizing an old desire of Einstein, “ψ-epistemic theories” try to reproduce the predictions of quantum mechanics, while viewing quantum states as ordinary probability distributions over underlying… Expand

Quantum mechanics as quantum measure theory

- Physics
- 1994

The additivity of classical probabilities is only the first in a hierarchy of possible sum rules, each of which implies its successor. The first and most restrictive sum rule of the hierarchy yields… Expand

Maximally epistemic interpretations of the quantum state and contextuality.

- Mathematics, Medicine
- Physical review letters
- 2013

The relationship between quantum contextuality and models of quantum theory in which the quantum state is maximally epistemic and preparation noncontextual models must be Kochen-Specker non contextual is examined to establish both the impossibility and the implication of Bell's theorem from an Einstein-Podolsky-Rosen-like argument. Expand

Reconstructing quantum theory from diagrammatic postulates

- Computer Science, Physics
- Quantum
- 2021

A reconstruction of finite-dimensional quantum theory where all of the postulates are stated entirely in diagrammatic terms, making them intuitive, and necessary additional axioms for a process theory to correspond to the Hilbert space model are characterised. Expand

Quantum Covers in Quantum Measure Theory

- Mathematics, Physics
- 2008

Sorkin’s recent proposal for a realist interpretation of quantum theory, the anhomomorphic logic or coevent approach, is based on the idea of a “quantum measure” on the space of histories. This is a… Expand