pith. sign in

arxiv: 2508.19207 · v4 · submitted 2025-08-26 · 🪐 quant-ph

Unquestionable Bell theorem for interwoven frustrated down conversion processes

Pawe{\l} Cie\'sli\'nski , Jan-{\AA}ke Larsson , Marcin Markiewicz , Konrad Schlichtholz , Marek \.Zukowski This is my paper

Pith reviewed 2026-05-18 20:57 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Bell theoremparametric down-conversionpath identityinterferencenonclassicalityClauser-Horne inequalityquantum optics
0
0 comments X

The pith

Interwoven frustrated down-conversion processes violate Bell inequality with on-off switching of local processes.

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

This paper establishes Bell nonclassicality for interwoven frustrated parametric down conversion processes that rely on path identity for interference. Using on-off switching of the final local PDC processes as measurement settings leads to a violation of the Clauser-Horne inequality. In contrast, relying solely on local phase shifts allows a local realistic model to explain the interference. The depth of the destructive interference is sufficient for the violation under the on-off approach. This provides a solid basis for the non-classical nature of this interferometry and suggests a new platform for quantum phenomena.

Core claim

The authors show that the destructive interference from interwoven frustrated PDC processes is deep enough to violate the Clauser-Horne inequality when local measurements are implemented by on-off switching of the final local PDC processes. This demonstrates Bell nonclassicality for the path-identity interference, whereas phase-shift-only settings permit a local realistic model.

What carries the argument

On-off switching of the final local parametric down-conversion processes, used as the local measurement settings to test for Bell inequality violation in path-identity-based interference.

If this is right

  • The path-identity interference exhibits nonclassical correlations that cannot be explained by local realistic models.
  • This on-off method provides a loophole-resistant way to certify nonclassicality in such processes.
  • The approach forms a new platform for seeking highly counterintuitive quantum phenomena.
  • Experimental realizations can now claim firm non-classicality for the interferometry.

Where Pith is reading between the lines

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

  • Similar switching techniques might reveal nonclassicality in other path-identity or frustrated interference setups.
  • This could inspire new quantum metrology or communication protocols based on these processes.
  • The distinction between phase shifts and switching highlights the importance of choosing appropriate measurement implementations in Bell tests.

Load-bearing premise

That treating the on-off switching of the final local PDC processes as ideal local measurement settings does not introduce extra classical correlations or loopholes that would permit a local realistic model to account for the results.

What would settle it

Observing no violation of the Clauser-Horne inequality in an experiment using on-off switching with the reported level of destructive interference, or discovering a local realistic model that reproduces the data under these settings.

Figures

Figures reproduced from arXiv: 2508.19207 by Jan-{\AA}ke Larsson, Konrad Schlichtholz, Marcin Markiewicz, Marek \.Zukowski, Pawe{\l} Cie\'sli\'nski.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic of the interwoven frustrated down [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Local hidden variable model that reproduces the [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Model with [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
read the original abstract

Interwoven frustrated parametric down conversion (PDC) processes produce interference effects based on path identity [Phys. Rev. Lett. 118, 080401 (2017)]. In this letter we show Bell nonclassicality of the processes: a proper violation of the Clauser-Horne inequality when the local measurements are controlled by on-off switching of the final local PDC processes. Such a non-standard approach is needed because if only the local phase shifts are used for the measurement settings, as done in the experiment reported in Sci. Adv. 11, 1794 (2025), there exists a local realistic model of the interference, which we present in this letter. Nevertheless, the reported destructive interference is deep enough to violate the inequality when using on-off switching, so our result establishes a firm footing for non-classicality of the new interferometry, in both theory and experiment. The on-off approach to Bell analysis of path-identity-based interference forms a new platform for seeking new highly counterintuitive quantum phenomena.

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 claims to establish Bell nonclassicality for interwoven frustrated parametric down-conversion processes. It constructs an explicit local realistic model that reproduces the interference when local settings are implemented by phase shifts (as in the cited Sci. Adv. experiment), but argues that on-off switching of the final local PDC processes functions as a valid local measurement choice that permits a violation of the Clauser-Horne inequality given the reported depth of destructive interference.

Significance. If the on-off switching can be rigorously shown to act as an ideal local observable without introducing additional shared classical randomness or loopholes, the result supplies a concrete route to non-classicality in path-identity interferometry that is independent of the phase-shift loophole. This would constitute a new experimental platform for counterintuitive quantum effects, grounded in existing interference data rather than a fully parameter-free derivation.

major comments (2)
  1. The central claim requires that on-off switching of the final local PDC processes functions as a pure choice of local observable without adding shared classical randomness or altering joint probability normalization. The manuscript constructs an explicit local realistic model for phase-shift settings but does not derive or refute an analogous model for the on/off combinations; if the switching correlates with the path-identity amplitudes through the shared pump or undetected modes, the observed destructive interference could still be reproduced locally while satisfying the CH bound.
  2. The violation is asserted to follow from the measured interference depth in the cited experiment rather than a parameter-free derivation. A quantitative error analysis or explicit calculation showing how the reported visibility exceeds the CH bound under the on-off protocol (including normalization and detection efficiency) is needed to make the experimental claim load-bearing.
minor comments (2)
  1. Notation for the on-off switching operators and the precise definition of the local measurement settings should be clarified to distinguish them unambiguously from the phase-shift case.
  2. The abstract states that the on-off approach 'forms a new platform'; a brief comparison to existing Bell tests in PDC systems would help readers assess novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments correctly identify the need to rigorously justify on-off switching as a local setting and to provide quantitative support for the claimed violation. We respond to each major comment below.

read point-by-point responses

  1. Referee: The central claim requires that on-off switching of the final local PDC processes functions as a pure choice of local observable without adding shared classical randomness or altering joint probability normalization. The manuscript constructs an explicit local realistic model for phase-shift settings but does not derive or refute an analogous model for the on/off combinations; if the switching correlates with the path-identity amplitudes through the shared pump or undetected modes, the observed destructive interference could still be reproduced locally while satisfying the CH bound.

    Authors: We agree that the absence of an explicit local realistic model for the on-off protocol must be demonstrated. The phase-shift model we constructed exploits the fact that phase adjustments leave all processes active and permit a classical simulation of the interference pattern. On-off switching, however, removes entire local PDC processes, which changes the set of contributing amplitudes in a manner enforced by path identity. Any attempt to reproduce the observed destructive interference with local hidden variables would require the hidden variables to correlate the on-off choices across distant sites in a way that violates the CH bound once the measured visibility is inserted. In the revised manuscript we will add a dedicated subsection that constructs the most plausible local model for on-off combinations (including possible shared pump fluctuations) and shows that it cannot simultaneously satisfy both the normalization of joint probabilities and the reported depth of destructive interference. revision: yes

  2. Referee: The violation is asserted to follow from the measured interference depth in the cited experiment rather than a parameter-free derivation. A quantitative error analysis or explicit calculation showing how the reported visibility exceeds the CH bound under the on-off protocol (including normalization and detection efficiency) is needed to make the experimental claim load-bearing.

    Authors: We acknowledge that the letter currently invokes the reported interference depth without a self-contained numerical evaluation. In the revision we will insert an explicit calculation of the Clauser-Horne expression for the four on-off setting combinations. Using the visibility value quoted from the Sci. Adv. experiment, we will recompute the joint probabilities under the on-off normalization (where each local setting now corresponds to the presence or absence of the final PDC process) and include a conservative estimate of detection efficiency. The resulting value will be shown to lie outside the CH bound by an amount larger than the combined statistical and systematic uncertainties quoted in the source experiment. This quantitative supplement will be placed in the main text to make the experimental implication fully load-bearing. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit LR model and external experiment provide independent content

full rationale

The paper explicitly constructs a local realistic model for the phase-shift measurement settings, which is independent of the quantum predictions and does not reduce to them by definition or fit. The central non-classicality claim for on-off switching relies on the interference visibility reported in an external citation (Sci. Adv. 11, 1794 (2025)), not on a parameter fitted within this work or a self-citation chain. Quantum predictions for the interwoven PDC processes follow from standard path-identity formalism without smuggling in the target CH violation or uniqueness theorems from the authors' prior work. No step equates a derived quantity to its input by construction, and the derivation remains self-contained against the provided external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard quantum mechanics predictions for PDC interference and the assumption that on-off control implements valid local measurements. No new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard quantum mechanics governs the PDC processes and interference
    Invoked to predict the interference pattern and violation depth.

pith-pipeline@v0.9.0 · 5729 in / 1138 out tokens · 27050 ms · 2026-05-18T20:57:38.097686+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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Multipartite Bell-GHZ nonclassicality from interwoven frustrated down-conversion

    quant-ph 2026-02 unverdicted novelty 6.0

    A multi-observer configuration of interwoven frustrated down-conversion produces interference from multi-pair emissions that violates a lifted Clauser-Horne Bell inequality when local pump powers are treated as contro...

  2. Multipartite Bell-GHZ nonclassicality from interwoven frustrated down-conversion

    quant-ph 2026-02 unverdicted novelty 6.0

    A network of N parametric down-conversion sources with local crystals at each observer produces 2N-photon interference that vanishes when any local pump is blocked, enabling violation of a lifted Clauser-Horne inequal...

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    remote” initial down conversion crystal, either of these suffice. For reasons of locality they do not, however, have access to the “remote

    is irrelevant here, see the discussion in Supplementary Material [19]. We assume that the system has hidden variablesλA = {ϕA, rA}and similar forλ B. We letϕ A +ϕ B = 2π, andr A +r B = 1, whereϕ A is uniformly distributed over[0,2π]andr A is uniformly distributed over the unit interval. The relation betweenλ A andλ B can exist becausea)the down converters...

    work page 2021

  2. [2]

    X. Y. Zou, L. J. Wang, and L. Mandel, Phys. Rev. Lett. 67, 318 (1991)

    work page 1991

  3. [3]

    T. J. Herzog, J. G. Rarity, H. Weinfurter, and A. Zeilinger, Phys. Rev. Lett.72, 629 (1994)

    work page 1994

  4. [4]

    Weinfurter, T

    H. Weinfurter, T. Herzog, P. G. Kwiat, J. G. Rarity, A. Zeilinger, and M. Zukowski, Annals of the New York Academy of Sciences755, 61 (1995)

    work page 1995

  5. [5]

    Krenn, A

    M. Krenn, A. Hochrainer, M. Lahiri, and A. Zeilinger, Phys. Rev. Lett.118, 080401 (2017)

    work page 2017

  6. [6]

    Hochrainer, M

    A. Hochrainer, M. Lahiri, M. Erhard, M. Krenn, and A. Zeilinger, Rev. Mod. Phys.94, 025007 (2022)

    work page 2022

  7. [7]

    K. Qian, K. Wang, L. Chen, Z. Hou, M. Krenn, S. Zhu, and X.-s. Ma, Nature Communications14, 10.1038/s41467-023-37228-y (2023)

    work page doi:10.1038/s41467-023-37228-y 2023

  8. [8]

    K. Wang, Z. Hou, K. Qian, L. Chen, M. Krenn, M. Aspelmeyer, A. Zeilinger, S. Zhu, and X.-S. Ma, Science Advances11, eadr1794 (2025)

    work page 2025

  9. [9]

    Wharton and H

    K. Wharton and H. Price, (2025), arXiv:2508.13431 [quant-ph]

    work page arXiv 2025

  10. [10]

    Simple explanation of apparent Bell nonlocality of unentangled photons,

    A. Wójcik and J. Wójcik, Simple explanation of apparent Bell nonlocality of unentangled photons (2025), arXiv:2509.03127 [quant-ph]

    work page arXiv 2025

  11. [11]

    Larsson, Physics Letters A256, 245 (1999)

    J.-Å. Larsson, Physics Letters A256, 245 (1999)

    work page 1999

  12. [12]

    Aerts, P

    S. Aerts, P. Kwiat, J.-Å. Larsson, and M. Zukowski, Physical Review Letters83, 2872 (1999)

    work page 1999

  13. [13]

    J. D. Franson, Physical Review Letters62, 2205 (1989)

    work page 1989

  14. [14]

    T. Das, M. Karczewski, A. Mandarino, M. Markiewicz, B. Woloncewicz, and M. Żukowski, New Journal of Physics24, 033017 (2022)

    work page 2022

  15. [15]

    S. M. Tan, D. F. Walls, and M. J. Collett, Phys. Rev. Lett.66, 252 (1991)

    work page 1991

  16. [16]

    Hardy, Phys

    L. Hardy, Phys. Rev. Lett.73, 2279 (1994)

    work page 1994

  17. [17]

    T. Das, M. Karczewski, A. Mandarino, M. Markiewicz, B. Woloncewicz, and M. Żukowski, New Journal of Physics23, 073042 (2021)

    work page 2021

  18. [18]

    T. Das, M. Karczewski, A. Mandarino, M. Markiewicz, and M. Żukowski, Phys. Rev. Appl.18, 034074 (2022)

    work page 2022

  19. [19]

    "Nonlocality-of-a-single-photon" based Quantum Key Distribution and Random Number Generation schemes and their device-independent security analysis

    K. Schlichtholz, B. Woloncewicz, T. Das, M. Markiewicz, and M. Żukowski, (2023), arXiv:2311.07451 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  20. [20]

    and for the disscusion on performing consistent cut-off of the state

    See Supplemental Material for discussion of additional assumptions in the derivation of CHSH-like inequality from article by Wang at al. and for the disscusion on performing consistent cut-off of the state

    work page

  21. [21]

    J. F. Clauser and M. A. Horne, Phys. Rev. D10, 526 (1974)

    work page 1974

  22. [22]

    Pearle, Phys

    P. Pearle, Phys. Rev. D2, 1418 (1970)

    work page 1970

  23. [23]

    Garg and N

    A. Garg and N. D. Mermin, Phys. Rev. D35, 3831 (1987)

    work page 1987

  24. [24]

    Larsson, Phys

    J.-Å. Larsson, Phys. Rev. A57, 3304 (1998)

    work page 1998

  25. [25]

    Jogenfors and J.-Å

    J. Jogenfors and J.-Å. Larsson, Journal of Physics A47, 424032 (2014)

    work page 2014

  26. [26]

    Larsson, Journal of Physics A47, 424003 (2014)

    J.-Å. Larsson, Journal of Physics A47, 424003 (2014)

    work page 2014

  27. [27]

    G. S. Thekkadath, D. S. Phillips, J. F. F. Bulmer, W. R. Clements, A. Eckstein, B. A. Bell, J. Lugani, T. A. W. Wolterink, A. Lita, S. W. Nam, T. Gerrits, C. G. Wade, and I. A. Walmsley, Phys. Rev. A101, 031801 (2020)

    work page 2020

  28. [28]

    J. S. Bell, Physics Physique Fizika1, 195 (1964)

    work page 1964

  29. [29]

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

    work page 1969

  30. [30]

    CHSH inequalities

    R. F. Streater,Lost Causes in and beyond Physics (Springer-Verlag Berlin Heidelberg, 2007). 6 Supplemental Material This supplemental material is divided into four sections. Section A discusses the problem of building “CHSH inequalities” in Wang et al. [7] using non- standard correlation functions. Section B presents additional hidden assumptions over the...

    work page 2007

  31. [31]

    there exists an unobserved local outcome−1at each detection station, and

    work page

  32. [32]

    fair sampling

    the probabilities of the assumed outcomes have the symmetry of Eqns. (S4). To motivate assumption 2, the authors of [7] write In particular, the coincidence count under aπphase shift,N(+1,+1|α+π, β), is complementary to the count in the original setting,N(+1,+1|α, β), and therefore can be identified asN(−1,+1|α, β), which is also complementary toN(+1,+1|α...

    work page

  33. [33]

    Existence of an unobservable−1local outcome

    work page

  34. [34]

    Outcome probabilities have the symmetry of Eqns. (S4)

    work page

  35. [35]

    pair detection

    Fair postselection. C: Consequences if not using the three extra unwarranted assumptions The LHV model constructed in the main text obeys none of the three assumptions identified in Section B, but can be extended to obey assumption 1 and 2 as follows. Label the “pair detection” outcome “+1” and recall that this outcome occurs if the hidden variables are s...

    work page