Abstract:Quantum 8, 1283 (2024). https://doi.org/10.22331/q-2024-03-14-1283 It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model. Existing works on generalized noncontextuality have focused on experimental scenarios having a simple structure: typically, prepare-measure scenarios. Here, we formally extend the framework of ontological models as well as the principle of generalized noncontextuality to arbitrary compositional scenarios. We leverage a process-theoretic framework to prove that, under some reasonable assumptions, every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure — in short, it corresponds to a frame representation which is not overcomplete. One consequence of this theorem is that the largest number of ontic states possible in any such model is given by the dimension of the associated generalized probabilistic theory. This constraint is useful for generating noncontextuality no-go theorems as well as techniques for experimentally certifying contextuality. Along the way, we extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios. Specifically, we prove a correspondence between the following three notions of classical explainability of an operational theory: (i) existence of a noncontextual ontological model for it, (ii) existence of a positive quasiprobability representation for the generalized probabilistic theory it defines, and (iii) existence of an ontological model for the generalized probabilistic theory it defines.

Partial Model Theory -- Ultraproducts and Compactness

Ultraproducts in abstract categorical logic

Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

Model Theory for Real-valued Structures

Correspondences, Ultraproducts and Model Theory

Constructing Quasiminimal Structures

Univalent Foundations of Constructive Algebraic Geometry

The equivariant model structure on cartesian cubical sets

A structure theorem for generalized-noncontextual ontological models

Unifying cubical and multimodal type theory

Continuous model theories for von Neumann algebras

A duality theoretic view on limits of finite structures

Model Theory of Compact Complex Manifolds with an Automorphism

The Algebra of Conditional Sets and the Concepts of Conditional Topology and Compactness

Approximation Theory and Elementary Submodels

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

The enriched Thomason model structure on 2-categories

Model category extensions of the Pirashvili-Słomińska theorems

Implicit Kripke Semantics and Ultraproducts in Stratified Institutions

Strong minimal model theorem and Massey products