# Renormalization group equation for weakly power-counting renormalizable theories

## Abstract

We study the renormalization group flow in weak power-counting (WPC) renormalizable theories. The latter are theories which, after being formulated in terms of certain variables, display only a finite number of independent divergent amplitudes order by order in the loop expansion. Using as a toolbox the well-known SU(2) non-linear sigma model, we prove that for such theories a renormalization group equation holds that does not violate the WPC condition; that is, the sliding of the scale \(\mu \) for physical amplitudes can be reabsorbed by a suitable set of finite counterterms arising at the loop order prescribed by the WPC itself. We explore in some detail the consequences of this result; in particular, we prove that it holds in the framework of a recently introduced beyond the Standard Model scenario in which one considers non-linear Stückelberg-like symmetry breaking contributions to the fermion and gauge boson mass generation mechanism.

## 1 Introduction

Arguably, the most general way to look at the (perturbative) renormalization of quantum field theories is the one introduced two decades ago by Gomis and Weinberg [1]. In this modern look at the subject, the boundary between what constitutes a renormalizable or a non-renormalizable theory gets blurred. Indeed, in [1] it was proven that, if one includes in the tree-level vertex functional all possible Lorentz-invariant monomials in the fields, the external sources and their derivatives, while respecting, at the same time, the symmetries of the theory (encoded in the Batalin–Vilkovisky master equation [2]), then it is possible to subtract all ultraviolet (UV) divergences by a redefinition of the tree-level parameters. What distinguishes between the renormalizable/non-renormalizable cases is the *stability* of the classical action under radiative corrections. In fact, in the renormalizable case the finite number of terms already present in the tree-level action is sufficient to absorb all UV divergences irrespectively of the loop order. This ceases to be true for non-renormalizable theories, where no matter how many terms are added to the tree-level action, there will always exist a sufficiently high order operator in the loop expansion which will give rise to a UV divergence that cannot be absorbed into the classical action. Such an action would therefore be *unstable* against radiative corrections, and one has to allow for *infinitely* many (symmetry preserving) terms in order to absorb all divergences.

A prototype non-renormalizable theory (or, said in the positive, renormalizable in the modern sense) is the \(d\)-dimensional non-linear sigma model (NL\(\upsigma \)M for short) in which the massless pseudoscalar “pion” fields \(\phi ^a\) form, together with the scalar field \(\phi _0\) (with \(\langle \phi _0\rangle =m_d>0\)), a chiral multiplet subjected to the (non-linear) constraint \(\phi _a^2+\phi _0^2=m^2_d\); in this way the global symmetry \({\mathrm {SU}}(2)_{\scriptscriptstyle L}\times {\mathrm {SU}}(2)_{{\scriptscriptstyle R}}\) is non-linearly realized^{1} [see Eq. (2.7)]. Already at the one-loop level this theory shows an infinite number of divergent one-particle irreducible (1-PI) amplitudes, which in turn make the consistent subtraction of UV divergences problematic. However, by embedding the global NL\(\upsigma \)M into a locally symmetric formulation in terms of a classical source corresponding to a certain (flat) connection \(\widetilde{J}^a_\mu \), it was shown in [3] that one can acquire full control over the UV divergences of the model. Specifically, it can be shown that in such a theory a weak power counting (WPC) exists [4, 5] which implies that the number of independent divergent amplitudes stays finite at each loop order \(n\), even though it increases with \(n\). These “ancestor” amplitudes are not the ones associated with the quantum pion fields \(\phi ^a\), but they are rather written in terms of the connection \(\widetilde{J}^a_\mu \) and the composite operator \(K_0\) implementing the aforementioned non-linear constraint. Then the presence of the so-called local functional equation (LFE) together with a suitable change of field variables called “bleaching”, allows one to generate from the ancestor amplitudes all the (infinite) descendant (off-shell) amplitudes involving the pion fields, uniquely fixing *en route* their divergent part at any order in the loop expansion [5].

Within the aforementioned Weinberg–Gomis approach to renormalization, one can interpret the WPC as a condition dictating at which loop order the coefficient of a particular monomial in the ancestor variables and their derivatives becomes non-vanishing. While it has been proven in [6] that the WPC allows for the definition of a symmetric (i.e. compatible with the symmetries of the theory) subtraction scheme, the question has remained open of whether a renormalization group (RG) equation compatible with the WPC exists. The problem can be stated in the following terms. WPC renormalizable theories possess a RG flow associated to the RG equation for ancestor amplitudes. Imagine then that a change in the scale \(\mu \) of the radiative corrections is inequivalent to a rescaling of the coefficients of the ancestor amplitudes counterterms, at the given loop order prescribed by the WPC: this would imply that the RG flow mixes up the hierarchy of UV divergences encoded in the WPC, thus making it impossible to slide the scale \(\mu \) between different energies.

As we will prove in this paper, fortunately this is not the case, as indeed *the RG equation of ancestor amplitudes turns out to be compatible with the WPC*. This is an important result which acquires particular relevance in the context of the non-linearly realized electroweak theory introduced in [7, 8], in which the WPC has been used as a model-building principle. In particular, in this model the classical source \(\widetilde{J}^a_\mu \) is promoted to a local dynamical field responsible for generating part of the mass of the \(W^\pm \) and \(Z\) gauge bosons through the Stückelberg mechanism; this leads in turn to many unique features which cannot be found in theories describing physics beyond the Standard Model (bSM) (e.g. it is impossible to add a scalar singlet without breaking the WPC, so that the minimal number of physical scalar resonances in the model is 4). As we will see, the result proven here for the compatibility between the RG flow and the WPC applies also in this case. This entails the possibility of evolving the scale \(\mu \) in a mathematically consistent way, thus allowing to obtain predictions for the relevant observables applicable in different energy regimes and thus paving the way for a systematic study of their deviations from the expected SM results.

The paper is organized as follows. By using the aforementioned example of the \(d\)-dimensional SU(2) NL\(\upsigma \)M in Sect. 2 we review the embedding of the model in a local formulation in terms of a flat connection, leading to the LFE and the WPC condition. The concepts of ancestor and descendant amplitudes as well as of bleached variables are introduced together with the corresponding symmetric scheme for subtracting the UV divergences. In Sect. 3 we derive the equation governing the RG flow in the local NL\(\upsigma \)M . Next, after specializing this equation to ancestor amplitudes, we discuss under which conditions the RG flow preserves the WPC; we then prove that at the one-loop level these conditions are indeed satisfied. Section 4 contains the central result of the paper: there we prove the general theorem stating that the RG flow of ancestor amplitudes preserves the WPC. In Sect. 5 we introduce the notion of weak stability, while in Sect. 6 we derive the consequences of the RG flow theorem for the aforementioned non-linearly realized SU(2)\(\times \)U(1) electroweak theory. Our conclusions and outlook are finally presented in Sect. 7.

## 2 Preliminaries

### 2.1 Global NL\(\upsigma \)M

### 2.2 Local NL\(\upsigma \)M

^{2}

### 2.3 Local functional equation

The LFE encodes at the quantum level the classical local SU(2) transformation, whose form in Eq. (2.16) is not preserved under radiative corrections. Therefore one cannot constrain the quantum 1-PI Green functions on the basis of the classical symmetry in Eq. (2.16); the constraints satisfied by these functions are fixed by Eq. (2.20).

One of its main consequences is the separation of the 1-PI amplitudes into two classes. On the one hand, there are the amplitudes involving only the insertion of the SU(2) connection \(\widetilde{J}^a_\mu \) and of the source of the non-linear constraint \(K_0\): these are called ancestor amplitudes [3, 4]. On the other hand, we have the so-called descendant amplitudes, i.e. those involving at least one external \(\phi \)-leg. These amplitudes are not independent, as they are uniquely determined by the LFE once the ancestor amplitudes are known [3, 4, 9].

### 2.4 Weak power counting

Despite the fact that they do not involve external legs of the quantized fields of the theory \(\phi _a\), the truly fundamental Green functions of the local NL\(\upsigma \)M are the ancestor amplitudes. Such Green functions display an UV behavior that is significantly better than the one of their descendants: namely, there exists a choice of the tree-level action, compatible with the symmetries of the theory, such that only a finite number of divergent ancestor amplitudes arises order by order in the loop expansion. This property is dubbed the WPC condition [4].

### 2.5 Bleached variables

*per-se*are not a solution of the LFE (2.20) as they carry no information for amplitudes involving pion fields. To achieve this, it is necessary to introduce invariant combinations in one-to-one correspondence to the ancestor variables \(\widetilde{J}^a_\mu \) and \(K_0\). These so-called bleached variables are found to be [4]

### 2.6 Renormalization

Summarizing, the combination of the LFE and the WPC, expressed in Eqs. (2.20) and (2.21), respectively, allows one to express the infinite number of divergent amplitudes involving the pion fields (descendant amplitudes) in terms of a finite number of ancestor amplitudes involving the connection \(\widetilde{J}^a_\mu \) and the source of the non-linear constraint (2.4) \(K_0\).

It turns out that it is also possible to renormalize the theory in a symmetric fashion, that is, in a way that preserves the LFE [4, 6].

At higher orders, say \(n > 1\), the situation is slightly more complicated. The bilinear term in the LFE results in the term (2.30); however, this can only give rise to the mixing of lower order counterterms and therefore does not lead to new ones. As a consequence, this term will not appear in the evaluation of the \(n\)th-order counterterms for the ancestor amplitudes. Thus the symmetric subtraction procedure at order \(n\) is the following. One starts by computing the divergent part of the ancestor amplitudes that are superficially divergent according to the WPC condition (2.21). This will then fix the coefficients of the local monomials \(\mathcal{M}_i\) appearing at this order. Then one converts these monomials into the invariants \(\mathcal{I}_i\) by writing them in terms of the bleached variables. This will then give rise to the full set of counterterms required to make the theory finite at order \(n\) in the loop expansion.

## 3 A renormalization group equation for WPC renormalizable theories

Thus, from the point of view of Weinberg and Gomis renormalizability, the WPC selects which coefficients \(\rho _{i}^{{\scriptscriptstyle \mathrm B}}\) must be zero in the tree-level approximation and prescribes the loop order at which the counterterms of a given local monomial start to appear (or, in other words, at which order a particular coefficient \(\rho _{i}^{{\scriptscriptstyle \mathrm B}} \ne 0\)).

^{3}

The very important question we are addressing in this paper is whether the WPC condition is compatible with the RG flow controlled by the RG equation for the ancestor amplitudes. In general, in fact, it might happen that a change in the scale \(\mu \) of the radiative corrections is not equivalent to a rescaling of the coefficients of the ancestor amplitudes counterterms, at the given loop order prescribed by the WPC. In that case the RG flow would mix up the hierarchy of UV divergences encoded in the WPC, thus making it impossible to slide the scale \(\mu \) between different energies.

Let us start addressing this question by noticing that, for the zero (external) pion fields case, Eq. (3.4) gives rise to a particularly simple relation. Indeed in this case \(\widehat{\Gamma }_0\) is linear^{4} in the bare parameters \(\rho _{i}^{{\scriptscriptstyle \mathrm B}}\), and therefore a change in the scale \(\mu \), affecting the \(n\)th-order action, can be accommodated by a change of the finite part of the \(n\)th-order (ancestor amplitudes) counterterms, so that it appears that the RG equation does not mix up the WPC hierarchy.^{5} However, this is not sufficient to prove compatibility with the WPC, as the redefinition of the renormalized parameters \(\rho _i\) still spans in principle at a given order \(n\) *all* (infinite) integrated local monomials corresponding to divergent ancestor amplitudes and compatible with Lorentz and SU(2)\(_{\scriptscriptstyle R}\) global symmetry (under which \(\tilde{J}_{a\mu }\) is in the adjoint and \(K_0\) is a singlet) on the space of ancestor variables. What we need to prove is that \(i\) spans only those monomials that are required by the WPC at order \(n\) and nothing else.

### 3.1 One-loop analysis

The WPC-compatible tree-level couplings used to construct the ancestor amplitudes are the ones coming from the action (2.19). On the other hand, the effective action \(\widehat{\Gamma }^{(1)}\) will contain also the eight monomials (2.32) with a coefficient^{6} \(\lambda _i^{(1)}\), \(i \ne 0\) (as already noticed, the coefficient \(\rho _0^{(1)}\) is zero at one-loop level; in addition, notice that \(\mathcal{M}_0\) is allowed by the WPC, so its coefficient is not of the \(\lambda \)-type), fixed by the divergent part of the corresponding ancestor amplitude. When trading the \(K_0\) and \(\widetilde{J}^a_\mu \) variables for the bleached ones, the monomials \(\mathcal{M}_i\) will become the invariants \(\mathcal{I}_i\) of Eq. (2.35); expanding then the bleached variables in terms of the pion fields as in Eqs. (2.26) and (2.28), will generate new vertices with pions and external sources \(\tilde{J}_\mu \) and \(K_0\). Contrary to the tree-level vertices however, these so-called \(\lambda \)-vertices (see also the definition given in Sect. 4) violate the WPC and are proportional to a parameter \(\lambda _i^{(1)}\), which was zero at tree level (from which the name).

A Feynman graph constructed from this type of vertices might in principle contribute to the RG equation (3.4) due to the derivative term in \(\rho _i\), evaluated on the \(\lambda \)-type coefficients.

To understand how this can possibly happen, recall that for writing down the RG equation one writes down all possible tree-level couplings compatible with the LFE which are of two types: the coefficient \(m_d\), which is also compatible with the WPC, and all the \(\lambda \)-vertices. Notice that \(g\) instead can be eliminated by redefining the pion fields \(\phi _a \rightarrow \frac{1}{g} \phi _a\). The WPC condition selects the solution in which all the \(\lambda _{i}\) are zero: it is on this solution that one evaluates the amplitude after taking the derivative w.r.t. \(\rho _{i}\) in Eq. (3.4). Consequently the insertion of more than one \(\lambda \)-vertex in an ancestor amplitude cannot contribute to the RG flow, since the WPC sets to zero all the \(\lambda \) (the derivative obviously disposes of one such coefficient only).

Thus, the compatibility of the RG flow with the WPC boils down to the proof that \(\lambda \)-vertices cannot contribute to the RG flow of an ancestor amplitude.

As a warm up exercise in what follows we see how things work out at the one-loop order.

#### 3.1.1 \(\widetilde{J}^a_\mu \) sector

In the \(\widetilde{J}^a_\mu \) sector the invariants that can contribute are \(\mathcal{I}_1\) through \(\mathcal{I}_5\) of Eq. (2.35). Let us then start by considering the two-point function \(\Gamma ^{(1)}_{\widetilde{J}\widetilde{J}}\), which has \(D(\Gamma ^{(1)}_{\widetilde{J}\widetilde{J}})=2\); the topologies possibly contributing to this amplitude are shown in Fig. 1.

Finally, the UV degree of divergence of \((t_{33})\) graphs must be at least 2, since they all have one loop, three bosonic propagators, one derivative from every tree-level vertex and at least two derivatives from the \(\lambda \)-vertex. So, by the same token, also these diagrams do not appear in the one-loop RG equation for \(\Gamma ^{(1)}_{\widetilde{J}\widetilde{J}\widetilde{J}}\).

Also \((t_{43})\) graphs do not appear in the one-loop RG equation for \(\Gamma ^{(1)}_{\widetilde{J}\widetilde{J}\widetilde{J}\widetilde{J}}\) because in the tree-level Feynman rules there are no vertices of the form \(\widetilde{J} \widetilde{J} \phi \phi \) and so in this topology both vertices must necessarily be of the WPC violating type. Finally, using the previous results, it is straightforward to prove that the UV degree of divergence of the graphs of type \((t_{44})\) (three bosonic propagators, two tree-level vertices with one derivative and a \(\lambda \)-vertex with at least one derivative) and \((t_{45})\) (four bosonic propagators, three tree-level vertices with one derivative and a \(\lambda \)-vertex with at least two derivatives) is at least one, so that also in this case \(D(t_{44}), D(t_{45})>0\).

This completes the analysis of the \(\widetilde{J}\)-sector at the one-loop level and shows that for the two-, three- and four-point functions of the external source \(\widetilde{J}\) a change in the scale \(\mu \) is compensated by a change of the finite parts of genuinely one-loop invariants. Let us conclude, by observing that even though we have taken into account only \(\lambda \)-vertices stemming from the one-loop invariants (2.35), the argument is valid also, *a fortiori*, for monomials that appear as counterterms at higher loops, for the latter will contain either more derivatives or more bleached variables \(j\) (or both).

#### 3.1.2 \(K_0\)-sector

In the \(K_0\) sector one needs to consider the invariants \(\mathcal{I}_6\) and \(\mathcal{I}_7\) of Eq. (2.35). However, recall that the tree-level dependence from \(K_0\) is completely fixed by the coupling to the non-linear constraint \(\phi _0\). Indeed the non-linear symmetry is realized through the transformations (2.7) and the only composite operator that enters in them is \(\phi _0\). This dictates the coupling in \(S_{\scriptscriptstyle \mathrm ext}\) of Eq. (2.19), and it makes no sense to insert at tree level additional invariants that depend on \(K_0\). Thus there are no \(\lambda \)-vertices originating from invariants involving \(\overline{K}_0\).

This means in turn that there are no \(\lambda \)-vertices contributing to the two-point function of the scalar source \(K_0\); hence, a change in the scale \(\mu \) in the ancestor amplitude \(\Gamma ^{(1)}_{K_0 K_0}\) can be compensated by a change of the finite part of the one-loop counterterm \(\mathcal {I}_4\).

As discussed above, the \(\lambda \)-vertex in both topologies can never come from the \(K_0\) source. Therefore for \((t_{51})\) graphs the \(\lambda \)-vertex contains at least one derivative; hence the UV degree of divergence of these graphs is at least 1. This is also the UV degree of divergence for the topologies \((t_{52})\). Therefore, we conclude that the one-loop invariant with one scalar source \(K_0\) and two \(\widetilde{J}\), which does not contain derivatives, cannot receive contributions from these graphs.

Also in this sector the results obtained are valid for \(\lambda \)-vertices originating from higher order counterterms. This completes the analysis of the \(K_0\)-sector and it allows us to conclude that at the one-loop level a change in the scale \(\mu \) only requires a change in the finite parts of the WPC one-loop invariants to be compensated.

## 4 A general theorem

We are now ready to tackle a general proof of the fact that the WPC is preserved by the RG flow. The strategy followed for proving this will be different from the one adopted for illustrating the one-loop case, which obviously cannot be adapted to an all-order analysis.

Before dwelling on the detailed proof let us recall the precise definition of a \(\lambda \)-vertex and state in a precise form the theorem we would like to prove.

### **Definition**

A \(\lambda \)-vertex is an interaction vertex generated upon the expansion of a symmetric (i.e. fulfilling the LFE) local functional forbidden by the WPC in powers of the pion fields \(\phi \). It must contain at least one external \(\widetilde{J}\) leg.^{7}

One then has the following.

### **Theorem**

There are no \(\lambda \)-vertex contributions to the RG flow of a \(n\)th-loop ancestor amplitude.

The proof is divided into several steps, which we detail in the following five subsections.

### 4.1 Loop expansion of the RG equation

Let us now prove that this is indeed not the case.

### 4.2 Topologies

The amplitudes that we need to consider have no external pion legs and display an insertion of a single \(\lambda \)-vertex \(\mathcal{V}^\lambda \), all other vertices being generated by the WPC tree-level action (2.19). We will denote by \(\mathcal{V}^\lambda _{K_0}\) (respectively, \(\mathcal{V}^\lambda _{\widetilde{J}}\)) the number of \(K_0\) (respectively, \({\widetilde{J}}^a_\mu \)) legs attached to the vertex \(\mathcal{V}^\lambda \). Finally \(r\) will denote the number of pion legs attached to \(\mathcal{V}^\lambda \).

### 4.3 \(\mathcal{P}\)-amplitudes degree of divergence

Let us indicate with \(\mathcal{P}_{\phi }^{(i)}\) (respectively, \({\mathcal {P}}^{({i})}_{K_0}\), \({\mathcal {P}}^{({i})}_{\widetilde{J}}\)) the number of \(\phi \) (respectively, \(K_0\), \({\widetilde{J}}^a_\mu \)) legs attached to the 1PI amplitude building up the \(i\)th petal \({\mathcal {P}}^{({i})}\). Then one has the following.

### **Lemma**

To prove this, let us analyze the two possible contributions to a \(\mathcal{P}^{(i)}\)-amplitude, that is, the one coming from the bleached variables substitution and the one from the \(\mathcal{G}\) term of the general solution of the LFE.

- (i)
If we start from an ancestor amplitude and in the replacement of a \(\widetilde{J}\) we get no derivative and a \(\widetilde{J}\), the number of external \(\widetilde{J}\) of the descendant amplitude stays invariant;

- (ii)If we start from an ancestor amplitude and in the replacement of a \(K_0\)-leg we get a derivative and a \(\widetilde{J}\), then the additional contribution to the degree of divergence is through the term(4.9)

This concludes the proof of the lemma.

### 4.4 One-petal amplitudes

Consider now the \(n\)th-order amplitude \(\Gamma \) corresponding to a \(\lambda \)-vertex, with \(r\) \(\phi \)-legs, \(\mathcal{V}^\lambda _{\widetilde{J}}\) \(\widetilde{J}\)-legs and \(\mathcal{V}^\lambda _{K_0}\) \(K_0\)-legs. Assume also that there is a single petal \(\mathcal{P}^{(1)}\) [see diagram (a) in Fig. 5], so that \(r\equiv {\mathcal {P}}^{({1})}_{\phi }\) and \(n=n^{(1)}+{\mathcal {P}}^{({1})}_{\phi }-1\).

- (i)
If \(\mathcal{V}^\lambda _{K_0}=1\), then \(\mathcal{V}^\lambda _{\widetilde{J}}=\delta =0\) (i.e. the \(\lambda \)-vertex has no derivatives). In this case the \(\lambda \)-vertex is of the type \(K_0\phi _0\), already present in \(\Gamma ^{(0)}\) and allowed by the WPC.

- (ii)
If \(\mathcal{V}^\lambda _{K_0}=0\), then either \(\mathcal{V}^\lambda _{\widetilde{J}}=1\), in which case \(\delta =1\) so that these are the couplings of the type \(\widetilde{J} F\) coming from \(S\), or \(\mathcal{V}^\lambda _{\widetilde{J}}=2\), in which case \(\delta =0\) so that these are the couplings of the type \(\widetilde{J}^2\) coming again from \(S\).

### 4.5 Daisy amplitudes

This completes the proof of the RG-flow theorem.

## 5 Stability in WPC renormalizable theories

The existence of a RG equation allows one to extend the notion of stability of the classical theory to the non-linearly realized models based on the WPC.

In fact, the WPC prescribes uniquely which coefficients \(\rho _i\) are non-zero at tree level (and therefore it defines the set of \(\lambda \)-invariants). In addition, the RG-flow theorem just proven implies that the finite parts of the counterterms, needed to reabsorb a change in the \(\mu \)-dependence, appear exactly at the order where the pole part of the corresponding ancestor amplitudes becomes non-zero according to the WPC.

Suppose now that one adds a free finite (\(\mu \)-independent) part \(a^{(n)}_i\) at order \(n\) in the loop expansion, in a way to preserve the symmetries of the theory (and not violating the WPC). As the loop order \(n\) of the finite coefficient \(a^{(n)}_i\) does not correspond to the topological loop order,^{8} one can proceed as in the power-counting renormalizable theories, that is, one rescales \(a^{(n)}_i \rightarrow \frac{1}{\hbar ^n} a^{(n)}_i\) to obtain a finite physically equivalent theory (as \(\hbar = 1\)).

In the power-counting renormalizable case, the rescaling will give back a term already present at tree level: this is the well-known stability of the tree-level action against radiative corrections. For WPC renormalizable theories, however, under the rescaling the addition of a finite free coefficient \(a^{(n)}_i\) at the order \(n\) in the loop expansion is equivalent to the addition of a non-zero \(\lambda \)-vertex at tree level in the rescaled theory. For such vertices a change in the scale \(\mu \) cannot be anymore accommodated by a change of a finite number of counterterms order by order in the loop expansion, and one would inevitably end mixing up the WPC criterion on the loop order of UV divergences in the rescaled theory.

Thus one can extend the notion of stability of the classical theory: If one demands that the rescaled theory satisfies the WPC, then there is no freedom left to add any finite \(\mu \)-independent terms and the theory is (weakly) stable under radiative corrections.

Incidentally, notice that there is yet another reason why one cannot add the symmetric finite renormalization terms \(a_i^{(n)}\) just discussed. The WPC uniquely identifies the graphs in the expansion based on the topological loop number, thus selecting a particular Hopf algebra, as the latter is constructed as a dual of the enveloping algebra of the Lie algebra of the Feynman graphs associated to the theory under scrutiny [11, 12]. On the other hand, it also guarantees that there exists a suitable exponential map on this Hopf algebra [13] which allows the removal of all the divergences. The addition of any \(a_i^{(n)}\) is equivalent to a change in the Hopf algebra of the model, as it would modify the set of 1-PI Feynman diagrams on which the Hopf algebra is constructed. This change destroys the compatibility between the WPC and the RG equation; therefore, the addition of such terms is not allowed.

The existence of a connection between the WPC preserving RG flow and the selected Hopf algebra clearly deserves further investigations.

## 6 Beyond the Standard Model: the WPC as a model-building principle

If one promotes the classical source \(\widetilde{J}^a_\mu \) to the status of a dynamical field, the NL\(\upsigma \)M action gives rise to the Stückelberg mass term. By formulating a non-linearly realized SU(2) Yang–Mills theory in the LFE framework [14, 15, 16] (with the pseudo-Goldstone fields taking over to the role of the pion fields) and imposing the WPC, one arrives at a somewhat surprising result.

^{9}it turns out that if the WPC condition is satisfied, then the only admissible solution of the tree-level LFE is the Yang–Mills action plus the Stückelberg mass term:

The inclusion of physical scalar resonances in the non-linearly realized Electroweak Theory, while respecting the WPC, yields a definite bSM scenario. Indeed it turns out that it is impossible to add a scalar singlet without breaking the WPC condition [7]. The minimal solution requires a SU(2) scalar physical doublet, leading to a CP-even physical field (to be identified with the recently discovered scalar resonance at 125.6 GeV) and three additional heavier physical states, one neutral CP-odd and two charged ones. Notice that this is a rather peculiar signature, since in two Higgs-doublet models and the minimal supersymmetric Standard Model the number of physical scalar resonances is five (see, e.g. [21]).

While some preliminary phenomenology issues of this model have been addressed in [7], a full analysis and comparison with the experimental data can be carried out in a satisfactory and systematic way only in the presence of an RG flow, as the possibility of running the scale \(\mu \) in a mathematically consistent way would allow one to obtain physical predictions of the same observables applicable in different energy regimes.

The extension of the analysis carried out for the NL\(\upsigma \)M to the non-linearly realized electroweak theory with scalar resonances (NLSM for short) requires some care.

The mass generation mechanism for gauge bosons cannot be entirely of the Stückelberg type, for in this case the decays of the Higgs scalar \(h \rightarrow WW^*\) and \(h \rightarrow ZZ^*\) would be loop induced and thus phenomenologically unacceptably small. Therefore the problem arises as to assess whether a fraction of the mass is generated by the Stückelberg mechanism, in addition to the contribution associated with the linearly realized spontaneous symmetry breaking *à la* Higgs.

The Lagrange multiplier formulation of the non-linear constraint is particularly suited for studying the small \(A\) limit, which is the phenomenologically relevant regime since bSM effects are known to be small [22, 23]. This is because in this formulation it is easy to derive the dominant contribution in the small \(A\) expansion of the 1-PI amplitudes (without the need of resummations) [8].

^{10}of the trace component \(\phi _0\) of the SU(2) matrix \(\Omega \).

There is no WPC in the sector spanned by \(\bar{c}\) and its BRST variation \(s \bar{c}\) [8]. However, since they form a BRST doublet^{11} [24], it turns out that they can only modify the BRST-exact sector of the theory, which, like the gauge fixing, is not physical.

On the other hand, in the gauge-invariant (BRST-closed) sector of the theory, the WPC holds. In this sector the proof of the compatibility between the WPC and the RG flow given in Sect. 4 can be extended to the NLSM. Indeed all quantized fields and external sources of the model transform under the non-linearly realized gauge group either as a connection, or in the fundamental representation (like the fermions) or else in the adjoint representation (like, for instance, the ghost fields). It turns out that the bleaching procedure for a variable that transforms in the fundamental or in the adjoint representation of the gauge group does not involve derivatives. To be sure, one has the expressions \(\widetilde{f} = \Omega ^\dagger f\) (respectively, \(\widetilde{X} = \Omega ^\dagger X \Omega \)) for the bleached variable associated to a field that transforms in the fundamental (respectively, adjoint) representation of the gauge group. Therefore the substitution of these fields with their bleached counterparts does not modify the degree of divergence of the amplitude considered.

Moreover, one should also note that in a massive theory the WPC provides only an upper bound on the degree of divergence of an ancestor amplitudes, with the bound being saturated only in the massless case. Yet the upper bound is sufficient in order to establish the validity of the RG equation, as can be seen from the analysis of Sect. 4.

One therefore sees that the RG equation is again compatible with the WPC in the physically relevant gauge-invariant sector of the theory.

## 7 Conclusions and outlook

The existence of a RG equation for the NL\(\upsigma \)M and the NLSM, compatible with the WPC, shows that the sliding of the scale \(\mu \) on physical amplitudes can be reabsorbed by suitable finite counterterms, arising at the loop order prescribed by the WPC itself. As a result, the running with energy of physical observables becomes a consistent procedure also within non-linearly realized theories based on the LFE and for which the WPC holds.

Moreover, one can formulate the notion of weak stability, in close analogy with the power-counting renormalizable case: the inclusion of free finite counterterms at higher order in the loop expansion alters the Hopf algebra of the model and, moreover, generates \(\lambda \)-vertices, thus mixing up the order of the counterterms needed to recover the effect of a change in the scale \(\mu \) of the radiative corrections. This destroys the compatibility between the WPC and the RG equation.

It is a rather remarkable fact that in the NLSM the RG equation can be written for a theory with a *finite* number of parameters dictated by the WPC. Consequently, since the RG equation allows one to run physical observables with energy, the parameterization of bSM physics embedded in the NLSM can be tested on a wide range of energy, from the GeV to the TeV scale.

This provides a consistent theoretical framework for the study of the non-linear Stückelberg-like symmetry breaking contribution (and their bSM implications) to the fermion and gauge bosons mass generation mechanism, which will be one of the main goals of the next LHC run.

## Footnotes

- 1.
In the 4-dimensional case \(\phi _0\) is to be identified with the \(\sigma \) meson and \(m=m_4\) with the pion decay constant \(f_\pi \).

- 2.
The term “flat” refers to the fact that the field strength associated to \(F_\mu \) vanishes.

- 3.
In the Chiral Lagrangian approach (momentum expansion) a RG equation has been derived in [10].

- 4.
This is definitely not the case for the complete effective action \(\widehat{\Gamma }\), as in this case the functional \(\mathcal{G}\) appearing in the complete LFE solution (2.31) contains a product of lower order terms and therefore it has a complicated dependence on the \(\rho _i\).

- 5.
At the level of amplitudes with the explicit dependence on the pion legs things are in general much more complicated and one has to resort to the LFE in order to fix them in a way compatible with the symmetry of the theory.

- 6.
We reserve the notation \(\lambda _{i}\) (respectively, \(\lambda _{i}^{{\scriptscriptstyle \mathrm B}}\)) for the renormalized (respectively, bare) parameters that are bound to be zero at tree level due to the WPC. This is to be contrasted with \(\rho _i\) (respectively, \(\rho _{i}^{{\scriptscriptstyle \mathrm B}}\)) which denote the renormalized (respectively, bare) coefficients of

*all*monomials (that is, including those that are non-zero according to the WPC). - 7.
Again we recall that the dependence of the tree-level effective action on \(K_0\) is fixed by the non-linear SU(2) symmetry and hence no \(\lambda \)-vertices originating from invariants involving \(\overline{K}_0\) need to be considered.

- 8.
For example, a local counterterm added to remove a one-loop divergence corresponds topologically to a tree-level graph.

- 9.
In particular, all possible monomials constructed from the bleached variable \(j^a_\mu \) and its ordinary derivatives, are gauge invariant, and therefore can in principle appear as interaction vertices in the classical action.

- 10.
In the NLSM model, \(v\) is reserved for the v.e.v. induced by the

*linear*spontaneous symmetry breaking mechanism. - 11.
A BRST doublet is a set of variables \(u\) and \(v\) transforming under the BRST operator \(s\) according to \(su=v\), \(sv=0\).

## Notes

### Acknowledgments

One of us (A. Q.) would like to thank C. Anastasiou for useful discussions.

## References

- 1.J. Gomis, S. Weinberg, Nucl. Phys.
**B469**, 473 (1996). hep-th/9510087 - 2.J. Gomis, J. Paris, S. Samuel, Phys. Rep.
**259**, 1 (1995). hep-th/9412228 - 3.R. Ferrari, JHEP
**0508**, 048 (2005). hep-th/0504023 - 4.R. Ferrari, A. Quadri, Int. J. Theor. Phys.
**45**, 2497 (2006). hep-th/0506220 - 5.
- 6.D. Bettinelli, R. Ferrari, A. Quadri, Int. J. Mod. Phys.
**A23**, 211 (2008a). hep-th/0701197 - 7.
- 8.
- 9.D. Bettinelli, R. Ferrari, A. Quadri, JHEP
**0703**, 065 (2007). hep-th/0701212 - 10.M. Buchler, G. Colangelo, Eur. Phys. J.
**C32**, 427 (2003). hep-ph/0309049 - 11.A. Connes, D. Kreimer, Commun. Math. Phys.
**210**, 249 (2000). hep-th/9912092 - 12.A. Connes, D. Kreimer, Commun. Math. Phys.
**216**, 215 (2001). hep-th/0003188 - 13.K. Ebrahimi-Fard, F. Patras, Ann. Henri Poincare
**11**, 943 (2010). arXiv:1003.1679 ADSCrossRefMATHMathSciNetGoogle Scholar - 14.D. Bettinelli, R. Ferrari, A. Quadri, Phys. Rev.
**D77**, 045021 (2008b). arXiv:0705.2339 ADSMathSciNetGoogle Scholar - 15.D. Bettinelli, R. Ferrari, A. Quadri, Phys. Rev.
**D77**, 105012 (2008c). arXiv:0709.0644 ADSMathSciNetGoogle Scholar - 16.D. Bettinelli, R. Ferrari, A. Quadri, J. Gen. Lie Theory Appl.
**2**, 122 (2008d). arXiv:0712.1410 - 17.D. Bettinelli, R. Ferrari, A. Quadri, Int. J. Mod. Phys.
**A24**, 2639 (2009a). arXiv:0807.3882 ADSCrossRefGoogle Scholar - 18.D. Bettinelli, R. Ferrari, A. Quadri, Acta Phys. Pol.
**B41**, 597 (2010). arXiv:0809.1994 Google Scholar - 19.D. Bettinelli, R. Ferrari, A. Quadri, Phys. Rev.
**D79**, 125028 (2009b). arXiv:0903.0281 ADSGoogle Scholar - 20.
- 21.J.F. Gunion, H.E. Haber, G.L. Kane, S. Dawson, Front. Phys.
**80**, 1 (2000)Google Scholar - 22.P.P. Giardino, K. Kannike, I. Masina, M. Raidal, A. Strumia, JHEP
**1405**, 046 (2014). arXiv:1303.3570 ADSCrossRefGoogle Scholar - 23.
- 24.A. Quadri, JHEP
**0205**, 051 (2002). hep-th/0201122

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Funded by SCOAP^{3} / License Version CC BY 4.0.