Pith. sign in

REVIEW 4 minor 67 references

Convergent noise-and-coarse-graining flows of topological boundary mixed states land exactly on finite *-quantum hypergroups, classified by a quantum Goursat lemma.

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 →

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

T0 review · grok-4.5

2026-07-10 05:11 UTC pith:FMQLKPYE

load-bearing objection Solid algebraic classification of noisy MPDO renormalization fixed points, with a genuine new quantum Goursat lemma that is fully proved.

arxiv 2607.08568 v1 pith:FMQLKPYE submitted 2026-07-09 math-ph cond-mat.str-elmath.MPmath.QAquant-ph

Renormalization flows for 1D mixed states and a quantum Goursat lemma

L\'eo Le-Nestour , David P\'erez-Garc\'ia , Alberto Ruiz-de-Alarc\'on This is my paper
classification math-ph cond-mat.str-elmath.MPmath.QAquant-ph MSC 81R5081P4582B2816T05
keywords renormalization flowsmatrix product density operatorsC*-Hopf algebrasfinite *-quantum hypergroupsquantum Goursat lemmaidempotent statescoideal *-subalgebrastopological boundary states
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies what happens when the exact algebraic fixed-point mixed states that sit at the boundary of two-dimensional non-chiral topological order are hit by uniform local noise and then repeatedly coarse-grained. Starting from matrix-product density operators built from finite-dimensional C*-Hopf algebras, the authors translate the physical flow into pure algebra: the noise becomes a completely positive map on the Hopf algebra, and successive coarse-grainings become convolution powers of a positive functional on the enveloping algebra. Whenever the trajectory converges, the limiting fixed point is described by a finite *-quantum hypergroup. For ordinary groups and their duals the classification reduces to the classical Goursat lemma; in full generality the authors prove a quantum Goursat lemma that lists every possible limit in terms of hypergroups on each factor, group-like projections, and an anti-isomorphism between the resulting corner Hopf algebras. The result both gives a physical home to quantum hypergroups and supplies a complete structural map of all convergent renormalization trajectories in this setting.

Core claim

Every convergent renormalization trajectory of a C*-Hopf-algebra boundary fixed point under uniform on-site noise and coarse-graining yields a matrix-product density operator fixed point associated with a finite *-quantum hypergroup; conversely every such hypergroup arises this way, and all of them are classified by the quantum Goursat lemma for finite-dimensional C*-Hopf algebras.

What carries the argument

The quantum Goursat lemma (Theorem 6.1): every finite *-quantum hypergroup inside a tensor product of two C*-Hopf algebras is uniquely determined by a hypergroup and a compatible group-like projection in each factor together with an anti-isomorphism of the resulting corner C*-Hopf algebras; this data is exactly the algebraic image of a convergent renormalization flow.

Load-bearing premise

The whole classification assumes the trajectory actually converges and works only for finite-dimensional C*-Hopf algebras, not the more general weak Hopf algebras of generic two-dimensional topological order.

What would settle it

Exhibit a convergent noise-and-coarse-graining trajectory whose limit matrix-product density operator cannot be written as the fixed point of any finite *-quantum hypergroup, or produce a finite *-quantum hypergroup that cannot arise as such a limit.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper studies renormalization flows of one-dimensional mixed states that arise as boundary theories of non-chiral 2D topological order. Starting from matrix-product density operators (MPDOs) built from faithful representations of a finite-dimensional C*-Hopf algebra A, it applies uniform on-site noise channels and the fixed-point coarse-graining map. The resulting trajectories are rewritten as convolution powers of completely positive maps on A (or equivalently of positive functionals on the enveloping algebra A ⊗ A^op). Convergent limits are shown to be new MPDO fixed points whose algebraic data are finite *-quantum hypergroups; every such hypergroup arises this way. For group algebras and their duals the fixed points are classified by the classical Goursat lemma; the authors then prove a quantum Goursat lemma (Theorem 6.1) that classifies all coideal *-subalgebras (equivalently all finite *-quantum hypergroups) inside a tensor product of two C*-Hopf algebras, thereby giving a complete structural description of the attainable renormalization fixed points.

Significance. The work supplies a clean algebraic dictionary between physical renormalization of boundary MPDOs and the theory of finite *-quantum hypergroups, together with a new structural theorem of independent interest (the quantum Goursat lemma). The proofs are complete, self-contained once standard Hopf-algebra facts are granted, and free of free parameters or circular steps. The explicit group-algebra classification recovers known subgroups of G × G and thereby makes the abstract hypergroup picture concrete. The restriction to ordinary C*-Hopf algebras (rather than weak Hopf algebras) and the standing assumption of convergence are stated clearly and do not undermine the internal correctness of the results that are proved. The paper therefore constitutes a solid contribution both to the mathematical theory of quantum hypergroups and to the classification of one-dimensional mixed-state phases.

minor comments (4)
  1. [Proposition 4.2] In the statement of Proposition 4.2 the dual basis {e_i} of A is used without an explicit reminder that it is dual with respect to the Haar measure pairing; a short parenthetical would improve readability.
  2. [Figure 4] Figure 4 is a useful summary diagram, but the arrows labelled “Rem. 4.1” and “Prop. 4.23” are slightly crowded; a minor rearrangement would make the logical flow clearer.
  3. [Example 4.12] The Kac–Paljutkin example (Example 4.12) is cited only to show that coideals need not be Hopf subalgebras; a one-sentence remark on whether the corresponding renormalization trajectory actually converges would be helpful for the reader.
  4. [Throughout] A few typographical inconsistencies appear in the Sweedler notation (occasional missing parentheses around multi-indices). They do not affect correctness but should be cleaned in the final version.

Circularity Check

1 steps flagged

No significant circularity: the classification of convergent trajectories via idempotent states, group-like projections and the quantum Goursat lemma is obtained by self-contained algebraic arguments once the standard C*-Hopf setup is granted.

specific steps
  1. self citation load bearing [Section 2.3, Proposition 2.18 and surrounding text (citing [47, Theorem 3.2])]
    "We refer to Ref. [47, Theorem 3.2] for a proof. ... the comultiplication Δ : A → A ⊗ A implements the fine-graining quantum channel ... and the linear map σ : A ⊗ A → A implements the coarse-graining quantum channel"

    The unperturbed renormalization fixed-point MPDOs and the channels F, C that generate the trajectories are taken from the authors' prior work. This is background setup rather than a load-bearing step for the new classification of limits; the subsequent algebraic analysis of convolution powers and idempotents does not rely on any unverified uniqueness claim from that citation.

full rationale

The paper's central claims (Proposition 4.2, Theorem 6.1 / 6.3) follow from explicit constructions and equivalences proved in Sections 3–6: noise channels induce CP maps F on A (or states ϕ on A⊗A^op) whose renormalization iterates are convolution powers; convergence yields idempotent states; these are shown equivalent (via Propositions 4.10, 4.16, 4.21–4.23) to group-like projections, coideal *-subalgebras and finite *-quantum hypergroups; the quantum Goursat lemma then classifies the latter inside A⊗A^op by data on each factor plus an anti-isomorphism of corner Hopf algebras. All steps are direct algebraic manipulations (Sweedler notation, Haar integrals, pulling-through identities, conditional expectations) with no free parameters, no data fitting, and no reduction of a claimed prediction to an input by construction. Self-citations (e.g. to the authors' earlier MPO-algebra papers for the unperturbed fixed-point tensors and the channels F, C) supply only the initial data of Section 2; they are not invoked to force uniqueness or to smuggle an ansatz into the new classification. The restrictions to finite-dimensional C*-Hopf algebras and to convergent trajectories are stated explicitly and do not create internal circularity. Hence the derivation chain is independent of its own conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper rests entirely on the standard theory of finite-dimensional C*-Hopf algebras (Haar integrals, antipodes, duals, coideals) together with the earlier construction of renormalization fixed-point MPDOs from Hopf-algebra representations. No free parameters are fitted. The only domain assumptions are the physical modelling choices (uniform on-site noise, restriction to ordinary Hopf rather than weak Hopf algebras, and the existence of a convergent trajectory).

axioms (4)
  • standard math Existence and uniqueness of the Haar integral and Haar measure on a finite-dimensional C*-Hopf algebra, together with the standard pulling-through and integral identities.
    Invoked throughout Sections 2–6 (e.g., Eqs. 14–22, 16–17) as background.
  • standard math Correspondence between idempotent states, group-like projections and coideal *-subalgebras (Franz–Skalski, Landstad–Van Daele).
    Used as the bridge from convolution powers to hypergroups (Propositions 4.10, 4.16, 4.21–4.23).
  • domain assumption The unperturbed boundary MPDOs generated by faithful representations of a C*-Hopf algebra are renormalization fixed points under the fine- and coarse-graining channels F and C of Section 2.3.
    Taken from the authors’ earlier works and from Cirac et al.; stated as the starting point of the flow.
  • domain assumption Noise is modelled by a single completely-positive trace-preserving map applied uniformly on every site, and the trajectory is assumed to converge.
    Explicit modelling choice of Section 3; convergence is required for the fixed-point classification (opening of Section 4).

pith-pipeline@v1.1.0-grok45 · 54289 in / 2705 out tokens · 31214 ms · 2026-07-10T05:11:50.372785+00:00 · methodology

0 comments
read the original abstract

Renormalization provides a framework for relating microscopic models of physical systems to effective descriptions at larger length scales. This procedure is studied for the boundary states of non-chiral two-dimensional topologically ordered models. The initial data consist of renormalization fixed points built from representations of finite-dimensional $C^*$-Hopf algebras, which are then perturbed by uniform on-site noise quantum channels and repeatedly coarse-grained. The resulting flows admit an intrinsic algebraic description in terms of completely positive maps on the $C^*$-Hopf algebra or, equivalently, positive linear functionals on its enveloping $C^*$-Hopf algebra. Their iteration is governed by convolution powers, and convergent trajectories yield new matrix product density operator fixed points, described by finite $*$-quantum hypergroups. This provides a concrete physical interpretation of such structures. For finite group algebras and their duals, we provide explicit classifications via Goursat's lemma for groups. Finally, we formulate and prove a quantum generalization of Goursat's lemma for finite-dimensional $C^*$-Hopf algebras, a result of independent interest, which gives an explicit structural description of all convergent renormalization trajectories.

Figures

Figures reproduced from arXiv: 2607.08568 by Alberto Ruiz-de-Alarc\'on, David P\'erez-Garc\'ia, L\'eo Le-Nestour.

Figure 1
Figure 1. Figure 1: Diagrammatic representation of the actions characterizing the fine- and coarse-graining quantum channels F and C described in Equations 35 and 37. Here, tensors are represented as boxes and their indices as legs. The central object is the tensor M ∈ End K ⊗ End H, a four-index tensor drawn as a box with two horizontal legs, representing the first tensor factor, End K ∼= K∗ ⊗ K, and two vertical legs, repre… view at source ↗
Figure 2
Figure 2. Figure 2: Diagrammatic representation, in the tensor network picture, of Equations 40 to 44, following the conventions of [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Diagrammatic representation of the renormalization flow gen￾erated by the tensors in Equations 40, 41 and 47. 3.2. From noise quantum channels to algebra maps. We will now show that the trajectories of quantum channels Nn introduced in the previous subsection can be under￾stood as trajectories of linear maps Fn on the C ∗ -Hopf algebra A satisfying the appropriate compatibility conditions, or equivalently … view at source ↗
Figure 4
Figure 4. Figure 4: Summary of the relations between the different structures. Let us now state a first version of our first main result. Proposition 4.2. Let A be a C ∗ -Hopf algebra and let Φ and Ψ be faithful ∗-representations of A and A∗ , respectively. Recall that the associated renormalization fixed point matrix product density operators are generated by the tensor M = dim X A i=1 Ψ(e i ) ⊗ ˆb(hˆ)Φ(ei). After perturbati… view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

67 extracted references · 67 canonical work pages · 38 internal anchors

  1. [1]

    D. D. Anderson and V. Camillo. Subgroups of direct products of groups, ideals and subrings of direct products of rings, and Goursat’s lemma. In N. V. Dung, F. Guerriero, L. Hammoudi, and P. Kanwar, editors, Contemporary Mathematics, volume 480, pages 1–12. American Mathematical Society, Providence, Rhode Island, 2009. doi:10.1090/conm/480/09364

    work page doi:10.1090/conm/480/09364 2009

  2. [2]

    B¨ ohm, F

    G. B¨ ohm, F. Nill, and K. Szlach´ anyi. Weak Hopf Algebras I: Integral Theory and C*-structure. Journal of Algebra , 221(2):385–438, Nov. 1999. doi:10.1006/jabr.1999.7984. arXiv:math/9805116

    work page doi:10.1006/jabr.1999.7984 1999

  3. [3]

    B¨ ohm and K

    G. B¨ ohm and K. Szlach´ anyi. Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace. Journal of Algebra, 233(1):156–212, Nov. 2000. doi:10.1006/jabr.2000.8379. arXiv: math/9906045

    work page doi:10.1006/jabr.2000.8379 2000

  4. [4]

    Anyons and matrix product operator algebras

    N. Bultinck, M. Mari¨ en, D. J. Williamson, M. B. S ¸ahino˘ glu, J. Haegeman, and F. Verstraete. Anyons and matrix product operator algebras. Annals of Physics , 378:183–233, Mar. 2017. doi: 10.1016/j.aop.2017.01.004. arXiv:1511.08090

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2017.01.004 2017

  5. [5]

    Classification of Gapped Symmetric Phases in 1D Spin Systems

    X. Chen, Z.-C. Gu, and X.-G. Wen. Classification of gapped symmetric phases in one-dimensional spin systems. Physical Review B , 83(3):035107, 2011. doi:10.1103/PhysRevB.83.035107. arXiv: 1008.3745

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevb.83.035107 2011

  6. [6]

    Integrals in left coideal subalgebras and group-like projections

    A. Chirvasitu, P. Kasprzak, and P. Szulim. Integrals in Left Coideal Subalgebras and Group-Like Projections. Algebras and Representation Theory , 23(4):1499–1522, Aug. 2020. doi:10.1007/ s10468-019-09889-1 . arXiv:1808.01922

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  7. [7]

    Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories

    J. Cirac, D. P´ erez-Garc´ ıa, N. Schuch, and F. Verstraete. Matrix product density operators: Re- normalization fixed points and boundary theories. Annals of Physics , 378:100–149, Mar. 2017. doi:10.1016/j.aop.2016.12.030. arXiv:1606.00608. RENORMALIZATION FLOWS FOR 1D MIXED STATES AND A QUANTUM GOURSAT LEMMA 45

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2016.12.030 2017

  8. [8]

    J. I. Cirac, D. P´ erez-Garc´ ıa, N. Schuch, and F. Verstraete. Matrix product states and projected entangled pair states: Concepts, symmetries, theorems. Reviews of Modern Physics , 93(4):045003, Dec. 2021. doi:10.1103/RevModPhys.93.045003. arXiv:2011.12127

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/revmodphys.93.045003 2021

  9. [9]

    J. I. Cirac, D. Poilblanc, N. Schuch, and F. Verstraete. Entanglement spectrum and boundary theories with projected entangled-pair states. Physical Review B, 83(24):245134, 2011

    work page 2011

  10. [10]

    Classification of phases for mixed states via fast dissipative evolution

    A. Coser and D. P´ erez-Garc´ ıa. Classification of phases for mixed states via fast dissipative evolution. Quantum, 3:174, Aug. 2019. doi:10.22331/q-2019-08-12-174 . arXiv:1810.05092

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.22331/q-2019-08-12-174 2019

  11. [11]

    Characterizing Topological Order with Matrix Product Operators

    M. S ¸ahino˘ glu, D. Williamson, N. Bultinck, M. Mari¨ en, J. Haegeman, N. Schuch, and F. Verstraete. Characterizing Topological Order with Matrix Product Operators.Annales Henri Poincar´ e, 22(2):563– 592, Feb. 2021. doi:10.1007/s00023-020-00992-4 . arXiv:1409.2150

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00023-020-00992-4 2021

  12. [12]

    N. Ebel, T. Kennedy, and S. Rychkov. Rotations, Negative Eigenvalues, and Newton Method in Tensor Network Renormalization Group. Physical Review X, 15(3):031047, Aug. 2025. doi:10.1103/ y3xz-t2w8. arXiv:2408.10312

    work page arXiv 2025

  13. [13]

    N. Ebel, T. Kennedy, and S. Rychkov. Tensor Renormalization Group Meets Computer Assistance, June 2025. arXiv:2506.03247

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  14. [14]

    On fusion categories

    P. Etingof, D. Nikshych, and V. Ostrik. On fusion categories. Annals of Mathematics, 162(2):581–642, Sept. 2005. doi:10.4007/annals.2005.162.581. arXiv:math/0203060

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4007/annals.2005.162.581 2005

  15. [15]

    P. I. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, editors. Tensor categories. Number volume 205 in Mathematical surveys and monographs. American Mathematical Society, Providence, Rhode Island, 2015

    work page 2015

  16. [16]

    Tensor Network Renormalization

    G. Evenbly and G. Vidal. Tensor Network Renormalization. Physical Review Letters, 115(18):180405, Oct. 2015. doi:10.1103/PhysRevLett.115.180405. arXiv:1412.0732

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.115.180405 2015

  17. [17]

    Tensor network renormalization yields the multi-scale entanglement renormalization ansatz

    G. Evenbly and G. Vidal. Tensor Network Renormalization Yields the Multiscale Entanglement Renor- malization Ansatz. Physical Review Letters, 115(20):200401, Nov. 2015. doi:10.1103/PhysRevLett. 115.200401. arXiv:1502.05385

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett 2015

  18. [18]

    Fannes, B

    M. Fannes, B. Nachtergaele, and R. F. Werner. Finitely correlated states on quantum spin chains. Communications in Mathematical Physics , 144(3):443–490, 1992. doi:10.1007/BF02099178

    work page doi:10.1007/bf02099178 1992

  19. [19]

    Franz and A

    U. Franz and A. Skalski. A new characterisation of idempotent states on finite and compact quantum groups. Comptes Rendus. Math´ ematique, 347(17-18):991–996, 2009. doi:10.1016/j.crma.2009.06

    work page doi:10.1016/j.crma.2009.06 2009

  20. [20]

    On idempotent states on quantum groups

    U. Franz and A. Skalski. On idempotent states on quantum groups. Journal of Algebra , 322(5):1774–1802, Sept. 2009. doi:10.1016/j.jalgebra.2009.05.037. arXiv:0808.1683

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2009.05.037 2009

  21. [21]

    Franz, A

    U. Franz, A. Skalski, and R. Tomatsu. Idempotent states on compact quantum groups and their classification on U q(2), SUq(2), and SOq(3). Journal of Noncommutative Geometry , 7(1):221–254,

    work page

  22. [22]

    Idempotent states on compact quantum groups and their classification on U_q(2), SU_q(2), and SO_q(3)

    doi:10.4171/jncg/115. arXiv:0903.2363

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/jncg/115

  23. [23]

    Gell-Mann and F

    M. Gell-Mann and F. E. Low. Quantum Electrodynamics at Small Distances. Physical Review, 95(5):1300–1312, Sept. 1954. doi:10.1103/PhysRev.95.1300

    work page doi:10.1103/physrev.95.1300 1954

  24. [24]

    E. Goursat. Sur les substitutions orthogonales et les divisions r´ eguli` eres de l’espace.Annales scien- tifiques de l’ ´Ecole normale sup´ erieure, 6:9–102, 1889. doi:10.24033/asens.317

    work page doi:10.24033/asens.317

  25. [25]

    M. B. Hastings. An area law for one-dimensional quantum systems. Journal of Statistical Mechanics: Theory and Experiment , 2007(08):P08024–P08024, Aug. 2007. doi:10.1088/1742-5468/2007/08/ P08024. arXiv:0705.2024

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1742-5468/2007/08/ 2007

  26. [26]

    Matrix Product Unitaries: Structure, Symmetries, and Topological Invariants

    J. Ignacio Cirac, D. Perez-Garcia, N. Schuch, and F. Verstraete. Matrix product unitaries: structure, symmetries, and topological invariants. Journal of Statistical Mechanics: Theory and Experiment , 2017(8):083105, Aug. 2017. doi:10.1088/1742-5468/aa7e55. arXiv:1703.09188

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1742-5468/aa7e55 2017

  27. [27]

    G. I. Kac and V. G. Paljutkin. Finite ring groups. Trudy Moskov. Mat. Obˇ sˇ c., 15:224–261, 1966

    work page 1966

  28. [28]

    L. P. Kadanoff. Scaling laws for Ising models near Tc. Physics Physique Fizika , 2(6):263–272, June

    work page

  29. [29]

    doi:10.1103/PhysicsPhysiqueFizika.2.263

    work page doi:10.1103/physicsphysiquefizika.2.263

  30. [30]

    M. J. Kastoryano, A. Lucia, and D. Perez-Garcia. Locality at the boundary implies gap in the bulk for 2d peps. Communications in Mathematical Physics , 366(3):895–926, 2019

    work page 2019

  31. [31]

    K. Kato. Exact renormalization group flow for matrix product density operators, Oct. 2024. arXiv: 2410.22696

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  32. [32]

    Kawada and K

    Y. Kawada and K. Itˆ o. On the Probability Distribution on a Compact Group. I, 1940. doi: 10.11429/ppmsj1919.22.12_977. 46 L. LE-NESTOUR, D. P ´EREZ-GARC´IA, AND A. RUIZ-DE-ALARC ´ON

    work page doi:10.11429/ppmsj1919.22.12_977 1940

  33. [33]

    Tensor RG approach to high-temperature fixed point

    T. Kennedy and S. Rychkov. Tensor RG Approach to High-Temperature Fixed Point. Journal of Statistical Physics, 187(3):33, June 2022. doi:10.1007/s10955-022-02924-4 . arXiv:2107.11464

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10955-022-02924-4 2022

  34. [34]

    Tensor Renormalization Group at Low Temperatures: Discontinuity Fixed Point

    T. Kennedy and S. Rychkov. Tensor Renormalization Group at Low Temperatures: Discontinuity Fixed Point. Annales Henri Poincar´ e, 25(1):773–841, Jan. 2024. doi:10.1007/s00023-023-01289-y . arXiv:2210.06669

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00023-023-01289-y 2024

  35. [35]

    A. Y. Kitaev. Fault-tolerant quantum computation by anyons. Annals of Physics , 303(1):2–30, 2003. doi:10.1016/S0003-4916(02)00018-0. arXiv:quant-ph/9707021

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0003-4916(02)00018-0 2003

  36. [36]

    M. B. Landstad and A. Van Daele. Compact and discrete subgroups of algebraic quantum groups I, Apr. 2007. arXiv:math/0702458

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  37. [37]

    M. B. Landstad and A. Van Daele. Finite quantum hypergroups. Rocky Mountain Journal of Mathematics, 55(6), 2025. doi:10.1216/rmj.2025.55.1651. arXiv:2209.13282

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1216/rmj.2025.55.1651 2025

  38. [38]

    Tensor renormalization group approach to 2D classical lattice models

    M. Levin and C. P. Nave. Tensor Renormalization Group Approach to Two-Dimensional Classical Lattice Models. Physical Review Letters, 99(12):120601, Sept. 2007. doi:10.1103/PhysRevLett.99. 120601. arXiv:cond-mat/0611687

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.99 2007

  39. [39]

    M. A. Levin and X.-G. Wen. String-net condensation: A physical mechanism for topological phases. Physical Review B, 71(4):045110, 2005. doi:10.1103/PhysRevB.71.045110. arXiv:cond-mat/ 0404617

    work page doi:10.1103/physrevb.71.045110 2005

  40. [40]

    Y. Liu. Establishing Mixed-State Phase Equivalence beyond Renormalization Fixed Points, 2026. arXiv:2605.04159

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  41. [41]

    Y. Liu, A. Molnar, X.-Q. Sun, F. Verstraete, K. Kato, and L. Lootens. Trading Mathematical for Physical Simplicity: Bialgebraic Structures in Matrix Product Operator Symmetries, Sept. 2025. arXiv:2509.03600

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  42. [42]

    Matrix product operator algebras I: representations of weak Hopf algebras and projected entangled pair states

    A. Moln´ ar, A. Ruiz-de-Alarc´ on, J. Garre-Rubio, N. Schuch, J. I. Cirac, and D. P´ erez-Garc´ ıa. Matrix product operator algebras I: representations of weak Hopf algebras and projected entangled pair states, June 2022. arXiv:2204.05940

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  43. [43]

    Montgomery

    S. Montgomery. Hopf algebras and their actions on rings . Number Number 82 in Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, Providence, Rhode Island, 1993

    work page 1993

  44. [44]

    Montgomery

    S. Montgomery. Representation theory of semisimple Hopf algebras. In Algebra - representation theory (Constanta, 2000) , volume 28 of NATO Sci. Ser. II Math. Phys. Chem. , pages 189–218. Kluwer Acad. Publ., Dordrecht, 2001

    work page 2000

  45. [45]

    Ogata, D

    Y. Ogata, D. P´ erez-Garc´ ıa, and A. Ruiz-de Alarc´ on. Haag duality for 2d quantum spin systems. arXiv preprint arXiv:2509.23734 , 2025

    work page arXiv 2025

  46. [46]

    A. Pal. A counterexample on idempotent states on a compact quantum group.Letters in Mathematical Physics, 37(1):75–77, May 1996. doi:10.1007/BF00400140

    work page doi:10.1007/bf00400140 1996

  47. [47]

    Matrix product operator representations

    B. Pirvu, V. Murg, J. I. Cirac, and F. Verstraete. Matrix product operator representations. New Journal of Physics , 12(2):025012, 2010. doi:10.1088/1367-2630/12/2/025012. arXiv:0804.3976

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1367-2630/12/2/025012 2010

  48. [48]

    Symmetry protection of topological order in one-dimensional quantum spin systems

    F. Pollmann, E. Berg, A. M. Turner, and M. Oshikawa. Symmetry protection of topological phases in one-dimensional quantum spin systems. Physical Review B, 85(7):075125, Feb. 2012. doi:10.1103/ PhysRevB.85.075125. arXiv:0909.4059

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  49. [49]

    Ruiz-de-Alarc´ on, J

    A. Ruiz-de-Alarc´ on, J. Garre-Rubio, A. Moln´ ar, and D. P´ erez-Garc´ ıa. Matrix product operator algebras II: phases of matter for 1D mixed states. Letters in Mathematical Physics , 114(2):43, Mar

    work page

  50. [50]

    Matrix Product Operator Algebras II: Phases of Matter for 1D Mixed States

    doi:10.1007/s11005-024-01778-z . arXiv:2204.06295

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s11005-024-01778-z

  51. [51]

    Idempotent states on locally compact quantum groups

    P. Salmi and A. Skalski. Idempotent states on locally compact quantum groups. The Quarterly Journal of Mathematics , 63(4):1009–1032, 2012. doi:10.1093/qmath/har023. arXiv:1102.2051

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1093/qmath/har023 2012

  52. [52]

    The density-matrix renormalization group

    U. Schollw¨ ock. The density-matrix renormalization group.Reviews of Modern Physics, 77(1):259–315, Apr. 2005. doi:10.1103/RevModPhys.77.259. arXiv:cond-mat/0409292

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/revmodphys.77.259 2005

  53. [53]

    The density-matrix renormalization group in the age of matrix product states

    U. Schollw¨ ock. The density-matrix renormalization group in the age of matrix product states.Annals of Physics, 326(1):96–192, Jan. 2011. doi:10.1016/j.aop.2010.09.012. arXiv:1008.3477

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2010.09.012 2011

  54. [54]

    PEPS as ground states: degeneracy and topology

    N. Schuch, I. Cirac, and D. P´ erez-Garc´ ıa. PEPS as ground states: Degeneracy and topology.Annals of Physics, 325(10):2153–2192, Oct. 2010. doi:10.1016/j.aop.2010.05.008. arXiv:1001.3807

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aop.2010.05.008 2010

  55. [55]

    Classifying quantum phases using Matrix Product States and PEPS

    N. Schuch, D. P´ erez-Garc´ ıa, and I. Cirac. Classifying quantum phases using matrix product states and projected entangled pair states. Physical Review B , 84(16):165139, Oct. 2011. doi:10.1103/ PhysRevB.84.165139. arXiv:1010.3732. RENORMALIZATION FLOWS FOR 1D MIXED STATES AND A QUANTUM GOURSAT LEMMA 47

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  56. [56]

    X.-Q. Sun. Anomalous matrix product operator symmetries and 1D mixed-state phases, Sept. 2025. arXiv:2504.16985

    work page arXiv 2025

  57. [57]

    The Fourier transform in quantum group theory

    A. Van Daele. The Fourier transform in quantum group theory. In New Techniques in Hopf Al- gebras and Graded Ring Theory , pages 187–196. Koninklijke Vlaamse Academie van Belgi¨ e voor Wetenschappen en Kunsten, Brussels, 2007. arXiv:math/0609502

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  58. [58]

    Van Daele

    A. Van Daele. Algebraic quantum groups and duality I, Nov. 2025. arXiv:2304.13448

    work page arXiv 2025

  59. [59]

    Matrix Product States, Projected Entangled Pair States, and variational renormalization group methods for quantum spin systems

    F. Verstraete, V. Murg, and J. Cirac. Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems. Advances in Physics, 57(2):143– 224, Mar. 2008. doi:10.1080/14789940801912366. arXiv:0907.2796

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1080/14789940801912366 2008

  60. [60]

    G. Vidal. Entanglement Renormalization. Physical Review Letters , 99(22):220405, Nov. 2007. doi:10.1103/PhysRevLett.99.220405. arXiv:cond-mat/0512165

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.99.220405 2007

  61. [61]

    G. Vidal. Class of Quantum Many-Body States That Can Be Efficiently Simulated. Physi- cal Review Letters , 101(11):110501, Sept. 2008. doi:10.1103/PhysRevLett.101.110501. arXiv: quant-ph/0610099

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.101.110501 2008

  62. [62]

    S. R. White. Density matrix formulation for quantum renormalization groups. Physical Review Letters, 69(19):2863–2866, Nov. 1992. doi:10.1103/PhysRevLett.69.2863

    work page doi:10.1103/physrevlett.69.2863 1992

  63. [63]

    K. G. Wilson. Renormalization Group and Critical Phenomena. I. Renormalization Group and the Kadanoff Scaling Picture. Physical Review B, 4(9):3174–3183, Nov. 1971. doi:10.1103/PhysRevB.4. 3174

    work page doi:10.1103/physrevb.4 1971

  64. [64]

    K. G. Wilson. Renormalization Group and Critical Phenomena. II. Phase-Space Cell Analysis of Critical Behavior. Physical Review B, 4(9):3184–3205, Nov. 1971. doi:10.1103/PhysRevB.4.3184

    work page doi:10.1103/physrevb.4.3184 1971

  65. [65]

    K. G. Wilson. The renormalization group: Critical phenomena and the Kondo problem. Reviews of Modern Physics, 47(4):773–840, Oct. 1975. doi:10.1103/RevModPhys.47.773

    work page doi:10.1103/revmodphys.47.773 1975

  66. [66]

    Mixed-state dynamics in one-dimensional quantum lattice systems: a time-dependent superoperator renormalization algorithm

    M. Zwolak and G. Vidal. Mixed-State Dynamics in One-Dimensional Quantum Lattice Systems: A Time-Dependent Superoperator Renormalization Algorithm. Physical Review Letters, 93(20):207205, Nov. 2004. doi:10.1103/PhysRevLett.93.207205. arXiv:cond-mat/0406440

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.93.207205 2004

  67. [67]

    ¨Ostlund and S

    S. ¨Ostlund and S. Rommer. Thermodynamic Limit of Density Matrix Renormalization. Physical Review Letters, 75(19):3537–3540, Nov. 1995. doi:10.1103/PhysRevLett.75.3537. Appendix A. Proofs of Section 2 Proof of Remark 2.10. That (Lx)∗ = Lx∗ is trivial since ⟨ˆh, (x∗a)∗b⟩ = ⟨ˆh, a∗xb⟩. Now, ⟨a | Lφ(b)⟩ˆh = ⟨Lφ∗(a) | b⟩ˆh ⇐ ⇒ ⟨ˆh, a∗Lφ(b)⟩ = ⟨ˆh, (Lφ∗(a))∗b⟩...

    work page doi:10.1103/physrevlett.75.3537 1995