A structure theorem for generalized-noncontextual ontological models

• URL: http://arxiv.org/abs/2005.07161v3
• Date: Fri, 8 Mar 2024 16:06:36 GMT
• Title: A structure theorem for generalized-noncontextual ontological models
• Authors: David Schmid, John H. Selby, Matthew F. Pusey, and Robert W. Spekkens
• Abstract summary: We use a process-theoretic framework to prove that every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure. We extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• Learning Discrete Concepts in Latent Hierarchical Models [73.01229236386148]
  Learning concepts from natural high-dimensional data holds potential in building human-aligned and interpretable machine learning models. We formalize concepts as discrete latent causal variables that are related via a hierarchical causal model. We substantiate our theoretical claims with synthetic data experiments.
  arXiv  Detail & Related papers  (2024-06-01T18:01:03Z)
• What makes Models Compositional? A Theoretical View: With Supplement [60.284698521569936]
  We propose a general neuro-symbolic definition of compositional functions and their compositional complexity. We show how various existing general and special purpose sequence processing models fit this definition and use it to analyze their compositional complexity.
  arXiv  Detail & Related papers  (2024-05-02T20:10:27Z)
• Derivation of Standard Quantum Theory via State Discrimination [53.64687146666141]
  General Probabilistic Theories (GPTs) is a new information theoretical approach to single out standard quantum theory. We focus on the bound of the performance for an information task called state discrimination in general models. We characterize standard quantum theory out of general models in GPTs by the bound of the performance for state discrimination.
  arXiv  Detail & Related papers  (2023-07-21T00:02:11Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Non-standard entanglement structure of local unitary self-dual models as a saturated situation of repeatability in general probabilistic theories [61.12008553173672]
  We show the existence of infinite structures of quantum composite system such that it is self-dual with local unitary symmetry. We also show the existence of a structure of quantum composite system such that non-orthogonal states in the structure are perfectly distinguishable.
  arXiv  Detail & Related papers  (2021-11-29T23:37:58Z)
• A Topological Perspective on Causal Inference [10.965065178451104]
  We show that substantive assumption-free causal inference is possible only in a meager set of structural causal models. Our results show that inductive assumptions sufficient to license valid causal inferences are statistically unverifiable in principle. An additional benefit of our topological approach is that it easily accommodates SCMs with infinitely many variables.
  arXiv  Detail & Related papers  (2021-07-18T23:09:03Z)
• Varieties of contextuality based on probability and structural nonembeddability [0.0]
  Kochen and Specker's Theorem0 is a demarcation criterion for differentiating between those groups. Probability contextuality still allows classical models, albeit with nonclassical probabilities. The logico-algebraic "strong" form of contextuality characterizes collections of quantum observables that have no faithfully embedding into (extended) Boolean algebras.
  arXiv  Detail & Related papers  (2021-03-10T15:04:34Z)
• Unscrambling the omelette of causation and inference: The framework of causal-inferential theories [0.0]
  We introduce the notion of a causal-inferential theory using a process-theoretic formalism. Recasting the notions of operational and realist theories in this mold clarifies what a realist account of an experiment offers beyond an operational account. We argue that if one can identify axioms for a realist causal-inferential theory such that the notions of causation and inference can differ from their conventional (classical) interpretations, then one has the means of defining an intrinsically quantum notion of realism.
  arXiv  Detail & Related papers  (2020-09-07T17:58:22Z)
• Classicality without local discriminability: decoupling entanglement and complementarity [0.0]
  An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. We demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We also prove the existence, in the theory, of a universal processor.
  arXiv  Detail & Related papers  (2020-08-10T10:30:47Z)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)
• Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario [0.0]
  An operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed. A mathematical criterion, called unit separability, is formulated as the relevant classicality criterion. We reformulate our results in the framework of generalized probabilistic theories.
  arXiv  Detail & Related papers  (2020-03-13T18:00:05Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.