Proof of the Peres conjecture for contextuality

• URL: http://arxiv.org/abs/2001.07656v2
• Date: Wed, 10 Jun 2020 11:51:40 GMT
• Title: Proof of the Peres conjecture for contextuality
• Authors: Zhen-Peng Xu, Jing-Ling Chen, Otfried G\"uhne
• Abstract summary: 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.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [A. Cabello et al., Phys. Lett. A 212, 183 (1996)] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.

Related papers

• A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
  We show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device. Our work can be seen as using cryptography to enforce spatial separation within subsystems of a single quantum device.
  arXiv  Detail & Related papers  (2024-05-10T19:30:23Z)
• 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)
• Revisiting Quantum Contextuality in an Algebraic Framework [0.0]
  We discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems. Our extracontextual approach requires however a way to describe the Heisenberg cut''
  arXiv  Detail & Related papers  (2023-04-16T12:06:44Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical. We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more. Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
  arXiv  Detail & Related papers  (2023-03-02T14:18:17Z)
• 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)
• Generalized Gleason theorem and finite amount of information for the context [0.0]
  Quantum processes cannot be reduced to classical processes without specifying the context in the description of a measurement procedure. We consider a class of hidden variable theories by assuming that the amount of information about the measurement context is finite.
  arXiv  Detail & Related papers  (2022-06-23T16:55:50Z)
• Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem [0.0]
  The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. Bell's theorem and entanglement concern the nonclassicality of composite quantum systems.
  arXiv  Detail & Related papers  (2021-09-28T10:10:53Z)
• 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)
• From a quantum theory to a classical one [117.44028458220427]
  We present and discuss a formal approach for describing the quantum to classical crossover. The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
  arXiv  Detail & Related papers  (2020-04-01T09:16:38Z)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  Bell's experiment description assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This result is complementary to a recently published one demonstrating that non-Locality is necessary to describe said experiment. It is concluded that, within the framework of Quantum Mechanics, there is absolutely no reason to believe in the existence of non-Local effects.
  arXiv  Detail & Related papers  (2020-02-27T15:04:08Z)
• Probing the Universality of Topological Defect Formation in a Quantum Annealer: Kibble-Zurek Mechanism and Beyond [46.39654665163597]
  We report on experimental tests of topological defect formation via the one-dimensional transverse-field Ising model. We find that the quantum simulator results can indeed be explained by the KZM for open-system quantum dynamics with phase-flip errors. This implies that the theoretical predictions of the generalized KZM theory, which assumes isolation from the environment, applies beyond its original scope to an open system.
  arXiv  Detail & Related papers  (2020-01-31T02:55:35Z)

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.