pith. sign in

arxiv: 2605.18112 · v1 · pith:SR42F4CMnew · submitted 2026-05-18 · 🪐 quant-ph

Linear-optical test of quantum contextuality with sequential measurements

Jiaqi Liu , Bita Olamaei , Lijian Zhang , Ali Asadian , Saleh Rahimi-Keshari This is my paper

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

classification 🪐 quant-ph
keywords quantum contextualityKCBS inequalitylinear opticssequential measurementssingle photonsKochen-Specker theorem
0
0 comments X

The pith

A linear-optical setup with sequential measurements violates the KCBS inequality using single photons.

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

The paper proposes and implements a photonic experiment to demonstrate Kochen-Specker contextuality by violating the KCBS inequality. It realizes sequential measurements on single photons through linear-optical networks and on-off photodetectors. The design keeps each observable implemented by the identical physical operation in every context. Experimental results show a clear violation that persists despite photon loss. The same arrangement also serves to check photon-number statistics and confirm single-photon sources.

Core claim

We propose and experimentally implement a linear-optical setup for demonstrating Kochen-Specker contextuality via a violation of the KCBS inequality using single photons. Our scheme employs sequential measurements realized with linear-optical networks and on-off photodetectors. The construction ensures that each co-measured observable is implemented by the same physical operation across different contexts. Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss.

What carries the argument

The linear-optical network construction that implements each observable by the same physical operation in every measurement context.

If this is right

  • The observed violation cannot be reproduced by any noncontextual hidden-variable model.
  • The setup remains valid even when some photons are lost.
  • The arrangement can extract information about the photon-number distribution of the input state.
  • The same hardware can certify whether a source emits true single photons.

Where Pith is reading between the lines

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

  • The method could be adapted to test contextuality in other inequalities or with higher-dimensional systems.
  • Consistent operation across contexts might simplify integration with lossy photonic circuits used in quantum information tasks.
  • The robustness to loss suggests the approach could work with imperfect single-photon sources without additional error correction.

Load-bearing premise

The linear-optical networks apply the identical physical transformation to each observable no matter which context is measured.

What would settle it

Observation of different detection statistics for the same observable when measured in different contexts, or measured correlations that stay within the classical KCBS bound.

Figures

Figures reproduced from arXiv: 2605.18112 by Ali Asadian, Bita Olamaei, Jiaqi Liu, Lijian Zhang, Saleh Rahimi-Keshari.

Figure 1
Figure 1. Figure 1: FIG. 1. (a) Setup for the implementation of the KCBS non [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Experimental setup. A pulsed Ti:Sapphire laser is frequency doubled via parametric up-conversion in the first [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The extent of violation of the KCBS inequality is [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
read the original abstract

Quantum contextuality provides a fundamental signature of nonclassical behavior that cannot be explained by noncontextual hidden-variable models. We propose and experimentally implement a linear-optical setup for demonstrating Kochen-Specker contextuality via a violation of the KCBS inequality using single photons. Our scheme employs sequential measurements realized with linear-optical networks and on-off photodetectors. The construction ensures that each co-measured observable is implemented by the same physical operation across different contexts. Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss. Beyond fundamental investigations, the proposed setup provides a practical tool for probing non-classicality and photon-number statistics of quantum states, which in turn enables the verification of single-photon sources.

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

2 major / 2 minor

Summary. The manuscript proposes and experimentally realizes a linear-optical scheme to test Kochen-Specker contextuality by violating the KCBS inequality with sequential measurements on single photons. Sequential measurements are performed via linear-optical networks and on-off detectors; the construction is asserted to guarantee that each observable is realized by the identical physical operation in every context in which it appears. The abstract states that the experiment demonstrates a clear KCBS violation together with robustness to photon loss and positions the setup as a practical tool for characterizing non-classicality and verifying single-photon sources.

Significance. A rigorously validated demonstration of this kind would constitute a useful addition to the experimental contextuality literature by offering a sequential, resource-efficient photonic platform that tolerates loss. The dual use for single-photon source verification could also be of practical interest in quantum optics. However, the significance is currently limited by the absence of quantitative experimental data and by the unresolved question of whether the effective measurement operators are demonstrably context-independent.

major comments (2)
  1. [Abstract] Abstract: the statement that 'Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss' is unsupported by any numerical value of the KCBS expression, error bars, number of trials, or statistical analysis. Without these data it is impossible to judge whether a genuine violation has been observed or whether post-selection or fitting artifacts could account for the reported result.
  2. [Experimental construction] Experimental construction (linear-optical networks section): the central claim that 'the construction ensures that each co-measured observable is implemented by the same physical operation across different contexts' is load-bearing for any valid KS test. Because each context corresponds to a distinct network configuration, the manuscript must supply either a quantitative calibration showing that the effective POVMs (or unitaries) are identical to within experimental precision or an explicit argument ruling out context-dependent loss, mode mismatch, or detector inefficiency. Absent such evidence, a noncontextual model could exploit implementation differences to reproduce the observed statistics.
minor comments (2)
  1. [Abstract] The abstract would benefit from a single sentence stating the measured KCBS value (with uncertainty) and the number of detected photons.
  2. [Theory] Notation for the sequential measurement operators should be introduced with an explicit equation that distinguishes the physical implementation from the abstract observable.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which have helped strengthen the manuscript. We address each major point below, providing clarifications and indicating revisions where the manuscript is updated to incorporate the feedback.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the statement that 'Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss' is unsupported by any numerical value of the KCBS expression, error bars, number of trials, or statistical analysis. Without these data it is impossible to judge whether a genuine violation has been observed or whether post-selection or fitting artifacts could account for the reported result.

    Authors: We agree that the abstract should be self-contained and directly supported by quantitative results. The main text already reports the experimental KCBS violation, including the measured value, error bars, number of trials, and statistical analysis. In the revised manuscript we have updated the abstract to include a concise summary of these quantitative findings (e.g., the observed violation magnitude and significance), thereby grounding the claim in the reported data without altering the underlying experimental results. revision: yes

  2. Referee: [Experimental construction] Experimental construction (linear-optical networks section): the central claim that 'the construction ensures that each co-measured observable is implemented by the same physical operation across different contexts' is load-bearing for any valid KS test. Because each context corresponds to a distinct network configuration, the manuscript must supply either a quantitative calibration showing that the effective POVMs (or unitaries) are identical to within experimental precision or an explicit argument ruling out context-dependent loss, mode mismatch, or detector inefficiency. Absent such evidence, a noncontextual model could exploit implementation differences to reproduce the observed statistics.

    Authors: We appreciate the emphasis on this critical requirement for a valid KS test. The original manuscript describes the linear-optical construction in which each observable is realized by a fixed set of optical elements and detector settings that remain unchanged whenever that observable appears, regardless of context. We have expanded the relevant section with an explicit argument showing that context-dependent loss, mode mismatch, or inefficiency are precluded by design: the beam-splitter ratios, path lengths, and on-off detector thresholds are identical for a given observable across all contexts, and the sequential measurement protocol uses the same physical network reconfiguration only for the co-measured pair. This rules out exploitation by a noncontextual model that relies on implementation differences. If additional quantitative calibration data are desired, we note that the current work is a proof-of-principle demonstration; such data can be added in follow-up experiments. revision: partial

Circularity Check

0 steps flagged

No significant circularity; experimental results independent of self-referential definitions

full rationale

The paper presents a linear-optical experimental implementation for testing the KCBS inequality with sequential measurements on single photons. The central result is a measured violation of the inequality together with reported robustness to photon loss. The abstract states that the construction ensures each observable uses the same physical operation across contexts, but this is an explicit design choice in the setup rather than a derivation that reduces the observed statistics to fitted parameters or prior self-citations by construction. No equations or theoretical steps are shown to rename or force the experimental outcome from the inputs themselves. The demonstration is therefore self-contained against external benchmarks of measured photon statistics.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Minimal ledger: the work rests on established quantum optics and the standard interpretation of the KCBS inequality as a contextuality witness; no new free parameters, invented entities, or ad-hoc axioms introduced.

axioms (1)
  • domain assumption Quantum mechanics permits contextuality for sets of observables satisfying the Kochen-Specker theorem, and violation of the KCBS inequality witnesses this contextuality.
    The paper interprets the experimental violation as evidence of contextuality under this standard assumption.

pith-pipeline@v0.9.0 · 5656 in / 1281 out tokens · 44092 ms · 2026-05-20T10:53:53.004850+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages

  1. [1]

    This demonstrates that the above measurement configu- ration is optimal for an initial single-photon state in the first mode

    Substituting these expressions into the KCBS inequality (8), we find S(|1⟩1) = √ 5,(16) which corresponds to the maximal quantum violation. This demonstrates that the above measurement configu- ration is optimal for an initial single-photon state in the first mode. Note that, since any single-photon state can be transformed into|1⟩1 via a suitable linear-...

    work page

  2. [2]

    IdealSValue

    Hence, a violation of the KCBS inequality, S(ρ1)>2, is still possible providedρ 11 > 2√ 5 ≈0.894. As a second example, consider a state containing single- and two-photon components,ρ1 =ρ 11|1⟩1⟨1|+ρ 22|2⟩1⟨2|. In this case,S(ρ1) =ρ 11 √ 5+ρ 22(2 √ 5−3). Imposing the violation conditionS(ρ 1)>2yieldsρ 11 > 5− √ 5 4 ≈0.691. These examples illustrate quantit...

    work page doi:10.55776/p35810

  3. [3]

    Kochen and E

    S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics17, 59 (1967)

    work page 1967

  4. [4]

    J. S. BELL, On the problem of hidden variables in quan- tum mechanics, Rev. Mod. Phys.38, 447 (1966)

    work page 1966

  5. [5]

    Budroni, A

    C. Budroni, A. Cabello, O. Gühne, M. Kleinmann, and J.-A. Larsson, Kochen-specker contextuality, Rev. Mod. Phys.94, 045007 (2022)

    work page 2022

  6. [6]

    Specker, Die logik nicht gleichzeitig entsc heidbarer aussagen, Dialectica14, 239 (1960)

    E. Specker, Die logik nicht gleichzeitig entsc heidbarer aussagen, Dialectica14, 239 (1960)

    work page 1960

  7. [7]

    Brunner, D

    N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys.86, 419 (2014)

    work page 2014

  8. [8]

    Nagata, Kochen-specker theorem as a precondition for secure quantum key distribution, Phys

    K. Nagata, Kochen-specker theorem as a precondition for secure quantum key distribution, Phys. Rev. A72, 012325 (2005)

    work page 2005

  9. [9]

    Saha and A

    D. Saha and A. Chaturvedi, Preparation contextuality as an essential feature underlying quantum communication advantage, Phys. Rev. A100, 022108 (2019)

    work page 2019

  10. [10]

    Gupta, D

    S. Gupta, D. Saha, Z.-P. Xu, A. Cabello, and A. S. Majumdar, Quantum contextuality provides communica- tion complexity advantage, Phys. Rev. Lett.130, 080802 (2023)

    work page 2023

  11. [11]

    Schmid and R

    D. Schmid and R. W. Spekkens, Contextual advantage for state discrimination, Phys. Rev. X8, 011015 (2018)

    work page 2018

  12. [12]

    M.Howard, J.Wallman, V.Veitch,andJ.Emerson,Con- textuality supplies the ‘magic’ for quantum computation, Nature510, 351 (2014)

    work page 2014

  13. [13]

    Delfosse, P

    N. Delfosse, P. Allard Guerin, J. Bian, and R. Raussendorf, Wigner function negativity and contextuality in quantum computation on rebits, Phys. Rev. X5, 021003 (2015)

    work page 2015

  14. [14]

    Dawkins and M

    H. Dawkins and M. Howard, Qutrit magic state distil- lation tight in some directions, Phys. Rev. Lett.115, 030501 (2015)

    work page 2015

  15. [15]

    Raussendorf, Contextuality in measurement-based quantum computation, Phys

    R. Raussendorf, Contextuality in measurement-based quantum computation, Phys. Rev. A88, 022322 (2013)

    work page 2013

  16. [16]

    Bermejo-Vega, N

    J. Bermejo-Vega, N. Delfosse, D. E. Browne, C. Okay, and R. Raussendorf, Contextuality as a resource for mod- elsofquantumcomputationwithqubits,Phys.Rev.Lett. 119, 120505 (2017)

    work page 2017

  17. [17]

    Raussendorf, D

    R. Raussendorf, D. E. Browne, N. Delfosse, C. Okay, and J. Bermejo-Vega, Contextuality and wigner-function neg- ativity in qubit quantum computation, Phys. Rev. A95, 052334 (2017)

    work page 2017

  18. [18]

    Gühne, C

    O. Gühne, C. Budroni, A. Cabello, M. Kleinmann, and J.-A. Larsson, Bounding the quantum dimension with contextuality, Phys. Rev. A89, 062107 (2014)

    work page 2014

  19. [19]

    Bharti, M

    K. Bharti, M. Ray, A. Varvitsiotis, N. A. Warsi, A. Ca- bello, and L.-C. Kwek, Robust self-testing of quantum systems via noncontextuality inequalities, Phys. Rev. Lett.122, 250403 (2019)

    work page 2019

  20. [20]

    A. A. Klyachko, M. A. Can, S. Binicioğlu, and A. S. Shu- movsky, Simple test for hidden variables in spin-1 sys- tems, Phys. Rev. Lett.101, 020403 (2008)

    work page 2008

  21. [21]

    Yu and C

    S. Yu and C. H. Oh, State-independent proof of kochen- specker theorem with 13 rays, Phys. Rev. Lett.108, 030402 (2012)

    work page 2012

  22. [22]

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Proposed experiment to test local hidden-variable theo- ries, Phys. Rev. Lett.23, 880 (1969)

    work page 1969

  23. [23]

    N. D. Mermin, Simple unified form for the major no- hidden-variables theorems, Phys. Rev. Lett.65, 3373 (1990)

    work page 1990

  24. [24]

    N. D. Mermin, Hidden variables and the two theorems of john bell, Rev. Mod. Phys.65, 803 (1993)

    work page 1993

  25. [25]

    Peres, Incompatible results of quantum measure- ments, Physics Letters A151, 107 (1990)

    A. Peres, Incompatible results of quantum measure- ments, Physics Letters A151, 107 (1990)

    work page 1990

  26. [26]

    Peres, Two simple proofs of the kochen-specker the- orem, Journal of Physics A: Mathematical and General 24, L175 (1991)

    A. Peres, Two simple proofs of the kochen-specker the- orem, Journal of Physics A: Mathematical and General 24, L175 (1991)

    work page 1991

  27. [27]

    Lapkiewicz, P

    R. Lapkiewicz, P. Li, C. Schaeff, N. K. Langford, S. Ramelow, M. Wieśniak, and A. Zeilinger, Experimen- tal non-classicality of an indivisible quantum system, Na- ture474, 490 (2011)

    work page 2011

  28. [28]

    Kirchmair, F

    G. Kirchmair, F. Zähringer, R. Gerritsma, M. Klein- mann, O. Gühne, A. Cabello, R. Blatt, and C. F. Roos, State-independent experimental test of quantum contex- tuality, Nature460, 494 (2009)

    work page 2009

  29. [29]

    Bartosik, J

    H. Bartosik, J. Klepp, C. Schmitzer, S. Sponar, A. Ca- bello, H. Rauch, and Y. Hasegawa, Experimental test of quantum contextuality in neutron interferometry, Phys. Rev. Lett.103, 040403 (2009)

    work page 2009

  30. [30]

    Jerger, Y

    M. Jerger, Y. Reshitnyk, M. Oppliger, A. Potočnik, M. Mondal, A. Wallraff, K. Goodenough, S. Wehner, K. Juliusson, N. K. Langford, and A. Fedorov, Contextu- ality without nonlocality in a superconducting quantum system, Nature Communications7, 12930 (2016)

    work page 2016

  31. [31]

    Huang, C.-F

    Y.-F. Huang, C.-F. Li, Y.-S. Zhang, J.-W. Pan, and G.- C. Guo, Experimental test of the kochen-specker theorem with single photons, Phys. Rev. Lett.90, 250401 (2003)

    work page 2003

  32. [32]

    Amselem, M

    E. Amselem, M. Rådmark, M. Bourennane, and A. Ca- bello,State-independentquantumcontextualitywithsin- gle photons, Phys. Rev. Lett.103, 160405 (2009)

    work page 2009

  33. [33]

    Ahrens, E

    J. Ahrens, E. Amselem, A. Cabello, and M. Bourennane, Two fundamental experimental tests of nonclassicality with qutrits, Scientific Reports3, 2170 (2013)

    work page 2013

  34. [34]

    D’Ambrosio, I

    V. D’Ambrosio, I. Herbauts, E. Amselem, E. Nagali, M. Bourennane, F. Sciarrino, and A. Cabello, Experi- mental implementation of a kochen-specker set of quan- tum tests, Phys. Rev. X3, 011012 (2013)

    work page 2013

  35. [35]

    Amselem, L

    E. Amselem, L. E. Danielsen, A. J. López-Tarrida, J. R. Portillo, M. Bourennane, and A. Cabello, Experimen- tal fully contextual correlations, Phys. Rev. Lett.108, 200405 (2012)

    work page 2012

  36. [36]

    Arias, G

    M. Arias, G. Cañas, E. S. Gómez, J. F. Barra, G. B. Xavier, G. Lima, V. D’Ambrosio, F. Baccari, F. Sciar- rino, and A. Cabello, Testing noncontextuality inequal- ities that are building blocks of quantum correlations, Phys. Rev. A92, 032126 (2015)

    work page 2015

  37. [37]

    Zu, Y.-X

    C. Zu, Y.-X. Wang, D.-L. Deng, X.-Y. Chang, K. Liu, P.- Y. Hou, H.-X. Yang, and L.-M. Duan, State-independent experimental test of quantum contextuality in an indi- visible system, Phys. Rev. Lett.109, 150401 (2012)

    work page 2012

  38. [38]

    Borges, M

    G. Borges, M. Carvalho, P.-L. de Assis, J. Ferraz, M. Araújo, A. Cabello, M. T. Cunha, and S. a. Pádua, Quantum contextuality in a young-type interference ex- periment, Phys. Rev. A89, 052106 (2014)

    work page 2014

  39. [39]

    Asadian and A

    A. Asadian and A. Cabello, Bosonic indistinguishability- dependent contextuality, Phys. Rev. A105, 012404 (2022)

    work page 2022

  40. [40]

    Frustaglia, J

    D. Frustaglia, J. P. Baltanás, M. C. Velázquez-Ahumada, 12 A. Fernández-Prieto, A. Lujambio, V. Losada, M. J. Freire, and A. Cabello, Classical physics and the bounds of quantum correlations, Phys. Rev. Lett.116, 250404 (2016)

    work page 2016

  41. [41]

    Zhang, H

    A. Zhang, H. Xu, J. Xie, H. Zhang, B. J. Smith, M. S. Kim, and L. Zhang, Experimental test of contextuality in quantum and classical systems, Phys. Rev. Lett.122, 080401 (2019)

    work page 2019

  42. [42]

    Fine, Hidden variables, joint probability, and the bell inequalities, Phys

    A. Fine, Hidden variables, joint probability, and the bell inequalities, Phys. Rev. Lett.48, 291 (1982)

    work page 1982

  43. [43]

    A.Cabello,Simplemethodforexperimentallytestingany form of quantum contextuality, Phys. Rev. A93, 032102 (2016)

    work page 2016

  44. [44]

    P. Kok, H. Lee, and J. P. Dowling, Single-photon quantum-nondemolition detectors constructed with lin- ear optics and projective measurements, Phys. Rev. A 66, 063814 (2002)

    work page 2002

  45. [45]

    Imoto, H

    N. Imoto, H. A. Haus, and Y. Yamamoto, Quantum non- demolition measurement of the photon number via the optical kerr effect, Phys. Rev. A32, 2287 (1985)

    work page 1985

  46. [46]

    B. C. Sanders and D. A. Rice, Nonclassical fields and the nonlinear interferometer, Phys. Rev. A61, 013805 (1999)

    work page 1999

  47. [47]

    Z. Y. Ou, Complementarity and fundamental limit in precision phase measurement, Phys. Rev. Lett.77, 2352 (1996)

    work page 1996

  48. [48]

    R. W. Boyd, Order-of-magnitude estimates of the nonlin- ear optical susceptibility, Journal of Modern Optics46, 367 (1999)

    work page 1999

  49. [49]

    M. D. Lukin and A. Imamoğlu, Nonlinear optics and quantum entanglement of ultraslow single photons, Phys. Rev. Lett.84, 1419 (2000)

    work page 2000

  50. [50]

    R. J. Glauber, Photon correlations, Phys. Rev. Lett.10, 84 (1963)

    work page 1963

  51. [51]

    E. C. G. Sudarshan, Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams, Phys. Rev. Lett.10, 277 (1963)

    work page 1963

  52. [52]

    Rahimi-Keshari, A

    S. Rahimi-Keshari, A. Scherer, A. Mann, A. T. Reza- khani, A. I. Lvovsky, and B. C. Sanders, Quantum pro- cess tomography with coherent states, New Journal of Physics13, 013006 (2011)

    work page 2011

  53. [53]

    M. D. Reid and D. F. Walls, Violations of classical in- equalities in quantum optics, Phys. Rev. A34, 1260 (1986)

    work page 1986

  54. [54]

    Catani, M

    L. Catani, M. Leifer, G. Scala, D. Schmid, and R. W. Spekkens, Aspects of the phenomenology of interference thataregenuinelynonclassical,Phys.Rev.A108,022207 (2023)

    work page 2023

  55. [55]

    Wagner, A

    R. Wagner, A. Camillini, and E. F. Galvão, Coher- ence and contextuality in a Mach-Zehnder interferom- eter, Quantum8, 1240 (2024)

    work page 2024

  56. [56]

    Rahimi-Keshari, S

    S. Rahimi-Keshari, S. Baghbanzadeh, and C. M. Caves, In situ characterization of linear-optical networks in ran- domized boson sampling, Phys. Rev. A101, 043809 (2020)

    work page 2020