Diagnosing 2D symmetry protected topological states via mixed state anomaly

Chao Xu; Shenghan Jiang; Yingfei Gu; Yixin Ma; Yunlong Zang

REVIEW 2 major objections 3 minor 2 cited by

Diagnosing 2D symmetry protected topological states via mixed state anomaly

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read A 2D $\mathbb{Z}_2$ SPT's edge anomaly survives in the reduced density matrix of a patch, showing up as an integer topological term in the disorder parameter and as long-range order in a symmetry-twisted correlator.

desk verdict A genuinely useful, mostly solid paper: exact Levin-Gu diagnostics are very clean, but the universal claim is conditional on an MPDO representability assumption the authors flag but do not prove. read the letter →

arxiv 2506.13096 v1 pith:HTRBUZH6 submitted 2025-06-16 cond-mat.str-el quant-ph

Chao Xu , Yunlong Zang , Yixin Ma , Yingfei Gu , Shenghan Jiang This is my paper

classification cond-mat.str-elquant-ph

keywords Z2SPTmixedstateanomalydisorderparameterreduceddensitymatrixentanglementspectrumproductoperatorintrinsicaveragetime-reversalsymmetry

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

This paper establishes that for a two-dimensional $\mathbb{Z}_2$ symmetry-protected topological (SPT) phase, the characteristic edge anomaly survives not only in the entanglement spectrum but in the reduced density matrix (RDM) of any patch larger than the correlation length. Concretely, the disorder parameter — the expectation value of the $\mathbb{Z}_2$ symmetry restricted to a large disk-shaped region — contains a topological term $-\ln D$ beyond the area law, with $D$ an integer (2 in general, or 4 when time-reversal symmetry is present). The anomaly also makes the RDM itself an intrinsically anomalous one-dimensional mixed state, an "intrinsic average $\mathbb{Z}_4$ SPT," and drives a spontaneous-symmetry-breaking-type long-range order in symmetry-twisted charge correlators. The upshot is an edge-free, Hamiltonian-free diagnostic for the $\mathbb{Z}_2$ SPT phase that uses only a local patch of the ground-state wavefunction.

What carries the argument

The central object is the matrix product density operator (MPDO) representation of the boundary RDM together with its symmetry-twisted transfer matrix $T(g)$. The paper enlarges the entanglement Hilbert space so that the anomalous $\mathbb{Z}_2$ action becomes an on-site weak $\mathbb{Z}_4$ symmetry generated by operators $W_j(g)$ and $\lambda^{l/r}_j$ satisfying $[W_j(g)]^2 = \lambda^l_j \lambda^r_j$ and $W_j(g)\lambda^{l/r}_j = -\lambda^{l/r}_j W_j(g)$. These algebraic relations force the dominant eigenvalues of $T(g)$ into degenerate multiplets, which directly produce the integer $D$ in the disorder parameter and the non-decaying twisted correlator.

What would settle it

Take a lattice model in the $\mathbb{Z}_2$ SPT phase whose edge theory is known to realize a projective representation of $\mathbb{Z}_2$, compute $\langle U_A(g)\rangle$ for a sequence of growing square patches by tensor-network contraction, and fit $-\ln\langle U_A(g)\rangle = \alpha L_{\partial A} - \ln D - \ln\cos(\theta L_{\partial A})$; if the best-fit $D$ is non-integer or drifts with patch shape, or if the twisted correlator $\langle O_j O_k\rangle^g_A$ decays to zero for large separations, the central claim is wrong.

Watch

Extended reading notes

Core claim

The central claim is a "mixed state anomaly": the entanglement bulk-boundary correspondence holds at the level of the RDM itself, not just its spectrum. For the 2D $\mathbb{Z}_2$ SPT, writing the RDM on a patch as a 1D mixed state on the entanglement Hilbert space, the induced symmetry action is an anomalous weak $\mathbb{Z}_4$ symmetry built over a strong $\mathbb{Z}_2$ symmetry, so the mixed state realizes a 1D intrinsic average $\mathbb{Z}_4$ SPT phase. The paper proves that the symmetry-twisted transfer matrix of this mixed state has dominant eigenvalues in degenerate multiplets — a Kramers pair from Hermiticity, doubled by time-reversal symmetry to a fourfold degeneracy $D=4$ — yielding the disorder-parameter formula $-\ln\langle U_A(g)\rangle = \alpha L_{\partial A} - \ln D - \ln\cos(\theta L_{\partial A}) + \dotsb$ and an $O(1)$ oscillatory long-range correlator $\langle O_j O_k\rangle^g_A$ for $\mathbb{Z}_2$-charged operators at the boundary of the disorder operator. On the fixed-point wavefunction (the signed domain-wall superposition), the calculation yields $D=4$ and $\theta=\pi/3$.

Load-bearing premise

The diagnostic collapses if the reduced density matrix of a real $\mathbb{Z}_2$ SPT ground state cannot be written as a matrix product operator whose internal symmetries obey the non-projective algebra of the edge anomaly; for example, if the edge symmetry is realized projectively, the promised integer $D$ and long-range twisted correlator need not appear.

Editorial extensions

If this is right

A finite patch of a $\mathbb{Z}_2$ SPT ground state, without any physical edge, is enough to extract the topological integer $D$ from the disorder parameter.
When time-reversal symmetry is present, the twisted mixed-state correlator of $\mathbb{Z}_2$-charged operators approaches a non-vanishing oscillatory value, a signature absent in a trivial paramagnet.
The disorder parameter of a $\mathbb{Z}_2$ SPT obeys an area law with a universal integer correction $-\ln D$, where $D=2$ generically and $D=4$ with time reversal.
The RDM itself is a 1D intrinsic average $\mathbb{Z}_4$ SPT, so mixed-state phase structure is inherited from pure-state topological order.
The entanglement-spectrum anomaly (the Li-Haldane conjecture) is upgraded to an anomaly of the density operator itself, making the diagnostic accessible without edge engineering.

Reading between the lines

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

The same crossed-module construction should carry 2D SPTs with any finite symmetry group $G$ to 1D intrinsic average SPTs protected by the corresponding group extension, so the disorder operator should exhibit an integer $D$ set by the extension's fusion rule; this is a testable generalization the paper only sketches.
A concrete numerical check: on an infinite cylinder with a $\mathbb{Z}_2$ SPT ground state, the twisted transfer-matrix spectrum should show the predicted $D$-fold degeneracy of the dominant eigenvalues, matching the fixed-point prediction $D=4$ and $\theta=\pi/3$.
Because the anomaly lives in the RDM, a single round of local measurements or weak decoherence within the patch may not immediately destroy the signature, which could make the diagnostic robust for experimental snapshots; the paper does not address noise directly.
The long-range twisted correlator should vanish continuously as the system is tuned out of the $\mathbb{Z}_2$ SPT into the trivial paramagnet, giving a practical probe of the topological phase transition.

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

You should know two things about this one. First, the exact results on the Levin-Gu fixed point are very good: the disorder parameter and the twisted correlator are derived by two independent routes (quantum circuit and PEPS/MPDO) and agree, giving D=4, theta=pi/3, and the explicit ratio Eq. (10). Second, the universal claim — integer D>=2 and the O(1) twisted correlator for every Z2 SPT state — is not proven at that level. The MPDO argument in Supplemental F assumes the internal-leg gauge symmetries satisfy the non-projective algebra of Eq. (S77), and the paper explicitly excludes projective representations and strong-to-weak SSB without proving those cases cannot occur for a valid SRE Z2 SPT state. The stress-test note lands on this point, and I think the authors would agree it is an assumption; they just do not close it. For Z2, H^2(Z2,U(1))=0 so scalar projective reps can be rephased away, but the operator-valued extension remains open. That makes the diagnostic conditional for generic states, though it is exact for the fixed point and likely robust for a large class of tensor-network states.

What is genuinely new: deriving the disorder-parameter form from the ground-state RDM as an anomalous 1D mixed state, identifying the RDM as an intrinsic average Z4 SPT, and showing D=4 plus the oscillatory long-range order with time reversal. The bare form Eq. (2) is correctly attributed to Cai-Cheng [33], so the novelty is in the derivation and the interpretation, not the formula. The CFT heuristic is honestly reported as failing on some lattice completions, and the numerical tables in Supplemental D back that up. That is good scientific practice.

Soft spots, in proportion: the conditional universal claim is the main one. Also, -ln is complex when cos(theta L)<0, and the 'SSB-type long-range order' is an oscillatory correlation in a non-positive twisted ensemble; both deserve a clarifying remark but are not fatal. The self-citations [32,60] are legitimate here, since those papers supply the mixed-state anomaly framework and the tensor-network construction, and the key new results are cross-checked rather than assumed.

Verdict: this deserves a serious referee. The fixed-point derivations are exact and reproducible, the framing is useful, and the conditional general proof is clearly stated. Give it to a referee who can check the MPDO algebra and push on the representability question. I would bring it to a reading group focused on SPT diagnostics or mixed-state topology, and I would cite it for the Levin-Gu disorder parameter identity even while being careful about the universal claim.

Referee Report

2 major / 3 minor

Summary. The paper proposes entanglement-based diagnostics for 2D Z2 symmetry-protected topological (SPT) states. The central idea is that the reduced density matrix of a disk region, viewed as a 1D mixed state on the entanglement cut, carries an anomalous weak Z4 symmetry, so that the edge anomaly is encoded in the RDM itself rather than only in the entanglement spectrum. The authors derive a disorder-parameter formula, Eq. (2), with a topological constant term -ln D (D a positive integer), and, for time-reversal-invariant Z2 SPT states, a twisted correlator, Eq. (3), that approaches an O(1) oscillatory value. Exact results are given for the Levin-Gu fixed point, including D=4 and theta=pi/3 (Eqs. (9)-(10)), obtained by two independent routes: a quantum-circuit calculation and a PEPS/MPDO calculation. A heuristic CFT argument and a general MPDO-based proof are also presented, with the general proof resting on an explicitly stated assumption about the internal-leg gauge algebra of the MPDO (Supplemental Eq. (S77)).

Significance. If the general claim holds, the paper significantly extends the bulk-boundary correspondence from the entanglement spectrum to the reduced density matrix itself, giving concrete, parameter-free diagnostics for 2D Z2 SPT states. The strengths of the paper are the explicit and reproducible exact calculations for the Levin-Gu state, the independent cross-checks between the circuit and PEPS/MPDO routes, the connection to crossed-module classifications of 2D SPTs and to intrinsic average SPT phases, and the candid statement of the assumptions underlying the general proof. The main weakness is that the universal statements in Eqs. (2)-(3) are proven exactly only for the Levin-Gu fixed point and for MPDO states satisfying the internal-gauge algebra of Eq. (S77); whether every short-range-entangled Z2 SPT state admits such a representation is not established. This is a load-bearing gap rather than a cosmetic issue, because the integer degeneracy D and the O(1) twisted correlator both follow from that algebra.

major comments (2)

[§Observables from anomalous RDM; SM F, Eq. (S77)] The general proof of Eqs. (2)-(3) assumes that the MPDO internal-leg symmetries satisfy the non-projective algebra [V(g)]^2 = lambda^u lambda^d and V(g) lambda^{u/d} = -lambda^{u/d} V(g). The supplement explicitly excludes projective representations and strong-to-weak spontaneous symmetry breaking, but it does not prove that these alternatives cannot occur for a valid short-range-entangled Z2 SPT state; the sentence 'nontrivial projective representation will lead to degenerate eigenvalues of T, violating our assumption' is an exclusion, not a proof. For G=Z2 the scalar H^2(Z2,U(1)) obstruction vanishes, which weakens one branch, but the operator-valued extension and the SW-SSB exclusion remain unproven assumptions. Consequently, Eqs. (2)-(3) are established exactly only for the Levin-Gu fixed point and for PEPS/MPDO states satisfying Eq. (S77); the universal claim for all states in the Z2 SPT phase needs either a proof of the algebra from short-range entanglement and symmetry, or an explicit statement that it is a conjecture.
[Eq. (9); SM B, Eq. (S28); SM C.2, Eq. (S55)] The exact formula <U_X^A> = 4 * 2^{-L} cos(pi L/3) gives negative values for L = 2, 3, 4 (mod 6); for example, L=2 gives <U_X^A> = -1/2. Therefore Eq. (9), -ln <U_X^A> = ln 2 * L - ln(4 cos(pi L/3)), and the corresponding -ln cos(theta L_dA) term in Eq. (2) are not real-valued for these boundary lengths. The topological content (D=4 and theta=pi/3) should be extracted from the modulus or envelope, e.g. -ln|<U_X^A>| = ln 2 * L - ln 4 - ln|cos(pi L/3)|; the formulas should be corrected or explicitly restricted to lengths where the cosine is positive. This is a technical error in an explicit exact expression and does not by itself invalidate the D=4 degeneracy, but it should be fixed because Eqs. (2) and (9) are stated as real exact results.

minor comments (3)

[Eq. (14)-(15)] The strong symmetry D_dA is defined as the product of the local constraints lambda^r_j lambda^l_{j+1}, while D_j in Eq. (15) is defined as lambda^l_j lambda^r_j; the relation between these two products should be clarified, since on the projected subspace lambda^r_j lambda^l_{j+1} = 1 the identification is not immediate.
[Eq. (3) and Eq. (24)] The notation '>O(1)' in Eq. (3) should be typeset consistently as an arrow or as 'tends to an O(1) oscillatory value'; the current display is ambiguous and could be misread as a strict inequality.
[Abstract and Summary] The phrase 'spontaneous-symmetry-breaking-type long-range order' is stronger than the derived result, which is an O(1) oscillatory correlation rather than a saturated long-range order; consider rewording to 'oscillatory O(1) long-range correlation' for precision.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central predictions are computed for the Levin-Gu state, and the general MPDO argument is explicitly conditional rather than self-referential.

full rationale

The paper's concrete predictions are derived, not fitted. For the Levin-Gu fixed point, Eq. (9) gives -ln<U_X^A> = ln 2 * L - ln(4 cos(pi L/3)) with D=4, obtained from an explicit circuit commutator in Supplemental B, and the twisted correlator Eq. (10) is computed from the same transfer matrix in Supplemental C. The anomaly input is the established H^3(Z2,U(1)) classification and the known Z2-to-Z4 extension, not a parameter tuned in this paper. The general MPDO proof in Supplemental F is conditional: it assumes rho_dA is a translation-invariant MPDO whose internal-leg symmetries obey Eq. (S77), and it explicitly excludes projective representations and strong-to-weak spontaneous symmetry breaking as 'violating our assumption' or 'not consistent for the RDM of SRE phase.' Those exclusions are genuine limitations on the universality claim, but they are stated assumptions about representability, not equations that restate Eq. (2) or Eq. (3). The degeneracy of T(g) follows from the assumed algebra plus Hermiticity and time reversal; it is not inserted by hand. Self-citations [32,60] supply the symmetry-twisted RDM concept and the PEPS/anyon-condensation construction, but the central quantitative results and the Levin-Gu benchmark are carried out in this paper and are externally checkable, so those citations are not load-bearing circularity. Overall, the derivation chain is self-contained; the main caveat is mathematical conditionality, not circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard SPT classification input (existence and edge anomaly of the Z2 SPT, H^3(Z2,U(1)) = Z2) and on MPDO representability of the RDM. No parameters are fitted to data: alpha, theta, and D are derived for the Levin-Gu example (D=4, theta=pi/3) rather than tuned. The main structural assumptions are the entanglement-space factorization and the non-projective gauge algebra; no new physical entities such as particles, forces, or conserved quantities are introduced.

assumptions (4)

domain assumption The RDM of the Z2 SPT ground state is isomorphic to a 1D mixed state rho_dA on a tensor-factorized entanglement Hilbert space H_dA (area-law and PEPS structure).
Invoked in the Setup and SM A; underpins the reduction of rho_A to rho_dA and hence all derived observables. The authors note in footnote 34 that this is sufficient, not necessary, and fails for chiral topological states.
domain assumption The edge anomaly of the 2D Z2 SPT is faithfully represented by the Z2-to-Z4 group extension with projector P = product (1 + lambda^r_j lambda^l_{j+1})/2, taken from Jiang-Ran 2017.
Main text 'two approaches' and SM E. The whole mixed-state-anomaly construction assumes this representation captures the physical edge anomaly; it is imported from prior classification work rather than re-derived.
domain assumption rho_dA is translation-invariant and representable as a finite-bond-dimension MPDO, and the internal-leg gauge symmetries obey the non-projective algebra of Eq. (S77).
SM F states 'We assume rho_dA to be translation-invariant and representable as a Matrix Product Density Operator', and the algebra [V(g)]^2 = lambda^u lambda^d is imposed because projective or strong-to-weak-breaking realizations are judged inconsistent with a short-range-entangled parent state.
domain assumption For the heuristic CFT argument, the entanglement Hamiltonian of the Z2 SPT is the free-boson CFT of Eq. (11).
Main text 'Heuristic CFT argument' relies on Li-Haldane-type identifications [6, 54, 55]. The authors themselves show in SM D that UV-complete lattice realizations can give different ground state degeneracies, invalidating the heuristic, so this axiom does not carry the central proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Diagnosing 2D symmetry protected topological states via mixed state anomaly." pith.science (2026). https://pith.science/paper/HTRBUZH6

@misc{pith2026250613096,
  author       = {Pith},
  title        = {Pith review of: Diagnosing 2D symmetry protected topological states via mixed state anomaly},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HTRBUZH6}},
  note         = {Machine review of arXiv:2506.13096}
}

abstract

Symmetry-protected topological (SPT) phases are short-range entangled quantum states characterized by anomalous edge behavior, a manifestation of the bulk-boundary correspondence for topological phases. Moreover, the Li-Haldane conjecture posits that the entanglement spectrum exhibits the same anomaly as the physical edge spectrum, thereby serving as an entanglement-based fingerprint for identifying topological phases. In this work, we extend the entanglement-based diagnostic tools by demonstrating that the edge anomaly is manifested not only in the entanglement spectrum but also in the reduced density matrix itself, a phenomenon we refer to as the mixed state anomaly. Focusing on the two-dimensional $\mathbb{Z}_2$ SPT phase, we show that this anomaly is subtly encoded in symmetry-twisted mixed states, leading to a topological contribution to the disorder parameter beyond the area law, as well as a spontaneous-symmetry-breaking type long-range order when time reversal symmetry is present.

Figures

Figures reproduced from arXiv: 2506.13096 by the authors.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Anomaly and symmetry-charge flow in mixed states
cond-mat.str-el 2026-04 unverdicted novelty 7.0 of 10

The chiral anomaly is extended to mixed states via symmetry-charge flow derived algebraically from symmetry and flux-insertion operators, restoring universality for Abelian symmetries in fermionic and bosonic systems.
Sequence-Model-Guided Measurement Selection for Quantum State Learning
quant-ph 2025-07 conditional novelty 6.0 of 10

A transformer-based 'TGMS' model adaptively chooses quantum measurements and outperforms random selection for property prediction, phase clustering, and tomography, with an emergent preference for boundary measurement...

Reference graph

Works this paper leans on

107 extracted references · 58 canonical work pages · cited by 2 Pith papers

[33]

Li and F

H. Li and F. D. M. Haldane, Entanglement spectrum as a generalization of entanglement entropy: Identiﬁcation of topological order in non-abelian fractional quantum hall eﬀect states, Phys. Rev. Lett. 101, 010504 (2008)

2008
[1]

Non-onsite realization: for instance, express W∂A as a matrix product Z2 operation [ 5, 8, 59]
[2]

(5) When the system has additional symmetries, the degeneracy D may exceed

corresponds precisely to the degeneracy of the dominant eigenvalues in the transfer matrix spec- trum for ρg ∂A - a manifestation of the anomalous sym- metry action on the mixed state. (5) When the system has additional symmetries, the degeneracy D may exceed
[3]

Remarkably, in such case, the dominant eigenvectors of the transfer matrix for ρg ∂A carry distinct Z2 quantum numbers, which can UA(g) ¯A (a) OkOj UA(g) ¯A (b) FIG

A notable case occurs when time-reversal symmetry is present, as in the Levin-Gu wavefunction that will be dis- cussed momentarily, we ﬁnd D = 4. Remarkably, in such case, the dominant eigenvectors of the transfer matrix for ρg ∂A carry distinct Z2 quantum numbers, which can UA(g) ¯A (a) OkOj UA(g) ¯A (b) FIG. 1. Diagnostics proposed for detecting 2D Z2 S...
[4]

Senthil, Symmetry-protected topological phases of quantum matter, Annu

T. Senthil, Symmetry-protected topological phases of quantum matter, Annu. Rev. Condens. Matter Phys. 6, 299 (2015)

2015
[5]

Z4), and then recover the anomalous Z2 action through appropriate projec- tion [ 60, 61]

Extend the Z2 symmetry group: enlarge the en- tanglement Hilbert space with an extended onsite symmetry group (e.g. Z4), and then recover the anomalous Z2 action through appropriate projec- tion [ 60, 61]. In this work, we adopt the second approach, as it facil- itates a clear derivation of our central result in Eq. ( 2) and Eq. ( 3). To see how the appro...
[6]

Explicit calculation yields − ln⟨UX A ð = ln 2 ⋅L∂A − ln(4 cos(πL∂A /3)), (9) with L∂A the length of the boundary

reduces to the expectation value of a 1D operator. Explicit calculation yields − ln⟨UX A ð = ln 2 ⋅L∂A − ln(4 cos(πL∂A /3)), (9) with L∂A the length of the boundary. Compared with Eq. ( 2), we have θ =π /3 and D = 4. Note that D > 2 is due to the presence of additional time-reversal symmetry. As commented previously, time-reversal symmetry in- duces an ex...
[7]

Our framework generalizes beyond the previous Lieb-Schultz- Mattis-type anomalies in mixed states [ 32, 72] to encom- pass broader ’t Hooft anomalies

and long-range order in twisted mixed state ( 3) when time-reversal symmetry is present. Our framework generalizes beyond the previous Lieb-Schultz- Mattis-type anomalies in mixed states [ 32, 72] to encom- pass broader ’t Hooft anomalies. The RDM perspective further enables new approaches for detecting topological phases with anyonic excita- tions [ 73],...

Show all 107 references

[8]

Gu and X.-G

Z.-C. Gu and X.-G. Wen, Tensor-entanglement-ﬁltering renormalization approach and symmetry-protected topo- logical order, Phys. Rev. B 80, 155131 (2009)

2009
[9]

Chen, Z.-C

X. Chen, Z.-C. Gu, and X.-G. Wen, Classiﬁcation of gapped symmetric phases in one-dimensional spin sys- tems, Phys. Rev. B 83, 035107 (2011)

2011
[10]

Chen, Z.-C

X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B 87, 155114 (2013)

2013
[11]

Kawagoe and M

K. Kawagoe and M. Levin, Anomalies in bosonic symmetry-protected topological edge theories: Connec- tion to f symbols and a method of calculation, Phys. Rev. B 104, 115156 (2021)

2021
[12]

Chen, Z.-X

X. Chen, Z.-X. Liu, and X.-G. Wen, Two-dimensional symmetry-protected topological orders and their pro- tected gapless edge excitations, Phys. Rev. B 84, 235141 (2011)

2011
[13]

and Eq. ( 14) induce gauge transformations on the internal lines of M : M = M W (g) W † (g) V (g) V † (g) = M λ l λ u = M λ r (λ u)† = M (λ l)† λ d = M (λ r)† (λ d)† (19) where algebraic relations between V (g) and λu/d follows Eq. ( 15): [V (g)]2 =λuλd , [λu/d]2 = 1 V (g) ⋅λu...
[14]

Levin and Z.-C

M. Levin and Z.-C. Gu, Braiding statistics approach to symmetry-protected topological phases, Phys. Rev. B 86, 115109 (2012)

2012
[16]

D. V. Else and C. Nayak, Classifying symmetry-protected topological phases through the anomalous action of the symmetry on the edge, Phys. Rev. B 90, 235137 (2014)

2014
[17]

J. C. Wang, L. H. Santos, and X.-G. Wen, Bosonic anomalies, induced fractional quantum numbers, and de- generate zero modes: The anomalous edge physics of symmetry-protected topological states, Phys. Rev. B 91, 195134 (2015)

2015
[18]

Bultinck, R

N. Bultinck, R. Vanhove, J. Haegeman, and F. Ver- 6 straete, Global anomaly detection in two-dimensional symmetry-protected topological phases, Phys. Rev. Lett. 120, 156601 (2018)

2018
[19]

Ye and J

P. Ye and J. Wang, Symmetry-protected topological phases with charge and spin symmetries: Response the- ory and dynamical gauge theory in two and three dimen- sions, Phys. Rev. B 88, 235109 (2013)

2013
[20]

Wen, Symmetry-protected topological invariants of symmetry-protected topological phases of interacting bosons and fermions, Phys

X.-G. Wen, Symmetry-protected topological invariants of symmetry-protected topological phases of interacting bosons and fermions, Phys. Rev. B 89, 035147 (2014)

2014
[21]

M. P. Zaletel, Detecting two-dimensional symmetry- protected topological order in a ground-state wave func- tion, Phys. Rev. B 90, 235113 (2014)

2014
[22]

Cheng and Z.-C

M. Cheng and Z.-C. Gu, Topological response theory of abelian symmetry-protected topological phases in two di- mensions, Phys. Rev. Lett. 112, 141602 (2014)

2014
[23]

J. C. Wang, Z.-C. Gu, and X.-G. Wen, Field-theory rep- resentation of gauge-gravity symmetry-protected topo- logical invariants, group cohomology, and beyond, Phys. Rev. Lett. 114, 031601 (2015)

2015
[24]

Y.-Z. You, Z. Bi, A. Rasmussen, K. Slagle, and C. Xu, Wave function and strange correlator of short-range en- tangled states, Phys. Rev. Lett. 112, 247202 (2014)

2014
[25]

Pollmann and A

F. Pollmann and A. M. Turner, Detection of symmetry- protected topological phases in one dimension, Phys. Rev. B 86, 125441 (2012)

2012
[26]

Shapourian, K

H. Shapourian, K. Shiozaki, and S. Ryu, Many-body topological invariants for fermionic symmetry-protected topological phases, Phys. Rev. Lett. 118, 216402 (2017)

2017
[27]

Shiozaki, H

K. Shiozaki, H. Shapourian, and S. Ryu, Many-body topological invariants in fermionic symmetry-protected topological phases: Cases of point group symmetries, Phys. Rev. B 95, 205139 (2017)

2017
[28]

Shiozaki, H

K. Shiozaki, H. Shapourian, K. Gomi, and S. Ryu, Many- body topological invariants for fermionic short-range en- tangled topological phases protected by antiunitary sym- metries, Phys. Rev. B 98, 035151 (2018)

2018
[29]

Turzillo, N

A. Turzillo, N. Manjunath, and J. Garre-Rubio, Detec- tion of 2d spt order with partial symmetries (2025), arXiv:2503.04510 [cond-mat.str-el]

2025 arXiv
[30]

Fidkowski and A

L. Fidkowski and A. Kitaev, Topological phases of fermions in one dimension, Phys. Rev. B 83, 075103 (2011)

2011
[31]

Kitaev and J

A. Kitaev and J. Preskill, Topological entanglement en- tropy, Phys. Rev. Lett. 96, 110404 (2006)

2006
[32]

Levin and X.-G

M. Levin and X.-G. Wen, Detecting topological order in a ground state wave function, Physical review letters 96, 110405 (2006)

2006
[34]

Pollmann, A

F. Pollmann, A. M. Turner, E. Berg, and M. Oshikawa, Entanglement spectrum of a topological phase in one di- mension, Phys. Rev. B 81, 064439 (2010)

2010
[35]

J. I. Cirac, D. Poilblanc, N. Schuch, and F. Verstraete, Entanglement spectrum and boundary theories with pro- jected entangled-pair states, Phys. Rev. B 83, 245134 (2011)

2011
[36]

X.-L. Qi, H. Katsura, and A. W. W. Ludwig, General relationship between the entanglement spectrum and the edge state spectrum of topological quantum states, Phys. Rev. Lett. 108, 196402 (2012)

2012
[37]

I. H. Kim, B. Shi, K. Kato, and V. V. Albert, Chiral central charge from a single bulk wave function, Phys. Rev. Lett. 128, 176402 (2022)

2022
[38]

R. Fan, P. Zhang, and Y. Gu, Generalized real-space Chern number formula and entanglement hamiltonian, SciPost Phys. 15, 249 (2023)

2023
[39]

Y. Zang, Y. Gu, and S. Jiang, Detecting quantum anoma- lies in open systems, Phys. Rev. Lett. 133, 106503 (2024)

2024
[40]

Cai and M

K.-L. Cai and M. Cheng, Universal contributions to charge ﬂuctuations in spin chains at ﬁnite temperature, Phys. Rev. B 111, 205104 (2025)

2025
[41]

The approximation of the entanglement Hilbert space as a tensor product of local Hilbert spaces on the one- dimensional cut is a suﬃcient, though not necessary, con- dition for the area-law entanglement entropy. For ex- ample, topological phases with chiral edge modes ex- hibi...
[42]

Verstraete and J

F. Verstraete and J. I. Cirac, Renormalization al- gorithms for quantum-many body systems in two and higher dimensions (2004), arXiv:cond-mat/0407066 [cond-mat.str-el]

2004 arXiv
[43]

Sun, J.-H

S. Sun, J.-H. Zhang, Z. Bi, and Y. You, Holographic view of mixed-state symmetry-protected topological phases in open quantum systems, PRX Quantum 6, 020333 (2025)

2025
[44]

See Supplemental Materials for more details on the RDM’s symmetries, disorder operators in the Levin-Gu state, the edge theory of Levin-Gu state on lattice, RDMs for generic 2D SPT states and the proof of results based on MPDO
[45]

Huang, X.-Q

Z.-M. Huang, X.-Q. Sun, and S. Diehl, Topological gauge theory for mixed dirac stationary states in all dimensions, Phys. Rev. B 106, 245204 (2022)

2022
[46]

Kawabata, R

K. Kawabata, R. Sohal, and S. Ryu, Lieb-schultz-mattis theorem in open quantum systems, Phys. Rev. Lett. 132, 070402 (2024)

2024
[47]

Wang and L

Z. Wang and L. Li, Anomaly in open quantum systems and its implications on mixed-state quantum phases, PRX Quantum 6, 010347 (2025)

2025
[48]

Hsin, Z.-X

P.-S. Hsin, Z.-X. Luo, and H.-Y. Sun, Anomalies of aver- age symmetries: Entanglement and open quantum sys- tems, Journal of High Energy Physics 2024, 1 (2024)

2024
[49]

Huang and S

Z.-M. Huang and S. Diehl, Interaction-induced topolog- ical phase transition at ﬁnite temperature, Phys. Rev. Lett. 134, 053002 (2025)

2025
[50]

L. P. Kadanoﬀ and H. Ceva, Determination of an oper- ator algebra for the two-dimensional ising model, Phys. Rev. B 3, 3918 (1971)

1971
[51]

Zhang, N

Y. Zhang, N. Manjunath, R. Kobayashi, and M. Barkeshli, Complete crystalline topological in- variants from partial rotations in (2 +1)D invertible fermionic states and hofstadter’s butterﬂy, Phys. Rev. Lett. 131, 176501 (2023)

2023
[52]

Chen, H.-H

B.-B. Chen, H.-H. Tu, Z. Y. Meng, and M. Cheng, Topo- logical disorder parameter: A many-body invariant to characterize gapped quantum phases, Phys. Rev. B 106, 094415 (2022)

2022
[53]

Wang, T.-G

C.-Y. Wang, T.-G. Zhou, Y.-N. Zhou, and P. Zhang, Dis- tinguishing quantum phases through cusps in full count- 7 ing statistics, Phys. Rev. Lett. 133, 083402 (2024)

2024
[54]

Wu, C.-M

X.-C. Wu, C.-M. Jian, and C. Xu, Universal features of higher-form symmetries at phase transitions, SciPost Phys. 11, 033 (2021)

2021
[55]

J. Zhao, Z. Yan, M. Cheng, and Z. Y. Meng, Higher-form symmetry breaking at ising transitions, Phys. Rev. Res. 3, 033024 (2021)

2021
[56]

Y.-C. Wang, M. Cheng, and Z. Y. Meng, Scaling of the disorder operator at (2 +1)d u(1) quantum criticality, Phys. Rev. B 104, L081109 (2021)

2021
[57]

Y.-C. Wang, N. Ma, M. Cheng, and Z. Y. Meng, Scaling of the disorder operator at deconﬁned quantum critical- ity, SciPost Phys. 13, 123 (2022)

2022
[58]

Z. H. Liu, W. Jiang, B.-B. Chen, J. Rong, M. Cheng, K. Sun, Z. Y. Meng, and F. F. Assaad, Fermion disorder operator at gross-neveu and deconﬁned quantum critical- ities, Phys. Rev. Lett. 130, 266501 (2023)

2023
[59]

Cai and M

K.-L. Cai and M. Cheng, Disorder operators in 2d fermi and non-fermi liquids through multidimensional bosonization (2024), arXiv:2404.04334 [cond-mat.str-el]

2024
[60]

Xu and R.-Z

W.-T. Xu and R.-Z. Huang, Finite correlation length scaling of disorder parameter at quantum criticality, Phys. Rev. Lett. 134, 146503 (2025)

2025
[61]

Chen and X.-G

X. Chen and X.-G. Wen, Chiral symmetry on the edge of two-dimensional symmetry protected topological phases, Phys. Rev. B 86, 235135 (2012)

2012
[62]

Azses, D

D. Azses, D. F. Mross, and E. Sela, Symmetry-resolved entanglement of two-dimensional symmetry-protected topological states, Phys. Rev. B 107, 115113 (2023)

2023
[63]

J. L. Cardy, Operator content of two-dimensional con- formally invariant theories, Nuclear Physics B 270, 186 (1986)

1986
[64]

Eggert and I

S. Eggert and I. Aﬄeck, Magnetic impurities in half- integer-spin heisenberg antiferromagnetic chains, Phys. Rev. B 46, 10866 (1992)

1992
[65]

C´ ordova, K

C. C´ ordova, K. Ohmori, S.-H. Shao, and F. Yan, Dec- orated Z2 symmetry defects and their time-reversal anomalies, Phys. Rev. D 102, 045019 (2020)

2020
[66]

D. J. Williamson, N. Bultinck, M. Mari¨ en, M. B. S ¸ahino˘ glu, J. Haegeman, and F. Verstraete, Matrix prod- uct operators for symmetry-protected topological phases: Gauging and edge theories, Phys. Rev. B 94, 205150 (2016)

2016
[67]

Jiang and Y

S. Jiang and Y. Ran, Anyon condensation and a generic tensor-network construction for symmetry-protected topological phases, Phys. Rev. B 95, 125107 (2017)

2017
[68]

Wang, X.-G

J. Wang, X.-G. Wen, and E. Witten, Symmetric gapped interfaces of spt and set states: Systematic constructions, Phys. Rev. X 8, 031048 (2018)

2018
[69]

Thorngren, A

R. Thorngren, A. Vishwanath, and R. Verresen, Intrin- sically gapless topological phases, Phys. Rev. B 104, 075132 (2021)

2021
[70]

Wen and A

R. Wen and A. C. Potter, Bulk-boundary correspondence for intrinsically gapless symmetry-protected topological phases from group cohomology, Phys. Rev. B 107, 245127 (2023)

2023
[71]

L. Li, M. Oshikawa, and Y. Zheng, Decorated defect con- struction of gapless-SPT states, SciPost Phys. 17, 013 (2024)

2024
[72]

Schuch, I

N. Schuch, I. Cirac, and D. P´ erez-Garc ´ ıa, Peps as ground states: Degeneracy and topology, Annals of Physics 325, 2153 (2010)

2010
[73]

Wang and M

C. Wang and M. Levin, Weak symmetry breaking in two-dimensional topological insulators, Phys. Rev. B 88, 245136 (2013)

2013
[74]

T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tanti- vasadakarn, and D. J. Williamson, Pauli stabilizer mod- els of twisted quantum doubles, PRX Quantum 3, 010353 (2022)

2022
[76]

[ 36] proposes a similar mapping be- tween (d +1)-dimensional subsystem SPT states and d- dimensional intrinsic average SPT phases

We note that Ref. [ 36] proposes a similar mapping be- tween (d +1)-dimensional subsystem SPT states and d- dimensional intrinsic average SPT phases. However, the origin of the strong symmetry diﬀers fundamentally: In their framework, it arises directly from the subsystem symm...
[77]

In contrast, the anti-unitary symmetry V (H)Kλ u anti- commutes with V (g), so V (H)Kλ u ∣ψ ) and ∣ψ ) share the same V (g) quantum number
[78]

Nonetheless, it is reason- able to argue that the present result remains valid for Z2 charged operators acting on the physical legs in the vicinity of the entanglement cut

It should be noted that our prediction works for O act- ing on the entanglement space. Nonetheless, it is reason- able to argue that the present result remains valid for Z2 charged operators acting on the physical legs in the vicinity of the entanglement cut
[79]

Y.-N. Zhou, X. Li, H. Zhai, C. Li, and Y. Gu, Reviving the lieb–schultz–mattis theorem in open quantum sys- tems, National Science Review 12, 10.1093/nsr/nwae287 (2024)

2024 doi
[80]

Y. Zang, Y. Li, and S. Jiang, (to appear)
[81]

J. C. Budich and S. Diehl, Topology of density matrices, Phys. Rev. B 91, 165140 (2015)

2015
[82]

Bardyn, L

C.-E. Bardyn, L. Wawer, A. Altland, M. Fleischhauer, and S. Diehl, Probing the topology of density matrices, Phys. Rev. X 8, 011035 (2018)

2018
[83]

Altland, M

A. Altland, M. Fleischhauer, and S. Diehl, Symmetry classes of open fermionic quantum matter, Phys. Rev. X 11, 021037 (2021)

2021
[84]

L. M. Sieberer, M. Buchhold, J. Marino, and S. Diehl, Universality in driven open quantum matter, Rev. Mod. Phys. 97, 025004 (2025)

2025
[85]

Huang and S

Z.-M. Huang and S. Diehl, Mixed state topological or- der parameters for symmetry protected fermion matter, arXiv preprint arXiv:2401.10993 (2024)

2024 arXiv
[86]

S. Lu, P. Zhu, and Y.-M. Lu, Bilayer construc- tion for mixed state phenomena with strong, weak symmetries and symmetry breakings, arXiv preprint arXiv:2411.07174 (2024)

2024 arXiv
[87]

T. D. Ellison and M. Cheng, Toward a classiﬁcation of mixed-state topological orders in two dimensions, PRX Quantum 6, 010315 (2025)

2025
[88]

L. Mao, H. Zhai, and F. Yang, Probing topology of gaus- sian mixed states by the full counting statistics (2024), arXiv:2402.15964 [cond-mat.mes-hall]

2024 arXiv
[89]

J. Y. Lee, C.-M. Jian, and C. Xu, Quantum criticality under decoherence or weak measurement, PRX Quantum 4, 030317 (2023)

2023
[90]

Guo and S

Y. Guo and S. Yang, Strong-to-weak spontaneous sym- metry breaking meets average symmetry-protected topo- logical order, Phys. Rev. B 111, L201108 (2025)

2025
[91]

T. Ando, S. Ryu, and M. Watanabe, Gauge theory and mixed state criticality (2024), arXiv:2411.04360 [cond- mat.str-el]

2024
[92]

P. Sala, F. Pollmann, M. Oshikawa, and Y. You, Entan- 8 glement holography in quantum phases via twisted r´ enyi- n correlators (2025), arXiv:2506.10076 [cond-mat.str-el] . Supplemental Materials: Diagnosing 2D symmetry protected topologi cal states via mixed state anomaly Cha...

2025 arXiv
[93]

double- line

⋅ Λ ∂A = (1 ⊗D∂A ) ⋅ Λ ∂A (S4) Remarkably, these constraints directly imply the strong symmetry condition for ρ∂A : ρ∂A =D∂A ⋅ρ∂A =ρ∂A ⋅D† ∂A (S5) A paradigmatic example is the PEPS representation toric code wavefun ction. Here, tensors hosts Z2 virtual leg symmetry: D∂A = ∏j∈...
[94]

−JZ l LZ r L +hy (−Z l L−1X r LX l 1Z r 1 −Z l L−1Z l LY r LY l 1 −Z l LZ l 1Y r 1X l 2Z r 2 +Z l LX r 1Y l 2 ) + ∆ Z r LZ l 1 (S64) while other terms remain the same as Eq. ( S62). Numerical results for the ground state degeneracy of Hamiltonian with variou s boundary conditi...
[95]

Z2 toric code topological order, where D ∈M creates Z2 ﬂux line ( m-anyons at endpoints)
[96]

G = Z2 global symmetry
[97]

The map φ ∶ N → M encodes the condensation of bound states of m-anyons and λ l/r, while the action of E on N implies that λ l/r is charged under G

E = Z4 realized by [W (g)]2 =D, implying that fusion of two g-defect gives m-anyon Equivalently it implies that e-anyon carries half charge of symmetry G in standard SET language, as braiding g-defect on e-anyon twice yields (−1) Berry phase. The map φ ∶ N → M encodes the cond...
[98]

Levin and Z.-C

M. Levin and Z.-C. Gu, Braiding statistics approach to symm etry-protected topological phases, Phys. Rev. B 86, 115109 (2012)

2012
[99]

Jiang and Y

S. Jiang and Y. Ran, Anyon condensation and a generic tenso r-network construction for symmetry-protected topological phases, Phys. Rev. B 95, 125107 (2017)

2017
[100]

Chen, Z.-X

X. Chen, Z.-X. Liu, and X.-G. Wen, Two-dimensional symme try-protected topological orders and their protected gapless edge excitations, Phys. Rev. B 84, 235141 (2011)

2011
[101]

D. F. Holt, An interpretation of the cohomology groups hn (g, m ), Journal of Algebra 60, 307 (1979)

1979
[102]

Huebschmann, Crossed n-fold extensions of groups and coh omology, Commentarii Mathematici Helvetici 55, 302 (1980)

J. Huebschmann, Crossed n-fold extensions of groups and coh omology, Commentarii Mathematici Helvetici 55, 302 (1980)

1980
[103]

Thomas, The third cohomology group classiﬁes crossed mod ule extensions, arXiv preprint arXiv:0911.2861 (2009)

S. Thomas, The third cohomology group classiﬁes crossed mod ule extensions, arXiv preprint arXiv:0911.2861 (2009)

2009 arXiv
[104]

K. S. Brown, Cohomology of groups , Vol. 87 (Springer Science & Business Media, 2012)

2012
[105]

D. V. Else and C. Nayak, Classifying symmetry-protected topo logical phases through the anomalous action of the symmetry on the edge, Phys. Rev. B 90, 235137 (2014)

2014
[106]

Generalizations to anti-unitary symmetries and spatial sy mmetries follow analogously
[107]

Ma, J.-H

R. Ma, J.-H. Zhang, Z. Bi, M. Cheng, and C. Wang, Topological phases with average symmetries: the decohered, th e disordered, and the intrinsic (2024), arXiv:2305.16399 [cond-mat.str-el]

2024 arXiv
[108]

T. D. Ellison, Y.-A. Chen, A. Dua, W. Shirley, N. Tantivasad akarn, and D. J. Williamson, Pauli stabilizer models of twisted quantum doubles, PRX Quantum 3, 010353 (2022)

2022
[109]

L. A. Lessa, R. Ma, J.-H. Zhang, Z. Bi, M. Cheng, and C. Wan g, Strong-to-weak spontaneous symmetry breaking in mixed quantum states (2024), arXiv:2405.03639 [quant-ph]

2024 arXiv

Pith tools

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

[1] [33]

Li and F

H. Li and F. D. M. Haldane, Entanglement spectrum as a generalization of entanglement entropy: Identiﬁcation of topological order in non-abelian fractional quantum hall eﬀect states, Phys. Rev. Lett. 101, 010504 (2008)

2008

[2] [1]

Non-onsite realization: for instance, express W∂A as a matrix product Z2 operation [ 5, 8, 59]

[3] [2]

(5) When the system has additional symmetries, the degeneracy D may exceed

corresponds precisely to the degeneracy of the dominant eigenvalues in the transfer matrix spec- trum for ρg ∂A - a manifestation of the anomalous sym- metry action on the mixed state. (5) When the system has additional symmetries, the degeneracy D may exceed

[4] [3]

Remarkably, in such case, the dominant eigenvectors of the transfer matrix for ρg ∂A carry distinct Z2 quantum numbers, which can UA(g) ¯A (a) OkOj UA(g) ¯A (b) FIG

A notable case occurs when time-reversal symmetry is present, as in the Levin-Gu wavefunction that will be dis- cussed momentarily, we ﬁnd D = 4. Remarkably, in such case, the dominant eigenvectors of the transfer matrix for ρg ∂A carry distinct Z2 quantum numbers, which can UA(g) ¯A (a) OkOj UA(g) ¯A (b) FIG. 1. Diagnostics proposed for detecting 2D Z2 S...

[5] [4]

Senthil, Symmetry-protected topological phases of quantum matter, Annu

T. Senthil, Symmetry-protected topological phases of quantum matter, Annu. Rev. Condens. Matter Phys. 6, 299 (2015)

2015

[6] [5]

Z4), and then recover the anomalous Z2 action through appropriate projec- tion [ 60, 61]

Extend the Z2 symmetry group: enlarge the en- tanglement Hilbert space with an extended onsite symmetry group (e.g. Z4), and then recover the anomalous Z2 action through appropriate projec- tion [ 60, 61]. In this work, we adopt the second approach, as it facil- itates a clear derivation of our central result in Eq. ( 2) and Eq. ( 3). To see how the appro...

[7] [6]

Explicit calculation yields − ln⟨UX A ð = ln 2 ⋅L∂A − ln(4 cos(πL∂A /3)), (9) with L∂A the length of the boundary

reduces to the expectation value of a 1D operator. Explicit calculation yields − ln⟨UX A ð = ln 2 ⋅L∂A − ln(4 cos(πL∂A /3)), (9) with L∂A the length of the boundary. Compared with Eq. ( 2), we have θ =π /3 and D = 4. Note that D > 2 is due to the presence of additional time-reversal symmetry. As commented previously, time-reversal symmetry in- duces an ex...

[8] [7]

Our framework generalizes beyond the previous Lieb-Schultz- Mattis-type anomalies in mixed states [ 32, 72] to encom- pass broader ’t Hooft anomalies

and long-range order in twisted mixed state ( 3) when time-reversal symmetry is present. Our framework generalizes beyond the previous Lieb-Schultz- Mattis-type anomalies in mixed states [ 32, 72] to encom- pass broader ’t Hooft anomalies. The RDM perspective further enables new approaches for detecting topological phases with anyonic excita- tions [ 73],...