{"id":"80a4553f-4d2c-4a4c-8261-4a56954020d8","arxiv_id":"1908.04220","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For high-dimensional multipartite quantum systems, the state maximizing N-party correlations (the N-sector length) can be biseparable, so maximum correlations do not imply genuine multipartite entanglement.","lead":"This paper shows that the state with the strongest N-party quantum correlations can be a product of two entangled pairs, not a fully multipartite entangled state. It resolves a conjecture about qubits and provides new tools for analyzing multipartite quantum states.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict of ACCEPT is appropriate. The paper's central claim is not a numerical conjecture for N=4; it is an analytic identity together with an explicit optimizer. I checked the algebra of Section 5 against the purity relations (Eqs. (14)-(15)) and reproduced S4's formula; the conclusion S1=S3=0 for the maximum follows from negativity of the coefficients. The even-N qubit proof is more involved, but the key step (bounding each single-party contribution S1^(j)+2TrR[j] by 1) is correct, and the GHZ state saturates the bound, so the proof does not rely on unstated assumptions. For larger N and d the paper presents heuristic and numerical evidence, but the title's 'in general' claim is already secured by the exact N=4 case. The only substantive caveat is the choice of S_N as the quantifier of N-body correlations; the paper is explicit about this choice and even cites alternative quantifiers. This is a scope limitation, not an internal inconsistency. I would therefore leave the reader's verdict unchanged.","tokens_in":12178,"tokens_out":21460,"duration_ms":221789,"concrete_test":"Reproduce the N=4 bound for d=3 by direct numerical maximization of S4 over a sufficiently general family of pure 4-qutrit states (e.g., random states with local-unitary invariant parameters or a tensor-network ansatz with bond dimension 3): confirm the upper bound S4<=64 and that |Phi_3^+> tensor |Phi_3^+> attains it, while the GHZ state attains only 60.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The N=4 counterexample is exact and fully checked: combining the 1-purity relation (15a) with total purity gives S4 = (d^2-1)^2 - 1/2[(d^2-1)S1+S3], so S4 <= (d^2-1)^2, and the product of two Bell states attains this with S1=S3=0. The even-N qubit GHZ maximum is supported by a complete bound on the l.h.s. of Eq. (18); the appendix's maximization of S1^(j)+2TrR[j] is valid, so the qubit claim is sound. Since a single N=4 example suffices for 'in general', the title's mathematical content is established. The only caveat is that 'N-body correlations' is operationalized as the N-sector length S_N; the paper states this definition and explicitly acknowledges other correlation quantifiers in Ref. [28] and restates the result as 'viz maximum N-sector' in the conclusions. Thus the caveat is a scope clarification, not a flaw.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":12300,"tokens_out":13681,"duration_ms":114795,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Section 3, Eq. (12)"},{"comment":"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.","section":"Section 4, Eq. (18)"},{"comment":"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.","section":"Section 2, Eq. (15a)-(15b)"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"Section 6, Fig. 1"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the take: the paper earns its title. For four qudits, the state maximizing the 4-sector length is the product of two Bell states, not the GHZ state, so maximal N-party correlations do not guarantee genuine multipartite entanglement.\n\nWhat's new and good: the N=4 counterexample is exact and clean. Using the 1-purity relation and total purity, S4 <= (d^2-1)^2, with equality when S1=S3=0, achieved by |Phi_d+> tensor |Phi_d+>. That directly supports the title. The paper also proves the even-N qubit conjecture that GHZ maximizes the N-sector, which Tran et al. had left open. The N-sector projector and the PQ relation (13) are useful tools, and the sector-distribution relations may find further applications. The N=5 and N=6 analysis is explicitly asymptotic; the authors do not overclaim global optimality there, and the comparison tables are honest.\n\nSoft spots: the title says \"N-body correlations,\" but the operational definition throughout is the N-sector length in the Bloch representation. The authors state this explicitly and cite other quantifiers, so it is a scope clarification rather than a flaw. The even-N qubit proof is compressed in the main text and relies on a dense appendix; the key maximization appears valid, but a referee should check the algebra step by step. The N=5/6 claims are not proven maxima, just strong scaling evidence. These are minor issues.\n\nCitation pattern is fine: the authors build on Tran et al. and their own prior work, and they credit the relevant literature. No code or data is needed for a proof-based theory paper.\n\nVerdict: this deserves a serious referee. I would accept it, possibly with small clarifications. I would bring it to a quantum-information reading group, and I would cite the N=4 counterexample and the PQ relation in related work.","headline":"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.","tokens_in":12855,"tokens_out":6456,"would_cite":true,"duration_ms":59340,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.65.Ud","03.67.Mn"],"model":"deepseek-v4-flash","headline":"Strongest N-party correlations can come from a biseparable Bell-state tensor product.","keywords":["multipartite entanglement","Bloch representation","sector length","N-party correlations","GHZ state","Bell states","qudits","genuine multipartite entanglement"],"falsifier":"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.","tokens_in":11930,"feed_emoji":"⚛️","tokens_out":15076,"duration_ms":141684,"temperature":0.7,"pith_summary":"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.","feed_headline":"Max 4-party correlations need no genuine entanglement","feed_subtitle":"Two qudit Bell pairs beat the GHZ state on four-party correlation strength, so correlation maxima don't certify entanglement.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Established the minimum $N$-sector result and proved the GHZ maximum for odd $N$ qubits; its conjecture for even $N$ is settled here.","marker":"[6]"},{"why":"Supplies the degree-2 SL invariant and monogamy-equality framework used in the odd-$N$ proof and in the $R$-matrix argument for even $N$.","marker":"[5]"},{"why":"Earlier sector-length analysis and universal-state-inversion formalism that the $N$-sector projector builds on.","marker":"[9]"},{"why":"Introduces the generalized universal state inversions to which the $N$-sector projector belongs.","marker":"[12]"},{"why":"Provides the quantum MacWilliams-identity context; the $k$-purity relations used to constrain sector lengths are a special case.","marker":"[11]"},{"why":"Defines absolutely maximally entangled and $m$-uniform states and the Scott bound, which ground the large-$N$, large-$d$ heuristic and the boundary estimate.","marker":"[21]"}],"fun_headline_variants":["Bell states beat GHZ for max 4-party correlations","Max N-party correlations don't require genuine entanglement","Qudit Bell pairs out-correlate GHZ for N=4","High-dim states: max correlation ≠ genuine entanglement"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Bell states beat GHZ for max 4-party correlations","Max N-party correlations don't require genuine entanglement","Qudit Bell pairs out-correlate GHZ for N=4","High-dim states: max correlation ≠ genuine entanglement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000246,"raw_usage":{"total_tokens":1530,"prompt_tokens":926,"completion_tokens":604,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":542,"completion_tokens_details":{"reasoning_tokens":537}},"tokens_in":542,"tokens_out":604,"duration_ms":6200,"temperature":1.0,"reasoning_tokens":537,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:48:12.544577+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Established the minimum $N$-sector result and proved the GHZ maximum for odd $N$ qubits; its conjecture for even $N$ is settled here."},{"cited_title":"Eltschka and J","cited_arxiv_id":null,"evidence_quote":"Supplies the degree-2 SL invariant and monogamy-equality framework used in the odd-$N$ proof and in the $R$-matrix argument for even $N$."},{"cited_title":"Eltschka and J","cited_arxiv_id":null,"evidence_quote":"Earlier sector-length analysis and universal-state-inversion formalism that the $N$-sector projector builds on."},{"cited_title":"Eltschka, F","cited_arxiv_id":null,"evidence_quote":"Introduces the generalized universal state inversions to which the $N$-sector projector belongs."},{"cited_title":"Huber, C","cited_arxiv_id":null,"evidence_quote":"Provides the quantum MacWilliams-identity context; the $k$-purity relations used to constrain sector lengths are a special case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines absolutely maximally entangled and $m$-uniform states and the Scott bound, which ground the large-$N$, large-$d$ heuristic and the boundary estimate."}],"review_version":1}