The ’t Hooft anomaly matching conditions are a standard tool to study and test nonperturbative issues in quantum field theory. We give a new, simple proof of the anomaly matching conditions in 2D Poincarè invariant theories. We consider the case of invariance under a large class of generalized symmetries, which include abelian and non-abelian internal symmetries, space-time symmetries generated...

When model checking concurrent software applications, symmetry reduction techniques narrow dramatically the size of the state space search by identifying computations that, because of symmetries in the system, are redundant. While state-exploration algorithms exploiting symmetry reduction are well developed, little has been done in discovering the nature of the symmetries of a system. What is e...

We classify a supersymmetric extension of the Standard Model by discrete symmetries originating from finite modular $\Gamma_N$. Since all couplings in theories $\Gamma_N$ are described holomorphic forms with even weights, renormalizable and non-renormalizable operators such as baryon- and/or lepton-number violating severely constrained. From transformation matter multiplets weight $1/M$, we fin...

We show that generalized symmetries cannot be charged under a continuous global symmetry having Noether current. Further, only non-compact can symmetry. These results follow from finer classification of twist operators, which naturally extends to finite group symmetries. They unravel topological obstructions the strong version Noether's theorem in QFT, even if general conditions implemented loc...