{"id":"c5cd5d0e-5844-47eb-a4df-6e1c8badc47c","arxiv_id":"2505.21048","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For any pure qubit-qudit state, the negativity of the partial transpose equals the square root of the determinant of the two-by-two reduced density matrix, which the paper applies to spin-orbit entanglement in protons.","lead":"This paper derives the eigenvalue spectrum of the partially transposed density matrix for a pure two-by-n quantum state, reducing to four nonzero eigenvalues determined by one determinant. It applies the resulting negativity formula to spin-orbit correlations inside a proton, connecting it to the gluon helicity distribution and a Hermitian angle.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proton-negativity formula (26) depends on an unproven pure-state assumption and on Eq. (25); the general 2⊗n spectrum itself is correct via Schmidt decomposition.","rationale":"The reader's weakest assumption correctly identifies the proton application as the fragile part. I checked the central mathematical claim: for a pure 2⊗n state, Schmidt decomposition gives at most two Schmidt coefficients, so the partial transpose lives in an effective 2⊗2 subspace; its eigenvalues are exactly ±√A and 1/2(1±√(1−4A)), with all remaining eigenvalues zero. Thus the spectrum formula and N=√A are correct, and the appendix sign errors, while real, do not falsify the theorem. The paper's new physics claim, however, requires that a single parton's spin-orbit subsystem be pure and that Eq. (25) follow from gluon PDF definitions. Neither is shown. If the parton state is mixed, the negativity can exceed or differ from √det ρ_l, and the relation to Δg(x)/g(x) would need a full density-matrix treatment. The conditional verdict remains appropriate: the mathematical lemma is solid, but the advertised spin-orbit negativity formula is not established without additional assumptions.","tokens_in":13657,"tokens_out":9227,"duration_ms":110850,"concrete_test":"Independently derive the single-gluon spin-orbit density matrix ρ_{s,l} from the light-cone correlator defining Δg(x) (or from the GTMD model of Ref. [9]) and compute its purity Tr(ρ²) and the l-summed spin asymmetry. If Tr(ρ²) < 1 for any x, the pure-state formula N = √det ρ_l fails; if the summed asymmetry does not reduce to Δg/g after the k_T integration, Eq. (25)—and therefore Eq. (26)—is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (6) is secure: any pure 2⊗n state has Schmidt rank ≤2, so the partial transpose has the same four nonzero eigenvalues as a 2⊗2 state; the sign errors in the appendix characteristic equations are presentation issues, not failures of the theorem. The load-bearing weakness is the proton application. Eq. (1) posits that the spin-orbit subsystem of one parton is a pure bipartite state; after tracing out the rest of the proton, the single-parton spin-OAM density matrix is generically mixed, and for mixed states N(ρ) ≠ √det ρ_l and is not fixed by A alone. Eq. (25), which sets Σ_l(|c_{+,l}|² − |c_{-,l}|²) = Δg(x)/g(x), is also imported without derivation from the operator definition of gluon helicity PDFs. Unless both are established, Eq. (26) is a model assumption rather than a QCD prediction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that for any pure bipartite state on a 2⊗n Hilbert space, the partial transpose of the density matrix has exactly four nonzero eigenvalues: ±√A and (1±√(1−4A))/2, where A is the determinant of the 2×2 reduced density matrix. It then identifies the entanglement negativity as N(ρ)=√A, reformulates this as the norm of the wedge product of the two coefficient vectors c₊ and c₋, and derives related formulas for concurrence, purity, and entanglement entropy. The paper applies these results to spin-orbit correlations of partons inside polarized and unpolarized hadrons, obtaining a negativity formula involving the gluon helicity PDF Δg(x)/g(x) and the Hermitian angle θ_H. The appendix attempts to derive the characteristic equation for 2⊗2, 2⊗3, and general 2⊗n cases.","tokens_in":13836,"tokens_out":9997,"duration_ms":110263,"significance":"The central spectral statement is correct and can be proved in a few lines via the Schmidt decomposition, so the paper identifies a clean single-parameter characterization, A=det ρ_l, for entanglement in pure qubit-qudit systems. The wedge-product identity N(ρ)=||c₊∧c₋|| is an elegant and useful reformulation, and the connection to concurrence, purity, and Rényi-type quantities is pedagogically valuable. If the hadron application could be justified, the relation between negativity and Δg(x)/g(x) would be a novel phenomenological probe. However, the current manuscript does not supply a complete general proof, contains algebraic errors in the appendix and in the concurrence formula, and the hadron application rests on unproven assumptions about purity and about Eq. (25). The paper does not provide reproducible code or machine-checked proofs; its value lies in the explicit analytic formulas and the attempted physics connection, which need to be placed on a sounder footing.","major_comments":[{"comment":"The central spectral claim in Eq. (6) is stated with the caveat that a general proof is elusive, and the appendix's general argument is an outline that is not verifiable as printed. The displayed determinant sums in Eqs. (33) and (37) contain corrupted and repeated entries, and the assertion that all 5×5 and higher principal minors vanish is stated without proof. Because this spectrum is the paper's central result, the manuscript needs a complete proof. A short proof is available: any pure state on H_s²⊗H_l^n has Schmidt decomposition √α|0_s⟩|a_l⟩+√β|1_s⟩|b_l⟩, so the partial transpose over l has eigenvalues α, β, ±√(αβ), and αβ=det ρ_l=A, which immediately gives Eq. (6). Replacing the appendix outline with this argument would remove the 'elusive' caveat and make the main theorem rigorous.","section":"Eigenvalue spectrum; Appendix '2⊗n system'"},{"comment":"The characteristic equations displayed in the appendix are inconsistent with the main text. The factorized polynomial in the main text is (λ²−A)(λ²−λ+A), which expands to λ⁴−λ³+Aλ−A², but Eq. (29) displays λ⁴−λ³−Aλ+A². The same sign error appears in Eq. (34), in the factored form Eq. (35), and in the general equations (38)–(39). As written, Eq. (29) does not have the eigenvalues λ=±√A and λ=(1±√(1−4A))/2 as its roots. The appendix must be corrected so that the displayed characteristic equations actually support the claimed spectrum.","section":"Appendix, Eqs. (29), (34), (35), (39)"},{"comment":"The concurrence identity is incorrect. From det ρ_l = (1−Tr ρ_l²)/2 one obtains √(2(1−Tr ρ_l²)) = 2√(det ρ_l), not 2 det ρ_l. Therefore the standard concurrence of the pure state is C(ρ)=2N(ρ), and the claimed relation C(ρ)=2N²(ρ) in Eq. (19) is wrong. The error should be corrected because it misstates the relationship between two entanglement measures that the paper explicitly highlights.","section":"Entanglement Negativity, Eqs. (18)–(19)"},{"comment":"The hadron application rests on two unproven assumptions. First, Eq. (1) treats the spin-orbit sector of a single parton as a pure bipartite state; after tracing out the rest of the proton, the single-parton density matrix is generically mixed, and for mixed states the negativity is not determined by √det ρ_l. Second, Eq. (25) sets Σ_l(|c_{+,l}|²−|c_{-,l}|²)=Δg(x)/g(x) without deriving it from the operator definition of the gluon helicity PDF. Unless both assumptions are justified, or the calculation is explicitly framed as a model, Eq. (26) is not a QCD prediction. At minimum, the derivation of Eq. (25) must be supplied and the purity assumption must be stated and defended.","section":"Polarized and Unpolarized Hadrons, Eqs. (1), (25), (26)"},{"comment":"The claim that the negativity 'does not depend on the Bjorken-x' as the state evolves at high energy is not established. A boost e^{iωK₃} acting on a fixed single-parton state is not the same as QCD evolution in x, which involves real gluon emission and tracing over additional degrees of freedom. The argument given does not prove x-independence of the negativity, and this statement should either be removed or supported by an explicit derivation within a defined evolution model.","section":"Conclusion, small-x paragraph"}],"minor_comments":[{"comment":"The symbol l is used both for the total orbital angular momentum quantum number and as a summation index running from l to −l. Using a different index, such as m, for the summation would remove ambiguity.","section":"Throughout (e.g., Eq. (1))"},{"comment":"The notation Tr(ρTl)² is ambiguous; it should be written as Tr((ρ^{T_l})²)=1 so that the trace of the square is clearly intended.","section":"Eq. (7)"},{"comment":"Several appendix displays contain corrupted or repeated entries, including nonsensical determinant blocks beginning with '⌟⟨rro⟪'. These need to be typeset correctly so that the algebraic steps can be followed.","section":"Appendix, Eqs. (28), (32), (33), (37)"},{"comment":"The phrase 'characteristics polynomial' should be 'characteristic polynomial' in the figure caption and the surrounding text.","section":"Figure 2 caption and text"}],"recommendation":"major_revision","confidential_remarks":"The central spectrum is correct and admits a very short Schmidt-decomposition proof, so the paper's main mathematical claim is salvageable. The main concerns are that the proof is not actually given, the appendix contains sign and typesetting errors, and the hadron application is presented as a general result when it is conditional on an unproven pure-state assumption and an imported PDF relation. I would ask the authors to supply the Schmidt proof, correct the algebra (including the concurrence relation), and reframe the hadron application as a model-dependent calculation rather than a definite QCD prediction. The overclaim of x-independence should also be tempered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The mathematical core is right and neatly stated: for any pure 2⊗n state, the partial transpose has four nonzero eigenvalues ±√A and (1±√(1−4A))/2, and negativity equals √A. But this is not new. Any pure 2⊗n state has Schmidt rank at most 2, so its partial transpose is just a 2⊗2 problem, and the spectrum follows from the Schmidt decomposition. The Lee et al. formula the authors cite already gives negativity as Σ_{i<j}√(α_i α_j), which reduces to √A for two Schmidt coefficients. The paper would be honest if it presented this as a pedagogical repackaging rather than a new derivation.\n\nWhat is genuinely useful is the compact relation among negativity, concurrence, and the determinant A, together with the Hermitian-angle parametrization. That is a clean way to think about pure qubit-qudit entanglement, and the connection to gluon helicity PDF in Eq. (26) is an interesting guess for EIC phenomenology.\n\nThe soft spots are real. First, the appendix has sign errors: Eq. (29) and (35) have the Aλ and A² terms with reversed signs relative to the main text's (λ²−A)(λ²−λ+A). Those are presentation issues, not fatal, but they should be fixed. Second, the paper admits a general proof is elusive, yet a one-line Schmidt-rank proof exists; the authors missed it and instead did brute-force characteristic equations. That is a missed opportunity, not a flaw in the result. Third, and more seriously, the proton application rests on two unproven assumptions: that the single-parton spin-OAM state is pure, and that Eq. (25) holds. After tracing out the rest of the proton, the parton state is generically mixed, and for mixed states N ≠ √det ρ_l, so Eq. (26) is a model assumption. The imported Δg/g relation from Hatta-Montgomery needs to be stated and justified, or the result labeled conditional.\n\nOverall, this is a reasonable short paper with a correct central formula, a speculative but testable phenomenological connection, and some sloppy presentation. It deserves a serious referee, but the authors should be pushed to attribute the spectrum properly, clean up the appendix, and either justify or caveat the purity assumption before publication.","headline":"Correct but standard qubit-qudit negativity spectrum; the proton application is a model assumption, not a QCD prediction.","tokens_in":14390,"tokens_out":1892,"would_cite":false,"duration_ms":23727,"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":"The paper claims that the entanglement negativity of any pure $2\\otimes n$ bipartite state is $N(\\rho)=\\sqrt{\\det(\\rho_l)}$, with the partially transposed spectrum containing exactly one negative eigenvalue.","keywords":["entanglement negativity","qubit-qudit","spin-orbit correlation","partial transpose","reduced density matrix determinant","gluon helicity PDF","Hermitian angle","parton entanglement"],"falsifier":"On the mathematical side, take a randomly generated pure state in $2\\otimes5$, numerically diagonalize its partially transposed density matrix, and check whether the spectrum is exactly $\\{\\pm\\sqrt{A},\\,\\frac{1}{2}(1\\pm\\sqrt{1-4A}),\\,0,0,0,0\\}$; any deviation refutes the general-$n$ claim. On the physics side, reconstruct the spin-orbit reduced density matrix of partons from measured correlations and extract $A$, then test whether the negative eigenvalue of the partial transpose equals $\\sqrt{A}$ and whether $N$ stays within $[0,1/2]$.","tokens_in":13444,"feed_emoji":"⚛️","tokens_out":11076,"duration_ms":96051,"temperature":0.7,"pith_summary":"The paper argues that a single number, the determinant $A$ of the smaller reduced density matrix, captures the negativity of any pure $2\\otimes n$ bipartite state. For a pure state of a qubit and an $n$-level system, the partial transpose has exactly four nonzero eigenvalues, only one negative, and that negative eigenvalue is $-\\sqrt{A}$, so the entanglement negativity is $N(\\rho)=\\sqrt{A}$. The same $A$ determines the entanglement entropy, the concurrence, and the purity of the qubit subsystem, making the determinant the organizing parameter of the whole entanglement structure. In the proton context, the paper models spin and orbital angular momentum as a pure $2\\otimes(2l+1)$ state and obtains $N=\\frac{1}{2}\\left(1-\\frac{(\\Delta g(x))^2}{g^2(x)}\\right)^{1/2}\\sin\\theta_H$ for polarized protons, tying an entanglement measure to the gluon helicity PDF and a Hermitian angle. A sympathetic reader should care because it converts a hard-to-compute entanglement measure into one scalar that is, in principle, accessible from spin-orbit correlations.","feed_headline":"Negativity of any pure qubit-qudit state is just √A","feed_subtitle":"One determinant also sets proton spin-orbit entanglement via gluon helicity and a Hermitian angle.","key_machinery":"The load-bearing object is the determinant of the reduced density matrix, $A=\\det(\\rho_l)=\\|c_+\\|^2\\|c_-\\|^2-|\\langle c_+,c_-\\rangle|^2$, where $c_+$ and $c_-$ are the coefficient vectors for the two spin states across the $2l+1$ orbital levels. The technical mechanism is the characteristic equation of the partial transpose: for $2\\otimes n$ it collapses to $\\lambda^{2n-4}(\\lambda^2-A)(\\lambda^2-\\lambda+A)=0$ because all principal minors of dimension five and higher vanish. The paper demonstrates the factorization for $2\\otimes2$ and $2\\otimes3$ and sketches the general-$n$ argument; the Cauchy-Schwarz inequality then confines $A$ to $[0,1/4]$, which is exactly what guarantees a single negative eigenvalue and a stable real spectrum.","core_discovery":"The central claim is the full eigenvalue spectrum of the partially transposed density matrix for a pure state in $H_s^2\\otimes H_l^{2l+1}$: the characteristic polynomial factorizes as $\\lambda^{2n-4}(\\lambda^2-A)(\\lambda^2-\\lambda+A)=0$ with $A=\\det(\\rho_l)$ and $0\\le A\\le 1/4$. The four nonzero eigenvalues are $\\lambda_{1,2}=\\pm\\sqrt{A}$ and $\\lambda_{3,4}=\\frac{1}{2}(1\\pm\\sqrt{1-4A})$, and all remaining eigenvalues are zero. Only $\\lambda_1=-\\sqrt{A}$ is negative, so the Peres-Horodecki criterion applies; the negativity is $N(\\rho)=\\sqrt{A}$, which equals the norm of the wedge product $\\|c_+\\wedge c_-\\|$ of the coefficient vectors. For spin-orbit correlations of partons in a polarized proton, the paper assumes $\\sum_l(|c_{+,l}|^2-|c_{-,l}|^2)=\\Delta g(x)/g(x)$ and derives $N=\\frac{1}{2}\\left(1-\\frac{(\\Delta g(x))^2}{g^2(x)}\\right)^{1/2}\\sin\\theta_H$; it also derives the relations $C(\\rho)=2N^2(\\rho)$ and $\\gamma(\\rho_l)=1-2N^2(\\rho)$.","pith_inferences":["Because $A$ is also defined for photonic spin-orbit systems, the spectral formula could be tested by two-qubit tomography on photon spin-OAM states without any QCD input; this is an extension the paper does not make.","If the relation $\\sum_l(|c_{+,l}|^2-|c_{-,l}|^2)=\\Delta g(x)/g(x)$ survives a derivation, then the gluon helicity PDF itself becomes a proxy for spin-orbit entanglement, and the predicted invariance under boosts could be checked against the $x$-dependence of PDF fits.","The bound $0\\le A\\le1/4$ serves as a consistency test for any reconstructed pure bipartite $2\\otimes n$ density matrix: an empirical $A>1/4$ would signal a mixed state or tomographic error, not a more entangled pure state.","A natural next step is to ask how $A$ and the single negative eigenvalue evolve under decoherence or mixing of the qubit-qudit state, since the paper's results are restricted to pure states."],"forward_implications":["For any pure qubit-qudit state, the negativity is determined by the single number $A=\\det(\\rho_l)$: $A=0$ means a product state with $N=0$, and $A=1/4$ means maximal entanglement with $N=1/2$.","In the proton spin-orbit application, $N=\\frac{1}{2}\\left(1-\\frac{(\\Delta g(x))^2}{g^2(x)}\\right)^{1/2}\\sin\\theta_H$, so a gluon-helicity measurement and a geometric angle together give an entanglement measure.","The identities $C(\\rho)=2N^2(\\rho)$ and $\\gamma(\\rho_l)=1-2N^2(\\rho)$ tie concurrence and purity to the same determinant, so one measured scalar fixes all of them.","Because $A$ is invariant under unitary transformations of the coefficient vectors, high-energy $z$-boosts do not change the negativity; a maximally entangled state at small $x$ stays maximally entangled at larger $x$.","A single negative eigenvalue means the entanglement can be seen as the minimal white noise needed to make the state separable."],"supporting_citations":[{"why":"Supplies the spin-orbit state expansion for partons and the argument that unpolarized partons sit in maximally entangled Bell-like states, used for the hadron application.","marker":"[1]"},{"why":"Establishes the positive partial transpose criterion by which a single negative eigenvalue certifies entanglement.","marker":"[2]"},{"why":"Extends the Peres criterion to general bipartite systems, justifying the partial transpose over the qudit subspace.","marker":"[3]"},{"why":"Defines entanglement negativity as the absolute sum of negative eigenvalues, the quantity computed as $\\sqrt{A}$.","marker":"[4]"},{"why":"Gives the Schmidt-decomposition formula for negativity of pure bipartite states that supports the identification with $\\sqrt{A}$.","marker":"[5]"},{"why":"Introduces concurrence for two-qubit systems, used with the determinant-trace relation to obtain $C=2N^2$.","marker":"[6]"},{"why":"Provides the closed-form concurrence formula for mixed two-qubit states, reinforcing the link used in the derivation.","marker":"[7]"},{"why":"Establishes the direct negativity-concurrence relation invoked near Eq. (19).","marker":"[8]"},{"why":"Provides the polarized-parton spin-orbit correlation setting that connects the coefficient difference to the gluon helicity PDF in Eq. (25).","marker":"[9]"}],"fun_headline_variants":["Entanglement negativity of pure qubit-qudit states equals √A","Proton spin-orbit negativity from gluon helicity","One determinant fixes qubit-qudit negativity, and proton spin-orbit","√A negativity for pure qubit-qudit states, with proton link","Spin-orbit entanglement negativity: √A and gluon helicity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a single parton's spin-orbit sector is a pure bipartite state and that the polarized-proton relation $\\sum_l(|c_{+,l}|^2-|c_{-,l}|^2)=\\Delta g(x)/g(x)$ holds without derivation; if the parton state is actually mixed or that PDF identification fails, the proton negativity formula does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement negativity of pure qubit-qudit states equals √A","Proton spin-orbit negativity from gluon helicity","One determinant fixes qubit-qudit negativity, and proton spin-orbit","√A negativity for pure qubit-qudit states, with proton link","Spin-orbit entanglement negativity: √A and gluon helicity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000774,"raw_usage":{"total_tokens":3471,"prompt_tokens":1037,"completion_tokens":2434,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":653,"completion_tokens_details":{"reasoning_tokens":2343}},"tokens_in":653,"tokens_out":2434,"duration_ms":20030,"temperature":1.0,"reasoning_tokens":2343,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:38:24.469366+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On the mathematical side, take a randomly generated pure state in $2\\otimes5$, numerically diagonalize its partially transposed density matrix, and check whether the spectrum is exactly $\\{\\pm\\sqrt{A},\\,\\frac{1}{2}(1\\pm\\sqrt{1-4A}),\\,0,0,0,0\\}$; any deviation refutes the general-$n$ claim. On the physics side, reconstruct the spin-orbit reduced density matrix of partons from measured correlations and extract $A$, then test whether the negative eigenvalue of the partial transpose equals $\\sqrt{A}$ and whether $N$ stays within $[0,1/2]$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the spin-orbit state expansion for partons and the argument that unpolarized partons sit in maximally entangled Bell-like states, used for the hadron application."},{"cited_title":"What remaines is to havec + andc − orthogonal,i.e., ⟨c+,c−⟩=0","cited_arxiv_id":null,"evidence_quote":"Establishes the positive partial transpose criterion by which a single negative eigenvalue certifies entanglement."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the closed-form concurrence formula for mixed two-qubit states, reinforcing the link used in the derivation."}],"review_version":1}