SciPost Submission Page
Goldstone Equivalence and High Energy Electroweak Physics
by G. Cuomo, L. Vecchi, A. Wulzer
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Luca Vecchi · Andrea Wulzer 
Submission information  

Preprint Link:  scipost_202001_00045v1 (pdf) 
Date submitted:  20200116 01:00 
Submitted by:  Vecchi, Luca 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
The transition between the broken and unbroken phases of massive gauge theories, namely the rearrangement of longitudinal and Goldstone degrees of freedom that occurs at high energy, is not manifestly smooth in the standard formalism. The lack of smoothness concretely shows up as an anomalous growth with energy of the longitudinal polarization vectors, as they emerge in Feynman rules both for real onshell external particles and for virtual particles from the decomposition of the gauge field propagator. This makes the characterization of Feynman amplitudes in the highenergy limit quite cumbersome, which in turn poses peculiar challenges in the study of Electroweak processes at energies much above the Electroweak scale. We develop a Lorentzcovariant formalism where polarization vectors are wellbehaved and, consequently, energy powercounting is manifest at the level of individual Feynman diagrams. This allows us to prove the validity of the Effective $W$ Approximation and, more generally, the factorization of collinear emissions and to compute the corresponding splitting functions at the treelevel order. Our formalism applies at all orders in perturbation theory, for arbitrary gauge groups and generic linear gaugefixing functionals. It can be used to simplify Standard Model loop calculations by performing the highenergy expansion directly on the Feynman diagrams. This is illustrated by computing the radiative corrections to the decay of the top quark.
Current status:
Reports on this Submission
Anonymous Report 2 on 2020228 (Invited Report)
 Cite as: Anonymous, Report on arXiv:scipost_202001_00045v1, delivered 20200228, doi: 10.21468/SciPost.Report.1545
Strengths
1. A new formalism to powercount the highenergy behavior of gauge bosons amplitudes is presented.
2. Applications to Standard Model calculations and equivalence with standard techniques are discussed.
3. The paper is generally wellwritten.
Weaknesses
1. I find that sometimes the discussion is quite pedantic. A few passages could be simplified in favor of a clearer message. I discuss more in the Requested changes form.
Report
By exploiting the consequences of the SlavnovTaylor identities for gaugefixing function operators, the authors introduce a new formalism where longitudinal polarization of gauge bosons are wellbehaved at highenergy.
This provides a useful tool to characterize the leading contribution of single Feynman diagrams, both for onshell and offshell vectors. This new formalism is extensively explained in Section 2, in the context of the HiggsKibble model and then it is extended for general gauge theories in Section 3. The faith of unstable vectors (particularly relevant for Standard Model processes) is also discussed very clearly.
The authors apply this formalism to the Standard Model and show its equivalence with the standard techniques. In particular, they discuss applications to $WW$ scattering and radiative corrections to top decay. As another application, in the last section the authors provide proof of collinear factorization at treelevel and the splitting functions in the Standard Model are computed.
The paper is interesting, with a potential impact on the scientific community. I recommend it for publication although I suggest making some changes.
Requested changes
1. I would like the authors to improve the clarity of the main text in page 33 regarding the $WW$ scattering. As it is written now, the discussion about the identification of the diagrams contributing to $\mathcal{M}_0$ and $\mathcal{M}_1$ is confusing and hard to follow. It can help to add the explicit diagrams by using the corresponding Feynman rules of the GoldstoneEquivalent formalism (e.g. those presented in Figure 1).
2. Although according to the authors the application of this formalism is straightforward, in Section 4.4.1 it is worth showing explicitly the computation of the leading terms of the $WW$ amplitude (especially $\mathcal{M}_1$), reproducing the Standard Model result with the dependence on the weak angle. This would easily convince the reader about the usefulness of the GoldstoneEquivalent formalism.
3. I would like the authors to stress the advantages of this formalism with respect to computing the decoupling limit of the theory (e.g. using the Stuckelberg trick). For example, it is not clear if the computation of $\mathcal{M}_0$ and $\mathcal{M}_1$ is simpler with this new formalism.
4. The authors should consider refining the discussion on page 17 about the equivalence of using Eq.2.47 for generic scattering amplitudes. Although the diagrammatic relation (Fig.3) is widely explained, it may help to add a few relevant equations to clarify the discussion.
Anonymous Report 1 on 2020214 (Invited Report)
 Cite as: Anonymous, Report on arXiv:scipost_202001_00045v1, delivered 20200214, doi: 10.21468/SciPost.Report.1511
Strengths
1 The manuscript is wellwritten and the presentation is organized in a pedagogic way (from toy model to general gauge theory)
2 The authors provide all necessary ingredients to directly apply their formalism in computations of SM processes
Report
In the present work the authors develop a Lorentz covariant formalism in which longitudinal polarization vectors do not grow with energy, such that energy powercounting is manifest at the level of individual Feynman diagrams. This is achieved by formalizing and extending the Goldstone Boson Equivalence theorem with the help of generalized SlavnovTaylor identities. The formalism is first introduced in the HiggsKibble model as a pedagogic example and then extended to general spontaneously broken gauge theories.
The second part of the manuscript is devoted to applications of this “Goldstone Equivalent” formalism, which rely on its manifest energy powercounting at the diagram level. The authors apply their formalism to identify and compute the leading diagrams in the high energy limit of treelevel longitudinal vector boson scattering and radiative corrections to the top quark decay. As a second applications the factorization at tree level of collinear emissions into universal splitting functions and a hard subprocess is shown.
The manuscript is wellstructured and clearly written. The "Goldstone Equivalent" formalism is interesting and useful, both for the simplification of explicit computations in the high energy limit and for more theoretical considerations, such as proving factorization without having to rely on axial, i.e. noncovariant, gauges. The applications in the second part of the manuscript also provide the necessary ingredients to directly apply the formalism to different computations in the SM.
For these reasons I recommend the manuscript for publication in its present form. Below I list a couple of optional changes that in my opinion would improve the quality of the manuscript even further.
Requested changes
1 On page 33 the authors describe the power counting rules for their GoldstoneEquivalent formalism in the text. However, as the manifest power counting at the Feynman diagram level is one of the main results, it would be worth to emphasize this result by collecting and presenting the power counting rules for the vertices in a graphical / diagrammatic form (similarly to Figure 5).
2 While reading the manuscript I found the following typos:
a) Eq. (2.17): the “general SlavnovTaylor identity” allows an additional gauge invariant operator O as in Eq. (2.6)
b) Page 10: “...subtracting the scalar polarization vector $\mathcal{K}_M$ TO…” > from
c) Page 16: “Giving for granted…” ,”Given this for granted…” > “Taking for granted…”, “Taken for granted…"
d) Eq. (3.9): M,N should be contracted
e) Eq. (3.21): $f_{a \dot{I}}$ > $f_{b \dot{I}}$
f) Page 38: “… is much smaller THAT…” > than
g) Page 42: “...compatibly with what found in Ref…” > ...compatible with what was found in Ref...
h) Page 54: “bosonic vertices involving at leas A scalar particle.” > one
Author: Luca Vecchi on 20200321 [id 774]
(in reply to Report 1 on 20200214)
We thank the referee for carefully reading the manuscript and for his/her comments. Below is a summary of the changes made to the paper (see version2). We believe that thanks to these corrections our paper has gained in clarity.
1) We agree with the referee that a table with the energy powercounting associated to each vertex can improve the presentation. This is now done in Figure 5. We stress however that the Feynman rules (and the associated energy scalings) are exactly the same as the standard ones, since our formalism does not affect the Lagrangian itself. What the Goldstone Equivalent formalism does is: (1) it instructs us to follow the prescription summarized in Fig.1 and replace the polarization vector for external vector lines with ${\rm e}^\mu_0$, (2) it makes energy powercounting manifest, thus allowing us to identify unambiguously which diagrams contribute at each order in $m/E$.
2) The typos bh) have been corrected. We appreciate the effort the referee has put in catching them. Regarding a), before (2.17) we clarified that we refer to eq. (2.6) with $O=1$. In addition, we noticed that our convention for the connected amplitudes implicitly assumed that the Dirac delta function for momentum conservation was removed. We added a brief comment about this below (2.17).
Author: Luca Vecchi on 20200321 [id 775]
(in reply to Report 2 on 20200228)Below is a summary of the changes made to the paper (see version2) and our replies to the referee’s comments/suggestions.
1) The diagrams contributing to ${\cal M}_{0,1}$ are explicitly shown in Fig.6 (up to obvious crossings). The Feynman rules for the vertices (and the associated energy scalings) are exactly the same as the standard ones, since our formalism does not affect the Lagrangian itself. What the Goldstone Equivalent formalism does is: (1) it instructs us to follow the prescription summarized in Fig1 and replace the polarization vector for external vector lines with ${\rm e}^\mu_0$, (2) it makes energy powercounting manifest, thus allowing us to identify unambiguously which diagrams contribute at each order in $m/E$.
The powercounting argument by which the relevant diagrams are identified is now illustrated more explicitly by referring to the new figure 5. This information plus Fig.1 readily shows that the diagrams relevant to $W_0W_0$ scattering are those in Fig.6.
2) Adding further details on the evaluation of the diagrams (already reported in Fig.6) seems to us not appropriate. Computing them is a standard exercise, and we believe it would not add much to the paper. Notice that obtaining the dependence on the weak angle does not pose issues of any sort. The sentence "Ignoring for simplicity the dependence on the weak angle, ..", which might have confused the referee, simply means that we present for brevity the powercounting treating the cosine and sine of the Weinberg angle as order unit factors (see now caption of the new figure 5). One could also easily count the powers of cosines and sines, or, which is the same, the powers of g and g' coupling separately. The above confusing sentence has been modified to be more clear.
3) The advantages of the Goldstone Equivalent formalism in computing ${\cal M}_{0,1}$ has been explained in detail. Very briefly put, their computation is not just “simpler”: those amplitudes become identifiable and directly accessible (associated with Feynman diagrams) only within our formalism. More generally, the advantages of our formalism (massless integrals in loops, the possibility of selecting the relevant diagrams based on energy scaling and the hierarchy of couplings, the unique possibility of proving factorisation in a covariant formalism, ...) are widely explained in the paper and supported by several concrete examples and results.
We do not understand why the referee is mentioning the Stueckelberg trick: the Goldstones are already in the Lagrangian and need not to be reintroduced. Since he/she also mentioned the decoupling limit, he/she has probably in mind theories (unlike the SM) where the Higgs is heavy or absent. It is evident from the general treatment in section 3 that we could easily deal with such theories. In particular one can employ the Stueckelberg nonlinear representation for the Goldstone fields and all derivations of section 3 (which does not rely on a specific Lagrangian) would go through. We see no reason to discuss theories with heavy Higgs explicitly, since the SM Higgs is light. If instead he/she refers to the "gaugeless limit", this is readily obtained in our formalism (since coupling powercounting is manifest) by setting the gauge coupling to zero. This would of course not be legitimate in the calculation of WW scattering since the gauge contribution is sizeable for light Higgs. In summary, our formalism goes well beyond (and trivially incorporates) the approaches mentioned by the referee.
4) We debated at length on how to present the proof that all propagators in resonant diagrams can be replaced by $G^{\rm eq}$ given in Eq. (2.46) in a fully rigorous and still accessible way, and concluded that the best way was to use Fig. 3 recursively, as discussed in the paper. The figure is fully equivalent to an equation, however turning it into an equation would require introducing a heavy notation to denote the various objects, which on the other hand are much more intuitively represented as diagrams. In view of this, we do not think that adding equations would help. One might in principle add another figure showing the first iteration of the recursion, however this would be a huge figure that we judge unnecessary.