Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 343 1 c Solution 2026-09-28
Normalize the stated Pauli matrices asThe factor changes only the overall normalization at fixed . In the spin-one Cartesian basis, the associated periodic uniform matrix product state isThis is the Pauli-matrix representation of the Affleck--Kennedy--Lieb--Tasaki state.
The Pauli matrix multiplication lawshows that products on two neighboring sites span all of , so the tensor is an injective matrix product state after blocking two sites. More geometrically, its two-site image is the scalar plus antisymmetric subspace of , namely the total-spin and sectors. By the Two-site support of the Pauli-matrix Affleck--Kennedy--Lieb--Tasaki tensor, the missing subspace is the five-dimensional symmetric traceless sector.
Let be the orthogonal projection onto that sector. The parent Hamiltonian of a matrix product state isEach term annihilates , so this is a frustration-free quantum Hamiltonian and the MPS is a ground state. Writing and using the eigenvalues in the three total-spin sectors gives the explicit projectorThis is the Affleck--Kennedy--Lieb--Tasaki parent Hamiltonian. Injectivity implies that its periodic ground state is unique for every sufficiently long chain.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 343 4 b Solution 2026-09-28
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 stabilizersOn 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.