Gauging Procedure Research Articles

Levin-Wen is a Gauge Theory: Entanglement from Topology

We show that the Levin-Wen model of a unitary fusion category C\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {C}}$$\\end{document} is a gauge theory with gauge symmetry given by the tube algebra Tube(C)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\ ext {Tube}}({\\mathcal {C}})$$\\end{document}. In particular, we define a model corresponding to a Tube(C)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\ ext {Tube}}({\\mathcal {C}})$$\\end{document} symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case C=Hilb(G,ω)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\mathcal {C}}=\ extsf{Hilb}(G,\\omega )$$\\end{document}, we show how our procedure reduces to the twisted gauging of a trival G-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibbonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.

On anomalies and gauging of U(1) non-invertible symmetries in 4d QED

In this work we propose a way to promote the anomalous axial U(1)U(1) transformations to exact non-invertible U(1)U(1) symmetries. We discuss the procedure of coupling the non-invertible symmetry to a (dynamical or background) gauge field. We show that as part of the gauging procedure, certain constraints are imposed to make the gauging consistent. The constraints emerge naturally from the form of the non-invertible U(1)U(1) conserved current. In the case of dynamical gauging, this results in new type of gauge theories we call non-invertible gauge theories: These are gauge theories with additional constraints that cancel the would-be gauge anomalies. By coupling to background gauge fields, we can discuss ’t-Hooft anomalies of non-invertible symmetries. We show in an example that the matching conditions hold but they are realized in an unconventional way. Turning on non-trivial background for the non-invertible gauge field changes the vacuum even when the symmetry is not broken and the background is very weak. The anomalies are then matched by the appearance of solitons in the new vacuum.

Continuous generalized symmetries in three dimensions

We present a class of three-dimensional quantum field theories whose ordinary global symmetries mix with higher-form symmetries to form a continuous 2-group. All these models can be obtained by performing a gauging procedure in a parent theory revealing a ’t Hooft anomaly in the space of coupling constants when suitable compact scalar background fields are activated. Furthermore, the gauging procedure also implies that our main example has infinitely many non-invertible global symmetries. These can be obtained by dressing the continuous symmetry operators with topological quantum field theories. Finally, we comment on the holographic realization of both 2-group global symmetries and non-invertible symmetries discussed here by introducing a corresponding four-dimensional bulk description in terms of dynamical gauge fields.

Gauging Lie group symmetry in (2+1)d topological phases

We present a general algebraic framework for gauging a 0-form compact, connected Lie group symmetry in (2+1)d topological phases. Starting from a symmetry fractionalization pattern of the Lie group GG, we first extend GG to a larger symmetry group \tilde{G}G̃, such that there is no fractionalization with respect to \tilde{G}G̃ in the topological phase, and the effect of gauging \tilde{G}G̃ is to tensor the original theory with a \tilde{G}G̃ Chern-Simons theory. To restore the desired gauge symmetry, one then has to gauge an appropriate one-form symmetry (or, condensing certain Abelian anyons) to obtain the final result. Studying the consistency of the gauging procedure leads to compatibility conditions between the symmetry fractionalization pattern and the Hall conductance. When the gauging can not be consistently done (i.e. the compatibility conditions can not be satisfied), the symmetry GG with the fractionalization pattern has an ’t Hooft anomaly and we present a general method to determine the (3+1)d topological term for the anomaly. We provide many examples, including projective simple Lie groups and unitary groups to illustrate our approach.

Gauging quantum states with nonanomalous matrix product operator symmetries

Gauging a global symmetry of a system amounts to introducing new degrees of freedom whose transformation rule makes the overall system observe a local symmetry. In quantum systems there can be obstructions to gauging a global symmetry. When this happens the symmetry is dubbed anomalous. Such obstructions are related to the fact that the global symmetry cannot be written as a tensor product of local operators. In this paper we study nonlocal symmetries that have an additional structure: They take the form of a matrix product operator (MPO). We exploit the tensor network structure of the MPOs to construct local operators from them, satisfying the same group relations; that is, we are able to localize even anomalous MPOs. For nonanomalous MPOs, we use these local operators to explicitly gauge the MPO symmetry of a one-dimensional quantum state obtaining nontrivial gauged states. We show that our gauging procedure satisfies all the desired properties that the standard on-site case does. We also show how this procedure is naturally represented in matrix product states protected by MPO symmetries. In the case of anomalous MPOs, we shed light on the obstructions to gauging these symmetries.

On continuous 2-category symmetries and Yang-Mills theory

We study a 4d gauge theory U(1)N−1 ⋊ SN obtained from a U(1)N−1 theory by gauging a 0-form symmetry SN. We show that this theory has a global continuous 2-category symmetry, whose structure is particularly rich for N > 2. This example allows us to draw a connection between the higher gauging procedure and the difference between local and global fusion, which turns out to be a key feature of higher categorical symmetries. By studying the spectrum of local and extended operators, we find a mapping with gauge invariant operators of 4d SU(N) Yang-Mills theory. The largest group-like subcategory of the non-invertible symmetries of our theory is a {mathbb{Z}}_N^{(1)} 1-form symmetry, acting on the Wilson lines in the same way as the center symmetry of Yang-Mills theory does. Supported by a path-integral argument, we propose that the U(1)N−1 ⋊ SN gauge theory has a relation with the ultraviolet limit of SU(N) Yang-Mills theory in which all Gukov-Witten operators become topological, and form a continuous non-invertible 2-category symmetry, broken down to the center symmetry by the RG flow.

The gauging procedure and carrollian gravity

We discuss a gauging procedure that allows us to construct lagrangians that dictate the dynamics of an underlying Cartan geometry. In a sense to be made precise in the paper, the starting datum in the gauging procedure is a Klein pair corresponding to a homogeneous space. What the gauging procedure amounts to is the construction of a Cartan geometry modelled on that Klein geometry, with the gauge field defining a Cartan connection. The lagrangian itself consists of all gauge-invariant top-forms constructed from the Cartan connection and its curvature. After demonstrating that this procedure produces four-dimensional General Relativity upon gauging Minkowski spacetime, we proceed to gauge all four-dimensional maximally symmetric carrollian spaces: Carroll, (anti-)de Sitter-Carroll and the lightcone. For the first three of these spaces, our lagrangians generalise earlier first-order lagrangians. The resulting theories of carrollian gravity all take the same form, which seems to be a manifestation of model mutation at the level of the lagrangians. The odd one out, the lightcone, is not reductive and this means that although the equations of motion take the same form as in the other cases, the geometric interpretation is different. For all carrollian theories of gravity we obtain analogues of the Gauss-Bonnet, Pontryagin and Nieh-Yan topological terms, as well as two additional terms that are intrinsically carrollian and seem to have no lorentzian counterpart. Since we gauge the theories from scratch this work also provides a no-go result for the electric carrollian theory in a first-order formulation.

Gauging U(1) symmetry in (2+1)d topological phases

We study the gauging of a global U(1) symmetry in a gapped system in (2+1)d. The gauging procedure has been well-understood for a finite global symmetry group, which leads to a new gapped phase with emergent gauge structure and can be described algebraically using the mathematical framework of modular tensor category (MTC). We develop a categorical description of U(1) gauging in a MTC, taking into account the dynamics of U(1) gauge field absent in the finite group case. When the ungauged system has a non-zero Hall conductance, the gauged theory remains gapped and we determine the complete set of anyon data for the gauged theory. On the other hand, when the Hall conductance vanishes, we argue that gauging has the same effect of condensing a special Abelian anyon nucleated by inserting 2\pi2π U(1) flux. We apply our procedure to the SU(2)_kk MTCs and derive the full MTC data for the \mathbb{Z}_kℤk parafermion MTCs. We also discuss a dual U(1) symmetry that emerges after the original U(1) symmetry of an MTC is gauged.

Gauge-invariance in cellular automata

Gauge-invariance is a fundamental concept in Physics -- known to provide mathematical justification for the fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts directly in terms of Cellular Automata. More precisely, the notions of gauge-invariance and gauge-equivalence in Cellular Automata are formalized. A step-by-step gauging procedure to enforce this symmetry upon a given Cellular Automaton is developed, and three examples of gauge-invariant Cellular Automata are examined.

Non-Abelian fracton order from gauging a mixture of subsystem and global symmetries

We demonstrate a general gauging procedure of a pure matter theory on a lattice with a mixture of subsystem and global symmetries. This mixed symmetry can be either a semidirect product of a subsystem symmetry and a global symmetry, or a non-trivial extension of them. We demonstrate this gauging procedure on a cubic lattice in three dimensions with four examples: $G=\mathbb{Z}_3^{\text{sub}} \rtimes \mathbb{Z}_2^{\text{glo}}$, $G=(\mathbb{Z}_2^{\text{sub}} \times \mathbb{Z}_2^{\text{sub}}) \rtimes \mathbb{Z}_2^{\text{glo}}$, $1\to \mathbb {Z}_2^\text {sub}\to G\to \mathbb {Z}_2^\text {glo}\to 1$, and $1\to \mathbb {Z}_2^\text {sub}\to G\to K_4^\text {glo}\to 1$. The former two cases and the last one produce the non-Abelian fracton orders. Our construction of the gauging procedure provides an identification of the electric charges of these fracton orders with irreducible representations of the symmetry. Furthermore, by constraining the local Hilbert space, the magnetic fluxes with different geometry (tube-like and plaquette-like) satisfy a subalgebra of the quantum double models (QDMs). This algebraic structure leads to an identification of the magnetic fluxes to the conjugacy classes of the symmetry.

Overview and perspectives on metric-affine gravity

The main purpose of this work is to give an overview of a generalization of the theory of general relativity, namely metric-affine gravity. We rederive an expression for the Lie derivative of the metric in the case of metric-affine theory and discuss some consequences of such an expression. As a gauge theory of gravitation it may be considered as an upshot of a gauging procedure of the general affine group, or its double covering. A historical approach of such a theory is also contained including the key results. One concludes with some perspectives on the calculation of topological observables in that theory viewed as topological gravity theory.

Enhancing Performance of Load Scheduling Using Grid Learning

The hourly flitting desire for electricity loads at suburban level or true to form of an espresso voltage transformer station probably won't be depicted as a troublesome brain diminished proportion of information. As a matter of fact, the proportion of data available for this model is colossal enough to utilize any other gauging procedure yet looking to the pile graph for example hourly weight regard twists, we adequately recognize that past estimations of the utilization aren't incredibly obliging when conjecture is expected of. That remains regardless, for data from the sooner day and for data from that day inside the prior week. As a portrayal of the case in this work we give three weight diagrams visiting with eventually usage of 1 load on a) Friday January 31, 2009, b) Thursday January 30, 2009, and c) Friday January 24, 2009. The numerical values are showed up in this work. The power is normalized by a component of 200 being the turn extent of the correct current transformer inside the transformer station. One may even observe the similarity of the general shape and in this manner the qualification in principle nuances confirming the crucial noteworthiness of the most up to date data for desire. As requirements are, we propose the trouble of evaluating of the pile a motivating force inside the next hour to be continued as a deterministic desire snared in to short – eventually – time game plan. To help the desire, regardless, in an appropriate way, we present past characteristics for example stacks for that day yet in prior weeks. That is in accordance with existing experience attesting that reliably inside the week has its own general usage profile.

Supersymmetric Calogero Models from Superfield Gauging

Using the superfield gauging procedure, we construct new ${\cal N}\,{=}\,2$ and ${\cal N}\,{=}\,4$ superfield systems that generalize Calogero models. In the bosonic limit, these systems yield rational Calogero models and hyperbolic Calogero-Sutherland models in the ${\cal N}\,{=}\,2$ case, and their ${\rm U}(2)$ spin generalization in the ${\cal N}\,{=}\,4$ case.

Constrained affine Gaudin models and diagonal Yang–Baxter deformations

We review and pursue further the study of constrained realisations of affine Gaudin models, which form a large class of two-dimensional integrable field theories with gauge symmetries. In particular, we develop a systematic gauging procedure which allows to reformulate the non-constrained realisations of affine Gaudin models considered recently in Delduc et al (2019 J. High Energy Phys. JHEP06(2019)017) as equivalent models with a gauge symmetry. This reformulation is then used to construct integrable deformations of these models breaking their diagonal symmetry. In the second part of the article, we apply these general methods to the integrable coupled σ-model introduced recently, whose target space is the N-fold Cartesian product of a real semi-simple Lie group G0. We present its gauged formulation as a model on with a gauge symmetry acting as the right multiplication by the diagonal subgroup and construct its diagonal homogeneous Yang–Baxter deformation.

Constructing black hole solutions in supergravity theories

We perform a detailed analysis of black hole solutions in supergravity models. After a general introduction on black holes in general relativity and supersymmetric theories, we provide a detailed description of ungauged extended supergravities and their dualities. Therefore, we analyze the general form of black hole configurations for these models, their near-horizon behavior and characteristic of the solution. An explicit construction of a black hole solution with its physical implications is given for the STU-model. The second part of this review is dedicated to gauged supergravity theories. We describe a step-by-step gauging procedure involving the embedding tensor formalism to be used to obtain a gauged model starting from an ungauged one. Finally, we analyze general black hole solutions in gauged models, providing an explicit example for the [Formula: see text], [Formula: see text] case. A brief review on special geometry is also provided, with explicit results and relations for supersymmetric black hole solutions.

Towards Classification of Fracton Phases: The Multipole Algebra

We present an effective field theory approach to the Fracton phases. The approach is based the notion of a multipole algebra. It is an extension of space(-time) symmetries of a charge-conserving matter that includes global symmetries responsible for the conservation of various components of the multipole moments of the charge density. We explain how to construct field theories invariant under the action of the algebra. These field theories generally break rotational invariance and exhibit anisotropic scaling. We further explain how to partially gauge the multipole algebra. Such gauging makes the symmetries responsible for the conservation of multipole moments local, while keeping rotation and translations symmetries global. It is shown that upon such gauging one finds the symmetric tensor gauge theories, as well as the generalized gauge theories discussed recently in the literature. The outcome of the gauging procedure depends on the choice of the multipole algebra. In particular, we show how to construct an effective theory for the $U(1)$ version of the Haah code based on the principles of symmetry and provide a two dimensional example with operators supported on a Sierpinski triangle. We show that upon condensation of charged excitations Fracton phases of both types as well as various SPTs emerge. Finally, the relation between the present approach and the formalism based on polynomials over finite fields is discussed.

Integrable asymmetric \u03bb-deformations

We construct integrable deformations of the λ-type for asymmetrically gauged WZW models. This is achieved by a modification of the Sfetsos gauging procedure to account for a possible automorphism that is allowed in G/G models. We verify classical integrability, derive the one-loop beta function for the deformation parameter and give the construction of integrable D-brane configurations in these models. As an application, we detail the case of the λ-deformation of the cigar geometry corresponding to the axial gauged SL(2, R)/U(1) theory at large k. Here we also exhibit a range of both A-type and B-type integrability preserving D-brane configurations.

From gauge to higher gauge models of topological phases

We consider exactly solvable models in (3+1)d whose ground states are described by topological lattice gauge theories. Using simplicial arguments, we emphasize how the consistency condition of the unitary map performing a local change of triangulation is equivalent to the coherence relation of the pentagonator 2-morphism of a monoidal 2-category. By weakening some axioms of such 2-category, we obtain a cohomological model whose underlying 1-category is a 2-group. Topological models from 2-groups together with their lattice realization are then studied from a higher gauge theory point of view. Symmetry protected topological phases protected by higher symmetry structures are explicitly constructed, and the gauging procedure which yields the corresponding topological gauge theories is discussed in detail. We finally study the correspondence between symmetry protected topological phases and ’t Hooft anomalies in the context of these higher group symmetries.

Correlation function diagnostics for type-I fracton phases

Fracton phases are recent entrants to the roster of topological phases in three dimensions. They are characterized by subextensively divergent topological degeneracy and excitations that are constrained to move along lower dimensional subspaces, including the eponymous fractons that are immobile in isolation. We develop correlation function diagnostics to characterize Type I fracton phases which build on their exhibiting {\it partial deconfinement}. These are inspired by similar diagnostics from standard gauge theories and utilize a generalized gauging procedure that links fracton phases to classical Ising models with subsystem symmetries. En route, we explicitly construct the spacetime partition function for the plaquette Ising model which, under such gauging, maps into the X-cube fracton topological phase. We numerically verify our results for this model via Monte Carlo calculations.

Matrix product operators for symmetry-protected topological phases: Gauging and edge theories

Projected entangled pair states (PEPS) provide a natural ansatz for the ground states of gapped, local Hamiltonians in which global characteristics of a quantum state are encoded in properties of local tensors. We develop a framework to describe on-site symmetries, as occurring in systems exhibiting symmetry-protected topological (SPT) quantum order, in terms of virtual symmetries of the local tensors expressed as a set of matrix product operators (MPOs) labeled by distinct group elements. These MPOs describe the possibly anomalous symmetry of the edge theory, whose local degrees of freedom are concretely identified in a PEPS. A classification of SPT phases is obtained by studying the obstructions to continuously deforming one set of MPOs into another, recovering the results derived for fixed-point models [X. Chen et al., Phys. Rev. B 87, 155114 (2013)]. Our formalism accommodates perturbations away from fixed point models, opening the possibility of studying phase transitions between different SPT phases. We also demonstrate that applying the recently developed quantum state gauging procedure to a SPT PEPS yields a PEPS with topological order determined by the initial symmetry MPOs. The MPO framework thus unifies the different approaches to classifying SPT phases, via fixed-points models, boundary anomalies, or gauging the symmetry, into the single problem of classifying inequivalent sets of matrix product operator symmetries that are defined purely in terms of a PEPS.