{"id":"4a12f311-5c9f-4c9f-8b44-8f62b453fb3d","arxiv_id":"2510.18350","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Loop-symmetric many-body states have reduced density matrices that decompose into topological and geometric blocks computable from the Seifert–van Kampen theorem, giving exact entanglement spectra for Kitaev quantum double models.","lead":"This paper shows that the entanglement spectrum of many-body states with loop (higher-form, often non-invertible) symmetries is organized into a block structure dictated by the topology of space, computed via the Seifert–van Kampen theorem. It gives exact decompositions for tori, Klein bottles, lens spaces, and topological gauge theories, including a proof-style verification of the Li–Haldane correspondence for the Kitaev quantum double model.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Li–Haldane 'full entanglement spectrum' claim overreaches: Eq. (44)/(G2) leaves the matrices Ψ_α arbitrary, so only degeneracy multiplicities are fixed; the actual Schmidt eigenvalues are state-dependent and not matched to RCFT data.","rationale":"I agree with the reader's CONDITIONAL verdict, but my load-bearing concern is not the reader's named weakest assumption (regularity of the bipartition). The regularity caveat is a genuine boundary condition on the theorem, and the paper states it explicitly; the internal Seifert–van Kampen argument for regular cuts appears sound. The more consequential issue is the inference from block dimensions to the full Li–Haldane spectrum. The reader's rationale already notes that the body proves sector degeneracies match RCFT fusion data while the full eigenvalue spectrum depends on unconstrained state-specific matrices; my stress-test confirms and sharpens that gap. The manuscript itself supplies the key evidence: Eq. (44) leaves Ψ_{α_φ} arbitrary, and Eq. (49) shows the entropy correction depends on the state amplitudes |ψ_{α,i}|². Therefore the abstract's 'full entanglement spectrum holds exactly' is too strong. The central block-decomposition theorem is not undermined; the advertised Li–Haldane corollary needs either a precise statement at the degeneracy level or an additional argument fixing the Ψ matrices for Kitaev quantum double ground states. Since the reader's verdict is already CONDITIONAL for essentially this reason, no change of verdict is needed.","tokens_in":57949,"tokens_out":11096,"duration_ms":105864,"concrete_test":"Take G = Z_3, M = T^2 with the two-tube bipartition (n = 2, |A| = 2). Construct two gauge-invariant ground states |Ψ(a,b)⟩ = a|c1,α1⟩ + b|c2,α2⟩ with (a,b) = (1/√2,1/√2) and (√3/2,1/2), where |c,α⟩ are the minimally entangled states of Eq. (46). Using Eq. (44)/(G2), compute ρ_X = WW†. Its nonzero eigenvalues are |a|² and |b|² (with the appropriate multiplicities), so the two states give different full entanglement spectra. Since Z_3 has finite RCFT/anyon data with no continuous parameters, at most one (or neither) of these spectra can equal a fixed RCFT spectrum. This directly tests whether the full-spectrum Li–Haldane claim survives or must be weakened to a degeneracy-level statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The algebraic-topology core (Eqs. 9–12) is plausible: Hom from a groupoid pushout is a pullback, and the torsor argument in Appendix B supports the block decomposition. The load-bearing weakness is the advertised corollary in §V.C. The authors conclude 'We have thus verified the Li–Haldane correspondence' after computing x_{α_φ} and y_{α_φ} in Eqs. (51)/(53). But those are only the dimensions of the topological blocks. The gauge-invariant block decomposition Eq. (44) — and its general-state form Eq. (G2) — contains an unconstrained matrix Ψ_{α_φ} of size x_{α_φ}×y_{α_φ}. The Schmidt spectrum is the singular-value spectrum of these Ψ matrices, not merely their dimensions. For a minimally entangled state (rank-one Ψ) the nonzero Schmidt values are flat and the degeneracy pattern matches anyon data, which is a genuine result. But for a generic ground state — e.g. a superposition of two topological sectors with weights a and b — the eigenvalues are |a|² and |b|² up to normalization, so the full spectrum varies continuously with the state. A fixed RCFT modular datum predicts a fixed spectrum (or at least fixed degeneracies), not a continuum of eigenvalue magnitudes. The paper's own Eq. (49) makes this explicit: the entanglement-entropy correction depends on |ψ_{α,i}|². Thus the abstract's claim that the Li–Haldane conjecture holds for the full entanglement spectrum exactly is not supported by the proof. What is proven is a degeneracy/multiplicity-level correspondence.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a general algebraic-topological framework for the bipartite entanglement structure of states with a Rep(G) loop symmetry, i.e., states whose contractible Wilson-loop holonomies are trivial. The central result, Eqs. (11)–(12), is an exact block decomposition of the bipartite matrix W into a topological part, obtained from the fiber product of Hom(π1(X,A),G) and Hom(π1(Y,A),G) over Hom(π1(∂,A),G), tensored with a geometric gauge-transform part of size |G|^{|V∂|−|A|}. This is illustrated for tori, genus-γ surfaces, Klein bottles, general non-orientable surfaces, Heegaard splittings of lens spaces, and higher-dimensional tori. After imposing gauge invariance, the paper claims to reproduce the topological entanglement entropy and to verify the Li–Haldane conjecture for the full entanglement spectrum of the Kitaev quantum double model. The algebraic-topology core is carefully derived, with supporting material in the appendices, and the dimension-counting checks against known ground-state degeneracies are convincing. The main problem is that the strongest advertised corollary, the exact Li–Haldane correspondence for the full entanglement spectrum, is not established: the computation fixes only block multiplicities, not the eigenvalue spectrum.","tokens_in":58327,"tokens_out":4021,"duration_ms":43037,"significance":"If the central block-decomposition theorem, Eq. (11), is taken as the paper's main contribution, this is a significant and largely rigorous result. It provides an exact, algorithmic description of how non-invertible loop symmetries constrain reduced density matrices on arbitrary bipartite manifolds, including non-orientable manifolds and higher dimensions. The gauge-invariant refinement correctly recovers known topological entanglement entropies and ground-state degeneracies, and the appearance of the Drinfel'd-double modular S-matrix in Eqs. (51)–(53) is a valuable structural insight. The appendices are unusually careful: Appendix B gives a torsor proof of the geometric-block structure, and Appendix E explains the non-Abelian cohomology dictionary. However, the paper overstates its result in the abstract and in §V.C: the Li–Haldane correspondence for the full entanglement spectrum is not proved. What is proved is a correspondence at the level of block degeneracies and multiplicities, which is an important but strictly weaker statement.","major_comments":[{"comment":"The abstract claims that for the Kitaev quantum double model 'the Li–Haldane conjecture concerning the full entanglement spectrum holds exactly.' This is not supported by the proof. In §V.C, Eqs. (51) and (53) determine only the multiplicities x_{α_φ} and y_{α_φ}, i.e., the sizes of the blocks C^{x_{α_φ}×y_{α_φ}} in Eq. (44). The actual Schmidt spectrum is the singular-value spectrum of the unconstrained matrices Ψ_{α_φ} in Eq. (G2). Those matrices are arbitrary inputs in the general ground-state decomposition; the proof never fixes them. For a generic superposition of two topological sectors with weights a and b, the Schmidt eigenvalues vary continuously with |a|² and |b|². Thus the paper establishes a degeneracy-level, not eigenvalue-level, correspondence.","section":"Abstract and §V.C"},{"comment":"The state-dependence of the full spectrum is made explicit by the paper itself. Eq. (49) gives the topological-entanglement-entropy correction as a function of |ψ_{α_φ,i}|², the singular values of Ψ_{α_φ}. Equation (G2) leaves Ψ_{α_φ} completely free subject only to normalization. Therefore the set of possible reduced-density-matrix spectra for gauge-invariant loop-symmetric states is a continuum. A fixed RCFT modular datum predicts a fixed spectrum (or at least fixed degeneracy structure), not a continuum of eigenvalue magnitudes. The proof can at most claim that the degeneracy pattern of the entanglement spectrum matches the anyon-content/RCFT fusion data.","section":"Eqs. (47)–(49) and (G2)"},{"comment":"The identification of Eq. (51) with the generalized Verlinde formula is a statement about dimensions of spaces of intertwiners (anyon Hilbert-space dimensions on a genus-γ surface), not about the list of Schmidt eigenvalues. Even in the minimally entangled case, the reduced density matrix is proportional to the identity on its support (flat spectrum), so the 'full spectrum' contains no energy-scale information beyond the overall degeneracy. This is far weaker than the usual Li–Haldane correspondence, which concerns a nontrivial tower of low-lying entanglement levels. The manuscript should be revised to state clearly that only the degeneracy/multiplicity part of the Li–Haldane correspondence is derived.","section":"§V.C, Eq. (51)"}],"minor_comments":[{"comment":"The notation C^{m×n} is used for the vector space of m×n matrices, but the reader may initially confuse it with a dimension. Consider writing Mat_{m×n}(C) or adding an explicit sentence.","section":"Eq. (12)"},{"comment":"The caption refers to 'the blue square' in a way that is hard to parse. The figure would be clearer if the block-support region were labeled explicitly and the direct-sum decomposition stated in the caption.","section":"Fig. 3 caption"},{"comment":"The direct sum over c∈G^{×n} is not restricted to the image Im until after the formula is introduced. It would help to state immediately that terms with R_{γ_X,n}(c)=0 or R_{γ_Y,n}(c)=0 are absent, as is done later.","section":"Eq. (18), general orientable case"},{"comment":"The symbol 'holn' appears in the text without definition. Clarify that it denotes the holonomy along the n-th circle direction.","section":"Appendix D.8"},{"comment":"There are minor typographical issues, e.g., 'degneracy' in the summary section and inconsistent use of 'γ' vs 'Γ' for the TEE. A careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The algebraic-topology core appears sound and valuable, and the degeneracy-level results for topological gauge theories are a genuine contribution. The main obstacle is the overclaim in the abstract and §V.C about the full Li–Haldane spectrum. I would ask the authors to reframe the central claim as an exact block-decomposition and degeneracy theorem, and to demote the Li–Haldane discussion to a degeneracy-level correspondence. With that change, the paper could be suitable for publication. The overlap with Refs. [101,102] is acknowledged by the authors and does not seem to preempt the main result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core of the paper is solid. The block-decomposition theorem, built from Seifert–van Kampen and Hom(π1(–), G) pullbacks, gives an exact description of how Rep(G) loop symmetries constrain the bipartite W matrix. That is a real and substantial advance over the earlier Z2 or Abelian 1-form results. The extensions to non-orientable surfaces, lens spaces, and T^n are worked out carefully, and the gauge-invariant refinement reproduces known TEE results as consistency checks. I believe the central mathematics holds up; the counting arguments and the stabilizer-orbit checks all line up.\n\nThe weak spot is exactly what the stress-test note flags. The paper's abstract claims the Li–Haldane conjecture holds for the full entanglement spectrum exactly, but the proof only fixes the dimensions of the topological blocks. In the gauge-invariant form Eq. (44) and the general state Eq. (G2), the matrices Ψ are left arbitrary. The Schmidt spectrum is the singular-value spectrum of those matrices, which depends on their entries. For a minimally entangled state the nonzero values are flat, so the pattern matches anyon data, and that is a genuine result. But for a generic superposition of topological sectors the eigenvalues vary continuously with the state. The paper's own entropy formula (49) makes this explicit: the correction term depends on |ψ_{α,i}|². So the full-spectrum version is not proven; only a degeneracy-level correspondence is.\n\nThat is an overreach, but it is a claim-strength problem, not a structural one. The fix is simple: weaken the abstract and the §V.C conclusion to say the degeneracy pattern matches the RCFT data, and note that individual eigenvalues are state-dependent. The regular-bipartition assumption (the cut must be a manifold and the lattice a good discretization) is stated and reasonable, though it does mean the formulas will not apply directly to arbitrary lattice cuts.\n\nThe paper deserves a serious referee. It is a strong contribution to the entanglement-structure literature for higher-form and non-invertible symmetries, and the algebraic-topological machinery is a useful new tool. I would recommend sending it to peer review, with the clear request that the authors distinguish between proven degeneracy structure and unproven full-spectrum statements.","headline":"The central block-decomposition theorem is sound and genuinely new, but the advertised Li–Haldane 'full entanglement spectrum' proof only fixes degeneracies, not eigenvalues.","tokens_in":58828,"tokens_out":1571,"would_cite":true,"duration_ms":16221,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P42","81T45","20C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any state symmetric under non-invertible loop symmetries, the entanglement spectrum decomposes into a topological block structure determined by the manifold's fundamental groupoid.","keywords":["entanglement spectrum","loop symmetry","higher-form symmetry","non-invertible symmetry","Seifert–van Kampen theorem","fundamental groupoid","topological entanglement entropy","quantum double model"],"falsifier":"Take G = S_3 and a 4×4 lattice discretizing a torus bipartitioned into two cylinders. Construct an explicit flat (loop-symmetric) state by gauge-transforming a representative holonomy configuration, compute the bipartite matrix W numerically, and compare its singular value degeneracies with the predicted block dimensions (|C_c| times powers of |G| for each conjugacy class c). Any block of the wrong size, or a missing/extra block, would refute the claim.","tokens_in":57829,"feed_emoji":"🔗","tokens_out":9317,"duration_ms":69999,"temperature":0.7,"pith_summary":"Quantum states invariant under the group-representation loop symmetry generated by Wilson loops — a higher-form, generally non-invertible symmetry — are shown to have a bipartite entanglement structure that is completely fixed by topology. The paper proves that the matrix encoding the entanglement spectrum decomposes into blocks labeled by holonomies on the boundary between the two subsystems, with each block a tensor product of a topological part (determined by homomorphisms from the fundamental groupoid into the symmetry group) and a geometric part counting gauge degrees. An explicit algorithm is given to compute this block structure for any regular bipartition of any manifold, and the paper works out the spectra for tori, Klein bottles, lens spaces, and higher-dimensional tori. Imposing gauge invariance turns the same machinery into an exact description of entanglement in topological gauge theories, reproducing the topological entanglement entropy and confirming the conjectured correspondence between the full entanglement spectrum and a rational conformal field theory in two dimensions.","feed_headline":"Loop symmetries force entanglement spectra into topology-coded blocks","feed_subtitle":"A new algorithm derives exact block structure from groupoids, giving exact degeneracies in gauge theories.","key_machinery":"The load-bearing objects are the fundamental groupoid π_1(M, A) of the manifold with base points on the bipartition boundary, and the contravariant functor Hom(·, G) that maps groupoids to sets of group homomorphisms. The Seifert–van Kampen theorem converts the gluing X ∪_∂ Y into a pushout of groupoids; Hom(·, G) then converts this pushout into a pullback of sets, whose elements are exactly the holonomy assignments compatible across the boundary. The sizes of the fibers |r_X^{-1}(φ)| and |r_Y^{-1}(φ)| set the dimensions of the topological blocks, while the gauge transformations on vertices away from the base points produce the geometric multiplicity. In the gauge-invariant refinement, the p","core_discovery":"The central result is a block decomposition theorem for the matrix W whose singular values give the entanglement spectrum. For a Rep(G) loop-symmetric state on a bipartite manifold M = X ∪ Y with common boundary ∂, W decomposes as a direct sum over compatible boundary holonomies φ of |G|^{|V∂|-|A|} copies of a topological block of dimension |r_X^{-1}(φ)||G|^{|V_X|} × |r_Y^{-1}(φ)||G|^{|V_Y|}. Here r_X and r_Y are the restriction maps from the subsystem fundamental groupoid homomorphisms to the boundary, and |A| is the number of base points, one per boundary component. The derivation shows loop-symmetric states are exactly flat connections, parameterized by gauge transformations modulo non-Ab","pith_inferences":["The same groupoid-pullback strategy may extend to higher-form symmetries via higher homotopy groupoids, potentially yielding analogous block structures for higher-form gauge theories.","Because the block structure is topology-only (parameter-free), it offers a benchmark for numerical tensor-network simulations of topological order, independent of microscopic details.","The rigid sector structure suggests that in systems with higher-form symmetries, the entanglement spectrum has protected degeneracies that may survive at finite energy density, possibly constraining thermalization.","The framework could be adapted to compute symmetry-resolved entanglement for non-invertible symmetries in experimental platforms that realize loop-symmetric states."],"forward_implications":["The full entanglement spectrum, not just entropy, of any loop-symmetric state on a regular bipartition is exactly determined by this block structure.","Gauge-invariant loop-symmetric states in any dimension have reduced density matrices whose degeneracies are governed by the representation-theoretic data of the group (conjugacy classes and centralizer representations), and their topological entanglement entropy is the base-point count minus the logarithm of the corresponding quantum dimension.","In two dimensions, the block multiplicities coincide with the boundary Hilbert-space dimensions of the rational conformal field theory, proving the full-spectrum correspondence for the quantum double model.","Non-orientable manifolds are covered, with the Frobenius–Schur indicator determining which topological sectors contribute.","The algorithm reduces entanglement spectrum computation to counting group homomorphisms and stabilizer orbits, and applies to arbitrary dimensions."],"fun_headline_variants":["Loop symmetries split entanglement spectra into topological blocks","Entanglement spectrum gets exact blocks from loop symmetries","Topology-coded entanglement spectra emerge from loop symmetries","Loop-symmetric states: entanglement spectrum is block-diagonal","How loop symmetries resolve entanglement spectra exactly"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The block-counting formula assumes the bipartition is regular — the boundary between subsystems is a manifold and the lattice is a good discretization whose fundamental groupoid is homotopy-equivalent to the continuum manifold; if the cut is irregular or too coarse, the formula may break.","fun_headline_variants_meta":{"raw":{"variants":["Loop symmetries split entanglement spectra into topological blocks","Entanglement spectrum gets exact blocks from loop symmetries","Topology-coded entanglement spectra emerge from loop symmetries","Loop-symmetric states: entanglement spectrum is block-diagonal","How loop symmetries resolve entanglement spectra exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000232,"raw_usage":{"total_tokens":1301,"prompt_tokens":692,"completion_tokens":609,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":436,"completion_tokens_details":{"reasoning_tokens":544}},"tokens_in":436,"tokens_out":609,"duration_ms":5689,"temperature":1.0,"reasoning_tokens":544,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:52:04.546545+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take G = S_3 and a 4×4 lattice discretizing a torus bipartitioned into two cylinders. Construct an explicit flat (loop-symmetric) state by gauge-transforming a representative holonomy configuration, compute the bipartite matrix W numerically, and compare its singular value degeneracies with the predicted block dimensions (|C_c| times powers of |G| for each conjugacy class c). Any block of the wrong size, or a missing/extra block, would refute the claim.","supporting_citations":[],"review_version":1}