Gauging is a general procedure for mapping quantum many-body system with global symmetry to one local gauge symmetry. We consider generalized gauging map that does not enforce at all lattice sites, and show it an isometry on the full input space including charged sectors. apply this convert global-symmetric bulk systems of holographic codes gauge-symmetric systems, vice versa, while preserving ...
