Contextuality without incompatibility
- URL: http://arxiv.org/abs/2106.09045v3
- Date: Thu, 4 Apr 2024 09:59:52 GMT
- Title: Contextuality without incompatibility
- Authors: John H. Selby, David Schmid, Elie Wolfe, Ana Belén Sainz, Ravi Kunjwal, Robert W. Spekkens,
- Abstract summary: We show that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality.
We show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.
- Score: 0.7421845364041001
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.
Related papers
- Minimal operational theories: classical theories with quantum features [41.94295877935867]
We show that almost all minimal theories with conditioning satisfy two quantum no-go theorems.
As a relevant example, we construct a minimal toy-theory with conditioning where all systems are classical.
arXiv Detail & Related papers (2024-08-02T16:24:09Z) - Constrained Measurement Incompatibility from Generalised Contextuality of Steered Preparation [2.532202013576547]
In a bipartite Bell scenario, the measurement incompatibility in one wing is both necessary and sufficient to reveal the nonlocality.
We argue that it is the generalised contextuality that provides a restriction to the allowed degree of measurement incompatibility of any viable theory of nature.
arXiv Detail & Related papers (2024-06-23T12:30:23Z) - Measurement incompatibility is strictly stronger than disturbance [44.99833362998488]
Heisenberg argued that measurements irreversibly alter the state of the system on which they are acting, causing an irreducible disturbance on subsequent measurements.
This article shows that measurement incompatibility is indeed a sufficient condition for irreversibility of measurement disturbance.
However, we exhibit a toy theory, termed the minimal classical theory (MCT), that is a counterexample for the converse implication.
arXiv Detail & Related papers (2023-05-26T13:47:00Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality.
Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
arXiv Detail & Related papers (2023-05-19T13:15:48Z) - Addressing some common objections to generalized noncontextuality [0.0]
We respond to criticisms about the definition of generalized noncontextuality and the possibility of testing it experimentally.
One objection is that the existence of a classical record of which laboratory procedure was actually performed in each run of an experiment implies that the operational equivalence relations that are a necessary ingredient of any proof of the failure of noncontextuality do not hold.
arXiv Detail & Related papers (2023-02-14T19:00:04Z) - What is nonclassical about uncertainty relations? [0.0]
Uncertainty relations express limits on the extent to which the outcomes of distinct measurements on a single state can be made jointly predictable.
We show that for a class of theories satisfying a particular symmetry property, the functional form of this predictability tradeoff is constrained by noncontextuality to be below a linear curve.
arXiv Detail & Related papers (2022-07-24T17:19:47Z) - Incompatibility of observables, channels and instruments in information
theories [68.8204255655161]
We study the notion of compatibility for tests of an operational probabilistic theory.
We show that a theory admits of incompatible tests if and only if some information cannot be extracted without disturbance.
arXiv Detail & Related papers (2022-04-17T08:44:29Z) - Fairness Under Feature Exemptions: Counterfactual and Observational
Measures [34.5472206536785]
We propose an information-theoretic decomposition of the total disparity into two components.
A non-exempt component quantifies the part that cannot be accounted for by the critical features, and an exempt component quantifies the remaining disparity.
We perform case studies to show how one can audit/train models while reducing non-exempt disparity.
arXiv Detail & Related papers (2020-06-14T19:14:00Z) - Sum-of-squares decompositions for a family of noncontextuality
inequalities and self-testing of quantum devices [0.0]
Violation of a noncontextuality inequality or the phenomenon referred to quantum contextuality' is a fundamental feature of quantum theory.
We derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions.
We prove that our inequalities can be used for self-testing of three-dimensional quantum state and measurements.
arXiv Detail & Related papers (2020-02-27T16:01:53Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
We propose a natural definition of unforgeability against quantum adversaries called blind unforgeability.
This notion defines a function to be predictable if there exists an adversary who can use "partially blinded" access to predict values.
We show the suitability of blind unforgeability for supporting canonical constructions and reductions.
arXiv Detail & Related papers (2018-03-10T05:31:38Z)
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.