For a unique gapped ground state, one-dimensional bosonic phases protected by an on-site symmetry are classified by the cohomology classof a projective virtual symmetry of a matrix product state. After blocking finitely many sites, an injective matrix product state tensor satisfiesChanging the virtual gauge or rephasing changes by a coboundary and leaves fixed.
If symmetry breaking and degenerate ground states are allowed, the additional data are the unbroken subgroup , the way permutes the broken-symmetry sectors, and a class in within one sector. Acting with preserves a symmetric ground state up to phase in the unbroken case; in a broken phase it generally permutes the different ground states.
A uniform matrix product state is specified by matrices and, on a periodic chain, has amplitudesIt is injective when, after some blocking length , the products span .
The fundamental theorem of matrix product states says that two injective tensors generating the same states for all sufficiently large satisfyfor one invertible matrix ; conversely this relation plainly gives the same periodic states up to the overall phase .
For the proof, block enough sites that both tensors are injective. Injectivity gives left inverses from physical blocks to arbitrary virtual matrices. Equality of the states then implies that replacing one blocked tensor inside any sufficiently long network defines an invertible linear map on its two virtual boundary indices. Applying the replacement at two adjacent blocks in either order shows that this boundary map preserves multiplication: . Every automorphism of the full matrix algebra is inner, so . Undoing the blocking gives , with only an th-root phase left by periodic closure. Equality for consecutive sufficiently large lengths makes that phase independent of and completes the result.
Apply the theorem to a symmetric injective MPS. The physically transformed tensor generates the same state, so the theorem forcesApplying and then shows that and implement the same gauge transformation. Injectivity makes that gauge unique up to a scalar, hence . Associativity gives the two-cocycle equation for .
A continuous symmetry-preserving gapped path changes the tensor and continuously but cannot change the discrete cohomology class without losing injectivity, breaking the symmetry, or closing the gap. Thus the fundamental theorem of matrix product states turns the virtual projective representation into the invariant classifying one-dimensional symmetry-protected topological phases. With broken symmetry, one first records the permuted ground-state sectors and then applies the same argument to their unbroken subgroup.
For the Affleck--Kennedy--Lieb--Tasaki state, take the dihedral subgroup of spin rotations generated by rotations about the and axes. On each physical spin-one site these generators commute and give an ordinary representation of . On the virtual spin-one-half space they may be represented, up to phases, byThey anticommute,so the virtual action is the nontrivial projective representation of .
The reduced density operator across a cut commutes with this irreducible projective action. By Schur lemma it is proportional to the identity within each virtual doublet. Consequently every level in the entanglement spectrum of a matrix product state is at least twofold degenerate, the characteristic protected edge-spin degeneracy of the AKLT phase.
Articles by others on the same topic
There are currently no matching articles.