arxiv: 2605.09558 · v2 · submitted 2026-05-10 · 🪐 quant-ph · physics.hist-ph

Recognition: no theorem link

Classical Limit: Dissipation of Spekkens' Generalised Contextuality under Decoherence

Enrico Bozzetto , Jonte R. Hance

Authors on Pith no claims yet

Pith reviewed 2026-05-14 21:16 UTC · model grok-4.3

classification 🪐 quant-ph physics.hist-ph

keywords Spekkens contextualitydecoherencedepolarizing channelmagic statesstabilizer systemsquantum computationquasiprobability representations

0 comments

The pith

Spekkens contextual systems lose contextuality under depolarizing decoherence beyond a threshold and become classical.

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

The paper shows that a system built from an odd-dimensional stabilizer plus a magic state, which carries Spekkens contextuality as a marker of nonclassicality, turns noncontextual once a depolarizing channel exceeds a certain strength. Noncontextuality is treated as a sufficient condition for classical behavior. Different quasiprobability representations are compared for how clearly they mark the point of transition. The work links this dissipation to the known requirements of contextuality and magic states for universal quantum computation.

Core claim

An odd-dimensional stabiliser system plus a magic state forms a Spekkens contextual system that becomes noncontextual under the action of a depolarising channel after a certain decoherence threshold. Some quasiprobability representations prove more effective than others at witnessing the transition from contextuality to noncontextuality.

What carries the argument

Depolarising channel acting on an odd-dimensional stabilizer system supplemented by a magic state, which erases the contextual behavior.

If this is right

Contextuality required for nonclassicality disappears under sufficient depolarizing noise.
The loss of contextuality coincides with the point at which the system satisfies a sufficient condition for classicality.
Magic states and Spekkens contextuality, both necessary for universal quantum computation, are jointly degraded by the same noise process.
Quasiprobability representations can be ranked by their ability to detect the contextuality-to-noncontextuality transition.

Where Pith is reading between the lines

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

Quantum computations that rely on contextuality will have a finite noise tolerance before advantage is lost.
The threshold behavior may guide the design of error-protected encodings that preserve contextuality.
Similar transitions could appear under other physically motivated noise models beyond depolarization.

Load-bearing premise

The depolarizing channel is an adequate model for the decoherence that matters to these systems.

What would settle it

A direct calculation or experiment showing that the same stabilizer-plus-magic-state system remains contextual after the predicted decoherence threshold under a depolarizing channel.

read the original abstract

Contextuality is considered as one of the most distinctive features of nonclassical systems. Here, we show that a Spekkens contextual system (which previous work has shown is a necessary condition for nonclassicality) formed of an odd-dimensional stabiliser system plus a magic state becomes noncontextual (a sufficient condition for classicality) under the action of a depolarising channel after a certain decoherence threshold. We show also that some quasiprobability representations are more effective than others in witnessing this transition from contextuality to noncontextuality. Given previous work has shown that magic states and Spekkens contextuality are both necessary for universal quantum computation, this result helps us understand the relationship between decoherence, Spekkens' generalised contextuality, and quantum advantage.

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.

Desk Editor's Note private letter to a colleague

Spekkens contextuality in this odd-dimensional stabilizer-plus-magic-state setup dissipates under depolarizing noise past a threshold, with some quasiprobability representations tracking the change better than others.

read the letter

The main takeaway is that a Spekkens-contextual prepare-and-measure scenario built from an odd-dimensional stabilizer system plus a magic state becomes noncontextual once the depolarizing channel strength exceeds a certain value. The paper also compares several quasiprobability representations and finds that some witness the loss of negativity more cleanly than others. This supplies a concrete dynamical account of how a resource previously tied to quantum advantage can disappear under standard noise. The calculation rests on the known necessity results for contextuality and magic states, then adds the channel to show when the ontological model becomes non-negative. The representation comparison is the part most likely to be picked up by others working on similar resource theories. The result stays tightly scoped to this construction, which is both a strength and a limit. There is no argument that the same threshold behavior would hold for other magic states, non-stabilizer preparations, or different noise channels that might matter more in hardware. The depolarizing channel is convenient, but the paper does not claim it is the physically dominant process. For readers focused on contextuality or magic-state distillation, the explicit example and the representation check are useful. It does not overreach on the broader quantum-to-classical transition. I would bring it to a reading group to examine how the threshold is obtained and whether it has a closed form. I would not cite it in my own work in the next year unless extending this exact setup. It deserves peer review because the central demonstration is self-contained and the connection to prior necessity results is direct.

Referee Report

0 major / 3 minor

Summary. The paper claims that a Spekkens contextual system formed from an odd-dimensional stabilizer system plus a magic state becomes noncontextual under a depolarizing channel after a decoherence threshold is crossed. It further shows that some quasiprobability representations witness the contextuality-to-noncontextuality transition more effectively than others. The result is positioned as helping to relate decoherence, generalised contextuality, and the loss of quantum advantage.

Significance. If the explicit threshold calculation and ontological-model verification hold, the work supplies a concrete, falsifiable example of contextuality dissipation under a standard noise model. This strengthens the link between Spekkens contextuality (necessary for nonclassicality) and magic states (necessary for universal quantum computation) by exhibiting a physically motivated mechanism that restores noncontextuality. The comparison of quasiprobability representations adds a useful methodological observation.

minor comments (3)

[§3.2] §3.2: the explicit value of the threshold p* for the chosen odd dimension should be stated numerically alongside the analytic expression so that readers can immediately compare it with known magic-state distillation thresholds.
[Figure 2] Figure 2: the caption does not indicate which quasiprobability representation corresponds to each curve; adding a legend or explicit labels would improve readability.
[Conclusion] The final paragraph of the conclusion asserts that the result 'helps us understand the relationship' between decoherence and quantum advantage; a single sentence clarifying the precise scope (specific construction, depolarizing channel only) would prevent over-reading.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the provided report, so we have no specific points requiring rebuttal or revision. We will make minor editorial improvements to the manuscript for clarity and presentation as needed.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's central result is an explicit demonstration that the chosen odd-dimensional stabilizer plus magic state construction becomes noncontextual under the depolarizing channel above a computable threshold, using direct quasiprobability analysis for that model. It invokes prior necessity results for Spekkens contextuality and magic states but does not define the threshold or noncontextuality transition in terms of itself, nor reduce any prediction to a fitted input or self-citation chain. The derivation remains self-contained against the stated assumptions and specific construction, with no self-definitional, renaming, or load-bearing self-citation steps present.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two prior results treated as background: Spekkens contextuality as necessary for nonclassicality and magic states as necessary for universal quantum computation. No new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract itself.

axioms (2)

domain assumption Spekkens contextuality is a necessary condition for nonclassicality
Invoked in the abstract as established by previous work
domain assumption Magic states are necessary for universal quantum computation
Invoked in the abstract as established by previous work

pith-pipeline@v0.9.0 · 5430 in / 1333 out tokens · 44238 ms · 2026-05-14T21:16:48.820011+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · 1 internal anchor

[1]

For allρ,W ρ(q, p) is real

work page
[2]

For allρ 1,ρ 2, Tr(ρ1ρ2) = 2π Z R2 dqdp W ρ1(q, p)Wρ2(q, p) (8)

work page
[3]

For allρ, integratingW ρ along the lineaq+bp=c in phase space yields the probability that a mea- surement of the observableaQ+bPhas the result c. There are more general quasi-probability distributions for an infinite dimensional Hilbert space’s states, which simply generalise the Wigner distribution introducing a functionf(ξ, η) in Eq. 7. Wigner function ...

work page
[4]

For any stabiliser subtheory (single- or multi- particle) in even dimensions, there is no non- negative and diagram-preserving quasi-probability representation

work page
[5]

There is no generalised noncontextual model for the stabiliser subtheory together withρ

Consider any stateρwhich promotes the sta- biliser subtheory to universal quantum computa- tion. There is no generalised noncontextual model for the stabiliser subtheory together withρ

work page
[6]

Perhaps the most important open question that remains is whether an analogous suffi- ciency result[our Theorem 3]holds for mixed states and generic quantum channels

A (necessary and) sufficient condition for any uni- tary or pure state to promote the stabiliser subthe- ory to universal quantum computation is that it be negatively represented in Gross’s representation VI. DISSIP A TION OF CONTEXTUALITY UNDER DECOHERENCE We want now to apply these ideas to a dynamic sce- nario. In particular we will consider a quantum ...

work page
[7]

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

work page 1967
[8]

R. W. Spekkens. Contextuality for preparations, trans- formations, and unsharp measurements.Phys. Rev. A, 71:052108, May 2005.doi:10.1103/PhysRevA.71. 052108

work page doi:10.1103/physreva.71 2005
[9]

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
[10]

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. 11

work page doi:10.1038/nature13460 2014
[11]

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
[12]

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- grammable universal ph...

work page 2023
[13]

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
[14]

Enrico Bozzetto and Jonte R. Hance. Warring con- textualities – provably classical vs provably nonclassi- cal, 2026. URL:https://arxiv.org/abs/2604.14319, arXiv:2604.14319

work page internal anchor Pith review Pith/arXiv arXiv 2026
[15]

Quanti- fiers and witnesses for the nonclassicality of measure- ments and of states, 2025

Yujie Zhang, Y` ıl` e Y¯ ıng, and David Schmid. Quanti- fiers and witnesses for the nonclassicality of measure- ments and of states, 2025. URL:https://arxiv.org/ abs/2504.02944,arXiv:2504.02944

work page arXiv 2025
[16]

Spekkens

Yujie Zhang, David Schmid, Y` ıl` e Y¯ ıng, and Robert W. Spekkens. Reassessing the boundary between clas- sical and nonclassical for individual quantum pro- cesses, 2026. URL:https://arxiv.org/abs/2503. 05884,arXiv:2503.05884

work page arXiv 2026
[17]

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

work page 2024
[18]

Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H

Rafael Wagner, Roberto D. Baldij˜ ao, Matthias Salzger, Y` ıl` e Y¯ ıng, David Schmid, and John H. Selby. A struc- ture theorem for complex-valued quasiprobability rep- resentations of physical theories, 2025. URL:https: //arxiv.org/abs/2509.10949,arXiv:2509.10949

work page arXiv 2025
[19]

Kirkwood

John G. Kirkwood. Quantum statistics of almost classical assemblies.Phys. Rev., 44:31–37, Jul 1933. URL:https: //link.aps.org/doi/10.1103/PhysRev.44.31,doi:10. 1103/PhysRev.44.31

work page doi:10.1103/physrev.44.31 1933
[20]

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

work page doi:10.1103/revmodphys.17.195 1945
[21]

Aaijet al.[LHCb Collaboration]

David Schmid, Haoxing Du, John H. Selby, and Matthew F. Pusey. Uniqueness of noncontextual models for stabilizer subtheories.Phys. Rev. Lett., 129:120403, Sep 2022. URL:https://link.aps.org/doi/10.1103/ PhysRevLett.129.120403,doi:10.1103/PhysRevLett. 129.120403

work page doi:10.1103/physrevlett 2022
[22]

Alisson Tezzin, B´ arbara Amaral, and Jonte R. Hance. An equivalence between compatibility and deterministic underlying states in quantum mechan- ics, 2025. URL:https://arxiv.org/abs/2502.00546, arXiv:2502.00546

work page arXiv 2025
[23]

E. Wigner. On the quantum correction for ther- modynamic equilibrium.Phys. Rev., 40:749–759, Jun 1932. URL:https://link.aps.org/doi/10.1103/ PhysRev.40.749,doi:10.1103/PhysRev.40.749

work page doi:10.1103/physrev.40.749 1932
[24]

Harriman and Mark E

John E. Harriman and Mark E. Casida. Husimi representation for stationary states.International Journal of Quantum Chemistry, 45(3):263–294, 1993. URL:https://onlinelibrary.wiley.com/doi/abs/10. 1002/qua.560450304,arXiv:https://onlinelibrary. wiley.com/doi/pdf/10.1002/qua.560450304,doi:10. 1002/qua.560450304

work page doi:10.1002/qua.560450304 1993
[25]

Brif and A

C. Brif and A. Mann. Phase-space formulation of quantum mechanics and quantum-state reconstruction for physical systems with lie-group symmetries.Phys. Rev. A, 59:971–987, Feb 1999. URL:https://link. aps.org/doi/10.1103/PhysRevA.59.971,doi:10.1103/ PhysRevA.59.971

work page doi:10.1103/physreva.59.971 1999
[26]

Chelsea Publishing Company, New York, 1950

Andrey Nikolaevich Kolmogorov.Foundations of the Theory of Probability. Chelsea Publishing Company, New York, 1950. Translated from the German edition of 1933

work page 1950
[27]

Baldij˜ ao, Y` ıl` e Y¯ ıng, Rafael Wagner, and John H

David Schmid, Roberto D. Baldij˜ ao, Y` ıl` e Y¯ ıng, Rafael Wagner, and John H. Selby. Kirkwood-dirac represen- tations beyond quantum states and their relation to noncontextuality.Phys. Rev. A, 110:052206, Nov 2024. doi:10.1103/PhysRevA.110.052206

work page doi:10.1103/physreva.110.052206 2024
[28]

Birkh¨ auser Cham, 01 2003.doi:10.1007/ 978-0-8176-8224-8

Ole Christensen.An Introduction to Frames and Riesz Bases. Birkh¨ auser Cham, 01 2003.doi:10.1007/ 978-0-8176-8224-8

work page 2003
[29]

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

work page 2023
[30]

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
[31]

Sur les op´ erations fonctionnelles lin´ eaires

Frigyes Riesz. Sur les op´ erations fonctionnelles lin´ eaires. Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, 31:9–14, 1914. Appendix A: semifunctors extension of structure theorem In this Appendix we provide a brief summary of how the structure theorem can be generalised, from functors to semifunctors. A semifunctor is a functor which does not...

work page 1914