Pith. sign in

REVIEW 5 minor 40 references

Maximum $N$-body correlations do not in general imply genuine multipartite entanglement

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Strongest N-party correlations can come from a biseparable Bell-state tensor product.

desk verdict A clean counterexample and a filled gap: maximal N-sector correlations don't imply genuine multipartite entanglement, and the qubit GHZ maximum now holds for all N. read the letter →

arxiv 1908.04220 v2 pith:KWAZLJGN submitted 2019-08-12 quant-ph

Christopher Eltschka , Jens Siewert This is my paper · ORCID
classification quant-ph PACS 03.65.Ud03.67.Mn
keywords multipartiteentanglementBlochrepresentationsectorlengthN-partycorrelationsGHZstateBellstatesquditsgenuine
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks whether a state with the strongest possible N-party correlations must be genuinely multipartite entangled. Using the Bloch representation, in which correlations are quantified by the N-sector length $S_N$, it answers no once the local systems have dimension $d>2$: for $N=4$ the maximum $S_4=(d^2-1)^2$ is attained by a tensor product of two Bell states, which is biseparable, not genuinely multipartite entangled. For qubits the intuition survives—the GHZ state maximizes $S_N$ for every $N$, including the previously open even-$N$ case. The paper develops new Bloch-representation tools, an $N$-sector projector and purity relations among sector lengths, and uses them to map where GHZ states dominate and where partially separable Bell-type states dominate as $d$ and $N$ grow.

What carries the argument

The load-bearing object is the $N$-sector projector $P(\rho)=\prod_{j=1}^N [\mathrm{id} - \tfrac{1}{d}\,\mathrm{Tr}_j(\cdot)\otimes \mathbb{1}_j]\rho$, a superoperator that isolates the part of the Bloch expansion acting nontrivially on all $N$ parties. For a pure state it yields the identity $d^N S_N(\Pi)=\sum_{k=0}^N (-1)^k (d^2-1)^{N-k}S_k(\Pi)$, which links the $N$-sector length to all lower sectors, and the $k$-purity relations (special cases of the quantum MacWilliams identity) constrain the reduced-state purities. Together these turn the maximization of $S_N$ into algebraic inequalities, giving the qubit GHZ proof and the qudit counterexamples.

What would settle it

Numerically maximize $S_N$ over pure states for $N=4,d=3$: the proof demands $S_4\le (d^2-1)^2=64$, attained by $|\Phi_3^+\rangle\otimes|\Phi_3^+\rangle$, so any state with $S_4>64$ would refute the central identities. For the broader large-$N$ claim, a search at, say, $N=6,d=4$ looking for a pure state whose $S_6$ exceeds both the GHZ value and $(d^2-1)^3=3375$ would reveal a third maximizing family.

Watch

Extended reading notes

Core claim

The central discovery is that maximum $N$-party correlations, as measured by sector lengths in the Bloch representation, do not force genuine multipartite entanglement in high-dimensional systems. The authors prove that for any number $N$ of qubits the GHZ state maximizes the $N$-sector length $S_N$, settling the even-$N$ conjecture. For $d$-level parties with $d>2$ they find exact small-$N$ results: a Bell state maximizes $S_2$, a three-party GHZ state maximizes $S_3$, and for $N=4$ the maximum $S_4=(d^2-1)^2$ is attained by $|\Phi_d^+\rangle\otimes|\Phi_d^+\rangle$, a biseparable state that beats the GHZ value for all $d>2$. For $N=5$ and $N=6$ they derive formulas showing that, for large $d$, tensor products of Bell states (together with a three-party GHZ state for odd $N$) approach the maximum, and numerical analysis gives an asymptotic boundary $d\simeq 0.6275\,N$ separating GHZ-dominated from Bell-dominated regions. Thus strong $N$-body correlations alone cannot certify genuinely multipartite entanglement.

Load-bearing premise

The argument is load-bearing on defining "$N$-party correlations" as the $N$-sector length in the Bloch expansion—the squared norm of the part of the state that acts nontrivially on all $N$ parties; if a different correlation quantifier is used, the state at the maximum can be different.

Editorial extensions

If this is right

  • For four qudits with $d>2$, any witness that takes saturation of the four-party correlation bound as proof of genuine multipartite entanglement will be fooled by the biseparable state $|\Phi_d^+\rangle\otimes|\Phi_d^+\rangle$.
  • The qubit case stays special: the GHZ state maximizes $S_N$ for every $N$, and for $N=4$ it ties with the Bell-pair product at $S_4=9$, so the false-positive problem first appears for $d\ge 3$.
  • For even party number and large local dimension, tensor products of Bell pairs asymptotically saturate the bound $S_N=(d^2-1)^{N/2}$; for odd $N$ the saturating family is a three-party GHZ state tensored with Bell pairs.
  • The $k$-purity relations impose new algebraic constraints on the sector distribution of every pure state, giving a general method to rule out unphysical combinations of correlation strengths.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the counterexample transfers to any correlation measure that is a monotone function of the $N$-sector length, but not automatically to operational measures such as mutual information or maximal connected correlation functions, for which the maximizer could be genuinely entangled.
  • Editorial inference: the exact $N=4$ bound implies that correlation-based entanglement witnesses in dimension $d\ge 3$ must include extra constraints (for example $S_1=S_3=0$) or they will certify biseparable states as extremal.
  • Testable extension: for $N=5,d=3$, optimizing $S_5$ under $S_1=0$ and $S_3=20$ could decide whether the five-qutrit GHZ value 172 is the true maximum or whether some other state beats it.
  • Editorial inference: the boundary $d\simeq 0.6275\,N$ suggests a systematic numerical search close to the line, where small exceptions analogous to thresholds for absolutely maximally entangled states might appear.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies the Bloch representation of N-partite quantum states of equal local dimension d, focusing on the k-sector lengths S_k, which are squared Hilbert-Schmidt norms of the k-party correlation terms. The central question is whether the state that maximizes the N-sector length S_N is necessarily genuinely multipartite entangled. The authors prove that for qubits (d=2) the GHZ state maximizes S_N for all N, settling the even-N conjecture of Tran et al. Their main new result is a counterexample: for N=4 and any d > 2, the maximum 4-sector length is (d^2-1)^2, attained by a tensor product of two Bell states, which is biseparable rather than genuinely 4-partite entangled. For N=5 and N=6 they provide asymptotic analyses and numerical evidence that partially separable states (tensor products of Bell states and possibly a 3-party GHZ state) can dominate the N-sector, but these claims are explicitly not proven to be global maxima. The paper also introduces several tools, notably the N-sector projector, the PQ relation (Eq. 13), and the k-purity relations (Eq. 14), which connect sector lengths to reduced-state purities.

Significance. If accepted, this result is significant because it establishes a clean separation between the notions of strong N-party correlations (as quantified by the N-sector length) and genuine multipartite entanglement, at least for local dimension d > 2. The N=4 counterexample is exact, elementary, and fully checkable, making the central claim rigorous. The qubit even-N proof fills a known gap in the literature and validates the N-sector length as a correlation measure in that setting. The novel technical tools (N-sector projector, purity relations, R-matrix inequalities) are likely to be useful for future work on Bloch-representation approaches to multipartite correlations. The paper is honest about the scope of its claims: the general statement is carefully qualified to the N-sector length, and the N=5,6 results are presented as asymptotic/heuristic rather than as proven maxima.

minor comments (5)
  1. [Section 3, Eq. (12)] The chain of equalities in Eq. (12) reads "S_N = d^N Tr[ΠP(Π)] = d^N Tr[ΠQ(Π)] = 0", which is confusing: the last equality applies only to d^N Tr[ΠQ(Π)] (which vanishes for pure states), not to S_N. Please rewrite to avoid the appearance that the N-sector length itself is zero.
  2. [Section 4, Eq. (18)] Equation (18) is typeset in a garbled way (the parentheses around "d^{N-2}/2" and the bracket structure are unclear). The intended formula is recoverable from Eqs. (15a) and (17), but a cleaner presentation is needed for readability.
  3. [Section 2, Eq. (15a)-(15b)] The ellipses in Eqs. (15a) and (15b) obscure the pattern of coefficients. For example, in (15a) the coefficients on the right-hand side are N, (N-1), (N-2), ..., 2, 1; spelling this out explicitly would help the reader avoid misreading the relation.
  4. [Throughout] The notation S_k is used for both the k-sector operator (as in S_k^† S_k) and its squared length (as in Eq. (3)). Although the paper notes this convention in footnote [27], using a different symbol (e.g., a fraktur or calligraphic letter) for the operator would reduce potential confusion.
  5. [Section 6, Fig. 1] The discussion of Fig. 1 refers to a color scale and a boundary line d ≈ 0.6275 N, but the figure itself is not shown in the text. Please ensure the figure is legible and that the caption explains the logarithmic color scale and the 'undecided' cases N=2,3.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the maximum-N-sector counterexample is an exact inequality, not an input disguised as a result.

full rationale

The central claim is an exact algebraic statement about the N-sector length S_N in the Bloch representation. The N=4 case suffices for 'in general': combining the total purity sum (0-purity) with the 1-purity relation (15a) gives S_4=(d^2-1)^2 - 1/2[(d^2-1)S_1+S_3], and since S_1,S_3>=0 the upper bound (d^2-1)^2 is achieved by |Φ_d^+>⊗|Φ_d^+>, which has S_1=S_3=0 and is biseparable. No parameter is fitted and no 'prediction' is manufactured: the bound is an inequality over pure-state invariants, and the saturating state is exhibited. The tool-kit (N-sector projector, Eq. (13), k-purity relations) is either derived in the paper or cited from prior work that is parameter-free and does not assume the target result; citations to the authors' earlier work (Refs. [5,9,11,12]) are used for standard identities such as universal state inversion and the MacWilliams-type purity relations, not as a substitute for the argument. The even-N qubit GHZ proof is supported by the appendix's explicit maximization of S_1^(j)+2TrR[j] over the Schmidt data, so it is not circular. The only scope point is that the title's 'N-body correlations' is operationalized as S_N; the paper openly flags this ('viz maximum N-sector' in the conclusions and the pointer in Ref. [28] to alternative quantifiers). That is a definitional caveat, not a circular reduction. Overall the derivation chain is self-contained against known benchmarks, and there is no load-bearing self-referential step.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The results are mathematical theorems; the only inputs are the Bloch representation framework, standard purity relations, and known properties of universal state inversion for qubits. No free parameters are fitted. The N-sector projector is a new mathematical construct introduced to prove the results.

assumptions (5)
  • standard math Bloch representation of density matrices and the definition of sector lengths (Eqs. 1-6)
    The entire analysis is carried out in this representation; it is standard in quantum information theory.
  • standard math For pure states, the sum of all sector lengths equals d^N (purity condition)
    Follows directly from Tr Π²=1 and is used to derive the purity relations (Eq. 14).
  • standard math The N-sector length of a convex mixture is no larger than the maximum pure-state N-sector length
    Follows from the triangle inequality for the Hilbert-Schmidt norms; allows restriction to pure states.
  • domain assumption Universal state inversion properties for qubit states, in particular ⟨φ|φ̃⟩=0 for odd numbers of qubits (Eq. A6)
    This property, cited from Refs. [5,6,10], is load-bearing in the proof of the even-N qubit GHZ maximum (Appendix, Eq. A11).
  • standard math Tran et al.'s results: product states minimize S_N and odd-N qubit GHZ states maximize S_N
    These external theorems are used as benchmarks and for the odd-N part of the qubit proof.
invented entities (1)
  • N-sector projector P (and companion Q) independent evidence
    purpose: Projects a state onto its N-party correlation sector and yields exact algebraic relations among sector lengths (Eqs. 13 and 14)
    A new mathematical construct introduced in Section 3; its properties are proven within the paper and the resulting identities are used to prove the main theorems. It provides a falsifiable handle in the sense that the derived identities can be checked on any state.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Maximum $N$-body correlations do not in general imply genuine multipartite entanglement." pith.science (2026). https://pith.science/paper/KWAZLJGN

@misc{pith2026190804220,
  author       = {Pith},
  title        = {Pith review of: Maximum $N$-body correlations do not in general imply genuine multipartite entanglement},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KWAZLJGN}},
  note         = {Machine review of arXiv:1908.04220}
}
abstract

The existence of correlations between the parts of a quantum system on the one hand, and entanglement between them on the other, are different properties. Yet, one intuitively would identify strong $N$-party correlations with $N$-party entanglement in an $N$-partite quantum state. If the local systems are qubits, this intuition is confirmed: The state with the strongest $N$-party correlations is the Greenberger-Horne-Zeilinger (GHZ) state, which does have genuine multipartite entanglement. However, for high-dimensional local systems the state with strongest $N$-party correlations may be a tensor product of Bell states, that is, partially separable. We show this by introducing several novel tools for handling the Bloch representation.

Figures

Figures reproduced from arXiv: 1908.04220 by the authors.

Figure 1
Figure 1. N-sector length difference SN (GHZN d ) − SN (BellN d ). The border between GHZ-dominated and Bell-dominated is given by a straight line d ' 0.6275 · N (see text); however, note the pronounced even-odd effect. For N = 2 and N = 3, GHZ and Bell are the same state, therefore these cases have to be counted as ‘undecided’. (a) Small scale N, d 5 10; (b) larger scale N, d 5 100. Note that the color scale is logarithmic. … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 39 canonical work pages

  1. [1]

    Fano,A Stokes-Parameter Technique for the Treatment of Polarization in Quantum Mechanics, Phys

    U. Fano,A Stokes-Parameter Technique for the Treatment of Polarization in Quantum Mechanics, Phys. Rev.93, 121 (1954)

    work page 1954

  2. [2]

    Fano,Description of States in Quantum Mechanics by Density Matrix and Operator Techniques, Rev

    U. Fano,Description of States in Quantum Mechanics by Density Matrix and Operator Techniques, Rev. Mod. Phys.29, 74 (1957)

    work page 1957

  3. [3]

    Mahler and V.A

    G. Mahler and V.A. Weberruß, Quantum Networks, 2nd Edition (Springer, Berlin, 2004)

    work page 2004

  4. [4]

    Klöckl and M

    C. Klöckl and M. Huber, Characterizing multipartite entanglement without shared reference frames, Phys. Rev. A91, 042339 (2015)

    work page 2015

  5. [5]

    Eltschka and J

    C. Eltschka and J. Siewert, Monogamy equalities for qubit entanglement from Lorentz invariance, Phys. Rev. Lett. 114, 140402 (2015)

    work page 2015

  6. [6]

    M.-C. Tran, B. Dakic, F. Arnault, W. Laskowski, and T. Paterek, Quantum entanglement from random measurements, Phys. Rev.A 94, 042302 (2016)

    work page 2016

  7. [7]

    Appel, M

    P. Appel, M. Huber, and C. Klöckl, Monogamy of correlations and entropy inequalities in the Bloch picture, J. Phys. Commun. (2020), doi:10.1088/2399-6528/ab6fb

    work page doi:10.1088/2399-6528/ab6fb 2020

  8. [8]

    Huber, O

    F. Huber, O. Gühne, and J. Siewert, Absolutely Maximally Entangled States of Seven Qubits Do Not Exist, Phys. Rev. Lett. 118, 200502 (2017)

    work page 2017

Show all 40 references
  1. [9]

    Eltschka and J

    C. Eltschka and J. Siewert,Distribution of entanglement and correlations in all finite dimensions, Quantum2, 64 (2018)

    2018

  2. [10]

    Wyderka, F

    N. Wyderka, F. Huber, and O. Gühne, Constraints on correlations in multiqubit systems, Phys. Rev. A97, 060101 (2018)

    2018

  3. [11]

    Huber, C

    F. Huber, C. Eltschka, J. Siewert, and O. Gühne, Bounds on absolutely maximally entangled states from shadow inequalities, and the quantum MacWilliams identity, J. Phys. A: Math. Theor.51, 175301 (2018)

    2018

  4. [12]

    Eltschka, F

    C. Eltschka, F. Huber, O. Gühne, and J. Siewert, Exponentially many entanglement and correlation constraints for multipartite quantum states Phys. Rev. A 98, 052317 (2018)

    2018

  5. [13]

    Cox and P.C.E

    T. Cox and P.C.E. Stamp, Partitioned density matrices and entanglement correlators, Phys. Rev. A 98, 062110 (2018). Accepted in Quantum 2020-02-03, click title to verify. Published under CC-BY 4.0. 9

    2018

  6. [14]

    Wyderka and O

    N. Wyderka and O. Gühne,Characterizing quantum states via sector lengths , e-print arXiv:1905.06928 (2019)

    2019 arXiv

  7. [15]

    Eltschka and J

    C. Eltschka and J. Siewert, Joint Schmidt-type decomposition for two bipartite pure states, Phys. Rev. A 101, 022302 (2020)

    2020

  8. [16]

    Schlienz and G

    J. Schlienz and G. Mahler, Description of entanglement, Phys. Rev. A52, 4396 (1995)

    1995

  9. [17]

    Schlienz and G

    J. Schlienz and G. Mahler, The maximal entangled three-particle state is unique , Phys. Lett. A224, 39 (1996)

    1996

  10. [18]

    Żukowski and C

    M. Żukowski and C. Brukner,Bell’s theorem for generalN-qubit states, Phys. Rev. Lett. 88, 210401 (2002)

    2002

  11. [19]

    Teodorescu-Frumosu and G

    M. Teodorescu-Frumosu and G. Jaeger, Quantum Lorentz-group invariants of n-qubit systems, Phys. Rev. A 67, 052305 (2003)

    2003

  12. [20]

    Aschauer, J

    H. Aschauer, J. Calsamiglia, M. Hein, and H.J. Briegel, Local invariants for multi-partite entangled states allowing for a simple entanglement criterion, Quantum Inf. Comput. 4, 383 (2004); journal link; arXiv.org link

    2004

  13. [21]

    A. J. Scott, Multipartite entanglement, quantum error correcting codes, and entangling power of quantum evolutions , Phys. Rev. A69, 052330 (2004)

    2004

  14. [22]

    de Vicente,Separability criteria based on the Bloch representation of density matrices, Quantum Inf

    J.I. de Vicente,Separability criteria based on the Bloch representation of density matrices, Quantum Inf. Comput. 7, 624 (2007); journal link; arXiv.org link

    2007

  15. [23]

    de Vicente, Further results on entanglement detection and quantification from the correlation matrix criterion , J

    J.I. de Vicente, Further results on entanglement detection and quantification from the correlation matrix criterion , J. Phys. A: Math. Theor.41, 065309 (2008)

    2008

  16. [24]

    Badziag, C

    P. Badziag, C. Brukner, W. Laskowski, T. Paterek, and M. Żukowski,Experimentally Friendly Geometrical Criteria for Entanglement, Phys. Rev. Lett. 100, 140403 (2008)

    2008

  17. [25]

    Laskowski, M

    W. Laskowski, M. Markiewicz, T. Paterek, and M. Żukowski, Correlation-tensor criteria for genuine multiqubit entanglement, Phys. Rev. A84, 062305 (2011)

    2011

  18. [26]

    de Vicente and M

    J.I. de Vicente and M. Huber,Multipartite entanglement detection from correlation tensors, Phys. Rev. A84, 062306 (2011)

    2011

  19. [27]

    k-sector length

    We will use the term “ k-sector length” insteadof“squaredk-sectorlength” following Ref. [6]. In the present context this does not lead to confusion

  20. [28]

    Girolami, T

    One may imagine very different correlation quantifiers, e.g., D. Girolami, T. Tufarelli, and C.E. Susa, Quantifying Genuine Multipartite Correlations and their Pattern Complexity, Phys. Rev. Lett. 119, 140505 (2017)

    2017

  21. [29]

    Kaszlikowski, A

    J. Kaszlikowski, A. Sen De, U. Sen, V. Vedral, A. Winter, Quantum Correlation Without Classical Correlations, Phys. Rev. Lett. 101, 070502 (2008)

    2008

  22. [30]

    Schwemmer, L

    C. Schwemmer, L. Knips, M.C. Tran, A. de Rosier, W. Laskowski, T. Paterek, and H. Weinfurter, Genuine Multipartite Entanglement without Multipartite Correlations, Phys. Rev. Lett.114, 180501 (2015)

    2015

  23. [31]

    M.C. Tran, M. Zuppardo, A. de Rosier, L. Knips, W. Laskowski, T. Paterek, and H. Weinfurter, Genuine N-partite entanglement without N-partite correlation functions, Phys. Rev. A95, 062331 (2017)

    2017

  24. [32]

    Klobus, W

    W. Klobus, W. Laskowski, T. Paterek, M. Wiesniak, and H. Weinfurter, Higher dimensional entanglement without correlations, Eur. Phys. J. D73, 29 (2019)

    2019

  25. [33]

    This relation corresponds to a special case of the quantum MacWilliams identity, cf. Ref. [11]

  26. [34]

    Coffman, J

    V. Coffman, J. Kundu, and W.K. Wootters, Distributed entanglement, Phys. Rev. A61, 052306 (2000)

    2000

  27. [35]

    Rungta, V

    P. Rungta, V. Buzek, C.M. Caves, M. Hillery, and G.J. Milburn, Universal state inversion and concurrence in arbitrary dimensions, Phys. Rev. A64, 042315 (2001)

    2001

  28. [36]

    Hall, Multipartite reduction criteria for separability, Phys.Rev

    W. Hall, Multipartite reduction criteria for separability, Phys.Rev. A72, 022311 (2005)

    2005

  29. [37]

    Rana, and J

    M.Lewenstein, R.Augusiak, D.Chruściński, S. Rana, and J. Samsonowicz, Sufficient separability criteria and linear maps, Phys. Rev. A93, 042335 (2016). Accepted in Quantum 2020-02-03, click title to verify. Published under CC-BY 4.0. 10

    2016

  30. [38]

    An in-depth analysis of this projection operator will be carried out in forthcoming work

  31. [39]

    Goyeneche and K

    D. Goyeneche and K. Życzkowski,Genuinely multipartite entangled states and orthogonal arrays, Phys. Rev. A90, 022316 (2014)

    2014

  32. [40]

    Goyeneche, D

    D. Goyeneche, D. Alsina, J.I. Latorre, A. Riera, and K. Życzkowski, Absolutely maximally entangled states, combinatorial designs, and multiunitary matrices , Phys. Rev. A92, 032316 (2015). Accepted in Quantum 2020-02-03, click title to verify. Published under CC-BY 4.0. 11

    2015

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.