{"id":"b3d1d058-937b-4feb-a6e2-cfd2f198b39e","arxiv_id":"2507.15949","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Collider measurements of final-state momenta alone cannot certify Bell nonlocality or entanglement, because the measured angular distribution is itself a local hidden variable model.","lead":"This paper argues that collider experiments like top-quark pair production cannot test Bell's inequality or entanglement, because only final-state momenta are measured and those can always be reproduced by a local, non-entangled classical model. It challenges the interpretation of recent ATLAS and CMS quantum entanglement observations with top quarks.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The entanglement no-go conflates classical simulability with quantum separability: the Kasday LHVT is a classical model, not a separable density matrix, so it does not establish that entangled and non-entangled t-tbar spin states are indistinguishable when the SM decay map is trusted.","rationale":"The Bell-locality half of the paper is strong: when the only measurements are commuting final-state momenta with no free settings, the differential cross section itself supplies a trivial LHVT, so no Bell inequality violation can be observed. The entanglement half is the soft spot. The paper's inference that an LHVT being 'not entangled' rules out entanglement tests conflates classical hidden-variable models with separable quantum states. The relevant alternative in an entanglement test is a separable density matrix, not a classical model. If one grants the Standard Model description of top decay as a characterized measurement device, the ATLAS/CMS procedure of extracting C from the angular distribution and checking D < -1/3 is a legitimate entanglement witness within quantum mechanics. The paper's insistence that this is circular amounts to requiring a device-independent test, a methodological choice that most quantum-information experiments do not adopt. The reader's weakest_assumption identified this device-independence criterion; the sharper formulation is that the LHVT construction is not a separable quantum candidate at all. Because the paper's central no-go for entanglement depends on this contested criterion, while the Bell-locality no-go remains valid, the appropriate verdict is unchanged: conditional acceptance with moderate confidence.","tokens_in":21568,"tokens_out":10945,"duration_ms":145990,"concrete_test":"Use the ATLAS near-threshold t-tbar sample (or a MadGraph simulation with the same 340-380 GeV m_tt cut) to obtain the normalized lepton angular distribution P(q_+,q_-). Extract B+/- and C from a bilinear fit to Eq. (3.4), then, assuming the SM top-decay POVM (analyzing power 1), form the spin density matrix rho of Eq. (3.3) and evaluate the Peres-Horodecki criterion (D < -1/3). In parallel, search numerically over separable 4x4 density matrices rho_sep for one whose SM-induced lepton distribution matches the measured P within the quoted uncertainties, e.g., via a chi-square comparison. If no separable state passes, the measured momenta do discriminate entangled from non-entangled quantum states, contradicting the paper's 'inherently not possible' claim under the standard trusted-analyzer convention.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's entanglement claim equates 'the momentum distribution can be reproduced by an LHVT' with 'the t-tbar spin state cannot be tested for entanglement.' These are not the same. Entanglement is a property of a quantum density matrix (Eq. 3.3) under the Peres-Horodecki criterion. The LHVT constructed in Sec. 3.3 is a classical joint distribution F(lambda_+,lambda_-) over hidden variables, not a separable quantum state rho_sep = sum_i p_i rho_i^+ x rho_i^-. To make the no-go work, the paper would need to show that no separable spin density matrix, combined with the Standard Model decay POVM, can reproduce the measured lepton-momentum distribution. It does not; instead it declares that using the SM decay to relate momenta to spins is circular (Sec. 3.3, Sec. 6). That is a device-independent epistemic criterion, not a theorem. Under the standard quantum-information convention where the measurement apparatus is trusted and characterized by QM, the map from rho to P(q_+,q_-) is invertible for analyzing power 1, so the ATLAS/CMS measured D = -0.537 constrains rho and can exclude separable states. The strong claim 'inherently not possible' therefore overstates: it holds only if one refuses to use QM in the measurement model. In addition, calling an LHVT 'not entangled' is a category error: classical hidden-variable models are neither entangled nor separable in the sense of quantum states.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that collider experiments cannot test locality via Bell's inequality nor entanglement versus non-entanglement when only final-state momenta are measured. The central construction, adapted from Kasday (1971) and Abel, Dittmar, and Dreiner (1992), takes the normalized differential cross section over final-state momenta and identifies it with the distribution of local hidden variables, because all momentum observables commute. This LHVT reproduces the data by construction, satisfies Bell's inequality, and is claimed to be non-entangled. The argument is applied to tau-pair production at LEP and the LHC, top-quark pair production at the LHC, and Higgs decays to vector bosons. The paper also warns that momentum cuts can produce spurious Bell violations, analogous to the detection loophole.","tokens_in":21875,"tokens_out":11135,"duration_ms":126365,"significance":"If the entanglement claim were correct, it would invalidate the ATLAS and CMS entanglement observations and a large body of recent proposals, which would be a substantial result. The Bell-locality half of the paper is a clean and essentially correct application of the Kasday/Fine construction: any joint distribution over commuting momentum observables admits an LHVT, so fixed no-setting momentum measurements cannot violate Bell's inequality. The numerical reproduction of the ATLAS t-tbar distribution is a useful validation. However, the entanglement half is not established: the paper conflates classical simulability of momentum correlations with separability of the spin density matrix, and its 'circularity' argument rests on a nonstandard device-independent epistemic premise rather than a theorem. The paper is therefore most valuable as a corrective to over-strong claims about Bell tests at colliders, but its central entanglement no-go needs substantial reframing.","major_comments":[{"comment":"The entanglement no-go is not established. An LHVT for the momentum distribution is a classical joint distribution F(λ_+,λ_-); it is not a separable quantum density matrix ρ_sep = Σ_i p_i ρ_i^+ ⊗ ρ_i^-. To show that entanglement cannot be tested, the paper would need to prove that no separable spin state, combined with the Standard Model decay map, reproduces the measured lepton angular distribution. The paper does not do this; instead it asserts in Sec. 3.3 that 'it is not permissible to use quantum mechanics when testing for quantum mechanics' and repeats this premise in Sec. 6. That is a device-independent epistemic criterion, not a theorem. Under the standard quantum-information convention in which the measurement apparatus is trusted and characterized by QM, the map from ρ_tbar to P(q_+,q_-) is invertible for analyzing power 1, so the ATLAS value D̄ = -0.537 (Eq. (3.11)) excludes separable states. Consequently, the Sec. 6 claim that entanglement testing is 'inherently not possible' overstates what is proven.","section":"Section 3.3 and Section 6"},{"comment":"Calling the Kasday LHVT 'by construction not entangled' is a category error. Entanglement and separability are properties of bipartite quantum states, as in Eq. (3.3) and the Peres-Horodecki criterion of Eqs. (3.8)-(3.9); a classical hidden-variable model is neither entangled nor separable in the quantum sense. The existence of an LHVT means the momentum correlations are classically simulable, not that the underlying spin state is separable. The paper should either prove the stronger statement about separable states or explicitly restrict its conclusion to classical simulability, which is sufficient for the Bell-locality no-go but not for the entanglement no-go.","section":"Section 3.3 and Section 6"}],"minor_comments":[{"comment":"Equation (3.4) appears to have an incorrect normalization: for a distribution over two solid angles, the denominator should be 16π², not 4π²; as written, the right-hand side integrates to 4 over dΩ+dΩ-, not 1. The text and figures use correctly normalized distributions, so this is likely a typographical error, but it should be corrected because Eq. (3.4) defines the coefficients B± and C.","section":"Section 3.3, Eq. (3.4)"},{"comment":"The 'alternative LHVT' used to illustrate the effect of momentum cuts employs a complex response function P(p̂_a|λ) = (1/√2)(1 + i√(3c) p̂_a·λ), which is not a valid probability for each λ; the integrated distribution being real does not cure this. The Kasday delta-function construction described later in the same section is the valid way to make the point about cuts.","section":"Section 5, Eqs. (5.5)-(5.7)"},{"comment":"The construction in Sec. 2 is essentially Fine's theorem for commuting observables; citing Fine (1982) would help place the Kasday adaptation and the 1992 paper in the broader literature.","section":"Section 2"},{"comment":"The decay is written as τ± → π±ντ; for τ+ the neutrino should be an antineutrino, so the notation should be τ± → π± ντ(ν̄τ) to be accurate.","section":"Section 3.1"},{"comment":"The paper relies on the companion paper Ref. [56] for a key distinction between the coefficients B,C in the differential cross section and B,C in the density matrix; if that paper is not yet published, the argument should be made self-contained.","section":"Section 3.3"}],"recommendation":"major_revision","confidential_remarks":"The Bell-locality section is a solid, though essentially known, observation. The entanglement section makes a claim that depends on a nonstandard device-independent criterion, and the title and abstract are stronger than the argument supports. If the authors revise to make the conditional nature explicit, the paper could be a useful contribution; as it stands, the central 'entanglement versus non-entanglement' claim is likely to be regarded as overstated by the quantum-information community. There is also a concern that Ref. [56] is cited for a key distinction and is not yet available."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nHere's my take on arXiv:2507.15949. The core Bell-locality argument is correct and worth taking seriously: for any collider process where you only measure final-state momenta, those momenta commute, and the measured joint distribution can always be rewritten as a local hidden variable model via the Kasday construction. That kills any claim to a device-independent Bell test at ATLAS/CMS or SuperKEKB. The paper deserves credit for resurrecting the 1992 Abel-Dittmar-Dreiner construction, applying it to t-tbar, H→ττ, and H→VV*, and adding a useful Section 5 showing that momentum cuts can create spurious Bell violations à la the detection loophole. The authors are also careful to distinguish the C matrix in the differential cross section from the C in the spin density matrix.\n\nThe entanglement part, however, overreaches. An LHVT is a classical joint distribution, not a separable quantum density matrix. Showing that the momentum spectrum is LHVT-simulable does not establish that no separable spin state could produce the same spectrum when the Standard Model decay map is trusted. To make that no-go work, the paper would need to rule out all separable ρ plus the SM POVM; it doesn't. Instead it declares that using QM to relate lepton directions to top spins is circular. That's a device-independent epistemic criterion, not a theorem. Under the standard quantum-information convention of trusted, QM-calibrated analyzers, ATLAS's D = -0.537 does constrain the spin state and does exclude separability. So the strong statement that entanglement versus non-entanglement is 'inherently not possible' to test is not justified. Relatedly, the phrase 'an LHVT is by construction not entangled' is a category error: a classical model is neither entangled nor separable in the quantum sense.\n\nThe numerical simulations appear consistent but are not fully reproducible from the text; that's a minor complaint. The citation pattern is fine, including the self-citations to the 1992 paper.\n\nBottom line: this paper is a genuinely useful corrective to inflated claims about collider Bell tests. The Bell-locality no-go is solid. The entanglement no-go is too strong and should be revised to 'no device-independent or QM-free connection exists,' while acknowledging that state tomography under trusted SM decays is legitimate and not circular. I would send it to peer review with a clear instruction to moderate the entanglement section. I'd bring it to group meeting and likely cite it in any future work on collider quantum information.\n\nBest","headline":"A solid Bell-locality no-go for momentum-only collider tests, but the entanglement claim conflates classical simulability with quantum separability and overreaches.","tokens_in":22419,"tokens_out":4474,"would_cite":true,"duration_ms":49984,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"At colliders, measuring only momenta cannot test locality via Bell's inequality or entanglement versus non-entanglement.","keywords":["Bell's inequality","local hidden variables","quantum entanglement","top-quark pair production","spin correlations","detection loophole","collider tests","Kasday construction"],"falsifier":"A concrete disproof would be a collider measurement that uses only final-state momenta and no phase-space cuts, whose normalized correlation function violates Bell's inequality for a two-state decay; the paper's construction predicts every such function is an LHVT and therefore satisfies it.","tokens_in":21363,"feed_emoji":"⚛️","tokens_out":5000,"duration_ms":57221,"temperature":0.7,"pith_summary":"This paper argues for a no-go result: collider experiments that measure only final-state momenta cannot test locality through Bell's inequality, and cannot distinguish entangled from non-entangled states. The reason is that the normalized differential cross section for the process—a function of commuting momentum directions—is itself a local hidden variable theory (LHVT), and LHVTs automatically satisfy Bell's inequality and are not entangled. The same construction is applied to tau pairs from Z and Higgs decays, top-quark pairs at the LHC, and Higgs decays to W and Z bosons, reproducing the observed angular distributions while remaining non-entangled. If correct, the ATLAS and CMS entanglement observations for top pairs are not tests of entanglement, because extracting the spin density matrix from lepton directions requires assuming the very quantum mechanics being tested.","feed_headline":"Momentum-only collider data cannot test entanglement or locality","feed_subtitle":"Measured angular distributions are themselves local, non-entangled models, the paper argues.","key_machinery":"The Kasday construction: take the full differential cross section $f(\\hat{p}_a,\\hat{p}_b)$ over final-state unit momenta and declare it to be the joint hidden-variable distribution $F(\\hat{\\lambda}_a,\\hat{\\lambda}_b)$, with each particle responding deterministically by emitting its decay product along its assigned hidden direction. This works only because all measured momentum components commute, so a joint probability distribution over them exists; the same construction fails for non-commuting spin components such as $S_x,S_y$. It transforms any collider angular distribution into a manifestly local, non-entangled model.","core_discovery":"For reactions such as $e^+e^- \\to Z \\to \\tau^+\\tau^- \\to \\pi^+\\pi^-\\nu\\bar{\\nu}$, $pp \\to H \\to \\tau^+\\tau^-$, $pp \\to t\\bar{t} \\to b\\ell^+\\nu\\bar{b}\\ell^-\\bar{\\nu}$, and $H \\to V V^*$, the paper claims that the full normalized differential cross section as a function of the final-state unit momenta is itself an LHVT. Since the momentum components commute, one can identify hidden variables with the measured momentum directions, with response functions that are delta functions and a distribution equal to the cross section itself. Because an LHVT necessarily satisfies Bell's inequality and is non-entangled, the same data that would seem to reveal spin entanglement are exactly reproduced by a local, separable model. The only bridge from measured lepton directions to the top-spin density matrix uses quantum field theory; the paper calls that circular when the question is whether quantum mechanics itself passed the test.","pith_inferences":["Beyond the paper: if one allows trusted quantum analyzers as standard device calibration, rather than demanding a foundational test of quantum mechanics, ATLAS/CMS-style quantum tomography of top pairs can still certify entanglement as a quantum-information protocol; what fails is only the stronger claim of a fundamental test.","The no-go logic generalizes: any experiment that infers spin correlations from commuting kinematic variables inherits the same construction, so distinguishing LHVTs would require direct non-commuting spin measurements, such as spin analyzers acting on the tops before they decay, which are not available at colliders.","A testable extension suggested by the reasoning is to scan collider observables defined purely on final-state momenta, with no cuts, for any violation of the appropriate Bell inequality; the paper's construction predicts none will occur."],"forward_implications":["Bell-inequality tests based on $t\\bar{t}$, $\\tau^+\\tau^-$, or $H\\to VV^*$ angular distributions cannot exclude local hidden variable theories, because the measured angular distribution itself satisfies Bell's inequality.","The ATLAS and CMS observation of an entanglement parameter below $-1/3$ in top pairs is reinterpreted as the slope of an LHVT-compatible angular distribution, not as evidence of quantum entanglement, unless one first assumes the Standard Model's quantum decay dynamics.","Momentum cuts used to isolate transverse vector-boson components act as data rejection and can generate spurious Bell violations through the detection loophole, so fair-sampling assumptions are unjustified.","For $H\\to ZZ^*$ and $H\\to WW^*$, Bell's inequality does not apply because massive spin-1 bosons have three spin states, and the CGLMP inequality cannot be applied directly to angular measurements.","No current collider process that measures only final-state momenta can serve as a fundamental test of locality or of entanglement versus non-entanglement."],"supporting_citations":[{"why":"Supplies the hidden-variable construction of Kasday that the paper adapts to collider final states.","marker":"[58]"},{"why":"The authors' earlier work that first adapted the Kasday construction to colliders and argued the no-go for locality at LEP.","marker":"[54]"},{"why":"Bell's original 1964 paper defines the local hidden variable theories and the inequality that the collider tests purportedly check.","marker":"[1]"},{"why":"Defines the entanglement parameter D from the spin density matrix and the Peres-Horodecki criterion that ATLAS and CMS use in their top-pair analyses.","marker":"[5]"},{"why":"The ATLAS measurement of D = -0.537 near threshold that the paper reinterprets as an LHVT-compatible angular distribution.","marker":"[28]"},{"why":"The CMS result with similar parton-level entanglement claim that the paper argues is not a test of entanglement.","marker":"[29]"},{"why":"Companion critical appraisal of the distinction between spin correlations and angular correlations as measured in the laboratory.","marker":"[56]"},{"why":"Pearle's detection loophole is used to explain how momentum cuts can create spurious Bell violations.","marker":"[77]"},{"why":"The CGLMP inequality for higher-dimensional spin systems is discussed and shown not to apply to angular measurements.","marker":"[65]"}],"fun_headline_variants":["Collider spin tests? Just local hidden variables in disguise","Entanglement tests at LHC: not possible, says new analysis","Momentum data can't probe Bell or entanglement","LHVT reproduces all collision data, killing Bell tests","Colliders can't test locality: momenta are the hidden variables"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that using quantum mechanics to convert measured lepton directions into spin directions disqualifies the test as circular; if a trusted quantum analyzer is allowed instead, the same data could certify entanglement non-circularly.","fun_headline_variants_meta":{"raw":{"variants":["Collider spin tests? Just local hidden variables in disguise","Entanglement tests at LHC: not possible, says new analysis","Momentum data can't probe Bell or entanglement","LHVT reproduces all collision data, killing Bell tests","Colliders can't test locality: momenta are the hidden variables"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000972,"raw_usage":{"total_tokens":4145,"prompt_tokens":968,"completion_tokens":3177,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":584,"completion_tokens_details":{"reasoning_tokens":3093}},"tokens_in":584,"tokens_out":3177,"duration_ms":26413,"temperature":1.0,"reasoning_tokens":3093,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:22:57.871050+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete disproof would be a collider measurement that uses only final-state momenta and no phase-space cuts, whose normalized correlation function violates Bell's inequality for a two-state decay; the paper's construction predicts every such function is an LHVT and therefore satisfies it.","supporting_citations":[],"review_version":1}