The logical structure of contextuality and nonclassicality

• URL: http://arxiv.org/abs/2506.15071v2
• Date: Fri, 20 Jun 2025 11:30:59 GMT
• Title: The logical structure of contextuality and nonclassicality
• Authors: Songyi Liu, Yongjun Wang, Baoshan Wang, Chang He, Jincheng Wang,
• Abstract summary: It is not clear whether contextuality fully reveals the nonclassical aspects of quantum mechanics.<n>We propose a mathematical framework based on logic algebra to compare classical and quantum experiments.<n>We show that it is possible to witness quantum contextuality with simplified measurement configurations.
• Score: 2.832314799795026
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Quantum contextuality is known as the fundamental feature of quantum mechanics. It is not clear whether contextuality fully reveals the nonclassical aspects of quantum mechanics. To answer this question, we propose a mathematical framework based on logic algebra to compare classical and quantum experiments. With the framework, we precisely characterize the contextuality and nonclassicality, reveal that the former is a sufficient but not necessary condition for the latter, and present a type of quantum experiments which exhibit nonclassicality without contextuality. We also point out that the property of quantum systems is captured by the projector generators. Therefore, it is possible to witness quantum contextuality with simplified measurement configurations. For example, we show that 12 projectors witness the Kochen-Specker contextuality, and 3 measurements are sufficient to witness the quantum contextuality, as compared to the 4 presented in the compatibility graph approach.

Related papers

• Determining Strong Contextuality on rank-one Projectors [1.9266988189076035]
  Yu-Oh set is the minimal quantum system with state-independent contextuality.<n>We show that Yu-Oh set does not have quantum states with strong contextuality.
  arXiv  Detail & Related papers  (2025-04-23T09:10:55Z)
• Observation of Quantum Darwinism and the Origin of Classicality with Superconducting Circuits [9.09683951826704]
  How can we rationalize everyday classical observations from an inherently quantum world?<n>Quantum Darwinism offers a compelling framework to explain this emergence of classicality.<n>We observe the highly structured branching quantum states that support classicality and the saturation of quantum mutual information.
  arXiv  Detail & Related papers  (2025-04-01T13:33:32Z)
• Operationally classical simulation of quantum states [41.94295877935867]
  A classical state-preparation device cannot generate superpositions and hence its emitted states must commute.<n>We show that no such simulation exists, thereby certifying quantum coherence.<n>Our approach is a possible avenue to understand how and to what extent quantum states defy generic models based on classical devices.
  arXiv  Detail & Related papers  (2025-02-03T15:25:03Z)
• Graph structure of quantum mechanics [3.9474648943255937]
  The quantum mechanics is proved to admit no hidden-variable in 1960s, which means the quantum systems are contextual.<n>We develop the approach of partial Boolean algebra to characterize the contextuality theory with local consistency and exclusivity.<n>Our conclusions indicate that the quantum mechanics is a graph-structured combination of multiple hidden-variable theories, and provide a precise mathematical framework for quantum contextuality.
  arXiv  Detail & Related papers  (2024-11-27T08:49:12Z)
• Event-based quantum contextuality theory [9.808029647992774]
  This paper overcomes the challenges faced by some known contextuality theories by establishing an event-based contextuality theory.<n>Our theory provides a precise mathematical framework for quantum contextuality, which can handle the scenarios composed of general projectors.<n>We conclude that the Kochen-Specker contextuality is equivalent to the state-independent strong contextuality for finite dimensional quantum systems.
  arXiv  Detail & Related papers  (2024-10-21T08:55:43Z)
• 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)
• Classical Verification of Quantum Learning [42.362388367152256]
  We develop a framework for classical verification of quantum learning. We propose a new quantum data access model that we call "mixture-of-superpositions" quantum examples. Our results demonstrate that the potential power of quantum data for learning tasks, while not unlimited, can be utilized by classical agents.
  arXiv  Detail & Related papers  (2023-06-08T00:31:27Z)
• Experimental Test of Contextuality based on State Discrimination with a Single Qubit [16.530085733940528]
  We extend the scope of experimental test of contextuality to a minimal quantum system of only two states (qubit) We observe a substantial violation of a no-go inequality derived by assuming non-contextuality. We also quantify the contextual advantage of state discrimination and the tolerance against quantum noises.
  arXiv  Detail & Related papers  (2022-06-22T04:03:04Z)
• On the Quantum-like Contextuality of Ambiguous Phrases [2.6381163133447836]
  We show that meaning combinations in ambiguous phrases can be modelled in the sheaf-theoretic framework for quantum contextuality. Using the framework of Contextuality-by-Default (CbD), we explore the probabilistic variants of these and show that CbD-contextuality is also possible.
  arXiv  Detail & Related papers  (2021-07-19T13:23:42Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify quantum advantage of an untrusted prover. In this paper, we give two proof of quantumness constructions in which the prover need only perform constant-depth quantum circuits.
  arXiv  Detail & Related papers  (2021-07-05T17:45:41Z)
• Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
  Two particles are identical if all their intrinsic properties, such as spin and charge, are the same. Quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. We show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.
  arXiv  Detail & Related papers  (2021-05-10T13:11:59Z)
• Ruling out real-valued standard formalism of quantum theory [19.015836913247288]
  A quantum game has been developed to distinguish standard quantum theory from its real-number analog. We experimentally implement the quantum game based on entanglement swapping with a state-of-the-art fidelity of 0.952(1). Our results disprove the real-number formulation and establish the indispensable role of complex numbers in the standard quantum theory.
  arXiv  Detail & Related papers  (2021-03-15T03:56:13Z)
• Operational Resource Theory of Imaginarity [48.7576911714538]
  We show that quantum states are easier to create and manipulate if they only have real elements. As an application, we show that imaginarity plays a crucial role for state discrimination.
  arXiv  Detail & Related papers  (2020-07-29T14:03: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.