Two-Dimensional Bialgebras and Quantum Groups: Algebraic Structures and Tensor Network Realizations

Andr\'as Moln\'ar; Germ\'an Sierra; Jos\'e Garre-Rubio

REVIEW 4 major objections 6 minor 24 references

Two-Dimensional Bialgebras and Quantum Groups: Algebraic Structures and Tensor Network Realizations

T0 review · 4 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that quantum-group symmetries such as $U_q[su(2)]$ can be carried over to two-dimensional square lattices by replacing the one-dimensional coproduct with horizontal and vertical growth maps, yielding 2D generators…

desk verdict A genuine 2D coalgebra framework with mostly correct explicit algebra, but the abstract's 'local' claim is contradicted by the paper's own main example, and the bialgebra extension is asserted rather than proved. read the letter →

arxiv 2507.22541 v1 pith:25C3FZTR submitted 2025-07-30 quant-ph cond-mat.str-elmath-phmath.MP

José Garre-Rubio , András Molnár , Germán Sierra This is my paper · ORCID

classification quant-phcond-mat.str-elmath-phmath.MP MSC 16T0516T2517B3781R50

keywords two-dimensionalbialgebrasquantumgroupsU_q[su(2)]coproducttensornetworksPEPSR-matrixTaft-Hopfalgebra

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper sets out to define what a coalgebra or bialgebra should mean when the extra sites produced by the coproduct are arranged on a two-dimensional square lattice instead of a line. Its proposal is to replace the single coproduct with two families of maps, one that grows columns horizontally and one that grows rows vertically, and to require those maps to be associative and mutually compatible when they build rectangles. The payoff is an explicit two-dimensional version of the quantum group $U_q[su(2)]$: operators on any rectangular lattice that obey the same $q$-deformed relations as the one-dimensional generators, together with $q$-singlet states and a 2D $R$-matrix that intertwines the 2D coproduct with its permuted version in the semiclassical limit. The paper also shows that tensor network states with boundaries, in particular PEPS, carry the same 2D coalgebra structure. If the construction holds, quantum group symmetry becomes a usable organizing principle for two-dimensional lattice systems, not just for chains.

What carries the argument

The central machinery is the pair of boundary-growth maps, $\square_x^n$ and $\square_y^n$, with their quasi-1D associativity and the $xy$-compatibility axiom. The main example's power comes from a non-local rearrangement of the 1D coproduct (15), transferring a 1D bialgebra multiplication onto a 2D layout; the compatibility condition (10) is what makes the resulting operators algebra homomorphisms. For $U_q[su(2)]$, the defining check is that the 2D generators obey (26)-(27), and the 2D $R$-matrix is the ordered product of 1D $R$-matrices, $R_{1234}=R_{14}^{-1}R_{24}^{-1}R_{13}^{-1}R_{23}^{-1}R_{34}R_{12}$, designed so its expansion reproduces the classical $r$-matrix solution.

What would settle it

Take a small finite lattice and a product of two algebra elements, such as the mixed column with $a$ above $v$, and evaluate both sides of the homomorphism condition (10) for $\square_x^2$ using the definitions of Sec. 4.4. The construction of $\boxtimes^{n,m}$ and its $U_q[su(2)]$ relations requires this identity to hold for every product, so any finite difference between the two sides refutes the central claim.

Watch

Extended reading notes

Core claim

The paper's claim is that the algebraic scaffolding of Hopf algebras can be repeated one dimension up: two families of maps, a horizontal $\square_x^n$ that grows a column of $n$ sites into two columns and a vertical $\square_y^m$ that grows a row of $m$ sites into two rows, form a 2D coalgebra when they are associative in each direction and satisfy the $xy$-compatibility condition $\square_x^2 \circ \square_y^1 = \square_y^2 \circ \square_x^1$. The main nontrivial input is a non-local rearrangement of the 1D coproduct $\Delta(v)=a\otimes v+v\otimes b$: the 2D vector $\boxtimes^{n,m}(v)$ places a distinguished $v$ at one lattice position and fills the rest with group-like $a$ or $b$. This is used to define operators $\boxtimes^{n,m}(S^\pm)$ and $\boxtimes^{n,m}(K^\pm)$, and the paper checks that the $U_q[su(2)]$ relations hold at every system size. It then constructs the operator $R_{1234}=R_{14}^{-1}R_{24}^{-1}R_{13}^{-1}R_{23}^{-1}R_{34}R_{12}$ that intertwines the 2D coproduct with its permuted version in the semiclassical limit, and shows that PEPS with boundary conditions realize the same maps.

Load-bearing premise

The load-bearing premise is that the growth rules written down only for columns and rows with one special element surrounded by group-like entries extend to every possible tensor product vector while still satisfying the product-compatibility condition (10).

Editorial extensions

If this is right

For any finite rectangular lattice, the operators $\boxtimes^{n,m}(S^\pm)$ and $\boxtimes^{n,m}(K^\pm)$ satisfy the $U_q[su(2)]$ relations (26)-(27), so the quantum group symmetry exists at every system size rather than only in the thermodynamic limit.
The 2D $R$-matrix of Eq. (51) intertwines the 2D coproduct with its permuted version to first order in $h=\log q$, giving a semiclassical braiding structure for the 2D setting.
The non-local 1D-coproduct construction applies to Taft-Hopf algebras as well, so the framework covers a family of finite-dimensional Hopf algebras and not only $U_q[su(2)]$.
PEPS with suitable boundary conditions define valid 2D coalgebra maps, so tensor network states naturally supply examples of the algebraic structure.
The compatibility equations extend to triangular and three-dimensional square lattices, and to angle-labelled assignments of group-like elements, so the square-lattice $U_q[su(2)]$ example is one member of a larger family.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper, the existence of a 2D $R$-matrix for every rectangle invites a search for a generalized Yang-Baxter or tetrahedron equation; checking whether $R_{1234}$ satisfies one would show whether the 2D braiding is genuinely new or reduces to the 1D one.
Beyond the paper, a sharper physical test is to find a local Hamiltonian that commutes with all $\boxtimes^{n,m}(S^\pm)$; the paper leaves this open, and such a Hamiltonian would turn the algebraic embedding into a concrete 2D quantum model.
Beyond the paper, the word 'local' deserves scrutiny: the construction is local in how the boundary maps grow rectangles, but the underlying rearrangement of the 1D coproduct uses a jump from one row to the next, so an effective notion of light cone is not automatically the naive lattice one.
Beyond the paper, if the extended maps really form a 2D bialgebra, their representation category should give a lattice-level algebraic model for part of a fusion 2-category, which would connect the construction to categorical symmetry results in quantum many-body physics.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Read the Garre-Rubio/Molnár/Sierra paper. Bottom line: there is a real proposal here—a row/column compatibility framework for 2D coalgebras—and most of the explicit algebra is correct, but the abstract oversells it as "local" when the main example is, by the authors' own admission, a non-local rearrangement of a 1D coproduct.

What is genuinely new: Definition 1 (2D coalgebra with horizontal/vertical maps, associativity and xy-compatibility), the non-trivial cross-like example, the q-singlet kernel computation on the 2x2 lattice, and the product formula R1234 = R14^{-1}R24^{-1}R13^{-1}R23^{-1}R34R12. The semiclassical expansion checks out against their r-matrix solution, and the explicit PEPS tensors for the main example are a nice concrete bonus. The algebraic checks in Sec. 6—the commutator of the 2D S^± operators, q-singlet annihilation, first-order R expansion—look internally consistent. I do not see a circularity problem; the derivation is self-contained, with no parameter fitted to data.

The soft spots are real but mostly repairable. First, the paper defines the coproduct maps only on columns/rows with at most one distinguished v and then says the algebra structure is "inherited." The stress-test example is fair: (v;1)(1;v) falls outside the defined domain, so Eq. (10) cannot even be checked as written. My reading is that the intended extension is to demand that each coproduct be an algebra homomorphism on the algebra generated by a,b,v (or K,S^±), and then it should work because the 1D coproduct is a homomorphism. But the proof is not there, and the paper should either state the extension axiomatically or prove it. Second, the abstract's "local and algebraically consistent method" conflicts with the paper's own statement that the arrangement has a jump of length equal to the horizontal system size. That is an overclaim, not a technical error, but it matters for the advertised message. Third, the R-matrix intertwining is shown only in the semiclassical limit; the paper does say this, though the abstract could be read as stronger. Fourth, the positioning against weak Hopf algebras, Hopf algebroids, and double groupoids is thin; readers familiar with that literature will ask whether these 2D structures are a special case of existing gadgets.

Who is this for? People working on tensor network symmetries and categorical symmetries in 2D, and quantum group specialists who want explicit 2D generators. It is not a finished theory, but it has enough explicit, checkable content to deserve referee time. I would send it to review, with the clear expectation that the extension and locality issues be fixed before publication.

Referee Report

4 major / 6 minor

Summary. The paper proposes a framework for two-dimensional coalgebra and bialgebra structures on square lattices, based on horizontal and vertical coproduct maps □^n_x and □^n_y satisfying associativity and xy-compatibility conditions. It gives several examples, including a 'quasi-1D' construction and a 'main example' that rearranges a one-dimensional coproduct into a 2D lattice. This main example is then applied to Taft–Hopf algebras and to U_q[su(2)], for which the authors define 2D generators, study q-singlet states, and construct a 2D R-matrix as a product of 1D R-matrices. The paper also sketches tensor-network (PEPS) realizations of the proposed structures. The central advertised claim is that the framework provides a local and algebraically consistent way to embed quantum-group symmetries in higher-dimensional lattice systems.

Significance. If the central construction were fully established, the paper would supply a genuinely new algebraic formalism connecting coalgebra theory, tensor networks, and higher-dimensional symmetries, with potential relevance to fusion 2-categories and categorical symmetry. The explicit algebraic checks in the manuscript, including the q-commutator computation (Eq. 27), the classical r-matrix solution (Eq. 47), and the factorization of the 2D R-matrix (Eq. 51), are internally consistent and are useful concrete results. However, the load-bearing structural claim that the main example is a 2D bialgebra is asserted rather than proved, and the advertised 'local' property is explicitly contradicted by the paper's own discussion in Sec. 4.4. These gaps currently prevent the paper from substantiating its main claim.

major comments (4)

[§4.4 and Eq. (10)] The maps □^n_x and □^n_y in the main example are defined only on strings containing at most one distinguished element v and on group-like strings. The assertion that 'the coalgebra has a compatible 2D algebra structure inherited by the 1d bialgebra' is not proven. The bialgebra homomorphism condition Eq. (10) requires □^n_i(ab)=□^n_i(a)□^n_i(b) for all a,b∈A^{⊗n}, but products of allowed inputs, such as (v;1)·(1;v), fall outside the stated domain. Consequently Eq. (10) is not checkable from the given data, and the subsequent U_q[su(2)] construction in Sec. 6.1 rests on an unproved extension.
[Abstract and §4.4] The abstract's claim of a 'local and algebraically consistent method' is contradicted by the paper's own statement in Sec. 4.4 that the arrangement 'is not local in the sense that there is a jump of length the horizontal system size to go to the next row.' The θ-generalization in Sec. 4.4.2 is likewise a non-local rearrangement. The 'local' claim must be removed or precisely qualified, and the 'algebraically consistent' claim requires the missing proof identified above.
[§6.1 and Eq. (27)] The verification that the 2D operators reproduce U_q[su(2)] relations checks the single commutator [⊞(S^+),⊞(S^-)] and the relations in Eq. (26). It does not establish that the claimed 2D coproduct is compatible with products of arbitrary elements, such as mixed products of multiple S^± and K^± factors, nor does it prove the homomorphism property Eq. (11) for the proposed algebra structure. The paper needs to specify the full algebra structure on A^{⊗n} and prove compatibility, or explicitly restrict the claim to the checked generator relations.
[§4.4, definition of □^n_x] The displayed formula for □^n_x acts nontrivially only at the position of the distinguished element v, producing two terms. This is not equal to □^n_x = ∆⊗...⊗∆ as stated in the text for n>1; the latter would produce 2^n terms when applied to a column with a single v. The definition and the accompanying claim need to be reconciled.

minor comments (6)

[Definition 1] In Definition 1, the counit for □^m_y is written as ϵ^m_x; it should presumably be ϵ^m_y.
[§4.4.1] There is a typo: 'oeprators' should be 'operators'.
[§6.2] There is a typo: 'follosing' should be 'following'.
[§6.3.1] There is a typo: 'connstructionn' should be 'construction'.
[References] The reference [Nas] is incomplete; a full citation should be provided.
[§5] Several tensor-network identities are presented only as diagrams in the text; in the current version these figures are not all legible. Please ensure all diagrams are included and clearly labeled.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the 2D U_q[su(2)] operators and R-matrix are derived by direct computation from standard 1D quantum-group data, not from fitted or self-referential inputs.

full rationale

The central derivation is self-contained and not circular. The 2D operators ⊞^{n,m}(S^±) in Eq. (24) are defined from standard U_q[su(2)] data, and Eqs. (26)-(27) are verified by direct commutator algebra using the standard 1D relations [S^+, S^-] = (K^{+2} - K^{-2})/(q - q^{-1}) and K^α S^± = q^{±α} S^± K^α. No parameter is fitted and no external dataset is invoked, so nothing is 'predicted' from a fitted input. The 2D R-matrix in Eq. (51) is not imported by citation: it is constructed by explicit conjugation of ⊞^{2,2}(S^±) by products of 1D R-matrices, and the semiclassical expansion is then checked against the previously derived linear equation (46)-(47); this is a consistency check, not a definitional circularity. The only self-citations (Ref. [MdAGR+22], used for the MPS/PEPS-coalgebra correspondence in Prop. 1 and Sec. 5) are not load-bearing for the algebraic results; even if they were removed, the U_q commutator and R-matrix derivations stand on their own. Two non-circular weaknesses should be flagged. First, Sec. 4.4 asserts that 'the coalgebra has a compatible 2D algebra structure inherited by the 1d bialgebra' without explicitly proving Eq. (10) for arbitrary products; however, since the construction is explicitly described as a rearrangement of the 1D coproduct via ordering (17), the homomorphism condition follows from the 1D bialgebra axiom, so the gap is expository rather than circular. Second, the abstract's claim of a 'local and algebraically consistent method' conflicts with the paper's own statement in Sec. 4.4 that the arrangement 'is not local in the sense that there is a jump of length the horizontal system size'; this is an internal-consistency problem, not a circularity. Overall, no step in the claimed derivation reduces by construction to its own input.

Assumptions & free parameters 2 free parameters · 5 assumptions · 2 invented entities

The framework adds a formal layer (2D coalgebra axioms, 2D R-matrix) on top of standard Hopf algebra and quantum group inputs. The only hand-chosen ingredient in the examples is the non-local ordering angle θ; the core input is the 1D bialgebra with primitive-type coproduct and the standard 1D R-matrix. The 2-category claim is speculative with no independent evidence.

free parameters (2)

ordering angle θ = 0 (default), arbitrary in [0,2π)
Defines the half-disk assignment of a/b regions in the generalized 2D coproduct (Sec. 4.4.2); different θ give different lattice reorderings, all equivalent to the same 1D coproduct.
additive constant in r_{1234} = unspecified
The classical r-matrix solution (Eq. 47) is 'unique up to an additive constant'; the constant cancels in commutators and does not affect the intertwining, so it is an irrelevant gauge freedom.

assumptions (5)

standard math Standard linear algebra over C: tensor products, associativity, vector space duals
Used throughout as the setting for coalgebras, bialgebras and coproduct maps (Sections 2, 3).
domain assumption The 1D bialgebra underlying the main example has Δ(v)=a⊗v+v⊗b with a,b group-like
Restricts the construction to Hopf algebras of primitive-plus-group-like type (Taft, U_q[su(2)]); invoked in Sec. 4.4 and Sec. 6.1.
ad hoc to paper The 2D coalgebra axioms (Definition 1), including the xy-compatibility condition Eq. (8) and the homomorphism condition Eq. (10), are imposed as the definition of the framework
The paper postulates these axioms; they are not derived from a more fundamental principle. The usefulness of the framework depends on whether nontrivial examples exist.
domain assumption The PEPS boundary map b_v ↦ |v⟩ is injective (Sec. 5)
Required for the PEPS-induced coalgebra to be well-defined; injectivity is stated as an imposition ('the only requirement is to be injective').
domain assumption The 1D R-matrix satisfies R Δ(a) = Δ_per(a) R in the spin-1/2 representation of U_q[su(2)] (Sec. 6.3.1)
Standard quasitriangularity input used to assemble the 2D R-matrix via conjugation.

invented entities (2)

2D coalgebra / 2D bialgebra structure (maps □_x^n, □_y^n, counits ε_i^n, antipodes S_i^n)
purpose: Generalizes Hopf algebra comultiplication from 0D-to-1D to 1D-to-2D growth on square lattices
New mathematical structure defined in Definition 1; satisfiable by the paper's examples but no external falsifiable handle is provided. Whether it captures physical/categorical structures (fusion 2-categories) is left open.
2D R-matrix R_{1234} = R14^{-1}R24^{-1}R13^{-1}R23^{-1}R34R12
purpose: Intertwines the 2D coproduct and its permuted version (Eq. 41)
Constructed as a product of standard 1D R-matrices; exactness for finite q is not demonstrated and no Yang-Baxter-type identity is verified. It is an object whose defining property is checked only semiclassically.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Two-Dimensional Bialgebras and Quantum Groups: Algebraic Structures and Tensor Network Realizations." pith.science (2026). https://pith.science/paper/25C3FZTR

@misc{pith2026250722541,
  author       = {Pith},
  title        = {Pith review of: Two-Dimensional Bialgebras and Quantum Groups: Algebraic Structures and Tensor Network Realizations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/25C3FZTR}},
  note         = {Machine review of arXiv:2507.22541}
}

abstract

We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is based on defining 2D coproducts through horizontal and vertical maps that satisfy compatibility and associativity conditions, enabling the consistent growth of vector spaces over lattice sites. We present several examples of 2D bialgebras, including group-like and Lie algebra-inspired constructions and a quasi-1D coproduct instance that is applicable to Taft-Hopf algebras and to quantum groups. The approach is further applied to the quantum group $U_q[su(2)]$, for which we construct 2D generalizations of its generators, analyze $q$-deformed singlet states, and derive a 2D R-matrix satisfying an intertwining relation in the semiclassical limit. Additionally, we show how tensor network states, particularly PEPS, naturally induce 2D coalgebra structures when supplemented with appropriate boundary conditions. Our results establish a local and algebraically consistent method to embed quantum group symmetries into higher-dimensional lattice systems, potentially connecting to the emerging theory of fusion 2-categories and categorical symmetries in quantum many-body physics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages

[1]

Examples of weak hopf algebras arising from vacant double groupoids

Nicol \'a s Andruskiewitsch and Juan Mart \'i n Mombelli. Examples of weak hopf algebras arising from vacant double groupoids. Nagoya Mathematical Journal , 181:1--27, 2006

work page 2006
[2]

Bultinck, M

N. Bultinck, M. Mariën, D.J. Williamson, M.B. Şahinoğlu, J. Haegeman, and F. Verstraete. Anyons and matrix product operator algebras. Annals of Physics , 378:183--233, 2017

work page 2017
[3]

Gapped phases in (2+1)d with non-invertible symmetries: Part i, 2024

Lakshya Bhardwaj, Daniel Pajer, Sakura Schafer-Nameki, Apoorv Tiwari, Alison Warman, and Jingxiang Wu. Gapped phases in (2+1)d with non-invertible symmetries: Part i, 2024

work page 2024
[4]

Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace

Gabriella B \"o hm and Korn \'e l Szlach \'a nyi. Weak hopf algebras ii. representation theory, dimensions, and the markov trace. arXiv preprint math/9906045 , 1999

work page Pith review arXiv 1999
[5]

Gapped phases in (2+1)d with non-invertible symmetries: Part ii, 2025

Lakshya Bhardwaj, Sakura Schafer-Nameki, Apoorv Tiwari, and Alison Warman. Gapped phases in (2+1)d with non-invertible symmetries: Part ii, 2025

work page 2025
[6]

Drinfeld

V.G. Drinfeld. Quantum groups. Proceedings International Congress of Mathematicians , 1986

work page 1986
[7]

Higher categorical symmetries and gauging in two-dimensional spin systems

Clement Delcamp and Apoorv Tiwari. Higher categorical symmetries and gauging in two-dimensional spin systems. SciPost Physics , 16(4), April 2024

work page 2024
[8]

A brief introduction to quantum groups, 2024

Pavel Etingof and Mykola Semenyakin. A brief introduction to quantum groups, 2024

work page 2024

Show all 24 references

[9]

Generalized global symmetries

Davide Gaiotto, Anton Kapustin, Nathan Seiberg, and Brian Willett. Generalized global symmetries. Journal of High Energy Physics , 2015(2), February 2015

2015
[10]

Quantum Groups in Two-Dimensional Physics

Cesar Gómez, Mart\'i Ruiz-Altaba, and German Sierra. Quantum Groups in Two-Dimensional Physics . Cambridge Monographs on Mathematical Physics. Cambridge University Press, 1996

1996
[11]

Classifying phases protected by matrix product operator symmetries using matrix product states

José Garre-Rubio, Laurens Lootens, and András Molnár. Classifying phases protected by matrix product operator symmetries using matrix product states. Quantum , 7:927, February 2023

2023
[12]

On two-dimensional tensor network group symmetries, 2025

José Garre-Rubio and András Molnár. On two-dimensional tensor network group symmetries, 2025

2025
[13]

(2+1)d lattice models and tensor networks for gapped phases with categorical symmetry, 2025

Kansei Inamura, Sheng-Jie Huang, Apoorv Tiwari, and Sakura Schafer-Nameki. (2+1)d lattice models and tensor networks for gapped phases with categorical symmetry, 2025

2025
[14]

Fusion surface models: 2+1d lattice models from fusion 2-categories

Kansei Inamura and Kantaro Ohmori. Fusion surface models: 2+1d lattice models from fusion 2-categories. SciPost Physics , 16(6), June 2024

2024
[15]

Ignacio Cirac, and David Pérez-García

Andras Molnar, Alberto Ruiz de Alarcón, José Garre-Rubio, Norbert Schuch, J. Ignacio Cirac, and David Pérez-García. Matrix product operator algebras i: representations of weak hopf algebras and projected entangled pair states, 2022

2022
[16]

Yang-baxter equation, bethe ansatz, yangian, lax pairs, toda and calogero-moser systems

Horatiu Nastase. Yang-baxter equation, bethe ansatz, yangian, lax pairs, toda and calogero-moser systems
[17]

A practical introduction to tensor networks: Matrix product states and projected entangled pair states

Roman Orus. A practical introduction to tensor networks: Matrix product states and projected entangled pair states. arXiv preprint arXiv:1306.2164 , 2013

2013 arXiv
[18]

Solving the yang-baxter, tetrahedron and higher simplex equations using clifford algebras

Pramod Padmanabhan and Vladimir Korepin. Solving the yang-baxter, tetrahedron and higher simplex equations using clifford algebras. Nuclear Physics B , 1007:116664, October 2024

2024
[19]

Pasquier and H

V. Pasquier and H. Saleur. Common structures between finite systems and conformal field theories through quantum groups. Nuclear Physics B , 330(2):523--556, 1990

1990
[20]

Symmetry-protected topological phases beyond groups: The q -deformed affleck-kennedy-lieb-tasaki model

Thomas Quella. Symmetry-protected topological phases beyond groups: The q -deformed affleck-kennedy-lieb-tasaki model. Phys. Rev. B , 102:081120, Aug 2020

2020
[21]

Td1: Exact diagonalization of the s = 1/2 xxz spin chain

Tommaso Roscilde. Td1: Exact diagonalization of the s = 1/2 xxz spin chain
[22]

Fusion category symmetry i: Anomaly in-flow and gapped phases

Yifan Wang Ryan Thorngren. Fusion category symmetry i: Anomaly in-flow and gapped phases. arXiv:1912.02817 , 2019

1912 arXiv
[23]

Earl J. Taft. The order of the antipode of finite-dimensional hopf algebra. Proceedings of the National Academy of Sciences , 68(11):2631--2633, 1971

1971
[24]

Verstraete and J

F. Verstraete and J. I. Cirac. Renormalization algorithms for quantum-many body systems in two and higher dimensions. ArXiv: cond-mat/0407066 , 2005

2005 arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

Examples of weak hopf algebras arising from vacant double groupoids

Nicol \'a s Andruskiewitsch and Juan Mart \'i n Mombelli. Examples of weak hopf algebras arising from vacant double groupoids. Nagoya Mathematical Journal , 181:1--27, 2006

work page 2006

[2] [2]

Bultinck, M

N. Bultinck, M. Mariën, D.J. Williamson, M.B. Şahinoğlu, J. Haegeman, and F. Verstraete. Anyons and matrix product operator algebras. Annals of Physics , 378:183--233, 2017

work page 2017

[3] [3]

Gapped phases in (2+1)d with non-invertible symmetries: Part i, 2024

Lakshya Bhardwaj, Daniel Pajer, Sakura Schafer-Nameki, Apoorv Tiwari, Alison Warman, and Jingxiang Wu. Gapped phases in (2+1)d with non-invertible symmetries: Part i, 2024

work page 2024

[4] [4]

Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace

Gabriella B \"o hm and Korn \'e l Szlach \'a nyi. Weak hopf algebras ii. representation theory, dimensions, and the markov trace. arXiv preprint math/9906045 , 1999

work page Pith review arXiv 1999

[5] [5]

Gapped phases in (2+1)d with non-invertible symmetries: Part ii, 2025

Lakshya Bhardwaj, Sakura Schafer-Nameki, Apoorv Tiwari, and Alison Warman. Gapped phases in (2+1)d with non-invertible symmetries: Part ii, 2025

work page 2025

[6] [6]

Drinfeld

V.G. Drinfeld. Quantum groups. Proceedings International Congress of Mathematicians , 1986

work page 1986

[7] [7]

Higher categorical symmetries and gauging in two-dimensional spin systems

Clement Delcamp and Apoorv Tiwari. Higher categorical symmetries and gauging in two-dimensional spin systems. SciPost Physics , 16(4), April 2024

work page 2024

[8] [8]

A brief introduction to quantum groups, 2024

Pavel Etingof and Mykola Semenyakin. A brief introduction to quantum groups, 2024

work page 2024