REVIEW 1 major objections 4 minor 14 references
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|.
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 13:07 UTC pith:VEDNKK7P
load-bearing objection 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. the 1 major comments →
Large-party limit of topological entanglement entropy in Chern-Simons theory
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
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
What carries the argument
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.
Load-bearing premise
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.
What would settle it
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.
If this is right
- 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.
Where Pith is reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (1)
- [Section 2.1 (Result-2) and Abstract] 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.
minor comments (4)
- [Eq. (2.15), Section 2.1] 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.
- [Eq. (2.3), Section 2] 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 2.2.1, Result-3] 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.
- [Appendix B, Eq. (B.11)] 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.
Circularity Check
No circular derivation: the large-party limit is an algebraic consequence of the externally cited torus-link partition function; self-citations are not load-bearing.
full rationale
Circularity would require an input being reintroduced as an output (e.g., fitting a parameter and then predicting it, or defining the target in terms of itself). Here the load-bearing input is the torus-link partition function (2.3), quoted from Refs. [12,13] (Stevan; Brini-Eynard-Mariño), not from the authors' own prior framework. The unitary basis change (2.5) preserves the entanglement spectrum, and the subsequent appearance of (dim_q P)^{-(d-1)} in (2.8) makes the large-d selection of unit-quantum-dimension sectors a direct algebraic consequence. Equations (2.12)-(2.15) are just the large-d limit of ratios of exponentials; no quantity is fitted and then relabeled as a prediction. The SU(2) example uses standard modular S,T data (2.20) and computes M_0, M_k by stationary-phase asymptotics; the constants C(r,n), D(r,n) are evaluated, not fit. Self-citations [3,8,10,11] provide conventions, S,T matrix formulas, Adams coefficients, and illustrations, but the central claim does not reduce to an unverified self-citation chain; the same limit would follow from any standard source for those data. The potential failure of Result-2 for non-simply-connected compact groups such as SO(3) is a correctness/scope concern, not a circularity concern: the ln|Z_G| bound is a derived output, and its incorrectness for some groups does not mean it was assumed as an input. Overall, no circular step is present.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption Partition-function formula (2.3) for Z(S^3; [T_{dm,dn}]_{R_1...R_d}) as cited from Refs. [12,13], including the (S_{0P})^{d-1} denominator and the (T_{RR})^{n/m} factor
- standard math Hilbert space H_{T^2} basis from integrable representations at level k, and unitarity of the modular S matrix
- domain assumption Abelian anyons (quantum dimension exactly 1) are in one-to-one correspondence with the elements of the center Z_G; their number is |Z_G|
- domain assumption M_R = |(S* X T^{n/m} S)_{R0}|^2 is finite for all R and all k
- standard math Poisson summation with smooth cutoff (Appendix A) and leading-order stationary-phase asymptotics (Appendix B) control the k->infinity evaluation of L_0 and L_k; boundary stationary points of sin^2(pi x) contribute at order k^{-3/2}
read the original abstract
We investigate the topological entanglement entropy of quantum states arising in the context of three-dimensional Chern-Simons theory with compact gauge group $G$ and Chern-Simons level $k$. We focus on the quantum states associated with the $T_{dm,dn}$ torus link complements, which is a $d$-party pure quantum state, and analyze its large-party limit, i.e., $d\to \infty$ limit. We show that the entanglement measures in this limit will receive contributions only from the Abelian anyons, and non-Abelian sectors are suppressed in the large-party limit. Consequently, the large-party limiting value of the entanglement entropy has an upper bound of $\ln |Z_G|$, where $|Z_G|$ is the order of the center of the group $G$. As an explicit example, we perform quantitative analysis for the simplest case of the SU(2) group and $T_{d,dn}$ torus link to obtain the large-party limit of the entanglement entropy. We further investigate the semiclassical ($k \to \infty$) limit of the entropies after taking the large-party limit for this particular example.
Reference graph
Works this paper leans on
-
[1]
Witten,Quantum Field Theory and the Jones Polynomial,Commun
E. Witten,Quantum Field Theory and the Jones Polynomial,Commun. Math. Phys.121(1989) 351
1989
-
[2]
V . Balasubramanian, J. R. Fliss, R. G. Leigh and O. Parrikar,Multi-Boundary Entanglement in Chern-Simons Theory and Link Invariants,JHEP04(2017) 061 [1611.05460]
Pith/arXiv arXiv 2017
-
[3]
S. Dwivedi, V . K. Singh, S. Dhara, P. Ramadevi, Y . Zhou and L. K. Joshi,Entanglement on linked boundaries in Chern-Simons theory with generic gauge groups,JHEP02(2018) 163 [1711.06474]
Pith/arXiv arXiv 2018
-
[4]
V . Balasubramanian, M. DeCross, J. Fliss, A. Kar, R. G. Leigh and O. Parrikar,Entanglement Entropy and the Colored Jones Polynomial,JHEP05(2018) 038 [1801.01131]
Pith/arXiv arXiv 2018
-
[5]
L.-Y . Hung, Y .-S. Wu and Y . Zhou,Linking Entanglement and Discrete Anomaly,JHEP05 (2018) 008 [1801.04538]
Pith/arXiv arXiv 2018
-
[6]
Zhou, 3d One-form Mixed Anomaly and Entanglement Entropy,JHEP07(2019) 091 [1904.06924]
Y . Zhou, 3d One-form Mixed Anomaly and Entanglement Entropy,JHEP07(2019) 091 [1904.06924]
Pith/arXiv arXiv 2019
-
[7]
S. Dwivedi, A. Addazi, Y . Zhou and P. Sharma,Multi-boundary entanglement in Chern-Simons theory with finite gauge groups,JHEP04(2020) 158 [2003.01404]
Pith/arXiv arXiv 2020
-
[8]
S. Dwivedi, V . K. Singh and A. Roy,Semiclassical limit of topological R´enyi entropy in 3d Chern-Simons theory,JHEP12(2020) 132 [2007.07033]. 14
Pith/arXiv arXiv 2020
-
[9]
A. Dwivedi, S. Dwivedi, B. P. Mandal, P. Ramadevi and V . K. Singh,Topological entanglement and hyperbolic volume,JHEP10(2021) 172 [2106.03396]
Pith/arXiv arXiv 2021
-
[10]
Dwivedi,Topological entanglement and number theory,2410.01492
S. Dwivedi,Topological entanglement and number theory,2410.01492
-
[11]
Saini and S
A. Saini and S. Dwivedi,Analyzing reduced density matrices in su(2) chern-simons theory, in Proceedings of the International Conference on Knots, Quivers and Beyond (ICKQB 2025), pp. 65–77, Atlantis Press, 2025, DOI
2025
-
[12]
Stevan,Chern-Simons Invariants of Torus Links,Annales Henri Poincare11(2010) 1201 [1003.2861]
S. Stevan,Chern-Simons Invariants of Torus Links,Annales Henri Poincare11(2010) 1201 [1003.2861]
Pith/arXiv arXiv 2010
-
[13]
A. Brini, B. Eynard and M. Marino,Torus knots and mirror symmetry,Annales Henri Poincare13 (2012) 1873 [1105.2012]
Pith/arXiv arXiv 2012
-
[14]
E. T. Copson,The method of stationary phase, p. 27–35. Cambridge Tracts in Mathematics. Cambridge University Press, 1965. 15
1965
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.