pith. sign in

arxiv: 2605.21591 · v1 · pith:7CGN7P2Fnew · submitted 2026-05-20 · ✦ hep-th · cond-mat.str-el· math.OA· quant-ph

Algebraic locality and non-invertible Gauss laws

Nicholas Holfester , Jonathan Sorce This is my paper

Pith reviewed 2026-05-22 09:05 UTC · model grok-4.3

classification ✦ hep-th cond-mat.str-elmath.OAquant-ph
keywords non-invertible symmetriesHaag dualityGauss lawlattice modelsHopf algebrastring-net modelsalgebraic localityquantum constraints
0
0 comments X

The pith

Non-invertible on-site symmetries preserve exact Haag duality only for cuspless lattice regions, requiring a collar for cusped ones.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines how a Gauss law constraint for non-invertible symmetries alters algebraic locality on a 2+1D closed lattice. It finds that Haag duality holds exactly when the region lacks cusps. Regions with cusps satisfy only a weaker form of duality that incorporates an extra collar along the boundary. The results cover double models with purely magnetic constraints as well as constraints arising from the on-site action of a Hopf algebra, including extended string-net models. The analysis also establishes disjoint additivity for group-based double models and a weakened version for the general Hopf case.

Core claim

Enforcing a non-invertible Gauss law on the lattice means the commutant of the algebra associated to a region equals the algebra of the complement precisely when the region is cuspless; for cusped regions the commutant instead requires operators supported on a collar to match the complement algebra.

What carries the argument

The on-site action of a non-invertible symmetry that induces the Gauss law constraint, which restricts local operators and changes duality relations specifically for regions with geometric cusps.

If this is right

  • Exact Haag duality continues to hold for all cuspless regions under these non-invertible constraints.
  • Disjoint additivity is recovered exactly for double models built from ordinary groups.
  • A weakened form of disjoint additivity holds when the symmetry comes from a general Hopf algebra.
  • Extended string-net models inherit the same collar requirement for cusped regions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • In the continuum limit the collar may become a thin boundary layer needed to restore locality near sharp geometric features.
  • Analogous collar corrections could appear for time-dependent regions or in higher-dimensional lattices.
  • The distinction between cuspless and cusped behavior may help identify which lattice regularizations preserve continuum locality under generalized symmetries.

Load-bearing premise

The symmetries act strictly on-site and the Gauss law takes the exact form coming from a Hopf algebra action or a purely magnetic constraint in double models.

What would settle it

An explicit calculation in a concrete double model or string-net model that shows the algebra commutant for a cusped region equals the complement algebra without any collar.

read the original abstract

We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle of "Haag duality" is preserved exactly, and "disjoint additivity" is preserved after appropriate treatment of discreteness artifacts. Here we show that for a large class of non-invertible on-site symmetries, Haag duality is preserved exactly only for sufficiently nice, "cuspless" regions. For cusped regions, we instead have a weak form of Haag duality that requires adding a collar. Our results apply to double models with a purely magnetic constraint, and to the more general framework of constraints induced by the on-site action of a Hopf algebra. In particular, we treat a class of extended string-net models explicitly. We also demonstrate disjoint additivity for double models based on a group, and a weakened form of disjoint additivity in the setting of a general Hopf algebra.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript extends prior results on algebraic locality (Haag duality and disjoint additivity) from invertible symmetries to non-invertible on-site symmetries on a 2+1D closed lattice. It claims that exact Haag duality holds for cuspless regions but only a weak form (requiring an added collar) holds for cusped regions. The results apply to double models with purely magnetic constraints and to on-site Hopf algebra actions, including explicit treatment of extended string-net models. Disjoint additivity is shown exactly for group-based double models and in weakened form for general Hopf algebras.

Significance. If the central derivations hold, the work provides a concrete algebraic framework for locality principles under non-invertible symmetries, with direct applicability to double models and extended string-net models. This strengthens understanding of how geometric features (cusps) interact with non-invertible Gauss laws and offers explicit constructions that could inform studies of topological phases with non-invertible anyons.

major comments (2)
  1. [§4.2] §4.2 (commutant identification for cuspless regions): the argument that the commutant of the non-invertible Gauss-law constraint equals the algebra supported on the complement appears to adapt the invertible-case construction from arXiv:2509.03589 by replacing group representations with Hopf coactions or projectors. It is unclear whether the steps establishing that any commuting operator must factor through the complement avoid implicit use of invertibility (e.g., existence of inverses to construct dual operators or to cancel boundary terms). This identification is load-bearing for the exact Haag-duality claim.
  2. [§5.3] §5.3 (extended string-net models): the explicit verification of the weak Haag duality with collar for cusped regions is stated but the size of the collar and the precise action of the Hopf-algebra constraint on the boundary operators are not computed in an example. Without this, it is difficult to confirm that the collar exactly restores the commutant equality and that no residual non-local terms remain.
minor comments (2)
  1. [Introduction] The definition of 'cuspless' versus 'cusped' regions is used throughout but first appears only after the abstract; a brief geometric characterization or reference to a figure in the introduction would improve readability.
  2. [§3 and §5] Notation for the Hopf-algebra coaction (e.g., the symbol for the on-site action) is introduced in §3 but reused with slight variations in §5; a single consolidated table of symbols would reduce ambiguity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful and constructive review of our manuscript. We address the two major comments point by point below, providing clarifications on the proof structure and committing to revisions that strengthen the presentation without altering the core claims.

read point-by-point responses

  1. Referee: [§4.2] §4.2 (commutant identification for cuspless regions): the argument that the commutant of the non-invertible Gauss-law constraint equals the algebra supported on the complement appears to adapt the invertible-case construction from arXiv:2509.03589 by replacing group representations with Hopf coactions or projectors. It is unclear whether the steps establishing that any commuting operator must factor through the complement avoid implicit use of invertibility (e.g., existence of inverses to construct dual operators or to cancel boundary terms). This identification is load-bearing for the exact Haag-duality claim.

    Authors: We thank the referee for this observation. The proof in §4.2 proceeds by defining the constraint algebra via the Hopf coaction on the lattice operators and using the idempotence of the associated projectors together with the strict locality of the on-site action. Any operator commuting with all generators of the constraint algebra is shown to have vanishing support on the region by direct expansion in the local basis; this step relies only on the coassociativity and counit properties of the Hopf algebra, not on the existence of inverses or dual operators. Boundary terms are controlled by the finite support of the coaction rather than cancellation via inverses. To eliminate any ambiguity, we will insert a short paragraph in the revised §4.2 that explicitly contrasts the invertible and non-invertible steps and flags the properties used. This constitutes a partial revision focused on exposition. revision: partial

  2. Referee: [§5.3] §5.3 (extended string-net models): the explicit verification of the weak Haag duality with collar for cusped regions is stated but the size of the collar and the precise action of the Hopf-algebra constraint on the boundary operators are not computed in an example. Without this, it is difficult to confirm that the collar exactly restores the commutant equality and that no residual non-local terms remain.

    Authors: We agree that a concrete illustration would improve readability. In the revised manuscript we will add a short explicit calculation in §5.3 for the simplest non-trivial Hopf algebra (the group algebra of ℤ₂ extended by a non-invertible projector). We specify that the collar consists of a single layer of sites adjacent to the cusp, compute the action of the Hopf constraint on the boundary plaquette operators, and verify that the resulting commutant is precisely the algebra supported on the complement plus collar, with no residual non-local terms. This example is obtained by direct matrix representation on a small lattice patch and confirms the general argument. revision: yes

Circularity Check

0 steps flagged

Builds on prior invertible case via self-citation but derives independent results for non-invertible symmetries

full rationale

The paper explicitly cites arXiv:2509.03589 for the invertible symmetry baseline and extends the analysis to non-invertible on-site symmetries using Hopf algebra coactions and magnetic constraints in double models. The central claims concern preservation of exact Haag duality only for cuspless regions and a weakened form requiring collars for cusped regions, with explicit treatment of extended string-net models. No quoted equations or derivations reduce by construction to fitted inputs, self-definitions, or unverified self-citations; the commutant identifications and additivity statements are presented as new derivations building on but not equivalent to the prior invertible results. This is a standard, non-circular extension with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard domain assumptions from algebraic quantum field theory on lattices and the framework of the cited prior work; no free parameters, new invented entities, or ad-hoc axioms are apparent from the abstract.

axioms (2)
  • domain assumption The system is defined on a closed 2+1D lattice with on-site non-invertible symmetries inducing a Gauss law.
    Explicitly stated as the setting of the study in the abstract.
  • domain assumption Haag duality and disjoint additivity are the relevant locality principles to examine, as established in prior invertible-symmetry analysis.
    The paper directly compares to and extends the results of arXiv:2509.03589.

pith-pipeline@v0.9.0 · 5715 in / 1660 out tokens · 41169 ms · 2026-05-22T09:05:25.673347+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · 12 internal anchors

  1. [1]

    Haag and D

    R. Haag and D. Kastler,An algebraic approach to quantum field theory,Journal of Mathematical Physics5(1964), no. 7 848–861

    work page 1964

  2. [2]

    Doplicher, R

    S. Doplicher, R. Haag, and J. E. Roberts,Local observables and particle statistics. 1, Commun. Math. Phys.23(1971) 199–230

    work page 1971

  3. [3]

    Doplicher, R

    S. Doplicher, R. Haag, and J. E. Roberts,Local observables and particle statistics. 2, Commun. Math. Phys.35(1974) 49–85

    work page 1974

  4. [4]

    Fredenhagen, K.-H

    K. Fredenhagen, K.-H. Rehren, and B. Schroer,Superselection Sectors with Braid Group Statistics and Exchange Algebras. 1. General Theory,Commun. Math. Phys.125(1989) 201

    work page 1989

  5. [5]

    Fredenhagen, K.-H

    K. Fredenhagen, K.-H. Rehren, and B. Schroer,Superselection sectors with braid group statistics and exchange algebras. 2. Geometric aspects and conformal covariance,Rev. Math. Phys.4(1992), no. spec01 113–157

    work page 1992

  6. [6]

    Nets of Subfactors

    R. Longo and K.-H. Rehren,Nets of subfactors,Rev. Math. Phys.7(1995) 567–598, [hep-th/9411077]

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  7. [7]

    Kosaki-Longo index and classification of charges in 2D quantum spin models

    P. Naaijkens,Kosaki-Longo index and classification of charges in 2D quantum spin models, J. Math. Phys.54(2013) 081901, [arXiv:1303.4420]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  8. [8]

    Subfactors and quantum information theory

    P. Naaijkens,Subfactors and quantum information theory,Contemp. Math.717(2018) 257–279, [arXiv:1704.05562]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  9. [9]

    Casini, M

    H. Casini, M. Huerta, J. M. Magan, and D. Pontello,Entropic order parameters for the phases of QFT,JHEP04(2021) 277, [arXiv:2008.11748]

    work page arXiv 2021

  10. [10]

    Casini and J

    H. Casini and J. M. Magan,On completeness and generalized symmetries in quantum field theory,Mod. Phys. Lett. A36(2021), no. 36 2130025, [arXiv:2110.11358]

    work page arXiv 2021

  11. [11]

    Jones, P

    C. Jones, P. Naaijkens, D. Penneys, and D. Wallick,Local topological order and boundary algebras,arXiv:2307.12552

    work page arXiv

  12. [12]

    Benedetti, H

    V. Benedetti, H. Casini, Y. Kawahigashi, R. Longo, and J. M. Magan,Modular invariance as completeness,Phys. Rev. D110(2024), no. 12 125004, [arXiv:2408.04011]

    work page arXiv 2024

  13. [13]

    S.-H. Shao, J. Sorce, and M. Srivastava,Additivity, Haag duality, and non-invertible symmetries,JHEP08(2025) 009, [arXiv:2503.20863]

    work page arXiv 2025

  14. [14]

    D. E. Evans and C. Jones,An operator algebraic approach to fusion category symmetry on the lattice,arXiv:2507.05185

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Harlow, S.-H

    D. Harlow, S.-H. Shao, J. Sorce, and M. Srivastava,Disjoint additivity and local quantum physics,arXiv:2509.03589

    work page arXiv

  16. [16]

    van Luijk, A

    L. van Luijk, A. Stottmeister, and H. Wilming,Uniqueness of Purifications Is Equivalent to Haag Duality,Phys. Rev. Lett.136(2026), no. 4 040203, [arXiv:2509.12911]

    work page arXiv 2026

  17. [17]

    Casini and J

    H. Casini and J. M. Magan,A generalization of the DHR theorem for higher form symmetries,arXiv:2511.21810

    work page arXiv

  18. [18]

    A. Y. Kitaev,Fault tolerant quantum computation by anyons,Annals Phys.303(2003) 2–30, [quant-ph/9707021]

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  19. [19]

    A hierarchy of topological tensor network states

    O. Buerschaper, J. M. Mombelli, M. Christandl, and M. Aguado,A hierarchy of topological tensor network states,Journal of Mathematical Physics54(Jan., 2013) [arXiv:1007.5283]. – 51 –

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  20. [20]

    Electric-magnetic duality of lattice systems with topological order

    O. Buerschaper, M. Christandl, L. Kong, and M. Aguado,Electric-magnetic duality of lattice systems with topological order,Nucl. Phys. B876(2013) 619–636, [arXiv:1006.5823]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  21. [21]

    B. Yan, P. Chen, and S. X. Cui,Ribbon operators in the generalized kitaev quantum double model based on hopf algebras,Journal of Physics A: Mathematical and Theoretical55(Apr.,

    work page

  22. [22]

    185201, [arXiv:2105.08202]

    work page arXiv

  23. [23]

    Y. Choi, H. T. Lam, and S.-H. Shao,Non-invertible Gauss law and axions,JHEP09(2023) 067, [arXiv:2212.04499]

    work page arXiv 2023

  24. [24]

    Sorce,Notes on the type classification of von Neumann algebras,Rev

    J. Sorce,Notes on the type classification of von Neumann algebras,Rev. Math. Phys.36 (2024), no. 02 2430002, [arXiv:2302.01958]

    work page arXiv 2024

  25. [25]

    Kogut and L

    J. Kogut and L. Susskind,Hamiltonian formulation of wilson’s lattice gauge theories,Phys. Rev. D11(Jan, 1975) 395–408

    work page 1975

  26. [26]

    D. Horn, M. Weinstein, and S. Yankielowicz,Hamiltonian approach toz(n)lattice gauge theories,Phys. Rev. D19(Jun, 1979) 3715–3731

    work page 1979

  27. [27]

    Mapping Kitaev's quantum double lattice models to Levin and Wen's string-net models

    O. Buerschaper and M. Aguado,Mapping kitaev’s quantum double lattice models to levin and wen’s string-net models,Physical Review B80(Oct., 2009) [arXiv:0907.2670]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  28. [28]

    K. T. K. Chung, U. Borla, A. H. Nevidomskyy, and S. Moroz,Spontaneously broken non-invertible symmetries in transverse-field ising qudit chains,arXiv:2508.11003

    work page arXiv

  29. [29]

    Fulton and J

    W. Fulton and J. Harris,Representation theory: a first course. Springer Science & Business Media, 2013

    work page 2013

  30. [30]

    Ali Ahmad, M

    S. Ali Ahmad, M. S. Klinger, and Y. Wang,The Many Faces of Non-invertible Symmetries, arXiv:2509.18072

    work page arXiv

  31. [31]

    Turaev and O

    V. Turaev and O. Viro,State sum invariants of 3-manifolds and quantum 6j-symbols, Topology31(1992), no. 4 865–902

    work page 1992

  32. [32]

    Turaev-Viro invariants as an extended TQFT

    A. Kirillov, Jr. and B. Balsam,Turaev-Viro invariants as an extended TQFT, arXiv:1004.1533

    work page internal anchor Pith review Pith/arXiv arXiv

  33. [33]

    Kawagoe, C

    K. Kawagoe, C. Jones, S. Sanford, D. Green, and D. Penneys,Levin-Wen is a Gauge Theory: Entanglement from Topology,Commun. Math. Phys.405(2024), no. 11 266, [arXiv:2401.13838]

    work page arXiv 2024

  34. [34]

    Fusion Category Symmetry I: Anomaly In-Flow and Gapped Phases

    R. Thorngren and Y. Wang,Fusion category symmetry. Part I. Anomaly in-flow and gapped phases,JHEP04(2024) 132, [arXiv:1912.02817]

    work page internal anchor Pith review arXiv 2024

  35. [35]

    V. G. Drinfeld,Quantum groups,Zap. Nauchn. Semin.155(1986) 18–49

    work page 1986

  36. [36]

    Kitaev's Lattice Model and Turaev-Viro TQFTs

    B. Balsam and A. Kirillov, Jr.,Kitaev’s Lattice Model and Turaev-Viro TQFTs, arXiv:1206.2308

    work page internal anchor Pith review Pith/arXiv arXiv

  37. [37]

    C.-H. Lin, M. Levin, and F. J. Burnell,Generalized string-net models: A thorough exposition, Phys. Rev. B103(2021), no. 19 195155, [arXiv:2012.14424]

    work page arXiv 2021

  38. [38]

    J. W. Milnor and J. C. Moore,On the structure of hopf algebras,Annals of Mathematics81 (1965), no. 2 211–264

    work page 1965

  39. [39]

    Kitaev models based on unitary quantum groupoids

    L. Chang,Kitaev models based on unitary quantum groupoids,Journal of Mathematical Physics55(Apr., 2014) [arXiv:1309.4181]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  40. [40]

    Kassel,Quantum Groups, vol

    C. Kassel,Quantum Groups, vol. 155 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1995. – 52 –

    work page 1995

  41. [41]

    Montgomery,Hopf Algebras and Their Actions on Rings, vol

    S. Montgomery,Hopf Algebras and Their Actions on Rings, vol. 82 ofCBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence, RI, 1993

    work page 1993

  42. [42]

    Klimyk and K

    A. Klimyk and K. Schmüdgen,Quantum Groups and Their Representations. Springer, Berlin, Heidelberg, 1997

    work page 1997

  43. [43]

    Inamura, On lattice models of gapped phases with fusion category symmetries , JHEP 03 (2022) 036, [ arXiv:2110.12882]

    K. Inamura,On lattice models of gapped phases with fusion category symmetries,JHEP03 (2022) 036, [arXiv:2110.12882]

    work page arXiv 2022

  44. [44]

    D.-C. Lu, A. Chatterjee, and N. Tantivasadakarn,Generalized kramers-wannier self-duality in hopf-ising models,arXiv:2602.10183

    work page arXiv

  45. [45]

    Cordova, N

    C. Cordova, N. Holfester, and K. Ohmori,Representation theory of solitons,JHEP06(2025) 001, [arXiv:2408.11045]

    work page arXiv 2025

  46. [46]

    R. G. Larson and D. E. Radford,Semisimple cosemisimple hopf algebras,American Journal of Mathematics110(1988), no. 1 187–195. – 53 –

    work page 1988