{"id":"fbf58acf-87a7-40cb-9a65-2af6f90f995f","arxiv_id":"2601.00406","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"As the number of parties d grows to infinity, the entanglement entropy of Chern-Simons torus-link states is carried only by Abelian anyons and is bounded above by ln|Z_G|.","lead":"This paper analyzes quantum states built from 3D Chern-Simons theory on torus-link complements and shows that in the limit of infinitely many parties, only the Abelian anyons contribute to the entanglement entropy, with a strict upper bound given by ln|Z_G|, the log of the order of the gauge group's center. A complete SU(2) example, including the semiclassical large-k limit, is worked out explicitly.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Result-2 overreaches for compact G: for SO(3), Z_G is trivial but the top integer spin is a second Abelian anyon, so the ln|Z_G| bound is false as stated; needs a simply-connected qualifier.","rationale":"The reader's weakest_assumption centered on the imported partition-function formula (2.3) and the rational power T^{n/m}. I do not think that is the most load-bearing point: even if there is a branch subtlety in T^{n/m} for m>1, the structural conclusion only uses finiteness of M_R and the quantum-dimension weighting, so the Abelian-suppression argument survives. The more directly falsifiable issue is the compact-group overgeneralization in Result-2. The proof is correct for simply connected G, but for non-simply-connected compact groups such as SO(3) the number of Abelian anyons need not equal |Z_G|, so the stated upper bound is false. This supports a CONDITIONAL verdict rather than a REJECT: the paper's central mechanism is right, but the advertised generality must be narrowed or the center replaced by the correct quantum-group center. The reader's verdict already calls for stating the simply-connected scope, so I do not change the verdict; I only sharpen the reason and propose a specific SO(3) check.","tokens_in":14075,"tokens_out":26310,"duration_ms":245278,"concrete_test":"Compute the large-party entanglement entropy for G=SO(3) at even level k, e.g. k=2, for the |T_{d,d}⟩ state (m=n=1) using the SO(3) modular S and T matrices on the integer-spin labels {0,1,...,k/2}. If the two Abelian eigenvalues both tend to 1/2, the entropy is ln2 > ln|Z(SO(3))| = 0, directly refuting Result-2 as stated. Repeating for other even levels and for n odd should confirm the pattern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The internal derivation from (2.3) through (2.15) is sound when the gauge group is simply connected: the quantum-dimension weighting suppresses non-Abelian sectors, and the surviving Abelian anyons are indeed the invertible objects. The load-bearing problem is the advertised scope. The abstract and Result-2 claim the bound EE_LP ≤ ln|Z_G| for every compact gauge group, but the proof rests on the assertion that Abelian anyons are in one-to-one correspondence with the center Z_G of the gauge group. That assertion fails for non-simply-connected compact groups. For example, take G=SO(3), which is compact, connected, and has Z(SO(3))={1}. At even level, the integrable representations are the integer spins j=0,1,...,k/2; the top spin k/2 has quantum dimension 1, so it is a non-trivial Abelian anyon alongside j=0. Thus there are two Abelian sectors, i.e. a Z_2 of invertible objects, while |Z_G|=1. For the torus-link states treated in the paper, these two sectors can carry equal weight (e.g. the n=1 case), giving EE_LP=ln2, which violates the claimed bound ln|Z_G|=0. The correct statement is either to restrict G to simply connected compact groups, where the center of the universal cover labels the Abelian anyons, or to replace |Z_G| by the number of Abelian anyons (the quantum-group center). This is a real overgeneralization of the central claim, not a mere presentation issue.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the d-party quantum state |T_{dm,dn}> obtained from the Chern-Simons path integral on the complement of a torus link with d components. Using a known formula (2.3) for the link partition function and a unitary basis change (2.5), the state is rewritten as a coherent superposition over a single label P with weight (S* X(m) T^{n/m} S)_{P0}/(dim_q P)^{d-1}. The authors then show that as d→∞, the quantum-dimension weighting suppresses non-Abelian sectors, so the reduced density matrix is supported only on Abelian anyons (Result-1), and they claim an upper bound EE_LP ≤ ln|Z_G| (Result-2). For SU(2), they compute the large-party entanglement entropy for finite k (Result-3) and, via stationary-phase asymptotics, for large k (Result-4), including explicit tables of the limiting coefficients. The central technical derivations are clean and parameter-free, but the advertised scope of Result-2 overreaches for non-simply-connected compact groups.","tokens_in":14337,"tokens_out":11602,"duration_ms":116223,"significance":"If the scope is correctly qualified, the paper provides a valuable, simple mechanism: for torus-link boundary states, the d-dependence factors as a power of quantum dimensions, so the large-party limit projects the reduced density matrix onto invertible objects. This is a new observation in the multi-boundary Chern-Simons entanglement literature, and the SU(2) example gives explicit, falsifiable predictions (maximal entropy ln2 for odd n, vanishing entropy for even n/odd k, and a finite large-k limit). Strengths of the paper include a derivation with no fitted parameters, a transparent route from (2.3) to the limiting spectrum, and a detailed stationary-phase calculation. The main weakness is that the universal bound advertised in the abstract and Result-2 is false for non-simply-connected compact groups; the correct statement requires either restricting to simply connected groups or replacing |Z_G| by the number of Abelian anyons.","major_comments":[{"comment":"The proof of Result-2 relies on the assertion that 'the Abelian anyons are in one-to-one correspondence with the center Z_G of the gauge group G.' This is false for compact non-simply-connected groups. For example, take G=SO(3) at even level k: the integrable representations are integer spins j=0,...,k/2, and both j=0 and j=k/2 have quantum dimension 1, while Z(SO(3))={1}. For the state |T_{d,dn}> with odd n, the same parity identity used in Result-3 gives equal weights for these two Abelian sectors, so EE_LP=ln2, violating the claimed bound EE_LP≤ln|Z_G|=0. The bound should be restricted to simply connected compact groups, or restated as EE_LP≤ln(number of Abelian anyons). Since the abstract advertises the result for all compact gauge groups, this is a load-bearing overgeneralization.","section":"Section 2.1 (Result-2) and Abstract"}],"minor_comments":[{"comment":"The statement that M_R 'does not diverge' for any R and k, 'verified using numerical checks,' is unnecessarily weak. For fixed finite k, m, n, M_R is a finite sum of finite modular-matrix entries and is manifestly finite. A one-line bound would remove the numerical qualification.","section":"Eq. (2.15), Section 2.1"},{"comment":"The rational power T^{n/m} for m>1 is used without defining the branch/framing convention. Since the formula is inherited from Refs. [12,13], the authors should either briefly define this phase (e.g., T^{n/m}_{RR}=exp(2π i h_R n/m)) or cite the precise statement, so the expression is unambiguous.","section":"Eq. (2.3), Section 2"},{"comment":"The finite-k parity claims (M_0=M_k for odd n; one of M_0,M_k vanishes for even n and odd k) are presented as numerical checks. These are exact algebraic identities of finite sums; a concise derivation (for instance using S_{ka}=(-1)^a S_{0a} and the periodicity of T^n under a→k−a) would make the paper self-contained and would also strengthen the large-k discussion.","section":"Section 2.2.1, Result-3"},{"comment":"In the Case-2 stationary-phase formula, the second term in the expansion has denominator φ''(a)K^{3/2}; this should be φ''(x_0). The same notation appears in the surrounding text and should be corrected.","section":"Appendix B, Eq. (B.11)"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the overgeneralization in Result-2 and the abstract; the fix is local and the central derivation for simply connected groups appears sound. The paper also leans on several technical ingredients from the authors' own earlier papers (Refs. [3,8,10,11]); this is acceptable because the key input (2.3) is taken from independent references [12,13]. I recommend requesting the authors to correct the group-theoretic statement and, ideally, to add the short algebraic proofs for the finite-k parity claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a serious referee. The central new claim — in the d→∞ limit only Abelian anyons contribute to entanglement of |T_{dm,dn}>, with entropy bounded by ln|Z_G| — is real and, for simply connected G, the derivation works. I checked the SU(2) parity statements and the asymptotic coefficients in Table 1; they match. The paper is honest and clearly written, and the self-citation pattern is not a problem: the earlier papers really do set up the state and the Adams-coefficient machinery.\n\nThe main defect is exactly the stress-test's: Result-2 is stated for all compact G, but the proof uses \"Abelian anyons = center,\" which is false for non-simply-connected groups. SO(3) at even level is a clean counterexample: Z(SO(3)) is trivial while the top integer spin is a second Abelian anyon, so the quoted bound ln|Z_G|=0 is violated by the paper's own n=1 case. This is not cosmetic; it changes the theorem. The fix is local: restrict the theorem to simply connected compact gauge groups, or replace |Z_G| by the number of Abelian anyons (the quantum-group center). The rest of the paper survives.\n\nOther softer issues. The partition-function input (2.3) is imported from [12,13] without discussing the rational power T^{n/m} when n/m is not an integer. If that formula is only proven for integer powers, Results 1–2 inherit an unstated condition. The claim that M_R does not diverge is supported only by \"numerical checks\"; for SU(2) it's a finite sum and should be one line, and for generic groups a comment on finite sums would close it. Result-3's parity claims are asserted from numerics even though elementary symmetry proofs exist (the a→k-a symmetry gives M_0=M_k for odd n). And the semiclassical section uses leading-order stationary phase without error control; the endpoint vs interior contributions are clear, but a sentence on remainders would make it rigorous enough.\n\nNone of this breaks the central idea. For a simply connected group, Abelian dominance and the entropy bound follow directly from quantum-dimension suppression, and the SU(2) example is a useful benchmark. The paper deserves a serious referee. It needs local revision, not a rewrite.","headline":"A genuinely new large-party limit with a real scope bug: Result-2 as stated for compact G is false (SO(3) is a counterexample), but the core Abelian-dominance argument is sound once restricted to simply connected groups.","tokens_in":14987,"tokens_out":2733,"would_cite":true,"duration_ms":29010,"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":"As the number of parties grows without bound, Chern-Simons torus-link states keep entanglement only from Abelian anyons, so the entropy cannot exceed ln|Z_G|.","keywords":["Chern-Simons theory","topological entanglement entropy","torus link states","large-party limit","Abelian anyons","quantum dimensions","center of gauge group","modular S and T matrices"],"falsifier":"Compute the eigenvalues λ_R(d) directly for a small non-Abelian case, e.g. SU(2) with k=3, m=1, n=2, at increasing d, and check whether the eigenvalue for the spin-1 representation [1] decays as (dim_q[1])^(−2(d−1)); finding any nonzero limit, or an M_R that diverges with d, would settle whether the Abelian-only claim holds.","tokens_in":13826,"feed_emoji":"🔗","tokens_out":7182,"duration_ms":71715,"temperature":0.7,"pith_summary":"The paper studies d-party quantum states made from T_{dm,dn} torus-link complements in three-dimensional Chern-Simons theory with a compact gauge group G and level k, and asks what happens to their entanglement as d→∞. It argues that in this large-party limit the reduced density matrix keeps contributions only from Abelian anyons: every eigenvalue tied to a non-Abelian representation is suppressed, because the state's coefficients carry a factor of (quantum dimension)^(−(d−1)). The surviving entropy is therefore bounded by ln|Z_G|, the logarithm of the order of the center of G, and is achieved by a small set of universal eigenvalues. A concrete SU(2) analysis illustrates when the bound is saturated (odd n gives ln2) and when the state becomes separable (even n and odd k). This matters because it identifies a clean large-party regime in which topological entanglement is governed entirely by the Abelian sector.","feed_headline":"Abelian anyons alone set torus-link entanglement as d→∞","feed_subtitle":"In Chern-Simons torus-link states, non-Abelian sectors decouple at large d, bounding the entropy by the center of the gauge group.","key_machinery":"The engine is the d-party torus-link state (2.8), obtained by a unitary change of basis in each single-torus Hilbert space. In that basis every coefficient carries a common denominator (dim_q P)^(d−1); because quantum dimensions are exactly 1 for Abelian anyons and strictly greater than 1 for non-Abelian ones, the d→∞ limit is a pure race between these powers. The modular S and T matrices enter through M_R, and the Adams-operation integers X_{QR}(m) from link-surgery calculations supply the m-dependence. This single factor of quantum dimension is what transfers all weight to the Abelian sector.","core_discovery":"The central claim, stated as Result-1 and Result-2 in the paper, is that the large-party limit of the single-party reduced density matrix for |T_{dm,dn}⟩ is diagonal with eigenvalues λ_R^LP = M_R / (Σ_{P Abelian} M_P) for Abelian R and 0 for all non-Abelian R, where M_R = |(S* X(m) T^{n/m} S)_{R0}|². Hence the topological entanglement entropy converges to a number between 0 and ln|Z_G|, and the non-Abelian anyonic sectors do not contribute at all. For the SU(2) example the paper quantifies this: with odd n the large-party entropy is exactly ln2 for every level k, with even n and odd k it vanishes, and in the subsequent semiclassical k→∞ limit the entropy takes finite values determined by two","pith_inferences":["Extension: the quantum-dimension suppression at work here is generic in any TQFT whose state coefficients weight representations by powers of dim_q R; one would expect the same Abelian-only collapse for other link complements with many boundaries, not just torus links.","Extension: because the surviving eigenvalues are ratios of M_R built purely from modular data, the large-party entropy of such states may be computable exactly from level-k modular representation theory without any knot surgery, providing a shortcut in numerical studies.","Extension: a natural next check is the SU(3) or higher-rank case, where the paper's bound reads EE_LP ≤ ln N; detecting whether M_R for the N−1 Abelian representations saturates the bound would reveal whether the large-party limit is generically maximally entangled or level-dependent.","Extension: if M_R for an Abelian representation crossed zero or diverged at some k, the normalization sum could fail and the eigenvalue limit would be non-universal; the paper's numerical checks suggest this does not happen, but an analytic proof of M_R > 0 for all Abelian R would close the loop."],"forward_implications":["For any compact gauge group, the large-party entanglement entropy of torus-link states is determined by the center alone and satisfies 0 ≤ EE_LP ≤ ln|Z_G|.","Non-Abelian anyons decouple from the entanglement spectrum in the d→∞ limit, so large-party topology is blind to the full representation theory of the state.","For SU(2), large-party states |T_{d,dn}⟩ are maximally entangled (EE_LP = ln2) for odd n and separable for even n with odd k, at every finite level.","Taking k→∞ after d→∞ leaves a finite entropy matrix: EE∞_LP = ln2 when n is odd, 0 when n is even and k is odd, and intermediate values when n is even and k is even.","The entanglement measures are bipartition-independent, so the (1|d−1) result holds for any split of the d parties."],"fun_headline_variants":["Abelian anyons alone dictate d→∞ Chern-Simons entropy","Non-Abelian sectors vanish in torus-link entropy as d→∞","Large-party entropy bound: gauge center size","SU(2): entropy ln2 for odd n, 0 for even n & odd k"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Everything rests on the torus-link partition function being correct in its d-dependence — specifically the denominator (dim_q P)^(d−1) — together with the assumption that the modular-data coefficients M_R stay bounded; the paper inherits the first from earlier work and supports the second only by numerical checks.","fun_headline_variants_meta":{"raw":{"variants":["Abelian anyons alone dictate d→∞ Chern-Simons entropy","Non-Abelian sectors vanish in torus-link entropy as d→∞","Large-party entropy bound: gauge center size","SU(2): entropy ln2 for odd n, 0 for even n & odd k"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002083,"raw_usage":{"total_tokens":7960,"prompt_tokens":794,"completion_tokens":7166,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":7089}},"tokens_in":538,"tokens_out":7166,"duration_ms":52640,"temperature":1.0,"reasoning_tokens":7089,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T13:07:01.891938+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the eigenvalues λ_R(d) directly for a small non-Abelian case, e.g. SU(2) with k=3, m=1, n=2, at increasing d, and check whether the eigenvalue for the spin-1 representation [1] decays as (dim_q[1])^(−2(d−1)); finding any nonzero limit, or an M_R that diverges with d, would settle whether the Abelian-only claim holds.","supporting_citations":[],"review_version":1}