{"id":"bc9303d0-be96-456c-bbe0-d0fe8e68597c","arxiv_id":"2505.09280","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors define quantum entanglement as the complement of a product-state subspace in complex projective space and propose azimuthal and triple-product collider observables as entanglement witnesses for ttbar, tau+tau-, WW, Wt, ttt, and ttbarW systems.","lead":"This paper proposes a geometric formalism for quantum entanglement and derives new angular observables for detecting entanglement in top, tau, W, and multi-particle states at colliders. It claims that collider-friendly angular correlations can replace the standard D criterion at e+e- colliders and probe entanglement in two- and three-body systems.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed discriminant classification fails for the AA system: setting α_{1,1}=α_{1,0}=α_{1,-1}=0 with the remaining 2×3 block of rank 2 gives Δ1=Δ2=Δ3=Δ4=0 for a non-product state, so the 'independent' discriminants do not cut out the separable set.","rationale":"The reader's central objection lands. The ff case is handled correctly: for a pure two-qubit state, Δ=0 iff the coefficient matrix has rank 1, and the Peres-Horodecki eigenvalues and CHSH bound follow. That part gives independent support for the method in the minimal case. But the paper's headline—a generic exact quantum entanglement theory for AA, Af, fff, and ffA—depends on the assertion that the chosen discriminants cut out the Segre variety. No proof is supplied, and the AA counterexample shows the assertion is false for the chosen independent set. The reduction relations in §2.2 are algebraic only after dividing by α_{1,1}; the exceptional locus α_{1,1}=0 contains rank-2 matrices with all four selected discriminants zero, so the 'classical space' defined by Δ1=Δ2=Δ3=Δ4=0 contains entangled states. The same exceptional-locus issue is expected for Af, where the pivot α_{1,1/2}=0 fails, and for the three-particle constructions, which use the same fix-one-particle/minors strategy. The mixed-state issue raised by the reader is less decisive: because the angular observables in Sections 4 and 5 are linear expectations, convexity may salvage some witness criteria even for unpolarized beam mixtures. But the algebraic classification failure directly invalidates the claimed fundamental approach and the statement that quantum entanglement spaces can be probed 'at exact level' by the listed discriminants. Hence the verdict should remain REJECT.","tokens_in":35019,"tokens_out":12006,"duration_ms":121156,"concrete_test":"Explicit state test: normalize the AA state with α_{0,1}=α_{-1,0}=1/√2, all other α_{j,k}=0. Compute the four discriminants in Eq. (46): each vanishes. Then compute the rank of the 3×3 coefficient matrix: because the nonzero entries lie in different rows and columns, the rank is 2, hence the state is not a product state, since a product state has rank 1. This single evaluation falsifies the §2.2 claim that the intersection Δ1=Δ2=Δ3=Δ4=0 is the classical space. For a broader check, use Macaulay2 or Singular to compare the variety V(Δ1,Δ2,Δ3,Δ4) in CP^8 with the rank-1 Segre variety and confirm the inclusion is strict.","verdict_should_be":"REJECT","load_bearing_attack":"The central claim that the classical space is exactly the intersection of the discriminant loci is only proven for the ff system. For the AA system the four 'independent' discriminants fail to characterize product states. Take the 3×3 coefficient matrix with α_{1,1}=α_{1,0}=α_{1,-1}=0 and a rank-2 block in rows j=0,-1, e.g. α_{0,1}=α_{-1,0}=1/√2 and all other entries zero. Then Δ1=Δ2=Δ3=Δ4=0, yet the matrix has rank 2, so the state is not a product state. The reason is visible in the claimed reduction relations: 'with Δ1 and Δ2 we can obtain Δ8' holds only on the open set where the pivot α_{1,1} is nonzero; on the locus α_{1,1}=0 the vanishing of the chosen quadrics does not force all 2×2 minors to vanish. The NID counting argument in Eq. (8) counts codimension, but it does not show that the chosen quadratic forms generate the ideal of the Segre variety. Since the AA, Af, fff, and ffA classifications are asserted without proof and the AA case is demonstrably false, the paper's 'exact level' characterization of quantum entanglement spaces is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a general formalism in which the pure spin-polarization state of an N-particle system is identified with complex projective space CP^{J-1}, the \"classical space\" with the Segre product of single-particle spaces, and the \"quantum entanglement space\" with their set-theoretic difference. For the ff, AA, Af, fff, and ffA systems it introduces quadratic \"discriminants\" and claims that the classical space is exactly the discriminant locus Delta=0 (for ff) or the intersection of the discriminant loci Delta_i=0 (for the others). For the ff system it proves equivalence of the discriminant criterion with the Peres-Horodecki criterion and with the CHSH Bell-variable condition. For the specific collider approach it derives angular-correlation observables for t tbar, tau+ tau-, W+ W-, W- t, ttt, and t tbar W- systems and states entanglement criteria, including BSM scenarios with h' and b'. The central mathematical claim, however, is proven only for ff; for AA it is demonstrably false, and for the remaining systems it is asserted without proof.","tokens_in":35351,"tokens_out":6631,"duration_ms":72268,"significance":"If the discriminant characterization were correct, the ff part would provide an exact algebraic criterion equivalent to the Peres-Horodecki and CHSH criteria for pure two-fermion states, and the specific angular observables would be useful additions to the collider-entanglement toolbox. The paper contains a number of explicit analytic results, especially the ff derivation in Section 2.1 and the azimuthal observable D' in Section 4.3, and those parts are internally consistent. The significance of the broader program, however, depends on the false or unproved claims that the chosen discriminant loci cut out the classical space for AA, Af, fff, and ffA, and on the assumption that collider-produced systems can be treated as pure states. Since those assumptions are load-bearing for the paper's main claims of an \"exact level\" theory and for the multi-particle criteria, the significance of the paper as a whole is substantially reduced.","major_comments":[{"comment":"The claimed characterization of the classical space for the AA system is false. Take the normalized state with alpha_{0,1}=alpha_{-1,0}=1/sqrt(2) and all other alpha_{j,k}=0. The coefficient matrix has first row zero and the remaining 2x3 block has rank 2, so the state is not a product state. Nevertheless, Delta1=Delta2=Delta3=Delta4=0, because every one of these discriminants contains the factor alpha_{1,1}, alpha_{1,0}, or alpha_{1,-1}. Thus the intersection of the four chosen discriminant loci contains non-product states, and the statement that this intersection is the classical space is incorrect. The reduction relations such as \"with Delta1 and Delta2 we can obtain Delta8\" require division by the pivot alpha_{1,1} and fail exactly on the locus alpha_{1,1}=0, which is where the counterexample lives.","section":"Section 2.2, Eq. (46)"},{"comment":"The paper's central generalization is asserted rather than proven. The NID count in Eq. (8) is only a dimension count of the expected codimension of the Segre variety; it does not show that the selected quadratic forms generate the ideal of that variety. The AA counterexample above shows that the dimension count is not sufficient. In fact, the Segre embedding of CP2 x CP2 has codimension 4 but is not a complete intersection, so no four quadratic equations can cut it out scheme-theoretically. The same unsupported pivot-based construction is used for Af, fff, and ffA in Sections 2.3-2.5 and for general systems in Section 2.6, with no proof that the selected discriminants define the separable set. These assertions are load-bearing for the paper's central claim that the quantum entanglement space is characterized exactly by the discriminant loci.","section":"Sections 2.2-2.6, Eqs. (8) and (63)-(74)"},{"comment":"The paper treats the t tbar system as a pure state with a single amplitude vector alpha_{k,j} obtained from production amplitudes via Eq. (98). In an actual collider experiment the spin state is a density matrix obtained after averaging over beam polarizations, production angles, and unobserved quantum numbers; it is generically mixed rather than pure. The derived criterion that Delta != 0 is necessary and sufficient for entanglement is valid for the pure state of Eq. (97), but no argument is given that the same criterion applies to the mixed collider density matrix. This affects the claimed \"exact level\" reconstruction of Delta from measurements and the necessity part of the entanglement criteria in Sections 4 and 5.","section":"Section 4.1-4.2, Eqs. (97)-(99) and (116)"},{"comment":"The triple-product observables are used to claim a criterion for \"genuine tripartite entanglement.\" The derivation bounds the observable for fully separable product states, but a state that is entangled only in one bipartition and product with respect to the third party (biseparable) is not covered by this bound. To certify genuine tripartite entanglement one must also exclude biseparable states. Since no biseparable bounds are derived, the criteria in Eqs. (184) and (194) at most detect non-full-separability, not genuine tripartite entanglement as claimed.","section":"Sections 5.4-5.5, Eqs. (181)-(184) and (191)-(194)"}],"minor_comments":[{"comment":"The displayed inequality after Eq. (12) appears garbled: the term |alpha_{1/2,-1/2}|^2|alpha_{-1/2,1/2}|^2 should evidently be |alpha_{1/2,-1/2}|^2 + |alpha_{-1/2,1/2}|^2 in the intended application of 2|ab| <= |a|^2 + |b|^2.","section":"Section 2.1, around Eq. (12)"},{"comment":"There are unresolved placeholders \"Section ??\" in the definitions of the spherical coordinates for the ttt and t tbar W- analyses; these should be replaced by the correct section references.","section":"Sections 5.4-5.5"},{"comment":"The statement that Werner states with w in (1/3, 1/sqrt(2)) \"cannot be realized\" is only a statement about the pure-state parametrization used in the paper; it does not address whether such mixed states arise from collider ensembles, so the conclusion that the classical space equals the Bell-local parameter space is limited to pure states.","section":"Section 2.1, Werner-state discussion"},{"comment":"The notation CP^{s1} \\otimes CP^{s2} for the Segre product is nonstandard; the Segre variety is the image of the cartesian product CP^{s1} x CP^{s2}, and using \\otimes for the space rather than the embedding may confuse readers.","section":"Section 1 and throughout"},{"comment":"The criterion D' in [-1,-1/2) union (1/2,1] is stated as \"conclusively demonstrated\" entanglement; because the derivation in Eqs. (125)-(128) uses the pure-state amplitude parametrization, this should be labeled as a criterion for pure or coherently produced states unless the mixed-state extension is supplied.","section":"Section 4.3, Eq. (129)"}],"recommendation":"reject","confidential_remarks":"The referee report of the first reader is well grounded: the AA counterexample is correct and directly falsifies a central claim of the manuscript. The pure-state assumption in the collider sections is an additional structural problem. Because the main mathematical generalization fails and the phenomenological criteria rely on the unproven pure-state treatment, I do not see a way to repair the central claims by a modest revision within the scope of this manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Junle's paper is a mixed bag. The genuinely useful part is the collider phenomenology: the D' observable for t-tbar and tau+tau- at e+e- colliders is a nice idea, and the h'->WW and b'->Wt thresholds are concrete and testable. The derivation of D' from the helicity amplitudes is straightforward, and the separable bound |D'| <= 1/2 is correct. The ff section is also solid: the discriminant Delta is exactly the determinant, the eigenvalues of rho^{T2} are as stated, and the equivalence with CHSH for pure two-qubit states is Gisin's theorem in disguise. The trouble is the general formalism. The claim that the classical space is the intersection of the chosen discriminant loci fails for AA. Take the state (1/sqrt(2))(|0,1> + |-1,0>) in the 3x3 coefficient matrix; the first row is zero and the remaining 2x3 block has rank 2. All four 'independent' discriminants Delta1..Delta4 vanish, yet the state is entangled. The paper's reduction relations 'with Delta1 and Delta2 we can obtain Delta8' only hold when the pivot alpha_{1,1} is nonzero; on the locus alpha_{1,1}=0 they say nothing. So the NID counting gives the right dimension but not a generating set for the ideal of the Segre variety. The same issue afflicts Af, fff, and ffA, where the chosen discriminants are similarly a subset of the 2x2 minors and do not cut out the rank-one locus. There is also a physics mismatch: collider-produced W+W- and t-tbar are mixed states after averaging over beam polarizations and production angles. The paper's alpha-vector is a pure-state amplitude. The criteria D' etc. are derived for pure states; to make them practical you need the density-matrix version. That is a re-derivation, not a footnote. The triple-product criteria for ttt and ttbarW only bound fully separable states; biseparable states can probably exceed the quoted ranges, so the label 'genuine tripartite entanglement' is not supported. My recommendation: this should go to peer review—there is enough real content in the observables to warrant referee time—but the general algebraic framework as written is not correct and the Bell-nonlocality claim is only true for the two-qubit pure case. I'd ask the authors to either prove the intersection statement for AA/Af/fff/ffA or drop it, and to rederive the observables for the actual collider density matrices. The D' result alone, properly framed, could be a decent paper.","headline":"A clean two-fermion result and some promising collider observables sit inside a paper whose general algebraic claim does not survive contact with a rank-two 3x3 matrix.","tokens_in":35876,"tokens_out":5845,"would_cite":false,"duration_ms":57843,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A single determinant decides two-fermion entanglement, and generalized discriminants define entanglement spaces for higher-spin collider systems.","keywords":["quantum entanglement","discriminant criterion","complex projective space","Bell non-locality","collider observables","top quark pairs","angular correlations","beyond Standard Model"],"falsifier":"For the $AA$ system, set $\\alpha_{1,j}=0$ for all $j$ and choose the residual $2\\times3$ block with rows $j=0$ and $j=-1$ to be a rank-2 matrix, for instance row 0 equal to $(1,0,1)$ and row $-1$ equal to $(0,1,1)$ over columns $k=-1,0,1$, then normalize. All four independent discriminants $\\Delta_1,\\Delta_2,\\Delta_3,\\Delta_4$ vanish because they involve the zero first row, but the amplitude matrix has rank 2 and is therefore not a product state, directly contradicting the proposed classical-space definition for $AA$.","tokens_in":34829,"feed_emoji":"⚛️","tokens_out":17096,"duration_ms":149880,"temperature":0.7,"pith_summary":"This paper proposes an exact algebraic characterization of quantum entanglement. For a pure multi-particle state, it identifies the full polarization space with complex projective space $\\mathbb{CP}^{J-1}$ and the factorizable (classical) states with the product $\\mathbb{CP}^{2s_1}\\times\\cdots\\times \\mathbb{CP}^{2s_N}$, so the entanglement space is the difference of the two. The authors define degree-2 discriminants, namely two-by-two determinants of the coefficient array, and claim that their vanishing defines the classical space for the $ff$, $AA$, $Af$, $fff$, and $ffA$ systems. For the two-fermion $ff$ case they prove the discriminant criterion is equivalent to the Peres-Horodecki criterion and to the CHSH criterion, so every entangled pure fermion-pair state is Bell non-local. On the collider side, the paper builds angular observables from decay amplitudes that measure these discriminants, including the azimuthal observable $D'$ that detects top-pair entanglement at $e^+e^-$ colliders where the standard $D$ criterion fails, and uses them to propose searches for new scalars and heavy quarks.","feed_headline":"One determinant tells if a fermion pair is entangled","feed_subtitle":"The determinant test matches Peres-Horodecki and CHSH, so collider entanglement checks become exact.","key_machinery":"The load-bearing object is the discriminant, a degree-2 holomorphic function formed as a two-by-two minor of the amplitude coefficient array, for example $\\Delta_{ij,kl}=\\alpha_{i,k}\\alpha_{j,l}-\\alpha_{i,l}\\alpha_{j,k}$. A product state has a rank-one coefficient matrix, so every such minor vanishes on the classical space; the paper's defining move is to take the discriminant locus $\\Delta=0$ (or the simultaneous zero locus of a chosen independent set) as the complete characterization of separable pure states. For the $ff$ system this is proven by showing that the eigenvalues of the partially transposed density matrix are $-|\\Delta|,\\,|\\Delta|,\\,\\frac12(1\\pm\\sqrt{1-4|\\Delta|^2})$, and that the CHSH variable is $2\\sqrt{1+4|\\Delta|^2}$. The collider machinery is the master formula for factorized angular observables, built from Wigner $d$-functions and phase-space integrals, which expresses expectation values such as $\\langle\\cos(\\phi_{e^+}-\\phi_{e^-})\\rangle$ as quadratic forms in $\\alpha$ and lets experimenters reconstruct the discriminants from measured angular correlations.","core_discovery":"The central claim is that entanglement, for pure states, is an exact algebraic property rather than an inequality. For a two-fermion state with coefficients $\\alpha_{kj}$, the paper proves that the state is separable if and only if the single determinant $\\Delta=\\alpha_{++}\\alpha_{--}-\\alpha_{+-}\\alpha_{-+}$ vanishes, and that this same condition matches the Peres-Horodecki positive-partial-transpose criterion and the CHSH criterion, with Bell variable $B=2\\sqrt{1+4|\\Delta|^2}$ taking values from 2 to $2\\sqrt2$. The paper then generalizes the construction to $AA$, $Af$, $fff$, and $ffA$ systems by listing independent discriminants and asserting that their common zero locus is the factorizable (Segre) locus, so that non-vanishing of at least one discriminant certifies entanglement. In the collider part, it uses Wigner $d$-function phase-space integrals to express angular correlation observables as quadratic forms in the coefficients, yielding criteria such as $D'\\in[-1,-1/2)\\cup(1/2,1]$ for top pairs and triple-product criteria for $ttt$ and $t\\bar t W^-$.","pith_inferences":["Inference: the 2-by-2 minor idea will not survive with the same discriminant list for every bipartite system, since the paper's $AA$ criterion already admits a non-product state with all four independent discriminants zero; a complete theory needs either extra discriminants or a different defining set.","Inference: collider spin density matrices are mixed after averaging, so the pure-state discriminant criterion must be lifted to a statement about existence of a separable decomposition before direct application to data, while the linear angular observables remain valid as entanglement witnesses under mixing.","Inference: observables such as $D'$ isolate specific off-diagonal elements of the production density matrix, so the same measurements also constrain production amplitudes and anomalous couplings, not only entanglement.","Inference: the exact $ff$ equivalence between entanglement and Bell non-locality is a two-qubit fact; for the $AA$, $fff$, and $ffA$ systems, Bell non-locality requires separate inequalities and should not be read off from the discriminants alone."],"forward_implications":["For pure two-fermion states, the discriminant criterion is exact and is equivalent to both the Peres-Horodecki and CHSH criteria, so entanglement and Bell non-locality coincide and there is no Werner-type gap in this pure-state setting.","At $e^+e^-$ colliders, the leading-order Standard Model prediction $D=1/3$ makes the usual $D<-1/3$ criterion useless for top pairs, while $D'=32/\\pi^2\\langle\\cos(\\phi_{e^+}-\\phi_{e^-})\\rangle$ outside $[-1/2,1/2]$ certifies entanglement in dedicated angular regions.","For $W^+W^-$ pairs from a scalar $h'$ with $m_{h'}<254.1$ GeV, $\\langle\\cos\\theta_{e^-e^+}\\rangle>1/4$ certifies entanglement, and for $W^-t$ from a heavy quark $b'$ with $m_{b'}<319.5$ GeV, $D'_{W^-t}>1$ does.","Triple-product correlations $\\langle(\\hat e_1\\times\\hat e_2)\\cdot\\hat e_3\\rangle$ certify genuine tripartite entanglement in $ttt$ and $t\\bar t W^-$ when they fall outside the product-state bounds.","The formalism recasts entanglement detection as a finite set of algebraic zero-checks, so model-independent exact tests replace inequality-based sufficient conditions."],"supporting_citations":[{"why":"Provides the Werner-state example separating entanglement from Bell locality, which the paper shows cannot occur in the pure ff space.","marker":"[2]"},{"why":"Records the observed top-quark pair entanglement at a proton collider that the top-quark section builds on.","marker":"[17]"},{"why":"Provides the companion top-quark pair entanglement observation used as baseline.","marker":"[18]"},{"why":"Supplies the top-quark density-matrix parametrization and the D<-1/3 entanglement criterion that the paper refines.","marker":"[21]"},{"why":"Defines the CHSH inequality whose saturation is compared with the ff discriminant.","marker":"[22]"},{"why":"Gives the partial-transpose separability criterion used in the equivalence proof.","marker":"[23]"},{"why":"Provides the positive-partial-transpose criterion applied to the ff density matrix.","marker":"[24]"},{"why":"Supplies the equivalent CHSH condition for two-qubit states used to express the Bell variable in terms of the discriminant magnitude.","marker":"[25]"},{"why":"Supplies the decay-amplitude formalism with Wigner d-functions used to derive the angular observables.","marker":"[29]"}],"fun_headline_variants":["One determinant decides fermion pair entanglement","Exact collider probe for entangled fermion pairs","Determinant test matches Peres-Horodecki and CHSH","Quantum entanglement space from projective geometry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that the selected independent discriminants' common zero set exactly describes all separable pure states for the $AA$, $Af$, $fff$, and $ffA$ systems; the $ff$ case is proven, but for $AA$ this assumption is false, since a state whose first helicity row vanishes and whose remaining two rows form a rank-2 block has all four independent discriminants zero yet is not a product state.","fun_headline_variants_meta":{"raw":{"variants":["One determinant decides fermion pair entanglement","Exact collider probe for entangled fermion pairs","Determinant test matches Peres-Horodecki and CHSH","Quantum entanglement space from projective geometry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001028,"raw_usage":{"total_tokens":4433,"prompt_tokens":1146,"completion_tokens":3287,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":762,"completion_tokens_details":{"reasoning_tokens":3227}},"tokens_in":762,"tokens_out":3287,"duration_ms":24597,"temperature":1.0,"reasoning_tokens":3227,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:36:31.477779+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the $AA$ system, set $\\alpha_{1,j}=0$ for all $j$ and choose the residual $2\\times3$ block with rows $j=0$ and $j=-1$ to be a rank-2 matrix, for instance row 0 equal to $(1,0,1)$ and row $-1$ equal to $(0,1,1)$ over columns $k=-1,0,1$, then normalize. All four independent discriminants $\\Delta_1,\\Delta_2,\\Delta_3,\\Delta_4$ vanish because they involve the zero first row, but the amplitude matrix has rank 2 and is therefore not a product state, directly contradicting the proposed classical-space definition for $AA$.","supporting_citations":[],"review_version":1}