Quantum contextuality from measurement invasiveness
Pith reviewed 2026-05-19 03:06 UTC · model grok-4.3
The pith
Contextuality arises when invasive measurements are applied to otherwise classical probability distributions via stochastic linear maps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce stochastic linear maps that model invasive measurements on classical statistics. These maps take probabilities inside the noncontextuality polytope and map them to points outside while preserving the compatibility structure of the marginal scenario. We derive consistency conditions for such maps to be admissible and completely identify the maps for the case of a single three-level quantum system. We further define a contextuality quantifier as the minimal invasiveness required to reproduce a given distribution.
What carries the argument
stochastic linear maps modeling invasive measurements that preserve compatibility but exit the noncontextuality polytope
If this is right
- Contextual behavior can be explained without abandoning an underlying classical joint distribution.
- The degree of contextuality is quantifiable by the smallest invasiveness parameter needed.
- This framework applies to any marginal scenario where compatibility is defined.
- Classical models with controlled invasiveness can mimic quantum predictions.
Where Pith is reading between the lines
- Such maps might allow simulation of quantum contextuality in classical systems with added noise or disturbance.
- Extensions could connect this invasiveness measure to other contextuality quantifiers like the contextual fraction.
- This view suggests testing how much measurement disturbance is present in actual quantum experiments to explain observed contextuality.
Load-bearing premise
Stochastic linear maps exist that satisfy the consistency conditions for representing admissible invasive measurements while preserving the compatibility structure.
What would settle it
A probability distribution for the three-level system that exhibits contextuality but cannot be obtained from any classical distribution inside the polytope by applying the identified stochastic maps.
Figures
read the original abstract
Contextuality is a defining feature that separates the quantum from the classical descriptions of physical systems. Within the marginal-scenario framework, noncontextual models are characterized by the existence of a single joint probability distribution consistent with all measurable contexts, while contextual models violate this condition. Building on this approach, we introduce a general method to analyze contextuality in terms of stochastic linear maps that effectively model invasive measurements on an otherwise classical statistics. These maps transform probabilities within the noncontextuality polytope, which includes all classical probabilities, into probabilities that may lie outside the polytope, while preserving the compatibility structure of the scenario at hand. We derive general consistency conditions that such maps must satisfy to represent admissible invasive measurements, and we fully identify them for a paradigmatic example of contextuality for a single three-level quantum system. Furthermore, we introduce a quantifier of contextuality based on the minimal invasiveness required to reproduce a given probability distribution, which offers a distinct approach on how to evaluate the degree of contextuality in a general scenario.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a general method for analyzing quantum contextuality by employing stochastic linear maps to model the effects of invasive measurements on an otherwise classical probability distribution. These maps are designed to transform probabilities within the noncontextuality polytope to those outside it while maintaining the compatibility structure of the measurement scenario. The authors derive general consistency conditions for admissible invasive measurements and claim to fully identify such maps for a paradigmatic three-level quantum system. Additionally, they propose a quantifier of contextuality based on the minimal invasiveness needed to reproduce a given probability distribution.
Significance. If the derivations and identifications hold, this work contributes a distinct perspective on contextuality by framing it in terms of measurement invasiveness rather than solely through joint probability inconsistencies. The preservation of compatibility and the explicit treatment of a paradigmatic case are notable strengths that could aid in developing quantitative measures of contextuality. This approach may offer new tools for distinguishing classical and quantum behaviors in foundational studies.
major comments (2)
- [§3 (General method)] §3 (General method): The derivation of the general consistency conditions for the stochastic linear maps should be presented with explicit equations to allow verification that the identified maps for the three-level system satisfy them without violating the noncontextual assumptions.
- [§5 (Quantifier)] §5 (Quantifier): The definition of the contextuality quantifier via minimization of invasiveness over admissible maps risks a degree of circularity, as the minimal value is determined by optimizing to match the target distribution; this could be clarified by showing how it provides independent information beyond the distribution itself.
minor comments (1)
- [Abstract] Abstract: The abstract mentions 'full identification' for the three-level system but could briefly indicate what this identification entails, such as the form of the maps.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments, which have helped us identify areas for improvement in clarity and presentation. We address each major comment below and outline the revisions we will make to the manuscript.
read point-by-point responses
-
Referee: §3 (General method): The derivation of the general consistency conditions for the stochastic linear maps should be presented with explicit equations to allow verification that the identified maps for the three-level system satisfy them without violating the noncontextual assumptions.
Authors: We agree that the current presentation of the consistency conditions in Section 3 would benefit from greater explicitness. In the revised manuscript we will insert the full set of linear equations that define admissible stochastic maps, including the conditions that preserve the compatibility structure and map the noncontextuality polytope into itself or its complement as appropriate. We will then explicitly verify that the maps identified for the three-level system satisfy these equations and do not inadvertently introduce noncontextual assumptions that contradict the target contextual behavior. revision: yes
-
Referee: §5 (Quantifier): The definition of the contextuality quantifier via minimization of invasiveness over admissible maps risks a degree of circularity, as the minimal value is determined by optimizing to match the target distribution; this could be clarified by showing how it provides independent information beyond the distribution itself.
Authors: We acknowledge the concern about possible circularity. The quantifier is not intended to be a tautological restatement of the distribution; rather, it measures the smallest invasiveness (in the sense of the chosen norm on the stochastic maps) that is required to push a given distribution outside the noncontextuality polytope while respecting the scenario’s compatibility relations. In the revision we will add a paragraph in Section 5 that (i) states the optimization problem formally, (ii) shows that the resulting minimal value is a functional of the distribution that is independent of any particular choice of joint distribution, and (iii) illustrates with a concrete numerical example how the quantifier distinguishes distributions that are equidistant from the polytope boundary under different metrics. This establishes that the measure supplies new quantitative information beyond the raw probabilities. revision: partial
Circularity Check
Derivation remains self-contained; no load-bearing reduction to inputs
full rationale
The paper derives general consistency conditions for stochastic linear maps modeling invasive measurements, then explicitly identifies the admissible maps for the three-level system while preserving compatibility structure. The minimal-invasiveness quantifier is introduced as a distinct evaluation tool based on the smallest such map reproducing a target distribution. No quoted step equates a claimed prediction or first-principles result to its own fitted parameters or prior self-citation by construction; the central construction operates on the noncontextuality polytope as an independent input and does not collapse into a renaming or self-referential definition. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Noncontextual models are characterized by the existence of a single joint probability distribution consistent with all measurable contexts.
Reference graph
Works this paper leans on
-
[1]
Quantum contextuality from measurement invasiveness
as one of the key properties distinguishing quantum me- chanics from any classical model, contextuality is now recog- nized as a cornerstone of the foundations of quantum mechan- ics [2], and has become a subject of growing interest across different fields, especially due to its emerging key role in under- standing the origin of quantum computational adva...
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[2]
Quantum Reservoir Com- puting (QuReCo)
– see Eq.(6) – [ 24]. As anticipated, a violation of the KCBS inequality is realized in quantum mechanics for a qutrit, H = C 3, with the observables described by five pairwise compatible projective measurements. The latter are associated with self-adjoint operators bAi = 2 |vi⟩⟨vi| − 1 C 3 , fixed by pairwise orthogonal vectors – see [24] – ⟨vi|vi+1⟩ = 0...
work page 2022
-
[3]
S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, J. Math. Mech. 17, 59 (1967)
work page 1967
-
[4]
C. Budroni, A. Cabello, O. G ¨uhne, M. Kleinmann, and J.-A. Larsson, Kochen-Specker contextuality, Rev. Mod. Phys. 94, 045007 (2022)
work page 2022
-
[5]
Raussendorf, Contextuality in measurement-based quantum computation, Phys
R. Raussendorf, Contextuality in measurement-based quantum computation, Phys. Rev. A 88, 022322 (2013)
work page 2013
- [6]
-
[7]
J. Bermejo-Vega, N. Delfosse, D. E. Browne, C. Okay, and R. Raussendorf, Contextuality as a resource for models of quan- tum computation with qubits, Phys. Rev. Lett. 119, 120505 (2017)
work page 2017
- [8]
-
[9]
R. W. Spekkens, Contextuality for preparations, transformations, and unsharp measurements, Phys. Rev. A 71, 052108 (2005)
work page 2005
-
[10]
Khrennikov, Contextual Approach to Quantum Formalism (Springer, Netherland, 2009)
A. Khrennikov, Contextual Approach to Quantum Formalism (Springer, Netherland, 2009)
work page 2009
-
[11]
S. Abramsky and A. Brandenburger, The sheaf-theoretic struc- ture of non-locality and contextuality, New Journal of Physics 13, 113036 (2011)
work page 2011
-
[12]
P. Kurzy´nski, R. Ramanathan, and D. Kaszlikowski, Entropic test of quantum contextuality, Phys. Rev. Lett. 109, 020404 (2012)
work page 2012
-
[13]
R. Chaves and T. Fritz, Entropic approach to local realism and noncontextuality, Phys. Rev. A85, 032113 (2012)
work page 2012
-
[14]
A. Cabello, S. Severini, and A. Winter, Graph-theoretic approach to quantum correlations, Phys. Rev. Lett. 112, 040401 (2014)
work page 2014
-
[15]
E. N. Dzhafarov, V . H. Cervantes, and J. V . Kujala, Contextuality in canonical systems of random variables, Phil. Trans. Royal Soc. A 375, 20160389 (2017)
work page 2017
-
[16]
M. P. M¨uller and A. J. P. Garner, Testing quantum theory by generalizing noncontextuality, Phys. Rev. X13, 041001 (2023)
work page 2023
-
[17]
T. Fritz and R. Chaves, Entropic inequalities and marginal prob- lems, IEEE Transactions on Information Theory 59, 803 (2013)
work page 2013
-
[18]
N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys.86, 419 (2014)
work page 2014
-
[19]
Fine, Hidden variables, joint probability, and the Bell inequal- ities, Phys
A. Fine, Hidden variables, joint probability, and the Bell inequal- ities, Phys. Rev. Lett. 48, 291 (1982)
work page 1982
-
[20]
A. A. Klyachko, M. A. Can, S. Binicio˘glu, and A. S. Shumovsky, Simple test for hidden variables in spin-1 systems, Phys. Rev. Lett. 101, 020403 (2008)
work page 2008
-
[21]
A. Holevo, Probabilistic and Statistical Aspects of Quantum Theory, 1st ed., Publications of the Scuola Normale Superiore (Edizioni della Normale Pisa, 2011)
work page 2011
-
[22]
T. Heinosaari and M. Ziman, The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement (Cam- bridge University Press, 2014)
work page 2014
-
[23]
D. Avis, H. Imai, T. Ito, and Y . Sasaki, Deriving tight Bell inequalities for 2 parties with many 2-valued observables from facets of cut polytopes (2004), arXiv:quant-ph/0404014 [quant- ph]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[24]
M. Richter, A. Smirne, W. Strunz, and D. Egloff, Classical inva- sive description of informationally-complete quantum processes, Annalen der Physik 536, 2300304 (2024)
work page 2024
-
[25]
We are not taking into account explicitly the trivial contexts made of one single observable, since the corresponding prob- abilities can always be recovered via marginalization from the probabilities of the five contexts considered
-
[26]
Supplemental Information
-
[27]
M. Ara´ujo, M. T. Quintino, C. Budroni, M. T. Cunha, and A. Ca- bello, All noncontextuality inequalities for the n-cycle scenario, Phys. Rev. A 88, 022118 (2013)
work page 2013
-
[28]
R. Lapkiewicz, P. Li, C. Schaeff, N. K. Langford, S. Ramelow, M. Wie´sniak, and A. Zeilinger, Experimental non-classicality of an indivisible quantum system, Nature 474, 490 (2011)
work page 2011
-
[29]
This is the case since we are not setting any restriction on the (finite) dimension of the Hilbert space where states and measure- ments defining ⃗Q are settled
-
[30]
M. Kleinmann, O. G ¨uhne, J. R. Portillo, J.- ˚A. Larsson, and A. Cabello, Memory cost of quantum contextuality, New Journal of Physics 13, 113011 (2011)
work page 2011
- [31]
-
[32]
S. Abramsky, R. S. Barbosa, and S. Mansfield, Contextual frac- tion as a measure of contextuality, Phys. Rev. Lett.119, 050504 (2017)
work page 2017
-
[33]
On geometrical aspects of the graph approach to contextuality
B. Amaral and M. T. Cunha, On geometrical aspects of the graph approach to contextuality (2017), arXiv:1709.04812 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [34]
-
[35]
J. V . Kujala and E. N. Dzhafarov, Measures of contextuality and non-contextuality, Phil. Trans. Royal Soc. A 377, 20190149 (2019)
work page 2019
-
[36]
K. Horodecki, J. Zhou, M. Stankiewicz, R. Salazar, P. Horodecki, R. Raussendorf, R. Horodecki, R. Ramanathan, and E. Tyhurst, The rank of contextuality, New Journal of Physics 25, 073003 (2023)
work page 2023
-
[37]
T. Fritz, Quantum correlations in the temporal Clauser–Horne– Shimony–Holt (CHSH) scenario, New Journal of Physics 12, 083055 (2010)
work page 2010
-
[38]
J. Hoffmann, C. Spee, O. G¨uhne, and C. Budroni, Structure of temporal correlations of a qubit, New Journal of Physics 20, 102001 (2018)
work page 2018
-
[39]
S. Milz, D. Egloff, P. Taranto, T. Theurer, M. B. Plenio, A. Smirne, and S. F. Huelga, When is a non-Markovian quantum process classical?, Phys. Rev. X 10, 041049 (2020). 6
work page 2020
-
[40]
G. Vitagliano and C. Budroni, Leggett-Garg macrorealism and temporal correlations, Phys. Rev. A 107, 040101 (2023). More details about the KCBS polytope The KCBS scenario includes 5 observables, G = {A1, . . . , A5} where each Ai has outcomes Oi = {−1, 1}, and it is defined by the contexts FKCBS = {(A1, A2), (A2, A3), (A3, A4), (A4, A5), (A5, A1)}. (S1) T...
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.