1-Form symmetric projected entangled-pair states

Higher-form symmetries acting on extended objects have reshaped our understanding of quantum phases and topological order, yet explicit incorporation of 1-form symmetry in tensor-network states remains unexplored. Here, we introduce a pull-through framework to embed 1-form symmetries into Projected Entangled-Pair States (PEPS), providing an operator-level definition of gauge flux and algebraic constraints on virtual symmetry matrices that encode anomalous braiding phases and enable efficient optimization of topologically ordered states. Our framework offers diagnostic tools for anomalies in topological phases and paves the way for more efficient tensor-network simulations in a variety of models with higher-form symmetries. Quantum many-body systems with symmetries acting on extended objects host exotic phases that are difficult to simulate. We develop a pull-through tensor-network framework that embeds 1-form symmetries in projected entangled-pair states, enabling symmetry-resolved optimization and diagnostics of topologically ordered states.