arxiv: v2 [cond-mat.str-el] 5 Sep 2010

Transcription

1 Classfcaton of Gapped Symmetrc Phases n 1D Spn Systems Xe Chen, 1 Zheng-Cheng Gu, 2 and Xao-Gang Wen 1, 3 1 Department of Physcs, Massachusetts Insttute of Technology, Cambrdge, Massachusetts 02139, USA 2 Kavl Insttute for Theoretcal Physcs, Unversty of Calforna, Santa Barbara, CA 93106, USA 3 Insttute for Advanced Study, Tsnghua Unversty, Bejng, , P. R. Chna arxv: v2 [cond-mat.str-el] 5 Sep 2010 Quantum many-body systems dvde nto a varety of phases wth very dfferent physcal propertes. The queston of what knd of phases exst and how to dentfy them seems hard especally for strongly nteractng systems. Here we make an attempt to answer ths queston for gapped nteractng quantum spn systems whose ground states are short-range correlated. Based on the local untary equvalence relaton between short-range correlated states n the same phase, we classfy possble quantum phases for 1D matrx product states, whch represent well the class of 1D gapped ground states. We fnd that n the absence of any symmetry all states are equvalent to trval product states, whch means that there s no topologcal order n 1D. However, f certan symmetry s requred, many phases exst wth dfferent symmetry protected topologcal orders. The symmetrc local untary equvalence relaton also allows us to obtan some smple results for quantum phases n hgher dmensons when some symmetres are present. PACS numbers: I. INTRODUCTION For a long tme, we beleved that Landau symmetrybreakng theory 1,2 descrbes all possble orders n materals, and all possble (contnuous) phase transtons. However, n last twenty years, t has become more and more clear that Landau symmetry-breakng theory does not descrbe all possble orders. For example, dfferent fractonal quantum Hall (FQH) states 3,4 all have the same symmetry. Thus t s mpossble to use symmetry breakng to characterze dfferent FQH states. If Landau symmetry breakng theory s not enough, then what should we use to descrbe those new states of matter? It turns out that we need to develop a totally new theory, to descrbed the new types of orders topologcal/quantum order 5,6 that appear n the FQH states and the spn lqud states. In Ref. 7, a systematc understandng of a large class of topologcal orders n strongly correlated bosonc systems wthout symmetry has been developed based on strngnet condensatons. In Ref. 8, the strng-net classfcaton of topologcal orders was generalzed, based on local untary (LU) transformatons. In Ref. 6,9,10, topologcal orders wth symmetry are studed usng projectve symmetry group and tensor network renormalzaton. But so far, we stll do not have a complete classfcaton of topologcal orders for nteractng systems. Recently, for non-nteractng gapped fermon systems wth certan symmetres, a complete classfcaton of topologcal phases has been developed based on the K- theory. 11,12 A generalzaton of the free fermon result to nteractng cases has been obtaned for 1D systems. 13 For 1D bosonc systems, Ref. 14 studed quantzed Berry phases for spn rotaton symmetrc systems. Ref. 15 studed the entanglement spectrum and the symmetry propertes of matrx product states. Usng those tools, they obtaned some nterestng results whch are specal cases of the stuaton consdered here. In ths paper, we wll apply the approach used n Ref. 8,17 to 1D strongly correlated systems. We wll combne the local untary transformaton wth the symmetry propertes of matrx product states, and try to obtan a complete classfcaton of all gapped phases n 1D quantum spn systems wth certan smple symmetres. We fnd that (a) f there s no symmetry (ncludng translaton symmetry), all gapped 1D spn systems belong to the same phase. (b) for 1D non-translaton nvarant (NTI) spn systems wth ONLY an on-ste symmetry descrbed by a group G, all the phases of gapped systems that do not break the symmetry are classfed by the equvalence classes n the second cohomology group H 2 (G, C) of the group G, provded that the physcal states on each ste form a lnear representaton of the group G. (Note that the equvalence classes n H 2 (G, C) classfy the types of projectve representatons of G over the feld C of complex numbers. Appendx C gves a bref ntroducton on projectve representaton and the second cohomology group.) In certan cases where G has nfntely many 1D representatons, for example when G = U(1), further classfcaton accordng to dfferent 1D representatons exst. But quantum states are defned only up to global change of phases, therefore the symmetry operatons of group G only needs to be represented by operators u(g) whch satsfy u(g 1 )u(g 2 ) = e θ(g1,g2) u(g 1 g 2 ) (1) for any group element g 1 and g 2. Such operators form a projectve representaton of group G. When we consder ths general case, we fnd that the classfcaton result remans the same as wth lnear representatons, that s,

2 2 (c) for 1D non-translaton nvarant (NTI) spn systems wth ONLY an on-ste symmetry descrbed by a group G, all the phases of gapped systems that do not break the symmetry are classfed by the equvalence classes n the second cohomology group H 2 (G, C) of the group G, provded that the physcal states on each ste form a projectve representaton of the group G. In certan cases where G has nfntely many 1D representatons, further classfcaton accordng to dfferent 1D representatons exst. Applyng these general results to specfc cases allows us to reach the followng conclusons: Frst, result (a) means that there s no non-trval topologcal order n 1D systems wthout any symmetry; Usng result (b), we fnd that NTI nteger-spn chan wth only on-ste SO(3) spn rotaton symmetry can have two and only two dfferent phases that do not break the SO(3) symmetry. Result (c) mples that NTI half-nteger-spn chan wth only onste SO(3) spn rotaton symmetry (whch s represented projectvely) also have two and only two gapped phase that does not break the SO(3) symmetry; We note the cyclc Zn group has no non-trval projectve representatons, thus NTI spn chan wth only on-ste Zn symmetry can have one and only one gapped phase that does not break the Zn symmetry; The U(1) symmetry group has no non-trval projectve representaton ether, however, due to the specal structure of the group of 1D representatons of U(1), NTI spn chan wth only on-ste U(1) symmetry can have three and only three gapped phase that does not break the U(1) symmetry. We also consdered systems wth translaton nvarance (TI) and correspondngly many results have been obtaned. (a) f there s no other symmetry, all gapped TI systems belong to the same phase. (Ths has been dscussed as the generc case n Ref. 17). (b) for 1D spn systems wth ONLY translaton symmetry and an on-ste symmetry descrbed by a group G, all the phases of gapped systems that do not break the two symmetres are labeled by the equvalence classes n the second cohomology group H 2 (G, C) of the group G and dfferent 1D representatons α(g) of G, provded that the physcal states on each ste form a lnear representaton of the group G. Smlar to the NTI case, we should consder projectve representatons of G at each ste. However, we fnd that, (c) there s no translaton nvarant gapped ground state symmetrc under on-ste symmetry of group G whch s represented projectvely on the state space at each ste. In partcular, we can show that the SO(3) spn rotaton symmetrc nteger spn chan has two dfferent gapped TI phases: the spn-0 trval phase and the Haldane phase 21, whle translaton nvarant SO(3) symmetrc half-nteger spn chan must ether be gapless or have degeneracy n ground space due to broken dscrete symmetres 22,23. On the other hand, the SU(2) symmetrc spn chans where on-ste degrees of freedom contan both nteger-spn and half-nteger-spn representatons have only one gapped TI phase. We also show that the spn chan wth only translaton and party symmetry (defned as exchange of stes together wth an on-ste Z 2 operaton) has four dfferent gapped TI phases For systems wth tme reversal symmetry, we fnd that NTI tme reversal symmetrc systems belong to two phases whle TI tme reversal symmetrc phases on nteger spn systems have two phases and those on halfnteger spn systems are ether gapless or have degeneracy n ground space. The paper s organzed as follows: secton II gves a detaled defnton of gapped quantum phases and explans how that gves rse to an equvalence relaton between gapped ground states wthn the same phase; secton III shows that short-range correlated matrx product states represents fathfully 1D gapped ground states and hence wll be our object of study; secton IV dscusses the stuaton where no symmetry s requred and found no topologcal order n 1D; secton V gves the classfcaton of phases for 1D systems wth certan symmetres, for example on-ste symmetry and tme reversal symmetry. It classfes phases n translatonal nvarant systems, and furthermore n systems where translatonal nvarance s present together wth other symmetres such as on-ste symmetry, party symmetry and tme reversal symmetry; secton VI generalzes some smple 1D results to hgher dmensons; fnally n secton VII we summarze our results and conclude ths paper. II. DEFINITION OF QUANTUM PHASES To obtan the above stated results, we need to frst brefly dscuss the defnton of quantum phases. A more detaled dscusson can be found n Ref. 8. Quantum phase descrbes an equvalence relaton between quantum systems. Systems we consder lve on a n-dmensonal lattce and nteractons are local (wth fnte range). A gapped quantum phase s usually defned as a class of gapped Hamltonans whch can smoothly deform nto each other wthout closng gap and hence wthout any sngularty n the local propertes of ground state. Such an equvalence relaton between Hamltonans can be renterpreted as an equvalence relaton between ground states, as dscussed n Ref. 8,17: Two gapped ground states belong to the same phase f and only f they are related by a local untary (LU) transformaton. 51 As LU transformatons can change local entanglement structure but not the global one, states n the same phase have the same long range entanglement (LRE) and hence the same topologcal order. 5,24 States equvalent to product

3 3 states have only short range entanglement (SRE) and hence trval topologcal order. All the states wth short range entanglement belong to the same phase whle states wth long range entanglement can belong to the dfferent phases. These consderatons lead to the phase dagram as llustrated n Fg. 1(a), for the class of systems wthout any symmetry requrement. A LU transformaton U can ether take the form of fnte tme evoluton wth a local Hamltonan U = T [e 1 0 dg H(g) ] (2) where T denotes tme ordered ntegral and H(g) s a sum of local Hermtan terms. Or U can take the form of a constant depth quantum crcut U = 1 U (1) 1... R U (R) R (3) whch s composed of R layers of untares and the U (k) s wthn each layer k are local and commute wth each other. 8 These two forms of LU transformatons are equvalent to each other and we wll manly take the quantum crcut form for the dscusson n ths paper (the tme evoluton form s used for dscusson of translaton nvarant systems). More generally, we wll consder equvalence relaton between states defned on dfferent Hlbert spaces and hence we allow a broader noton of untarty (whch s called generalzed LU transformaton n Ref. 8 and corresponds to the dsentanglers and sometres n MERA 25 ). Each LU operaton U (k) we consder n the quantum crcut wll act untarly on the support space of the reduced densty matrx of the regon wth (U (k) ) U (k) = I of the orgnal Hlbert space and U (k) (U (k) ) = I of the support space of reduced densty matrx. Whle the total Hlbert space mght change under such an operaton, the entanglement structure of the state remans ntact and hence the state remans n the same phase wth the same topologcal order. If the class of systems under consderaton have further symmetry constrants, two Hamltonans are n the same phase f they can be connected by a smooth path that stays wthn ths symmetrc regon. Correspondngly, the equvalence relaton between gapped ground states of the same phase needs to be modfed: 8 If the class of systems have certan symmetry, two gapped ground states belong to the same phase f and only f they are related by a LU transformaton whch does not break the symmetry. Such an restrcted equvalence relaton leads to a phase dagram wth more structure, as shown n Fg. 1(b). Frst not all short range entangled states belong to the same phase. short range entangled states wth dfferent symmetry breakng wll belong to dfferent phases. Those symmetry breakng phases wth short range entanglement (SB-SRE) are well descrbed by Landau s symmetry breakng theory 1,26. Can all phases wth short range entanglement be descrbed by symmetry breakng? Landau s symmetry g 2 SRE LRE 1 LRE 2 (a) g 1 g 2 SB SRE 1 SY SRE 1 SB LRE 1 SB LRE 2 SB SRE 2 SY SRE 2 SY LRE 1 SY LRE 2 SY LRE 3 (b) SB LRE 3 FIG. 1: (Color onlne) (a) The possble phases for class of Hamltonans H(g 1, g 2) wthout any symmetry restrcton. (b) The possble phases for class of Hamltonans H symm(g 1, g 2) wth some symmetres. The shaded regons n (a) and (b) represent the phases wth short range entanglement. breakng theory suggest that states wth the same symmetry always belong to the same phase, whch mples that all phases wth short range entanglement are descrbed by symmetry breakng. However, ths result turns out to be not qute correct. States whch do not break any symmetry can stll belong to dfferent phases as well. 6 We wll refer to the order n symmetrc short range entanglement (SY-SRE) states as symmetry protected topologcal order 19. For example, n the presence of party symmetry, the Haldane phase and the S z = 0 phase of spn-1 chan belong to two dfferent phases even though both phases have short range entanglement and do not break the party symmetry. Also, n the presence of tme-reversal symmetry, the topologcal nsulators and the band nsulators belong to two dfferent phases. Agan both phases have short range entanglement. For systems wth long range entanglement, the phase dagram smlarly dvdes nto symmetry breakng (SB- LRE) and symmetrc (SY-LRE) phases. The charge 4e superconductng states 27 and the symmetrc Z2 states 6,28 are examples of the SB-LRE phases and the SY- LRE phases respectvely. III. 1D GAPPED SPIN SYSTEMS AND MATRIX PRODUCT STATES Havng defned the unversalty classes of phases as the equvalence classes of states under (symmetrc) local untary transformatons, we would then lke to know whch phases exst, or n other words, to classfy all possble phases n strongly correlated systems. Some partal classfcatons have been dscussed for strongly correlated systems through strng-net states, 7 and for free fermon systems wth certan symmetres through K-theory. 11,12 In ths paper, we would lke to consder 1D gapped strongly correlated spn systems both wth and wthout symmetry, and try to classfy all such systems whose ground state does not break any symmetry. (In other words, the ground state has the same symmetry as the Hamltonan.) g 1

4 4 Completely classfyng strongly correlated spn systems seems to be a hard task as n general strongly nteractng quantum many-body systems are very hard to solve. However, the recent nsght about descrbng 1D gapped ground states of spn systems wth matrx product state formalsm 29,30 provdes us wth a handle to deal wth ths problem. A matrx product states (MPS) s expressed as φ = 1, 2,..., N Tr(A [1] 1 A [2] 2...A [N] N ) N (4) where = 1...d wth d beng the physcal dmenson of a spn at each ste, A [k] s are D D matrces on ste k wth D beng the nner dmenson of the MPS. It has been shown that matrx product states capture the essental features of 1D gapped ground state, for example an entanglement area law 31 and fnte correlaton length 32,33, and provde an effcent descrpton of such states 34. On the other hand, generc matrx product states satsfyng a condton called njectvty are all gapped ground states of local Hamltonans 29,30. Therefore, studyng ths class of MPS wll enable us to gve a full classfcaton of 1D gapped spn systems. Now the queston of what phases exst n 1D gapped spn systems can be restated as what equvalence classes of matrx product states exst under LU transformatons. Ref. 17 gave a specfc way to apply such LU transformatons, whch realzes a renormalzaton group transformaton on MPS that removes local entanglement and takes the states to a smple fxed pont form. A partal classfcaton of MPS s also gven n Ref. 17. In the followng we wll use ths procedure to classfy gapped phases of 1D spn system, n partcular the 1D systems wth varous symmetres. We see that the possble phases n 1D strongly correlated systems depend on the symmetry of the class of systems. Frst we wll brefly revew how the renormalzaton group transformaton 17 s done. For the dentfcaton and optmal removal of local entanglement, a partcularly useful mathematcal constructon s the double tensor E [k] αγ,βχ = A[k],αβ (A[k],γχ ) of the MPS. E [k] unquely determnes the state up to a local change of bass on each ste 30,35, that s, f E [k] αγ,βχ = are related by a untary transfor- then A [k],αβ maton U [k] : A [k],αβ (A[k],γχ ) = and B[k],αβ B [k],αβ (B[k],γχ ) (5) B [k],αβ = j U [k] j A[k] j,αβ. (6) Therefore, states descrbed by A [k] and B [k] have exactly the same entanglement structure, whch s fathfully captured n E [k]. A proof of ths fact can be found n Ref. 35. For clarty, we present the proof n appendx A followng the notaton of ths paper. Local untary operatons on MPS can be appled through manpulaton of E [k]. Treat E [k] as a D 2 D 2 matrx wth row ndex αγ and column ndex βχ. To apply a untary operaton on n consecutve stes, we combne the double tensor of the n stes together nto Ẽ = E [1] E [2]...E [n] (7) and then decompose Ẽ nto a set of matrces Ãĩ s Ẽαγ,βχ = ĩ Ãĩ,αβ à ĩ,γχ. (8) Note Ãĩ,αβ s determned up to a untary transformaton on ĩ. The ndex ĩ of Ãĩ,αβ, up to an untary transformaton, can be vewed as the combnaton of 1, 2,..., n, the ndces of A [1], 1,αβ A[2] 2,αβ,... A[n] n,αβ. Gong from orgnal ndces 1, 2,..., n to the effectve ndex ĩ corresponds to applyng a untary operaton on the n-block and Ãĩ descrbes the new state after operaton. The untary operaton can be chosen so that local entanglement s maxmally removed. Ẽ contans all the nformaton about the entanglement of the block wth the rest of the system but not any detal of entanglement structure wthn the block. Hence we can determne from Ẽ the optmal way of decomposton nto à whch corresponds to the untary operaton that maxmally removes local entanglement whle preservng the global structure. To do so, thnk of Ẽαγ,βχ as a matrx wth row ndex αβ and column ndex γχ. It s easy to see that wth such a recombnaton, Ẽ s a postve matrx and can be dagonalzed Ẽαγ,βχ = ĩ λĩvĩ,αβ V ĩ,γδ, (9) where we have kept only the non-zero egenvalues λĩ and the correspondng egenvectors Vĩ,αβ. à s then gven by Ãĩ,αβ = λ Vĩ,αβ, (10) whch are the matrces representng the new state. In retanng only the non-zero egenvalues, we have reduced the physcal dmenson wthn the block to only those necessary for descrbng the entanglement between ths block and the rest of the system. Local entanglement wthn the block has been optmally removed. Each renormalzaton step n the renormalzaton procedure hence works by groupng every n consecutve stes together and then applyng the above transformaton to map A [1], A [2],..., A [n] to Ã. So one renormalzaton step maps the orgnal matrces (A [k] ) (0) on each ste to renormalzed matrces (A [k] ) (1) on each block. Repeatng ths procedure for a fnte number of tmes corresponds to applyng a fnte depth quantum crcut to the orgnal state. If the matrces reaches a smple fxed pont form (A [k] ) ( ) (up to local untares), we can determne from

5 5 t the unversal propertes of the phase whch the orgnal state belongs to. Such a renormalzaton procedure hence provdes a way to classfy matrx product states under LU transformatons by studyng the fxed pont (A [k] ) ( ) that a state flows to. Two states are wthn the same phase f and only ther correspondng fxed ponts states can be transformed nto each other by (symmetrc) LU transformatons. In the followng we wll apply ths method to study short-range correlated matrx product states whch fathfully represent the class of 1D gapped ground states. The short-range correlaton s an extra constrant on the set of matrx product states that we wll consder. Not all matrx product states descrbe gapped ground states of 1D spn systems. In partcular, 1D gapped ground states all have fnte correlaton length 33 for equal tme correlators of any local operator, whle matrx product states can be long-range correlated. The fnte correlaton length puts an extra constrant on MPS that the egen-spectrum of E should have a non degenerate largest egenvalue (set to be 1) (see appendx B). 29,30 Therefore, we wll assume ths property of E n our followng dscusson and correspondng MPS wll be called short-range correlated (SRC) MPS. Ths renormalzaton method s well suted for the study of systems wthout translatonal nvarance, whch we wll dscuss n detal. We wll also make an attempt to study translatonal nvarant systems wth ths method. Whle the full translatonal symmetry s reduced to block translatonal symmetry n the RG process, by studyng the resultng equvalence classes for dfferent values of block sze n, we expect to obtan a more complete classfcaton of translatonal nvarant 1D systems. Indeed, the classfcaton result s further confrmed by usng a translatonal nvarant LU transformaton n the tme evoluton form to study equvalence between TI systems. In the followng sectons, we wll present our analyss and results for dfferent cases. Frst we wll consder the stuaton where no specfc symmetry s requred for the system. IV. NO TOPOLOGICAL ORDER IN 1D When no symmetry s requred for the class of system, we want to know what knd of long range entanglement exsts and hence classfy topologcal orders n 1D gapped spn systems. We wll show that All gapped 1D spn systems belong to the same phase f there s no symmetry. In other words, there s no topologcal order n 1D. Ths s smlar to the generc case dscussed n Ref. 17. To obtan such a result, we use the fact that gapped 1D spn states 52 are descrbed by short-range correlated (SRC) matrx product states. Then one can show that all SRC matrx product states can be mapped to product states wth LU transformatons and hence there s no topologcal order n 1D. Consder a generc system wthout any symmetry (ncludng translaton symmetry) whose gapped ground state s descrbed as an MPS wth matrces A [k] that vary from ste to ste. Ref. 30 gves a canoncal form for the matrces so that the double tensor E [k] αγ,βχ, when treated as a matrx wth row ndex αγ and column ndex βχ, has a left egenvector Λ [k] αγ = λ [k] α δ αγ and correspond- = λ [k+1] β δ βχ. Here λ s are ng rght egenvector Λ [k+1] βχ postve numbers and α λ2 α = 1. δ αγ = 1 when α = γ and δ αγ = 0 otherwse. 53 Ths egenspace has the largest egenvalue n E [k]36 and s usually set to be 1. Note that the rght egenvector on ste k s the same as the left egenvector on ste k + 1 and has norm 1, therefore when multplyng the double tensors together, ths one dmensonal egenspace wll always be of egenvalue 1. There could be other egenvectors of egenvalue 1 n E [k]. However, ths wll lead to an nfnte correlaton length 29,30 and hence not possble n 1D gapped state. Therefore, for short-range correlated MPS, E [k] must have a non-degenerate largest egenvalue 1. When multplyng the double tensors together, the remanng block of E [k] wll decay exponentally wth the number of stes. Ths consderaton s essental for determnng the fxed pont of the renormalzaton procedure when appled to the MPS, as shown below. Now we apply the renormalzaton procedure as dscussed n the prevous secton to remove local entanglement from a general SRC MPS. Take block sze n. The double tensor on the renormalzed stes are gven by (E [K] ) (1) = k K (E[k] ) (0), where k s are the n stes n block K. (E, agan, s treated as a D 2 D 2 matrx wth row ndex αγ and column ndex βχ.) After repeatng the renormalzaton process a fnte number of tmes, (E [k] ) (R) wll be arbtrarly close to a fxed pont form (E [k] ) ( ) wth non-degenerate egenvalue 1 and (E [k] ) ( ) αγ,βχ = Λ [k+1] βχ λ [k+1] β δ βχ. = Λ [k] αγ [k+1] Λ βχ [K], where Λ = αγ λ [k] α δ αγ and Now we can decompose (E [k] ) ( ) nto matrces to fnd the fxed pont state. One set of matrces gvng rse to ths double tensor s gven by (A [k] l r,αβ )( ) = λ [k] δ l l α λ [k+1] δ r r β (11) l, r = 1...D. Here we use a par of ndces ( l, r ) to label the effectve physcal degrees of freedom on the renormalzed ste k, and (A [k] ) ( ) s a set of matrces that defnes l, r the fxed-pont MPS. It s clear from the form of the matrces that at fxed pont every ste s composed of two vrtual spns of dmenson D. Every vrtual spn s n an entangled par wth another vrtual spn on the neghbor- [k+1] =1 λ ng ste EP k,k+1 = D, and the full manybody state s a product of these pars. An llustraton of ths state s gven n Fg. 2(upper layer).

6 6 FIG. 2: (Color onlne) Dsentanglng fxed pont state (upper layer, product of entangled pars) nto drect product state (lower layer) wth LU transformatons. Obvously we can further dsentangle these pars by applyng one layer of local untary transformatons between every neghborng stes and map the state to a product state (Fg. 2, lower layer). Therefore, through these steps we have shown that all SRC matrx product states can be mapped to product states wth LU transformatons and hence there s no topologcal order n 1D NTI system. V. SYMMETRY PROTECTED TOPOLOGICAL ORDER IN 1D If the class of systems under consderaton has certan symmetry, the equvalence classes of states are defned n terms of LU transformatons that do not break the symmetry. Therefore, when applyng the renormalzaton procedure, we should carefully keep track of the symmetry and make sure that the resultng state has the same symmetry at each step. Due to such a constran on local untary equvalence, we wll see that gapped ground states whch do not break the symmetry of the system dvde nto dfferent unversalty classes correspondng to dfferent symmetry protected topologcal orders. We wll frst dscuss the case of on-ste symmetres n detal for non-translatonal nvarant (NTI) systems,.e., the system has only an on-ste symmetry and no translaton symmetry. Then we shall make an attempt to study translatonal nvarant (TI) systems, wth the possblty of havng on-ste symmetry or party symmetry. Lastly, we shall consder the case of tme reversal symmetry. A. On-ste Symmetry A large class of systems are nvarant under on-ste symmetry transformatons. For example, the Isng model s symmetrc under the Z 2 spn flp transformaton and the Hesenberg model s symmetrc under SO(3) spn rotaton transformatons. In ths secton, we wll consder the general case where the system s symmetrc under u (0) (g)... u (0) (g) wth u (0) (g) beng a untary representaton of a symmetry group G on each ste. The representaton can be lnear or projectve. That s, for any g 1, g 2 G, u(g 1 )u(g 2 ) = e θ(g1,g2) u(g 1 g 2 ) (12) where θ(g 1, g 2 ) = 0 n a lnear representaton and θ(g 1, g 2 ) could take non-trval value n a projectve representaton. A projectve representaton of a symmetry group s generally allowed n a quantum descrpton of system because the factor e θ(g1,g2) only changes the global phase of a quantum state but not any physcally measurable quantty. Therefore, n our classfcaton, we wll consder not only the case of lnear representaton, but also n general projectve representatons. The on-ste symmetry s the only symmetry requred for the class of system. In partcular, we do not requre translatonal symmetry for the systems. However, for a smple defnton of phase, we wll assume certan unformness n the state, whch we wll defne explctly n the followng. We wll classfy possble phases for dfferent G when the ground state s nvarant (up to a total phase) under such on-ste symmetry operatons and s gapped (e short-range correlated). Specfcally, the ground state φ L on L stes satsfes u (0) (g)... u (0) (g) φ L = α L (g) φ L (13) where α L (g) = 1 are g and L dependent phase factors. 1. On-ste Lnear Symmetry Frst, let us consder the smpler case where u (0) (g) form a lnear representaton of G. α L (g) s then a onedmensonal lnear representaton of G. Now we wll try to classfy these symmetrc ground states usng symmetrc LU transformatons and we fnd that Consder 1D spn systems wth ONLY an onste symmetry G whch s realzed lnearly, all the gapped phases that do not break the symmetry are classfed by H 2 (G, C), the second cohomology group of G, f H 2 (G, C) s fnte and G has a fnte number of 1D representatons. We wll also dscuss the case of U(1) group whch has an nfnte number of 1D representatons. We wll agan assume that all gapped states can be represented as short range correlated matrx product states. We wll use the renormalzaton flow used before 17 to smplfy the matrx product states and use the fxed-pont matrx product states to characterze dfferent equvalent classes of LU transformatons, as two symmetrc states belong to the same class f and only f ther correspondng fxed-pont states can be mapped to each other wth symmetrc LU transformatons. In order to compare dfferent equvalent classes under symmetrc LU transformatons, t s mportant to keep track of the symmetry whle dong renormalzaton. Frst, n the renormalzaton procedure we group n stes together nto a new ste. The on-ste symmetry transformaton becomes ũ (0) (g) = ( u (0) (g)) n, whch s agan a lnear representaton of G. The next step n RG transformaton apples a untary transformaton w [k] 1 to

7 7 the support space of new ste k. Ths s actually tself composed of two steps. Frst we project onto the support space of the new ste, whch s the combnaton of n stes n the orgnal chan. Ths s an allowed operaton compatble wth symmetry G as the reduced densty matrx ρ n s nvarant under ũ (0) (g), so the support space form a lnear representaton for G. The projecton of ũ (0) (g) onto the support space P n ũ (0) (g)p n hence remans a lnear representaton of G. In the next step, we do some untary transformaton w [k] 1 wthn ths support space whch relabels dfferent states n the space. The symmetry property of the state should not change under ths relabelng. In order to keep track of the symmetry of the state, the symmetry operaton needs to be redefned as (u [k] ) (1) (g) = w [k] 1 P nũ (0) (g)p n (w [k] 1 ). After ths redefnton, the symmetry operatons (u [k] ) (1) (g) on each new ste k form a new lnear representaton of G. By redefnng (u [k] ) () (g) at each step of RG transformaton, we keep track of the symmetry of the system. Fnally at the fxed pont (e at a large RG step = R), we obtan a state descrbed by (A [k] l r ) (R) whch s agan gven by the fxed pont form eqn. (11). To descrbe a state that does not break the on-ste symmetry, here (A [k] ) (R) s nvarant (up to a phase) under (u [k] ) (R) (g) on each ste k. l r Therefore 16, j l j r u [k] l r,j l j r (g)a [k] j l j r = α (R) 1 [k] (g)n[k] (g)a[k] M l r [k] (g) N [k] (g) = M [k 1] (g) (14) must be satsfed wth some nvertble matrx N [k] (g) and M [k] (g). Here k labels the coarse graned stes and we have dropped the RG step label R (except n α (R) [k] (g)). Each coarse graned ste s a combnaton of n R orgnal lattce stes and α (R) [k] (g) form a 1D (lnear) representaton of G. Solvng ths equaton we fnd the followng results (see appendx D): (a) N [k] (g) and M [k] (g) are projectve representatons of G (see eqn. (D7)). Projectve representatons of G belong to dfferent classes whch form the second cohomology group H 2 (G, C) of G. (For a bref ntroducton on projectve representaton, see appendx C). M [k] (g) and N [k] (g) corresponds to the same element ω n H 2 (G, C). (b) The lnear symmetry operaton u [k] (g) must be of the form α (R) [k] (g)u[k],l (g) u [k],r (g) where u [k],l and u [k],r are projectve representatons of G and correspond to nverse elements ω and ω n H 2 (G, C) respectvely. α (R) [k] (g) s a 1D (lnear) representaton of G. u [k],l and u [k],r act on the two vrtual spns separately (see eqn. (D13)). Therefore, the fxed pont state s formed by entangled pars EP k,k+1 of vrtual spns whch are nvarant, up to a phase (due to the non-trval α (R) [k] (g)), under lnear transformaton u [k],r (g) u [k+1],l (g). Now we use the unformness of the state and smplfy our dscussons. Specfcally, we assume that α (R) [k] (g) does not depend on the ste ndex k. Certanly, α (R) [k] (g) does not depend on k f the state has the translaton symmetry. If the 1D representatons of G are dscrete, then for weak randomness that slghtly break the translaton symmetry, α (R) [k] (g) stll does not depend on k. So we can drop the k ndex and consder α (R) (g). Does dfferent α (R) (g) label dfferent symmetrc phases? Frst, the answer s no f the number of 1D representatons of G s fnte (as s the case for Z n, SO(3), etc). Because we can always choose block sze n properly so that α (R) (g) = 1 and the dfference between symmetrc states due to α (R) (g) dsappears. In the case of U(1) group, there are nfntely many dfferent 1D representatons e mθ, labeled by nteger m. For two states wth postve m 1, m 2, we can always choose block sze m 2 n R, m 1 n R respectvely, so that the 1D representatons become the same. Ths s also true for negatve m 1, m 2. But f m 1, m 2 take dfferent sgn (or one of them s 0), the 1D representatons wll always be dfferent no matter what blockng scheme we use. Therefore, U(1) symmetrc states dvde nto three classes due to dfferent 1D representatons that can be labeled by {+, 0, }. After these consderatons, we wll gnore the 1D representatons α (R) (g) n the followng dscusson. We fnd that the entangled pars EP k,k+1 of vrtual spns n the fxed pont state are exactly nvarant under lnear transformaton u [k],r (g) u [k+1],l (g). The left vrtual spn of each ste forms a projectve representaton of G correspondng to element ω n H 2 (G, C), whle the rght vrtual spn corresponds to element ω. In appendx E, we wll show that fxed pont states wth the same ω can be related by a symmetrc LU transformaton, whle those wth dfferent ω cannot. Therefore, the phases of SRC MPS that are nvarant under lnear on-ste symmetry of group G are classfed by the second cohomology group H 2 (G, C). (When G = U(1), further dvson of classes due to dfferent 1D representatons of G exst. The equvalence classes are labeled by α {+, 0, } and ω H 2 (U(1), C).) 2. On-ste Projectve Symmetry Due to the basc assumpton of quantum mechancs that the global phase of a quantum state wll not have any effect on the physcal propertes of the system, t s necessary to consder not only the lnear representaton of symmetry operatons on the system, but also the projectve representatons. For example, on a half-nteger spn, rotaton by 2π s represented as I, mnus the dentty operator nstead of I. Hence, the rotaton symmetry SO(3) s represented projectvely on half nteger spns. In order to cover stuatons lke ths, we dscuss n ths secton systems wth on-ste projectve symmetry of group G. Agan, we consder the case when the ground state does

8 8 not break the symmetry,.e. u (0) (g)... u (0) (g) φ L = α L (g) φ L, where u (0) (g) form a projectve representaton of group G correspondng to class ω. Assumng unformness of the state, we requre that ω does not vary from ste to ste. But ths can be reduced to the prevous lnear case. As long as H 2 (G, C) s fnte and ω has a fnte order n, we can take block sze n so that after blockng, the symmetry operaton on the renormalzed ste ũ (0) (g) = ( u (0) (g)) n corresponds to nω = ω 0 n H 2 (G, C). Therefore, the state after one blockng step s symmetrc under an onste lnear representaton of group G and all the reasonng n the prevous secton apples. We fnd that the classfcaton wth projectve on-ste symmetry s the same as lnear on-ste symmetry. That s Consder 1D spn systems wth ONLY an onste symmetry G whch s realzed projectvely, all the gapped phases that do not break the symmetry are classfed by H 2 (G, C), the second cohomology group of G, f H 2 (G, C) s fnte and G has a fnte number of 1D representatons. The U(1) group does not have a non-trval projectve representaton and wll not ntroduce any complcaton here. 3. Examples Snce G = Zn has no non-trval projectve representatons, we fnd that All 1D gapped systems wth only on-ste Zn symmetry belong to the same phase. For spn systems wth only spn rotaton symmetry, G = SO(3). SO(3) has two types of projectve representatons descrbed by H 2 (SO(3), C) = {0, 1}, correspondng to nteger and half-nteger spn representatons. We fnd that For nteger-spn systems, all 1D gapped systems wth only on-ste SO(3) spn rotaton symmetry have two dfferent phases. Such a result has some relaton to a well known result 37 for NTI spn-1 Hesenberg chan H = J S S +1. (15) The model undergoes an mpurty drven second order phase transton from the Haldane phase 21 to the random snglet phase 38,39 as the randomness n J ncreases. For half-nteger-spn systems, SO(3) s represented projectvely on each ste, yet the classfcaton s the same as the nteger case. we fnd that For half-nteger-spn systems, all 1D gapped states wth only on-ste SO(3) spn rotaton symmetry have two dfferent phases. Representatve states of the two phases are nearestneghbor dmer states, but wth dmer between stes 2 and n the frst phase and between stes 2 1 and 2 n the second phase. The projectve representaton of SO(3) on half-ntegerspns form a lnear representaton of SU(2). If we thnk of the lnear representaton of SO(3) on nteger-spns as a (unfathful) lnear representaton of SU(2) and allow the mxture of nteger and half-nteger spns on one ste, then the two phases of SO(3) merge nto one. Therefore, systems wth only on-ste SU(2) symmetry (whch mples the mxture of nteger and half-nteger spns on each ste) belong to one phase as we can map nteger-spn snglets nto half-nteger-spn snglets wthout breakng the SU(2) symmetry (see appendx E). Such a procedure breaks down f SO(3) symmetry s requred for each ste as the drect sum of a lnear representaton (on nteger-spn) and a projectve representaton (on half-nteger-spn) s no long a projectve representaton for SO(3). In ths way, we have obtaned a full classfcaton of the phases of gapped NTI 1D spn systems wth varous on-ste symmetry. B. Translaton Invarance We have dscussed the gapped phases of 1D NTI systems that have some on-ste symmetres. In ths secton, we would lke to dscuss translaton symmetrc systems. We wll consder those translaton symmetrc systems whose ground states are gapped and translaton nvarant (TI) {n }-block TI LU transformatons and b-phases To dscuss the TI phases, we need to dscuss the equvalence classes under TI LU transformatons. However, t s hard to use quantum crcut to descrbe TI LU transformatons. Thus, the quantum crcut formulaton used n ths paper s nconvenent to descrbe TI LU transformatons. However, n ths secton, we wll frst try to use the quantum crcut formulaton of LU transformatons to dscuss the phases of TI gapped states. Whle we are able to dentfy many dfferent phases n ths way, we can not rgorously prove the equvalence of states wthn each phase usng the non-translatonal nvarant crcut. In order to establsh ths equvalence, we later apply the other formulaton of local untary transformaton a fnte tme evoluton wth a local Hamltonan(Eqn.2) where TI can be preserved exactly and we confrm the classfcaton result obtaned wth quantum crcuts(see appendx G). Let us consder the LU transformatons represented by quantum crcuts whch s formed by the untary operators on blocks of n stes n the th layer (see Fg. 3). We wll call such LU transformatons {n }-block LU transformatons. If the untary operators on dfferent blocks n the same layer of the quantum crcut are the same,

9 9 U U 2 U 2 U 1 U 1 U 1 U 1 U 1 U 1 FIG. 3: A {n }-block TI LU transformaton descrbed by a quantum crcut of three layers. Here n 1 = 4, n 2 = 3, n 3 = 2. The untary transformatons U on dfferent blocks n the th layer are the same. 3 we wll call the LU transformatons a {n }-block TI LU transformatons. In ths paper, we wll try to use quantum crcut formulaton of the LU transformatons to dscuss gapped translaton symmetrc phases. One way to do so s to use the equvalent classes of the {n }-block TI LU transformatons to classfy the gapped translaton symmetrc phases. However, snce the {n }-block TI LU transformatons are dfferent from the TI LU transformatons, the equvalent classes of {n }-block TI LU transformatons are dfferent from the equvalent classes of the TI LU transformatons. But snce the TI LU transformatons are specal cases of {n }-block TI LU transformatons, each equvalent class of {n }-block TI LU transformatons are formed by one or more equvalent classes of TI LU transformatons. Therefore, we can use the equvalent classes of {n }- block TI LU transformatons to descrbe the gapped TI phases, snce dfferent equvalent classes of {n }-block TI LU transformatons always represent dfferent TI quantum phases. On the other hand, the equvalent classes of {n }-block TI LU transformatons may not separate all gapped TI phases. Sometmes, a sngle equvalent class of {n }-block TI LU transformatons may contan several dfferent gapped TI phases. To ncrease the resoluton of the {n }-block TI LU transformatons, we would lke to ntroduce the block equvalent classes: two states belong to the same block equvalent classes, ff, for all values of n, they can be mapped nto each other through {n }-block TI LU transformatons. Clearly, each block equvalent class mght stll contan several dfferent gapped TI phases. In ths paper, we wll call a block equvalent class a block phase, or b- phase. It s possble that the block equvalent classes are the same as the unversal classes that represent the gapped TI phases. In ths case the gapped TI b-phases are the same as the gapped TI phases, and we can study the gapped TI phases through block equvalent classes. In the followng, we wll frst study the b-phases for 1D strongly correlated systems wth translaton and some other symmetres and then confrm that gapped TI b- phases do concde wth gapped TI phases. To descrbe TI gapped states we wll use TI MPS representaton wth ste ndependent matrces. But how do we know a TI gapped state can always be represented by a MPS wth ste ndependent matrces? A non-unform MPS n eqn. (4) can represent a TI state f the matrces A [k] satsfy, for example, A [k+1] = M 1 A [k] M (16) for an nvertble matrx M. It s proven n Ref. 30 that every TI state does have a TI MPS representaton. Specfcally, n the example consdered above, we can transform the matrces so that they become ste ndependent. Let us ntroduce à [k] By constructon, A [k] MPS. We see that à [k+1] = N 1 We see that f we choose we wll have = N 1 [k 1] A[k] N [k]. (17) and Ã[k] [k] A[k+1] N [k+1] wll represent the same = N 1 [k] M 1 A [k] MN [k+1] (18) = N 1 [k] M 1 N [k 1] à [k] N 1 [k] MN [k+1] N [k] = M k, (19) à [k+1] = Ã[k]. (20) Hence reducng the orgnal non-unform representaton to a unform one. We also lke to remark that by TI gapped state, we mean that there exsts a TI gapped Hamltonan H L on a lattce of L stes such that the TI gapped state s the ground state of H L. We would lke to stress that we do not need the above condton to be true for all values of L. We only requre H L to be gapped for a sequence of lattce szes {L } that lm L =. In ths paper, when we dscuss a system of sze L, we always assume that L belongs to such a sequence {L }. Ths consderaton s mportant f we want to nclude n our dscusson, for example, boson systems wth 1/2 partcles per ste whch can only be defned for even system sze L. 2. Gapped TI b-phases concde wth gapped TI phases In the above dscusson, we see that for a large block sze, the related matrx [see (7)] Ẽ = E[1] E [2]...E [n] s domnated by ts largest egenvalue. For translaton nvarant states, E [] = E and Ẽ = En. So the fxed-pont Ẽ, and hence the gapped TI b-phase, s drectly determned by the largest egenvalue and the correspondng left and rght egenvectors of E.

10 10 Snce a gapped TI b-phase s drectly determned by E on each ste, we do not need to do any blockng transformaton to understand the gapped TI b-phase. We can drectly extract ts fxed-pont tensor from E. Ths suggests that gapped TI b-phases concde wth gapped TI phases. Indeed, we can drectly deform E to the fxed-pont Ẽ by changng other non-largest egenvalues to zero. Such a procedure allows us to deform the matrx A,αβ of the ntal MPS to the fxed-pont matrx Ã,αβ of the fnal MPS. Snce the largest egenvalue of E s not degenerate, the state remans short range correlated (and gapped) durng the deformaton. 29,30 (As we are wrtng up the above arguments, we learned that a smlar method s used by Schuch et. al. 47 ) Also the state does not break the translaton symmetry (unlke the n-block transformatons) and other symmetres durng the deformaton. Ths allows us to show that the gapped TI phases s characterzed by the largest egenvalue and the correspondng left and rght egenvectors of E. Thus gapped TI b-phases concde wth gapped TI phases. For detals, see appendx G. In the followng, we wll use the {n }-block TI LU transformatons to dscuss varous gapped TI phases of 1D systems. 3. 1D systems wth only translaton symmetry For 1D systems wth only translaton symmetry, there s only one gapped TI phase. Such a result generalzes the earler result that for 1D systems wth no symmetry, there s only one gapped phase. To obtan the new result, we bascally repeat what we dd n secton IV. The only dfference s that the matrces representng the state now are ste ndependent and n secton IV we use {n }-block LU transformatons to reduce the 1D NTI MPS, whle to derve the new result, here we use {n }-block TI LU transformatons to reduce the 1D TI MPS. 4. 1D systems wth translaton and on-ste untary symmetres Smlarly, by repeatng the dscussons n secton V A 1 and secton V A 2 for {n }-block TI LU transformatons on the 1D TI MPS, we can show that For a 1D spn system wth translaton and an on-ste projectve symmetry u(g), the symmetrc ground state cannot be short-range correlated, f the projectve symmetry u(g) correspond to a nontrval elements n H 2 (G, C). The reason s as follows. If a 1D state wth translaton symmetry s short-range correlated, t can be represented by a TI MPS. Its fxed-pont MPS also has an on-ste projectve untary symmetry ũ(g). For a proper choce of block sze n, we can make u(g) and ũ(g) to be the same type of projectve representaton descrbed by ω sym H 2 (G, C). For TI fxed-pont MPS, we have ω [k] = ω [k 1] snce M [k] (g) = M [k 1] (g)(cf. appendx D). Thus ω sym = 0, that s, the trval element n H 2 (G, C). So, f ω sym 0, the 1D TI state cannot be short-range correlated. In other words 1D spn systems wth translaton and an on-ste projectve symmetry are always gapless or have degenerate ground states that break the symmetres. If the ground state of the 1D spn system does not break the on-ste symmetry and the translaton symmetry, then ground state s not short-range correlated and s gapless. If the ground state of the 1D spn system breaks the on-ste symmetry or the translaton symmetry, then the ground state s degenerate. As an applcaton of the above result, we fnd that 1D half-nteger-spn systems wth translaton and the SO(3) spn rotaton symmetry are always gapless or have degenerate ground states. whch agrees wth the well known result of Ref. 22. To have a gapped TI 1D state wth an on-ste symmetry, the symmetry must act lnearly (e not projectvely). In ths case, we can show that the total phase factor of the state α L (g) breaks up nto L 1D representatons α(g) (see appendx F) For 1D spn systems of L stes wth translaton and an on-ste symmetry G, a gapped state that do not break the two symmetres must transform as u (0) (g)... u (0) (g) φ L = [α(g)] L φ L (21) for all values of L that s large enough. Here u (0) (g) s the lnear representaton of G actng on the physcal states n each ste and α(g) s an onedmensonal lnear representaton of G. Let us apply the above result to a boson system wth p/q bosons per ste. Here the bosons number s conserved and there s an U(1) symmetry. Certanly, the system s well defned only when the number of stes L has a form L = Jq (assumng p and q have no common factors). For such L, we fnd that α L (g) = α 0 (g) J = α 0 (g) L/q, where α 0 (g) s the generatng 1D representaton of the U(1) symmetry group. So eqn. (21) s not satsfed for some large L. Therefore, a 1D state of conserved bosons wth fractonal bosons per ste must be gapless, f the state does not break the U(1) and the translaton symmetry. In hgher dmensons, the stuaton s very dfferent. A 2D state of conserved bosons wth fractonal bosons per

11 11 ste can be gapped, and, at same tme, does not break the U(1) and the translaton symmetry. 2D fractonal quantum Hall states of bosons on lattce provde examples for such knd of states. Also, by repeatng the dscussons n secton V A 1 for {n }-block TI LU transformatons on the 1D TI MPS, we can show that For 1D spn systems wth only translaton and an on-ste lnear symmetry G, all the phases of gapped states that do not break the two symmetres are classfed by a par (ω, α) where ω H 2 (G, C) label dfferent types of projectve representatons of G and α label dfferent 1D representatons of G. Here α(g) s an 1D representaton of G that appear n eqn. (21). The symmetrc LU transformatons cannot change 1D representaton α(g). So the dfferent phases are also dstngushed by the 1D representatons α of G. Here are a few concrete examples: If we choose the symmetry group to be G = Zn, we fnd For 1D spn systems wth only translaton and onste Zn symmetry, there are n phases for gapped states that do not break the two symmetres. Ths s because Zn has no projectve representatons and has n dfferent 1D representatons. As an example, consder the followng model H = [ hσ z σ x 1σ y σz +1], (22) where σ x,y,z are the Paul matrces. The model has a Z 2 symmetry generated by σ z. The two dfferent Z 2 symmetrc phases correspond the h phase and the h phase of the model. If we choose the symmetry group to be G = SO(3), we fnd For 1D nteger-spn systems wth only translaton and SO(3) spn rotaton symmetry, there are two phases for gapped states that do not break the two symmetres. Ths s because SO(3) has only one 1D representaton and H 2 (SO(3), C) = Z2. Such a result agrees wth the well known result that the AKLT state 40 of spn-1 chan and the drect product state wth spn-0 on each ste represent two dfferent SO(3) symmetrc TI phases. The AKLT state (and the related Haldane phase 21 ) has gapless boundary spn-1/2 states and non-trval strng orders, 44,45 whch ndcate that the AKLT state s really dfferent from the spn-0 product state. Actually, the full symmetry of SO(3) can be relaxed to only the dhedral group D 2 (Z2 Z2) of rotaton by π around x, y and z axs. As explaned n appendx C, D 2 has one non-trval projectve representaton, to whch the AKLT state corresponds. AKLT s dfferent from the spn-0 product state as long as on-ste D 2 symmetry s preserved. Ths s consstent wth the result n Ref. 20, D systems wth translaton and party symmetres In ths secton, we wll consder the case of party symmetry for translatonal nvarant system. We defne the party operaton P for a spn chan to be n general composed of two parts: P 1, exchange of stes n and n; P 2, on-ste untary operaton u (0) where (u (0) ) 2 = I. 55 Smlar to the prevous dscusson, P gets redefned as we renormalze the state untl at fxed pont P 1 becomes the exchange of renormalzed stes and P 2 becomes u ( ) on every ste, (u ( ) ) 2 = I. The fxed pont matrces hence satsfes(the label s dropped): u l r,j l j rat j l j = ±M 1 A r l rm (23) j l j r for some nvertble matrx M, where we have used that the 1D representaton of party s ether (1, 1) or (1, 1). We label the two 1D representatons wth α(p ) = ±1. Here M satsfes M 1 M T = e θ. But M = (M T ) T = e 2θ M, therefore, e θ = ±1 and correspondngly M s ether symmetrc M = M T or antsymmetrc M = M T. We wll label ths sgn factor as β(p ) = ±1. Solvng ths equaton gves that u = α(p )v(u l u r ), where v s the exchange operaton of two vrtual spns l and r and u l,u r act on l, r respectvely. (u l ) T = β(p )u l and (u r ) T = β(p )u r. It can then be shown that each entangled par EP k,k+1 must be symmetrc under party operatons and satsfes u r k ul k+1 EP k+1,k = α(p ) EP k,k+1. There are hence four dfferent symmetrc phases correspondng to α(p ) = ±1 and β(p ) = ±1. By enlargng the local Hlbert space, we can show smlarly as before that fxed ponts wthn each class can be mapped from one to the other wth the {n }-block TI LU transformaton preservng the party symmetry. On the other hand, fxed ponts n dfferent classes can not be connected wthout breakng the symmetres. Therefore, under the {n }-block TI LU transformaton, there are four block classes wth party symmetry and hence four party symmetrc TI phases: For 1D spn systems wth only translaton and party symmetry, there are four phases for gapped states that do not break the two symmetres. As an example, consder the followng model H = [ BS z + S S +1 ], (24) where S are the spn-1 operators. The model has a party symmetry. The B = 0 phase and the B + phase of the model correspond to two of the four phases dscussed above. The B = 0 state 21 s n the same phase as the AKLT state. In the fxed-pont state for such a phase, EP k,k+1 =. The party transformaton exchange the frst and the second spn, and nduces a mnus sgn: P : EP k,k+1 EP k,k+1. The B + state s the S z = 1 state. Its entangled

12 (a) (b) (c) (d) FIG. 4: (Color onlne) Representatve states of the four party symmetrc phases, each correspondng to (a) α(p ) = 1, β(p ) = 1 (b) α(p ) = 1, β(p ) = 1 (c) α(p ) = 1, β(p ) = 1 (d) α(p ) = 1, β(p ) = 1. + stands for a party even entangled par (e.g ), stands for a party odd entangled par (e.g ). Each ste contans four vrtual spns. pars are EP k,k+1 = whch do not change sgn under the party transformaton. Thus the stablty of the Haldane/AKLT state s also protected by the party symmetry To understand why there are four party symmetrc phases nstead of two (party even/party odd), we gve four representatve states n Fg. 4, one for each phase. Connected par of black dots denotes an entangled par. + stands for a party even par, for example , and stands for a party odd par, for example Each rectangle corresponds to one ste, wth four vrtual spns on each ste. The four states are all translatonal nvarant. If the party operaton s defned to be exchange of stes together wth exchange of vrtual spns 1 and 4, 2 and 3 on each ste, then states (a) and (d) are party even whle (b) and (c) are party odd. But (a) and (d) (or (b) and (c)) are dfferent party even (odd) states and cannot be mapped to each other through local untary transformatons wthout breakng party symmetry. Wrtten n the matrx product representaton, the matrces of the four states wll transform wth α(p ) = ±1 and β(p ) = ±1 respectvely. Therefore, the party even/odd phase breaks nto two smaller phases and there are n all four phases for party symmetrc systems. C. Tme Reversal Symmetry Tme reversal, unlke other symmetres, s represented by antuntary operator T, whch s equvalent to the complex conjugate operator K followed by a untary operator U. T has two projectve representatons: one on nteger spns wth T 2 = I and the other on half-nteger spns wth T 2 = I. The classfcaton of gapped 1D tme reversal nvarant phases follows closely the cases dscusses before. In ths secton, we wll hghlght the dfferences and gve our concluson. Frst, a state φ s called tme reversal nvarant f T T... T φ = β φ, where β = 1. But for ant-untary T, the global phase β s arbtrary and n partcular we can redefne φ = β φ, such that T T... T φ = φ. Therefore, n the followng dscusson, we wll assume WLOG that β = 1. Now let us consder system wthout translatonal nvarance. T 2 = I or I does not make a dfference here as we can take block sze 2 so that on the renormalzed ste, T 2 s always equal to I. Usng argument smlar to the case of on-ste untary symmetry, we can keep track and redefne symmetry operatons as we do renormalzaton. Fnally, at the fxed pont we have a state descrbed by matrces (A [k] ) ( ) whch s nvarant under tme reversal operaton (T [k] ) ( ) = (u [k] ) ( ) K, that l r s, j l j r u [k] l r,j l j r (A [k] j l j r ) = N 1 [k] A[k] l r M [k] N [k] = M [k 1] (25) where the fxed-pont label has been omtted. Solvng ths equaton we fnd, (a)m [k] M [k] = eθ I. As M [k] s nvertble, e θ = ±1. (b)u [k] = u [k],l u [k],r. where u [k],l (u [k],l ) = ±I and u [k],r (u [k],r ) = ±I. Therefore, each entangled par s tme reversal nvarant (u [k],r u [k+1],l )K EP k,k+1 = EP k,k+1 (26) Smlar to prevous sectons, we can show that uu = I and uu = I correspond to two equvalence classes and two tme reversal nvarant fxed pont states can be mapped nto each other f and only f they belong to the same class. Therefore, our classfcaton result for tme reversal symmetry s For 1D gapped spn systems wth ONLY tme reversal symmetry, there are two phases that do not break the symmetry. If the system has addtonal translaton symmetry, we can smlarly classfy the TI phases and fnd that For 1D systems wth only translaton and tme reversal symmetry T, there are two gapped phases that do not break the two symmetres, f on each ste the tme reversal transformaton satsfes T 2 = I. 1D nteger-spn systems are examples of ths case. The Haldane/AKLT state and the spn 0 product state are representatves of the two phases respectvely 15,19,20. We also have 1D systems wth translaton and tme reversal symmetry are always gapless or have degenerate ground states, f on each ste the tme reversal transformaton satsfes T 2 = I. 1D half-nteger-spn systems are examples of such case.

13 13 e m t m m f s j l m 3 g k r h q (a) (b) FIG. 5: Tensor-network a graphc representaton of the tensor-product wave functon (27) on a 2D square lattce. The ndces on the lnks are summed over. (c) (d) VI. GENERALIZATION TO HIGHER DIMENSIONS In the last few sectons, we classfed symmetry protected topologcal orders n one dmenson, usng (symmetrc) LU transformatons. Can we use (symmetrc) LU transformatons to classfy (symmetry protected) topologcal orders n hgher dmensons? In hgher dmensons, the stuaton s much more complcated. Frst, nfntely many knds of non-trval topologcal orders exst for class of systems wthout any symmetres. 7,48 A partal classfcaton s gven n Ref. 8 for such a case n 2D. In the presence of symmetry, the phase dagram s even more complcated. Ref. 49 studed 2D topologcal orders protected by tme reversal and pont group symmetry. So far, we do not have a detaled understandng of topologcal phases n the presence of symmetry. However, usng smlar arguments as that used for 1D systems, we can obtan some smple partal results for hgher dmensons. For example, we have For d-dmensonal spn systems wth only translaton and an on-ste symmetry G whch s realzed lnearly, the object (α, ω 1, ω 2,..., ω d ) label dstnct gapped quantum phases that do not break the two symmetres. Here α labels the dfferent 1D representatons of G and ω H 2 (G, C) label the dfferent types of projectve representatons of G. Let us llustrate the above result n 2D by consderng a tensor network state (TNS) on a square lattce, where the physcal states lvng on each vertex are labeled by m. A translaton nvarant TNS s defned by the followng expresson for the many-body wave functon Ψ({m }): Ψ({m }) = jkl A m1 ejf Am2 jhkg Am3 lqrk Am4 tls (27) Here A m jkl s a complex tensor wth one physcal ndex m and four nner ndces, j, k, l. The physcal ndex runs over the number of physcal states d on each vertex, and the nner ndces runs over D values. The TNS can be represented graphcally as n Fg. 5. FIG. 6: (Color onlne) (ω 1 = 0, 1; ω 2 = 0, 1) label four dstnct states n nteger spn systems wth translaton and spn rotaton symmetres: (a) (ω 1, ω 2) = (0, 0), (b) (ω 1, ω 2) = (0, 1), (c) (ω 1, ω 2) = (1, 0), (d) (ω 1, ω 2) = (1, 1). The open dots represent 0-spns. The sold dots represent 1/2-spns. Two sold dots connected by a lne represent a spn-snglet formed by two 1/2-spns. The state n (a) has an spn-0 spn on each ste. The state n (b,c) has two spn-1/2 spns on each ste (or 4 states per ste that form spn 0+1 representaton of SO(3)). The state n (d) has four spn-1/2 spns on each ste (or 16 states per ste that form spn representaton of SO(3)). If the tensor A satsfy A m lrud = α(g) u mm (g) (28) l r u d (M 1 (g)) ll M r r(g)(n 1 (g)) dd N u u(g)a m l r u d, for some nvertble matrces M(g) and N(g), then the many-body wave functon Ψ({m }) s symmetrc under the on-ste symmetry transformaton g n the on-ste symmetry group G. Here α(g) s a one dmensonal representaton of G, the D by D matrces M(g) form a projectve representaton represented by ω 1 H 2 (G, C), and the D by D matrces N(g) form a projectve representaton represented by ω 2 H 2 (G, C). Snce symmetrc LU transformaton cannot change (α, ω 1, ω 2 ), thus (α, ω 1, ω 2 ) label dstnct quantum phases. In fact (α, ω 1, ω 2 ) are all measurable, so they ndeed label dstnct quantum phases. On a torus of sze L x L y, the symmetrc many-body wave functon Ψ({m }) transforms as the 1D representaton α LxLy (g) under the on-ste symmetry transformaton g. If G has only a fnte number of 1D representatons, we can always choose L x and L y such that α LxLy (g) = α(g). On a cylnder of sze L x L y wth open boundary n the x-drecton, the states on one boundary wll form a projectve representaton whch s represented by L y ω 1 H 2 (G, C). Smlarly, f the open boundary n the y-drecton, the states on one boundary wll form a projectve representaton whch s represented by L x ω 2 H 2 (G, C). If we choose L x and L y properly (for example to make L x ω 2 = ω 2 and L y ω 1 = ω 1 ), we can detect both ω 1 and ω 2.

14 Symmetry No. or Label of Dfferent Phases Example System None 1 On-ste Lnear Symmetry of Group G ω H 2 On-ste Z (G, C) (*) n or SU(2): 1 phase On-ste SO(3) or D 2 on nteger spn: 2 phases On-ste Projectve Symmetry of Group G ω H 2 On-ste SO(3) or D (G, C) 2 on half-nteger spn: 2 phases Tme Reversal(TR) 2 Translatonal Invarance(TI) 1 TI+On-ste ω H 2 TI+On-ste Z (G, C) and α(g) n: n phases Lnear Symmetry of Group G TI+On-ste SO(3) on nteger spn: 2 phases TI+ On-ste TI+On-ste SO(3) or D 0 2 on Projectve Symmetry of Group G half-nteger spn: no gapped phase TI+Party 4 TI+TR 2 f T 2 = I TI+TR on nteger spn: 2 phases 0 f T 2 = I TI+TR on half-nteger spn: no gapped phase TABLE I: Summary of classfcaton result for 1D gapped spn system wth symmetrc ground states. TI stands for translatonal nvarance. TR stands for tme reversal symmetry. H 2 (G, C) s the second cohomology group of group G over complex number C. α(g) s a 1D representaton of G. (*): ths result apples when α(g) form a fnte group, when G = U(1), further classfcaton accordng to dfferent α(u(1)) exst. 14 A system wth nteger on-ste spns gves us an example wth G = SO(3), f the system has translaton and spn rotaton symmetry. For G = SO(3) there s no non-trval 1D representatons. So we can drop the consderaton of α. Also G = SO(3) has two types of projectve representatons: H 2 (SO(3), C) = {0, 1}, where ω = 0 s the trval projectve representaton whch correspond to lnear representatons of SO(3) (on nteger spns) and ω = 1 s the non-trval projectve representaton whch corresponds to half-nteger spns. Thus (ω 1 = 0, 1; ω 2 = 0, 1) label four dstnct states n 2D (see Fg. 6). Results smlar to ours on the classfcaton of nteger/half-nteger 1D spn chans wth SO(3) symmetry have been obtaned ndependently by Alexe Ktaev recently. 50 We would lke to thank A. Ktaev, J. I. Crac, F. Verstraete, G. Vdal, G.-M. Zhang, A. W.W. Ludwg and H. Katsura for some very helpful dscussons. XGW s supported by NSF Grant No. DMR ZCG s supported n part by the NSF Grant No. NSFPHY VII. CONCLUSION Usng the (symmetrc) Local Untary equvalence relaton between gapped ground states n the same phase and the matrx product representaton of 1D states, we classfy possble quantum phases for strongly nteractng 1D spn system wth certan symmetry when ground state of the system does not break the symmetry. Our result s summarzed n table I. Many well known results are rederved usng a qute dfferent approach, for example the exstence of Haldane phase 21 and the gaplessness of spn 1/2 Hesenberg model 22. Those results are also greatly generalzed to new stuatons, for example to the case of tme reversal symmetry and D 2 symmetry. We fnd that the projectve representatons play a very mportant role n understandng and formulatng those generalzed results. In hgher dmensons, thngs are more complcated. Nevertheless, smlar consderatons allow us to obtan some nterestng examples of symmetry protected topologcal orders. A complete classfcaton of hgher dmenson phases, however, requres at least a full understandng of topologcal orders, an element that s absent n the 1D phase dagram. Appendx A: Local Untary Transformaton on Matrx Product State and Invarance of Double Tensor In ths secton we present the proof for the theorem that: Two sets of matrces A,αβ and B j,αβ, where,j label dfferent matrces and αβ are the row and column ndces of the matrces, gve rse to the same double tensor Eαγ,βχ = A,αβ A,γχ = j B j,αβ Bj,γχ, f and only f they are related by a untary transformaton B,αβ = j U ja j,αβ. The dmenson M of and the dmenson N of j can be dfferent. The M N matrx U s n general called untary f U U = UU = I L, the dentty matrx n L dmensonal space where L M and L N. The complete proof of ths theorem can be found n Ref. 35, where ths property s dscussed n terms of the untary degree of freedom n the operator sum representaton of quantum channels. Here we re-present ths proof followng the notaton and termnology of the current paper for smplcty of understandng. Frst we prove the f part of the theorem. Suppose

15 15 that B,αβ = ju j A j,αβ, then E B αγ,βχ = B,αβ B,γχ (A1) = U j1 A j1,αβ Uj 2 A j 2,γχ j 1 j 2 = U j1 U j A 2 j 1,αβ A j 2,γχ j 1,j 2 = j 1 A j1,αβ A j 1,γχ = E A αγ,βχ Therefore the two double tensors are the same. Ths proves the frst part of the theorem. On the other hand, suppose that the two double tensors are the same E A αγ,βχ = EB αγ,βχ = E αγ,βχ. Reorder the ndces of E and treat t as a matrx wth row ndces αβ and column ndces γχ. We wll denote the double tensor after ths reorderng as Êαβ,γχ. It s easy to see that Ê s a postve sem-defnte matrx, as αβ,γχ = v αβ Êαβ,γχv γχ ( αβ for any vector v αβ Dagonalze Ê nto v αβb,αβ ) ( γχ Êαβ,γχ = k B,γχv γχ ) 0 λ k e k,αβ e k,γχ (A2) (A3) wth λ k 0. Defne vectors ẽ k,αβ = λ k e k,αβ, so that Êαβ,γχ = k ẽk,αβ ẽ k,γχ. ẽ k,αβ form a complete orthogonal set and hence we can expand A,αβ and B,αβ n terms of them. Then Êαβ,γχ A,αβ = k B,αβ = k P k ẽ k,αβ Q k ẽ k,αβ = A,αβ A,γχ = P k1 Pk 2 ẽ k1,αβ ẽ k 2,γχ k 1k 2 (A4) (A5) But we know that Êαβ,γχ = k ẽk,αβ ẽ k,γχ. Therefore, P k 1 P k 2 = δ k1k 2 and P s a untary matrx. Smlarly we can show that Q s a untary matrx. Therefore A,αβ and B j,αβ s related by a untary transformaton U j where U = P Q. We have thus proved both part of the theorem. Appendx B: Degeneracy of Largest Egenvalue of Double Tensor and Correlaton Length of Matrx Product State In secton III, we cted the property of matrx product state that the fnte correlaton length of the state s closely related to the non-degeneracy of the largest egenvalue of the double tensor, as dscussed n Ref. 29,30. In ths secton, we gve a bref llustraton of why ths s so. For smplcty of notaton, we focus on the translatonal nvarant case frst. Generalzaton to matrx product states wthout translatonal nvarance s straghtforward and smlar conclusons can be reached. For a matrx product state φ descrbed by matrces A,αβ wth double tensor Eαγ,βχ = A,αβ A,γχ, defne E[O] αγ,βχ = j O ja,αβ A j,γχ for arbtrary operator O j. Follow the prevous conventon and treat E and E[O] as matrces wth row ndex αγ and column ndex βχ. The norm of the wavefuncton s gven by φ φ = Tr(E N ), where N s total length of the chan. WLOG, we can set the largest egenvalue of E to be 1 and hence the norm goes to a fnte value (dmenson of the egenspace) as N goes to nfnty. The expectaton value of any local operator O s O = Tr(E N 1 E[O])/Tr(E N ) and the correlaton between two operators O 1 and O 2 becomes O 1 O 2 O 1 O 2 = Tr(E N L 2 E[O 1 ]E L E[O 2 ])/Tr(E N ) Tr(E N 1 E[O 1 ])Tr(E N 1 E[O 2 ])/Tr 2 (E N ) (B1) The physcal constrants on the expectaton value and correlaton functons of local operators requre that the double tensor E has certan propertes. Frst, put E nto ts Jordan normal form and decompose t as E = λ λp λ + R λ, where P λ s the dagonal part and R λ the Nlpotent part. But for the largest egenvalue 1, R 1 must be 0 as otherwse for large system sze N O = Tr(E N 1 E[O])/Tr(E N ) Tr((P 1 + R 1 ) N E[O]) wll be unbounded for any E[O] that satsfes Tr(R 1 E[O]) 0. The physcal requrement that any local operator has bounded norm requres that R 1 must be 0. Next we wll show that the dmenson of P 1 s closely related to the correlaton length of the state. At large system sze N, the correlator O 1 O 2 O 1 O 2 = Tr(P 1 E[O 1 ]( λ λp λ + R λ ) L E[O 2 ])/Tr(P 1 ) Tr(P 1 E[O 1 ])Tr(P 1 E[O 2 ])/Tr 2 (P 1 ). When L s large, we keep only the frst order term n ( λ λp λ + R λ ) L and the correlator goes to Tr(P 1 E[O 1 ]P 1 E[O 2 ])/Tr(P 1 ) Tr(P 1 E[O 1 ])Tr(P 1 E[O 2 ])/Tr 2 (P 1 ). If P 1 s one dmensonal, the two terms both become v 1 E[O 1 ] v 1 v 1 E[O 2 ] v 1 and cancel each other for any O 1, O 2 and the second order term n ( λ λp λ + R λ ) L domnates whch decays as λ L. For λ < 1, the correlator goes to zero exponentally and the matrx product state as fnte correlaton length. On the other hand, f P 1 s more than one dmensonal, the frst order term has a fnte contrbuton ndepen-

16 16 dent of L,j v E[O 1 ] v j v j E[O 2 ] v /Tr(P 1 ) v E[O 1 ] v v j E[O 2 ] v j /Tr 2 (P 1 ), where v, v j are egenbass for P 1. Therefore, degeneracy of the largest egenvalue of the double tensor mples non-decayng correlaton. To descrbe quantum states wth fnte correlaton length, the double tensor must have a largest egenvalue whch s non-degenerate. If the system s not translatonal nvarant and E [k] vary from ste to ste, we cannot dagonalze all the double tensors at the same tme. However, as shown n the canoncal form of Ref. 30, there s a largest egenspace of E [k] (wth egenvalue 1) such that the rght egenvector on ste k s the same as the left egenvector on ste k + 1. Therefore, when multpled together ths egenspace wll always have egenvalue 1. There could be other egenspaces wth egenvalue 1 and matchng egenvectors from ste to ste. However, then we can show smlar to the TI case that ths leads to an nfnte correlaton length. On the other hand, other egenspaces could have egenvalues smaller than 1 or they have ms-matched egenvectors. If ths s the case, all other egenspaces decay exponentally wth the number of stes multpled together whch gves rse to a fnte correlaton length. We wll say that E [k] has a non-degenerate largest egenvalue 1 for ths case n general. Appendx C: Projectve Representaton Operators u(g) form a projectve representaton of symmetry group G f u(g 1 )u(g 2 ) = ω(g 1, g 2 )u(g 1 g 2 ), g 1, g 2 G. (C1) Here ω(g 1, g 2 )nc, the factor system of the projectve representaton, satsfes ω(g 2, g 3 )ω(g 1, g 2 g 3 ) = ω(g 1, g 2 )ω(g 1 g 2, g 3 ), (C2) for all g 1, g 2, g 3 G. If ω(g 1, g 2 ) = 1, ths reduces to the usual lnear representaton of G. A dfferent choce of pre-factor for the representaton matrces u (g) = β(g)u(g) wll lead to a dfferent factor system ω (g 1, g 2 ): ω (g 1, g 2 ) = β(g 1g 2 ) β(g 1 )β(g 2 ) ω(g 1, g 2 ). (C3) We regard u (g) and u(g) that dffer only by a pre-factor as equvalent projectve representatons and the correspondng factor systems ω (g 1, g 2 ) and ω(g 1, g 2 ) as belongng to the same class ω. Suppose that we have one projectve representaton u 1 (g) wth factor system ω 1 (g 1, g 2 ) of class ω 1 and another u 2 (g) wth factor system ω 2 (g 1, g 2 ) of class ω 2, obvously u 1 (g) u 2 (g) s a projectve presentaton wth factor group ω 1 (g 1, g 2 )ω 2 (g 1, g 2 ). The correspondng class ω can be wrtten as a sum ω 1 + ω 2. Under such an addton rule, the equvalence classes of factor systems form an Abelan group, whch s called the second cohomology group of G and denoted as H 2 (G, C). The dentty element ω 0 of the group s the class that contans the lnear representaton of the group. Here are some smple examples: (a) cyclc groups Z n do not have non-trval projectve representaton. Hence for G = Z n, H 2 (G, C) contans only the dentty element. (b) a smple group wth non-trval projectve representaton s the Abelan dhedral group D 2 = Z 2 Z 2. For the four elements of the group (0/1, 0/1), [ consder ] repre- 1 0 sentaton wth Paul matrces g(0, 0) =, g(0, 1) = 0 1 [ ] [ ] [ ] , g(1, 0) =, g(1, 1) =. It can be check that ths gves a non-trval projectve representaton of D 2. (c) when G = SO(3), H 2 (G, C) = Z 2. The two elements correspond to nteger and half-nteger representatons of SO(3) respectvely. (d) when G = U(1), H 2 (G, C) s trval: H 2 (U(1), C) = Z 1. We note that {e mθ } form a representaton of U(1) = {e θ } when m s an nteger. But {e mθ } wll form a projectve representaton of U(1) when m s not an nteger. But under the equvalence relaton (C3), {e mθ } correspond to the trval projectve representaton, f we choose β(g) = e mθ. Note that β(g) can be a dscontnuous functon over the group manfold. Appendx D: Solvng symmetry condton for fxed pont In ths secton, we explctly solve the symmetry condton eqn. (14). The goal s to 1. classfy possble symmetry operatons at fxed pont and 2. fnd the correspondng symmetrc fxed pont state. For smplcty, we drop the ste ndex [k] and rewrte eqn. (14) as u lr,jljr(g) A α (R) jl j (g) = N 1 (g)a r l rm(g) (D1) j l j r where u(g) s a projectve or lnear untary representaton of G, the matrx A l s gven by ts matrx elements r A l r,αβ = λ l δ l l α λ r rδ r β wth l, α = 1,..., D l, r, β = 1,..., D r, and M(g), N(g) are sets of nvertble matrces labeled by g. Snce s also a projectve or u(g) α (R) (g) lnear untary representaton of G, we can absorb α (R) (g) nto u(g) and rewrte eqn. (D1) as u l r,j l j r(g)a j l j = N 1 (g)a r l rm(g) (D2) j l j r We note that matrx elements A l r,αβ s non-zero only when α = l, β = r and the full set of {A l r} form a complete bass n the space of D l D r dmensonal matrces.

17 17 M(g), N(g) do not necessarly form a representaton of G. But the fxed pont form of the matrces requres that M(g), N(g) be a projectve representaton, as on the one hand u l r,j l j r(g 1g 2 )A j l j (D3) r j l j r = j l j r k l k r ω sym (g 1, g 2 )u l r,k l k r(g 1)u k l k r,j l j r(g 2)A j l j r = k l k r ω sym (g 1, g 2 )u l r,k l k r(g 1)N 1 (g 2 )A k l k rm(g 2) =ω sym (g 1, g 2 )N 1 (g 2 )N 1 (g 1 )A l rm(g 1)M(g 2 ) and on the other hand Therefore j l j r u l r,j l j r(g 1g 2 )A jl j r =N 1 (g 1 g 2 )A l rm(g 1g 2 ) ω sym (g 1, g 2 )N 1 (g 2 )N 1 (g 1 )A l rm(g 1)M(g 2 ) (D4) = N 1 (g 1 g 2 )A l rm(g 1g 2 ) (D5) for all l r. However, the set of matrces {A l r} form a complete bass n the space of D l D r dmensonal matrces. Therefore, ω sym (g 1, g 2 )N 1 (g 2 )N 1 (g 1 ) M(g 1 )M(g 2 ) = N 1 (g 1 g 2 ) M(g 1 g 2 ), (D6) and N(g) and M(g) form two projectve representatons N(gh) = ω N (g, h)n(g)n(h), M(gh) = ω M (g, h)m(g)m(h), wth ω N (g 1, g 2 ) = ω M (g 1, g 2 ) = 1 and ω sym (g 1, g 2 ) = ω M (g 1, g 2 ) ω N (g 1, g 2 ) Let us rewrte eqn. (D2) as N(g)( j l j r u l r,j l j r(g)a j l j r)m 1 (g) = A l r We note that (D7) (D8) (D9) N(g)( j l j r (Ñ 1 ) jl, l M r,j ra j l j r)m 1 (g) = A l r (D10) where the matrces M and Ñ are gven by λ r λ l M αβ = M α β αβ, Ñ αβ = N αβ. λ r β λ l α (D11) Snce the set of matrces {A l r} form a complete bass n the space of D l D r dmensonal matrces, we fnd u l r,j l j r(g) = (Ñ 1 ) jl, l(g) M r,j r(g). Puttng back the factor of α (R) (g), we fnd that u l r,j l j r(g) = α(r) (g)(ñ 1 ) j l, l(g) M r,j r(g). (D12) (D13) Appendx E: Equvalence Between Symmetrc Fxed Pont States From the soluton n secton D, we know that the fxed pont state symmetrc under lnear on-ste symmetry of group G takes the form φ ( ) = EP 1,2 EP 2,3... EP k,k+1... (E1) where EP k,k+1 s an entangled par between the rght vrtual qubt on ste k and the left vrtual qubt on ste k + 1(see Fg. 2 upper layer). Each entangled par s nvarant under a lnear symmetry transformaton of the form u [k],r (g) u [k+1],l (g) u [k],r (g) u [k+1],l (g) EP k,k+1 = EP k,k+1 (E2) But u [k],r (g) or u [k+1],l (g) alone mght not form a lnear representaton of G. They could n general be a projectve representaton of G. If u [k],r (g) s a projectve representaton correspondng to class ω n H 2 (G, C), then u [k+1],l must correspond to class ω. ω does not vary from ste to ste and labels a partcular symmetrc fxed pont state. Now we wll show that symmetrc fxed pont states wth the same ω can be connected through symmetrc LU transformatons and hence belong to the same phase whle those wth dfferent ω cannot and belong to dfferent phases. Frst, suppose that two symmetrc fxed pont states φ 1 and φ 2 are related wth the same ω,.e. u [k],r 1 (g) u [k+1],l 1 (g) EP k,k+1 1 = EP k,k+1 1 (E3) u [k],r 2 (g) u [k+1],l 2 (g) EP k,k+1 2 = EP k,k+1 2 where EP k,k+1 1(2) s an entangled par of vrtual spns on Hlbert space H [k],r 1(2) H[k+1],l 1(2). u [k],r 1(2) (g) s a projectve representaton of G correspondng to ω on H [k],r 1(2) and u [k+1],l 1(2) (g) a projectve representaton correspondng to ω on H [k+1],l 1(2). We can thnk of EP k,k+1 1 and EP k,k+1 2 as lvng together n a jont Hlbert space (H [k],r 1 H [k],r 2 ) (H [k+1],l 1 H [k+1],l 2 ). The symmetry representaton on ths jont Hlbert space can be defned as u [k],r (g) u [k+1],l (g) =(u [k],r 1 (g) u [k],r 2 (g)) (u [k+1],l 1 (g) u [k+1],l 2 (g)) (E4)

18 18 FIG. 7: (Color onlne) Fxed pont state related to projectve representaton of class ω before (upper) and after (lower) a local untary operaton on the shaded regon that does not break the symmetry. Whte dots correspond to ω 0, the dentty element n H 2 (G, C), black dots correspond to ω and gray dots correspond to ω. As u [k],r 1 (g) and u [k],r 2 (g) (also u [k+1],l 1 (g) and u [k+1],l 2 (g)) both correspond to ω ( ω), ther drect sum u [k],r (g)(u [k+1],l (g)) s also a projectve representaton correspondng to ω( ω). Therefore, we have a lnear representaton of G on each ste k, u [k],l (g) u [k],r (g) and both EP k,k+1 1 and EP k,k+1 2 are symmetrc under u [k],r (g) u [k+1],l (g). Now we can perform a LU transformaton on the jont Hlbert space and rotate contnuously between EP k,k+1 1 and EP k,k+1 2. That s, U(θ) = cos( θ 2 )I sn(θ )( a b + b a ) 2 (E5) where a = EP k,k+1 1, b = EP k,k+1 2 and θ goes from 0 to π. By dong ths locally to each par, we can map φ 1 to φ 2 (and vce verse) wth LU transformatons wthout breakng the on-ste symmetry of group G. Therefore, φ 1 and φ 2 belong to the same phase f they are related wth the same ω. On the other hand, f φ 1 and φ 2 are related to ω 1 and ω 2 respectvely, we wll show that they cannot be connected by any LU transformaton that does not break the symmetry. Suppose that ω 1 s non-trval, we start wth φ 1 and apply a local untary operaton U to a fnte regon (shaded n Fg. 7). φ 1 s composed of nvarant snglets of symmetry group G. If U does not break the symmetry, the resultng state should stll be composed of snglets. The snglet pars outsde of the shaded regon are not changed whle those overlappng wth the shaded regon can take any possble structure after the operaton U. No matter what the change s, the rght vrtual spn on the ste to the left of the regon correspondng to ω 1 should form a snglet wth some degrees of freedom n the regon. As the snglet s nvarant under a lnear representaton of G, these degrees of freedom n the regon must form a projectve representaton of G correspondng to ω 1. These degrees of freedom could lve on one ste or dstrbute over several stes. However, the stes only support lnear representatons. Therefore, there must be some remanng degrees of freedom on the same stes that correspond to ω 1. These remanng degrees of freedom must form snglets agan wth other degrees of freedoms n the regon that correspond to ω 1. We can contnue ths argument untl fnally some degree of freedom n the regon correspondng to ω 1 connect wth the left vrtual spn on the ste to the rght of the regon correspondng to ω 1 and form a snglet. In Fg. 7, we llustrate one possble structure of snglets after operaton U. Whte dots correspond to ω 0, the dentty element n H 2 (G, C), black dots correspond to ω 1 and gray dots correspond to ω 1. Therefore, we can see that no matter what the symmetrc LU operaton mght be on φ 1, snglet entangled pars related to ω 1 must connect head to tal and cover the whole length of the chan. In other words, we can not shrnk a chan of snglet entangled pars related to non-trval ω 1 contnuously to a pont or change t to ω 2 by actng on t locally and wthout breakng the symmetry. Hence fxed pont states wth dfferent ω cannot be related to each other wth symmetrc LU transformaton and hence belong to dfferent classes. Appendx F: A proof of eqn. (21) A gapped TI state can be represented by a unform MPS. After R steps of {n }-block RG transformaton, we obtan a MPS descrbed by matrces (A l r)(r) whch s gven by eqn. (11). To descrbe a state that does not break the on-ste lnear symmetry, here (A l r)(r) s nvarant (up to a phase) under u (R) (g) on each ste. Therefore 16, u l r,j l j r(g)a j l j = r α(r) (g)m 1 (g)a l rm(g) (F1) j l j r must be satsfed wth some nvertble matrx M(g). Here we have dropped the RG step label R (except n α (R) (g)). Each coarse graned ste s a combnaton of R =1 n orgnal lattce stes and α (R) (g) form a 1D representaton of G. So f the number of stes has a form L = Q R =1 n, then α L (g) n eqn. (13) wll have a form α L (g) = [α (R) (g)] Q (F2) for any value of Q. Now let us choose Q = R =1 n where R =1 n and R =1 n have no common factors. The total system sze becomes L = R =1 n R =1 n. We can perform, nstead, a R step of {n }-block RG transformaton, whch leads to a 1D representaton α (R ) (g). We fnd that α L (g) n eqn. (13) wll have a form α L (g) = [α (R ) (g)] Q where Q = L/ R =1 n = R =1 n. Thus (F3) α L (g) = [α (R) (g)] R =1 n = [α (R ) (g)] R =1 n. (F4)