Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem

• URL: http://arxiv.org/abs/2109.13594v3
• Date: Fri, 13 Jan 2023 17:01:26 GMT
• Title: Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem
• Authors: Victoria J Wright and Ravi Kunjwal
• Abstract summary: The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. Bell's theorem and entanglement concern the nonclassicality of composite quantum systems.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen--Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements -- whose eigenstates exhibit "nonlocality without entanglement" -- are insufficient for such proofs.This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen--Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.

Related papers

• A de Finetti theorem for quantum causal structures [0.0]
  Similar questions for classical probabilities, quantum states, and quantum channels are beautifully answered by so-called "de Finetti theorems" We extend the result to processes with arbitrary causal structure, including indefinite causal order and multi-time, non-Markovian processes applicable to noisy quantum devices.
  arXiv  Detail & Related papers  (2024-03-15T14:00:59Z)
• 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)
• 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)
• Optimal Measurement Structures for Contextuality Applications [4.407033774951362]
  The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics. Recently specific substructures termed $01$-gadgets were shown to exist within KS proofs. We show these gadgets and their generalizations provide an optimal toolbox for contextuality applications.
  arXiv  Detail & Related papers  (2022-06-27T09:34:36Z)
• 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)
• Bell nonlocality in networks [62.997667081978825]
  Bell's theorem proves that quantum theory is inconsistent with local physical models. In the last decade, the investigation of nonlocality has moved beyond Bell's theorem to consider more sophisticated experiments. This review discusses the main concepts, methods, results and future challenges in the emerging topic of Bell nonlocality in networks.
  arXiv  Detail & Related papers  (2021-04-21T18:00:48Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
  arXiv  Detail & Related papers  (2021-02-17T19:00:04Z)
• Verification of Kochen-Specker-type quantum contextuality with a single photon [4.367566900982151]
  Contextuality provides one of the fundamental characterizations of quantum phenomena. We experimentally verify several state-dependent noncontextual models of the proofs for the Kochen-Specker theorem.
  arXiv  Detail & Related papers  (2020-10-11T15:17:57Z)
• Bell Non-Locality in Many Body Quantum Systems with Exponential Decay of Correlations [0.0]
  This paper uses Bell-inequalities as a tool to explore non-classical physical behaviours. We show that a large family of quantum many-body systems behave almost locally, violating Bell-inequalities (if so) only by a non-significant amount.
  arXiv  Detail & Related papers  (2020-06-09T22:41:44Z)
• On the complex behaviour of the density in composite quantum systems [62.997667081978825]
  We study how the probability of presence of a particle is distributed between the two parts of a composite fermionic system. We prove that it is a non-perturbative property and we find out a large/small coupling constant duality. Inspired by the proof of KAM theorem, we are able to deal with this problem by introducing a cut-off in energies that eliminates these small denominators.
  arXiv  Detail & Related papers  (2020-04-14T21:41:15Z)
• Proof of the Peres conjecture for contextuality [0.0]
  In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) of the Kochen-Specker theorem.
  arXiv  Detail & Related papers  (2020-01-21T17:13:52Z)

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.