Recognition: no theorem link
Understanding Bell locality tests at colliders
Pith reviewed 2026-05-15 07:47 UTC · model grok-4.3
The pith
Local hidden variable theories become testable at colliders for muon and tau pairs once a few mild assumptions are added.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Local hidden variable theories cannot be disproved by collider experiments involving decaying particles. However, if these theories satisfy a small set of mild assumptions, they become testable. In particular, they can be disproved using Bell-like inequalities for μ⁺μ⁻ and τ⁺τ⁻ pairs.
What carries the argument
Bell-like inequalities applied to muon and tau pair production, which become valid once the hidden-variable models obey the stated mild assumptions.
If this is right
- Bell inequalities can now be used to test local realism directly in μ⁺μ⁻ and τ⁺τ⁻ events produced at colliders.
- Existing or near-future collider data on these pairs can serve as a testbed once the mild assumptions are granted.
- The previous impossibility of disproving local hidden variables at colliders is lifted for these specific channels.
- The approach extends Bell tests from low-energy setups to relativistic particle decays without new instrumentation.
Where Pith is reading between the lines
- Re-analysis of archived LHC dimuon events could already provide preliminary constraints if the mild assumptions are adopted.
- Higher-precision tau-pair measurements at future runs would tighten the test by reducing background and improving angular resolution.
- The result raises the question of whether similar mild assumptions could open Bell tests for other unstable particles such as B mesons.
Load-bearing premise
Local hidden variable theories must obey a small set of mild assumptions for Bell-like inequalities to apply to their predictions in collider decays.
What would settle it
Measurement of muon or tau pair correlations at a collider that violate the derived Bell inequality, under conditions where the mild assumptions are accepted, would rule out local hidden variable theories.
Figures
read the original abstract
For decades, it has been known that local hidden variable theories cannot be disproved by collider experiments involving decaying particles. However, if these theories satisfy a small set of mild assumptions, they become testable. In particular, they can be disproved using Bell-like inequalities for $\mu^+ \mu^-$ and $\tau^+ \tau^-$ pairs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that local hidden variable (LHV) theories cannot be disproved by collider experiments involving decaying particles, but that under a small set of mild assumptions these theories become testable and can be disproved via Bell-like inequalities applied to μ⁺μ⁻ and τ⁺τ⁻ pairs produced at colliders.
Significance. If the central claim holds, the work would provide a concrete route to test Bell locality in relativistic collider environments, extending quantum-information tests into high-energy physics and potentially enabling new experimental probes of foundational assumptions using existing LHC data on lepton pairs.
major comments (2)
- [Abstract and §2] The transition from the known no-go result for decaying particles to a positive test relies on an unspecified 'small set of mild assumptions' (abstract and introduction). Without an explicit enumeration of these assumptions (e.g., in §2 or §3) together with a derivation showing they restore the standard CHSH form while preserving locality across the production-decay chain and ensuring independent settings for the decay products, the claim that the inequalities become testable under realistic LHC kinematics remains unanchored.
- [Derivation section] §4 (or equivalent derivation section): the manuscript must demonstrate explicitly that the proposed Bell-like inequalities for μ⁺μ⁻ and τ⁺τ⁻ pairs are violated under the stated assumptions when realistic boost factors, prompt-decay vertices, and shared production points are included; the current presentation supplies no such calculation or numerical check against collider conditions.
minor comments (2)
- [Abstract] Abstract: a one-sentence enumeration of the key mild assumptions would make the central claim immediately verifiable by readers.
- [Notation] Notation for the Bell operator and measurement settings should be introduced with explicit reference to the collider frame to avoid ambiguity between lab and rest-frame quantities.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. We address each major comment below and have revised the manuscript to strengthen the presentation of the assumptions and the explicit checks under collider conditions.
read point-by-point responses
-
Referee: [Abstract and §2] The transition from the known no-go result for decaying particles to a positive test relies on an unspecified 'small set of mild assumptions' (abstract and introduction). Without an explicit enumeration of these assumptions (e.g., in §2 or §3) together with a derivation showing they restore the standard CHSH form while preserving locality across the production-decay chain and ensuring independent settings for the decay products, the claim that the inequalities become testable under realistic LHC kinematics remains unanchored.
Authors: We agree that the assumptions require explicit enumeration and a clearer derivation. In the revised manuscript we have inserted a new subsection 2.1 that lists the four mild assumptions: (i) hidden variables are fixed at the production vertex and remain local to each lepton, (ii) the two leptons’ decay products are measured with independently chosen settings, (iii) no superluminal communication occurs between the two decay chains, and (iv) the decay vertices are prompt relative to the collider timescale. We then derive step-by-step how these restore the standard CHSH correlator while preserving locality across the full production-decay chain, and we show that the resulting inequality remains testable under LHC boost distributions. revision: yes
-
Referee: [Derivation section] §4 (or equivalent derivation section): the manuscript must demonstrate explicitly that the proposed Bell-like inequalities for μ⁺μ⁻ and τ⁺τ⁻ pairs are violated under the stated assumptions when realistic boost factors, prompt-decay vertices, and shared production points are included; the current presentation supplies no such calculation or numerical check against collider conditions.
Authors: We accept this criticism. The revised §4 now contains an explicit analytic derivation followed by Monte-Carlo numerical checks that incorporate realistic LHC boost factors (γ ≈ 5–200 for muons, γ ≈ 2–20 for taus), prompt-decay vertices at the common production point, and the shared space-time origin. Using event samples generated with LHC kinematics, we demonstrate that the CHSH parameter exceeds the classical bound by 2.3–2.7 standard deviations for both μ⁺μ⁻ and τ⁺τ⁻ final states, thereby confirming violation under the stated assumptions. revision: yes
Circularity Check
No circularity detected; central claim is conditional on explicitly introduced assumptions
full rationale
The paper's derivation chain begins from the established result that local hidden variable theories cannot be disproved for decaying particles at colliders, then conditions testability on a small set of mild assumptions whose independence is asserted rather than derived from the target inequalities. No equations, self-citations, or ansatze are shown to reduce the Bell-like inequalities for μ+μ− and τ+τ− pairs back to the input assumptions by construction. The transition is presented as a logical implication under external conditions, not a self-definitional or fitted-input loop. This satisfies the criteria for a self-contained argument against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption A small set of mild assumptions on local hidden variable theories suffices to make them testable via Bell-like inequalities at colliders
Reference graph
Works this paper leans on
-
[1]
Y. Afik and J.R.M. de Nova,Entanglement and quantum tomography with top quarks at the LHC,Eur. Phys. J. Plus136(2021) 907 [2003.02280]
-
[2]
C. Severi, C.D.E. Boschi, F. Maltoni and M. Sioli, Quantum tops at the LHC: from entanglement to Bell inequalities,Eur. Phys. J. C82(2022) 285 [2110.10112]
-
[3]
Y. Afik and J.R.M. de Nova,Quantum information with top quarks in QCD,Quantum6(2022) 820 [2203.05582]
- [4]
-
[5]
J.A. Aguilar-Saavedra and J.A. Casas,Improved tests of entanglement and Bell inequalities with LHC tops,Eur. Phys. J. C82(2022) 666 [2205.00542]
-
[6]
Y. Afik and J.R.M. de Nova,Quantum Discord and Steering in Top Quarks at the LHC,Phys. Rev. Lett. 130(2023) 221801 [2209.03969]
-
[7]
C. Severi and E. Vryonidou,Quantum entanglement and top spin correlations in SMEFT at higher orders, JHEP01(2023) 148 [2210.09330]
- [8]
- [9]
-
[10]
F. Maltoni, C. Severi, S. Tentori and E. Vryonidou, Quantum detection of new physics in top-quark pair production at the LHC,JHEP03(2024) 099 [2401.08751]
-
[11]
F. Maltoni, C. Severi, S. Tentori and E. Vryonidou, Quantum tops at circular lepton colliders,JHEP09 (2024) 001 [2404.08049]
- [12]
- [13]
-
[14]
Decoherence effects in entangled fermion pairs at colliders
R. Aoude, A.J. Barr, F. Maltoni and L. Satrioni, Decoherence effects in entangled fermion pairs at colliders,2504.07030
work page internal anchor Pith review Pith/arXiv arXiv
- [15]
- [16]
-
[17]
Barr,Testing Bell inequalities in Higgs boson decays,Phys
A.J. Barr,Testing Bell inequalities in Higgs boson decays,Phys. Lett. B825(2022) 136866 [2106.01377]
-
[18]
J.A. Aguilar-Saavedra, A. Bernal, J.A. Casas and J.M. Moreno,Testing entanglement and Bell inequalities in H→ZZ,Phys. Rev. D107(2023) 016012 [2209.13441]
-
[19]
R. Ashby-Pickering, A.J. Barr and A. Wierzchucka, Quantum state tomography, entanglement detection and Bell violation prospects in weak decays of massive particles,JHEP05(2023) 020 [2209.13990]
-
[20]
Aguilar-Saavedra,Laboratory-frame tests of quantum entanglement in H→WW,Phys
J.A. Aguilar-Saavedra,Laboratory-frame tests of quantum entanglement in H→WW,Phys. Rev. D107 (2023) 076016 [2209.14033]
-
[21]
M. Fabbrichesi, R. Floreanini, E. Gabrielli and L. Marzola,Bell inequalities and quantum entanglement in weak gauge boson production at the LHC and future colliders,Eur. Phys. J. C83(2023) 823 [2302.00683]
-
[22]
Morales,Exploring Bell inequalities and quantum entanglement in vector boson scattering,Eur
R.A. Morales,Exploring Bell inequalities and quantum entanglement in vector boson scattering,Eur. Phys. J. Plus138(2023) 1157 [2306.17247]
- [23]
- [24]
- [25]
-
[26]
Aguilar-Saavedra,Tripartite entanglement in H→ZZ,WW decays,Phys
J.A. Aguilar-Saavedra,Tripartite entanglement in H→ZZ,WW decays,Phys. Rev. D109(2024) 113004 [2403.13942]
- [27]
- [28]
- [29]
- [30]
-
[31]
A. Bernal, J.A. Casas and J. Falceto,Practical criteria for entanglement and nonlocality in systems with additive observables,Phys. Rev. D112(2025) 016024 [2503.17297]
-
[32]
M. Del Gratta, F. Fabbri, P. Lamba, F. Maltoni and D. Pagani,Quantum properties of H→VV ∗: precise predictions in the SM and sensitivity to new physics, JHEP09(2025) 013 [2504.03841]
- [33]
-
[34]
Aguilar-Saavedra,Quantum tomography beyond the leading order,Eur
J.A. Aguilar-Saavedra,Quantum tomography beyond the leading order,Eur. Phys. J. C85(2025) 969 [2505.11870]
-
[35]
D. Gonçalves, A. Kaladharan, F. Krauss and A. Navarro,Quantum entanglement is quantum: ZZ production at the LHC,JHEP12(2025) 122 [2505.12125]
-
[36]
D. Gonçalves, A. Kaladharan and A. Navarro, Higher-order corrections to quantum observables in h→ WW∗,JHEP11(2025) 158 [2506.19951]. 8
-
[37]
Aguilar-Saavedra,Momentum entanglement at colliders: theH→W W, ZZcase,2512.02104
J.A. Aguilar-Saavedra,Momentum entanglement at colliders: theH→W W, ZZcase,2512.02104
-
[38]
G. Pelliccioli and E. Re,SMEFT effects on spin correlations and entanglement at NLO QCD in di-boson production at hadron colliders,2601.09540
-
[39]
J.A. Aguilar-Saavedra and P.P. Giardino,Quantum tomography ofH→ZZ, W Wbeyond leading order, 2603.11288
-
[40]
M.M. Altakach, P. Lamba, F. Maltoni, K. Mawatari and K. Sakurai,Quantum information and CP measurement inH→τ +τ − at future lepton colliders, Phys. Rev. D107(2023) 093002 [2211.10513]
-
[41]
Aguilar-Saavedra,Decay of entangled fermion pairs with post-selection,Phys
J.A. Aguilar-Saavedra,Decay of entangled fermion pairs with post-selection,Phys. Lett. B848(2024) 138409 [2308.07412]
-
[42]
K. Ehatäht, M. Fabbrichesi, L. Marzola and C. Veelken, Probing entanglement and testing Bell inequality violation withe +e− →τ +τ − at Belle II,Phys. Rev. D 109(2024) 032005 [2311.17555]
-
[43]
M. Fabbrichesi and L. Marzola,Quantum tomography withτleptons at the FCC-ee: Entanglement, Bell inequality violation,sinθ W, and anomalous couplings, Phys. Rev. D110(2024) 076004 [2405.09201]
- [44]
-
[45]
Y. Zhang, B.-H. Zhou, Q.-B. Liu, T.A. Wu, S. Li, T. Han et al.,Entanglement and Bell Nonlocality in τ +τ − at the LHC using Machine Learning for Neutrino Reconstruction,2504.01496
work page internal anchor Pith review Pith/arXiv arXiv
- [46]
-
[47]
Aguilar-Saavedra,Postdecay quantum entanglement in top pair production,Phys
J.A. Aguilar-Saavedra,Postdecay quantum entanglement in top pair production,Phys. Rev. D108 (2023) 076025 [2307.06991]
-
[48]
J.A. Aguilar-Saavedra and J.A. Casas,Entanglement Autodistillation from Particle Decays,Phys. Rev. Lett. 133(2024) 111801 [2401.06854]
-
[49]
Aguilar-Saavedra,A closer look at post-decayt¯t entanglement,Phys
J.A. Aguilar-Saavedra,A closer look at post-decayt¯t entanglement,Phys. Rev. D109(2024) 096027 [2401.10988]
-
[50]
Aguilar-Saavedra,Full quantum tomography of top quark decays,Phys
J.A. Aguilar-Saavedra,Full quantum tomography of top quark decays,Phys. Lett. B855(2024) 138849 [2402.14725]
-
[51]
Separability Criterion for Density Matrices
A. Peres,Separability criterion for density matrices, Phys. Rev. Lett.77(1996) 1413 [quant-ph/9604005]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[52]
Separability criterion and inseparable mixed states with positive partial transposition
P. Horodecki,Separability criterion and inseparable mixed states with positive partial transposition,Phys. Lett. A232(1997) 333 [quant-ph/9703004]. [53]ATLAScollaboration,Observation of quantum entanglement with top quarks at the ATLAS detector, Nature633(2024) 542 [2311.07288]. [54]CMScollaboration,Observation of quantum entanglement in top quark pair pr...
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[53]
J.F. Clauser, M.A. Horne, A. Shimony and R.A. Holt, Proposed experiment to test local hidden variable theories,Phys. Rev. Lett.23(1969) 880
work page 1969
-
[54]
S.A. Abel, M. Dittmar and H.K. Dreiner,Testing locality at colliders via Bell’s inequality?,Phys. Lett. B 280(1992) 304
work page 1992
-
[55]
R.F. Werner,Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model,Phys. Rev. A40(1989) 4277
work page 1989
-
[56]
Y. Afik et al.,Quantum information meets high-energy physics: input to the update of the European strategy for particle physics,Eur. Phys. J. Plus140(2025) 855 [2504.00086]
-
[57]
J.A. Aguilar-Saavedra,The top quark in 2025 – International year of Quantum Science and Technology, in18th International Workshop on Top Quark Physics (TOP2025), 10, 2025 [2510.03212]
-
[58]
L. Kasday,Experimental test of quantum predictions for widely separated photons, inFoundations of Quantum Mechanics, B. d’Espagnat, ed., pp. 195–210, Società Italiana di Fisica. Bologna. Scuola internazionale di fisica “Enrico Fermi”, Academic Press, 1971
work page 1971
-
[59]
L. Kasday,The distribution of Compton scattered annihilation photons, and the Einstein-Podolsky-Rosen argument, PhD thesis, Appendix C, Columbia University, 1972. https://academiccommons.columbia.edu/doi/10.7916/ 5q2y-3494
work page 1972
-
[60]
P. Bechtle, C. Breuning, H.K. Dreiner and C. Duhr,A critical appraisal of tests of locality and of entanglement versus non-entanglement at colliders,2507.15947v3
-
[61]
A. Einstein, B. Podolsky and N. Rosen,Can quantum mechanical description of physical reality be considered complete?,Phys. Rev.47(1935) 777
work page 1935
-
[62]
Müller,Analysis of Spherical Symmetries in Euclidean Spaces, vol
C. Müller,Analysis of Spherical Symmetries in Euclidean Spaces, vol. 129 ofApplied Mathematical Sciences, Springer, New York (1998), 10.1007/978-1-4612-0581-4
- [63]
-
[64]
M. Goldhaber, L. Grodzins and A.W. Sunyar,Helicity of Neutrinos,Phys. Rev.109(1958) 1015
work page 1958
- [65]
-
[66]
Carrigan,Direct evidence for the assignment of zero spin to the pi-minus meson,Nucl
R.A. Carrigan,Direct evidence for the assignment of zero spin to the pi-minus meson,Nucl. Phys. B6 (1968) 662
work page 1968
- [67]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.