Pith. sign in

REVIEW 2 major objections 5 minor 50 references

Contextuality Can be Verified with Noncontextual Experiments

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims that a noncontextual experiment can certify another experiment's contextuality, via exotic KD-positive mixtures whose pure decompositions always contain a highly nonpositive component.

desk verdict Genuinely new conceptual result on KD-positivity and Spekkens contextuality, but the abstract overclaims an 'iff' and the Alice-Bob verification step rests on a non-constructive δ that Bob cannot in practice compute. read the letter →

arxiv 2412.00199 v1 pith:4F7ESVPQ submitted 2024-11-29 quant-ph

Jonathan J. Thio , Wilfred Salmon , Crispin H. W. Barnes , Stephan De Bièvre , David R. M. Arvidsson-Shukur This is my paper · ORCID
classification quant-ph
keywords generalizedcontextualityKirkwood-DiracdistributionKD-positivestatesexoticweakmeasurementshidden-variablemodelsnoncontextualityconstraintsquasiprobabilitydistributions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that contextuality—the failure of an experiment to admit a classical hidden-variable description—can be certified by an experiment that is itself noncontextual. The bridge is the Kirkwood-Dirac (KD) quasiprobability distribution: for a six-protocol scheme of weak and projective measurements, the authors show the experiment is contextual when the state's KD-negativity exceeds $3d^2\epsilon$, and noncontextual when the state is KD-positive. The key move is to feed the scheme an 'exotic' mixed state—one that is KD-positive as a whole, so the receiving experiment has a noncontextual model, but whose every decomposition into pure states contains a pure state with large KD-negativity. The receiving experimenter can therefore verify, from public data plus knowledge of the sending order, that the sender's postselected experiment was contextual. If the construction is right, the quantum-classical boundary can be detected from its classical side.

What carries the argument

The central objects are the Kirkwood-Dirac (KD) quasiprobability distribution $Q_{j,k}(\rho)=\mathrm{Tr}(\Pi_k P_j \rho)$ and its nonpositivity $N(\rho)=-1+\sum_{j,k}|Q_{j,k}(\rho)|$. The argument runs through six protocols: projective measurements of the observables whose eigenprojectors define the KD distribution, $X$- and $Y$-type weak measurements of $P_j$, and two procedures—randomly sampling an outcome and applying a dephasing-type channel—that are quantum-theoretically indistinguishable from parts of the weak-measurement protocols. Those indistinguishability relations become noncontextuality constraints that any hidden-variable model must obey. For KD-positive states the authors explicitly construct a noncontextual hidden-variable model on the ontic space $\Lambda=\{1,\dots,d\}$; for states with $N(\rho)>3d^2\epsilon$ they prove no such model exists. The exotic-state ingredient—a KD-positive mixed state not decomposable into pure KD-positive states—is what turns Bob's noncontextual experiment into a certificate of Alice's contextuality, because every pure decomposition must contain a component with negativity bounded away from zero.

What would settle it

Compute, for a candidate exotic KD-positive state in the protocol's dimension and observable pair, the convex-roof KD-negativity—the smallest negativity among pure states in any decomposition. If that minimum is at most $3d^2\epsilon$ for the weak-coupling strength used, Lemma 8 cannot supply the required $\delta$ and Bob's certification step fails; exhibiting such a state would directly falsify the paper's central claim. Equivalently, writing down a noncontextual hidden-variable model for Alice's postselected data when a component has $N(\psi_-)>3d^2\epsilon$ would contradict the first part of Theorem 1.

Watch

Extended reading notes

Core claim

The central claim is that a receiving experimenter (Bob) can certify contextuality of a sender's (Alice's) experiment while Bob's own measurement procedure is noncontextual. Bob receives many copies of an exotic KD-positive mixture $\rho_\star = \frac{1}{N}\sum_j \psi_j$, whose KD distribution is a genuine probability distribution, so by the second part of Theorem 1 his six protocols admit a noncontextual hidden-variable model. Yet Bob's data allow an informationally complete reconstruction of $\rho_\star$, and from the fact that $\rho_\star$ is exotic an argument based on hyperplane separation gives a $\delta>0$ such that every pure-state decomposition of $\rho_\star$ contains a pure state $\psi_-$ with negativity $N(\psi_-)>\delta$. When $\delta>3d^2\epsilon$, the first part of Theorem 1 applies to Alice's postselected trials and shows that no noncontextual hidden-variable model can describe her experiment. In short, public noncontextual data certify a contextual preparation.

Load-bearing premise

The construction depends on the existence of 'exotic' mixed states that are KD-positive—their Kirkwood-Dirac distribution is an ordinary probability distribution—but cannot be written as mixtures of pure KD-positive states for the observables used in the protocols; this existence result is imported from earlier literature and not re-proved here.

Editorial extensions

If this is right

  • If the construction holds, an experimenter whose own procedure admits a classical description can nevertheless certify that a colleague's more finely indexed experiment is contextual.
  • KD-nonpositivity becomes a quantitative, faithful witness for this family of experiments: a threshold $N(\rho)>3d^2\epsilon$ guarantees contextuality, while KD-positivity guarantees a noncontextual model.
  • Exotic KD-positive states acquire an operational role: their special convex structure lets noncontextual bulk data reveal contextuality in the fine-grained decomposition.
  • The result sharpens the analogy with entanglement: just as entangled states can admit local hidden-variable models, a contextual experiment can be verified from procedures that are individually noncontextual.
  • Because Bob's conclusion uses only public protocol choices and outcomes, the verification protocol works even though Bob does not know the ordering of Alice's states; that ordering information is the resource that 'unmixes' the mixture.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural experimental extension would be to identify concrete observables and a concrete exotic state in low dimension for which the nonconstructive $\delta$ of Lemma 8 can be computed; without such a bound the protocol is an existence proof rather than a runnable recipe.
  • The convexity of $N(\rho)$ suggests a general design principle: any convex nonclassicality witness can be 'hidden' in a mixture even when every pure component is nonclassical, so certification tasks should target convex roofs or other decomposition-sensitive quantities rather than the witness value of the mixture.
  • In device-certification scenarios, the result implies that a party who sees only coarse-grained, classically simulable statistics may still certify nonclassicality about the data-generating process; one testable consequence is a contextuality-based certification scheme that does not require the certifier's own devices to be contextual.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper connects generalized contextuality to the Kirkwood-Dirac (KD) quasiprobability distribution for a pair of nondegenerate observables A and B. It presents six measurement protocols (weak and projective) and proves, in Theorem 1, two partial results: if a state has KD-nonpositivity N(ρ)>3d²ε, the protocols are contextual (for small weak-measurement strength ε), and if ρ is KD-positive (N(ρ)=0), the protocols admit an explicitly constructed noncontextual hidden-variable model. The main claimed application is an Alice–Bob scenario: Alice sends a sequence of pure states that average to an 'exotic' KD-positive mixed state ρ⋆ (KD-positive but not a convex mixture of pure KD-positive states). Bob's experiment on ρ⋆ is noncontextual by Theorem 1, yet by Lemma 8 every pure-state decomposition of ρ⋆ contains a state with KD-nonpositivity above some δ>0; if δ>3d²ε, Bob can certify that Alice's experiment (or a postselected part of it) is contextual. The paper argues this gives a noncontextual experiment that verifies contextuality.

Significance. The conceptual claim—that a demonstrably noncontextual experiment can certify contextuality of another experiment—is novel and interesting, and the paper has real strengths: the noncontextual hidden-variable model in Note IV is explicit and is checked against both the correctness constraints and the noncontextuality constraints; the contextuality direction in Note III is proved with a concrete threshold ε<δ/(3d²); and the connection between KD-positivity, convex roofs, and exotic states is clearly articulated. If the central construction can be made executable, the result would be a valuable contribution to the study of generalized contextuality. However, the main verification step currently rests on a non-constructive existence statement for the bound δ, which is load-bearing; and the abstract's 'iff' claim is stronger than the proven theorems.

major comments (2)
  1. [Experiment and analysis; Note V, Lemma 8] The verification step is non-constructive. Lemma 8 proves the existence of δ>0 via the hyperplane separation theorem and the extreme value theorem, but it provides no way to compute δ from ρ⋆ or from Bob's tomographic data. In the protocol, Bob must choose the weak-measurement strength ε before running the experiment and must ensure δ>3d²ε; with no lower bound on δ, no predetermined ε is guaranteed to satisfy this inequality, and Bob cannot certify that his chosen ε is small enough. Consequently, the advertised construction of a noncontextual experiment that verifies contextuality is not executable as stated. The authors should either supply a computable lower bound for δ (for the specific exotic state or family used) or reformulate the claim as an existence result with an unspecified parameter.
  2. [Abstract; Theorem 1] The abstract claims that the experiment is 'contextual iff the underlying state is not KD-positive,' but Theorem 1 proves only two partial statements: contextuality when N(ρ)>3d²ε and noncontextuality when N(ρ)=0. For states with 0<N(ρ)≤3d²ε, the theorem is silent, so the 'if' direction of the 'iff' is not established. Please revise the claim to match the proven threshold, e.g., by stating the contextuality criterion as N(ρ)>3d²ε, or prove the missing direction.
minor comments (5)
  1. [Main text, Eq. (8)] In Eq. (8) of the main text, the first term should be (1/2) Tr(Π^z_k ρ), not (1/2) Tr(Π^z_j ρ); the subscript must match the kth eigenspace of B.
  2. [Main text, after Eq. (5)] The sentence 'When ϵ=π/2, then N_{x,j} and M_{x,j} are projective' should refer to M_{y,j}, since the Y-type Kraus operator was defined just before.
  3. [Main text, equations (9)–(11)] The text refers to 'Protocols (9)–(11)' and 'protocols (6)–(8)' where the intended referents are equations, not protocols; please rephrase to avoid confusion.
  4. [Supplementary Note I, Fig. 1] The weak-measurement unitary is written as U = I⊗P_j + Z⊗P_j^⊥, which interchanges control and target; it should be P_j⊗I + P_j^⊥⊗Z (with the system factor first). The subsequent Kraus operators are consistent with the corrected form.
  5. [Acknowledgments] The acknowledgments contain the typo 'EPRSC'; presumably this should be EPSRC.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the noncontextual model is constructed explicitly and the contextuality witness is proved from operational constraints; external inputs and the non-constructive δ are limitations, not circular reductions.

full rationale

The claimed derivation is not circular. Theorem 1 is split into two independent directions. The contextuality direction for N(ρ)>3d^2ε is attributed to Refs. [31,32] and is re-proven in Note III from the operational equivalence constraints (12)-(15) and the quantum predictions (6)-(8); the proof does not assume the conclusion. The noncontextuality direction for KD-positive states is proven in Note IV by an explicit hidden-variable model (Eqs. S51-S71) that is checked against both the correctness constraints and the noncontextuality constraints; the model is constructed from KD-positivity, not from the target verification claim. The verification step in the 'Experiment and analysis' section uses Lemma 8 of Note V, which is a substantive hyperplane-separation and compactness argument: exoticity alone gives a non-KD-positive member in every pure-state decomposition, while Lemma 8 adds a uniform positive lower bound δ on its negativity. This is not a restatement of the definition of exotic states. The paper's dependence on Ref. [26] for the existence of exotic states is load-bearing but is an external mathematical theorem whose assumptions do not include the present target scenario; it is independent support, not a circular self-citation. The explicit caveats in the paper — that the result assumes quantum theory and that Lemma 8 is non-constructive, so 'Bob can find a δ>0' is not accompanied by an algorithm or computable bound — are completeness and executability limitations, not circular reductions. Accordingly, no circular step is identified.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted; ε is the experimentally chosen weak-measurement strength, and δ is a proven lower bound. The construction relies on standard quantum theory, the Spekkens contextuality framework, and the prior existence of exotic KD-positive states from Ref. [26].

assumptions (5)
  • domain assumption Quantum theory correctly predicts the outcome distributions of the weak and projective measurement protocols (Eqs. 6-8).
    The entire construction assumes the Born rule and the weak-measurement Kraus operators from Note I.
  • domain assumption Spekkens generalized contextuality is the relevant notion of classicality, and operationally indistinguishable procedures must share a representation in a noncontextual model.
    The noncontextuality constraints (12)-(15) are derived from this framework, introduced in Ref. [11].
  • domain assumption Exotic KD-positive states exist for the chosen observables A and B.
    The existence of mixed KD-positive states not in conv(E_pure_KD+) is taken from Ref. [26]; the Alice-Bob scenario requires such states.
  • domain assumption The KD distribution is informationally complete for reconstructing ρ (requires Pj and Πk to be nondegenerate with Pj ≠ Πk).
    Stated before Eq. (2); Bob needs to reconstruct ρ* from Q(ρ*).
  • standard math Hyperplane separation theorem and compactness of the state space in finite dimension d.
    Used in Lemma 8 to guarantee a positive lower bound δ on the negativity of some pure component of every decomposition.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Contextuality Can be Verified with Noncontextual Experiments." pith.science (2026). https://pith.science/paper/4F7ESVPQ

@misc{pith2026241200199,
  author       = {Pith},
  title        = {Pith review of: Contextuality Can be Verified with Noncontextual Experiments},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4F7ESVPQ}},
  note         = {Machine review of arXiv:2412.00199}
}
read the original abstract

We uncover new features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disc. Only for ``KD-positive'' states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements. We design such an experiment and show that it is contextual iff the underlying state is not KD-positive. We analyze this connection with respect to mixed KD-positive states that cannot be decomposed as convex combinations of pure KD-positive states. Our result is the construction of a noncontextual experiment that enables an experimenter to verify contextuality.

Figures

Figures reproduced from arXiv: 2412.00199 by the authors.

Figure 1
Figure 1. FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 1
Figure 1. FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 31 canonical work pages

  1. [26]

    Lostaglio, Phys

    M. Lostaglio, Phys. Rev. Lett. 125, 230603 (2020)

    2020

  2. [1]

    Measure Π k on the system (returning outcome z)

    work page

  3. [2]

    First, perform an X-type weak measurement of Pj (returning outcome x) and then measure Π k (re- turning outcome z)

    work page

  4. [3]

    First perform an Y -type weak measurement of Pj (returning outcome y) and then measure Π k (re- turning outcome z)

    work page

  5. [4]

    Either, with probability pm := sin 2ϵ , measure Pj (returning outcome x) or, with probability 1 − pm, return x ∈ {±1} uniformly at random

    work page

  6. [5]

    Discard the system and return as output y ∈ {±1} uniformly at random

    work page

  7. [6]

    These six protocols include repetition over all j and k

    Either apply the quantum channel MDj (ρ) := DjρD† j with probability pd := sin 2 ϵ or apply the identity channel with probability 1− pd, and finally measure Πk (returning outcome z). These six protocols include repetition over all j and k. We denote the outcome-probability distributions for these protocols by f (1) k (z), f (1) j,k (x, z), f (3) j,k (y, z...

    work page

  8. [7]

    Alice chooses a sequence of N pure quantum states (ψj)N j=1 (which may contain duplicates) such that these quantum states form an exotic state when mixed: ρ⋆ = 1 N NX j=1 ψj. (19)

    work page

Show all 50 references
  1. [8]

    Alice sends the sequence of quantum states to Bob M ≫ 1 times, each time keeping the order of the sequence secret

  2. [9]

    For each state Bob receives, he randomly performs one of the six protocols

  3. [10]

    Alice’s experiment involves preparing pure states, send- ing them to Bob, and recording the outcome that Bob an- nounces

    Bob publicly announces which protocol he chose and what outcome he obtained for each of the N × M states he received. Alice’s experiment involves preparing pure states, send- ing them to Bob, and recording the outcome that Bob an- nounces. Bob’s experiment involves taking inpu...

  4. [11]

    Aaronson and D

    S. Aaronson and D. Gottesman, Phys. Rev. A 70, 052328 (2004)

    2004

  5. [12]

    Weedbrook, S

    C. Weedbrook, S. Pirandola, R. Garc ´ ıa-Patr´ on, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Rev. Mod. Phys. 84, 621 (2012)

    2012

  6. [13]

    Veitch, C

    V. Veitch, C. Ferrie, D. Gross, and J. Emerson, New Journal of Physics 14, 113011 (2012)

    2012

  7. [14]

    Veitch, S

    V. Veitch, S. A. H. Mousavian, D. Gottesman, and J. Emerson, New Journal of Physics 16, 013009 (2014)

    2014

  8. [15]

    Raussendorf, J

    R. Raussendorf, J. Bermejo-Vega, E. Tyhurst, C. Okay, and M. Zurel, Phys. Rev. A 101, 012350 (2020)

    2020

  9. [16]

    Giovannetti, S

    V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 96, 010401 (2006)

    2006

  10. [17]

    Giovannetti, S

    V. Giovannetti, S. Lloyd, and L. Maccone, Nature pho- tonics 5, 222 (2011)

    2011

  11. [18]

    Maccone, Phys

    L. Maccone, Phys. Rev. A 88, 042109 (2013)

    2013

  12. [19]

    D. R. M. Arvidsson-Shukur, N. Yunger Halpern, H. V. Lepage, A. A. Lasek, C. H. W. Barnes, and S. Lloyd, Nat. Commun. 11, 3775 (2020)

    2020

  13. [20]

    Lupu-Gladstein, Y

    N. Lupu-Gladstein, Y. B. Yilmaz, D. R. M. Arvidsson- Shukur, A. Brodutch, A. O. Pang, A. M. Steinberg, and N. Yunger Halpern, Physical Review Letters 128, 220504 (2022)

    2022

  14. [21]

    R. W. Spekkens, Physical Review A 71, 052108 (2005)

    2005

  15. [22]

    R. W. Spekkens, Physical review letters 101, 020401 (2008)

    2008

  16. [23]

    Leifer, Quanta 3, 67 (2014)

    M. Leifer, Quanta 3, 67 (2014)

    2014

  17. [24]

    M. D. Mazurek, M. F. Pusey, R. Kunjwal, K. J. Resch, and R. W. Spekkens, Nature Communications 7, 10.1038/ncomms11780 (2016)

    2016 doi

  18. [25]

    Schmid and R

    D. Schmid and R. W. Spekkens, Phys. Rev. X 8, 011015 (2018)

    2018

  19. [27]

    J. S. Bell, Physics Physique Fizika 1, 195 (1964)

    1964

  20. [28]

    J. G. Kirkwood, Physical Review 44, 31 (1933)

    1933

  21. [29]

    P. A. M. Dirac, Rev. Mod. Phys. 17, 195 (1945)

    1945

  22. [30]

    D. R. M. Arvidsson-Shukur, W. F. Braasch Jr., S. De Bievre, J. Dressel, A. N. Jordan, C. Langrenez, M. Lostaglio, J. S. Lundeen, and N. Yunger Halpern, Properties and applications of the kirkwood-dirac dis- tribution (2024), arXiv:2403.18899, arXiv:2403.18899 [quant-ph]

    2024 arXiv

  23. [31]

    Lostaglio, A

    M. Lostaglio, A. Belenchia, A. Levy, S. Hern´ andez- G´ omez, N. Fabbri, and S. Gherardini, Quantum7, 1128 (2023)

    2023

  24. [32]

    J. R. Gonz´ alez Alonso, N. Yunger Halpern, and J. Dres- sel, Phys. Rev. Lett. 122, 040404 (2019)

    2019

  25. [33]

    Arvidsson-Shukur, J

    D. Arvidsson-Shukur, J. Chevalier Drori, and N. Yunger Halpern, Journal of Physics A: Mathematical and Theo- retical 54, 284001 (2021)

    2021

  26. [34]

    De Bi` evre, Physical Review Letters 127, 190404 (2021)

    S. De Bi` evre, Physical Review Letters 127, 190404 (2021)

    2021

  27. [35]

    Langrenez, W

    C. Langrenez, W. Salmon, S. D. Bi` evre, J. J. Thio, C. K. Long, and D. R. M. Arvidsson-Shukur, The set of kirkwood-dirac positive states is almost always minimal (2024), arXiv:2405.17557 [quant-ph]

    2024 arXiv

  28. [36]

    Langrenez, D

    C. Langrenez, D. R. M. Arvidsson-Shukur, and S. De Bi` evre, Journal of Mathematical Physics 65, 072201 (2024)

    2024

  29. [37]

    Aharonov, D

    Y. Aharonov, D. Z. Albert, and L. Vaidman, Physical review letters 60, 1351 (1988)

    1988

  30. [38]

    I. M. Duck, P. M. Stevenson, and E. C. G. Sudarshan, Phys. Rev. D 40, 2112 (1989)

    1989

  31. [39]

    Jozsa, Phys

    R. Jozsa, Phys. Rev. A 76, 044103 (2007)

    2007

  32. [40]

    Dressel, M

    J. Dressel, M. Malik, F. M. Miatto, A. N. Jordan, and R. W. Boyd, Rev. Mod. Phys. 86, 307 (2014)

    2014

  33. [41]

    M. F. Pusey, Phys. Rev. Lett. 113, 200401 (2014)

    2014

  34. [42]

    Kunjwal, M

    R. Kunjwal, M. Lostaglio, and M. F. Pusey, Physical Re- view A 100, 042116 (2019)

    2019

  35. [43]

    Vedral, Introduction to Quantum Information Science (Oxford University Press, Oxford, England, 2006)

    V. Vedral, Introduction to Quantum Information Science (Oxford University Press, Oxford, England, 2006)

    2006

  36. [44]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Rev. Mod. Phys. 81, 865 (2009)

    2009

  37. [45]

    R. F. Werner, Phys. Rev. A 40, 4277 (1989)

    1989

  38. [46]

    H. M. Wiseman, S. J. Jones, and A. C. Doherty, Phys. Rev. Lett. 98, 140402 (2007)

    2007

  39. [47]

    J. v. Neumann, Nachrichten von der Gesellschaft der Wissenschaften zu G¨ ottingen, Mathematisch- Physikalische Klasse 1927, 273 (1927)

    1927

  40. [48]

    S. A. Hill and W. K. Wootters, Phys. Rev. Lett. 78, 5022 (1997)

    1997

  41. [49]

    W. K. Wootters, Phys. Rev. Lett. 80, 2245 (1998)

    1998

  42. [50]

    outcome +1

    C. Langrenez, S. D. Bi` evre, and D. R. M. Arvidsson- Shukur, Convex roofs witnessing kirkwood-dirac nonpos- itivity (2024), arXiv:2407.04558 [quant-ph]. 1 Supplementary Material for Contextuality Can be Verified with Noncontextual Experiments I. THE QUANTUM THEORETICAL DESCRI...

    2024 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.