pith. machine review for the scientific record. sign in

arxiv: 2604.14319 · v2 · submitted 2026-04-15 · 🪐 quant-ph · physics.hist-ph

Recognition: unknown

Warring Contextualities -- Provably Classical vs Provably Nonclassical

Enrico Bozzetto , Jonte R. Hance
Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:53 UTC · model grok-4.3

classification 🪐 quant-ph physics.hist-ph
keywords contextualityKochen-SpeckerSpekkensquantum foundationsclassicalitynonclassicalityhierarchy
0
0 comments X

The pith

Kochen-Specker contextuality generalizes fundamental nonclassicality while Spekkens noncontextuality generalizes classicality, allowing the two to sit as stages in one hierarchy.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the two prominent but rarely compared definitions of contextuality can be aligned rather than treated as rivals. Kochen-Specker contextuality captures the strongest sense in which a system must be nonclassical, while Spekkens noncontextuality captures the sense in which a system can still be treated as classical. Placing them at different points in a shared scale of classicality lets researchers move between the two frameworks without contradiction. This matters because many results in quantum foundations are stated in one language but not the other, so a common hierarchy makes direct comparison possible.

Core claim

Kochen-Specker contextuality provides a generalisation of the idea of a system being fundamentally nonclassical, while Spekkens noncontextuality provides a generalisation of the idea of a system being classical. The two notions therefore occupy different stages in a single hierarchy of classicality and nonclassicality.

What carries the argument

A hierarchy of classicality/nonclassicality in which Kochen-Specker contextuality marks the nonclassical end and Spekkens noncontextuality marks the classical end.

If this is right

  • Results proved with one definition of contextuality become comparable with results proved with the other.
  • Systems can be classified as classical according to Spekkens yet nonclassical according to Kochen-Specker without logical inconsistency.
  • The hierarchy supplies a scale on which the strength of nonclassicality can be ranked across different quantum scenarios.
  • Apparent conflicts in the literature that arise only from using different definitions are resolved by reference to position on the scale.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Intermediate notions of contextuality might be definable between the two existing ones, filling gaps in the hierarchy.
  • Experimental protocols could be designed to measure how far a given device sits along the classical-to-nonclassical scale.
  • The same ordering might be applied to other quantum resources such as entanglement or Bell nonlocality.

Load-bearing premise

The two contextuality definitions can be placed at different points in one hierarchy while still preserving the original operational meanings of each.

What would settle it

An explicit example, either mathematical or experimental, in which a single system is provably classical under the Spekkens definition and provably nonclassical under the Kochen-Specker definition, yet no consistent ordering between the two classifications can be maintained.

Figures

Figures reproduced from arXiv: 2604.14319 by Enrico Bozzetto, Jonte R. Hance.

Figure 1
Figure 1. Figure 1: FIG. 1: Relations between Fig. 1a Bell-Nonlocality, [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: shows the process of constructing the critical SI-C set. Here, every node represents a rank-1 projector. A continuous vertical line between d ≥ 3 nodes indicates that they are mutually orthogonal. Hence, in dimension d, in any KS assignment, one of them has to be assigned 1. A dashed line between two nodes indicates that there is a TIFS between (and including) them. Hence, in any KS assignment, both of the… view at source ↗
read the original abstract

In the literature, there are two differing definitions of contextuality: Kochen and Specker's, and Spekkens' (or ``generalised''). However, researchers using one of these definitions rarely consider the other, meaning comparative analysis of these two notions is rare. In this paper, we advance the idea that Kochen-Specker contextuality provides a generalisation of the idea of system being fundamentally nonclassical, while Spekkens' noncontextuality provides a generalisation of the idea of a system being classical. This allows us to reconcile the two approaches, as different stages in a hierarchy of classicality/nonclassicality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper claims that Kochen-Specker contextuality generalizes the notion of a system being fundamentally nonclassical, while Spekkens' noncontextuality generalizes the notion of a system being classical. This allows the two definitions to be reconciled as successive stages in a single hierarchy of classicality/nonclassicality, addressing the fact that the two notions are rarely compared directly in the literature.

Significance. If the hierarchy can be substantiated with precise relations that preserve operational content, the work would offer a useful conceptual unification between two prominent but seldom-interacted approaches to contextuality. It could clarify how different operational definitions of nonclassicality relate and inform future comparisons in quantum foundations. The paper's value is primarily interpretive rather than technical, resting on the strength of the proposed reconciliation.

major comments (1)
  1. [Abstract and hierarchy proposal] Abstract and the section advancing the hierarchy: the central reconciliation claim—that KS contextuality generalizes 'fundamentally nonclassical' while Spekkens noncontextuality generalizes 'classical'—is presented without an explicit mapping, inclusion, or implication relating KS noncontextual value assignments (0-1 assignments to compatible projectors) to Spekkens noncontextual ontological models (context-independent response functions). This relation is load-bearing for the hierarchy to avoid inconsistent ordering between sharp and general measurements.
minor comments (1)
  1. [Title and introduction] The title uses 'Warring Contextualities' while the text argues for reconciliation; a brief clarification of this framing in the introduction would improve reader expectations.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their constructive review and for identifying a key area where our hierarchy proposal can be strengthened. We address the major comment below and confirm that we will revise the manuscript to provide the requested explicit mapping.

read point-by-point responses

  1. Referee: [Abstract and hierarchy proposal] Abstract and the section advancing the hierarchy: the central reconciliation claim—that KS contextuality generalizes 'fundamentally nonclassical' while Spekkens noncontextuality generalizes 'classical'—is presented without an explicit mapping, inclusion, or implication relating KS noncontextual value assignments (0-1 assignments to compatible projectors) to Spekkens noncontextual ontological models (context-independent response functions). This relation is load-bearing for the hierarchy to avoid inconsistent ordering between sharp and general measurements.

    Authors: We agree that the current presentation of the hierarchy is primarily conceptual and lacks an explicit formal relation between KS noncontextual value assignments and Spekkens noncontextual ontological models. This omission leaves open the possibility of inconsistent ordering when moving between sharp measurements (where KS contextuality is defined via 0-1 assignments to compatible projectors) and more general measurements (where Spekkens noncontextuality uses context-independent response functions). In the revised manuscript we will add a dedicated subsection that supplies the missing mapping: we will demonstrate that every KS-noncontextual assignment corresponds to a deterministic, context-independent response function in a Spekkens ontological model restricted to sharp measurements, while Spekkens noncontextuality permits probabilistic responses for general measurements. This establishes KS contextuality as a stricter notion of nonclassicality that sits above the classicality captured by Spekkens noncontextuality, thereby preserving a consistent hierarchy. The addition will be limited to clarifying the relation and will not alter the paper's interpretive focus or scope. revision: yes

Circularity Check

0 steps flagged

No circularity: conceptual hierarchy proposal is self-contained interpretive framework

full rationale

The paper presents an idea for reconciling KS and Spekkens notions of contextuality by positioning them as stages in a hierarchy of classicality/nonclassicality, with KS generalizing fundamental nonclassicality and Spekkens generalizing classicality. No equations, fitted parameters, value assignments, or derivations appear that could reduce by construction to inputs. The abstract and description frame the contribution explicitly as advancing an 'idea' rather than proving a theorem or mapping via self-citation chains. No load-bearing self-citations, ansatzes, or renamings of known results are invoked in the provided text. The central claim therefore remains an independent interpretive proposal without reduction to its own definitions or prior outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard definitions from Kochen-Specker and Spekkens without introducing new free parameters or invented entities in the abstract.

axioms (1)
  • domain assumption Kochen-Specker and Spekkens definitions of contextuality are well-established and distinct in the literature.
    Invoked to set up the comparison and hierarchy.

pith-pipeline@v0.9.0 · 5400 in / 1173 out tokens · 16850 ms · 2026-05-10T12:53:36.531865+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Classical Limit: Dissipation of Spekkens' Generalised Contextuality under Decoherence

    quant-ph 2026-05 unverdicted novelty 5.0

    Spekkens contextual systems become noncontextual after a decoherence threshold, with some quasiprobability representations better at revealing nonclassicality.

  2. Classical Limit: Dissipation of Spekkens' Generalised Contextuality under Decoherence

    quant-ph 2026-05 unverdicted novelty 5.0

    A Spekkens contextual system of odd-dimensional stabilizer plus magic state becomes noncontextual under depolarizing decoherence past a threshold, with quasiprobability representations differing in how well they detec...

Reference graph

Works this paper leans on

89 extracted references · 62 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Using Sheaf Theory to show Bell-Nonlocality implies Kochen-Specker Contextuality In the sheaf-theoretic framework, both contextuality and nonlocality can be characterised in terms of the ex- istence of global sections of a distribution presheaf. In this approach, classicality is identified with the possibil- ity of consistently extending locally observed ...

  2. [2]

    Obviously in general this is not true, since Bell-nonlocality requires a multipartite system, while KS contextuality can arise in single sys- tems (e.g., a single qutrit)

    Kochen-Specker Contextuality implies Bell-Nonlocality (in certain scenarios) We would like now to demonstrate the reverse implica- tion: that Kochen-Specker contextuality (in certain sce- narios) implies Bell-nonlocality. Obviously in general this is not true, since Bell-nonlocality requires a multipartite system, while KS contextuality can arise in singl...

  3. [3]

    Here we show that Spekkens contextuality does not necessarily imply Bell-nonlocality for a two qubit sys- tem, and this can be shown using the Werner state

    Spekkens Contextuality does not imply Bell-Nonlocality We showed in the previous section that Kochen- Specker state-independent contextuality implies Bell- nonlocality for any two maximally entangled qubit sys- tem. Here we show that Spekkens contextuality does not necessarily imply Bell-nonlocality for a two qubit sys- tem, and this can be shown using th...

  4. [4]

    Kochen-Specker contextuality

    Geometrically proving that Bell-Nonlocality implies Spekkens Contextuality Let us now consider the reverse implication: whether Bell-nonlocality implies Spekkens contextuality. Above, we saw that both Bell nonlocality and Spekkens con- textuality can be treated geometrically. Section IV B 1 showed that Bell nonlocality consists of the set of be- haviours ...

  5. [5]

    Contextuality in measurement- based quantum computation.Physical Review A, 88(2), August 2013.doi:10.1103/physreva.88.022322

    Robert Raussendorf. Contextuality in measurement- based quantum computation.Physical Review A, 88(2), August 2013.doi:10.1103/physreva.88.022322

    work page doi:10.1103/physreva.88.022322 2013

  6. [6]

    Howard, J

    Mark Howard, Joel Wallman, Victor Veitch, and Joseph Emerson. Contextuality supplies the ‘magic’ for quantum computation.Nature, 510(7505):351–355, June 2014. doi:10.1038/nature13460

    work page doi:10.1038/nature13460 2014

  7. [7]

    Quantum computational advantage implies contextuality, 2021

    Farid Shahandeh. Quantum computational advantage implies contextuality, 2021. URL:https://arxiv.org/ abs/2112.00024,arXiv:2112.00024

    work page arXiv 2021

  8. [8]

    Galv˜ ao, and Fabio Sciarrino

    Taira Giordani, Rafael Wagner, Chiara Esposito, Anita Camillini, Francesco Hoch, Gonzalo Carvacho, Ciro Pen- tangelo, Francesco Ceccarelli, Simone Piacentini, Andrea Crespi, Nicol` o Spagnolo, Roberto Osellame, Ernesto F. Galv˜ ao, and Fabio Sciarrino. Experimental certifica- tion of contextuality, coherence, and dimension in a pro- 17 grammable universal...

    2023

  9. [9]

    Contextual advantages across two-state discrimination strategies.New Journal of Physics, 2026.doi:10.1088/1367-2630/ae5a53

    Kieran Flatt and Joonwoo Bae. Contextual advantages across two-state discrimination strategies.New Journal of Physics, 2026.doi:10.1088/1367-2630/ae5a53

    work page doi:10.1088/1367-2630/ae5a53 2026

  10. [10]

    The problem of hid- den variables in quantum mechanics.Journal of Mathe- matics and Mechanics, 17(1):59–87, 1967

    Simon Kochen and Ernst P Specker. The problem of hid- den variables in quantum mechanics.Journal of Mathe- matics and Mechanics, 17(1):59–87, 1967

    1967

  11. [11]

    Budroni, A

    Costantino Budroni, Ad´ an Cabello, Otfried G¨ uhne, Matthias Kleinmann, and Jan- ˚Ake Larsson. Kochen- specker contextuality.Rev. Mod. Phys., 94:045007, Dec 2022.doi:10.1103/RevModPhys.94.045007

    work page doi:10.1103/revmodphys.94.045007 2022

  12. [12]

    Bell - Kochen - Specker theorem for any finite dimension.Jour- nal of Physics A: Mathematical and General, 29(5):1025, mar 1996.doi:10.1088/0305-4470/29/5/016

    Ad´ an Cabello and Guillermo Garc´ ıa-Alcaine. Bell - Kochen - Specker theorem for any finite dimension.Jour- nal of Physics A: Mathematical and General, 29(5):1025, mar 1996.doi:10.1088/0305-4470/29/5/016

    work page doi:10.1088/0305-4470/29/5/016 1996

  13. [13]

    Graph-theoretic approach to quantum correlations

    Ad´ an Cabello, Simone Severini, and Andreas Win- ter. Graph-theoretic approach to quantum correlations. Phys. Rev. Lett., 112:040401, Jan 2014.doi:10.1103/ PhysRevLett.112.040401

    2014

  14. [14]

    Induced Coherence, Vacuum Fields, and Complementarity in Biphoton Generation

    Ad´ an Cabello, Matthias Kleinmann, and Costantino Budroni. Necessary and sufficient condition for quan- tum state-independent contextuality.Phys. Rev. Lett., 114:250402, Jun 2015.doi:10.1103/PhysRevLett.114. 250402

    work page doi:10.1103/physrevlett.114 2015

  15. [15]

    Portillo, Alberto Sol´ ıs, and Karl Svozil

    Ad´ an Cabello, Jos´ e R. Portillo, Alberto Sol´ ıs, and Karl Svozil. Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden-variable the- ories.Phys. Rev. A, 98:012106, Jul 2018.doi:10.1103/ PhysRevA.98.012106

    2018

  16. [16]

    Converting contextuality into nonlocality

    Ad´ an Cabello. Converting contextuality into nonlocality. Physical Review Letters, 127(7), August 2021.doi:10. 1103/physrevlett.127.070401

    2021

  17. [18]

    , & author Brandenburger, A

    Samson Abramsky and Adam Brandenburger. The sheaf- theoretic structure of non-locality and contextuality.New Journal of Physics, 13(11):113036, November 2011.doi: 10.1088/1367-2630/13/11/113036

    work page doi:10.1088/1367-2630/13/11/113036 2011

  18. [20]

    Spekkens

    Robert W. Spekkens. Negativity and contextuality are equivalent notions of nonclassicality.Phys. Rev. Lett., 101:020401, Jul 2008.doi:10.1103/PhysRevLett.101. 020401

    work page doi:10.1103/physrevlett.101 2008

  19. [21]

    Leifer and Owen J

    Matthew S. Leifer and Owen J. E. Maroney. Maximally epistemic interpretations of the quantum state and con- textuality.Physical Review Letters, 110(12), March 2013. doi:10.1103/physrevlett.110.120401

    work page doi:10.1103/physrevlett.110.120401 2013

  20. [22]

    Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W

    David Schmid, John H. Selby, Elie Wolfe, Ravi Kun- jwal, and Robert W. Spekkens. Characterization of noncontextuality in the framework of generalized prob- abilistic theories.PRX Quantum, 2(1), February 2021. doi:10.1103/prxquantum.2.010331

    work page doi:10.1103/prxquantum.2.010331 2021

  21. [23]

    Selby, Matthew F

    David Schmid, John H. Selby, Matthew F. Pusey, and Robert W. Spekkens. A structure theo- rem for generalized-noncontextual ontological mod- els.Quantum, 8:1283, March 2024.doi:10.22331/ q-2024-03-14-1283

    2024

  22. [24]

    Selby, Vinicius P

    David Schmid, John H. Selby, Vinicius P. Rossi, Roberto D. Baldij˜ ao, and Ana Bel´ en Sainz. Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contex- tuality proofs.Quantum, 9:1880, October 2025.doi: 10.22331/q-2025-10-13-1880

    work page doi:10.22331/q-2025-10-13-1880 2025

  23. [25]

    Final result of the ma- jorana demonstrator’s search for neutrinoless double-β decay in 76Ge (2023)

    John H. Selby, David Schmid, Elie Wolfe, Ana Bel´ en Sainz, Ravi Kunjwal, and Robert W. Spekkens. Con- textuality without incompatibility.Phys. Rev. Lett., 130:230201, Jun 2023.doi:10.1103/PhysRevLett.130. 230201

    work page doi:10.1103/physrevlett.130 2023

  24. [26]

    John S. Bell. On the problem of hidden variables in quan- tum mechanics.Reviews of Modern Physics, 38(3):447– 452, 1966.doi:10.1103/RevModPhys.38.447

    work page doi:10.1103/revmodphys.38.447 1966

  25. [27]

    Klyachko, M

    Alexander A. Klyachko, M. Ali Can, Sinem Binicio˘ glu, and Alexander S. Shumovsky. Simple test for hidden vari- ables in spin-1 systems.Physical Review Letters, 101(2), July 2008.doi:10.1103/physrevlett.101.020403

    work page doi:10.1103/physrevlett.101.020403 2008

  26. [28]

    Teiko Heinosaari and Michael M. Wolf. Nondisturb- ing quantum measurements.Journal of Mathemati- cal Physics, 51(9), September 2010.doi:10.1063/1. 3480658

    work page doi:10.1063/1 2010

  27. [29]

    Universality of state-independent vio- lation of correlation inequalities for noncontextual the- ories.Phys

    Piotr Badzia ¸ g, Ingemar Bengtsson, Ad´ an Cabello, and Itamar Pitowsky. Universality of state-independent vio- lation of correlation inequalities for noncontextual the- ories.Phys. Rev. Lett., 103:050401, Jul 2009.doi: 10.1103/PhysRevLett.103.050401

    work page doi:10.1103/physrevlett.103.050401 2009

  28. [30]

    Alisson Tezzin, B´ arbara Amaral, and Jonte R. Hance. Sufficiency of the counterfactual account of l¨ uders’ rule to rule out ontological models of quantum mechanics.Phys. Rev. A, 112:052208, Nov 2025.doi:10.1103/65zd-1lys

    work page doi:10.1103/65zd-1lys 2025

  29. [31]

    Victor Gitton and Mischa P. Woods. Solvable Crite- rion for the Contextuality of any Prepare-and-Measure Scenario.Quantum, 6:732, June 2022.doi:10.22331/ q-2022-06-07-732

    2022

  30. [32]

    Pusey, Jonathan Barrett, and Terry Rudolph

    Matthew F. Pusey, Jonathan Barrett, and Terry Rudolph. On the reality of the quantum state.Nature Physics, 8(6):475–478, 2012.doi:10.1038/nphys2309

    work page doi:10.1038/nphys2309 2012

  31. [33]

    On the classifica- tion betweenψ-ontic andψ-epistemic ontological mod- els.Foundations of Physics, 50(11):1315–1345, Nov 2020

    Andrea Oldofredi and Cristian L´ opez. On the classifica- tion betweenψ-ontic andψ-epistemic ontological mod- els.Foundations of Physics, 50(11):1315–1345, Nov 2020. doi:10.1007/s10701-020-00377-x

    work page doi:10.1007/s10701-020-00377-x 2020

  32. [34]

    R. Hermens. How real are quantum states inψ-ontic models?Foundations of Physics, 51(2):38, Mar 2021. doi:10.1007/s10701-021-00448-7

    work page doi:10.1007/s10701-021-00448-7 2021

  33. [35]

    Hance, John Rarity, and James Ladyman

    Jonte R. Hance, John Rarity, and James Ladyman. Could wavefunctions simultaneously represent knowl- edge and reality?Quantum Studies: Mathematics and Foundations, 9(3):333–341, Aug 2022.doi:10.1007/ s40509-022-00271-3

    2022

  34. [36]

    Hance and Sabine Hossenfelder

    Jonte R. Hance and Sabine Hossenfelder. The wave func- tion as a true ensemble.Proceedings of the Royal Soci- ety A: Mathematical, Physical and Engineering Sciences, 478(2262):20210705, 06 2022.doi:10.1098/rspa.2021. 0705

    work page doi:10.1098/rspa.2021 2022

  35. [37]

    Gabriele Carcassi, Andrea Oldofredi, and Christine A. Aidala. On the reality of the quantum state once again: A no-go theorem forψ-ontic models.Foun- dations of Physics, 54(1):14, Jan 2024.doi:10.1007/ s10701-023-00748-0

    2024

  36. [38]

    Hance, Ming Ji, Tomonori Matsushita, and Hol- ger F

    Jonte R. Hance, Ming Ji, Tomonori Matsushita, and Hol- ger F. Hofmann. External quantum fluctuations select measurement contexts, 2025. URL:https://arxiv.org/ 18 abs/2501.04664,arXiv:2501.04664

    work page internal anchor Pith review arXiv 2025

  37. [39]

    Quantum sim- ulation logic, oracles, and the quantum advantage.En- tropy, 21(8):800, August 2019.doi:10.3390/e21080800

    Niklas Johansson and Jan- ˚Ake Larsson. Quantum sim- ulation logic, oracles, and the quantum advantage.En- tropy, 21(8):800, August 2019.doi:10.3390/e21080800

    work page doi:10.3390/e21080800 2019

  38. [40]

    Thomas E. Bittner. Formal ontology of space, time, and physical entities in classical mechanics.Applied Ontology, 13(2):135–179, 2018.doi:10.3233/AO-180195

    work page doi:10.3233/ao-180195 2018

  39. [41]

    Available: https://arxiv.org/abs/2102.05748

    Jonatan Bohr Brask. Gaussian states and operations – a quick reference, 2022. URL:https://arxiv.org/abs/ 2102.05748,arXiv:2102.05748

    work page arXiv 2022

  40. [42]

    On the quantum correction for thermodynamic equ ilibrium,

    Eugene Wigner. On the quantum correction for thermo- dynamic equilibrium.Phys. Rev., 40:749–759, Jun 1932. doi:10.1103/PhysRev.40.749

    work page doi:10.1103/physrev.40.749 1932

  41. [43]

    Bartlett, Terry Rudolph, and Robert W

    Stephen D. Bartlett, Terry Rudolph, and Robert W. Spekkens. Reconstruction of gaussian quantum me- chanics from liouville mechanics with an epistemic re- striction.Physical Review A, 86(1), July 2012.doi: 10.1103/physreva.86.012103

    work page doi:10.1103/physreva.86.012103 2012

  42. [44]

    The logical structure of contextu- ality and nonclassicality.Journal of Physics A: Math- ematical and Theoretical, 59(4):045301, jan 2026.doi: 10.1088/1751-8121/ae38a3

    Songyi Liu, Yongjun Wang, Baoshan Wang, Chang He, and Jincheng Wang. The logical structure of contextu- ality and nonclassicality.Journal of Physics A: Math- ematical and Theoretical, 59(4):045301, jan 2026.doi: 10.1088/1751-8121/ae38a3

    work page doi:10.1088/1751-8121/ae38a3 2026

  43. [45]

    Clauser, Michael A

    John F. Clauser, Michael A. Horne, Abner Shimony, and Richard A. Holt. Proposed experiment to test local hidden-variable theories.Phys. Rev. Lett., 23:880–884, Oct 1969.doi:10.1103/PhysRevLett.23.880

    work page doi:10.1103/physrevlett.23.880 1969

  44. [46]

    Freedman and John F

    Stuart J. Freedman and John F. Clauser. Experimental test of local hidden-variable theories.Phys. Rev. Lett., 28:938–941, Apr 1972.doi:10.1103/PhysRevLett.28. 938

    work page doi:10.1103/physrevlett.28 1972

  45. [47]

    Ex- perimental realization of einstein-podolsky-rosen-bohm gedankenexperiment: A new violation of bell’s inequali- ties.Phys

    Alain Aspect, Philippe Grangier, and G´ erard Roger. Ex- perimental realization of einstein-podolsky-rosen-bohm gedankenexperiment: A new violation of bell’s inequali- ties.Phys. Rev. Lett., 49:91–94, Jul 1982.doi:10.1103/ PhysRevLett.49.91

    1982

  46. [48]

    Blok, Jeroen Ruiten- berg, Raymond F

    Bas Hensen, Hannes Bernien, Antoine Dr´ eau, Andreas Reiserer, Norbert Kalb, Machiel S. Blok, Jeroen Ruiten- berg, Raymond F. L. Vermeulen, Raymond N. Schouten, Carlos Abell´ an, Waldimar Amaya, Valerio Pruneri, Morgan W. Mitchell, Matthew Markham, Daniel J. Twitchen, David Elkouss, Stephanie Wehner, Tim H. Taminiau, and Ronald Hanson. Loophole-free bell ...

    2015

  47. [49]

    Hidden variables, joint probability, and the bell inequalities

    Arthur Fine. Hidden variables, joint probability, and the bell inequalities.Physical Review Letters, 48(5):291–295, 1982.doi:10.1103/PhysRevLett.48.291

    work page doi:10.1103/physrevlett.48.291 1982

  48. [50]

    Bell nonlocality

    Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, and Stephanie Wehner. Bell nonlo- cality.Reviews of Modern Physics, 86:419–478, 2014. doi:10.1103/RevModPhys.86.419

    work page doi:10.1103/revmodphys.86.419 2014

  49. [51]

    Functions of Bounded Variation and Free Discontinuity Problems

    Valerio Scarani.Bell Nonlocality. Oxford University Press, 08 2019.doi:10.1093/oso/9780198788416.001. 0001

    work page doi:10.1093/oso/9780198788416.001 2019

  50. [52]

    Sur la correspondance de borel et le th´ eor` eme de dirichlet–heine–weierstrass–borel– schoenflies–lebesgue.Archive for History of Exact Sci- ences, 39:69–110, 1989

    Pierre Dugac. Sur la correspondance de borel et le th´ eor` eme de dirichlet–heine–weierstrass–borel– schoenflies–lebesgue.Archive for History of Exact Sci- ences, 39:69–110, 1989

    1989

  51. [53]

    McGraw-Hill, New York, 2 edition, 1991

    Walter Rudin.Functional Analysis. McGraw-Hill, New York, 2 edition, 1991

    1991

  52. [54]

    B. R. Tennison.Sheaf Theory. Cambridge University Press, 1975.doi:10.1017/CBO9780511661761

    work page doi:10.1017/cbo9780511661761 1975

  53. [55]

    Dimca , Sheaves in topology , Universitext, Springer-Verlag, Berlin, 2004

    Alexandru Dimca.Sheaves in Topology. Springer, 2004. doi:10.1007/978-3-642-18868-8

    work page doi:10.1007/978-3-642-18868-8 2004

  54. [56]

    Sheaves in Geometry and Logic

    Saunders Mac Lane and Ieke Moerdijk.Sheaves in Ge- ometry and Logic: A First Introduction to Topos Theory. Springer, 1994.doi:10.1007/978-1-4612-0927-0

    work page doi:10.1007/978-1-4612-0927-0 1994

  55. [57]

    Incompatible results of quantum measurements , Volume =

    Asher Peres. Incompatible results of quantum measure- ments.Physics Letters A, 151(3):107–108, 1990.doi: 10.1016/0375-9601(90)90172-K

    work page doi:10.1016/0375-9601(90)90172-k 1990

  56. [58]

    Two simple proofs of the kochen-specker theorem.Journal of Physics A: Mathematical and Gen- eral, 24(4):L175, feb 1991.doi:10.1088/0305-4470/24/ 4/003

    Asher Peres. Two simple proofs of the kochen-specker theorem.Journal of Physics A: Mathematical and Gen- eral, 24(4):L175, feb 1991.doi:10.1088/0305-4470/24/ 4/003

    work page doi:10.1088/0305-4470/24/ 1991

  57. [59]

    David Mermin

    N. David Mermin. Hidden variables and the two theorems of john bell.Rev. Mod. Phys., 65:803–815, Jul 1993.doi: 10.1103/RevModPhys.65.803

    work page doi:10.1103/revmodphys.65.803 1993

  58. [60]

    Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem.Quantum, 7:900, January 2023.doi:10.22331/q-2023-01-19-900

    Victoria J Wright and Ravi Kunjwal. Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem.Quantum, 7:900, January 2023.doi:10.22331/q-2023-01-19-900

    work page doi:10.22331/q-2023-01-19-900 2023

  59. [61]

    Choudhary, Amit Mukherjee, and Arup Roy

    Manik Banik, Some Sankar Bhattacharya, Sujit K. Choudhary, Amit Mukherjee, and Arup Roy. Ontolog- ical models, preparation contextuality and nonlocality. Foundations of Physics, 44(11):1230–1244, October 2014. doi:10.1007/s10701-014-9839-4

    work page doi:10.1007/s10701-014-9839-4 2014

  60. [62]

    Reinhard F. Werner. Quantum states with einstein- podolsky-rosen correlations admitting a hidden-variable model.Phys. Rev. A, 40:4277–4281, Oct 1989.doi: 10.1103/PhysRevA.40.4277

    work page doi:10.1103/physreva.40.4277 1989

  61. [63]

    Przybylska, A

    Sumit Mukherjee and A K Pan. Constrained mea- surement incompatibility from generalised contextual- ity of steered preparation.New Journal of Physics, 26(12):123014, dec 2024.doi:10.1088/1367-2630/ ad96d8

    work page doi:10.1088/1367-2630/ 2024

  62. [64]

    Hance, Jakov Krnic, and Jan- ˚Ake Lars- son

    Jonte R. Hance, Jakov Krnic, and Jan- ˚Ake Lars- son. Noncontextual versus contextual interferome- try, 2026. URL:https://arxiv.org/abs/2601.13109, arXiv:2601.13109

    work page arXiv 2026

  63. [65]

    Holger F. Hofmann. Quantum coherence and negative quasi probabilities in a contextual three-path interferom- eter.Journal of Physics: Photonics, 8(1):015047, Febru- ary 2026.doi:10.1088/2515-7647/ae37b4

    work page doi:10.1088/2515-7647/ae37b4 2026

  64. [66]

    Leggett and Anupam Garg

    Anthony J. Leggett and Anupam Garg. Quantum me- chanics versus macroscopic realism: Is the flux there when nobody looks?Phys. Rev. Lett., 54:857–860, Mar 1985.doi:10.1103/PhysRevLett.54.857

    work page doi:10.1103/physrevlett.54.857 1985

  65. [67]

    H. M. Wiseman, S. J. Jones, and A. C. Doherty. Steering, entanglement, nonlocality, and the einstein-podolsky- rosen paradox.Physical Review Letters, 98(14), April 2007.doi:10.1103/physrevlett.98.140402

    work page doi:10.1103/physrevlett.98.140402 2007

  66. [68]

    Roope Uola, Ana C. S. Costa, H. Chau Nguyen, and Otfried G¨ uhne. Quantum steering.Rev. Mod. Phys., 92:015001, Mar 2020.doi:10.1103/RevModPhys.92. 015001

    work page doi:10.1103/revmodphys.92 2020

  67. [69]

    Christopher Ferrie. Quasi-probability representations of quantum theory with applications to quantum in- formation science.Reports on Progress in Physics, 74(11):116001, oct 2011.doi:10.1088/0034-4885/74/ 11/116001

    work page doi:10.1088/0034-4885/74/ 2011

  68. [70]

    Negative quasi-probability as a resource for quantum computation.New Journal of Physics, 14(11):113011, nov 2012.doi:10.1088/1367-2630/14/ 11/113011

    Victor Veitch, Christopher Ferrie, David Gross, and Joseph Emerson. Negative quasi-probability as a resource for quantum computation.New Journal of Physics, 14(11):113011, nov 2012.doi:10.1088/1367-2630/14/ 11/113011

    work page doi:10.1088/1367-2630/14/ 2012

  69. [71]

    Quasiprob- 19 abilities in quantum thermodynamics and many-body systems.PRX Quantum, 5:030201, Sep 2024.doi: 10.1103/PRXQuantum.5.030201

    Stefano Gherardini and Gabriele De Chiara. Quasiprob- 19 abilities in quantum thermodynamics and many-body systems.PRX Quantum, 5:030201, Sep 2024.doi: 10.1103/PRXQuantum.5.030201

    work page doi:10.1103/prxquantum.5.030201 2024

  70. [72]

    Negativity of the wigner function as an indicator of non-classicality

    Anatole Kenfack and Karol ˙Zyczkowski. Negativity of the wigner function as an indicator of non-classicality. Journal of Optics B: Quantum and Semiclassical Optics, 6(10):396, aug 2004.doi:10.1088/1464-4266/6/10/003

    work page doi:10.1088/1464-4266/6/10/003 2004

  71. [73]

    Kirkwood

    John G. Kirkwood. Quantum statistics of almost clas- sical assemblies.Phys. Rev., 44:31–37, Jul 1933.doi: 10.1103/PhysRev.44.31

    work page doi:10.1103/physrev.44.31 1933

  72. [74]

    P. A. M. Dirac. On the analogy between classical and quantum mechanics.Rev. Mod. Phys., 17:195–199, Apr 1945.doi:10.1103/RevModPhys.17.195

    work page doi:10.1103/revmodphys.17.195 1945

  73. [75]

    Quasiprobability behind the out-of-time-ordered cor- relator.Phys

    Nicole Yunger Halpern, Brian Swingle, and Justin Dres- sel. Quasiprobability behind the out-of-time-ordered cor- relator.Phys. Rev. A, 97:042105, Apr 2018.doi: 10.1103/PhysRevA.97.042105

    work page doi:10.1103/physreva.97.042105 2018

  74. [76]

    Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

    Jonte R Hance, Tomonori Matsushita, and Holger F Hof- mann. Counterfactuality, back-action, and information gain in multi-path interferometers.Quantum Science and Technology, 9(4):045015, jul 2024.doi:10.1088/ 2058-9565/ad63c7

    2024

  75. [77]

    Properties and ap- plications of the kirkwood–dirac distribution.New Jour- nal of Physics, 26(12):121201, dec 2024.doi:10.1088/ 1367-2630/ada05d

    David R M Arvidsson-Shukur, William F Braasch Jr, Stephan De Bi` evre, Justin Dressel, Andrew N Jordan, Christopher Langrenez, Matteo Lostaglio, Jeff S Lun- deen, and Nicole Yunger Halpern. Properties and ap- plications of the kirkwood–dirac distribution.New Jour- nal of Physics, 26(12):121201, dec 2024.doi:10.1088/ 1367-2630/ada05d

    2024

  76. [78]

    Matthew F. Pusey. Anomalous weak values are proofs of contextuality.Phys. Rev. Lett., 113:200401, Nov 2014. doi:10.1103/PhysRevLett.113.200401

    work page doi:10.1103/physrevlett.113.200401 2014

  77. [79]

    Con- textuality, coherences, and quantum cheshire cats.New Journal of Physics, 25(11):113028, nov 2023.doi:10

    Jonte R Hance, Ming Ji, and Holger F Hofmann. Con- textuality, coherences, and quantum cheshire cats.New Journal of Physics, 25(11):113028, nov 2023.doi:10. 1088/1367-2630/ad0bd4

    2023

  78. [80]

    Rafael Wagner, Zohar Schwartzman-Nowik, Ismael L Paiva, Amit Te’eni, Antonio Ruiz-Molero, Rui Soares Barbosa, Eliahu Cohen, and Ernesto F Galv˜ ao. Quan- tum circuits for measuring weak values, kirkwood–dirac quasiprobability distributions, and state spectra.Quan- tum Science and Technology, 9(1):015030, jan 2024.doi: 10.1088/2058-9565/ad124c

    work page doi:10.1088/2058-9565/ad124c 2024

  79. [81]

    Rossi, Beata Zjawin, Roberto D

    Vinicius P. Rossi, Beata Zjawin, Roberto D. Baldij˜ ao, David Schmid, John H. Selby, and Ana Bel´ en Sainz. How typical is contextuality?, 2025. URL:https://arxiv. org/abs/2510.20722,arXiv:2510.20722

    work page arXiv 2025

  80. [82]

    Otfried G¨ uhne, Matthias Kleinmann, Ad´ an Cabello, Jan- ˚Ake Larsson, Gerhard Kirchmair, Florian Z¨ ahringer, Rene Gerritsma, and Christian F. Roos. Compatibility and noncontextuality for sequential measurements.Phys. Rev. A, 81:022121, Feb 2010.doi:10.1103/PhysRevA. 81.022121

    work page doi:10.1103/physreva 2010

Showing first 80 references.