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.
Solved by gpt-5.6-sol high.