Symmetry defects and gauging for quantum states with matrix product unitary symmetries

In this work, we examine the consequences of the existence of a finite group of matrix product unitary (MPU) symmetries for matrix product states (MPS). We generalize the well-understood picture of onsite unitary symmetries, which give rise to virtual symmetry defects given by insertions of operators in the bonds of the MPS. In the MPU case, we can define analogous defect tensors, this time sitting on lattice sites, that can be created, moved, and fused by local unitary operators. We leverage this formalism to study the gauging of MPU symmetries. We introduce a condition, block independence, under which we can gauge the symmetries by promoting the symmetry defects to gauge degrees of freedom, yielding an MPS of the same bond dimension that supports a local version of the symmetry given by commuting gauge constraints. Whenever block independence does not hold (which happens, in particular, whenever the symmetry representation is anomalous), a modification of our method which we call state-level gauging still gives rise to a locally symmetric MPS by promotion of the symmetry defects, at the expense of producing gauge constraints that do not commute on different sites.