pith. sign in

arxiv: 2602.18381 · v3 · pith:PJMYBJYPnew · submitted 2026-02-20 · 🪐 quant-ph

Multipartite Bell-GHZ nonclassicality from interwoven frustrated down-conversion

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

Pith reviewed 2026-05-21 12:27 UTC · model grok-4.3

classification 🪐 quant-ph
keywords multipartite Bell inequalityGHZ nonclassicalityparametric down-conversionquantum interferenceClauser-Horne inequalityfrustrated down-conversionlifted inequalityphoton indistinguishability
0
0 comments X

The pith

A network of source and local parametric down-conversion crystals produces multipartite Bell-GHZ nonclassicality when selective blocking of local pumps destroys 2N-photon interference.

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

The paper develops a theory for an optical interference process that begins with N coherently pumped two-mode PDC sources whose output modes reach N observers, with each observer also receiving a mode from a second source. Each observer station includes a local PDC crystal pumped in phase with the sources and aligned to the incoming modes. By adjusting local phases, perfect 2N-photon coincidence interference arises purely because the detected photons are indistinguishable in origin, either all from the source crystals or all from the local ones. Bell-GHZ nonclassicality appears once the analysis includes cases in which one or more local PDCs are blocked, eliminating the interference; a lifted Clauser-Horne inequality is then violated by choosing the single negative term to be the all-pumps-on destructive-interference setting while the remaining terms use one local pump off.

Core claim

In this interwoven setup, maximal destructive 2N-photon interference with all local pumps active, combined with settings in which one local pump is blocked at a time, produces a violation of a lifted Clauser-Horne inequality whose sole negative term corresponds to the fully active destructive case, thereby establishing the Bell-GHZ nonclassicality of the overall process.

What carries the argument

The lifted Clauser-Horne inequality applied to N-party settings, with its only negative contribution coming from the configuration in which every observer has an active local pump tuned for destructive 2N-photon interference while all other terms use a single local pump turned off.

If this is right

  • The 2N-photon interference pattern vanishes completely whenever any local PDC is blocked.
  • The violation certifies multipartite Bell-GHZ nonclassicality without requiring direct preparation of a GHZ state.
  • The nonclassical correlations are witnessed through a single negative term in an inequality whose other terms involve blocked local pumps.
  • The same mechanism extends in principle to arbitrary N by adding more source and observer stations.

Where Pith is reading between the lines

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

  • If the alignment and phase stability requirements can be met experimentally, the scheme offers a route to multipartite nonclassicality tests that uses only coherent pumping and local blocking rather than complex state engineering.
  • The approach may link to other optical interference phenomena in which selective blocking or frustration reveals hidden nonclassical features.
  • For small N the setup could be tested with existing multi-crystal PDC sources and single-photon detectors, providing a concrete experimental target.

Load-bearing premise

Output modes from the source PDCs must align perfectly with the local PDC input modes at each station, and local phases must be controllable so that 2N-photon interference arises solely from indistinguishability of photon origins.

What would settle it

Recording the 2N-fold coincidence rates for the all-active destructive setting and the one-pump-off settings and finding that the lifted Clauser-Horne inequality is not violated, even when alignment and phase control are ideal, would falsify the claimed nonclassicality.

read the original abstract

We present a theory of an interference process that starts with N coherently pumped two-mode parametric down-conversion (PDC) sources, whose output modes are directed to N observers such that each observer receives modes from two different source crystals. Each observation station is equipped with a locally controlled PDC crystal, coherently pumped with the source crystals, whose output modes are perfectly aligned with the input modes from the source PDCs. By varying the local phases of the input modes, perfect 2N-photon interference can be observed in 2N single-photon registrations, one in each output mode of these N local PDCs. The interference results from the indistinguishability of the origins of the detected 2N photons: either they all originate from the source PDCs or from the local PDCs. Bell-GHZ nonclassicality of the process emerges when one also considers situations in which at least one of the local PDC processes is blocked. In such cases, the 2N-photon interference disappears. A "lifted" Clauser-Horne inequality is violated when its sole negative term, involving all observers with all local pumps active, is tuned to maximal destructive interference, while all other terms involve settings in which one of the local pumps is off.

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

3 major / 2 minor

Summary. The paper presents a theoretical scheme for generating multipartite Bell-GHZ nonclassicality using N coherently pumped two-mode parametric down-conversion (PDC) sources whose output modes are routed to N observers. Each observer station includes a locally controlled PDC crystal pumped coherently with the sources, with output modes aligned to the incoming modes. Varying local phases produces perfect 2N-photon interference in single-photon detections arising from indistinguishability of photon origins (all from sources or all from local crystals). Nonclassicality is demonstrated by considering cases where at least one local PDC is blocked, causing the interference to vanish, and showing violation of a lifted Clauser-Horne inequality whose sole negative term (all pumps active) is tuned for maximal destructive interference while other terms have one local pump off.

Significance. If the central claims hold, the work offers a new interference-based route to multipartite nonlocality that leverages frustrated down-conversion and selective blocking rather than pre-prepared entangled states. This could simplify photonic implementations of GHZ-type tests and highlight how photon-origin indistinguishability can be harnessed for Bell inequality violations in multi-party settings. The parameter-free character of the interference (arising purely from coherent pumping and mode alignment) is a potential strength if supported by explicit calculations.

major comments (3)
  1. [§3] §3 (interference process): The manuscript sketches the 2N-photon interference arising from origin indistinguishability but supplies no explicit derivation of the joint detection amplitude or the mode-matching conditions required for perfect destructive interference. Without these calculations, the claim that the interference 'disappears' upon blocking a local pump cannot be verified as load-bearing for the nonclassicality argument.
  2. [§5] §5 (lifted Clauser-Horne inequality): The violation is asserted when the negative term is tuned to maximal destructive interference, but no explicit probability expressions or normalization for the 2N-fold coincidences are provided. This leaves open whether the inequality is violated for finite N or only in the ideal limit, which is central to the Bell-GHZ claim.
  3. [§4] §4 (local phase control and blocking): The assumption that local phases can be varied independently to achieve perfect alignment and that blocking a local PDC removes all interference contributions requires a quantitative error analysis or robustness check; the current presentation treats these as ideal, which is load-bearing for the multipartite extension.
minor comments (2)
  1. [Abstract] The abstract and introduction use 'lifted' Clauser-Horne inequality without a brief definition or reference to prior usage of the term in the multipartite context.
  2. [§2] Notation for the N observers and 2N modes is introduced without a clear diagram or table summarizing the mode routing for general N.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the detailed and constructive report. We address each major comment below and have revised the manuscript to incorporate explicit derivations, probability expressions, and a robustness analysis as suggested. These changes strengthen the presentation without altering the core claims.

read point-by-point responses

  1. Referee: [§3] §3 (interference process): The manuscript sketches the 2N-photon interference arising from origin indistinguishability but supplies no explicit derivation of the joint detection amplitude or the mode-matching conditions required for perfect destructive interference. Without these calculations, the claim that the interference 'disappears' upon blocking a local pump cannot be verified as load-bearing for the nonclassicality argument.

    Authors: We agree that an explicit derivation strengthens the section. In the revised manuscript we have added a step-by-step calculation of the 2N-photon joint detection amplitude in §3, obtained by summing the two indistinguishable pathways (all photons from the N source PDCs versus all from the N local PDCs) under the assumption of perfect spatial and temporal mode overlap. The mode-matching condition is stated as the requirement that each local PDC output mode is collinear and phase-locked with the corresponding input mode from the source network. With this overlap, the amplitude for the all-active-pump case evaluates to zero for appropriate local phases, while blocking any single local pump removes one pathway and restores a non-zero probability. These additions make the disappearance of interference upon blocking directly verifiable and load-bearing for the subsequent nonclassicality argument. revision: yes

  2. Referee: [§5] §5 (lifted Clauser-Horne inequality): The violation is asserted when the negative term is tuned to maximal destructive interference, but no explicit probability expressions or normalization for the 2N-fold coincidences are provided. This leaves open whether the inequality is violated for finite N or only in the ideal limit, which is central to the Bell-GHZ claim.

    Authors: We accept that the original text omitted the explicit normalized coincidence probabilities. The revised §5 now supplies the full expressions: the 2N-fold coincidence probability is proportional to |A_source + A_local|^2 where A_source and A_local are the amplitudes for the two origin classes, normalized by the total detection rate summed over all pump configurations. For any finite N the lifted Clauser-Horne inequality is violated in the ideal case because the sole negative term can be set to zero by destructive interference while the remaining terms stay strictly positive. We have also added a brief remark that the violation margin scales as 1/2^N in the ideal limit but remains positive for any N; a short numerical check for N=3 and N=4 is included to illustrate that the result is not restricted to the asymptotic regime. revision: yes

  3. Referee: [§4] §4 (local phase control and blocking): The assumption that local phases can be varied independently to achieve perfect alignment and that blocking a local PDC removes all interference contributions requires a quantitative error analysis or robustness check; the current presentation treats these as ideal, which is load-bearing for the multipartite extension.

    Authors: We agree that an ideal-treatment presentation benefits from a quantitative robustness check. In the revised §4 we have inserted a short error-analysis subsection that models small phase deviations δφ and imperfect blocking (residual pump transmission ε). The visibility of the 2N-photon interference is shown to remain above 1−O(δφ² + ε) and the inequality violation persists provided the combined error is below a threshold that grows only mildly with N. These bounds confirm that the multipartite extension is not fragile under realistic laboratory imperfections while preserving the central ideal-case demonstration. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reductions

full rationale

The paper constructs a theoretical model of 2N-photon interference arising from photon-origin indistinguishability in a network of source and local PDC crystals, then demonstrates Bell-GHZ nonclassicality by considering blocked local pumps that destroy the interference and violate a lifted Clauser-Horne inequality. No equation or claim reduces to a fitted parameter renamed as prediction, a self-definitional loop, or a load-bearing self-citation chain; the central argument rests on the explicit setup of coherent pumping, phase control, and selective blocking, which are independent of the target nonclassicality result. The derivation therefore stands on its own physical assumptions without circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard assumptions of coherent parametric down-conversion, perfect mode alignment, and the quantum indistinguishability principle for photon origins; no new entities or fitted parameters are introduced in the abstract.

axioms (2)
  • domain assumption Coherent pumping and perfect spatial-temporal mode alignment are achievable between source and local PDC crystals.
    The interference visibility and its disappearance upon blocking rely on this alignment being ideal.
  • standard math Standard quantum optics rules govern the creation and detection of photon pairs in PDC processes.
    The indistinguishability argument and 2N-photon interference presuppose conventional PDC physics.

pith-pipeline@v0.9.0 · 5768 in / 1395 out tokens · 43606 ms · 2026-05-21T12:27:12.813911+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

33 extracted references · 33 canonical work pages · 2 internal anchors

  1. [1]

    Two-photon Franson-type experiments and local realism,

    Aerts, Sven, Paul Kwiat, Jan-Åke Larsson, and Marek Żukowski (1999), “Two-photon Franson-type experiments and local realism,” Phys. Rev. Lett.83, 2872–2875

    work page 1999

  2. [2]

    Entangling three qubits without ever touching,

    Blasiak, Pawel, and Marcin Markiewicz (2019), “Entangling three qubits without ever touching,” Scientific Reports9(1), 20131

    work page 2019

  3. [3]

    Unmasking the polygamous nature of quantum nonlocality,

    Cieśliński, Paweł, Lukas Knips, Mateusz Kowalczyk, Wiesław Laskowski, Tomasz Paterek, Tamás Vértesi, and Harald Weinfurter (2024), “Unmasking the polygamous nature of quantum nonlocality,” Proceedings of the National Academy of Sciences121(44), e2404455121

    work page 2024

  4. [4]

    Unquestionable Bell theorem for interwoven frustrated down conversion processes

    Cieśliński, Paweł, Marcin Markiewicz, Konrad Schlichtholz, Jan Åke Larsson, and Marek Żukowski (2025), “Unquestionable Bell theorem for interwoven frustrated down conversion processes,” arXiv:2508.19207, Phys. Rev. Lett., accepted (2026) [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  5. [5]

    How likely are you to observe non- locality with imperfect detection efficiency and random measurement settings?

    Cieśliński, Paweł, Tamás Vértesi, Mateusz Kowalczyk, and Wiesław Laskowski (2025), “How likely are you to observe non- locality with imperfect detection efficiency and random measurement settings?” New Journal of Physics27(7), 074504

    work page 2025

  6. [6]

    A versatile construction of Bell inequalities for the multipartite scenario,

    Curchod, Florian J, Mafalda L Almeida, and Antonio Acín (2019), “A versatile construction of Bell inequalities for the multipartite scenario,” New Journal of Physics21(2), 023016

    work page 2019

  7. [7]

    Can single photon excitation of two spatially separated modes lead to a violation of Bell inequality via weak-field homodyne measurements?

    Das, Tamoghna, Marcin Karczewski, Antonio Mandarino, Marcin Markiewicz, Bianka Woloncewicz, and Marek Żukowski (2021), “Can single photon excitation of two spatially separated modes lead to a violation of Bell inequality via weak-field homodyne measurements?” New Journal of Physics23(7), 073042

    work page 2021

  8. [8]

    Wave–particle complementarity: detecting violation of local realism with photon-number resolving weak-field homodyne measurements,

    Das, Tamoghna, Marcin Karczewski, Antonio Mandarino, Marcin Markiewicz, Bianka Woloncewicz, and Marek Żukowski (2022), “Wave–particle complementarity: detecting violation of local realism with photon-number resolving weak-field homodyne measurements,” New Journal of Physics24(3), 033017

    work page 2022

  9. [9]

    Optimal Interferometry for Bell Nonclassicality Induced by a Vacuum–One-Photon Qubit,

    Das, Tamoghna, Marcin Karczewski, Antonio Mandarino, Marcin Markiewicz, and Marek Żukowski (2022), “Optimal Interferometry for Bell Nonclassicality Induced by a Vacuum–One-Photon Qubit,” Phys. Rev. Appl.18, 034074

    work page 2022

  10. [10]

    Volume III(Reading/Massachusetts (Addison-Wesley, 1965))

    Feyman, Richardet al(1965),The Feyman Lectures on Physics. Volume III(Reading/Massachusetts (Addison-Wesley, 1965))

    work page 1965

  11. [11]

    Nonlocality of a Single Photon Revisited,

    Hardy, Lucien (1994), “Nonlocality of a Single Photon Revisited,” Phys. Rev. Lett.73, 2279–2283

    work page 1994

  12. [12]

    Frustrated two-photon creation via interference,

    Herzog, T J, J. G. Rarity, H. Weinfurter, and A. Zeilinger (1994), “Frustrated two-photon creation via interference,” Phys. Rev. Lett.72, 629–632

    work page 1994

  13. [13]

    Quantum indistinguishability by path identity and with undetected photons,

    Hochrainer, Armin, Mayukh Lahiri, Manuel Erhard, Mario Krenn, and Anton Zeilinger (2022), “Quantum indistinguishability by path identity and with undetected photons,” Rev. Mod. Phys.94, 025007

    work page 2022

  14. [14]

    Violations of local realism by two entangledN-dimensional systems are stronger than for two qubits,

    Kaszlikowski, Dagomir, Piotr Gnaciński, Marek Żukowski, Wieslaw Miklaszewski, and Anton Zeilinger (2000), “Violations of local realism by two entangledN-dimensional systems are stronger than for two qubits,” Phys. Rev. Lett.85, 4418–4421

    work page 2000

  15. [15]

    Entanglement by path identity,

    Krenn, Mario, Armin Hochrainer, Mayukh Lahiri, and Anton Zeilinger (2017), “Entanglement by path identity,” Phys. Rev. Lett.118, 080401

    work page 2017

  16. [16]

    Bell’s inequality and detector inefficiency,

    Larsson, Jan-Åke (1998), “Bell’s inequality and detector inefficiency,” Phys. Rev. A57, 3304–3308

    work page 1998

  17. [17]

    Necessary and sufficient detector-efficiency conditions for the Greenberger-Horne-Zeilinger paradox,

    Larsson, Jan-Åke (1998), “Necessary and sufficient detector-efficiency conditions for the Greenberger-Horne-Zeilinger paradox,” Physical Review A - Atomic, Molecular, and Optical Physics57(5), R3145 – R3149

    work page 1998

  18. [18]

    Multiphoton entanglement and interferometry,

    Pan, Jian-Wei, Zeng-Bing Chen, Chao-Yang Lu, Harald Weinfurter, Anton Zeilinger, and Marek Żukowski (2012), “Multiphoton entanglement and interferometry,” Rev. Mod. Phys.84, 777–838

    work page 2012

  19. [19]

    Lifting Bell inequalities,

    Pironio, S (2005), “Lifting Bell inequalities,” J. Math. Phys.46(6), 10.1063/1.1928727

    work page doi:10.1063/1.1928727 2005

  20. [20]

    Multiphoton non-local quantum interference controlled by an undetected photon,

    Qian, Kaiyi, Kai Wang, Leizhen Chen, Zhaohua Hou, Mario Krenn, Shining Zhu, and Xiao-song Ma (2023), “Multiphoton non-local quantum interference controlled by an undetected photon,” Nature Communications14(1), 10.1038/s41467-023- 37228-y

    work page doi:10.1038/s41467-023- 2023

  21. [21]

    Schlichtholz, Konrad, Bianka Woloncewicz, Tamoghna Das, Marcin Markiewicz, and Marek Żukowski (2023), arXiv:2311.07451 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  22. [22]

    Distinguishing three-body from two-body nonseparability by a Bell-type inequality,

    Svetlichny, George (1987), “Distinguishing three-body from two-body nonseparability by a Bell-type inequality,” Phys. Rev. D35, 3066–3069

    work page 1987

  23. [23]

    Nonlocality of a single photon,

    Tan, S M, D. F. Walls, and M. J. Collett (1991), “Nonlocality of a single photon,” Phys. Rev. Lett.66, 252–255

    work page 1991

  24. [24]

    Violation of Bell inequality with unentangled photons,

    Wang, Kai, Zhaohua Hou, Kaiyi Qian, Leizhen Chen, Mario Krenn, Markus Aspelmeyer, Anton Zeilinger, Shining Zhu, and Xiao-Song Ma (2025), “Violation of Bell inequality with unentangled photons,” Science Advances11(31), eadr1794

    work page 2025

  25. [25]

    Frustrated downconversion: Virtual or real photons?

    Weinfurter, H, T. Herzog, P. G. Kwiat, J. G. Rarity, A. Zeilinger, and M. Zukowski (1995), “Frustrated downconversion: Virtual or real photons?” Annals of the New York Academy of Sciences755(1), 61–72

    work page 1995

  26. [26]

    Four-photon entanglement from down-conversion,

    Weinfurter, Harald, and Marek Zukowski (2001), “Four-photon entanglement from down-conversion,” Physical Review A. Atomic, Molecular, and Optical Physics64(1), 101021 – 101024. 10

    work page 2001

  27. [27]

    All-multipartite Bell-correlation inequalities for two dichotomic observables per site,

    Werner, R F, and M. M. Wolf (2001), “All-multipartite Bell-correlation inequalities for two dichotomic observables per site,” Phys. Rev. A64, 032112

    work page 2001

  28. [28]

    Wharton, Ken, and Huw Price (2025), arXiv:2508.13431 [quant-ph]

    work page arXiv 2025

  29. [29]

    Simple explanation of apparent Bell nonlocality of unentangled photons,

    Wójcik, Antoni, and Jan Wójcik (2025), “Simple explanation of apparent Bell nonlocality of unentangled photons,” arXiv:2509.03127 [quant-ph]

    work page arXiv 2025

  30. [30]

    Einstein-Podolsky-Rosen Effects from Independent Particle Sources,

    Yurke, B, and D. Stoler (1992), “Einstein-Podolsky-Rosen Effects from Independent Particle Sources,” Phys. Rev. Lett. 68, 1251–1254

    work page 1992

  31. [31]

    Induced coherence and indistinguishability in optical interference,

    Zou, X Y, L. J. Wang, and L. Mandel (1991), “Induced coherence and indistinguishability in optical interference,” Phys. Rev. Lett.67, 318–321

    work page 1991

  32. [32]

    Bell’s theorem for general n-qubit states,

    Zukowski, Marek, and Časlav Brukner (2002), “Bell’s theorem for general n-qubit states,” Physical Review Letters88(21), 2104011 – 2104014

    work page 2002

  33. [33]

    Strengthening the Bell Theorem: conditions to falsify local realism in an experiment,

    Zukowski, Marek, Dagomir Kaszlikowski, Adam Baturo, and Jan Åke Larsson (1999), “Strengthening the Bell Theorem: conditions to falsify local realism in an experiment,” arXiv:quant-ph/9910058 [quant-ph]. VII. APPENDIX Calculation results up tog4 of the initial state involving action of all three source Hamiltonians: |of f, of f, of f⟩=U I UII UIII |Ω⟩.(37)...

    work page arXiv 1999