We study S=1 quantum spin systems on the infinite chain with short ranged Hamiltonians that have a certain rotational and discrete symmetry. We define a Z_{2} index for any gapped unique ground state, and prove that it is invariant under a smooth deformation. By using the index, we provide the first rigorous proof of the existence of a "topological" phase transition, which cannot be characterized by any conventional order parameters, between the Affleck-Kennedy-Lieb-Tasaki (AKLT) model and trivial models. This rigorously establishes that the AKLT model is in a nontrivial symmetry protected topological phase.
We study
Z3 symmetry-protected topological (SPT) phases in one-dimensional spin systems with ${Z}_{3}\ifmmode\times\else\texttimes\fi{}{Z}_{3}$ symmetry. We construct ground-state wave functions of the matrix product form for nontrivial
Z3 phases and their parent Hamiltonian from a cocycle of the group cohomology ${H}^{2}({Z}_{3}\ifmmode\times\else\texttimes\fi{}{Z}_{3},U(1))$. The Hamiltonian is an SU(3) version of the Affleck-Kennedy-Lieb-Tasaki (AKLT) model, consisting of bilinear and biquadratic terms of su(3) generators in the adjoint representation. A generalization to the
SU(N) case, the
SU(N) AKLT Hamiltonian, is also presented, which realizes nontrivial
ZN SPT phases. We use the infinite-size variant of the density matrix renormalization group (iDMRG) method to determine the ground-state phase diagram of the SU(3) bilinear-biquadratic model as a function of the parameter $\ensuremath{\theta}$ controlling the ratio of the bilinear and biquadratic coupling constants. The nontrivial
Z3 SPT phase is found for a range of the parameter $\ensuremath{\theta}$ including the point of vanishing biquadratic term $(\ensuremath{\theta}=0)$ as well as the SU(3) AKLT point [$\ensuremath{\theta}=arctan(2/9)$]. A continuous phase transition to the SU(3) dimer phase takes place at $\ensuremath{\theta}\ensuremath{\approx}\ensuremath{-}0.027\ensuremath{\pi}$, with a central charge $c\ensuremath{\approx}3.2$. For SU(3) symmetric cases, we define string order parameters for the
Z3 SPT phases in a similar way to the conventional Haldane phase. We propose simple spin models that effectively realize the SU(3) and SU(4) AKLT models.