The Affleck--Kennedy--Lieb--Tasaki state places two virtual spin-one-half degrees of freedom at every site, puts neighboring virtual spins into singlets, and projects the two virtual spins at each site onto their symmetric spin-one triplet. Its local tensor is equivalently proportional to in the spin-one Cartesian basis, and its Affleck--Kennedy--Lieb--Tasaki parent Hamiltonian is
The one-dimensional cluster state is the simultaneous eigenstate of the commuting stabilizers
On a periodic chain it is obtained by applying a controlled- gate on every neighboring pair of the product state .
After suitable blocking, the two states have the same nontrivial projective virtual symmetry of a matrix product state for the protecting group . The two virtual symmetry generators can be represented by anticommuting Pauli matrices, so they realize the nontrivial projective class in group cohomology. Consequently the AKLT and cluster states can be connected by a symmetry-preserving gapped path, or equivalently by a symmetry-preserving finite-depth local circuit: this is the Symmetry-protected equivalence of the Affleck--Kennedy--Lieb--Tasaki state and cluster state.
Both states therefore exhibit one-dimensional symmetry-protected topological order. On an open chain their nontrivial virtual representation produces protected edge degrees of freedom and a characteristic degeneracy in the entanglement spectrum of a matrix product state. They do not have intrinsic topological order: if the protecting symmetry is discarded, either state can be connected to a product state by a finite-depth local circuit.
For a unique gapped ground state, one-dimensional bosonic phases protected by an on-site symmetry are classified by the cohomology class
of a projective virtual symmetry of a matrix product state. After blocking finitely many sites, an injective matrix product state tensor satisfies
Changing 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.
Although the physical symmetry generators commute,
Their virtual commutator is
This phase cannot be removed by rephasing and . The virtual matrices therefore form a nontrivial projective representation, which is the nontrivial projective virtual symmetry of a matrix product state and proves that the cluster state lies in a nontrivial SPT phase.