{"id":"db0a7cff-601c-43e1-a08d-fc078142e123","arxiv_id":"1908.08582","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"In the fermionic Lipkin model, one-body entanglement entropy is approximately half the up-down mode entanglement and grows with coupling, while fermionic concurrence peaks at the phase transition and requires RPA correlations.","lead":"This paper computes three fermionic entanglement measures in the exactly solvable Lipkin model, showing that one-body entanglement entropy tracks the mean-field phase transition while a four-mode fermionic concurrence peaks near it. It also identifies which standard approximations, from mean-field to random-phase approximation, reproduce each measure.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The asserted proportionality E_+- ≈ E/2 lacks a quantitative concentration bound and is only demonstrated numerically at Ω=50, leaving the paper's central estimation claim uncontrolled at finite size.","rationale":"The reader's weakest assumption correctly identifies the unproven concentration step behind the proportionality E_+- ≈ E/2. The paper's own Eq. (25) only treats fixed-K states, while the exact superposition in Eq. (24) carries an extra distribution-entropy term; the extension to a generic definite-parity ground state is asserted without a quantitative error estimate and is checked at only one system size. This is a genuine soft spot because the one-body entropy and the up-down entropy are not equal by any general identity, and the finite-size example K=1, Ω=50 shows a non-negligible relative deviation. However, the concern is not fatal: the analytic mean-field and projected mean-field results in Sec. III B, especially Eqs. (44) and (53), give strong independent support for the asymptotic relation, and the RPA analysis provides a consistent picture for the concurrence. The numerical verification could likely settle the issue positively, so the reader's ACCEPT verdict with moderate confidence remains appropriate; no code or data is shipped, but the formulas are sufficiently explicit for a reproducibility check.","tokens_in":20263,"tokens_out":28609,"duration_ms":284536,"concrete_test":"Perform exact diagonalization of the S=Ω/2 Lipkin Hamiltonian for Ω=100, 200, and 400, at χ=1, 0.5, 0, and -1, computing E and E_+- from Eqs. (20) and (24) on a fine vx grid that resolves the parity transitions (including the χ=1 steps and the separability point ε/√χ). Report max_{vx} |E_+- - E/2|/E and, separately, the strong-coupling limit E_+- - E/2. If the normalized deviation decays at least as fast as (log Ω)/Ω and the absolute deviation stays O(1) at the strong-coupling plateau, the proportionality is confirmed; if any deviation grows like Ω in a region, the central estimation claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract's claim that the one-body entropy is essentially proportional to the up-down bipartite entanglement hinges on E_+- ≈ E/2. Eq. (24) is exact, but it contains the Shannon entropy of the coefficient distribution {C_K^2} in addition to the averaged binomial entropy. The paper passes from Stirling's formula for fixed-K states, Eq. (25), to the statement after Eq. (25) that 'a similar relation E_+- ≈ E/2 holds for large Ω in a typical definite parity GS', but no bound on the remainder is supplied. The only numerical verification is Ω=50 (Figs. 1 and 3). The finite-size correction is not always negligible: for the exact χ=1 ground state |K=1⟩ with Ω=50, E_+-=log2 50≈5.64 bits while E/2≈7.07 bits, a deviation of about 20% of E/2. Eq. (53) also shows an O(1) reduction at strong coupling for the projected mean-field state, so an additive constant is consistent; what is missing is a proof or systematic check that the deviation never becomes state-dependent or O(Ω). Without such control, the proposed estimation of the up-down resource from the one-body average ⟨S_z⟩ is not quantitatively supported beyond the single size shown.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies fermionic entanglement in the half-filled fermionic Lipkin model. Using the exact S=Ω/2 ground state, it defines the one-body entanglement entropy E (Eq. 20), the up-down mode entanglement E_+- (Eq. 24), and the fermionic concurrence C of the four-mode reduced state (Eqs. 27-31), and compares them with symmetry-restored mean-field and RPA approximations. The central claims are that E tracks the mean-field order parameter and is approximately half of E_+-, that C peaks at the parity-breaking transition, and that mean-field plus symmetry projection suffices for E and the up-down negativity while RPA-type correlations are needed for C.","tokens_in":20496,"tokens_out":11232,"duration_ms":115659,"significance":"If correct, the results give a useful dictionary between particle-based fermionic entanglement and mode entanglement in a standard exactly solvable model. The paper has clear strengths: the exact coefficient representation, the Schmidt decomposition leading to Eq. (24), the explicit projected-mean-field expressions, and parameter-free RPA concurrence formulas that agree with exact diagonalization. The numerical verification is, however, limited to Ω=50, and the key proportionality E_+- ≈ E/2 is stated without a quantitative error estimate. This is the main obstacle to full confidence in the abstract-level claim.","major_comments":[{"comment":"The central estimation claim E_+- ≈ E/2 is asserted from the Stirling expansion without controlling the remainder. Equation (24) contains the Shannon entropy of the coefficient distribution {C_K^2} in addition to the averaged binomial entropy, so passing from Eq. (25) to the statement after it that “a similar relation E_+- ≈ E/2 holds for large Ω in a typical definite parity GS” requires a concentration bound that is not given. The only numerical check is Ω=50 (Figs. 1 and 3). The example of |K=1⟩ is not pathological: for χ=1 the exact ground state just above vx=ε is |K=1⟩, for which E_+-=log2 Ω while E/2=Ω h(1/Ω)≈log2 Ω+1/ln2; at Ω=50 this gives E_+-/E≈0.40 rather than 0.5, a deviation of about 20% of E/2. Equation (53) also shows that parity projection introduces an O(1) reduction relative to Eq. (44). Please provide either a bound of the form E_+-=E/2+O(log Ω) with an explicit prefactor, or a systematic finite-size scaling over several Ω, and adjust the wording of the abstract and conclusions accordingly if the error is state-dependent.","section":"§III A 2, Eqs. (24)-(25)"}],"minor_comments":[{"comment":"The formula for C_K is hard to parse in the current typesetting; please write C_K = 2/[Ω(1+sqrt(1-(Ω-1)/(K(Ω-K))))].","section":"§III A 3, Eq. (32)"},{"comment":"There are small typos: “biparitte” after Eq. (6), “writtten” before Eq. (8), “trasposition” before Eq. (34), a missing subscript in Eq. (40), and “|Ψ(θ⟩” in Eq. (63).","section":"Throughout"},{"comment":"The inset in the top panel is very small and difficult to read; a separate panel with all χ values would improve the comparison.","section":"Fig. 4"},{"comment":"No data or code availability statement is provided; making the exact-diagonalization scripts available would improve reproducibility and allow readers to check the finite-size behavior beyond Ω=50.","section":"Reproducibility"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the technical framework is sound and the quantities are well defined, so rejection is not warranted. The main risk is overstatement of the E_+- ≈ E/2 claim in the abstract and conclusions without finite-size control. I would ask for a quantitative remainder estimate or additional numerical sizes, and for a softening of the abstract wording until that control is in place."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is a solid, careful analysis of fermionic entanglement measures in the exactly solvable Lipkin model. The genuinely new content is the up-down partition of the fermionic modes—a bipartition that only has physical meaning in the fermionic realization—and the demonstration that the fermionic concurrence of the two-pair reduced state is sharply peaked at the transition and requires RPA-type correlations. The one-body entropy tracking the mean-field order parameter is less surprising, but it is verified cleanly. I think the central claims hold up.\n\nThe derivations are standard: exact diagonalization in the S=Ω/2 subspace, mean-field with parity projection, and Holstein-Primakoff bosonization. The formulas are explicit and the figures support the qualitative results. There is no fitting and no circularity; the measures come from the authors' earlier papers, but they are imported as established definitions, which is appropriate. The paper would be reproducible from the text alone, though they do not supply code or data, which is a minor omission.\n\nThe soft spot is the 'essentially proportional' relation E_+- ≈ E/2. It follows from Stirling and is verified numerically at Ω=50, but no quantitative bound on the remainder is supplied. For the edge case |K=1⟩ at Ω=50, the correction is about 20% of E/2, so at small sizes the proposed estimation of the up-down resource from ⟨S_z⟩ is not quantitatively controlled. In my reading this is minor: the correction is O(1) bits, so the relative error vanishes as Ω grows, and Eq. (25) already flags the O(log Ω) term. Still, a referee could reasonably ask for a second size or a sentence on the constant offset.\n\nThe RPA formulas are heuristic but standard, and they reproduce the exact curves well. The citation pattern is appropriate, including the self-citations to the measures, which is justified here.\n\nThis paper deserves a serious referee. I would accept it with minor revision, and I'd suggest the authors acknowledge the finite-size constant in the proportionality.\n\nReading group: maybe, for people interested in fermionic entanglement or exactly solvable benchmarks.\n\nRegards,","headline":"Solid fermionic-entanglement analysis of the Lipkin model; the up-down partition and RPA benchmark are new and the main claims hold, with a minor finite-size gap in the E_+- ≈ E/2 estimate.","tokens_in":21023,"tokens_out":6805,"would_cite":true,"duration_ms":61265,"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":"In the fermionic Lipkin model, the one-body entanglement entropy mirrors the mean-field order parameter and is essentially half the up-down bipartite entanglement; the pair concurrence peaks at the phase transition.","keywords":["fermionic entanglement","one-body entanglement entropy","Lipkin model","fermionic concurrence","up-down mode entanglement","random-phase approximation","quantum phase transition","fermionic separability"],"falsifier":"Diagonalize the exact ground state of the fermionic Lipkin model for $\\Omega=100$, $200$, and $400$ at fixed anisotropies $\\chi=0.5$ and $\\chi=-1$, and compute $E_{+-}$ and $E/2$; the proportionality claim predicts $E_{+-}/E\\to 1/2$ with relative corrections $O(\\log_2\\Omega)/\\Omega$. Separately, comparing the exact $\\Omega C$ with the RPA formulas (59) and (62) at the same sizes tests whether the concurrence requires RPA-type correlations.","tokens_in":20046,"feed_emoji":"⚛️","tokens_out":10273,"duration_ms":83295,"temperature":0.7,"pith_summary":"This paper examines how genuine fermionic entanglement behaves in the ground state of the fermionic Lipkin model, a fully connected system of fermions in two energy levels. It establishes that the one-body entanglement entropy, which measures the minimum distance from the state to a fermionic Gaussian state, grows with the mean-field order parameter, saturates for strong coupling, and is essentially half the bipartite entanglement between the upper and lower single-particle modes. The paper also shows that the fermionic concurrence of a reduced state of two up-down pairs is sharply peaked at the mean-field phase transition and depends strongly on the coupling anisotropy. A final result is that symmetry-restored mean field reproduces the entropic measures and the up-down negativity, but only an RPA-type approximation captures the concurrence. These findings matter because they connect a basis-independent fermionic entanglement measure to a physically meaningful bipartite entanglement and identify which standard approximations can predict each quantity.","feed_headline":"Fermion entanglement mirrors the mean-field order parameter","feed_subtitle":"In the fermionic Lipkin model, one-body entropy is half the up-down entanglement; pair concurrence peaks at the transition.","key_machinery":"The central objects are the one-body entanglement entropy $E=\\operatorname{Tr} h(\\rho^{\\mathrm{sp}})$, equal to the minimum over single-particle bases of the sum of one-mode entropies and to the minimum relative entropy to a fermionic Gaussian state, and the fermionic concurrence $C(\\rho_A)=\\max[2\\lambda_{\\max}-\\operatorname{Tr}R(\\rho_A),0]$ for a four-mode reduced state. Because the ground state has definite $S_z$-parity and translational invariance, $\\rho^{\\mathrm{sp}}$ consists of $\\Omega$ identical two-by-two blocks, so $E$ is fixed solely by the average upper-level occupation $\\langle S_z\\rangle/\\Omega$. The proportionality $E_{+-}\\simeq E/2$ is carried by the binomial identity $\\log_2\\binom{\\Omega}{K}\\simeq -\\Omega[k\\log_2 k+(1-k)\\log_2(1-k)]$ from Stirling's approximation. The approximate calculations use a symmetry-projected mean-field ansatz and a Holstein-Primakoff bosonization of the collective spin operators (the RPA), which yields asymptotic formulas for the concurrence in the normal and parity-broken phases.","core_discovery":"On the paper's own terms, the central discovery is that in the exact ground state of the fermionic Lipkin model the one-body entanglement entropy $E$, defined by $E=\\operatorname{Tr} h(\\rho^{\\mathrm{sp}})$ and interpreted as the minimum relative entropy to a fermionic Gaussian state, is essentially half the up-down mode entanglement entropy, $E_{+-}\\simeq E/2$ for large $\\Omega$. This follows because each state $|K\\rangle$ has a Schmidt decomposition over $\\binom{\\Omega}{K}$ orthogonal Slater determinants, so $E_{+-}^K=\\log_2\\binom{\\Omega}{K}\\simeq E_K/2+O(\\log_2\\Omega)$. For the reduced state of two pairs of single-particle modes, the fermionic concurrence $C$ is evaluated exactly and is shown to be peaked at $v_x\\simeq\\varepsilon$, to change from antiparallel to parallel at the factorizing point $v_x=\\varepsilon/\\sqrt{\\chi}$ for $0<\\chi<1$, and to vanish there for large $\\Omega$. The paper further claims that a mean-field description with basic $S_z$-parity restoration reproduces $E$, $E_{+-}$, and the up-down negativity, while the concurrence requires at least RPA-type collective-boson correlations for an accurate analytic description.","pith_inferences":["Editorial inference: the $E_{+-}\\simeq E/2$ relation should be tested in other fully connected fermionic models, where the same binomial-entropy argument would predict proportionality whenever the ground-state coefficients are concentrated around their mean.","Editorial inference: the contrast between quantities captured by projected mean field and the concurrence needing RPA suggests that one-body and two-mode reduced-state measures may be insensitive to residual correlations, while four-mode measures are not; this could guide approximation choices in other interacting fermion systems.","Editorial inference: a nonzero one-body entanglement entropy should not be read as evidence against fermionic separability of a degenerate ground state, since the paper finds a vanishing concurrence at a point where the one-body entropy stays finite."],"forward_implications":["The up-down entanglement $E_{+-}$, a resource meaningful only in the fermionic realization, can be estimated from the one-body average $\\langle S_z\\rangle$ through $E_{+-}\\simeq E/2$ without computing the full reduced state.","Symmetry-restored mean field provides analytic large-$\\Omega$ formulas for the one-body entropy and the up-down negativity, so those quantities can be predicted without exact diagonalization.","The two-pair fermionic concurrence marks the phase transition and the factorizing point: it is sharply peaked at $v_x\\simeq\\varepsilon$ and vanishes at $v_x=\\varepsilon/\\sqrt{\\chi}$ for $0<\\chi<1$.","At the separability point, the exact degenerate ground state can be a Slater determinant, yet the definite-parity side limits keep a nonzero one-body entropy; only the concurrence reveals the separability for large $\\Omega$."],"supporting_citations":[{"why":"Defines the one-body entanglement entropy and the fermionic concurrence used throughout the paper.","marker":"[32]"},{"why":"Establishes the interpretation of the one-body entropy as the minimum relative entropy to a fermionic Gaussian state.","marker":"[35]"},{"why":"Provides the fermionic Schmidt decomposition and two-fermion concurrence underlying the entanglement measures.","marker":"[18]"},{"why":"Introduces the original fermionic Lipkin model and its mapping to a spin system.","marker":"[41–43]"},{"why":"Supplies the RPA and Holstein-Primakoff bosonization used for the concurrence approximations.","marker":"[44]"},{"why":"Relates the concurrence to the spin-pair concurrence of the equivalent spin model.","marker":"[51]"},{"why":"Gives the spin-pair concurrence and RPA treatment, including the maximum concurrence bound used here.","marker":"[55]"},{"why":"Identifies the factorizing point and the $S_z$-parity projected mean-field states used for the separability analysis.","marker":"[66]"}],"fun_headline_variants":["Fermion entropy is half the up-down entanglement","Concurrence peaks at Lipkin phase transition","Mean-field+parity matches entropy, RPA needed for concurrence","One-body entropy mirrors order-parameter","RPA correlations needed for fermion concurrence prediction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the squared coefficients $C_K^2$ in the exact ground state are concentrated closely enough around the mean occupation $\\langle K\\rangle$ that the binomial entropy can be replaced by its value at the mean occupation, with $O(\\log_2\\Omega)$ corrections neglected; the paper invokes this for large $\\Omega$ but verifies the proportionality numerically only at $\\Omega=50$ and selected anisotropies.","fun_headline_variants_meta":{"raw":{"variants":["Fermion entropy is half the up-down entanglement","Concurrence peaks at Lipkin phase transition","Mean-field+parity matches entropy, RPA needed for concurrence","One-body entropy mirrors order-parameter","RPA correlations needed for fermion concurrence prediction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001509,"raw_usage":{"total_tokens":6064,"prompt_tokens":974,"completion_tokens":5090,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":590,"completion_tokens_details":{"reasoning_tokens":5014}},"tokens_in":590,"tokens_out":5090,"duration_ms":40129,"temperature":1.0,"reasoning_tokens":5014,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:35:53.811320+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Diagonalize the exact ground state of the fermionic Lipkin model for $\\Omega=100$, $200$, and $400$ at fixed anisotropies $\\chi=0.5$ and $\\chi=-1$, and compute $E_{+-}$ and $E/2$; the proportionality claim predicts $E_{+-}/E\\to 1/2$ with relative corrections $O(\\log_2\\Omega)/\\Omega$. Separately, comparing the exact $\\Omega C$ with the RPA formulas (59) and (62) at the same sizes tests whether the concurrence requires RPA-type correlations.","supporting_citations":[{"cited_title":"Shi, Phys","cited_arxiv_id":null,"evidence_quote":"Defines the one-body entanglement entropy and the fermionic concurrence used throughout the paper."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the interpretation of the one-body entropy as the minimum relative entropy to a fermionic Gaussian state."},{"cited_title":"Verstraete, J.I","cited_arxiv_id":null,"evidence_quote":"Provides the fermionic Schmidt decomposition and two-fermion concurrence underlying the entanglement measures."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the RPA and Holstein-Primakoff bosonization used for the concurrence approximations."},{"cited_title":"Ring and P","cited_arxiv_id":null,"evidence_quote":"Relates the concurrence to the spin-pair concurrence of the equivalent spin model."},{"cited_title":"Casta˜ nos, R","cited_arxiv_id":null,"evidence_quote":"Gives the spin-pair concurrence and RPA treatment, including the maximum concurrence bound used here."},{"cited_title":"Wilms, J","cited_arxiv_id":null,"evidence_quote":"Identifies the factorizing point and the $S_z$-parity projected mean-field states used for the separability analysis."}],"review_version":1}