Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1905.09055 · Electronic Proceedings in Theoretical Computer Science

Ontological models for quantum theory as functors

Alexandru Gheorghiu, Chris Heunen

Published Apr 30, 2020• 4 citations
arXivHTMLPDF

Abstract

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 functors that adhere to the Schr\"odinger equation. We also prove that it is possible to have epistemic functors that take values in signed Markov kernels.

DOI
10.4204/eptcs.318.12

Related papers

Do ψ-ontic models capture the reality of quantum states? A measure-theoretic response.

Doyeong Kim

Ontological models of quantum theory seek to realize quantum theory as a statistical theory over underlying degrees of freedom, whose measurement statistics are described by classical probability theory. Harrigan and Spekkens (2010) proposed a distinction between ontological models in which pure quantum states represent states of reality (ψ-ontic) or knowledge about reality (ψ-epistemic) depending on whether their associated probability distributions overlap, subsequently formalized into measure-theoretic form by Leifer (2014). In this thesis, I examine whether this ψ-ontic/epistemic distinction truly captures the intended difference between ontic and epistemic conceptions of pure states. I consider some mathematical alternatives relating to different notions of non-overlap between probability measures and compare them. I discuss the implications of these results for quantum ontology theorems – theorems that rule out ψ-epistemic readings of pure states under certain assumptions about the ontological model – such as the Pusey-Barrett-Rudolph Theorem (2012).

•Dec 22, 2025•0 citations

Understanding sequential measurements in psi-epistemic ontological models

Joshua B. Ruebeck

Since the famous debates of Einstein & Bohr, physicists have argued about the nature of the quantum state. Is it best thought of as describing the-way-things-are out there in the world, or merely as a description of our knowledge of such things? In more recent years, this has been termed the ψ-epistemic/ψ-ontic debate, and that distinction has been given a mathematical definition within the ontological models formalism. This formalism is a framework for describing a large class of interpretations of quantum mechanics. Here we show that consideration of sequential measurements, and the fact that the quantum state changes during measurements, has been a neglected topic in this area as it places nontrivial restrictions on the structure of ψ-epistemic ontological models. \n \nWe do this by finding a general restriction on the structure of ψ-epistemic models, although not one that is strong enough to rule them out categorically. We then apply this restriction to all of the known examples of ψ-epistemic ontological models and show that they can’t represent sequential measurements. We also present a new version of the ontological models formalism, based on hidden Markov models, which we develop briefly and describe how it may be useful for either proving a no-go theorem (i.e. ‘ψ-epistemic models can’t exist’) or for learning more about the structure of ψ-epistemic models and how to construct them.

•Aug 6, 2019•0 citations

On the connection between the categorical and the modallogic approaches to Quantum Mechanics

Giovanni Cinà

This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Modal Logic frame from a small category and a functor into the category of sets and relations. Second, we extend such methodology to locally small categories. Third, we apply it to the category of finite-dimensional Hilbert spaces to recover the semantics of Dynamic Quantum Logic. This process prompts new lines of research. At a general level, we study some logics arising from wide classes of small categories. In the case of Hilbert spaces, we investigate how to obtain richer semantics, containing probabilistic information. We design a logic for this semantics and prove that, via translation, it preserves the validities of Dynamic Quantum Logic.

•Jan 1, 2013•0 citations

A Shortcut from Categorical Quantum Theory to Convex Operational Theories

Alexander Wilce

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 (recently reincarnated as "generalized probabilistic theories"). In the former, the objects of a symmetric monoidal category C are understood to represent physical systems and morphisms, physical processes. Elements of the monoid C(I,I) are interpreted somewhat metaphorically as probabilities. Any monoid homomorphism from the scalars of a symmetric monoidal category C gives rise to a covariant functor V_o from C to a category of dual-pairs of ordered vector spaces. Specifying a natural transformation u from V_o to 1 (where 1 is the trivial such functor) allows us to identify normalized states, and, thus, to regard the image category V_o(C) as consisting of concrete operational models. In this case, if A and B are objects in C, then V_o(A x B) defines a non-signaling composite of V_o(A) and V_o(B). Provided either that C satisfies a "local tomography" condition, or that C is compact closed, this defines a symmetric monoidal structure on the image category, and makes V_o a (strict) monoidal functor.

arXiv:1803.00707•Electronic Proceedings in Theoretical Computer Science•Feb 27, 2018•4 citations

On the Structure of Abstract H*-Algebras

Kevin Dunne

Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal approach to quantum theory H*-algebras provide an axiomatisation of states and observables. Here we show that H*-algebras naturally correspond with the notions of states and observables in the generalised topos approach to quantum theory. We then combine these results with the dagger-kernel approach to quantum logic of Heunen and Jacobs, which we use to prove a structure theorem for H*-algebras. This structure theorem is a generalisation of the structure theorem of Ambrose for H*-algebras the category of Hilbert spaces.

arXiv:1803.00705•Electronic Proceedings in Theoretical Computer Science•Feb 27, 2018•1 citation

A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics

Olivier Brunet

In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of model theory in our study. In particular, we show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems. Moreover, we provide a characterization of the models of our formal theory, thus providing new insights in the study of hidden variable models of quantum theory.

quant-pharXiv:2602.16368•Feb 19, 2026•0 citations
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 functors that adhere to the Schr"odinger equation. We also prove that it is possible to have epistemic functors that take values in signed Markov kernels.
Ontological models of quantum theory seek to realize quantum theory as a statistical theory over underlying degrees of freedom, whose measurement statistics are described by classical probability theory. Harrigan and Spekkens (2010) proposed a distinction between ontological models in which pure quantum states represent states of reality (ψ-ontic) or knowledge about reality (ψ-epistemic) depending on whether their associated probability distributions overlap, subsequently formalized into measure-theoretic form by Leifer (2014). In this thesis, I examine whether this ψ-ontic/epistemic distinction truly captures the intended difference between ontic and epistemic conceptions of pure states. I consider some mathematical alternatives relating to different notions of non-overlap between probability measures and compare them. I discuss the implications of these results for quantum ontology theorems – theorems that rule out ψ-epistemic readings of pure states under certain assumptions about the ontological model – such as the Pusey-Barrett-Rudolph Theorem (2012).
Since the famous debates of Einstein & Bohr, physicists have argued about the nature of the quantum state. Is it best thought of as describing the-way-things-are out there in the world, or merely as a description of our knowledge of such things? In more recent years, this has been termed the ψ-epistemic/ψ-ontic debate, and that distinction has been given a mathematical definition within the ontological models formalism. This formalism is a framework for describing a large class of interpretations of quantum mechanics. Here we show that consideration of sequential measurements, and the fact that the quantum state changes during measurements, has been a neglected topic in this area as it places nontrivial restrictions on the structure of ψ-epistemic ontological models. \n \nWe do this by finding a general restriction on the structure of ψ-epistemic models, although not one that is strong enough to rule them out categorically. We then apply this restriction to all of the known examples of ψ-epistemic ontological models and show that they can’t represent sequential measurements. We also present a new version of the ontological models formalism, based on hidden Markov models, which we develop briefly and describe how it may be useful for either proving a no-go theorem (i.e. ‘ψ-epistemic models can’t exist’) or for learning more about the structure of ψ-epistemic models and how to construct them.
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Modal Logic frame from a small category and a functor into the category of sets and relations. Second, we extend such methodology to locally small categories. Third, we apply it to the category of finite-dimensional Hilbert spaces to recover the semantics of Dynamic Quantum Logic. This process prompts new lines of research. At a general level, we study some logics arising from wide classes of small categories. In the case of Hilbert spaces, we investigate how to obtain richer semantics, containing probabilistic information. We design a logic for this semantics and prove that, via translation, it preserves the validities of Dynamic Quantum Logic.
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 (recently reincarnated as "generalized probabilistic theories"). In the former, the objects of a symmetric monoidal category C are understood to represent physical systems and morphisms, physical processes. Elements of the monoid C(I,I) are interpreted somewhat metaphorically as probabilities. Any monoid homomorphism from the scalars of a symmetric monoidal category C gives rise to a covariant functor V_o from C to a category of dual-pairs of ordered vector spaces. Specifying a natural transformation u from V_o to 1 (where 1 is the trivial such functor) allows us to identify normalized states, and, thus, to regard the image category V_o(C) as consisting of concrete operational models. In this case, if A and B are objects in C, then V_o(A x B) defines a non-signaling composite of V_o(A) and V_o(B). Provided either that C satisfies a "local tomography" condition, or that C is compact closed, this defines a symmetric monoidal structure on the image category, and makes V_o a (strict) monoidal functor.
Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal approach to quantum theory H*-algebras provide an axiomatisation of states and observables. Here we show that H*-algebras naturally correspond with the notions of states and observables in the generalised topos approach to quantum theory. We then combine these results with the dagger-kernel approach to quantum logic of Heunen and Jacobs, which we use to prove a structure theorem for H*-algebras. This structure theorem is a generalisation of the structure theorem of Ambrose for H*-algebras the category of Hilbert spaces.
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of model theory in our study. In particular, we show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems. Moreover, we provide a characterization of the models of our formal theory, thus providing new insights in the study of hidden variable models of quantum theory.