pith. sign in

arxiv: 2604.25901 · v2 · submitted 2026-04-28 · 🪐 quant-ph

Testing a continuous-variable Bell-like inequality with a hybrid-encoded system

Yu Meng , Ying Wang , Clara Henke , Nikolai Bart , Arne Ludwig , Peter Lodahl , Jonas S. Neergaard-Nielsen , Ulrik L. Andersen
show 2 more authors
Leonardo Midolo Zheng-Hao Liu
This is my paper

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

classification 🪐 quant-ph
keywords continuous-variable quantum systemsBell inequalitynoncontextualityGottesman-Kitaev-Preskill codehybrid encodingsingle photonquantum dotHadamard test
0
0 comments X

The pith

Mapping a single photon's spatial modes to the GKP code space produces a 380-standard-deviation violation of a continuous-variable Bell-like noncontextual inequality.

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

Continuous-variable systems under direct quadrature measurements admit noncontextual hidden-variable descriptions and cannot violate Bell inequalities. The paper demonstrates that this noncontextuality fails when the same Gaussian correlations are instead probed with Hadamard tests. The test is realized by mapping the spatial modes of a deterministically generated single photon onto logical operations inside the Gottesman-Kitaev-Preskill code space. A black-box analysis then records a violation of the corresponding noncontextual hidden-variable inequality by 380 standard deviations. A sympathetic reader would care because the result closes conceptual loopholes left by earlier continuous-variable tests and shows that hybrid discrete-continuous encodings can expose contextuality where pure Gaussian measurements cannot.

Core claim

Quadrature measurements on Gaussian continuous-variable states are noncontextual, yet the same states violate a Bell-like noncontextual hidden-variable inequality once their correlations are accessed via Hadamard tests. The authors implement the required operations by encoding the logical gates of the Gottesman-Kitaev-Preskill code into the spatial-mode structure of a single photon emitted from an InAs/GaAs quantum dot. In a black-box experiment they record a 380-standard-deviation violation of the inequality, thereby establishing that the noncontextual model does not survive the change in measurement protocol.

What carries the argument

The hybrid encoding that translates a single photon's spatial modes into the logical operations of the Gottesman-Kitaev-Preskill code space, thereby allowing Hadamard tests to probe noncontextual hidden-variable models.

If this is right

  • Gaussian continuous-variable states lose their noncontextual description once probed with Hadamard tests rather than quadrature measurements.
  • Hybrid discrete-continuous photonic encodings provide a practical route to test noncontextuality in continuous-variable systems.
  • The black-box violation supplies a concrete benchmark for future continuous-variable quantum-information experiments.
  • The result removes one class of conceptual objections previously raised against continuous-variable Bell tests.

Where Pith is reading between the lines

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

  • The same hybrid-encoding technique could be applied to test other contextuality witnesses or to implement small-scale continuous-variable error-correction protocols.
  • Extending the method to multi-photon or multi-mode states would allow direct comparison between discrete-variable and continuous-variable contextuality measures.
  • If the mapping can be made fully fault-tolerant, the approach offers a photonic pathway to study the boundary between classical and quantum descriptions in continuous-variable hardware.

Load-bearing premise

The spatial-mode mapping to GKP logical operations correctly realizes the Hadamard tests without injecting classical correlations or leaving unclosed loopholes.

What would settle it

An independent experiment that repeats the Hadamard-test protocol on an equivalent GKP-encoded state but obtains a violation below a few standard deviations, or that closes all remaining loopholes and still sees no violation, would falsify the central claim.

Figures

Figures reproduced from arXiv: 2604.25901 by Arne Ludwig, Clara Henke, Jonas S. Neergaard-Nielsen, Leonardo Midolo, Nikolai Bart, Peter Lodahl, Ulrik L. Andersen, Ying Wang, Yu Meng, Zheng-Hao Liu.

Figure 1
Figure 1. Figure 1: Experimental scheme. (a) Setup for measuring the real expectation of the displacement operators. The single photons view at source ↗
Figure 2
Figure 2. Figure 2: Commutativity test. This Hadamard test-like setup view at source ↗
read the original abstract

Continuous-variable quantum systems are promising candidates for quantum computing and quantum information processing. It is widely known that quadrature measurements on Gaussian continuous-variable systems can be described by a noncontextual hidden-variable model and cannot violate a Bell inequality. Here, we demonstrate that the observation fails when the effects of Gaussian correlations are instead probed using Hadamard tests. Our experiment is realized by mapping the spatial modes of a single photon, deterministically generated from an InAs/GaAs quantum emitter, to the logical operations in the Gottesman--Kitaev--Preskill code space. Employing a black-box-style approach, we observe a violation of the Bell-like noncontextual hidden-variable inequality by 380 standard deviations. Our results address the conceptual loopholes in previous works and open up new possibilities for studying fundamental quantum physics using photonic-encoded continuous-variable systems.

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 / 1 minor

Summary. The manuscript reports an experimental demonstration that a Bell-like noncontextual hidden-variable inequality for continuous-variable Gaussian systems is violated when probed via Hadamard tests rather than direct quadrature measurements. The experiment maps spatial modes of a deterministically generated single photon from an InAs/GaAs quantum emitter onto logical operations in the Gottesman-Kitaev-Preskill (GKP) code space and employs a black-box approach, claiming a 380-standard-deviation violation that addresses conceptual loopholes in prior work.

Significance. If the encoding and controls are shown to isolate the intended CV noncontextuality without discrete-photon artifacts, the result would provide compelling evidence that Gaussian CV systems can exhibit contextuality under Hadamard-test probing, with implications for quantum foundations and hybrid CV-DV information processing. The deterministic single-photon source strengthens the technical contribution.

major comments (2)
  1. [Abstract and §3] Abstract and §3 (hybrid encoding): the claim that mapping single-photon spatial modes to GKP logical operations implements Hadamard tests that probe only the noncontextual HV model of a pure CV Gaussian system is load-bearing. The manuscript must demonstrate that the finite-dimensional mode-selective operations preserve quadrature commutation relations and do not admit a noncontextual assignment once realistic detection efficiencies and optical imperfections are included; otherwise the reported violation does not establish failure of noncontextuality for continuous-variable systems.
  2. [Results] Results section: the 380 SD violation is an exceptionally strong claim. The paper must supply the explicit statistical model, raw coincidence counts or quadrature histograms, full error propagation (including any covariance from the spatial-mode mapping), and data-exclusion criteria so that the significance can be independently verified; without these the central experimental result cannot be assessed.
minor comments (1)
  1. [Figure 2] Figure 2 or equivalent: the schematic of the spatial-mode to GKP mapping would benefit from an explicit table listing the correspondence between optical operations and logical Pauli/Hadamard gates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major point below and have revised the manuscript to strengthen the presentation of the hybrid encoding and the statistical analysis.

read point-by-point responses

  1. Referee: Abstract and §3 (hybrid encoding): the claim that mapping single-photon spatial modes to GKP logical operations implements Hadamard tests that probe only the noncontextual HV model of a pure CV Gaussian system is load-bearing. The manuscript must demonstrate that the finite-dimensional mode-selective operations preserve quadrature commutation relations and do not admit a noncontextual assignment once realistic detection efficiencies and optical imperfections are included.

    Authors: We appreciate the referee's emphasis on this foundational requirement. In the revised manuscript we have added a new subsection in §3 containing an explicit derivation showing that the mode-selective operations, when mapped onto the GKP logical space, preserve the canonical commutation relations [X,P]=i for the effective continuous-variable quadratures. We further include a quantitative analysis of how finite detection efficiency and optical losses modify the noncontextual bound; under conservative estimates consistent with our apparatus the observed violation remains well above the revised bound, confirming that the result pertains to the CV Gaussian system rather than discrete-photon artifacts. revision: yes

  2. Referee: Results section: the 380 SD violation is an exceptionally strong claim. The paper must supply the explicit statistical model, raw coincidence counts or quadrature histograms, full error propagation (including any covariance from the spatial-mode mapping), and data-exclusion criteria so that the significance can be independently verified.

    Authors: We agree that full transparency is required for a claim of this magnitude. The revised Results section and Supplementary Information now contain the explicit statistical model (Poissonian statistics for coincidence counts), the raw coincidence counts and quadrature histograms, the complete error-propagation formula that incorporates covariances arising from the spatial-mode mapping, and the precise data-exclusion criteria (laser-power stability thresholds). These additions allow independent verification of the reported 380-standard-deviation violation. revision: yes

Circularity Check

0 steps flagged

No circularity: experimental observation of inequality violation

full rationale

The paper reports a direct experimental measurement of a Bell-like inequality violation (380 SD) in a hybrid single-photon to GKP-encoded system. No derivation chain exists that reduces predictions or central claims to fitted parameters, self-definitions, or self-citation load-bearing steps. The result is presented as an observation from black-box testing of the mapped operations, independent of any internal fitting or renaming of known results. The mapping assumption is stated as an experimental implementation detail rather than a self-referential derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard quantum optics assumptions about Gaussian states and the validity of the hybrid mapping to GKP code space for implementing the tests; no free parameters or invented entities are identifiable from the abstract alone.

axioms (2)
  • domain assumption Gaussian continuous-variable systems admit a noncontextual hidden-variable model under quadrature measurements
    This is the established fact contrasted with the paper's Hadamard-test approach.
  • domain assumption The spatial-mode to GKP mapping faithfully implements the continuous-variable logical operations and Hadamard tests
    Invoked as the core of the experimental setup in the abstract.

pith-pipeline@v0.9.0 · 5471 in / 1564 out tokens · 70495 ms · 2026-05-14T21:53:27.089488+00:00 · methodology

Review history (2 revisions) →

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

46 extracted references · 46 canonical work pages

  1. [1]

    J. S. Bell, Rev. Mod. Phys.38, 447 (1966)

    work page 1966

  2. [2]

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Phys. Rev. Lett.23, 880 (1969)

    work page 1969

  3. [3]

    S. J. Freedman and J. F. Clauser, Phys. Rev. Lett.28, 938 (1972)

    work page 1972

  4. [4]

    E. S. Simon Kochen, J. Math. Mech.17, 59 (1967)

    work page 1967

  5. [5]

    Budroni, A

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

    work page 2022

  6. [6]

    Kochen– Specker

    Throughout this paper, we omit the qualifier “Kochen– Specker” or “quantum” before “contextuality” for the sake of brevity

    work page

  7. [7]

    Howard, J

    M. Howard, J. Wallman, V. Veitch, and J. Emerson, Nature510, 351 (2014)

    work page 2014

  8. [8]

    Bermejo-Vega, N

    J. Bermejo-Vega, N. Delfosse, D. E. Browne, C. Okay, and R. Raussendorf, Phys. Rev. Lett.119, 120505 (2017)

    work page 2017

  9. [9]

    Lett.129, 230401 (2022)

    R.I.Booth, U.Chabaud,andP.-E.Emeriau,Phys.Rev. Lett.129, 230401 (2022)

    work page 2022

  10. [10]

    Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen, Commun. ACM64, 131 (2021)

    work page 2021

  11. [11]

    Cabello, M

    A. Cabello, M. T. Quintino, and M. Kleinmann, Possi- ble consequences for physics of the negative resolution of tsirelson’s problem (2025), arXiv:2307.02920 [quant- ph]

    work page arXiv 2025

  12. [12]

    Zhang, T

    W. Zhang, T. van Leent, K. Redeker, R. Garthoff, R. Schwonnek, F. Fertig, S. Eppelt, W. Rosenfeld, V. Scarani, C. C.-W. Lim,et al., Nature607, 687 (2022)

    work page 2022

  13. [13]

    Pironio, A

    S. Pironio, A. Acín, S. Massar, A. B. de La Giroday, D. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, L. Luo, T. A. Manning,et al., Nature464, 1021 (2010)

    work page 2010

  14. [14]

    B. G. Christensen, K. T. McCusker, J. B. Altepeter, B. Calkins, T. Gerrits, A. E. Lita, A. Miller, L. K. Shalm, Y. Zhang, S. W. Nam,et al., Phys. Rev. Lett. 111, 130406 (2013)

    work page 2013

  15. [15]

    J. S. Bell,Speakable and unspeakable in quantum me- chanics: Collected papers on quantum philosophy(Cam- bridge university press, 2004)

    work page 2004

  16. [16]

    McKeown, M

    G. McKeown, M. G. Paris, and M. Paternostro, Phys. Rev. A83, 062105 (2011)

    work page 2011

  17. [17]

    J. B. Brask and R. Chaves, Phys. Rev. A86, 010103 (2012)

    work page 2012

  18. [18]

    Vlastakis, A

    B. Vlastakis, A. Petrenko, N. Ofek, L. Sun, Z. Leghtas, K. Sliwa, Y. Liu, M. Hatridge, J. Blumoff, L. Frun- 6 zio, M. Mirrahimi, L. Jiang, M. H. Devoret, and R. J. Schoelkopf, Nat. Commun.6, 8970 (2015)

    work page 2015

  19. [19]

    Thearle, J

    O. Thearle, J. Janousek, S. Armstrong, S. Hosseini, M. Schünemann, S. Assad, T. Symul, M. R. James, E. Huntington, T. C. Ralph,et al., Phys. Rev. Lett. 120, 040406 (2018)

    work page 2018

  20. [20]

    A. J. Bjerrum, J. B. Brask, J. S. Neergaard-Nielsen, and U. L. Andersen, Phys. Rev. A107, 052611 (2023)

    work page 2023

  21. [21]

    Ishihara, A

    M. Ishihara, A. Brendan, W. Roga, U. L. Andersen, and M. Takeoka, Optica Quantum3, 535 (2025)

    work page 2025

  22. [22]

    N. D. Mermin, Phys. Rev. Lett.65, 3373 (1990)

    work page 1990

  23. [23]

    Peres, Phys

    A. Peres, Phys. Lett. A151, 107 (1990)

    work page 1990

  24. [24]

    N. D. Mermin, Rev. Mod. Phys.65, 803 (1993)

    work page 1993

  25. [25]

    Cabello, Phys

    A. Cabello, Phys. Rev. Lett.101, 210401 (2008)

    work page 2008

  26. [26]

    A. R. Plastino and A. Cabello, Phys. Rev. A82, 022114 (2010)

    work page 2010

  27. [27]

    Asadian, C

    A. Asadian, C. Budroni, F. E. Steinhoff, P. Rabl, and O. Gühne, Phys. Rev. Lett.114, 250403 (2015)

    work page 2015

  28. [28]

    Ozawa, J

    M. Ozawa, J. Math. Phys.25, 79 (1984)

    work page 1984

  29. [29]

    Zhang, H

    A. Zhang, H. Xu, J. Xie, H. Zhang, B. J. Smith, M. S. Kim, and L. Zhang, Phys. Rev. Lett.122, 080401 (2019)

    work page 2019

  30. [30]

    Y.Meng, D.Saha, M.T.Mikkelsen, C.Henke, Y.Wang, N. Bart, A. Ludwig, P. Lodahl, A. Cabello, and L. Mi- dolo, arXiv preprint arXiv:2510.12761 (2025)

    work page arXiv 2025

  31. [31]

    X. Zhou, I. Kulkova, T. Lund-Hansen, S. L. Hansen, P. Lodahl, and L. Midolo, Appl. Phys. Lett.113, 10.1063/1.5055622 (2018)

    work page doi:10.1063/1.5055622 2018

  32. [32]

    See Supplemental Material atLink to Supplemental Ma- terialfor proof of the propositions in the main text and experimental details, which also includes Refer- ences[33, 34]

    work page

  33. [33]

    L. M. Procopio, A. Moqanaki, M. Araújo, F. Costa, I. Alonso Calafell, E. G. Dowd, D. R. Hamel, L. A. Rozema, Č. Brukner, and P. Walther, Nat. Commun. 6, 7913 (2015)

    work page 2015

  34. [34]

    Strömberg, P

    T. Strömberg, P. Schiansky, R. W. Peterson, M. T. Quintino, and P. Walther, Phys. Rev. Lett.131, 060803 (2023)

    work page 2023

  35. [35]

    L. A. Rozema, T. Strömberg, H. Cao, Y. Guo, B.-H. Liu, and P. Walther, Nat. Rev. Phys.6, 483 (2024)

    work page 2024

  36. [36]

    N. Gao, D. Li, A. Mishra, J. Yan, K. Simonov, and G. Chiribella, Phys. Rev. Lett.130, 170201 (2023)

    work page 2023

  37. [37]

    Gühne, M

    O. Gühne, M. Kleinmann, A. Cabello, J.-Å. Larsson, G. Kirchmair, F. Zähringer, R. Gerritsma, and C. F. Roos, Phys. Rev. A81, 022121 (2010)

    work page 2010

  38. [38]

    Szangolies, M

    J. Szangolies, M. Kleinmann, and O. Gühne, Phys. Rev. A87, 050101 (2013)

    work page 2013

  39. [39]

    U. L. Andersen, J. S. Neergaard-Nielsen, P. Van Loock, and A. Furusawa, Nat. Phys.11, 713 (2015)

    work page 2015

  40. [40]

    A. F. Kemper, A. Alvertis, M. Asaduzzaman, B. N. Bakalov, D. Baron, J. Bierman, B. Burgstahler, S. Chundury, E. R. Das, J. Furches,et al., arXiv:2511.13882 [quant-ph] (2025)

    work page arXiv 2025

  41. [41]

    P. Yin, X. Zhao, Y. Yang, Y. Guo, W.-H. Zhang, G.-C. Li, Y.-J. Han, B.-H. Liu, J.-S. Xu, G. Chiribella,et al., Nat. Phys.19, 1122 (2023)

    work page 2023

  42. [42]

    Hou, R.-J

    Z. Hou, R.-J. Wang, J.-F. Tang, H. Yuan, G.-Y. Xiang, C.-F. Li, and G.-C. Guo, Phys. Rev. Lett.123, 040501 (2019)

    work page 2019

  43. [43]

    Tasca, R

    D. Tasca, R. Gomes, F. Toscano, P. Souto Ribeiro, and S. Walborn, Phys. Rev. A83, 052325 (2011)

    work page 2011

  44. [44]

    Fabre, G

    N. Fabre, G. Maltese, F. Appas, S. Felicetti, A. Ket- terer, A. Keller, T. Coudreau, F. Baboux, M. Amanti, S. Ducci,et al., Phys. Rev. A102, 012607 (2020)

    work page 2020

  45. [45]

    Yamazaki, T

    T. Yamazaki, T. Arizono, T. Kobayashi, R. Ikuta, and T. Yamamoto, Phys. Rev. Lett.130, 200602 (2023)

    work page 2023

  46. [46]

    Testing a continuous-variable Bell-like inequality with a hybrid-encoded system

    É. Descamps, A. Keller, and P. Milman, Phys. Rev. Lett.132, 170601 (2024). 1 Supplementary Material for “Testing a continuous-variable Bell-like inequality with a hybrid-encoded system” CONTENTS A. Experimental data 1 B. Commutativity test 2 C. Towards bounding the effect of incompatibility 3 Appendix A: Experimental data Ojk k= 1k= 2k= 3 j= 1 Dx(−q0)D y(...

    work page 2024