{"id":"18f1e473-ce2f-44ee-9b8e-4ac96d2db2aa","arxiv_id":"2504.16589","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A partition-number-based prescription constructs genuine multi-entropy with p(q)-p(q-1)-1 free parameters for any q, and AdS3 computations give nonzero O(1/G_N) values for q=3,4,5.","lead":"This paper gives a recipe for building genuine multi-entropy measures that detect entanglement shared by all q parts of a quantum system, for arbitrary q. It also computes these measures in toy holographic spacetimes and finds they are generally nonzero, supporting the idea that many-party entanglement matters for gravity duals.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General-q free-parameter count N(q) in Eq. (3.64) assumes the p(q−1)−1 vanishing constraints are linearly independent; for q≥6 this is asserted without proof.","rationale":"The reader's weakest assumption was the holographic multiway-cut proposal, which is explicitly flagged in footnote 10 and affects the holographic interpretation. My concern is different and arguably more central to the paper's stated goal: the general-q prescription rests on an unproven rank-maximality claim. The reader did note in the rationale that 'general-q independence of constraints is asserted rather than proven,' so there is partial agreement, but that concern was not made the headline. Since the explicit q=3,4,5 constructions and the holographic computations using them are not invalidated by this gap, the paper should remain CONDITIONAL pending either a proof of constraint independence for general q or a restriction of the claims to verified q. My read does not change the reader's verdict, hence UNCHANGED; the concrete test would pin down whether the general formula survives the first unverified case.","tokens_in":42822,"tokens_out":17631,"duration_ms":166991,"concrete_test":"Perform the q=6 case symbolically: enumerate the p(6)=11 partitions, write the generic GM^(6)_n linear combination with the 9 undetermined coefficients, impose vanishing on a generic factorized state |ψ5⟩_{A1..A5}⊗|ψ1⟩_{A6} using the factorization identities of the type in Eqs. (3.42)–(3.48), and compute the rank of the resulting constraint matrix. If the rank is not p(5)−1=6, Eq. (3.64) fails for q=6; if it is 6, the first unverified case confirms the count. The same computation can also check that the six constraints correspond to the six nontrivial partitions of 5 and that the resulting three free parameters yield four independent diagnostics as claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main combinatorial claim—that GM^(q) contains N(q)=p(q)−p(q−1)−1 free parameters and yields N(q)+1 independent diagnostics—rests on the assertion in Sec. 3.5.1–3.5.2 that the constraints imposed by requiring GM^(q) to vanish on states |ψ_{q−1}⟩⊗|ψ_1⟩ number exactly p(q−1)−1 and are linearly independent. The authors verify this only for q=3,4,5 by explicit solution; for general q they write 'in the same way ... easily and straightforwardly constructed' with no proof that the constraint matrix has maximal rank. If two constraints are linearly dependent, the parameter count changes; if additional independent relations exist, the N(q)+1 diagnostics count in Eq. (3.68) is wrong. This is an omitted proof, not a matter of convention. The q=4,5 holographic results use the explicit, verified forms, so this gap does not by itself invalidate those computations, but it directly undermines the advertised systematic construction 'for any q' and the abstract's N(q) formula.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper generalizes the previous construction of genuine multi-entropy GM(q)_n (arXiv:2502.07995) to arbitrary q by writing it as a symmetric linear combination of Rényi multi-entropies S^(a)_n, with coefficients fixed by requiring vanishing on states that factorize into fewer than q parties. The central technical claims are: (i) the number of free parameters in GM(q)_n is N(q) = p(q) − p(q−1) − 1, where p is the integer partition function; (ii) these free parameters yield N(q)+1 independent diagnostics of genuine q-partite entanglement; (iii) for holographic states in AdS3 vacuum, GM(q) = O(1/G_N) for q = 3,4,5, computed analytically and numerically using the multiway-cut proposal. The paper also derives a new geometric lower bound in Appendix A and argues for UV-finiteness of GM(q) based on explicit cancellations for q = 3,4,5.","tokens_in":43029,"tokens_out":3991,"duration_ms":40834,"significance":"If the general-q prescription is correct, this provides a systematic, partition-number-based framework for constructing genuine multipartite entanglement measures, unifying known quantities (e.g., tripartite information I_3) and generating new diagnostics for arbitrary q. The holographic results, conditional on the multiway-cut/analytic-continuation proposal, give quantitative evidence that genuine multipartite entanglement is ubiquitous in holographic CFTs, and the geometric inequality in Appendix A is a rigorous and new AdS3 result. Strengths of the paper include the explicit and self-consistent constraint algebra worked out for q = 3,4,5, exact analytic expressions for holographic GM(4) and GM(5) in symmetric configurations, a clear geometric proof of the lower bound, and detailed appendices with explicit computations. The main limitations are the unproven linear-independence statement for the constraints at general q and the acknowledged but unproven holographic dual assumption; both are explicitly flagged in the text but are load-bearing for the advertised claims.","major_comments":[{"comment":"The general-q parameter count N(q) = p(q)−p(q−1)−1 and the accompanying claim of N(q)+1 independent diagnostics rest on the assertion that the p(q−1)−1 constraints (imposed by requiring GM(q)_n to vanish on |ψ_{q−1}>⊗|ψ_1>) are linearly independent for every q. The text says only that the constraints are 'easily and straightforwardly constructed' (Sec. 3.5.1) and that the diagnostics are independent 'because we impose the independent p(q−1)−1 constraints' (Sec. 3.5.2). Explicit verification is given only for q = 3,4,5. If two constraints are linearly dependent, the number of free parameters changes; if additional hidden relations exist, the diagnostic count in Eq. (3.68) is wrong. This is an omitted proof of a load-bearing claim for the 'for any q' construction advertised in the abstract. Please provide a proof (e.g., a triangular structure of the constraint matrix) or explicitly restrict the systematic claim to the verified cases q ≤ 5.","section":"Sec. 3.5.1 and Sec. 3.5.2"},{"comment":"The holographic central claim, GM(q) = O(1/G_N) for holographic states (Eq. (4.3)), relies on the proposed identification of holographic multi-entropy with the area of the minimal p-way cut after analytic continuation n→1. Footnote 10 explicitly states that this is a proposal, that there are known counterexamples for the Rényi dual at n ≥ 3 in AdS/CFT, and that validity is argued only via holographic tensor networks and fixed-area states. The abstract and Sec. 5 present the O(1/G_N) results as established, without prominently carrying this caveat. Since the conclusion that genuine multipartite entanglement is ubiquitous in holography is directly conditional on this unproven assumption, the text should state the conditionality in the abstract and in the statement of (4.3), or provide additional evidence for the n→1 continuation for generic holographic states.","section":"Sec. 4 and footnote 10"},{"comment":"The UV-finiteness of GM(q) is explicitly demonstrated only for q = 3,4,5, with the text noting 'we currently do not have a proof for generic q' and that it is 'reasonable to believe' that it holds for all q. Nevertheless, Sec. 5 uses this UV-finiteness to conclude that divergent entanglement in QFT ground states is 'always bipartite in nature' via the decomposition (5.3). As written, this inference goes beyond the established cases. Either supply a general-q proof using the constraint structure or recast the bipartiteness statement as a conjecture, to avoid presenting an unproven extrapolation as a conclusion.","section":"Appendix D and Sec. 5"}],"minor_comments":[{"comment":"The phrase 'we do except the quantity defined in (4.18) to be non-zero' should read 'we do expect'.","section":"Sec. 4.3"},{"comment":"The word 'absense' should be 'absence'.","section":"Footnote 10"},{"comment":"The inequality (2.11) is introduced with the assumption that all boundary subregions are connected, but the subsequent remark states that Appendix A proves a stronger version without this assumption. Consider revising the introductory sentence to avoid an apparent contradiction.","section":"Sec. 2, Eq. (2.11)"},{"comment":"The decomposition S(q) = f(GM(q), ..., GM(3)) + g(S(2)) is schematic; specifying the linear coefficients and the domains of f and g would make the claimed 'irreducible representation decomposition' more explicit and checkable.","section":"Sec. 5, Eq. (5.3)"}],"recommendation":"major_revision","confidential_remarks":"The paper is part of a sequence and depends on the companion works [1,25]; the main combinatorial construction for q=3,4,5 is solid and well documented, but the general-q claim requires a real proof of the linear independence of constraints. The holographic section is honest about its assumptions, yet the abstract overstates the certainty. I recommend major revision rather than rejection because the gaps are identifiable and plausibly fixable, and the verified low-q results constitute genuine progress."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: for q=3,4,5 the paper does what it says, and the partition-number counting N(q)=p(q)-p(q-1)-1 is a real step forward. The explicit q=5 GM, the N+1 diagnostics (including the derivative ∂_b GM^(5)), and the geometric lower bound in Appendix A are new and worth having. The q=4 analysis cleanly reproduces the known I_3 diagnostic and adds a genuinely new one. I also liked the black hole q=5 curve and the UV-finiteness argument for q≤5; the cancellation mechanism in Appendix D is transparent and the result is plausible.\n\nWhere the paper is soft, in proportion: the general-q story is the load-bearing advertised result, and it is only sketched. In Sec. 3.5 the authors assert that the p(q−1)−1 constraints are independent and that the free-parameter count is exactly N(q). They verify this only for q=3,4,5. The sentence 'in the same way ... easily and straightforwardly constructed' is not a proof, and if the constraint matrix ever drops rank for some q, the N(q)+1 diagnostics formula in (3.68) would need correction. This is an omitted proof, not a mere detail. That said, it does not invalidate the explicit q=3,4,5 constructions, which are the concrete deliverables of the paper.\n\nThe holographic section is the other soft spot, but the authors are appropriately frank. Footnote 10 admits the Renyi multiway-cut dual has known counterexamples for n≥3 and that the n→1 continuation is a proposal, supported mainly by tensor networks and fixed-area states. Given that, the O(1/G_N) results for q=4,5 are conditional. I don't hold this against the boundary-side construction; it is correctly flagged, and the geometric computations are internally consistent.\n\nThe citation pattern and the relation to prior work look honest. [1] is the authors' own predecessor, and they clearly separate what is new. I see no circularity problem: vanishing on lower-partite states is by construction, but the free-parameter derivatives are independent linear functionals that give new information.\n\nWho is this for: anyone working on multipartite entanglement measures or holographic entanglement. It deserves a serious referee. My own verdict would be conditional: accept after the authors either prove the general-q rank claim or explicitly downgrade the claim to a conjecture for q≥6, and after they clarify the holographic proposal's status. The q≤5 content alone is worthwhile.","headline":"A solid, genuinely useful extension of the authors' own GM construction for q=3,4,5; the advertised 'any q' prescription rests on an unproven rank assumption, and the holographic claim leans on the flagged multiway-cut proposal.","tokens_in":43631,"tokens_out":1967,"would_cite":true,"duration_ms":19511,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.Mn","11.25.Tq"],"model":"deepseek-v4-flash","headline":"The paper establishes a systematic construction of genuine multi-entropy for any number of subsystems, with integer partitions fixing the number of free parameters and yielding $N(q)+1$ independent diagnostics for genuine $q$-partite…","keywords":["genuine multi-entropy","multipartite entanglement","integer partitions","holographic entanglement","multiway cuts","AdS3/CFT2","tripartite information","quantum error correction"],"falsifier":"Compute the $n\\to 1$ limit of the Rényi multi-entropy directly on the boundary without assuming minimal cuts, for example by replica methods in a free 2d CFT with $q=5$ and five connected subregions, and check whether a genuine multi-entropy diagnostic is $O(1/G_N)$; finding a state where the minimal multiway cut is nontrivial but the diagnostic vanishes, or where the diagnostic is $O(1)$, would disprove Eq. (4.3).","tokens_in":42582,"feed_emoji":"🧮","tokens_out":13616,"duration_ms":115322,"temperature":0.7,"pith_summary":"The paper establishes a general recipe for constructing genuine multi-entropy $GM_n^{(q)}$, a family of quantities designed to detect entanglement shared by all $q$ parts of a division while vanishing on every state that factorizes into fewer than $q$ entangled pieces. The recipe is organized by integer partitions of $q$, and the paper shows that the $q$-partite genuine multi-entropy contains exactly $N(q) = p(q)-p(q-1)-1$ free parameters, each producing an independent diagnostic; in total there are $N(q)+1$ diagnostics for genuine $q$-partite entanglement. For holographic CFT states, assuming the minimal multiway-cut dual for multi-entropy, the paper computes $GM^{(3)}$, $GM^{(4)}$, and the $q=5$ diagnostics in vacuum AdS$_3$ and finds them nonzero at order $1/G_N$, giving evidence that genuine multipartite entanglement is ubiquitous in holography rather than a rare or fine-tuned feature. The paper also shows these holographic quantities are UV-finite for $q=3,4,5$ and argues that the divergent part of entanglement entropy is therefore bipartite in origin.","feed_headline":"Partition numbers count genuine multipartite entanglement tests","feed_subtitle":"The new recipe yields $N(q)+1$ independent diagnostics, and holographic CFT states make them order $1/G_N$ large.","key_machinery":"The load-bearing object is $GM_n^{(q)}$, a symmetric linear combination of $a$-partite Rényi multi-entropies $S_n^{(a)}$ with coefficients fixed by demanding that $GM_n^{(q)}$ vanish on factorized states. The counting identity $N(q)=p(q)-p(q-1)-1$ carries the combinatorial part of the argument: $p(a)$, the number of integer partitions of $a$, enumerates the distinct ways to divide the $q$ subsystems, and the $-1$ accounts for the pure-state identity $S_n^{(1)}=0$, while subtracting $p(q-1)-1$ removes the constraints inherited from $(q-1)$-partite factorizations. On the holographic side, the engine is the minimal multiway-cut proposal $S^{(p)}(R_1:\\cdots:R_p)=\\frac{1}{4G_N}A^{(p)}(R_1:\\cdots:R_p)$, evaluated in vacuum AdS$_3$ where minimal cuts are unions of geodesics meeting only at equiangular trivalent vertices; substituting these areas turns each genuine multi-entropy into an explicit hyperbolic quantity whose UV divergences cancel.","core_discovery":"The central claim is that genuine multipartite entanglement is not captured by a single measure but by a linear family: for any integer $q\\ge 3$, the genuine $q$-partite Rényi multi-entropy can be constructed as a symmetric linear combination of $a$-partite multi-entropies, with the combination indexed by the integer partitions of $q$. Imposing that $GM_n^{(q)}$ vanishes on states of the form $|\\psi_{q-1}\\rangle\\otimes|\\psi_1\\rangle$ fixes $p(q-1)-1$ coefficients and leaves $N(q)=p(q)-p(q-1)-1$ free parameters; varying them gives $N(q)+1$ independent diagnostics that are nonzero only for genuine $q$-partite entanglement. In holography, the paper argues that genuine multi-entropy is generically of order $1/G_N$: in vacuum AdS$_3$, $GM^{(3)}$ equals a constant, $GM^{(4)}|_{a=1/3}$ is a positive function of the conformal cross-ratio, and the $q=5$ diagnostics are nonzero both analytically near equipartition and numerically. The paper's conclusion is that holographic CFT states carry genuine $q$-partite entanglement of order the central charge for all $q\\ge 3$, and that this multipartite structure is what makes deep bulk reconstruction possible.","pith_inferences":["The counting formula implies the number of genuine $q$-partite entanglement diagnostics grows exponentially with $q$, since $p(q)\\sim \\exp(\\pi\\sqrt{2q/3})/(4q\\sqrt{3})$; for large $q$, no single scalar quantity can summarize genuine multipartite entanglement, so the paper's construction is really an exponentially large family of measures.","The paper leaves open a direct boundary computation of $GM^{(q)}$ in a soluble 2d CFT; if such a calculation found a zero for some $q\\ge 5$, the holographic ubiquity claim would fail, whereas a nonzero result would be an independent check of the multiway-cut proposal outside tensor-network models.","The UV-finiteness result suggests that genuine multi-entropy isolates long-distance multipartite entanglement; a natural extension would be to track $GM^{(q)}$ under an RG flow and test whether it is the invariant piece that survives when short-distance bipartite entanglement is integrated out.","The near-zero value of $GM^{(5)}$ before the Page time suggests that genuine multipartite entanglement is hidden when one subsystem dominates; dividing the large subsystem into two should make the minimal multiway cut nontrivial again and restore an $O(1/G_N)$ value, a prediction that can be checked with the paper's formulas."],"forward_implications":["For any $q\\ge 3$, the paper's prescription yields a finite, explicitly constructible list of $N(q)+1$ independent quantities that vanish on all states with entanglement in fewer than $q$ subsystems, so detection of genuine $q$-partite entanglement is reduced to evaluating linear combinations of Rényi multi-entropies.","The $q=4$ construction reproduces the known tripartite-information diagnostic $I_3$ as the derivative of $GM^{(4)}$ with respect to its free parameter and adds a second, new quadripartite diagnostic $GM^{(4)}|_{c_2=0}$.","In vacuum AdS$_3$, the holographic genuine multi-entropies for $q=3,4,5$ are nonzero at order $1/G_N$, which implies holographic CFT states contain genuine multipartite entanglement whose amount tracks the central charge rather than a subleading correction.","The holographic quantities computed for $q=3,4,5$ are independent of the UV cutoff, which the paper argues means the short-distance divergence of multi-entropy is entirely a bipartite-entanglement effect.","Because $GM^{(q)}$ is a family of linear combinations of independent diagnostics, no single member of the family has privileged sign or normalization; the paper's black-hole curve shows negative values are consistent with genuine entanglement and should not be read as absence of it."],"supporting_citations":[{"why":"establishes the original genuine multi-entropy construction for q=3 and q=4 that this paper generalizes to arbitrary q.","marker":"[1]"},{"why":"supplies the known I3 diagnostic for quadripartite entanglement that the q=4 construction reproduces.","marker":"[2]"},{"why":"proposes the holographic dual of multi-entropy as minimal multiway cuts, the basis for the O(1/G_N) results.","marker":"[9]"},{"why":"defines the replica construction of multi-entropy and documents the caveat that the Renyi dual has counterexamples for n>=3.","marker":"[10]"},{"why":"extends the multiway-cut proposal and the classification of holographic multipartite entanglement measures used here.","marker":"[11]"},{"why":"proves that minimal multiway cuts meet at equiangular trivalent vertices, which underlies the geometric inequalities and UV cancellations.","marker":"[15]"},{"why":"provides the multi-entropy asymptotics for evaporating black holes used to draw the q=5 Page-curve plots.","marker":"[16]"},{"why":"supplies the Hardy-Ramanujan asymptotic formula used to show that N(q) grows exponentially with q.","marker":"[17]"},{"why":"gives holographic monogamy of mutual information, used to bound the tripartite-information term in GM(4).","marker":"[26]"}],"fun_headline_variants":["Partitions yield N(q)+1 new genuine multipartite entanglement diagnostics","Genuine multi-entropy family: free parameters from integer partitions","Holographic evidence: genuine multipartite entanglement is ubiquitous","Integer partitions parametrize genuine q-partite entanglement probes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The holographic part of the paper rests on the proposal that holographic multi-entropy equals the area of a minimal multiway cut divided by $4G_N$ after analytically continuing the Rényi index $n$ to 1; the paper explicitly flags in footnote 10 that the Rényi dual has known counterexamples for $n\\ge 3$ and that the $n\\to 1$ proposal has been validated only in holographic tensor networks and fixed-area states.","fun_headline_variants_meta":{"raw":{"variants":["Partitions yield N(q)+1 new genuine multipartite entanglement diagnostics","Genuine multi-entropy family: free parameters from integer partitions","Holographic evidence: genuine multipartite entanglement is ubiquitous","Integer partitions parametrize genuine q-partite entanglement probes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000951,"raw_usage":{"total_tokens":4136,"prompt_tokens":1103,"completion_tokens":3033,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":719,"completion_tokens_details":{"reasoning_tokens":2960}},"tokens_in":719,"tokens_out":3033,"duration_ms":23912,"temperature":1.0,"reasoning_tokens":2960,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:59:50.666149+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $n\\to 1$ limit of the Rényi multi-entropy directly on the boundary without assuming minimal cuts, for example by replica methods in a free 2d CFT with $q=5$ and five connected subregions, and check whether a genuine multi-entropy diagnostic is $O(1/G_N)$; finding a state where the minimal multiway cut is nontrivial but the diagnostic vanishes, or where the diagnostic is $O(1)$, would disprove Eq. (4.3).","supporting_citations":[{"cited_title":"Hutchings, F","cited_arxiv_id":null,"evidence_quote":"proves that minimal multiway cuts meet at equiangular trivalent vertices, which underlies the geometric inequalities and UV cancellations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Hardy-Ramanujan asymptotic formula used to show that N(q) grows exponentially with q."}],"review_version":1}