REVIEW 2 major objections 4 minor 22 references
In the large-momentum-difference limit, the two-interval entanglement of a multi-quasiparticle state decomposes into a sum of independent single-particle contributions, for reflected entropy, mutual information, and logarithmic negativity a
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-03 12:13 UTC pith:SRMRAFLQ
load-bearing objection The algorithm is sound and the additivity is plausible, but the stated condition (1.11) is false on a circle and must be corrected before the paper can be trusted. the 2 major comments →
Additivity of disjoint interval entanglement in quasiparticle excited states
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For free bosonic and fermionic chains in the scaling limit, the paper finds the additivity property X_{K1∪K2} = X_{K1} + X_{K2} for X = reflected entropy, mutual information, and logarithmic negativity, whenever every cross momentum difference between the two sets K1 and K2 is taken to infinity. Single-quasiparticle results coincide with the classical-particle formulas, so the classical limit emerges as a special case of the additivity. At finite momentum differences, the bosonic and fermionic results depend on the separation between the two intervals, but in the large-momentum-difference limit all statistics converge to the same independent, classical-like contributions.
What carries the argument
The central mechanism is an algorithm that converts a reduced density matrix expressed in a non-orthonormal basis—the natural basis obtained by applying subsystem creation operators to the ground state—into an orthonormal basis by diagonalizing the inner-product matrices Q_A and Q_B and applying the transformation S = sqrt(Λ) R† P R sqrt(Λ). This puts the three mixed-state measures within reach of standard matrix operations: reflected entropy through the canonical purification of sqrt(rho), mutual information through partial traces, and logarithmic negativity through the partial transpose. The additivity itself is carried by the overlap amplitudes between quasiparticles of different momenta;
Load-bearing premise
The additivity rests on the assumption that, when momentum differences grow, the reduced density matrix of the two intervals separates into independent per-quasiparticle factors; the paper checks this numerically at finite sizes up to 256 sites but does not prove the factorization.
What would settle it
Take a free bosonic or fermionic ring with, say, L = 1024 sites, fix the interval ratios x1 = 1/4, x2 = 1/4, y = 0, and compare each measure X for the state with momenta 1 and L/2 against X for momentum 1 plus X for momentum L/2. If the difference does not tend to zero as L grows with the momentum difference scaling like L, the additivity fails; a non-vanishing residual at any fixed ratios would refute the claim.
If this is right
- For states with many quasiparticles, the three entanglement measures can be built by summing single-quasiparticle values, avoiding the full multi-particle density-matrix computation.
- The additivity makes bosonic and fermionic statistics irrelevant for these mixed-state measures at large momentum differences, with the classical-particle result recovered in the single-quasiparticle case.
- It extends the known independent-contributions picture of single-interval entanglement entropy to two intervals and to mixed-state measures, giving a concrete decoupling mechanism beyond the ground state.
- The explicit single-particle classical formulas, including a new reflected-entropy expression, provide baselines for numerical or experimental probes of such excited states.
- The non-orthonormal-basis algorithm makes these measures computable in any free theory where excited states generate such bases, not just the chains studied here.
Where Pith is reading between the lines
- A natural next test would be to check whether the same additivity holds for higher-order generalizations of reflected entropy and for other additive entanglement measures; if it fails there, the mechanism is specific to the three quantities studied.
- The factorization that underlies additivity suggests that, in the large-momentum-difference limit, the two-interval reduced state becomes a tensor product of independent single-quasiparticle contributions; proving this directly would turn the numerical observation into a theorem.
- The separation dependence seen at finite momentum differences could serve as a diagnostic for how close a given state is to the additive regime, and it may be worth probing in weakly interacting chains or after quantum quenches.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an algorithm for computing three mixed-state entanglement measures—reflected entropy SR, mutual information I, and logarithmic negativity EN—for a bipartite density matrix expressed in a non-orthonormal basis, and applies it to two disjoint intervals in quasiparticle excited states of free bosonic and fermionic chains on a circle, as well as to a 'classical particle' model. The central claim is an additivity property: when two sets of quasiparticle momenta are far apart (|k1−k2|→∞), the double-interval entanglement measure of the combined state satisfies X_{K1∪K2}=X_{K1}+X_{K2}. The authors report numerical evidence (L up to 256) for this additivity and note that the classical limit emerges naturally as a special case.
Significance. If the additivity holds under the correct conditions, it would provide a simple decomposition rule for mixed-state entanglement in excited many-body systems and unify bosonic, fermionic, and classical statistics. The non-orthonormal basis algorithm in Sec. 2 is correct and genuinely useful: the basis transformation that maps P to S is consistent with the Gram-matrix diagonalization, and the subsequent computations of SR, I, and EN follow from standard definitions. The numerical exploration covers three measures and three statistics, and the observed additivity pattern is plausible and potentially important. However, the main claim is misstated because the momentum-difference condition ignores the periodicity of the circle, and the exactness of the limit is not established by proof or by a controlled scaling analysis.
major comments (2)
- [Eq. (1.11) / (3.22)] The additivity condition is stated as |k1−k2|→∞ for all k1∈K1, k2∈K2. On a circle, the momentum index is periodic, and the overlap functions α_{A,k}, α_{B,k} in (3.16)–(3.17) are L-periodic. Consequently |k1−k2|→∞ does not force α_{A,k1−k2}→0. For example, k1=1, k2=L−2 satisfies |k1−k2|=L−3→∞, but k1−k2≡−3 (mod L) and, using the explicit formula, α_{A,−3}→x1 e^{3π i x1} as L→∞, which is O(1). The reduced density matrix retains O(1) cross-couplings, so the factorization underlying (1.12), (3.23) and (3.31) fails. The correct condition is the circular distance d(k1,k2)=min(|k1−k2|, L−|k1−k2|)→∞; the numerical tests in Figs. 4 and 6 satisfy this stronger condition. The claim as written is false and must be restricted to non-wrapping momentum differences.
- [Secs. 3.2–3.3, Eqs. (3.23)/(3.31)] The additivity property is presented as a result, but the only support is finite-L numerical data (L≤256) for a few momentum choices, with no error bars or convergence analysis. The abstract and conclusion call the decomposition 'exact'. To justify exactness in the simultaneous limits L→∞ and d→∞, the authors should either provide an analytical argument (e.g., using the permanent/determinant formulas (3.15) and (3.29) to show that the RDM factorizes when the circular distances diverge) or explicitly characterize the additivity as a conjecture supported by numerics. As written, the central claim is not established.
minor comments (4)
- [Sec. 3.3, first sentence] Typo: 'The calculations proceed similarly to those for fermionic quasiparticles in section 3.2' should read 'bosonic quasiparticles'.
- [Fig. 2 and surrounding text] The notation '|k2>' in the caption and panel labels should be '|k^2>' to match the text's |k^r> notation; as typeset it is easily confused with a momentum label.
- [Eq. (1.10)] The state notation |K>=|∏ k_i^{r_i}> is not defined. Please clarify that r_i are occupation multiplicities (with r_i=0,1 for fermions) and explain how the union K1∪K2 handles multiplicities.
- [Sec. 4, last paragraph] The sentence 'In this work, we have provided examples of states where monotonicity is satisfied' is not supported: the paper only checks the inequality SR≥I in Fig. 2, not monotonicity under partial trace. Please either provide such a check or rephrase the statement.
Circularity Check
No significant circularity: the additivity is a numerically verified consequence of the density-matrix computation, not a fitted or self-referential input; self-citations are not load-bearing.
full rationale
The additivity claims (1.12), (3.23), and (3.31) are obtained by applying the non-orthonormal-basis algorithm of Section 2 directly to the reduced density matrix built from the correlation-matrix entries α_{A,k}, α_{B,k} in (3.15)–(3.18). No parameter is fitted to the target X_{K1∪K2}; the comparisons in Figs. 4 and 6 check the full-state computation against separately computed single-set quantities, which is a consistency test rather than a construction of the answer. The use of refs. [15–17] supplies the standard subsystem-mode construction and the single-interval Rényi-entropy framework; it does not itself contain the double-interval reflected-entropy/mutual-information/log-negativity additivity, so the self-citations are not load-bearing for the new claim. The classical additivity (3.7) is an expected property of independent-particle product states, but the paper's substantive result is that bosonic and fermionic RDMs decouple in the large-momentum-difference regime; this is demonstrated by numerical computation, not assumed. The reviewer's wrap-around concern—that |k1−k2|→∞ does not imply α_{A,k1−k2}→0 because of L-periodicity—is a correctness/quantifier issue in the stated condition (1.11), not circularity; it should be addressed by using circular distance, but it does not make the derivation equivalent to its inputs.
Axiom & Free-Parameter Ledger
axioms (4)
- standard math The three entanglement measures S_R, I, E_N are defined as in Eqs. (1.2)–(1.5) and satisfy the standard properties (e.g., S_R ≥ I).
- domain assumption The excited states are Fock states of non-interacting quasiparticles on a chain of length L, with the ground state annihilated by all local and global annihilation operators.
- standard math The non-orthonormal basis transformation S = sqrt(Λ) R† P R sqrt(Λ) correctly converts the density matrix to an orthonormal basis.
- ad hoc to paper The large momentum difference limit and the thermodynamic limit L→∞ commute, and finite-L results converge fast enough to justify the 'exact' additivity in the limit.
read the original abstract
We investigate mixed-state entanglement measures, namely reflected entropy, mutual information and logarithmic negativity, for two disjoint intervals in one-dimensional systems excited by a finite number of quasiparticles. While whole system is in a pure state, the two disjoint intervals are in a generically mixed state. To address the problem that natural subsystem bases are generically non-orthonormal in such excited states, we use a general and efficient algorithm that computes these measures directly from the density matrix expressed in an arbitrary non-orthonormal basis. Applying this method to classical, bosonic, and fermionic quasiparticle excitations on a circle, we discover a universal additivity property: in the limit of large momentum differences, the mixed-state entanglement of a multi-quasiparticle state decomposes exactly into the sum of independent contributions. This additivity unifies the entanglement behavior across classical and quantum statistics, with the classical result emerging naturally as a special case. Our findings establish a robust computational framework for mixed-state entanglement in excited many-body systems and reveal a generic decoupling mechanism that governs entanglement distribution beyond the ground state.
Figures
Reference graph
Works this paper leans on
-
[1]
M. B. Plenio and S. S. Virmani,An Introduction to Entanglement Theory, Quant. Inf. Comput. 7, 001–051 (2007), [arXiv:quant-ph/0504163]
Pith/arXiv arXiv 2007
-
[2]
C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin and W. K. Wootters, Purification of noisy entanglement and faithful teleportation via noisy channels, Phys. Rev. Lett. 76, 722–725 (1996), [arXiv:quant-ph/9511027]
Pith/arXiv arXiv 1996
-
[3]
S. Popescu and D. Rohrlich,On the measure of entanglement for pure states, Phys. Rev. A56, R3319 (1997), [arXiv:quant-ph/9610044]
Pith/arXiv arXiv 1997
-
[4]
S. Dutta and T. Faulkner,A canonical purification for the entanglement wedge cross-section, JHEP03(2021) 178, [arXiv:1905.00577]
Pith/arXiv arXiv 2021
-
[5]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UK, 10th anniversary ed., 2010, 10.1017/CBO9780511976667
-
[6]
G. Vidal and R. Werner,Computable measure of entanglement, Phys. Rev. A65, 032314 (2002), [arXiv:quant-ph/0102117]
Pith/arXiv arXiv 2002
-
[7]
M. B. Plenio,Logarithmic Negativity: A Full Entanglement Monotone That is not Convex, Phys. Rev. Lett.95, 090503 (2005), [arXiv:quant-ph/0505071]
Pith/arXiv arXiv 2005
-
[8]
Pizorn,Universality in entanglement of quasiparticle excitations,arXiv:1202.3336
I. Pizorn,Universality in entanglement of quasiparticle excitations,arXiv:1202.3336
-
[9]
Berkovits,Two-particle excited states entanglement entropy in a one-dimensional ring, Phys
R. Berkovits,Two-particle excited states entanglement entropy in a one-dimensional ring, Phys. Rev. B87, 075141 (2013), [arXiv:1302.4031]
Pith/arXiv arXiv 2013
-
[10]
J. Mölter, T. Barthel, U. Schollwöck and V. Alba,Bound states and entanglement in the excited states of quantum spin chains, J. Stat. Mech. (2014) 10029, [arXiv:1407.0066]
Pith/arXiv arXiv 2014
-
[11]
O. A. Castro-Alvaredo, C. De Fazio, B. Doyon and I. M. Szécsényi,Entanglement Content of Quasiparticle Excitations, Phys. Rev. Lett.121, 170602 (2018), [arXiv:1805.04948]
Pith/arXiv arXiv 2018
-
[12]
O. A. Castro-Alvaredo, C. De Fazio, B. Doyon and I. M. Szécsényi,Entanglement content of quantum particle excitations. Part I. Free field theory, JHEP10(2018) 039, [arXiv:1806.03247]
Pith/arXiv arXiv 2018
-
[13]
O. A. Castro-Alvaredo, C. De Fazio, B. Doyon and I. M. Szécsényi,Entanglement content of quantum particle excitations. Part II. Disconnected regions and logarithmic negativity, JHEP11 (2019) 058, [arXiv:1904.01035]
Pith/arXiv arXiv 2019
-
[14]
O. A. Castro-Alvaredo, C. De Fazio, B. Doyon and I. M. Szécsényi,Entanglement Content of Quantum Particle Excitations III. Graph Partition Functions, J. Math. Phys.60, 082301 (2019), [arXiv:1904.02615]. 13
Pith/arXiv arXiv 2019
-
[15]
J. Zhang and M. A. Rajabpour,Universal Rényi entanglement entropy of quasiparticle excitations, EPL135, 60001 (2021), [arXiv:2010.13973]
Pith/arXiv arXiv 2021
-
[16]
J. Zhang and M. A. Rajabpour,Corrections to universal Rényi entropy in quasiparticle excited states of quantum chains, J. Stat. Mech. (2021) 093101, [arXiv:2010.16348]
Pith/arXiv arXiv 2021
-
[17]
J. Zhang and M. A. Rajabpour,Entanglement of magnon excitations in spin chains, JHEP02 (2022) 072, [arXiv:2109.12826]
Pith/arXiv arXiv 2022
-
[18]
P. Hayden, O. Parrikar and J. Sorce,The Markov gap for geometric reflected entropy, JHEP10 (2021) 047, [arXiv:2107.00009]
Pith/arXiv arXiv 2021
-
[19]
P. Bueno and H. Casini,Reflected entropy, symmetries and free fermions, JHEP05(2020) 103, [arXiv:2003.09546]
Pith/arXiv arXiv 2020
-
[20]
P. Bueno and H. Casini,Reflected entropy for free scalars, JHEP11(2020) 148, [arXiv:2008.11373]
Pith/arXiv arXiv 2020
-
[21]
P. Hayden, M. Lemm and J. Sorce,Reflected entropy: Not a correlation measure, Phys. Rev. A 107, L050401 (2023), [arXiv:2302.10208]
Pith/arXiv arXiv 2023
-
[22]
C. Berthiere, B. Chen and H. Chen,Reflected entropy and Markov gap in Lifshitz theories, JHEP 09(2023) 160, [arXiv:2307.12247]. 14
Pith/arXiv arXiv 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.