- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Two-loop contributions to the [Beta] - [|Beta] mixing...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Two-loop contributions to the [Beta] - [|Beta] mixing amplitude 1991
pdf
Page Metadata
Item Metadata
Title | Two-loop contributions to the [Beta] - [|Beta] mixing amplitude |
Creator |
Fortin, Simon |
Date Created | 2008-12-19 |
Date Issued | 2008-12-19 |
Date | 1991 |
Description | It is known that the Standard Model, being a spontaneously broken gauge theory, violates the decoupling theorem. In practice, this means that amplitudes for low-energy processes grow without limit as the mass of fermions or scalars is made large. As a result of the recent determination of a lower bound of 90 GeV on the mass of the top quark and the general expectation of a large mass for the Higgs boson, this effect could lead to large higher order corrections to the observables of the theory. In this spirit, we calculate the two-loop corrections to the [Beta] - [|Beta] mixing amplitude in the two limits of a very large top quark mass or a very large Higgs mass. Analytical expressions are obtained for the leading terms. The results are found to be much smaller than what one would naively expect. |
Extent | 5088916 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
File Format | application/pdf |
Language | Eng |
Collection |
Retrospective Theses and Dissertations, 1919-2007 |
Series | UBC Retrospective Theses Digitization Project |
Date Available | 2008-12-19 |
Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
DOI | 10.14288/1.0085642 |
Degree |
Doctor of Philosophy - PhD |
Program |
Physics |
Affiliation |
Science, Faculty of |
Degree Grantor | University of British Columbia |
Graduation Date | 1992-05 |
Campus |
UBCV |
Scholarly Level | Graduate |
URI | http://hdl.handle.net/2429/3198 |
Aggregated Source Repository | DSpace |
Digital Resource Original Record | https://open.library.ubc.ca/collections/831/items/1.0085642/source |
Download
- Media
- ubc_1992_spring_fortin_simon.pdf [ 4.85MB ]
- ubc_1992_spring_fortin_simon.pdf
- Metadata
- JSON: 1.0085642.json
- JSON-LD: 1.0085642+ld.json
- RDF/XML (Pretty): 1.0085642.xml
- RDF/JSON: 1.0085642+rdf.json
- Turtle: 1.0085642+rdf-turtle.txt
- N-Triples: 1.0085642+rdf-ntriples.txt
- Citation
- 1.0085642.ris
Full Text
T W O - L O O P C O N T R I B U T I O N S T O T H E B - B M I X I N G A M P L I T U D E By Simon Fortin B. Sc. (Physics) Université Laval A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF T H E REQUIREMENTS FOR T H E D E G R E E OF D O C T O R OF PHILOSOPHY in T H E FACULTY OF GRADUATE STUDIES PHYSICS We accept this thesis as conforming to the required standard T H E UNIVERSITY OF BRITISH COLUMBIA September 1991 © Simon Fortin, 1991 Table of Contents Abstract i i L i s t of Figures v i i Acknowledgement x 1 Introduct ion 1 1.1 The role of the top quark and the Higgs boson 2 1.1.1 The Standard Model 2 1.1.2 The Higgs boson 4 1.1.3 The top quark 7 1.2 The Bd-'Bd naixing 8 1.3 Outlook 9 2 F i e l d Theory and the Standard M o d e l 11 2.1 Field-theoretical preliminaries 11 2.1.1 The S'-matrix and the Green functions 12 2.1.2 Green functions and the generating functional 14 2.2 The Standard Model 18 2.2.1 Gauge theories 18 2.2.2 Helicity basis, parity violation and the fermion interactions . . . . 22 2.2.3 The Higgs boson and symmetry breaking 24 2.2.4 The Yukawa interactions 28 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department of ^Vnv \ ^5 The University of British Columbia Vancouver, Canada Date \ ^ ' ^ " ^ DE-6 (2/88) Abstrac t It is known that the Standard Model, being a spontaneously broken gauge theory, violates the decoupling theorem. In practice, this means that amplitudes for low-energy processes grow without limit as the mass of fermions or scalars is made large. As a result of the recent determination of a lower bound of 90 GeV on the mass of the top quark and the general expectation of a large mass for the Higgs boson, this effect could lead to large higher order corrections to the observables of the theory. In this spirit, we calculate the two-loop corrections to the Bd — Bd mixing amplitude in the two limits of a very large top quark mass or a very large Higgs mass. Analytical expressions are obtained for the leading terms. The results are found to be much smaller than what one would naively expect. 2.2.5 Gauge-fixing 30 2.3 A word about the strong interactions 34 2.4 Some power counting rules 35 3 Bd — Bd m i x i n g and radiative corrections 38 3.1 A quantum mechanical example 38 3.2 The Bd - Bd mixing 40 3.3 Mi2 and the box-diagrams 47 3.3.1 The box-diagrams 47 3.3.2 The strong interaction corrections 50 3.4 Status of two-loop calculations 52 4 Renormal i zat ion 55 4.1 Introduction 55 4.2 Dimensional regularization 57 4.2.1 Field and coupling dimension 58 4.2.2 Integration in n-dimension 58 4.2.3 Metric and Dirac matrices 60 4.3 Counterterm Lagrangian and renormalization conditions in the on-shell scheme 62 4.3.1 Propagators and the on-shell conditions 62 4.3.2 The other parameters 68 4.3.3 The tadpoles, gauge-fixing and the counterterm Lagrangian . . . . 69 4.4 Numerical values of the parameters 73 5 The two-loop calculations 75 5.1 The approximations 75 5.2 The two-loop diagrams 76 5.3 Calculation of the counterterms 89 5.4 The di-penguins 94 5.5 The box diagrams 98 5.6 The results 99 6 Discussion and conclusion. 103 Bib l iography 106 Appendices 108 A Notat ions and conventions 108 A . l Metric 108 A.2 Dirac matrices 108 A . 3 The PauH matrices 110 Appendices 111 B Feynman Rules 111 B. l Vertices involving fermions I l l B.2 Vertices involving the gauge-bosons 113 B.3 Higgs vertices 116 B.4 Propagators 117 Appendices 118 C Integration in n-dimensions 118 Appendices 120 D Renormal izat ion conditions and counterterms. 120 D . l Tadpole 120 D.2 Two-point functions (self-energies) 120 D.3 The three-point functions 122 Appendices 125 E Renormal i zat ion constants and counterterms. 125 Appendices 131 F Calcu lat ion of two-loop box diagrams 131 Appendices 140 G The box diagrams at two-loops 140 Lis t of Figures 1.1 Interaction of a gauge boson (V) and two fermions (fx and 6 1.2 Example of flavor-changing neutral-current 7 1.3 Bd — Bd mixing. The b and d quarks to the left of the figure are held together by the strong interactions (not shown) and form a Bd meson. . . 9 2.4 The Higgs potential for > Q 25 2.5 The gluon-quark-antiquark connected Green function.The blob represent all possible insertions of quarks and gluon lines 35 2.6 A 1-loop illustration of power counting: the top-quark contribution to the self-energy of the Z boson 36 3.7 Bd meson decay in the spectator approximation. X'^ is usually the D'^ meson 45 3.8 Production and decay of a — Bd pair (without mixing). X and Y are charged mesons (usually D"^) 46 3.9 Production and decay of a, Bd — Bd pair. The blob on the Bd line represents the mixing transition Bd —>• Bd. X and Y are as above 46 3.10 Lowest order contributions to M12. The final state is at the top of the diagram and the initial state at the bottom 47 3.11 The s-channel diagrams 48 4.12 Self-energy of a boson ç!> of momentum k and mass M. The bosons in the loop have mass M i and M2 55 4.13 Expansion of propagators 62 4.14 Corrections to external legs. The external legs are a, 6, c, and d. This graph is identically zero if particle X is on-shell, no matter what the particles in the graph are 67 4.15 The electron-photon 3-point function 68 4.16 A tadpole graph 70 5.17 The one-loop diagrams 77 5.18 The s-channel diagrams at one-loop 77 5.19 Type I diagrams 79 5.20 Type II diagrams involving the Higgs 80 5.21 Type II diagrams involving the x 81 5.22 Type III diagrams 81 5.23 Type IV diagrams 81 5.24 Type V graphs: vertex corrections 82 5.25 The tbW vertex 83 5.26 The td(l> vertex 84 5.27 Vertex counterterms 85 5.28 Propagator corrections 86 5.29 Top-quark self-energy 86 5.30 self-energy 87 5.31 <j> self-energy 87 5.32 W-(f> transition two-point function 88 5.33 Type VII diagrams: dipenguins 88 5.34 The Z-photon mixing self-energy 90 5.35 The e+e'-photon vertex 90 vm 5.36 Top-quark contribution to the e+e~-photon vertex function 91 5.37 The tadpole graphs 91 5.38 The W self-energy 92 5.39 The Z self-energy 92 5.40 (j) self-energy 93 5.41 Self-energy of the top quark 93 5.42 Self-energy of the b-quark 93 5.43 The di-penguin diagrams 94 5.44 The flavor-changing three-point function Zbd 95 5.45 Contributions to the Zbd vertex 95 5.46 A penguin diagram involving the Higgs 97 5.47 <j) self-energy correction 100 5.48 Diagram D5. This diagram is the only one to have a log^ MH dependence. 101 6.49 The Z/'ds three-point function 105 Acknowledgement I would like to thank Prof. D. Beder for suggesting the problena that became the subject of this thesis. I would also like to thank my supervisor John Ng for his constant help and his great patience, my collaborators and fellow students Gilles Couture, Q.C. Geng and Dan Peters for their stimulating conversations, and especially Pankaj Agrawal whose help throughout this work was invaluable. Finally, a big hug goes to those who made my years at U B C very pleasant ones: Kodi M^'Phee, Susan Kauffmann, Craig Morgan and the Habs of '86, Sergei Prokofiev, Karen Heiderich, Arvo Part, Duncan Rogers, David Fayegh and others. Cette thèse est dédiée à Milo. Chapter 1 Introduct ion The Standard Model of particle physics, which is extremly successful in accounting for all elementary interactions up to about 100 GeV, predicts the existence of two as yet unseen particles. These particles, the top quark and the Higgs boson, have thus far eluded our most energetic searches. Their discovery would represent a spectacular confirmation of the model and would undoubtedly shed light on the mechanism responsible for mass- generation in nature. The top quark and the Higgs are, however, extremly difficult to produce and identify directly. To produce a particle, we must create a collision with at least as much energy as the mass of the particle. This is a challenge in the case of the Higgs and the top since they are very heavy (the present Hmits are > 90 GeV, MH > 54 GeV) . Once produced, these particles can be difficult to identify because high-energy collisions tend to produce a lot of "debris ", especially in the case of hadron colliders. These circumstances make it worthwhile to look for indirect ways of detecting and measuring the properties of the top and the Higgs. In this approach, low-energy ob- servables are measured and their values are compared with a calculation which includes quantum corrections. The corrections will in general depend on all of the parameters of the Standard Model including the top quark mass and the Higgs mass. Since the other parameters of the model are quite precisely known, this allows us, in principle, to extract the value of these masses from the data. Of course, or this to be at all feasible, the uncertainty on the value of the observables must be smaller than the size of the corrections. A peculiar feature of the Standard Model makes this task easier: the "weak" i n - teractions of the top quark and the Higgs are not at all weak. These interactions are mass-dependent and, for suitable values of and MH, can in fact be stronger than the "strong" interactions. The corrections due to the top quark and the Higgs are therefore expected to be quite large and this is indeed what is found for the lowest order correction. But this immediately raises a question: since the first-order correction is large, shouldn't we consider the contributions of higher-order corrections as well? In this thesis, we address this question by calculating the leading parts of the second order corrections to a specific observable, the Bd — Bd mixing amplitude. This observable is particularly sensitive to the existence of the top quark since it would be essentially zero in its absence. The fact that it has been measured [1] and is quite large represents possibly the strongest evidence for the existence of the top. Before explaining what the Bd — Bd mixing amplitude is, I would like to back-track a bit and discuss the role of the Higgs boson and the top quark in the Standard Model. 1.1 The role of the top quark and the Higgs boson 1.1.1 The Standard M o d e l The forces of nature are usually considered to be of 4 different kinds: 1. The strong force, which is responsible, among other things, for the existence and stability of nucléons, mesons and nuclei. 2. The weak force, involved in the slow decay of nuclei. 3. The electromagnetic force which holds atoms and molecules together. 4. The familiar gravitational force, to which all matter is subjected. The Standard Model of particle physics deals with the first three of those forces in a single framework, that of gauge-theories. In this section, I will introduce the participants of the Standard Model, namely the elementary particles, as well as some of the necessary terminology connected with them. I will give only a short overview here; more details can be found in Chapter 2. Elementary particles can be broadly divided into two categories according to the quantized value of their angular momentum or spin: with angular momentum measured in units of ^ = h/2ir, h being Planck's constant, the spin of fermions is a half-integer (1/2, 3/2,.. . ) while that of bosons is an integer or zero. A l l fermions present in the Standard Model have spin 1/2. They come in two varieties: the quarks, which participate in the strong interactions, and the leptons, which do not. As a result of their strong interactions, quarks form bound states (or atoms). (The Ba particle is one such bound state, consisting, as we shall see later, of a bottom and an anti-down quark.) The forces that bind these atoms together are so strong that one would need an infinite amount of energy to separate their constituent quarks. Quarks are therefore permanently confined inside bound states and can never be found isolated. Quarks and leptons interact with one another through the exchange of bosons. There are two kinds of bosons: the gauge-bosons, of spin 1, and the lonely Higgs boson, the only paxticle in the theory with spin zero. There are, in all, 12 gauge-bosons: the W"^ and the Z, which mediate the weak interactions, the familiar photon (̂ 4), responsible for the electromagnetic interactions as well as 8 gluons (G) which are at the origin of the strong interactions. The electro-weak bosons {A, Z and W) interact with one another and also with the fermions. There are 48 fermions generally grouped into three generations: the electron (e), the electron-neutrino [ue] and the up (it) and down (d) quarks in the first, the muon (/i), its associated neutrino (v^) and the charm (c) and strange (s) quarks in the second and the tau (r), its neutrino (vr) and the bottom (6) and top [t) quarks in the third. Also, for every one of these particles there is an anti-particle. The different varieties of quarks (i.e. u, d, ...) are called flavors. There are three quarks of each flavor. Quarks of the same flavor are identical in every respect but one, called color, which is the degree of freedom of the strong interactions. The fermions in each generation are conveniently grouped in doublets which reflect the symmetries of the theory: / \ u The two members of a doublet always have a different electric charge: the neutrinos,as their name indicate, are neutral, the electron, muon and tau have charge —1, the upper components of the quark doublets {u,c,t) have charge 2/3 and the lower components {d,s,b) have charge —1/3. Here, all the charges are given in units of the proton charge. We can now turn to a discussion of the role of the Higgs in the model. 1.1.2 The Higgs boson The Higgs boson plays a very special role in the Standard Model. In its absence, all particles would be massless and their interactions would be highly symmetrical. The Higgs is introduced in order to destroy this symmetry. The way in which this is done will be described in Chapter 2. We will only mention here that this mass generation mechanism is related to the interactions of the particles with the Higgs boson: if a particle doesn't interact with the Higgs, it has to be massless. Note that this accounts for the fact that the neutrinos, the gluons and the photon remain massless. This mechanism of symmetry breaking has several important consequences. One of these has to do with the strength of the Higgs-top interactions. Since the particle masses are generated through interactions with the Higgs, the masses will be proportional to the strength of these interactions. Turning the argument around, we see that the interaction strength between the Higgs and a given particle is proportional to the mass of the particle. More specifically, if we characterize the strength of the electromagnetic interactions by a » 1/137, then the strength Â ^ of the interaction of the Higgs with particle X is approximately Ml A . « a ^ (1.1) where Mw is the mass of the W"^ boson(w 80 GeV) and Mx is the mass of X. In particular, ordinary matter couples very weakly to the Higgs (a factor of at least 10^ smaller than electromagnetism). However, the W and Z bosons couple with electromag- netic strength. More interestingly, the top-Higgs interactions could be about 10 times stronger than electromagnetism (for mj w 3Mw)-These interactions could then be the strongest interactions around and could perhaps be strong enough to invalidate the use of perturbation theory. The situation is even more drastic in the case of the Higgs self interactions. Formula (1.1) is not valid in this case. Instead, a quartic dependence on the mass of the Higgs is found. The main consequence of all this is that the corrections to observables due to Higgs-Higgs and Higgs-top interactions are probably going to be very large and must therefore be taken into account. Another interesting consequence of symmetry breaking via the Higgs is the existence of flavor-changing neutral currents (FCNC). In the absence of the Higgs, all fermions are massless. Any two fermions of the same charge are then physically undistinguishable. Now, in general, the gauge bosons interact with a pair of fermions as in fig. 1.1 . Given the undistinguishability of, say, u and c, an interaction where / I is an up quark and / 2 Figure 1.1: Interaction of a gauge boson {V) and two fermions ( / i and /2) a charm quark would appear physically meaningless. In fact, it is possible in this case to redefine what is meant by the "up quark" and the "charm quark" so that gauge bosons can only interact with fermions which axe part of the same doublet. In particular, this implies that the only interactions between quarks of a different flavors are mediated by the charged W bosons, a situation referred to as the absence of flavor-changing neutral- currents. This is indeed what happens with leptons: here the neutrinos remain massless even in the presence of the Higgs since they do not interact with it. This leads to lepton-number conservation. However, all quarks acquire a different mass through their interactions with the Higgs. As a result, F C N C occur in the Standard Model albeit in a rather indirect way. The only fundamental interactions (of the type shown in fig. 1.1) between quarks in different doublets are mediated by the charged W boson. This, by itself, is not a F C N C . However, by using 2 such interactions as in fig. 1.2, we can generate flavor-changing neutral-currents. The existence of' F C N C is crucial for the mixing of Bd and Bd since this process involves two changes of flavor, i.e. b t s. In view of the central role it plays in the Standard Model, it may come as a surprise that the Higgs is not, strictly speaking, necessary in the theory. There are many ways in which we can induce symmetry breaking in the model. For instance, one can postulate the existence of "techniquarks" interacting through a new force ("technicolor"). The Figure 1.2: Example of flavor-changing neutral-current role of the Higgs is then played, loosely speaking, by a bound state of techniquark- anti-techniquark. Another approach has the top quark itself as the cause of symmetry breaking, again thanks to one of its bound states. At any rate, all of the alternatives invented to date contain an object similar to a Higgs, namely a spinless, neutral particle. The "standard" Higgs mechanism of inducing symmetry breaking can then be regarded either as a fundamental, irreducible part of the theory or as a limiting case of a more general dynamics. 1.1.3 T h e top quark As can be seen from the doublet structure of the theory, the top quark occupies a rather undistinguished position in the Standard Model. However, its existence is necessary, both from a theoretical and an experimental point of view. There is a quite convincing experimental proof of the existence of the top, although it is somewhat indirect. It comes from a study of the bottom quark, the top quark's partner in the doublet. The interactions of the b quark (or any quark for that matter) with the gauge-bosons are dictated by the symmetry properties of the qujirk. In practice, this means that the structure of the b quark's interactions is influenced by the number of partners it has. In the Standard Model, it has only one partner: the top quark. It is possible to imagine theories in which the b quark has an arbitrary number of partners (including zero). By comparing the predictions of these theories with the measured properties of the b such as its decay rate and its neutral current couplings it has been determined that the most likely number of partners of the b quark is one, consistent with the prediction of the Standard Model. The top quark's existence is also needed for the self-consistency of the theory. In general, calculations in quantum field theories involve infinite quantities. There exists a class of theories, the renormalizable theories, for which the infinities cancel, leaving finite results for the physical observables. The Standard Model is one such theory. At the same time, quantum field theories are susceptible of anomalies. These arise when a symmetry present in the classical theory cannot be self-consistently realised in its quantum version. Anomalies usually generate extra infinities which can cancel only if certain constraints are satisfied. Such is the case in the Standard Model. The corresponding constraint is that the sum of the charges of all the fermions in any generation should be zero. This can be the case only if the top quark exists and if there are three colors of quarks. 1.2 The Bd-Bd m i x i n g We must now answer the question: what is Bd-Bd mixing? Of all the possible results of collisions that one can imagine in particle physics, only some axe actually realised. Those that are realised are found to satisfy certain conservation laws. The best known of these are undoubtedly the conservation of energy, the conservation of total linear and angular momentum and the conservation of electric charge. On the other hand, whenever a reaction is not expressly forbidden by the conservation laws, we can safely assume that it will happen, no matter how unlikely it may seem in the first place. Such is the case with Bd-Bd mixing 1.3. Here, a particle becomes its own anti-particle in the course b W d W* Figure 1.3: Bd — Bd mixing. The b and d quarks to the left of the figure are held together by the strong interactions (not shown) and form a Bd meson. of its evolution or, more precisely, it oscillates between particle and anti-particle states. None of the above mentioned conservation laws axe violated since Bd is a neutral, spinless particle and the particle and the anti-particle have the same mass.These oscillations have been observed not only for Bd but also for kaons (a bound state of a strange and an anti- down quarks). In the case of kaons, the oscillations have been observed over a length of a few meters! It is not enough that the phenomenon can occur for it to be observable though. There must be some means of distinguishing between the particle and the anti-particle. If the particle is identical in every respect to its anti-particle then the mixing makes the particle turn into itself, hardly a spectacular event. In the case of Bd, flavor is what allows us to tell Bd and Bd apart. Thanks to the Higgs, flavor is not conserved in the Standard Model, which makes the transition possible. On the other hand, particles with different flavors have very different decay properties, which makes it possible to identify them. This will be discussed in depth in Chapter 4. 1.3 Out look We will now briefly discuss what is to come in the remainder of this thesis. Chapter 2 contains a description of the Standard Model and introduces some field theoretical machinery that will be needed in the discussion of renormalization. Also, a few power counting rules pertaining to the behavior of Feynman integrals when one of the particles has a very large mass will be presented. In Chapter 3, the relationship between the mixing amplitude and the observables is discussed. A full calculation of the one-loop amplitude is also shown. We will also present a brief survey of previous two-loop calculations in electroweak theory. This Chapter contains most of the physics of this work. Chapter 4 describes the on-shell renormalization scheme used in our calculations. The discussion is kept quite general with the Appendices adapting the results for the case under study. Finally, Chapter 5 presents the 2-loop calculation of the leading contributions. For completeness, the entire set of diagrams is shown. Most of the technical material is left to the Appendices. C h a p t e r 2 F i e l d Theory and the Standard M o d e l In this chapter, we will establish the necessary machinery for the calculation of ob- servables in the Standard Model. We will first show how to reduce the calculation of observables to that of the connected Green functions of the theory. We will then relate these to a knowledge of the Lagrangian via the path-integral formalism. The Lagrangian of the Standard Model will then be derived with special attention being paid to the sym- metry breaking mechanism of the theory. This material is covered in several textbooks and will be presented here only for ease of reference. We will therefore be brief and omit most of the proofs. Finally, we will close this chapter with an exposition of an important theorem pertaining to the behavior of Feynman graphs when one particle in the theory has a very large mass. 2.1 Fie ld - theoret i ca l prel iminaries The field-theoretical object of interest to particle physicists is the scattering matrix (5- matrix). The matrix element Sf, is related to the probabiUty of a transition between the initial state i and the final state / . More specifically, if we write 5 = 1-1- iT, the probability per unit volume per unit time P/,- of a transition from i to / is where Pf and P,- are the momentum of the final and initial state respectively and Rfi is defined by Tji = {27r)H\Pf-Pi)Rji. In the remainder of this section, we will show how to calculate the 5-matrix given a knowledge of the Lagrangian of the theory. A more detailed treatment of this material can be found in several textbooks, an excellent one being Itzykson and Zuber [2]. A careful discussion can also be found in Aoki et al. [4]. 2.1.1 T h e 5 -matr ix and the Green functions In this and the next section, we will often use a theory consisting of a single self-interacting scalar field <}> of mass m. This will lead to more compact expressions since there is no spin structure to worry about. The appropriate changes when fermions and vector (spin-1) particles are considered will be indicated. In general, the initial and final states are characterized by the number (and type) of particles present as well as some of their properties (linear momentum, energy, angular momentum .. . ) . By initial and final, we mean here long before {t = —oo) and long after {t = -f-oo) the interactions occur. For theories of a single scalar field, the states are completely characterized by the number of particles present and their momenta. The S'-matrix element connecting a final state of n particles of momenta pi (i = 1,.. .,n) to an initial state of m particles of momenta qj {j = 1,.. .,m) is given by: (Pl,...,Pnl5|îi,...,?„») = ( i Z - ^ / ^ ^ - fd''y,...d''Xmexp(iJ2Pk-yk-if2'ir-^r] X V fc=l r = l / (•,, + m )̂ . . . (D,^ + m')Gr,+rn{yu • • • , ̂ m). (2.2) The notations and conventions are spelled out in Appendix A . Note that formula 2.2 applies only for transitions where all the particles are affected, that is none of the particles are "spectators" of the collision. The functions G„ ( z i , . . . , x„) are the connected Green functions of the theory. We will have more to say about them in the next section. The ̂ -matrix element is then the Fourier transform of a function obtained from the Green functions by repeated application of the operator Z~^/^(D + m^) (once for each external particle). Here, Z is a calculable number between 0 and 1. A free (non-interacting) c/a.s.stca/scalar field (j>c\ satisfies a wave equation involving this same operator: This ensures that the momentum and the mass of ^ c i satisfy the usual mass-shell re- lation = m^. (The correspondence between the operators appearing in 2.2 and the wave function operator for the classical field will form the basis of the generalization to fermionic external states.) The factors (D^j +m^) in equation 2.2 become —p] -|-m^ after a Fourier transform. If the external states satisfy the mass-shell relation (as they should, for physical particles), it appears that the 5-matrix vanishes identically! Fortunately, this is not the case because the Green functions have poles that precisely cancel the — - f - factors. This, as well as the meaning of the factor Z, will be discussed in Chapter 4. If fermions are present as external particles, we must replace the "wave-function" operator iZ~^/^(n -|- m )̂ by the corresponding operator for fermions. There are four cases: a fermion in the initial state : iZ2^^^{i^ + m)u{k, e) an anti-fermion in the initial state : iZ2^^^{i^ — m)v{k,e) a fermion in the final state : —iZ2^^^{i^ — m)û{k, e) an anti-fermion in the final state : —zZ7^^^(z^ + m)v{k, e) where k and e are the momentum and the polarisation of the fermion. The spinors u and V satisfy the equations: {^-m)u{k,e) = 0 Hk + m)v{k,e) = 0 2.1.2 Green functions and the generating functional We are left with the task of calculating the connected Green functions. These can be defined via a path integral: G„ (x i , . . . , i „ ) = i j[d(j>] < (̂i, ) . . . (^(x„)exp {iS[(f>]) (2.3) where we assumed again a theory with only one type of scalar particles. The normaliza- tion factor N is given by: N = l[d(j>]exp{iS[cf>]) The symbol [d<l>] stands for the measure of the path integral. Roughly speaking, [d(f) is the product d(f>{xi) d(p{x2)... d^{xk)... extended over all space-time points x,. Since there is an uncountable infinity of such points, it is understandably quite tricky to define [d(l>] precisely. We wiU not attempt this here but simply note that this measure has properties that are similar to finite-dimensional integrals (e.g. translation invariance [d<f>] = [d{<l> + /)] for / independent of ^, etc.). In what follows, we will only use those properties and never calculate a path integral explicitly. The functional S[4>] that appears in 2.3 is the action of the theory. It is obtained by integrating the Lagrangian density C{(f),d'^4>): S[cl>] = I d''xC{<l>,d^4>) The Lagrangian density (or Lagrangian for short) is in general a function of the field ^, its derivatives and possibly of the space-time point x. In order to make progress in the calculation of Green functions, we must add a source term to the action, i.e. we replace 5'[<̂ ] by S[(f)] = S[<i>] + ^source where ^source = J d'^X j{x)(f>{x). Here, j{x) is called a source. This will not change anything as long as we take the source to zero at the end of the calculation. But now, using the functional differentiation rule 8 8j{x) j{y) = 6\x - y) we find: — I- Sjix) Using this, equation 2.3 reduces to J=0 (2.4) (2.5) (2.6) where (2.7) Z[j] = J[d<l>]exp (^S[(f>] + Id'xj{x)(l>{x)^ is the generating functional These steps are famiUar from statistical mechanics. To calculate the generating functional, we must specify the Lagrangian. To keep the writing simple, we will consider the Lagrangian ^ = 2 We now write C as the sum of a free part CQ which contains only terms quadratic in (j) and £ / , the interaction Lagrangian, which is everything else in C. Note that £ / may contain some quadratic terms, a possibiUty that will be exploited in Chapter 4. For now, however, we will take CQ = \[{d^(f)){d''(l>) - m'^<}>^] and £ / = -^(f)^. We now substitute C in 2.7 and use 2.5 to find (2.8) where Zo[j] = fmexp{ijd'x (2.9) The exponential of differential operators in 2.8 is defined by its power series AH that remains to do is to calculate Zo{j). To this end, we focus on the argument of the exponentizd in 2.9. Using {d^<f>){d^(f>) = dfi{<f)d^(f>) — <f)0^ and partial integration, we can write it as: I d'x !^-^<f>{x)ia + m')^ix) + j{x)<l>{x) where we have assumed that the fields go to zero sufficiently fast at infinity for the surface term to vanish. We now seek a function G{x,y) such that: {D^+m')G{x,y) = S\x-y) (2.10) After a Fourier transformation, one finds f d'p e'>-(-'̂ ) (2.11) We are now in position to make the change of variable (f>{x) —> ̂ (a;) -|- ̂ d^y G[x,y)j{y) in 2.9. Note that the measure [dcf)] is invariant under this translation since / d^y G(x, y)j{y) is independent of (f>. We get: Zo[j] = exp {^-jd'xd'yj{x)G{x,y)j{y)) J[d<f,] exp Jd:'xCo{<f>)} The path integral is now independent of j(a;) and is seen to cancel in the expression for the Green functions 2.6. We can therefore drop it and obtain: ZQ[J] = exp QId''xd''yj(x)G{x,y)Jiy)^ (2.12) with G{x,y) given by 2.11. It was in order to effect this separation that we kept only the terms quadratic in <̂ in £o- A l l we have to do now is to use 2.6, 2.8 and 2.12, perform the indicated differentiations and collect those terms that survive in the limit j = 0. This can be rather tedious. The results of this exercise are usually summarized by means of Feynman rules. (The Feynman rules for the Standard Model are given in Appendix B.) Some important changes must be made to generalize this formaUsm to fermions. First of all , there are two independent sources (TJ and fj) that couple to the fermion. The source term reads: ^source = J d'^X ^fj{x)lp{x) + Ï}{X)T}{X)] where the fermion is denoted by t/;. Fermions carry a Dirac index and the notation fj{x)i(}{x) really stands for fja{x)-il)"{x). The analog of 2.4 is: s^f'^y^ = ^^^^^^ = ^'^'^^'^^ - A n important point here is that any two fermionic quantities (wether they are sources, difFerenticJ operators or fermions proper) anti-commute with one another. For instance, we have: ^ r{y)Vc{y) = -i>\y)8\x - y) S7]0{x) As a result, the analog of 2.5 is bT]{x) rce Srjix) and the corresponding changes must be made in 2.6 and 2.8. Finally, the free part of the fermionic Lagrangian is V'(x)(i^ — m)ip{x) which translates into G . (x . » ) = -/f5j J^ip g.p(x-y) ( 2 ^ ^-m The case of vector bosons wiU be considered when we construct the Lagrangian of the Standard Model, a task to which we now turn. 2.2 The Standard Model The Standard Model of electroweak interactions is, in the jargon of field-theory, a spon- taneously broken SU2 ® Ui gauge theory. It shares a crucial property with other gauge theories: it is renormalizable. This essentially means that we can do calculations in gauge theories without ever encountering a logical inconsistency. This is not true of all field theories. We will not attempt to justify the choice of SU2 ® Ui as the symmetry of the model. It is sufficient to remark that its consequences are amply verified experimentally. This section is based largely on the excellent text of Cheng and L i [3]. 2.2.1 Gauge theories Gauge theories can be thought of as an attempt to generahze the known symmetries of the free field theories. Recall that the free part of a fermionic Lagrangian is: CF = î>{x){i^-rn)i){x) (2.13) for a fermion ij) of mass m. This Lagrangian is invariant under the transformation •0(aj) —> e~'^ip{x) (which implies V'(a;) —> ^(x)e'*). We can now try and generalize 2.13 so that it becomes invariant under a local version of the symmetry: Under this transformation, the derivative in 2.13 generates an extra term. u^£p+^(x)mipix) However, if we generalize this derivative to = + ieB'^ and insist that the field transform as B^ —> B''{l/e)d'^d{x), we find that the Lagrangian CQED = î'{ip-rn)tl) (2.14) is invariant. This is the Lagrangian of quantum electrodynamics (QED). The arbitrary parameter "e" that enter these expressions is the electric charge of V»- It is not fixed by the theory and could take different values for different particles. (The fact that the elementary particles found so far have charge 0, ±1/3, ±2/3 , ±1 is unexplained.) The transformations i^{x) e-'^WV(a:) (2.15) B''{x) -> B>'{x) + {lle)d^6{x) (2.16) form a U\ gauge transformation. To give a physical meaning to the field B^, we must find a free Lagrangian for it that is invariant under 2.16. The Lagrangian CB = -\F^,uF^" (2.17) where F^^ = ôpB^ - d^B^ (2.18) does the job. Notice that this Lagrangian contains no self-interactions of the field B*^, i.e. CB is purely quadratic in B**. This is a pecuhar feature of the U\ symmetry. We can generalize this further by considering two degenerate fermions •^i and •02 of common mass m. The free Lagrangian is: t^^F = V'i(*^ - + •02(i^ - m)V'2 which can be regrouped as C^P = ^{i^ - m)i> (2.19) with In this form, it is apparent that the Lagrangian is invariant under ij} —> Utjj where U is a 2 x 2 unitary matrix. Actually, we can restrict ourselves to matrices U of determinant 1 {SU2 matrices) since any unitary matrix can be written as the product of a SU2 matrix and a Ui phase which we have already considered. The SU2 matrices can be parametrized as where r = {TI,T2,T3) are the Pauli matrices (discussed in Appendix A) . Again, we at- tempt to generalize this by taking 0 = {91,62,63) to be spacetime dependent. This can be done at the expense of changing the derivative in 2.19 r • W" z The fields W = (Wi, W2, W3) obey the rather complex transformation law - J - ^ ^(^) [ - Y ~ ) ^"'(^^ ~ ~9 (^'^^^^^ ^"'^^^ ^^-^^^ Finally, the Lagrangian for the fields W that is invariant under these transformations is: ^w = -\F'^^Fr (2.21) where = d,Wt - d.W;, + ge'^'W^W!: and e'-'* is the totally antisymmetric Levi-Civita tensor (ê ^̂ = -|-1). This Lagrangian does contain interaction terms between the gauge bosons. These interactions depend on the coupling g. Therefore, every doublet interacting with the W will do so with the same coupling g. As in Q E D , the strength of this coupling is arbitrary. The combined set of transformations rP ^ U{9)JI; (2.22) —2 ' m[—^)U-Hd)--id-U{e))U-'{9) (2.23) constitute a SU2 transformation. This transformation appUes only to doublets. Fermions can also tranform as singlets under SU2. Singlets do not interact at all with the W fields. There also exist SU2 triplets, etc... but these higher representations are not utiUsed in the Standard Model nor are they necessary. The Standard Model has a SU2 (8) Ui gauge symmetry which is a combination of the two symmetries discussed above. The gauge self-interactions can be used without modifications in the model: £ G A U G E = - \ F , , F ' " ' - \F'^,Fr (2.24) with F^u — dfiB^ — di,Bn and Note that this Lagrangian does not contain any mass terms i.e. terms of the form MgB^Bft or My^VV^W*^. These terms are forbidden by the gauge symmetry. Therefore, the fields B** and W*** are massless at this stage. We will now apply the formaUsm of this section to the interactions of fermions and gauge bosons in the Standard Model. 2.2.2 Helicity basis, parity violation and the fermion interactions The helicity a-p of a fermion is defined as the component of its spin along the direction of its momentum: o- p In the limiting case that (Tp = ft/2, we say that the fermion is right-handed and, conversely, it is left-handed if a-p = —h/2. The parity transformation r —• —r changes the sign of the momentum but leaves or invariant since it is an angular momentum (~ r x p). Therefore, the left-handed and right-handed states are interchanged under a parity transformation. The corresponding entities in field theory are the right-handed and left-handed fields tpR and tl^L (see Appendix A of [21]) where tpn = Rijj, tpi, = Lij} and £ = (1 — 75)/2, R = {\ + 75)/2. (This correspondence holds only in the massless limit but we wiU see later that the fermions have to be massless.) Experimentally, the weak interactions are not invariant under parity. Therefore, the left-handed and right-handed fields must have dissimilar interactions. In the Standard Model, this is accomplished by taking the left- handed fields to transform as doublets under SU2 and the right-handed fields as singlets. Before we do this, we must estabhsh some notation. We define: e'„ = ( e ' , / , r ' ) n'a = ( « ' , c ' , 0 d', = {d',s\h') The reason behind the primes will become clear when we discuss symmetry breaking. Define further: laL = The fundamental fields are then qaL as well as e'g^, u'aR-, d'aR i-e. the left-handed fields are doublets and the right-handed ones singlet. Note in particular the absence of right-handed neutrinos. Note also that it is impossible to form a mass term (a term of the form m-ipLipR) which is invariant under SU2. Therefore, the fermions have to be massless. The Lagrangian will then be: -CFERMIONS = XI ï'J^Pj'^J j where the sum runs over I, q, e', p' and n'. The covariant derivative takes the general form: D1 = 8''- igTj • - i^YjB^ where Tj — TJI if V'j is a doublet and T j = 0 if V'j is a singlet. The hypercharge Y is related to the electric charge Q hy Q = T3 + Y/2 where Ts = 1/2 for the upper component of a doublet, —1/2 for the lower component and 0 for a singlet. Explicitly, y(gL) = l / 3 , F(u'«) = 4 / 3 , F(<i'K) = - 2 / 3 Y{IL) = - 1 , Y{e'R) = - 2 These values are not fixed in the model; they are chosen so as to reproduce the correct value of the electric charge of the various particles. This is considered a major flaw of the theory. Finally, g and g' are two arbitrary couplings. Explicitly, the fermionic Lagrangian reads: ^ F E R M I O N S = Llii^ + f 1- • l ^ ^ a L + ë'^f^ii^ - g'P)e'aR +'?a«(i^ - J^'^R- (2.25) 2.2.3 The Higgs boson and symmetry breaking So far, all the particles in the theory are massless, including the gauge bosons. In analogy with Q E D , we would then expect the presence of long range forces associated with these massless bosons. Since only the famiUar electromagnetic force is observed to be long range, it is necessary to generate masses for three of the four bosons in order for the theory to describe short range weak interactions. This can be done in an ingenious way with the Higgs mechanism. To this end, we introduce a complex scalar doublet $ (the Higgs doublet) of hyper- charge 1. Its interactions with the gauge bosons are then automatically fixed and we can write the Higgs Lagrangian: >CHIGGS = {D,^y{D''^) - F ( $ ) (2.26) where The Higgs potential V{^) contains the self-interactions of the Higgs. Its general form is dictated by gauge invariance and considerations of renormahzability: F ( $ ) =-/x='$t# + A($t$)2 (2.27) Note the pecuUar sign of the quadratic term. If fi^ is negative, this is an ordinary mass term. However, a positive p,'^ gives an imaginary mass, an unstable situation. In this case, the potential looks as in fig. 2.4. The minimum of the potential is then realized for a non-zero value of It is convenient to write ^ = <l>o + <f>' (2.28) Figure 2.3: The Higgs potential for / i ^ > 0. and choose <f>o so that ^' = 0 at the minimum of V. The vacuum expectation value (VEV) ^0 can always be chosen as ^ ^ 0 ^ V ) with V real. This is because the most general form / \ \ 2̂ / can always be brought into the previous form by a suitable SU2®U\ transformation. In terms of the parameters of the Higgs potential, (2.29) We can now substitute 2.28 in 2.27 and parametrize (j>' by ( 4>' \ {H + ix)l^/2 j The result is quite complex. Focus first on the mass terms. Writing: with we find: = cosOwW^ - sinewB^ (2.30) Au = sin 6wW^ + cos 6wBu tan^w = - (2.31) / : M A S S = ^W+W-'' + ^ Z^Z'' + v'XH' (2.32) 4 o cos^ ow There is therefore a charged W boson of mass Mw = gv/2, a neutral Z boson of mass Mz = gv 12cos Ow and a neutral Higgs boson of mass MH = \2Xv^. The last gauge boson is the photon, which remains massless. There are also three other scalars , the <f)^ and the x> known as the would-be Goldstone bosons. These "particles" are unphysical: they cannot appear in external states. Their role in the model is to provide the massive and Z bosons with a third polarization state (which they would not have as massless particles). It is now possible to express the parameters v, fi and A in terms of the masses of the W and Higgs bosons: V = 2Mw 9 g^Mn' ^ = Tlàt (2-33) 8 M , w " = 2 Note also the relation Mz = Mw/cos 0w. In terms of these, the Higgs Lagrangian reads: ,2 \ ^HiGGs = (d,rW<l>^) + M^WH) + i;{d^xWx) + M^W+W-^ + MlZ^ZJ^ + (^e'A.A'' + ^(c2 - s')A^Z^ + ^{c' - s'fZ^Z''^ <f>^r + + .9 cl>^W-^{MwA^ + '-HA^ - i^xA^ - sMzZ, - -HZ^ + i-xZ^) + h.c. 2c iMwW-^d^<l>+ + i | I (2sA^ + ^^—^Z^^ <l>- +iH- i x ) ^ " " J + t.c. MzZ^d^X + i\{w;^- - ^ ( F - ix)Z^] {d'^H + id'^x) + h.c. (2.34) Here, h.c. stands for "hermitian conjugate", e = g sin 9w and the abbreviations c = cos 6w and a = sin 6w have been used. The potential V is given by: F ( $ ) = i M ^ H ^ + | ^ ( F ^ + x ^ F + 2<i+< -̂̂ ) gMl r2 Note the presence of an dependence in the couplings. The Lagrangian 2.34 contains some problematic terms of the form W^^'d^<i)~. These terms are very difficult to interpret. Fortunately, they cancel against the corresponding pieces of the gauge-fixing Lagrangian which wiU be presented in section 2.2.5. The gauge Lagrangian 2.24 must also be written in terms of the physical fields A , Z and W^. This gives another lengthy expression. £ G A U G E = {d^W^''){d.W;) - {d>'W''){d^W:) + \ [{d>'A''){d.A,) - {d^A''){d^A,) A [i9'Z')id.Z^) - id^Z^){d,Z,)] - e' UA'^A^XW^^W;) - iA''W^){A''W:) -9 c {Z''z^){w+''w;) - {z^w^\z''w:^ - |-[(vr+̂ w7)(w +̂''w -̂) -{W^^W^){W-''W:'^ - \egc [(A'^ZJ(W^+''M/-) - {W^^Z;){W-"AJ) +xe [(W+^, - A^.^d^W-") - {W^^W-"){d^,A:^ -f h.c.} 'rigc\\^W;z, - W^Z^WW-") - {W^^W-''){d^Zjf^ + h.c.} (2.35) We have seen that the Higgs has given a mass to the W and Z bosons and kept the photon massless. In the next section, we will see how it can be used to generate masses for the fermions. 2.2.4 The Yukawa interactions The Higgs doublet has been introduced to generate the vector bosons masses.. However, there is no reason why it should not interact with the fermions in the model. A l l that is required is that the interaction terms obey the SU2 ® U\ gauge-symmetry and that they be renormaHzable. The last condition means that the couplings involved cannot have a dimension of (mass)"* where a; is a positive number. The gauge invariance is easily satisfied by coupling the Higgs doublet to a fermion doublet and a fermion singlet and demanding that the hypercharges sum to zero. It is convenient to introduce the conjugate of $ by Explicitly: / {v + H-ix)/V2\ This field has the same transformation properties under SU2 than $ but it has the opposite hypercharge, Y{^) = —1. The most general form of interactions between the Higgs and the fermions is: CY = &aL^e\n + fitkaL^utR + f^^qaL^d'.n + h.c. (2.36) This is called the Yukawa Lagrangian. The matrices / in Cy are 3 x 3 complex matrices of dimensionless coefficients. This gives a total of 54 arbitrary parameters. However, not all of these are meaningful. We will see that only 13 of them are free parameters. We now introduce the exphcit form of the doublets /, q, $ and $ in 2.36 and simul- taneously rotate the fermion fields. u\n = S^^\R u'u = Ti^^u,L (2.37) d'm^s'^d^R d\L = Ti;^d,L The S and T matrices are unitary. They are chosen to satisfy ^T^tAl^S^^^ = m^:\d (2.38) with similar equations for u and d. It is always possible to find S and T that sat- isfy 2.38 [3]. The parameters m are the masses of the fermions. We see then directly that the masses are proportionnai to the interaction strength / between the Higgs and the fermions. With all these transformations, the Yukawa Lagrangian becomes: ~2M^ {^ê„mi«=)e„ + Hû.m^^^Ua + Hd^m^^Ua} 'Véî^ {î am(̂ )/îe„<^+ - û„(m(")l - mi'^R)df,Vak4>^ + h.c.} (2.39) where the relations Mw = 51̂ /2, ipR = Rip, etc. have been used. Also, the Kobayashi- Maskawa (KM) matrix K5 has been defined by ^6 = S^^^S^^K Therefore, V is unitary as it is a product of two unitary matrices. There are then 9 mass parameters as well as the 3 x 3 unitary matrix Vab as free parameters in £y . A general 3 x 3 unitary matrix can be parametrized by 9 real num- bers. However, Vab appears only in the charged interactions of quarks (interactions between quarks of different charge). We are always free to redefine the fields by a phase: r(j —* e'^V- When we do this, the combination ûadb that enters the expression of the charged interactions changes by a phase e'^"''. There are 5 independent such phases and they can be used to remove 5 parameters from Vab- Therefore, Cy contains 13 free parameters; 4 in Vab and 9 masses. Note also that, as promised, the interactions of the Higgs and the fermions are propor- tional to the masses of the fermions. Moreover, the would-be Goldstone bosons (f) and x also couple to the mass of the fermions. Since these can be thought of as the longitudinal components of the W and Z bosons, we can expect that they too will behave as though they couple to the fermions with a strength proportional to their masses. We can perform the field redefinitions 2.37 and 2.30 in the fermionic Lagrangian 2.25 as well. The result is: ^ F E R M I O N S = i^J^t^a + eJ^Ca + uJ^Ua + dj^d^ + -^i>a^LUa + Yc^a^ ((^^ ~ ^^)^ + ^^^) ^» " ^ ^"^^^ - f ^ û a ^ ((3c2 - S'')L - is'R) Ua + jûaJ^Ua + f d a ^ (-(3c2 + 3')L + 2S'R) da " Ua4da DC ^ ^ 6 + ^ {ûa^tLea + ùaVab\fLda + h.C.) (2.40) 2.2.5 Gauge-fixing The parts of the Lagrangian involving the gauge fields (eq. 2.35 and 2.34) are plagued with problems. One of them, the existence of cross-terms W^d'^<f>~, has been mentionned before. Another becomes apparent when we study the expression 2.3 for the Green functions. Since the action S is invariant under a gauge transformation, all the field configurations related by a gauge transformation will contribute the same value to the Green functions. This produces infinities in the path integral. We will now show how to factor out these infinities, using a method originally due to Fadeev and Popov. This will , at the same time, cure the cross-term problem. We consider the expression of the generating functional Z[j] = j[d<f>] exp {iS[(f>\ + iSsouice} where 4> now stands for all the fields in the theory. We insert the identity (2.41) I[d9] Af[B]6 [UBf) - Cix) = 1 (2.42) in 2.41. Here, Bf stands for the "gauge transformed" gauge fields ( W and B) as in 2.16 and 2.20 and / „ and Ca {a = 1,2,3,4) are arbitrary functions (Co is independent of d). The delta function appearing in 2.42 is a functional delta function i.e. a product of ordinary delta functions at every space-time point. Its purpose is to "fix" the gauge by ensuring that only those field configurations satisfying the constraints fa(Bf) — Ca{x) = 0 contribute to the integral. Finally, A / is a functional determinant 'Sfa A/[5 ] = det se. (2.43) It is simply the Jacobian of the transformation when we pass from B^ to fa. The generating functional reads: Zb] = I m J [d<l>] Af[B]S [fa{B^) - Ca{x)] exp {iS[<l>] + z5,ource} (2.44) A remarkable fact, which we shall not prove, is that, inasmuch as we are interested only in gauge-invariant Green functions, the integrand of 2.44 is independent of 9. (A proof is given in [5].) We can then replace Bf by B, and drop the [d9] integral (it cancels in the Green functions). The result is: Z[j] = J[d(P]Af[B]S{fa{Bi) - Ca{x))exp{iS[(t>]+iS,ource} (2.45) We can now write the S function in 2.45 in exponential form by multiplying Z hy a constant / M C 7 ]exp| - ^ y 'd^xC„(x)C»(x)| where ^ is an arbitrary parameter known as the gauge parameter. Performing the C integration, we find: Z[j] = J[dcf,] Af[B] exp {iS[<f>] + i^source + iScp} (2.46) where SQF — J d'^x CQF and the gauge-fixing Lagrangian CQF is CGF =-^nB,)UB,) With the choice of function /.• = d,Wt + ig^ {<l>"'^<f>o - <l>l'^4>') (i = 1,2,3) / 4 = d^B'' + ig'i{4>Uo-<f>l<i>') (2.47) the gauge-fixing Lagrangian becomes: CGF = -^[2{d^w;^){d''w;) + {d''A,){d''A^) + id''Z,){d^z^) -iMw{rd''W;^-cf>-'d''W;) -Mzxd^Zu - (MU'-r - ^M'zxV2 (2.48) Three points are noteworthy about CGF • The cross-terms in CGF cancel precisely those in £HIGGS (eq. 2.34). The functions Fi were chosen to accomplish this. • The would-be Goldstone bosons </> and x acquire the mass v ^ M i v and y/lMz respectively. • There are quadratic terms in the gauge-fields which complement those in - C G A U G E (eq. 2.35). We can now construct the free part of the gauge boson Lagrangian. Consider the Z boson for example. Collecting all quadratic terms in Z, we find: 5 F R E E = \ld'x Z^ l^ag^" - (1 - ^)d^d'' + M l s ^ " ! Z^ which gives the propagator "'^^^ = + « - - «^ '̂} There is one remaining factor in the generating functional 2.46, the Jacobian Af{B). It too exponentiates thanks to the following remarkable property of integration over anti-commuting variables l[dc][dc^] 6'='̂ '= = det A. We wiU skip the details here; they can be found in Appendix B of [3]. Suffice to say that 4 complex anti-commuting fields a;*, a;^, UJA have to be introduced. (Note that(u;''")^ ^ u;" since the CJ are complex.) These fields are called ghosts and, like the would-be Goldstone bosons, they cannot be found in the initial and final states. The Lagrangian that one constructs with this exponentiation is called the Fadeev-Popov Lagrangian Cpp, It depends on the gauge parameter .̂ However, this parameter is totally arbitrary and, therefore, unphysical. No observables can depend on ^. Two commonly used values of this parameter are: ^ = 0, known as the Landau gauge and the Feynman gauge ^ = 1. We will use the latter in this work. The total Lagrangian of the Standard Model is given by the sum of 2.34, 2.35, 2.39, 2.40, 2.48 and Cpp- We can then follow the procedure of section 1 to extract the Feynman rules of the theory. These are given in Appendix B. 2.3 A word about the strong interactions The strong interactions are introduced in the model in a way that continues the pattern of section 2.2.1. Every flavor of quark is assumed to come in 3 colors. They are grouped in triplets, say where o, 6, c are the color labels. The free Lagrangian • (̂t̂ — m)'^ is invariant under a SUj transformation ( 3 x 3 unitary matrices of determinant 1). Once more, we make this symmetry local by the introduction of 8 gauge-fields: the gluons. The gluons do not couple to the Higgs and remain massless. This theory is called Quantum Chromo- Dynamics (QCD). We will not go in the details here but simply mention some of the model's most important properties. First, QCD is assumed to lead to confinement This means that the external states admissible by the theory must be invariant under SU^. No free particle can be found that carries a net color. This implies in particular that the quarks themselves cannot occur as free particles: they are permanently confined inside bound states. The bound states must also have a special structure. For instance, the meson has the quark content d'^ha where a is the color index and a sum is implied over a. Only this combination is invariant under SU3. Confinement is , so far, only a conjectured property of Q C D ; it hasn't been proved. Asymptotic freedom is an interesting property of QCD that has been proved. In an asymptoticaUy free theory, the coupling can be considered to decrease with energy. Now, a coupling is a fixed number and cannot depend on energy so this statement is at best ambiguous. To define it more precisely, we have to consider the gluon-quark-antiquark Figure 2.5: The gluon-quark-antiquark connected Green function.The blob represent all possible insertions of quarks and gluon lines connected Green function (fig. 2.5). In lowest order of perturbation theory, this is ig^-y^X"^ where g, is the strong coupling and A'* is a Gell-Mann matrix. If we calculate this function to all orders in perturbation theory and keep only the largest terms in the limit that the energy of the gluon becomes large, the perturbation series sums to ig{E)f^X'^ which is of the same form as before but with an effective coupling that depends on energy. It is this effective coupling that decreases with energy.In practice, asymptotic freedom means that the strong interactions of quarks and gluons wiU not be so strong at high energy, and that perturbation theory can be used reliably in this case. 2.4 A n important theorem In chapter 5, we will be concerned with the calculation of Feynman diagrams when the mass of one of the particles involved becomes much larger than all the others. In those circumstances, we expect to find: D^M'^^^fl + Oi^)) \ M J where D is any diagram, M is the large mass and m any small mass. This should hold, up to logarithmic corrections in M . In this section, we will show how to obtain an upper bound on A(Z)) for any given graph D with at least one loop. We will not prove the result here. (See CoUins [6] and references therein for a more detailed discussion) We begin with some terminology. A Une in the graph is said to be massive (massless) if it stands for the large mass particle (a smaU mass particle). We wiU restrict our considerations to graphs with massless external lines. The graph's internal lines are further divided into heavy lines and light lines. This classification is motivated by the fact that, for the purpose of power counting, the internal lines can be considered to carry either a large ( « M) momentum or a smaU one (-C M).Heavy (light) lines are the lines carrying large (small) momentum. Since we consider processes at smaU external momentum, conservation of momentum implies that heavy lines must form closed loops. FinaUy, the lines are either fermionic or bosonic according to whether they represent a fermion or a boson. The contributions to X(D) are then as foUows: • +4n where n is the number of independent loops formed by the heavy lines. • —2 (—1) for a heavy bosonic (fermionic) line, irrespective of wether it is massive or massless. • —2 (—1) for a light, massive bosonic (fermionic) Une. • 0 for a light, massless bosonic or fermionic line. This is essentially power counting. Note that these contributions depend on which lines we choose to caU heavy. There are, in general, several ways of doing this (subject only to the condition that the heavy lines must close on themselves). If we call X'^(D) the value obtained for one particular choice of heavy lines then \(D) is the maximum of y(D) over aU possible such choices. We proceed with a pair of examples. Figure 2.6: A 1-loop illustration of the power counting theorem: the top-quark contribu- tion to the self-energy of the Z boson The first example is the top-quark contribution to the self-energy of the Z boson at 1-loop (fig. 2.6). We want to obtain the leading behavior as mi S> Mz- The two top-quark lines in the graph are heavy, massive fermionic lines. There is only one choice of heavy lines and the power counting gives:-|-4 — 1 — 1 = +2. We then expect the graph to behave as for large mj. The behavior found is mflnmt which is compatible with the theorem. A more complex example can be taken from the Bj — Bj mixing at two loops. The basic graph is shown in fig. 2.7 where the lines 6, c, d, and e are W bosons, line a is a Higgs boson and / and g are top-quarks. We want to extract the leading behavior in Mff as MH gets large. Therefore, the only massive line is o. There are 4 possible choices of heavy lines (see fig 2.8). We give below the value of A'^(D) for each choice, listing in detail the contribution of every line. Graph (a): lines a, 6 and d are heavy bosonic —6 line / is heavy fermionic —> — 1 lines c, e, g are fight, massless —• 0 Since there is one loop, A "̂) = —3. Figure 2.7: A 2-loop illustration of the power counting theorem: contribution to Bj - Bj mixing. The meaning of the labels is explained in the text. Figure 2.8: The 4 choices of heavy hnes (indicated by thick Unes) for the previous graph Graph (b) is the same as graph (a). Graph (c): lines 6, c, d, e are heavy, bosonic —> —8 lines / , g are heavy fermionic —• —2 line o is light, massive, bosonic —> —2 With one loop, we get Â '̂ ) = - 8 . Graph (d): lines a, b, c, d, e are heavy bosonic —> —10 lines / , g are heavy fermionic —> — 2 There are two loops, so Â **) = —4 The maximum value is therefore —3. The actual behavior is A/^"* ln^(M//). This illustrates an important point: the procedure described above yields only an upper bound; the actual behavior may be "softer". Generally, however, the exponent found with this method is the correct leading exponent. This theorem will be used in Chapter 5 to determine which graphs are leading graphs. Chapter 3 Bd — Bd mixing and radiative corrections In this chapter, we will examine the physics of Bd — Bd mixing. We wiU begin in section 1 by the study of mixing of two stable states in quantum mechanics. In section 2, we will generalize this result to unstable states and move on to a discussion of Bd — Bd oscillations. The expected signature of the phenomenon will also be touched upon. We will then proceed with the one-loop calculation of the mixing parameters in section 3. We wiU restrict ourselves to calculations in the Standard Model. We conclude in section 4 with a brief summary of the status of two-loop calculations in electroweak theory. 3.1 A quantum mechanical example It is well known that two-state quantum mechanical systems can exhibit oscillations in time between the two states. We will review this phenomenon here as it represents a simplified form of Bd — Bd mixing. The most general Hamiltonian for a two-state system can be written, after a suitable resettling (3.49) The transitions between |1) and |2) are induced by e, the non-diagonal term of H. In practice, e is a small perturbation and 1 and 1 -f /9 are the unperturbed energies. The parameter (3 is therefore a measure of the energy difference between the unperturbed states. Suppose we know that the system is in the state |1) at t = 0. We want to find the probabiUty that the system be found in state |2} at an arbitrary time t > 0. This is given by the square of the modulus of the transition amplitude Tn Tu = (2|e-*^*|l) To calculate T12, we introduce the eigenstates |-|-) and |—) of H with the corresponding eigenvalues and and use completeness T12 = e-*'^+*(2|+)(-Ml) + e-* '^-*(2|-)(-|l) The eigenvalues and eigenvectors can be found easily from 3.49. The result is remarkably simple Ti2 = - i e - » ( l + /5/2)< ' The transition probabiUty is Pl2 = sin y(3^ + \e\H^ /32+|e|2 The time-averaged value takes a very simple form sin^ (^yjl3^ + \e\H^ (3.50) 2/3^ + \e\^ From these expressions, it is apparent that the oscillations can be sizeable only if the energy difference /? isn't much larger than the perturbation. This explains why the phenomenon isn't very common. In the case of two perfectly degenerate states (/3 = 0), the time averaged transition probabiHty reduces to 1/2, independently of the size of e. The eigenvectors also become independent of e in that limit |±) = -^(|1)±|2)) This particular case is important for the Bj — Bj mixing since Bj and Bj have exactly the same mass. 3.2 The Bd - Bd mixing The Bj — Bd oscillations involve one feature that hasn't been discussed so far: the B mesons can decay. If the oscillations are to be observable, they must occur before the mesons decay. A look at formula 3.50 for the transition probabiUty shows that this will be possible if the perturbation e is larger than the width (or inverse life-time) Fa of the meson. These notions can be made more precise by the introduction of an effective Hamilto- man 7] for the time evolution of the B — B system (we will drop the subscript d from now on). In the rest frame of the B H B f \ B ( M - iT /2 Mi2 - i r i 2 / 2 ^ ' B^ (3.51) V M^,-irj2 M-iT/2 J \ n J This "Hamiltonian" is not hermitian since probabiHty isn't conserved in the B — B system as a result of the decays of B and B. However, both M and F are hermitian but their eigenvectors need not be the same. Note also that the diagonal elements are equal. This is a consequence of the CPT symmetry. This symmetry, which is obeyed in all quantum field theories, interchanges final and initial states and replaces particles with anti-particles and all constants by their complex conjugate. The eigenvectors of H can be written down in the form: \B, 2)-^-^ '^'^^ ^ ~ '^'^^ (3.52) \/2(i + m Here, e (which should not be confused with the e of the previous section) is given implicitly by . ^ L z i . ^ ^ I ^ (3.53) l + e ^ ^ M i 2 - i r i 2 / 2 It is a measure of CP-violation in the system. We wiU see later that it can be neglected in the Bj — Bj system.The corresponding eigenvalues are Mi,2 — i r i , 2 / 2 where: Mi,2 = M±ReQ r i , 2 = r T 2 I m Q with Suppose we start at t = 0 with a pure \B) state (3.54) (3.55) ^t = ^)) = \B)= \ \\{\B,) + \B,)) v 2 ( l + e) (3.56) The time evolution of |Bi,2) is very simple since they are eigenstates of H. We get, at time t: -i{M, - iV,l2)t^Q^^ ^ -i{M2 - iT2/2)t^s^^ (3.57) We can use eq. 3.52 to eUminate \Bi) and IB2) and express |V'(0) a superposition of \B) and \B). The coefficients of this superposition are the transition amplitudes A{B —> B) and A{B B) A{B-.B) = i L - i M , t g - r , t / 2 ^ g - i M 2 t ^ - r 2 V 2 -iMit-Tit/2 _ -iM2t-T2t/2 A useful quantity is the ratio r of time averaged probabihties: 1^ dt\A{B B)\^ A direct calculation gives r = r dt\A{B -> B) Jo 1 + e 2 + x2 - y2 where x = AM/T and y = AT/2T with A M = M l - Ma A r = T i - T z Note that 0 < < oo (3.58) (3.59) Then, neglecting CP-violation (e = 0), we have 0 < r < 1 Values of r close to 1 obtain in two cases: 1. X —» oc. This can happen when A M is much greater than the width either because the particle is stable (F 0) or the perturbation (M12 — i r i 2 / 2 ) is large. 2. y 1. This happens if one particle has a much greater lifetime than the other. This is the case for K — K mixing. Similarly, we could obtain r = 1 + e 1 - e 2 + x2 - î,2 (3.60) where ^ r dt\A{B -> f = h_ rdt\A{B^B)\^ Jo Note that r = f in the absence of CP-violation. Therefore, the asymmetry r — f a = 3 r + r is a measure of CP-violation. To make connection with the real world, we must specify how this phenomenon is to be observed. The standard way of doing this is to first produce a bb bound state, the T(4s) resonnance. This bound state then decays almost immediately to a Bd — Bd pair via the strong interactions. The B mesons then evolve in time according to the previously described formaUsm. Because of the oscillations, there are three different types of final states that can be observed: BB, BB and BB. The BB final state includes the possibility of a "double flip" BB —> BB. As wiU be seen later, these final states are identified by their decay properties. TypicaUy, r is measured through the ratio N{BB)-\- NjBB) N{BB) + NIBB) where N{BB) is the number of BB final states observed etc. The final states BB and BB are undistinguishable and are kept separate only as a reminder of the possibiUty of a double flip. A naive evaluation of R in terms of r and f gives l + rf This result is correct when the B and B evolve independently. It must be modified when they form a coherent pair, as is the case at the T(43) resonnance [8]. This bound state has J = 1 and C = — 1. The Bj — Bd pair it decays into must have the same quantum numbers. This means that the produced state is \B{k,,t))\B{k,,t)) - \B{kut))\B{h,t)) where, neglecting CP-violation: \B{t)) = Rit)\B) + C{t)\B) \B{t)) = C{t)\B) + R{t)\B) The functions R{t) and C(t) are the amplitudes to "remain" or to "change", namely R = A{BB) = A{BB) C = A{B B) = A{B B) If the two decays take place ai t = t\ and < = <2 respectively, the superposition becomes (i2iC2 - C,R2) {\BB) - \BB)) + (P1P2 - C1C2) {\BB) - \BB)) where i2iC2 = Riti)C{t2) etc. Therefore, we get: J dtxdt2\RlC2 - CiiZzT y dtidt2\RlR2-CiC2\'^ A lengthy calculation gives R = r. Finally, we will say a word about the identification of the final states. The Bd meson lifetime is very short (si 10"^^ seconds) [20]. Furthermore, the Bd — Bj pair is produced almost at rest. Therefore, the mesons will not travel at all and will decay at the colhsion point. They must be identified by their decay products. The Bd meson is the lightest meson carrying the b flavor. Its decay must therefore involve a change of flavor and, consequently, the emission of a boson. In the spectator R = Bd b d Figure 3.9: Bd meson decay in the spectator approximation. X'^ is usually the D"^ meson. approach, the W is assumed to be emitted by the 6 quark with the d quark a "spectator" of the process (see fig. 3.9). This approach, which is reasonable since the b quark is much heavier than the d quark, is known to work very well. A consequence of this is that Bd will always decay through the emission of a W~ while Bd decays to a W'^. This is what allows us to differentiate between the two mesons. The in these decays is necessarily virtual: there is not enough energy available to produce a real W. It is identified by its decay. The W~(H^''") decays roughly one third of the time into a charged lepton and a neutrino the neutrino escaping detection. This mode is very specific to the W and aUows for a clean identification. In short, the final states sought experimentally consist of two charged leptons and some hadrons, the leptons being both negatively charged for a BB state, both positively charged for a BB state and carrying different charges for a BB state. The complete process can be represented schematically as in fig. 3.10 when no mixing occurs and as in fig. 3.11 for a cîise with mixing. In both cases, the charged leptons (either muon or electron) have to be observed. A great deal of care must be taken to distinguish these leptons from those coming from other sources {X and Y decays, photo-production, etc.). The reader is referred to [1] for the details. Figure 3.11: Production and decay of a 5^ — Bd pair. The blob on the Bd line represents the mixing transition Bd Bd. X and Y are as above. d b d b d b d ' W* ' t é „ b d b ->. d b d b — — k 9~ \ Figure 3.12: Lowest order contributions to M i j . The final state is at the top of the diagram and the initial state at the bottom. 3.3 Mi2 and the box-diagrams The formaHsm of the previous section relates the mixing ratio r to a knowledge of the effective Hamiltonian of eq. 3.51. In this section, we will calculate the parameters Mu and of this Hamiltonian to lowest order in perturbation theory. (The other parameters, M and r , are known experimentally). Chapters 4 and 5 are devoted to higher order calculations of the same parameters. 3.3.1 The box-diagrams Afi2 and Tn cause transitions between the Bd and the Bd states. In the Standard Model, the lowest order diagrams thet contribute to A/12 are shown in fig. 3.12. The quarks in the loop can be t, c or u but we wiU see later that the contribution of the top quark dominates. There is also the corresponding s-channel diagrams (fig. 3.13) but these can be found from the previous graphs via a generahzed Fierz transformation. r i 2 is the absorptive part of these diagrams. The contributions come from the region of loop momentum where one or more of the particles in the loop are on-shell, corresponding to a real decay of the Bd (or Bd)- However, as we will discuss in greater depth in Chapter 5, we will use the approximation that mj, = 0 in the loop integrals. This means immediately that r i 2 = 0 since a massless particle cannot decay. This result allows for a Chapter 3. Bd — Bd mixing and radiative corrections 50 W w 1 . Figure 3.13: The s-channel diagrams considerable simpUfication of the formulas for the mixing ratios r and f namely: ^2 r = r = 2 + where x = 2 | M i 2 | / r . Also, the CP-violation parameter e becomes purely imaginary in this limit and can be neglected since it can be removed by a phase redefinition of the w . There are two quantities which influence the relative size of the contributions of the different internal quarks (u, c, t) to M12: the mass of the quark and the KM matrix elements. The exchange of an up-type quark between the b and d quarks involves the combina- tion of KM matrix elements V^jl^t where q = u, cort. Using Wolfenstein's parametriza- tion of the KM matrix (see eq. 4.89), we get: v:dV^6 v:dVct. VùVtb Since the size of these expressions is mainly governed by A, we see that all three of them are of the same order of magnitude. The dominant factor determining the relative size of the contribution of the various quarks is their mass. The sum of the graphs of fig. 3.12 behaves as m ^ / M ^ for a quark mass m,q >̂ Mw and as a constant if m , "C Mw- We can factor out the dependence on the KM matrix elements to get Box = 5 Z aiajE{mi, mj) (3.61) where a,- = V^Vib and the sum extends over u, c and t. We can take m„ = rric = 0 in 3.61. Using the unitarity of the KM matrix (Xli = 0), we find: Box = {E{m,t, mt) - 2E{mt, 0) + E{0,0)) where E{0,m,t) = E(mt,0) has been used. Only the first term contributes to the leading behavior. Using the methods of Appendix F , we find: where rji = VdnnLvbûd')''Lub fix) = — — ( 1 - 12x + 27a:^-4a;^-6xlna;) 4(1 X) with X = Myy/TUf. The function f{x) increases monotonically from 1/4 at x = 0 to 1 as x —» oo. It has therefore a very weak dependence on m^. The diagrams of fig. 3.13 sum to the value 3.62 with the replacement T/i v'l = Vdrit^Lubudi^Lvb As mentioned earher, T/I and J / ' J can be related. Referring to figs 3.12 and 3.13, we attach a subscript i (/) to spinors in the initial (final) state. We get: rii = Vdijf.Lvbfûdfy'^Lubi v'l = Vdnt,Lubiûdfy''Lvbf We see that T}\ is a product of two quantities involving only the initial or the final state while rji involves "mixed" terms. It is convenient to disentangle T]I by a Fierz transformation. If we write the color indices and the spin structure explicitly in rji, we find: A well known Fierz transformation gives iriUM^r = -{YLUil.LU (3.63) We can also transform the color term. Writing where the A's are the Gell-Mann matrices, we find A = 1/3 and KAB = 25AB- The identities TrA"' = 0 TrA^A^ = U^^ â have been used to derive this result. Putting it all together: = ^ V i + 2vd><'^'y''LubûdXAl^Lvb where the — sign of 3.63 is cancelled by the permutation of the anticommuting spinors. 3.3.2 The strong interaction corrections There are two types of strong interaction corrections to this result. First, there are the short range corrections due to the exchange of gluons between the quarks in the box- diagrams. These can be computed in perturbative Q C D . These calculations have been done only in the unrealistic limit <C Mw- We will not consider them further here. Secondly, it is necessary to correct for the fact that the results of the previous section apply to free quarks while in reality they are confined inside the mesons. To this effect, we must first construct an effective Hamiltonian Heft that is, a Hamiltonian (or equivalently an interaction Lagrangian Ci = —Hefj) which reproduces 3.62 for the transition bd bd when evaluated in first order in perturbation theory. This is done by replacing the spinors in 3.62 by the corresponding quark operators and multiplying the result by i/2 where the 1/2 is a symmetry factor. We get: ,4 TT - ^ 327r2 To account for the strong interactions, we must take the matrix element of fTeff between a Bd and a Bd state instead of between free quarks: Mu = {Bd\HM) (3.64) The matrix element M12 must be evaluated in a non-perturbative model of the strong interactions, for example a QCD lattice Ccdculation. A n approach which is often discussed in the littérature is the vacuum saturation approximation. The matrix element of an axial current between a Bd and the vacuum is defined by {Old-r^-rsblBd) = -^fB (3.65) where Pfi is the 4-momentum of the meson and Ep the corresponding energy. The constant /B could, in principle, be determined from a study of the leptonic decay modes of Bd- The matrix element of the vector current can be neglected since Bd is (mainly) a pseudoscalar. The calculation then proceeds with the insertion of a complete set of states in Hgff i.e. {Bdlid-r^LbyiBd) = J2Wd'r''Lb\n){n\d^^Lb\Bd) The approximation consists in neglecting all states but the vacuum in the sum. Under those conditions, we get, using eq. 3.65 {Bdlid-y.LbYlBd) = \flmB in the rest frame of the meson. Note that in this approximation, the octet term (dA°7''ifc)^ doesn't contribute at all since both the vacuum and Bd are color singlets. Putting it all together, we get: 1927r2 where the factor BB is inserted to take possible deviations from the vacuum saturation approximation into account. The value of /|J5B is subject to rather large uncertain- ties and must be calculated in an other model (typically lattice QCD) or taken from experiments involving B meson decays. This is done in the case of kaons. 3.4 Status of two-loop calculations The physics of the gauge-bosons has received a lot of attention lately as a result of the L E P I experiments [17]. It is therefore no surprise that the only other calculation at the two-loop level in electroweak theory is that of the ^-parameter which is defined by: ( Mz cos 9w\ Unfortunately, many different definitions of the experimental quantities Mzexp-, Mwexp and (cos5w)exp have been used in the literature [9], yielding different /^-parameters. Fur- thermore, even when two authors agree on their definition of p, their result may differ because of the use of different renormahzation schemes. We will not attempt to give a precise definition of p here. We wiU instead give some of its generic properties that have been found to be independent of the specific definition. First, every reasonable definition of the experimental quantities is such that they reduce to the corresponding renormahzed parameters at tree level (e.g. Mzexp = Mz). Since the relation Mz cos 9w = Mw holds between the renormahzed parameters (in any renormaUzation scheme), we obtain p = 1 at tree level. When we consider loop corrections, the calculated value of p can be expressed in the form p = l + aSpi + a^8p2 + 0{a^) We are interested in the dependence of Spx and Sp2 on MH and mj. The 1-loop coeffi- cient Spi depends quadratically on mt (for large mt) [10]. This is what is expected by power counting. (It is in contrast, however, to the situation in unbroken gauge-theories where the dependence of every low-energy quantity on mt has to vanish as —> oo [12]. However, it depends only logarithmically on MH [11]. The Mff terms cancel when sum- ming over all graphs. This effect, which generahzes to all other low-energy observables in the Standard Model, has been called screening by Veltman: the effects of the Higgs are effectively "screened" from low-energy physics. These properties of S pi are independent of the renormahzation scheme used to calculate it . The two-loop corrections 6p2 have been calculated by Van der Bij and Hoogeven [13] for large mt and by Van der Bij and Veltman [14] for large MH. In the case of large mt, a quartic dependence was found, which is again what is expected by power counting. In the large MH case, the behaviour found was Mjj. Again, the behavior is softer than what would be expected by power counting. The coefficients of the Mjf and mj terms depend strongly on the renormahzation scheme. Note however that the authors of ref [14 neglected the ttH coupling which cannot be neglected anymore. To our knowledge, this thesis is the first calculation that studies the limit when both mt and MH are large. This will add to our understanding of the "decouphng theorem" [12] in field theory. As will be seen in Chapter 5, the leading behavior found for the Bd — Bj mixing amplitude at two loops is for large rrit and aln^ M H + 6 In M / / for large MH- This explicit dependence has not been obtained before. Chapter 4 Renormal izat ion 4.1 Introduct ion In Chapter 2, we have described how to obtain the 5-matrix from the Lagrangian by a combination of functional differentiation and integration. However, when we try to carry out this program, we encounter some difficulties: some of the integrals that occur are divergent. The task of renormahzation in field theory is to make sense of these divergent expressions. The type of divergences encountered depends on the method of approximation used in the calculations. In pertubation theory, divergences occur in Feynman graphs with one or more closed loops. An example is a bosonic self energy (fig. 4.1). The result is proportional to which behaves as / for large p. This is therefore logarithmically divergent. In order Figure 4.14: Self-energy of a boson ^ of momentum k and mass M . The bosons in the loop have mass M i and M2. (4.66) Ml Mi to ascribe a value to such integrals, we have to find a systematic procedure that replaces them by finite integrals. This is called regularization. One possibihty is to introduce a cutoff in 4.66: after the angular integrations are performed, the radial integral is taken to extend to A instead of infinity. The integral is then a well defined function of k, M i , M2 and A that becomes infinite when A —» 00. Another possibihty follows from the observation that the integral 4.66 would be well defined in , say, 3 dimensions. This is generalized by the replacement of every 4-dimensional integral by a n-dimensional one. The integrals then become functions of n that go to infinity as n —> 4. This is the method used in this work. It is called dimensional regularization [15] and will be discussed in more details in the next section. It appears, therefore, that we have to introduce extra parameters in the theory in order to regularize the integrals. These parameters (A, n . . . ) are called regulators. The various integrals that appear in the calculation of observables become infinite when the regulators take their physical value (A = 00, n = 4...) . In the remainder of this section, we will consider that there is only one regulator, e, of physical value 0. The expressions "is finite" and "is independent of e" will be taken to mean "remains finite as e —» 0" and conversely for "infinite" and "depends on e". It could be hoped at this stage that the 5-matrix elements (calculated via 2.2) could be independent of e since they are, after all , complicated combinations of integrals and the e dependence could cancel among these. This is not the case. However, for a certain class of theories called renormaUzable, it is possible to circumvent this problem. The starting point is the observation that the original parameters of the Lagrangian (called bare parameters) have no a priori numerical values. We are therefore free to redefine them in any way we please. It is convenient to define the bare parameters (say X*Q) as functions of a set of renormalized parameters x' and of e. x' = f ( x ^ e ) (4.67) In a renormalizable theory such as the Standard Model, it is possible to choose the e dependence so as to cancel the divergences in the 5-matrix. The above procedure is not sufficient to make the Green functions finite. To this end, one must carry out wave-function renormahzations. This uses the fact that the normahzation of fields is physically irrelevant (much like the normahzation of states in quantum mechanics). The fields of the original Lagrangian (now called bare fields xpo) can then be rescaled as follows V-o ^ V (4.68) Here, ip is the renormalized field and Z^,, called the wave-function renormahzation con- stant, depends on e in such a way that it cancels the infinities of the Green functions. The substitution of 4.67 and 4.68 in the original Lagrangian (now rechristened bare Lagrangian) CO{IPO,XQ) gives the renormahzed Lagrangian C{I/J,X) £(V,x) = £ o ( Z y V , / V , ^ ) ) It is also convenient to define the counterterm Lagrangian Cc by: Cc = C{il},x) - Co{ip,x) Section 3 will be devoted to the construction of Cc- 4.2 Dimensional regularization Our first task is to make sense of the various divergent integrals we encounter in the calculations. We will do so through the use of dimensional regularization i.e. the integrals will be considered to be n-dimensional rather than 4-dimensional. Divergent integrals will then be replaced by functions of n that are singular as n —> 4. 4.2.1 Field and coupling dimension When we change the dimension of integrals, we must also change the dimension of the fields and the couplings in order to keep the action S dimensionless. Consider for instance the action for a free fermion. In n-dimension, it reads 'S'FREE = Jcrx {ï,{x){i0-m)rP{x)} In order for S 'FREE to he dimensionless, il}{x) must have mass dimension (^^)- This holds for any fermion. Similar considerations yield the mass dimension (^^) for bosons. A typical interaction term between two fermions and a boson <f> is of the form S'INT = g J d"x'ip{x)ilj{x)(l){x). In 4 dimensions, g is dimensionless. In n dimensions, we obtain: 'n-l\ fn-2\ dim[5iNT] = 0 = dimfy] - n + 2 (^^^^) + Therefore, the coupling has dimension (4 — n)/2. It is convenient to replace this dimen- sionful coupling by a dimensionless one via: g ^ gpS'-^^l'' (4.69) where p has dimension of mass. With this substitution, the couplings in the theory are all dimensionless. The parameter p appearing in 4.69 is totally arbitrary: it cancels out of all physical quantities. Throughout most of this work, we will take it equal to 1. 4.2.2 Integration in n-dimension Integration in n-dimension poses no problem of definition if n is an integer. Here, however, we want to be able to take the limit of our result as n —> 4. Hence, our results must be defined for all complex values of n. We wiU not attempt to give a precise definition here; the interested reader is referred to the excellent text of Collins [6] for a thorough exposition. We will only give the properties of n-dimensional integration that are relevant to our calculations. 1. Linearity: for any complex numbers a and b IàTp [a/(p) + bg{p)] =ajdTpfip) + bJdTpgip) 2. Scaling: for any number s j drpf{8p) = 3-- j dTpfip) 3. Translation invariance: for any vector k (independent of p) f dTpfip+ k) = jdTvfip) 4. Differentiation: A / ^ p / ( , , * „ . . ) = / o ^ / ( P , t , . . . ) 5. Partial integration: jdrpdf{p)idj^ = Q The first 4 properties are straightforward generafizations of ordinary integration. The last is unusual in that the integral of a derivative is always zero, irrespective of the surface term. Finally, 6. Multiple integrals are independent of the order of integration: jdTp j drqf{p,q) ^ jdTqj dTp f{p,q) This is the same as for ordinary integrals. However, multiple integrals with different dimensions n and n' can be interchanged only if their integrand is independent of p • q. Appendix C contains the exphcit values of the integrals needed in this work. 4.2.3 M e t r i c and D i r a c matrices The metric g*^" is defined so that (an exphcit definition of g^'^ is given in Collins [6]). The usual relations hold: 0*̂ 6̂ = Uf^y^ = g'^'^a^bi, = g^^^a^h" = a-b Also, jdrpj^p''g{v') = \jdrpp'g{p') The Dirac matrices satisfy the usual equation {Y,Y} = 2g^'' (4.70) This impUes in particular T V T M = ( 2 - n ) 7 " 7 ^ 7 ^ . = 45°'' + ( n - 4 ) 7 V Traces can be evaluated by using T r ( l ) = 4 and the fact that the trace of an odd number of 7 matrices is zero. The definition of the matrix 75 poses serious difficulties. In 4-dimensions, 75 is defined by (see Appendix A) 75 = i7o7i7273 = -;^e"^^'7o7/37A7<r The Levi-Civita tensor e"^^" and 75 are intrinsically 4-dimensional objects. The problems that occur when we try to generahze them to n dimensions become apparent when we consider the quantity T = T r ( 7 V 7 ' 7 ' 7 5 ) (4.71) In 4-dimensions, T = te"^^". In general, if we insert the identity 7*^7^^ = n in 4.71 and use the cyclicity of the trace, we get (n — 4 ) T = 0. If this is to hold for every value of n, we must have T = 0. In practice, the situation is not as bad as it may seem. Fermion lines either form closed loops or are ultimately attached to external states (this follows from conservation of angular momentum). For loops, it is sufficient to take {7^75} = 0 Trjs = 0 (4.72) Trrr^B = 0 along with 4 .70. This is known to work for up to two-loops [16]. In other words, in this case the trace 4.71 is never needed. For the external lines, we can use the 4-dimensional Dirac algebra of Appendix A ; external lines therefore pose no problem. However, this introduces an unappealing asymmetry between the loops and the external lines. In this work, we will use the n-dimensional algebra (4 .70 and 4.72) for both the loops and the external lines. This introduces a slight complication. A glance at Ap- pendix G shows that the two-loop diagrams can all be expressed as Ai7]i + where Vi = Vdn'^Lubûdi^iLvb and 772 = Vdi^YYI^'"•h'ïî'd^^iplul^LLvb. In 4-dimensions, use of the reduction formula A . 9 5 of Appendix A allows us to show that T/2 = 4r]\. In n-dimensions, this doesn't necessarily hold. We can only assume that 7/2 = 47/1 -(- eA where e = (n — 4 ) and A is an arbitrary number. This can create an ambiguity in the result since, in gen- eral, A2 has "pole terms" of the form 1 / e . However, we know we could use 4-dimensionnal Dirac algebra for the external lines if we so desired, so there cannot be any ambiguities in the final result. This means that the pole terms in A2 must cancel when we sum over all diagrams. Since they must also cancel out of the full result, we get that when A\ and A2 are summed over all diagrams, their 1/e terms independently cancel. This provides a Figure 4.15: Expansion of propagators check on the calculation. 4.3 Counterterm Lagrangian and renormalization conditions in the on-shell scheme In this section, we will construct the counterterm Lagrangian and present the renormal- ization conditions that define the on-sheU renormahzation scheme. We will not prove that the choice of renormahzation constants implied by this procedure leads to finite Green functions and hence finite 5-matrix. (A proof can be found in [4].) We will be satisfied with a description of the equations and methods which prove useful in practical calculations. 4.3.1 Propagators and the on-sheU conditions. The full propagator A Q of the bare field (po is defined as the two point connected Green function of (f>o Ao(x -y) = {M^)My)) = I[d<^o] 4>o{^)Uyy'l j[dM e'̂ (4.73) (we use again a theory of a single scalar field as an example). Note that everything in 4.73 is expressed in terms of the bare field <̂ o- Its expansion in terms of Feynman diagrams is shown in fig. 4.15. The blob in fig. 4.15 is the proper self-energy of (̂ o- It consists of the sum of all one particle irreducible graphs. These are the graphs that do not become disconnected upon cutting a single line. If we denote the proper self-energy by iS(p^) (where p is the momentum of (f>o), then the series in fig 4.15 sums to (in Fourier space) p^ — m^ yp^ — m^j yp^—m^j p''— -\-'LQ[;P'^') Here, m is the renormahzed mass: TTIQ = TP? -\- Sm^ In the on-sheU renormahzation scheme, the renormahzation constant 8m^ is deter- mined by requiring that the real part of the pole of A Q be at p^ = m^. This is equivalent to Re{So(m2 ) }=0 (4.74) Assuming that 4.74 holds, we can expand A Q in the form: The quantity Z that appears in 4.75 is precisely the same as the one in the expression for the S'-matrix 2.2. We wiU use this fact shortly. In practice, it is convenient to replace the bare field by the renormahzed field (f) via <f>Q —» Z^/'^<f). The most natural quantity to study is therefore the renormahzed propagator A = (^(a:)0(2/)), not A Q . A look at 4.73 reveals that A = ^ A Q . Inserting 4.75 in this relation, we find that A = ^ ' Z (p2 - m2) -t- O ((p2 - m^Y) We can now choose Z so that Z = Z. This can be implemented directly in terms of A by choosing the value of Z so that d : (A -^ ) = - 1 (4.76) is satisfied. The conditions 4.74 and 4.76 take a much simpler form when expressed in terms of the self-energy S(p^) defined through: ^ " p2 _ ^2 + S(p2) The on-shell conditions are then: S(m2) = 0 (4.77) S'(m2) = 0 (4.78) A n advantage of this renormahzation scheme becomes apparent when we look at formula 2.2 for the ^-matrix: with the conditions 4.77 and 4.78 in place, the factors i ^ - i / 2 ( a ^ precisely cancel the propagators on the external legs of the Green func- tions. In this case, the calculation of the 5-matrix reduces to a calculation of the am- putated Green functions. These are the Green functions with the external propagators removed. The formahsm developed so far is adequate for a single scalar particle; as such, it can be used for the mass and wave-function renormahzation of the Higgs boson. We will now consider the case of vector particles and fermions. Vector particle propagators have a non-trivial Lorentz structure: for any vector boson V^, we can write the propagator A**" as A*^" = J-(F^(x)F''(y)) = A{p')g>^'' + B{p')^ P where !F stands for Fourier transform. The coefficient of the metric can be parametrized as A{p') = _2> - » p2 _ ^2 + S(p2) The renormahzation conditions on S are the the same as for a scalar particle (eqns 4.77 and 4.78). (The coefficient B is then automatically made finite.) To satisfy them, we can adjust the mass renormahzation constant of the vector boson as well as the rescaling factor Z that enters the expression VQ —> Z V ^ . The case of fermions is more complicated. First of aU, the left-handed and right- handed fields (section 2.2.2) renormahze independently i>Lo - Z'fyi^ (4.79) i'Ro -> (4.80) Due to the lack of invariance of the weak interactions under parity, the coefficients and ZR are in general different. We also have the mass renormahzation mo m + 6m. The parameters Z ^ , ZR and 8m are then adjusted to satisfy equations analogous to 4.77 and 4.78. To find the exphcit form of these equations, we parametrize the fermion propagator in the form Note that S is a 4 x 4 matrix in Dirac space. We then introduce the on-sheU spinor u{p) which satisfies: ( /J-m)u(p) = 0 û{p){i>-m) = 0 The renormahzation conditions are then ^PHP) = 0 ûip)E{p) = 0 (4.81) ^ S(p)u(p) = 0 j) — m ^ W ^ C P ) ^ = 0 (4.82) We will see more explicitly later what this implies. A further complication is caused by the existence of different particles with the same spin and charge (e.g. the u-type quarks u, c, t and the <i-type d, s, b). In this case, the propagator A , j = ^{i'i{x)ri)j{y)) is a matrix (in flavor space) which, in general, is not diagonal. We can then generahze 4.79 and 4.80 to read (in an unescapably cluttered notation) The matrices ZL and ZR have no particular symmetry. Especially, they are not necessarily unitary. We also have at our disposal the mass renormahzation constants 5m* (from m,Q —* m' + <Jm'). These parameters are determined from the following renormahzation conditions: ^'(p)S'^(p) = 0 ^ -S»(p)n'(p) = 0 ]/> — m û ' ( p ) S " ( p ) - — ^ = 0 (no sum over i) (4.83) p — m where the propagator A . j is written as: A . , = ••' - m)SiJ + S'J(p) Equations 4.83 say that the corrections to the propagator vanish when taken on shell. In practice, this means that graphs with loops on the external legs (see fig.4.16 for an example) identically vanish. A more detailed form of 4.83 can be obtained by writing d X Figure 4.16: Corrections to external legs. The external legs are a, 6, c, and d. This graph is identically zero if particle X is on-shell, no matter what the particles in the graph are. the Dirac structure exphcitly. We get: 2m,SV'(m') + S;'(m?) + 2m?SV'(Tn?) for i = j (no sum over i ) , and Eî (m^2) + m,SV(m,2) = 0 E;^(mn + m.SV(m^) = 0 Eî (m^2) - m,S' ;(mî) = 0 S^(mn + m . E ^ ( m n = 0 0 0 0 0 (4.84) (4.85) for i j. Figure 4.17: The electron-photon 3-point function Finally, it should be noted that the Z-boson and the photon also mix in this way. We must introduce the wave-function renormahzation constants as follows: -* Z'J^Z^ + Z'J^A^ -* Z'llZ^^Z^^A^ Here, ZZA = ZAZ is determined by E^ziO) = 0. 4.3.2 The other parameters We have so far given the renormahzation conditions for the masses of all physical particles. We wiU take as independent parameters M w , Mz, Mff and the masses of all the quarks and leptons. This doesn't exhaust the list of independent parameters of the Standard Model. We also need to define a couphng and to consider the Kobayashi-Maskawa matrix. There are several couphngs in the theory. Only one of them can be taken as an inde- pendent parameter. It is customary to take the charge of the electron as the independent parameter. It is defined via the 3-point Green function (see fig. 4.17) J^{ê{x)A^{y)e{z)) = r The renormahzation condition imposed is û.r'^u, = 0 (4.86) p=0 where p is the photon momentum. This definition has the advantage that the usual definition of the fine structure constant a in terms of Thomson scattering gives a = e^/4ir exactly. To satisfy 4.86, we introduce the charge renormahzation constant Y through eo —> Ye and adjust Y. To complete the description of the parameters, we need to consider the Kobayashi- Maskawa matrix V. This matrix is relevant to the interactions of quarks with the charged t^-boson (as well as with the corresponding would-be Goldstone bosons (j)^). A typical interaction term is of the form Ci = ûirLdiVjW^'' (4.87) where everything is expressed in terms of the bare fields. If we substitute the expressions for the renormahzed fields in 4.87, we get (only the left-handed components of quarks contribute to this interaction) The main point is that any divergences present in Vij can be absorbed by a redefinition of Z(u)£, and these being then determined as before. There is, therefore, no need to impose any renormahzation conditions on Vij. Note, however, that we could impose some renormahzation conditions on Vij in order to bring it closer to the experimental quantities (see [18], for instance). We will not do this here since no consensus has emerged as to the definition of Vij in terms of experimental quantities. Hence, we wiU not introduce any counterterms for Vij. 4.3.3 The tadpoles, gauge-fixing and the counterterm Lagrangian We can make use of a further renormahzation condition to get rid of a nuisance in the model: the occurence of tadpole graphs (fig. 4.18). These are graphs with only one Higgs H' Figure 4.18: A tadpole graph Une sticking out. We can ehminate them by the introduction of a counterterm in the Higgs potential. Until further notice, all quantities appearing in the equations are bare quantities even though they do not carry the subscript 0. We start from the Higgs potential 2.27 Again, we insert $ = + ^' with V2 , <f>' = \ ) V {H + ix)/V2 I Unhke section 2.3, we will not choose v so that = 0 at the minimum of V. Instead, we define T = v{p? - \v^) This, along with the usual relations M„ = Ç gives the following modification of eqn 2.33 2Mw V = A = 9 H (4.88) 9' f Mh- ÏL M l With these modifications, the potential V'(#) becomes 8 ^ - £ ) ( T + T + ^ + ^ + * ^ * - * ^ * - ) The tadpole counterterm T is then determined by requiring that the sum of aU tad- poles vanish. We are now ready to express the Lagrangian in terms of the renormahzed quantities. We use the full Lagrangian of Chapter 2 with two exceptions: • we use V'($) given above instead of the one of Chapter 2 • the gauge-fixing Lagrangian will be treated separately We affix a subscript 0 to all fields and parameters to remind ourselves that they are bare quantities. We then make the substitutions: zy^z'^+zyiA^ Ho ^ ZU'H We do the same for the fermions < o - {zUY^'ui *L0 *«0 ( % R ) and, 1/2 -RO ^ÏO (^S)H) ^R 1/2 (There is no mixing of leptons.) The masses of the bosons [Z, W'^ and H) are renor- mahzed quadraticaUy according to while those of fermions are renormahzed linearly mo —> m -f- Also, the electron charge is renormahzed by Co y e From these relations, we can deduce the renormahzation of the other parameters of the model. For instance. 1 + 6M^/M^ Mzo (cosc/n/jo = -Ti > , _ =- — COS ow. where cos^w = (sm^w)o - v/1 - (cos^ ew)o - san^w^ 1 - ( i + 5 M | / M | ) where sin 6w = y/l — cos^ 9w and _ e o gY So ~* I cos2 Ow [SM^ - 8Ml) V sin^ ew{l + S Mil Ml) where g = e/s. Finally, we must take care of the gauge-fixing Lagrangian. We can proceed in the same way as in Chapter 2 to get equation 2.46. We can use 2.47 for the functions / but we will use their renormahzed versions i.e. the fields and the parameters that enter 2.47 are understood to be the renormahzed ones. This means that we do not get any counterterm vertices from the gauge-fixing Lagrangian. The counterterm Lagrangian is the Lagrangian obtained by the above procedure mi- nus its value when the renormahzation constants are zero. The parts of it that are relevant to our calculation are shown in Appendix D. 4.4 N u m e r i c a l values of the parameters The parameters of the model have been defined in section 3. In this section, we will give the numerical values of these parameters as determined by a variety of experiments. First, the electric charge e is determined by the fine structure constant e2 a = — = 1/137.036 47r with negligible uncertainty. This gives e = .303. Note that e is not very small. Yet, the small coupling expansion works because the successsive terms in the perturbation series are usually down by a factor a/27r. The masses of the leptons are very small and can be neglected. So can most of the quark masses except of course for the top quark {mt > 90G?eV') and, to some extent, the bottom quark (TO6 = 5.0GeV). The masses of the W and Z bosons are: Mw = 80.11 ±.15 Mz = 91.175 ±.005 Also, the mass of the Higgs is unknown (MH > 50GeV'). Finally, the Kobayashi-Maskawa matrix can be parametrized as Vus Vub V = (4.89) Va V, Vcb \ Va Vu Vb J 1 - AV2 A AX^pe'"^ -X 1 - AV2 AA^ \ A A ^ ( 1 - p e - * ) - A A ^ 1 where A = 0.221 ± .002 and A = 1.05 ± 0.17. As for p, we can take p - 0.55 ± .14. The CP-violating phase 4> is subject to large uncertainties. We will take it as completely arbitrary. We can now find the values of the derived parameters sin Bw and g\ sin^ ^ly = 1 — = .228 ± .002 Ml g = - = .63 s Chapter 5 The two-loop calculations The two-loop calculations of the Bj — Bj mixing amplitude will form the subject of this chapter. We wiU begin with a description of the approximations made in the calculations. We will follow this with an enumeration of the graphs that contribute to this process. We wiU list all those graphs that survive in the limit of zero external momentum and zero mass of the d-type quarks. This will give an idea of the complexity of the full calculation. We will also indicate which of these graphs contribute under our approximations. Sections 4 and 5 are devoted to a description of the techniques used in the calculations. Many details are left to the Appendices. Section 6 summarizes the results and we present our conclusions in section 7. 5.1 The approximations As will be shown in the following section, the complete calculation of Bj — Bd mixing at two-loops involves more than 10,000 diagrams. This is clearly beyond our reach (at least for the moment). We will therefore limit ourselves to two limiting cases of interest: 1. We assume that the mass of the top quark is much larger than aU other masses in the model. We then expand the diagrams in the asymptotic limit mt oo and keep only the dominant contribution. This turns out to be of the form ni j . Therefore, we neglect the terms of order or lower as mt —> oo. (Inclusion of the terms would be virtually equivalent to doing the full calculation.) This we will call the large mt Umit. 2. The second hmit is somewhat more complicated. We assume that the mass of the Higgs boson is much larger than all other masses. Again, we expand the diagrams in the asymptotic limit Mjj —> oo but now we keep all terms that go to infinity as M H —> oo. In general, we get contributions of the form Mff, Mjj, In^ ̂ and I n ^ . when we sum over all diagrams, the quartic and quadratic terms cancel. The coefficients of the logarithmic terms are functions of mt and Mw which behave Uke TTif when mt Mw- The terms neglected so far also behave in this way. It is therefore advisable to include the terms in the diagrams that are independent of MH, expand them for large mj and keep the rUj terms. This is what we shall do. We will call this expansion the large MH limit. We will also neglect the masses of all quarks but the top. This means that the Higgs and the would-be Goldstone boson x couple only to the top quark and the bosons. Also the coupling of the <})̂ to quarks becomes purely right-handed. (In general, it is of the form aL -h hR where o and h are mass dependent coefficients.) This approximation is vahd up to corrections of order ml/Mw w .4%. Finally, we will also make some approximations relative to the Kobayashi-Maskawa matrix. A look at 4.89 shows that the diagonal elements of the K M matrix are larger than the off-diagonal ones. We will limit ourselves to calculations involving the least possible number of off-diagonal elements in the two-loop diagrams, namely two. This approximation is vahd up to corrections of order A"* » .3%. 5.2 The two-loop diagrams In this section, we wiU systematically enumerate the 2-loop diagrams involved in the calculation of bd —* db. We will also indicate which of these graphs contribute in the two limits considered in this work, namely the large mt limit and the large M H limit. Since W" — — — » . W — ^ Figure 5.19: The one-loop diagrams W ^ 3 Figure 5.20: The 3-channel diagrams at one-loop the masses of the external quarks are small compared to Mw, we shall set them equal to zero. In the Standard Model, the lowest order diagrams that lead to Bj — Bj transitions are the 1-loop diagrams shown in fig. 5.19. The intermediate state quarks can be u, c, or t. Furthermore, there are the corresponding â-channel diagrams (fig. 5.20). The intermediate state quark we are most interested in is the i-quark. At the two-loop level, there are seven different types of diagrams to be evaluated. We shall systematically discuss them below. It should be kept in mind that every diagram shown stands in reahty for 18 diagrams generated by the 9 combinations of quarks in the loop and their 5-channel counterparts. Type I: These are generated from the 1-loop graphs by exchanging a Z , a Higgs or a X between the quark fines. Since the coupling of the Higgs (or the x) to fermions is proportional to m / , the graphs involving the Higgs or the x coupling to external quarks can be neglected. This gives rise to the set of graphs depicted in fig 5.21. There are 112 graphs all together. The leading behavior in M H and mj is given by the first two and the last two graphs. Type II graphs are generated by Z, H and x exchange between the charged bosons. The exchange of the Higgs boson between the and will generate the 16 graphs shown in fig. 5.22. A l l of these depend on M/j, hence they must all be evaluated. Since the Z-boson and photon couplings to W"*"]^", (l>'^(f>~ and W^cf}"^, there are 32 graphs with the H replaced by the Z or the photon. However, these will not have any Mfj dependence and are also subleading in m^. The exchange of the Goldstone boson x will generate fewer graphs of this type. This is because the only couplings we are allowed are xW'^<p^. Hence, we have the graphs of fig. 5.23 to consider. None of these wiU contribute to leading order. Therefore there are 52 type II graphs of which only the 16 involving the Higgs exchange will have an Mff dependence and leading behavior in rrit. The diagrams of type III are generated by the exchange of a Z boson or a photon between the internal bosons and an external quark. They are shown in fig. 5.24. None of these 64 diagrams contribute to leading order. The type IV graphs are obtained by pinching the bosonic lines of the one-loop dia- grams as in fig. 5.25. Again, none of these diagrams need to be calculated to leading order. Further diagrams are generated from the basic 1-loop diagrams by the renormahzation procedure. These we classify as type V and VI . Type V graphs are vertex correction insertions into fig. 5.19. Schematically they are represented by the diagrams of fig. 5.26. The blobs represent the 1-loop vertex corrections to td{b)W and td{b)(f> vertices and they are to be inserted in all possible ways. Hence, Figure 5.21: Type I diagrams I H ' I W w y w I H ' v>-n, Î H - W" <P I I lAjV CP- 5P* W* fAA/ rtnj-l W" P I ! H - W" — I W wv_ W" f loru- f W \A.n, I W I I v v w v W |A>V ! H - U - l - 4 9»* v\/>L W" f I lA/V V~ W" Figure 5.22: Type II diagrams involving the Higgs I I X w I r - H k--^ 'P w f w I I X Figure 5.23: Type II diagrams involving the x Figure 5.24: Type III diagrams W" w Figure 5.25: Type IV diagrams -I W W . ' d (4) (2) W Td (2) w w v W~ (2) (2) (4) Figure 5.26: Type V graphs: vertex corrections there are 4 insertions in the first and last graphs and two insertions each for the rest giving a total of 16 such vertex graphs. The fermion-fermion-H^ vertex corrections are given by the expansion shown in fig. 5.27 (the tdW vertex corrections are given by the same expansion with the 6-quark replaced by the i-quark). Of the 13 graphs, only the first two depend on MH and none contribute to the leading behaviour. We note that the tbW vertex corrections consist of 104 graphs, of which 16 are needed for the leading behaviour. Similarly, the 13 graphs contributing to the td(l> (or 460) vertex corrections are shown in fig. 5.28. Again, only the first two need to be calculated. Furthermore, the counterterms (fig. 5.29) that remove the divergences in these vertex corrections have to be inserted. Discussion of the counterterms and their calculation can be found in Chapter 4 and in the following section. Adding these gives a total of 208 Figure 5.27: The tbW vertex Figure 5.28: The td(f) vertex d d t t Figure 5.29: Vertex counterterms vertex graphs, of which 48 enter our discussion. The second kind of renormahzation graphs are the propagator corrections. These are the type VI graphs shown in fig. 5.30. There are 8 top quark self-energy insertions, 4 H^-boson self-energy insertion, 4 < -̂boson self-energy insertions and 8 graphs with W-4> transition insertions. These self-energy terms are given in figs 5.31 to 5.34. The diagrams with the crosses denote the counterterms. For the fermion self-energy, only the first three graphs are relevant. The first four and the first seven of the WW and (f><f) respectively are of relevance and the first three of the W<f) transitions will contribute to our calculation. This gives a total of 116 graphs including 24 counterterm contributions. The fuU calculation would involve 324 graphs from this type. We note that in the renormahzation scheme we have adopted, tadpole contributions to the self-energies are cancelled by the tadpole counterterm and hence not shown. FinaUy, we hst the two-loop diagrams which are not obtained from the basic 1-loop graphs (fig. 5.35). These are one-particle reducible graphs (sometimes called "dipen- guins") and we label them as type VII. We show here only the dbZ vertex corrections. There are similar corrections involving the other neutral bosons but they are subleading. This completes our enumeration of the two-loop diagrams for the flavor-changing transition bd-bd in the hmit of zero external quark masses and vanishing external mo- menta. (2) W" (4) (2) (4) (2) W" W" (2) (2) (4) 9»* (2) Figure 5.30: Propagator corrections H * j( L. -I L . + A . w 4- < r v + <r\ Figure 5.31: Top-quark self-energy H* H* W -|- /w>^—-Xvv\, -j- /uv\^ - -Xvw\ -|- /wvy »UWI. Figure 5.32: W self-energy H' H* H' X V o o o 4. ^ 4. — Y 4. Z X ^ w w ^ -|- w r z cTĉ c* ^ Figure 5.33: 0 self-energy wwu-^ W jP* H w W.î» 1 ^ ^ -f- W W \ J 1. — -I- X Figure 5.34: W-cf) transition two-point function Z where L A / W W Z -f- W-< l A / w w Z -h j3-'vuv~^z Z -I- Figure 5.35: Type VII diagrams: dipenguins 5.3 Ca l cu la t i on of the counterterms We will present here the diagrams needed for the calculation of the renormahzation constants and the counterterms. The evaluation of the diagrams is straightforward and use of Appendix D jrields the exphcit value of the counterterms. These are listed in Appendix E. We will keep all diagrams that depend on Mff as well as all those diagrams that behave as rrif or for large mt. The quadratic terms in mt must be kept in the diagrams since they can generate a quartic behavior when inserted in the box diagrams. We will first show that the corrections to Y and ZZA can be neglected in our ap- proximations. The constant ZZA is determined from the mixing self-energy of the photon and the Z shown in fig. 5.36. Since the Higgs doesn't couple to the photon, is independent of Mff. The dependence on mt comes from the top loop. Power counting reveals that can, in principle, behave as . However, because of the Ui gauge-invariance of electromagnetism, ^ZA can only be of the form The function H is dimensionless and is weU defined for = 0. This means that its expansion for large mt is: = a + 6 -7 -H • • • m] where the coefficients a and b are at most logarithmically dependent on mt. Therefore, there is no TTIJ behavior (or dependence on MH) in HZ^A and we can take ZZA — 0. The case of the charge renormahzation y is a bit more complex. It is determined from the e"'"e~-photon vertex (fig. 5.37) in the limit that the photon momentum is zero (i.e. the photon is on-sheU). In addition to Y, we have the wave-function renormahzations Z^^\ ZJĵ ^ and ZAA at our disposal to carry out the renormaUzation. We consider them Figure 5.36: The Z-photon mixing self-energy. Figure 5.37: The e'^e -photon vertex. in turn. ZAA is determined from the photon self-energy; the argument used for ZZA appUes here as well and hence SZAA = ZAA — 1 = 0. Also, the wave-function renormahzation constants of the electron are determined from the electron self-energy Since the electron doesn't couple to either the top quark or the Higgs, we can set SZ^l^'^ = 0. The renormahzation of is therefore completely determined by Y. Again, the Higgs doesn't contribute to r** since it doesn't couple to the photon nor the electron in the massless hmit. The only potential dependence on mt comes from the diagrams of fig. 5.38. However, these are exactly zero in the on-sheU scheme. Therefore, we can take SY= Y-1 = 0. The vertex counterterms that are needed for this calculation are the following: WW, Wcj), 4>4>, tt, tbW, tb<f>, tdW, td(i> and dbZ. Appendix D lists the general form of these counterterms. From this Appendix, we deduce that we need the following renormahzation constants: T, SM^, SMl, SZw, SZzz, SZ^, Smt,SZ'^fi., SZ^ and SZ^. The last of these Figure 5.38: Top-quark contribution to the e"̂ e -photon vertex function 0 H* H' H * H ' Figure 5.39: The tadpole graphs is needed because the leading contribution to the renormahzation of the td(f) vertex is 6Z^[tb<f> . The diagrams needed for the tadpole T are shown in fig. 5.39. The last two are needed since the H<f>^(f>~ and H-)^ couplings are proportionnai to M ^ . The renormahza- tion constants SM^ and 8Zw are determined from the W self-energy (fig. 5.40). The Z self-energy (fig. 5.41) yields (JM| and 5Zzz- Note that we need to calculate the renor- mahzation constants of the Z propagator even though the Z boson is not part of any of the "leading" two-loop graphs. This is a pecuhar feature of the on-sheU renormahzation scheme. We get only one renormahzation constant, 8Z^, from the <j) self-energy of fig. 5.42 since the mass renormahzation is already taken care of by the tadpole. The renormahzation - f H" w Figure 5.40: The W self-energy t H' o H' •^^••^ ^wv\ X + + Figure 5.41: The Z self-energy + H' J \. 9 + — H* o + X o + o Figure 5.42: (f> self-energy X 9* Figure 5.43: Self-energy of the top quark constants 6mt, SZ" and SZjl ate obtained from the top quark self-energy (fig. 5.43). Finally, only one graph contributes to the bb and bd self-energies (fig. 5.44) and the determination of 6Z^ and SZjf (the mass renormahzations and 5ZR are both zero). The complete results for the counterterms are shown in Appendix E. b(d) Figure 5.44: Self-energy of the b-quark 2 Figure 5.45: The di-penguin diagrams 5.4 The di-penguins We are now in position to tackle the two-loop calculation. We begin with the Z "di- penguin" diagrams of fig. 5.45. These can be extracted readily from the work of Inami and Lim [19]. These authors calculated the Zbd vertex at one-loop. Their assumptions are less restrictive than ours and therefore their results could be used directly. We wiU not do this here but instead present a calculation of the vertex in the on-sheU scheme in the large mt limit. Since the result is independent of the renormahzation scheme used, this will give a check on Inami and Lim's calculation. The dipenguin SP of fig. 5.45 is related to the Zbd vertex function 1^(0) (fig.5.46) by SP = ^ r - z ( o ) r , z ( o ) (5.90) In the large mt limit, only three graphs contribute to (see fig. 5.47). Graph (c) is trivial to evaluate given the counterterm of Appendix E . Graphs (a) and (b) are called penguin diagrams, hence the name dipenguin for fig. 5.45. They can be expressed in terms of the integral ^ ' ^ " ^ ^ = / ( ^ ( 7 ^ This is so because the external momenta are taken to be zero. The most general form of Figure 5.46: The flavor-changing three-point function Zbd ^ 0 * (a) (6) (c) Figure 5.47: Contributions to the Zbd vertex a 1-loop integral under those circumstances is I (27r)" D with «=1 where a , A and are integers. We can use partial fractions to write n 2-1 (5.91) (5.92) D ^{p2-mjp where the coefficients Cj and the integers jj can be found from the exphcit form of D (eq.5.92). Substituting this in 5.91, we see that we can write J i as a sum of integrals of the form J (27r)"(p2-rn2)/3* This in turn can be written as a sum of integrals of the form via the replacement _^ _ ^̂ 2̂ _̂ ^2 j^^j ĝ^̂ expansion of the numerator. Finally, fl'*(m) can be recursively related to H^{M). Note that Also, the scahng p —> mp' in 5.93 shows that H''{m) = (m^)^"/^-*:)^^ where A^ is independent of m. Therefore, and finally ( f c -1 ) 2 A l l we need to calculate exphcitly is H^{m). This can be done easily using the results of Appendix C. Using this and the counterterm formula of Appendix E for the bdZ^ vertex, we find exphcitly: 40967r4 J ^^-^^^ This result holds in both limits since, as we will see, the dipenguins are independent of M„. There are other possible dipenguin diagrams, namely those where the Z is replaced by any other neutral boson. However, these are aU suppressed. If the particle exchanged is a photon or a gluon, gauge-invariance ensures that the amplitude behaves at most as TTif. The reasoning that leads to this conclusion is similar to that of section 5.3. The Figure 5.48: A penguin diagram involving the Higgs three point function hdA*^ = FjiJ vanishes at zero external momentum by gauge-invariance (see [19]). When we construct the dipenguin,we take r^(0)r;:^(0)P^^(0) where P^,^ is the photon propagator P ,̂, = —igfju/k^- Owing to the pole in the photon propagator at zero momentum, this expression is finite but dimensional analysis shows that it can behave at most as since it lacks the 1 / M | factor of eq. 5.90. The case of the Higgs (or x) exchange is interesting. The three point function F// has a contribution of the form shown in fig. 5.48. Since the coupling (j>'^<i)~H is proportionnai to Mfj, we would expect this to be very large. However, in the hmit m;, = = 0 amd zero external momentum, the loop integral is actually zero. (The integrand is an odd function of p.) This means that, had we kept the mass of the b quark non-zero, we would have found a result proportionnai to mlMfj for the loop and the dipenguin would behave as [mlMjjYlMjj = m^Mjf where the 1 / M ^ comes from the Higgs propagator. This could be comparable to the leading term if mi Mff . > or MH > 20TeV for mt = 90GeF. We will ignore this possibility here. The same conclusion apphes to the x exchange. This completes our study of the dipenguin diagrams. We will now turn to the box diagrams. 5.5 T h e box diagrams The evaluation of the box diagrams is much more involved. We will give an overview here and leave the details of the calculations to Appendix F. The results are shown in Appendix G. After first taking care of the Dirac and Lorentz structure we are left with a scalar integral of the form f f{p,q)/D where i=i j=\ and f{p,q) is a quartic polynomial in p and q. (In this and the following, the integration d"p d"q . measure -——-—r- is not written exphcitly. Partial fractions reduce this integral to a (27r)"(27r)" f J & sum of terms J f{p,q)/D' where D' = {p'-mly{q'-mly{ip-qy-ml) The polynomial f{p,q) can be ehminated by using p^ = {p^ — m\) + m\ and other such relations. We are left with two types of terms • Products of one-loop integrals H*{Mi)H^{M2) • Terms of the form /•'•'(mi,7712,7/13) where /''•' = fl/D' The first entry in Appendix G gives the value of the diagrams in terms of /'••' and /f*. Partial differentiation allows us to express aU of the /''•' in term of P'^ and /^'*. P'^ can also be related to P'^ by partial differentiation but we will not do so. (In Appendix F, we derive an algebraic relationship between P'^ and P'^.) AU we have to do now is to evaluate /̂ '̂ (Tni,77x2,7713). This can be done analytically in terms of dilogarithms. We can then expand P'^ for large TTIJ (or large MH) and collect the leading terms. The second entry in Appendix G corresponds to the large Mff limit and the third to the large mt Umit. Only the first step (reduction of digrams to scalar integrals) is done "by hand", the rest is done by computer using Mathematica programs. To minimize the possibiUty of error, two different codes were written independently (with co-worker Pankaj Agrawal) 22] and the results compared. 5.6 The results The results of Appendix G exhibit the behavior previously mentioned, namely the large MH results consist of terms of the form Mff, Mfj, In^ MH, II^MH, and while the large mt results show only the mj behavior. Several features of these results deserve further examination. In diagrams of type V and VI , there is a tendency for the leading behavior to cancel when the basic graph and its counterterm are added. This is most visible in the self- energy insertions (type VI) and can be seen to foUow from our choice of renormahzation The general expression of an unrenormahzed self-energy for a particle of mass M can be expanded in , say, the large mt limit: Clearly, S/j does not have an term. This would not be true with minimal subtraction (for instance) as the renormahzation scheme since in MS, only the divergent part of à is removed by renormahzation. This argument apphes only to the physical particles. The unphysical particles <f>^ and X are not renormahzed on-sheU but rather through the tadpole counterterm. However, scheme. The leading behavior is m; by: SH(fc^) = S( fc^) -S(M^) b Figure 5.49: <f> self-energy correction an explicit calculation shows that the leading behavior cancels in them as well. This means that the leading behavior cancels in all one-loop self-energy graphs. We can't conclude from this that every two-loop diagram with a self-energy insertion wiU share this property: the argument merely suggests that it is a possibility. The actual calculation gives a canceUation of the leading term for all but one of the type VI graphs. The exception, shown in fig. 5.49 is the quark contribution to the self-energy of the which exhibits an behavior. The reason why this occurs is still unclear. In the large MH limit, the first two leading orders ( M ^ and Mjj) cancel in both the type V and type VI graphs. This is another manifestation of the screening theorem discussed in section 3.4. The behavior left-over is only logarithmic in MH but is usually quite complicated in mt. There is also a log^ MH term in graph D5 (fig. 5.50). The dependence on mt of this term is remarkably simple, namely without any corrections. Again, the reason for this is unknown. The sum of all graphs of Appendix G and the dipenguin term (eq. 5.94) is given by: • In the large mt Umit: 16384ir4 • In the large MH Umit: Figure 5.50: Diagram D5. This diagram is the only one to have a log^ M / / dependence. 327687r4 + 5 - 60x + 340x2 - 42Gx^ - Hlx"* 491527r4 I A/a +452x^ - 176x^ + x2lnx(93 + 104x - 373x2 ^ ^JQ^3^| where c = cos^pv, s = sin^w and x = Mfy/rn}. An important comment about this result The above results include only £J(mt,mt) and E{0,0). The case with different quark masses requires a separate calculation, this is inconsequential for the pure m'} terms and for the In^ ^ term since in these cases, the neglected term is subleading. However, E{mt,Q) is needed for the \n{Mjf /m]) term. This is reserved for future work. In order to faciUtate comparison with the 1-loop result, we can recast these formulas as corrections to / (x) of eq. 3.62, that is is in order. Recall from eq. 3.61 that the result for the box diagrams can be written as: Box = al{E{Tnt,mt)-2E{mt,0) + £^(0,0)) Mu = {B,\H,„\Bd) where with / K = (17 — 6— large mt \ •* / = ^ ( 4 9 1 + 6 0 ^ ' - 4 3 2 ^ ) + ^ ! ^ ' ^ large where the In Mff terms have not been included since their calculation is incomplete. Numerically, the correction is negative and very small. A = - 1 X 10 [M'WJ = - 1 X 10 - 4 m: large mt I / large Mff Chapter 6 Discussion and conclusion. We have shown in the previous chapter that the 2-loop correction to the Bj — Bj mixing is much smaller than the 1-loop result for reasonable values of mt {mt < 250 GeV). Hence, predictions based on the 1-loop result are unaffected by our calculation. In practice, this means that if the top quark is found with a mass larger than that allowed by the present experimental value of Bj - Bj mixing (which yields the bound mt < 200 GeV), the source of the discrepancy will not be higher order corrections in electroweak theory in the Standard Model. In that case, one would have to reevaluate the hadrordc matrix elements and/or include higher order strong interaction corrections. More interestingly, the existence of new particles such as those predicted by the supersymmetric models may then be required. It is interesting to compare this result to the similar calculation of the /j-parameter at two-loops by Van der Bij and Hoogeven [13]. In both cases, the ratio of the 2-loop to the 1-loop result is small and negative. It may be a little premature to generahze from these observations. Nevertheless, if we assume that the pattern holds for all low-energy processes, the two following conclusions can be drawn. The first conclusion, which has already been alluded to, is that the perurbation series for low-energy processes converges a lot faster than what one would naively expect. In practice, this means that the lowest order calculations will often be accurate enough to describe a phenomenon completely. The second conclusion has to do with the point at which perturbation theory fails. We have already mentioned several times that the 2-loop result is small if rut < 250 GeV. If we do not impose this restriction on mt, the 2-loop correction can be quite large. In fact, for mt « 10 TeV, the 2-loop and 1-loop amplitudes are of the same order. This is also what is found in ref. [13]. Given that the 1 and 2-loop results have opposite signs, they tend to cancel for mt ^ 10 TeV. Therefore, for such a large value of mt, decoupling appears to hold: the low-energy observables do not depend on mt. There is a problem with this argument, however: if the two-loop corrections are large, the three- loop corrections might very well be large tool A careful discussion of possible decoupling would require calculations at three-loops or higher. Given the difficulty involved in the two-loop calculation, it appears unlikely that the three-loop calculation can be done, unless some new calculation technique or approximate theories are developped. This is indeed a very active field of research (see, for instance, ref. [23] where an effective field theory for very massive particles is constructed). Besides estabhshing the accuracy of perturbation theory for mt < 250 GeV, our result can also be used to check the vahdity and consistency of these recently developed effective field theories by comparing their result at two-loop with ours. It is also perfectly possible that the similarities between our calculation and that of Hoogeven and Van der Bij are totally accidental. In this case, there could well exist some low-energy observables for which the two-loop corrections are large, even for modest mt. A possibihty is that of rare kaon decays such as K'^ TT'^I/Î/ which are known to be sensitive to the value of the mass of the top quark. Besides the box diagram, this kaon decay also proceeds through the three-point function Z'^ds (fig. 6.51). This function is expected to have a dependence on mj and Mff of the same form as the one found here but perhaps with larger coefficients. This is reserved for future work. d s Figure 6.51: The Z^ds three-point function Bibl iography [1] Argus collab. Phys. Lett. B192 (1987) 245. 2] C. Itzykson, J .B . Zuber. Quantum Field Theory. McGraw-Hill (1980). 3] T8.P. Cheng, L . F . L i . Gauge Theory of Elementary Particle Physics. Oxford Uni- versity Press (1984). 4] K. Aoki et al. Supp. Prog. Theor. Phys. 73 (1982) 1. 5] J .C. Taylor. Gauge Theories of Weak Interactions. Cambridge University Press (1976). 6] J . Collins. Renormalization. Cambridge University Press (1984). 7] E.D. Cummins, P.H. Bucksbaum. Weak Interactions of Leptons and Quarks. Cam- bridge University Press (1983). 8] R.L. Kingsley Phys. Lett. B63 (1976) 329. 81. Bigi , A.I . Sanda. Phys. Lett. B171 (1986) 320. 9] See for instance: A. Sirlin. Phys. Rev. D22 (1980) 971. W . J . Marciano, A . Sirlin. Phys. Rev. D22 (1980) 2695. D.J . Peters. Masters Thesis. U .B .C . (1991). 10] M . Veltman. Nucl. Phys. B123 (1977) 89. 11] M . B . Einhorn et al. Nucl. Phys. B191 (1981) 146. 12] T. Applequist, J . Carrazone. Phys. Rev. D l l (1974) 2856. 13] J . J . Van der Bi j , F. Hoogeven. Nucl. Phys. B283 (1987) 477. 14] J . Van dc- B i j , M . Veltman. Nucl. Phys. B231 (1983). 15] G. 't Hoo.., M . Veltman. Nucl. Phys. B44 (1972) 189. 16] D. Espnu, R. Tarrach. Z. Phys. C16 (1982) 77. 17] See, for instance: Z Physics at L E P I G. Altarelh, R. Kleiss, C. Verzegnassi eds. C E R N 89-08 Vol. 1 (1989) for a theorist's account. 18] See, for instance: A . J . Buras et al. Nucl. Phys. B238 (1983) 529. [19] T. Inami, C.S. Lim. Prog. Theor. Phys. C5 (1981) 297. [20] Aleph coUab., D. Decamp et al. Phys. Lett. B257 (1991) 492. 21] F. Mandl, G. Shaw. Quantum Field Theory. Wiley Interscience (1984) 22] P. Agrawal, S. Fortin, J . N . Ng. In preparation. 23] G.L. Lin, H . Steger, Y . R Yao. C E R N Preprint TH.6006/91 (1991) A p p e n d i x A Notat ions and conventions A . l M e t r i c The metric used is (/i, u = 0,1,2,3) 9,u = g'"" = 0 - 1 0 0 0 0 - 1 0 0 0 0 - 1 Summation over repeated indices is understood unless exphcitly stated. ^ 1 0 0 0 ̂ The abbreviations are often used. Three-dimensional vectors are denoted by boldface letters. A . 2 D i r a c matrices The Dirac matrices 7*̂ satisfy {Y,Y} = l''Y + YY = 2g^" with 7° hermitian and 7' antihermitian (i = 1,2,3). The matrix 75 is defined by with 75' = ! , {75,7'̂ } = 0 The totally antisymmetric Levi-Civita tensor is given by: - f l if {/i,i/,p,<r} is an even permutation of {0,1,2,3} -1 if it is an odd permutation 0 otherwise Identities: • = -6g Reduction formula 7a7/37A = 9ali')\ + 5/3A7a " 5aA7/3 + i^ncBXl^lh (A.95) Traces: Trace of an odd product of 7*̂ matrices vanishes rr(757'') = 0 rr(7'^7'') = 43*̂ " rT-(7'^7''75) = 0 Tr{YYYi'') = ^{g'^'g'^ - g'^'g'"' + g'^g"') Completeness. Let Ts = l,Tv= 7 ,̂ T T = i [ 7 ' ' , 7 l = H^'^T" - Yr), = f^fs, Tp = 75. A n arbitrary 4 x 4 matrix can be expressed as a combination of the T with the (generally complex) coefficients found by taking traces. A . 3 The P a u l i matrices The Pauh matrices cr = (CTJ,tra,0-3) are: \1 0 ) <T2 = 0 0-3 = ' 1 0' 0 - 1 They satisfy with eijk totally antisymmetric and £123 = 1. Also: A p p e n d i x B Feynman Rules The Feynman rules for the vertices in the Standard Model of electroweak theory are given below. The hst does not include the vertices involving the ghosts. These can be found elsewhere (see for instance [2]). The vertices can be derived using the methods of Chapter 2. We also give the expression of the propagators for fermions and spin 0 and 1 bosons. B . l Vertices involving fermions In each diagram, u can be replaced by c or t and d can be replaced by s or b, with the corresponding change in the Feynman rule. Similarly, e~ can be replaced by / i ~ or r ~ , provided that z/g is correspondingly changed to t/̂ or Ur. The symbol / refers to any of the quarks or leptons. and 3 = sin^w, c = COS^H'- V is the Kobayashi-Maskawa mixing matrix. B.2 Vertices involving the gauge-bosons In these diagrams, ^ i , ^2, ^3 refer to the momenta of the particles. A l l particles are con- sidered to be entering the vertex for the purpose of determining the sign of the momentum or charge. The following definitions are used: C^t,p{ki,k2,k3) = {ki — k2)pg^i, + {ki — k3)^gt,p + {k^ — ki)^,g^p -ig^c'^S^^,p„ = -iegcSf^u, •V ' - .B. . - 2s'fg,^ / \ xg^ 2c2 x/ \ x / \ 2c' B .3 Higgs vertices The following diagrams come from the Higgs potential. \H IH H ^ - ^ H 2 Mw X A X ig_Ml_ 2 Mw \ / X X/ \ x X 3i^^ M ^ 4 Mâ X X ^. i^Ml 4 M ^ X c * / ^ \ * - " 2 Ml B.4 Propagators Vector-bosons r^^r^n^ =^^-~^,[g,. + {i-i)KKI{k'-iM') where M is the mass of the boson and the gauge parameter ^ will be set equal to 1. Scalars where = ^M^ for 4>^, M^ = (Mj for x, and M' = Mff for the Higgs. Fermions A p p e n d i x C Integration in n-dimensions We present here a few identities that are useful for the calculation of dimensionaly reg- ularized Feynman integrals. The Feynman identity 1 r ( a i + --- + a „ ) y , , r / , s X xr '•••x;. allows to combine the various propagators. Some exphcit formulas for n-dimensional integrals are: j'i = I d"pp^/{-p' + 2p-k + M'y = iiT"l\k^ + M2)"/2-«yfc''r(a - n /2) /r (a) j r = I dTpp^p'-Zi-p'+ 2p-k + M')''=iT:"^\k'+ M')"^^-'' X r ( a - n/2)ifc'̂ fc'' - r ( a - 1 - n/2)g^''{k' + M')/2] /T{a) Here, the Gamma-function is defined by: r(x) = r dtt'-'e-' Jo In particular, for small x: r ( x ) « - - 7 £ ; ( x ^ O ) X Appendix C. Integration in n-dimensions 121 where JE is Euler's constant (7s = 0.534). A n interesting identity that does not, strictly speaking, follow from Jo is fd-pp'^^O for aU a and n. Appendix D Renormalization conditions and counterterms. In this Appendix, we tabulate the counterterms that are needed for our calculation and the renormahzation conditions associated with them. We give both a parametrization of the Green functions and the structure of the counterterms. In the counterterm formulas, it should be understood that the part that survives when all the counterterms are taken to zero (the tree level value) should be subtracted. D . l Tadpole •X =iT Renormahzation condition : tadpole=0 Renormahzation constant : T D .2 Two-point functions(self-energies). X =•>""• ( 2 z z ( M | + SMl) - k'(Zzz + ZAZ)) + ik'k'iZzz + Z^z) Renormalization conditions : AziMz) = 0 A'ziMi) = 0 Renormalization constants : Zzzi (For our purpose, ZAZ can be set to zero.) Renormalization condition : F'4,{M'^Y) = 0 Renormalization constant : Z^ % =ik^C^ik^) X — . =-ik^MwG,vZll'zl'' There is no new renormahzation constants needed for this function. = I Renormalization conditions : E i ' K ) + m.SV(m2) = 0 EV(m2) = 0 E5, (mn = 0 2m.E'''(m?) + + 2mf S;''(77i?) = 0 for i = j and for X 7̂ j. Renormalization constants : Z(^u]L, ̂ (u)R) m^"\ There is also the two-point function for the down-type quarks, which is the same as for the up-type quarks with u —* d. D.3 The three-point functions No new renormahzation constants are needed for the three-point functions (it is argued in Chapter 5 that the charge renormaUzation is zero in our approximations, which means that we can take V = 1 in the foUowing formulas). We wiU use the notation [<f>\(f>24>3] for the three-point vertex <pi — <p2 — <l>3 of Appendix B and the subscripts R and L wiU refer to the right-handed and left-handed parts of the vertex respectively. We wiU only give the counterterms here. 0 MJ Here, q = u oi d and 7 I / 2 _ 7 I / 2 p 7 I / 2 ^ .1/2 '(9)'Â _ 7 l / 2 t r , , 7 ' / 2 t r Also, the vertex [Z''g,g,] is defined as f^f^'iAqL - 2sin2 9wQq) where Ç, is the charge of the quark and A, = 1/2 Ad = -1/2 Finally, we also show the counterterm to the interactions between the charged would- be-Goldstone bosons and the quarks. 0+ _ yGrv'G,zy2(zj^t^)i/2GK[^+ii,d,],(z;.)j^/2 The following abbreviations have been used throughout: Gw Gz Ci") 1+ Ml w w 1 + 8MI Ml (9) = 1 + m H Gx G2 1 + 6MI - SMI \ GzlH Gz/Gw w Ml- Ml w A p p e n d i x E Renormal izat ion constants and counterterms. In this Appendix, we present the renormahzation constants and the counterterms needed for our calculations. The renormahzation constants, as determined with the formulas of Appendix D, are as follows: + ln 1287r2 / M | ( l - x ) + m f x 2 \ +2m dx 47r / J x ( l - x ) ( 2 - x ) x 2 ( l - x ) + x ( l - x ) A / ^ ( l - x) + MU^ -x) + m]x^ " - m^xj Srrit mt 647r2 i 2 U - ^ ^ ) ^ / o ^ - n M | ( l - x ) + 4 x O _ r . x ( l - x ) [ l n r ^ ^ ^ ^ - - ) - - - - ^ ^ - - ) ) + l n f ^ H i ^ ^ l ± ^ ) ^0 „ L V 47r / \ 47r / + l n ( - ' M | ( l - x ) + m 2 x 2 ' 47r 647r2A /w { [l-fE + l ) (24m? - 3Af^ - 2MJ,Ml - M^Ml) - 24m? In ^ + 3 M ^ I n ^ + 2 M ^ A A V l n ^ ' ^ 47r 47r + M ^ M | l n 47r l^{Mlf-2MjfMl)l^dx :{l-x) + Ml{l - x) M^x^ + Mjf{l - x) -2Ml/ - - 1 E ^ M 2 , = - ^ | + 2 d x (Aff ,x2 + Mlil - x)) - 7E + 1 - ln ( 'M2.x2 + A / ^ ( l - x ) 47r -Ml \2 , , A/2-. - - 7£ + 1 - In ^ .e 47r T J W o Le V 47r / - 12 Jl dx (m?x - A/2 ,x( l - X)) - 7 . + 1 - ^^(-^'--M^<^--)^ + I2m.l e 47r 2 • / M ^ r ' + M ^ ( l - x ) N l x ( l ° - x ) 1 r w 2 f , 2 / ' [2 , /m? - A /|x ( l - x)\ 647r2c2 +24(C7f + C j 2 ) m 2 [2 , , - - 7£ + 1 - In .e 47r. 2 / - - 7 £ + l - l n ( m^ - A /|x ( l - x)>y 47r -24(C7[' + C'^) 1^ dx (m^ - Mlx{l - x)) + 2 / ; i x (Aflx^ V A/2 (1 - .)) p _ + 1 _ , , ( M l x 2 + M ^ ( l - x ) > j - 4 A ^ | / ; . x r 2 - .J^^l^^'^Kil-x)^ - - 7£ - In A /^ - - 7E + 1 - In ^ e 47r SZz= dx x{l-x) + .e \ 4ir J\ ^ Jo M^x^ + Mjf{l- - I dxx{l-x) Jo ir 2 , fM^x^ + Mjfjl - xy 47r These formulas take a simphfied form when we consider them in the two limits men- tionned in Chapter 5. In the following, we will give the form of the renormahzation constants first in the large MH hmit and second in the large mt hmit (denoted by a 4)- (If the two limits happen to coincide, we give only one result.) ^(Zl')^/^=- 1287r2 \MwJ (mty 1287r2 \Mw) 2 1 1, 1, M2 A/2 - - 7 £ - 4 - 2 1 n - ^ + ln ^ e 47r 47r 4 T J (̂̂ ^̂ — 1 2 8 ^ ^ ; g f mt '647r2 \Mw. M l 4 7 r / 6mt_ g^ / mt \2 mt 647r2 xMwJ n 2 '3/2 \ 7 3, Ml 47r 647r2 g 647r2A/w / m t \ 2 / 3 / 2 \ 3 m\\ \Wv) l 2 i l - ^ ^ j + ' - 2 ^ " 4 7 | I - 7E + l) (24m^ - 3A/̂ - 2A/^A/il, - A/^A/|) - 24m^ In ^ +3A/̂ In ̂ + 2Af̂ A/̂ 2̂ In ̂ + MlM\ In ̂ | 47r " ''̂ 47r " 47r J 3gm '87r2A/w Mjf , . , Ml ^ ,^2 , Mff 327r2MiV 2 1 , m 7 - ^ ^ + 2 - ^ N . I] ^ ^ ^ ^ — 3 2 ; ^ 1 - 3 - 1 7 + T " + " I? (2 1 , m H SZ\v = : 327r2 - - 1 E + 1927r2 4 =0 In 47r 8Zzz— 9' (1̂ 1 In 1 3 ^ + 327r2c2 4T 327r2c2 I 2 < - -[ e - In 47r 5̂ , 192.^ 47r 1 =0 ^ Vu 1287r2 V M ; v , The counterterms are given by: / m,t m: 47r - - 7£ - In e 47r 2/ =x 9'"- 1^ {AW + {Ml - k')Bw) + i^Cw - r - x - v =iiA^ + B^k') w w v X — = - i M w k ^ A w é t =A4,ib[<i>~bt where, Aw ~ SMfy Bw — SZw Cw = Aw + M^Bw B^ = 8Z^ A p p e n d i x F Calculat ion of two-loop box diagrams We will present here the details of the calulation of two-loop box diagrams. First, an apphcation of the Feynman rules of Appendix B gives the foUowing general form of the diagram: / ( ^ ( ^ ^ ( - ' / - where D = ULAP' " ^ D " " U^il' ' "^'f' ((? " " M') and is a quartic polynomial in j) and q. To simphfy this integral, we can use the identities (we omit the measure jj^jf^) jj^fg[v,q) = \j p'g{p,q)9''' Jp^q"g{p,q) = ^ f p-qg{p,q)g'"' / P V P ^ « P , 9 ) = :;^^^^^lp'p-qg{p,q)^^^^ I p'^/q'-q'^giP, q) = ^ ï V - T ^ ^ ^ ^ ' " ^ ' * " + B^s'^g"' + g^'g^} J n[Ti — i)[n -f-1) where A = / { (n + l)p'^q^ - 2(p • qf}g{p,q), B = /{n(p • qf - p'^q^}g{p,q) and g is an arbitrary function of p and q. These identities are easy to derive when we realize that the Lorentz structure of the integrals foUows immediately from the symmetries of the integrand and the fact that we can only use the metric in their construction (there is no external momentum). The coefficients can then be found by contraction of the indices. As a second step, we can reduce to a minimum the number of 7 matrices present by the use of the identities of Appendix C. An arbitrary diagram can now be written as AiT]i + A2V2 where rji = ubf"LudVdfaLvi, and 772 = Ubi'^i^'i^Lu^VdlslalaLvb and the A, are integrals of the form / h{p,q)/D where h \s a scalar function quartic in p and q. Using partial fractions, we can write this as a sum of terms of the form / A(p,(j)A'''-'(mi,77i2, where The foUowing identities prove useful: J[p • qYK''\muTn2,m3) jp^p • qK''^{mi,m2,m3) jip" + q^ - ml)p • qK^'^imi, mz, m3)/2 /lip' + - m^yi^ ' '^ ( ,n„m2 ,m3 ) / 2 ] -H'-\m,)H'{m2)/2 - mlH'imi)H'{m2) Jp^K'''{mum2,m3) = m] jlp^K'''{mum2,m3)] + H^-'{m2)H\m3) +{ml + ml)W{m2)H\m3) i = 1 = jp^[K'~^'^{mx,m2,m3) 4- m,iir''-'(mi,m2,m3) Ip\^K'^\mum2,m3) = j K'-'''-\mi,m2,m3) j +{m\q^ + mlp^ - mim^)ii:''J(mi,m2,m3) / [ ( P ' + 9' - m^)/r-'^(mi,m2,m3)/2] - /r'(m0^^(m2)/2 j[iif'"^ •'(mi,m2,m3) + miiir''-'(mi,m2,m3) i > 1 jp • qK''^{muTn2,m3) j p'^K''^{mi,m2,m3) as weU as the identities obtained from those above vie the interchange q q , mi <-> m2 , t J Here, H'{m) is the 1-loop integral H'im) = / dy 1 (27r)" (p2 - m 2 ) ' (F.96) Its value wiU be given later. These identities can be derived easily by the substitutions p^ —* (p^ — m]) + m\, 2p • g = —[((p — qY — ml) — p^ — q^ + m^] and so on. Their repeated apphcation allows us to express the integrals as a sum of terms of the form /'•'(mi.mzjTna) = J K''^{mi,m2,m3) We can reduce the values of i and j with the help of partial differentiation 1 d /''•'(mi,7722,ma) = _ 1) ^^"^''"^^'"^^^ •/••' (mi,m2,m3) ( j - l ) ô m r We could therefore write aU of them in terms of P'^. However, it is preferable to express them in terms of P-^, which is easier to calculate. Note that we cannot obtain P'^ in terms o{ P-^ by partial differentiation. We can, however, use a different technique. Notice that P'^ is a homogeneous function of degree 2(n — 3), that is /i'^(Ami,Am2,Am3) = X'^''-^^ P'\mum2,m3) By Euler's theorem, we get P^\m,,m2,m3) = ^ ^ - i - ^ ( m i ^ + m z ^ + m 3 ^ ) r ' ^ i , m2, ma) ( ^ i ^ ^ ^ ^ ' ô ^ + ^ ^ 5 ^ + m 5 ^ ) / ^ ' ^ ( m i , m 2 , m 3 ) Now, Similarly, I {r^ - min,^ - m'Mp - qy - ml) = /^''(m2,mi,m3) =/^' '(m2,m3,mi) 5/5m^/*'^(mi,m2,m3) = /^' ' (mi,m2 ,m3) 5/5m3 / ' '^(mi,m2 ,m3) = /^'^(m3,mi,m2) and we get: J ' ' ' (mi,m2,m3) = -—^—-rlm.'lP'\mi,m2,rn3) + m.lP'\m2,m3,rnx) -{-mlP'^{m3, m i , m2)| The function /2'^(mi,m2,m3) can be calculated after a Feynman parametrization. The result is: / ' (mi,m2,m3) = - 1 I 2̂ ^ 1 2567r'« |e2 e 5 TT̂ - 4 ^ 2 / m2\ 1 / m2\2 l - 2 7 £ : - 2 1 n ^ + M l - 2 7 E - 2 1 n ^ V 47ry 4 V 47r; 2 2 , m, m,i where with mj mj J''\x,y)= f dz, f dz2^—^\n[l + {y} -1)Z2 Jo Jo Z2 (F.97) (F.98) Exphcitly: J2' ' (z ,y) = l + ^ l n i l n y + 1 - Zi^ Zi 2x 16 4 i-x-y-VX + i l n 2y + - In - In / 1 + X - y + -y/ÂA / I - r + y - >/Â' 4 i _ x - y - V ^ 4 X [\i + x-y-VxJ \l-x + y-tVX, + Li2 - 2 i + Li2 \1 - X - y - >/Â; A = 1 - 2x - 2y - 2xy + x^ + y2 - 2 y V l - X - y - N / Â ; Our last task is to obtain the expansions of the / ' w h e n one or more of the masses are made large. In practice, we will encounter only P'^, P'^, P'^ and P'^. Furthermore, P'^ is algebraically related to P'^. Therefore, we only need to expand P'^, P'^ and P'^. As we have seen, P'^ and P'^ are related to P'^ by partial differentiation. However, we cannot obtain their expansions by differentiation of the expansion ol P'^ since, in general, these operations do not commute. We must first obtain a general expression for P'^ and P'^ and then expand them. It is convenient to define P'^ and P'^ by 1 2 2 t2,2/ ^ ^ \ _ ^ 72,2/-"̂ 2 The expansions for P'^, P'^ and P'^ will be given below. In those expressions, x <ti I, y <^ I and a is not too large {ax < 1). In practice, a is almays less than 1. The expansion parameters x and y are (^^)^, (^^)^ or (j^)^- We assume all of these ratios to be small. The coefficients of the J 's can be as high as m]^ and Mf{. Therefore, we need to expand these functions to at least the fourth order in the small quantities. The expansions we give are vahd to the fifth order. This is done by computer algebra using two independent codes. Furthermore, the first three of these functions have been checked against the results of ref. [13|. P''{x,y)=l/2 - 7rVl2 + i + x'/i + x V 9 + x'/l6 + xV25 + (1 - 7rV3)xy/2 +(3 - 2TryZ)x^y + (11/2 - 7r^)x''y + (74/9 - 47rV3)x^y +(49/8 - 37rV2)x2y2 + (35 _ 87r^)x^y^ - lnx(x + x V 2 + x V 3 + x V 4 + x^S) -2/In x(x + 4x2 + 8x3 + 38xV3) In x ( i +2 1 x 2 / 2 + 40x3) -y^lnx{x + 20x2) _ y^xlnx - y l n x l n y ( x / 2 + 2x2 ^ 3 3 . 3 ^ 4 3 . 4 ^ - y 2 l n x l n y ( 9 x 2 / 2 + 24x3) +x <-> 1/ P''{a,l/x)=P'\l/x,a) = 1 + 7r2/6 + (In^ i ) / 2 - x { l + a - 7r2a/3 - a In ax - a In o In x - In^ x} - i 2 { l / 4 + 3o - 27r2a/3 + a2(9/4 - 7r2/3) - a l n a ( l + 5o/2) - In x ( l /2 + 4a + 5a2/2) - a(2 + a) In ax In 1 } 1/9 + (11 /2 - Tr^)a + (9 - 2Tr^)a^ + (47 /18 - Try3)a^ - o l n a ( l + 8a + 10aV3) - I n i ( l / 3 + 8a + ISa^ -f 10aV3) —a In ax In i ( 3 + 6a + a )̂} -a;^{l/16 + 74a/9 - + 107aV4 - Sr^a^ + (20 - 8x^)a^ +(401/144 - 7 r V 3 y - a l n a ( l + 33a /2 + 23a2 + 47aVl2) - In i ( l / 4 + 38a/3 + 42a2 + 300^ + 47aVl2) -a In ax In x(4 + 18a + 12a2 -f- â^)} - x5 { l /25 + 797a/12 - 5n^a/3 + 569aV9 - 407r2aV3 + 177aV2 - 207r2a3 +328aV9 - 2G7r2aV3 + 5197aVl800 - ir^a^S - o l n a ( l + 28a + 82a2 ^ i42a3/3 + 131aV30) - l n i ( l / 5 + l G 7 a / 6 + 308aV3 + 1440^ + 169aV3 + 131aV30) - a In a i In i ( 5 + 40a + eOa^ + 20a^ + a")} J2 . i ( l , x )= j2 . i (x , l ) 1 + I + 5 i V 3 6 + 47xVl800 + 319iV58800 + 1879iVl587600 - x l n x ( 2 + i / 3 + i V l 5 + xV70 + iV315) j2-2(x,y)=-y{7r73 - x(2 - 47rV3) - 1^(17/2 - STT^) - i3(l82/9 - 167rV3) -x^(2701/72 - 257rV3)} + y^{2 - 27rV3 + x(14 - ÔTT )̂ + x2(65 - 247r2) +x3(1921/9 - 2007rV3)} + y^{9/2 - TT̂ + x(50 - IÔTT^) + x2(597 /2 - IOOTT^)} +y^{65/9 - 47rV3 + x(1133/9 - IOOTT^/S)} + y^{725/72 - 5x73} - In i { l + X + i2 + x^ + x" + + y ( l + 8x + 24x2 ^ i52a;3/3 ^ 5Z5x*/6) +y2(i + 21x + 120x2 ^ i240xV3) + y 3 ( l + 40x + 370x2) + y^{l -\- 65x) + y'} - y l n y { 2 + 4 x + 6x2 ^ 33.3 ^ ^ Q X * + y(6 + 30x + 84x2 ^ igQ^S) +y2(l l + 104x + 470x2) + y3(50/3 + 770x/3) + 137yV6} - y l n y I n x { l + 4 i + 9x2 ^ ^^^3 ^ jSx" + y(2 + 18x + 72x2 + 200x3) +y2(3 + 48x + 300x2) ^ ^̂ 3̂ 4 ^ ^QQ^.^ ^ ^̂ 4̂ P'^ia, 1 / I ) = I { T 7 3 + In a + 2 In I + In az In r} -x^[2 - 27rV3 + 2a - 27r2a/3 - Ina - Salna - 6(1 + a)lna: -2(1 + a ) l n a i l n x } - i3{9/2 - TT̂ + (10 - 47r2)a + (9/2 - Tr^)a^ - 2a In a(5 + 8a) - In x ( l l + 32a + Ua^) - 3 In a i In i ( l + 4a + a )̂} -z'*{65/9 - 47rV3 + (37 - 127r2)a(l + a) + (65/9 - 47rV3)a3 - In a( l + 33a + 69a2 + 47aV3) - In x(50/3 + 102a(l + a) + SOa^/S) - 4 l n a x l n i ( l + 9a(l 4- a) + a )̂} -i5{725/72 - 57rV3 + (8 8 6/ 9 - 807rV3)a + (367/2 - 607r2)a2 +(8 8 6/ 9 - 807rV3)a3 + (725/72 - 57rV3)a'' - l n a ( l + 56a + 246a2 +568aV3 + 131aV6) - lni(137/6 + 736a/3 + 492a2 + 736aV3 + 137aV6) - 5 l n a i l n i ( l + 16a + 360^ + 16a^ + a )̂} J2.2(i^i)=l _ x/9 - 16xV225 - 249x3/9800 - 782x799225 - 17645xV7683984 + x l n x ( l / 6 + x/15 + 3x2/140 + 2x3/315 + 5xV2772) J2.2(j^ l ) = l / 2 + 7x/36 + 37x2/600 + 533x3/29400 + 1627xV317520 + 18107xVl2806640 - l n x ( l / 2 + x/6 + x2/20 + x3/70 + xV252 + xV924) j3.i(r,y)=xy{7r2/3 - (4 - 27r2)x - (13 - 47r2)x2 - (247/9 - 207r2/3)x3} -x2y2{l4 - 67r2 + (115 - 407r2)x} + In x{x + x2 + i 3 + x"* + xS + 3xy + 14x2y + 35x3y + 202x^y/3 + 5xy2 + 51x2y2 + 224x3y2 + 7xy3 + 124l2y3 + Qxy^j + x y l n x l n y { l + 6x + 12x2 ^ 20x3 + 18xy + 120x2y} + X y J3' '(a, l / x )=J3 . i ( i / x , a) = In X + x{aln ax + In x} +x2{27r2a/3 + 3a In a + a2 In ax + In x + 6a In x + 2a In ax In x} +x3{-4a(l + a)(l - 7r2/2) + alna(5 + 14a + a2) + Inx( l + 19a + 19a2 + a3) +6a ( l + a ) l n a i l n x | +i ' ' { -13a + Air^a - 28a^ + Uir^a^ - ISa^ + Air^a^ + Ina{7a + Slo^ +35a3 + a") + In i ( l + 42a + 102a2 + 420̂ + a") + 12a In a i In i ( l + 3a + a^)] +i5{-(247/9 - 207rV3)a - (115 - 407:2)0^(1 + a) - 247aV9 + 207rV/3 +a In a(9 + 124a + 224a2 + 202aV3 + â ) + In i ( l + 229a/3 + 348a2(l + a) +229aV3 + a^) + 20a In a i In i ( l + 6a + ôa^ + a )̂} - 1 - 7 i /18 - 37x2/300 - 533x^1470 - 1627xVl58760 - 18107iV6403320 +xlnx (5 /6 - 2 i/5 + i2/35 + x V l 2 6 + xV462) Finally, we must give the value of H'{m). It could be calculted directly from F.96 but, as shown in section ?, it can also be found from a recursion relation " ("^) = - T ^ i ^ A l l we need is the value of H^(Tn), which is 7£ - 1 + In 4 ^ + e ^TT^ 1 1 24 ^ 4 ^ 4 7£ - 1 + In 2\ 2\ \ I The 0{t) term must be calculated because products of two ff ^ functions often arise in the decomposition of two-loop integrals. A p p e n d i x G The box diagrams at two-loops In this Appendix, we hst the values of the leading diagrams as determined by the methods of Appendix F. For each diagram, there are two or three values given. The first one is the exact value expressed in terms of I''^ and /f*. The second one is the expansion of the first in the large MH hmit. It is labelled ^. Finally, if the expansion for large mt gives a different result than for large MH, it is given in a third entry labeUed A - If not, only two values are given. Each result should be multiplied by ig^aj. H W " (1) ^ l = - ^ ^ i { ( ^ ^ ' H r n , ) - H^'\Mw)y + {m't - M'^f {H^'^rut))' - 2(m? - M^,)x X {H^'\mt) - H^'\Mw)) H^'\mt) + [M^ - \m]){m] - M'wfP'\mt,mt,MH) +{Ml - Ml,) {P''{mt, mt, MH) - 2l''\mt, Mw, MH) + l''\Mw, Mw, MH)) -2{m] - M^y){Mh - 2m\ - 2Ml) {P'\mt,mt, MH) - P'\mt, Mw, M H ) ) ] • =0 H (1) D2= 4MI A =0 Dl m "49 1 527r-' A/fv |-(15-2x2) H (2) D3=- 2{Ml - 2Ml - 4m2) (^^(m^ - H\Mw))' 64A/^ +2(mf - A/,V)2 ( ^ V 0 ) ' ( M ^ - 6 m f ) +(m2 - Ml){Ml - bm] - M^) [H\mt) - H\Mw)) H^rrn) + [{Ml - 4m]f + {Ml - 4Mlf - 12{m] - M^f) f'\mt,mt, M„) -2 {{Ml - 4m2)2 + {Ml - - 10(m2 - M^f) f'^rn^, MW,MH) + {Z{MI - 4 m 2 f + {Ml - 4MlY " " ^wf) I''\MW,MW,M„) -{m; - Ml) [Z{MI - 4m2)2 + {Ml - AMfy)' - 1 6 ^ - Mfy)') l''\mt,mt,M„) +(m2 - Ml) {Z{MI - 4m2)2 ^ _ 4^2^)2 _ ^2(^2 _ Ml)') P'\mt, Mw,M„) + 2 K - Ml)'{Ml - Am',)'P''{mt,mt,M„)] « =0 y\/\/T\»ru-v. I I W (1) D 4 = - 7?,|(F^(mO - H\Mw)y - 2(m? - Mfy) {H\mt) - H\MW)) H\MW) +{m] - M^yY [(^^(Mvv))' + {Mff - 2M^y)P''{Mw,Mw,MH) +{Mff - 2m^) {f'\mt,mt, MH) - 2/^'^(m„ Mw, MH) + P'\Mw, Mw, MH)) A =0 •-| ._! I (1) D5= Mff m 1 6 M ^ 771 i D 4 3932167r4 /̂e^ ̂ +i(2 - i ) l i i i ) | 4 =0 1 5 - 4 . 2 - 1 2 1 n 2 ^ + 2 4 ^ " ( ^ ^ / - ^ ) ( 1 - x ) ^ ( ( l - x ) ( l - 2 x ) I IH I W" (2) Z)6=- -1{m] - Ml) (P'\Mw,mt,MH) - P'\Mw,Mw,MH)) +(mf - MI)'P''{MW,MW,MH)J é =0 (4) ( M ^ + 2m2) (r-i(m„mt, M/ , ) - 2 / ' 'Hm„ Mvv, MH) + / ' " ' ( M w , M w , M,/)) -2{m] - Ml){Ml + mf + Ml) {P'\Mw,mt, MH) - P''{MW,MW,MH)) + ( m 2 - Ml)\MJ, + 2m2)72.2(M^^^ MW, MH)] _ m m? ln(M^/m?) - 2 Ô i 8 ; ^ Â ^ ( 1 - x ) ^ ( l - x + x l n x ) • =0 /\r\r I W" (4) 2 -{-{Mff - (/^•^(Tnt,mt,M^) - 2f''{mt,Mw,M„) + /^'^(Mw, M w , M//)) - K - K){2K -m't- M^y) {P'\Mw,mt,MH) - P'\MW,MW,MH)) + (m2 - M^yY{Mff - Mfy)l''\Mw,Mw,MH)] (2) Z ) 9 = - ^ ^ 7 ; i | 5 (^ '(mO - H\Mw)Y m'^ - 5{m^ - M^)/f2(Mvv) {H\mt) - H\Mw)) +5(m? - M^wf [H\MW)Y + m 2 ( 5 M ^ - 2m^)/' ' '(m.,mt, M; / ) - (2 (5M^ - 2 m , 2 K + 5(m? - M^)^) /'-^(mt, M w , M^) + [{bMff - 2m])m] + 5(m? - M^)^) /^'^(Mw, M w , M^) -(m,2 - Ml) {{5Mff - 2m,2)(mf + Mfy) - (m? - Ml){3m', - 5 M ^ ) ) x x/2 - ' (Mw,m„M;/ ) + (m? - Mv2v)K(5M^ - 2m?) + M ^ ( 5 M ^ - 2 M ^ ) +2(m? - M ^ ) 2 ) / 2 - ' ( M W , M W , M H ) + (m? - Ml)'{5Mff - 2 M ^ ) x 4 =0 J\r\j\ V\r\j- f~ W" (2) +{5Ml - 2m2) [l'''{mt,mt, MH) - 2l''\mt, Mw, MH) + f'\Mw, Mw, MH)) -2(m2 - Mfy){5Mjf - - M^) {P'\Mw,mt, MH) - P-\MW,MW,MH)) +(m2 - Ml)\5Ml - 2MI)P'\MW,MW,MH)] A =0 W (4) D l l = ^77i|2 {H\mt) - H'{Mw)Y " " ^^ )̂ (^'(^') " ^'i^^)) x X (iy2(m,) + H\Mw)) + ( 2M^ - 5m2 - 3M^2^)/'•'(mt, m,, M ^ ) +(2M^ - - 5Mp^) / ' ' (Mvv ,Mw,M/ / ) - 4 ( M ^ - 2m,'^ - 2 M ^ ) x x/^'^(77it,A/(y,MH) - {Mff - 4m2) (/2-i(mt,mt,MH) - l''\Mw, Mw, MH)) x(m? - M^,) + (m^ - Ml){Mff - Zm] - M 2 , ) r '^ (m„ M w , M^) 4 =0 W (4) -[m] - Ml) (H\mt) - H'{Mw)) {H'{mt) + H\MW)) +(2M^ - 7m? - Ml.)I''\mt,mt,MH) + (2M^ - 5m? - ZMl)I''\Mw,Mw,MH) -A{Mjf - 3m? - Ml)f''{mt,Mw,MH) - (m? - Mfy){Mh - Am',)P'\mt,mt, M„) 4-(m? - MDiMff - 3m? - M^) (l'''{mt, Mw, MH) - P'\Mw,mt, MH)) +(m? - Ml){Mff - 2m? - 2MI)I''\MW, MW, MH)] A =0 W" (4) ^ 1 3 = - ^ / ) 1 2 2 M ^ • - Ï Ô 2 i ; ^ M ^ ( l - x ) 3 I 2 ( l - x ) + ( l + x ) l n x j Â =0 <P (4) I>14= 8Mf DU w '81927r-«MvV * =0 l + ^ M ^ ( l - x 2 + 2 x l n . ) (1 — X) W" (4) +{2Mjf - 3m2 - 5Ml)l''\mt,mt,M„) + ( 2M^ - Sm^ - 3Ml)f'\Mw, Mw, M„) - 4 ( M ^ - 2m? - 2Ml)P'\mt,Mw,MH) - (m? - M 2 . ) ( M ^ - 4m2) {P'\mt,mt,M„) - I''\MW,MW,MH)) +(m2 - MDiMjf - 5m2 + M 2 , ) / 2 i ( m t , M w , M H ) -{Ml -m] + 5Ml)P'\Mw,mt, MH)] = - 1 0 2 4 . ^ M ^ ( l - x ) 3 ( 2 ( ' - X) + (1 + x ) l n x j 4 4 - (m? - Ml) [H'imt) - H\MW)) [m]H\mt) + [m] - 2MI)H\MW)) + [2Ml{Ml - 4m?) - m?(m? - M^)) l''\mt,mt,M„) + {2Ml{Ml - 4m?) - 3m?(m? - M^)) l''\Mw, MW,MH) - 4 [MliMff - 4m?) - m?(m? - M^)) l''\mt, Mw, MH) - m ? ( ( M ^ - 4m?) /2 ' ' (m„m„M; , ) - {Mj^ - 5m? + Ml)P'\mt,Mw,MH)) x x(m? - Ml) + (m? - Ml) ( ( M ^ - 5m? + 4AAV)(m? - 2Ml) + 4(m? - A^-) ' ) x xP'\Mw,muMH) - (m? - Ml) [MUm] - 2Ml) + 2A4(m? + Ml)) x XP'\MW,MW,MH)\ 4 0 9 67r-' Ml (1 - i )^ 0 (1 - + 2 x l i i i ) 4 =' W" Z ) 1 7 = 8A/^n(n - 1) - m ? - A / ^ ) ( F ' ( m t ) - j y ^ ( A / w ) ) ' - (m? - Ml) {H'{mt) - H\MW)) {E\mt) + H\Mw)) {Mj, - - M^) - (m^ - Ml) {H\mt) - H\MW)) {2H\MH) - H\m{) - H\Mw)) -{m] - MlY [{H\MH) - H\mt)) H\mt) + [H\MH) - H\Mw)) H\MW) +2Ml[{Ml - 3m? - Ml)I''\mt,mt,MH) - 2 ( M ^ - 2m] - 2Ml)x xf''{mt,Mw,M„)) + 2Ml{Ml - m? - 3Ml)P'\Mw,Mw,MH) -MUm] - Ml) [{Ml - 4m])P'\mt,mt,MH) - ( M ^ - Ull)P'\Mw, Mw, MH) + [Ml{Ml - 2Ml - 2m]) + {m] - Mlf) {m] - Ml)x X [P'\mt, MW,MH) - P'\Mw,mt,MH)] } -gMl{n-l){ (^^^ " ^^^^^^ ~ ^ ^"^^^'^) (^'^^'^ " ^'(^^^^))' +nm2(m? - A/fv) {H\mt) - H\i\Iw)) [2H'{MH) - 3^^(m0 + H\Mw)) + (3(1 - 3n)A/^m2 - 7(1 - n)m? + 2nMl - (1 + n)MlMl - (1 - n)m2A/{V) x x /^ ' i (m„m„M// ) + (-4nA/;^ + (1 - n)(7m? + &m]Ml + 3AfvV) -2(3 - ln)Mlm] + 2(1 + 3n)Af^A/il.) / ' ' ' (m , , MW,MH) + (2nAf;^ + (3 - 5n)x xMlm] - (1 + 5 n ) A / ^ A 4 - (1 - n)A4(5m? - ZMD) I''\MW,MW,MH) +{m] - Ml) [n{Ml - Mlf + m? + (1 - 3n)Mlm] - (5 - Snjm^A/^^) x x/2 ' ' (m„Afw, A///) + {m] - A/^V)((2 - 3n)m? - nA/^ - 2(1 - 2n)Mlm] +(1 + n)MlMl + (3 - n K A / { V - A f ^ V ) / ' ' ' ( M w , m t ,MH) +(m? - Ml) [nMl + 2(1 - n){Mlm] - m^A/̂ ^ _ M ^ ) - (1 + 3n )A/^MiV) | •81927r4 M ^ ( l - x)3 (1 - + 2 i l n i ) =0 ^+ W' V'u^y (4) X [H\mt) - H\Mw)) + {l''\mt,mt,M„) + f'\Mw,Mw,MM)) x x ( 2 M ^ - 9m? + Mfy) - 4{Mff - 2m] - 2Mfy)f'\mt, Mw, MH) - (m? - Ml){Mh + m\ - bMl-)P'\mt, MW,MH) - (m? - Ml){Mh - 4m?) {l''\mt,mt, MH) - P'\MW, Mw,MH)) - (m? - Ml){Mh - 5m? + MI)P'\MW,mt, MH)] rj, / m? \ l n ( M ^ / m ? ) / , n x- .Mn-r^ 4 4 =0 H W (2) I?19=^772|-(2m? + M ^ ) ( / i ' i ( m „ M ; v , M / , ) - r - ^ ( M w , M w , M ; , ) ) +(m? - Ml) {m]P'\mt,Mw,MH) + (m? + MI)I''\MW,MW,MH)) +M^(m? - M^v) ' / ' ' ' (Mvv ,A /w ,M/ / )| 4 =0 H / \ (2) 4 - X {2P'\mt,Mw,MH) + 2 / 2 ' i ( M w , M w , M / / ) - (m? + Ml)P''{Mw,Mw,M„))] * =0 Z ) 2 1 = ^ ^ i ? 1 9 1̂ Ml 2 L \ "3 2 7 6 87r4 VA^W/ (1 " a:)" +2(1 + 2i )In 1)) + (1 - x)(23 + 7i) + (2 + 12x + i^) In i - 2(1 + 2i)ln2 x (1 - i)(2 + 5 i - i^) + 2i(8 - 4z - z )̂ In I + 4x(l + 2x) In^ x - 2 i l n ( M ^ / m ? ) ( ( 5 + i ) ( l - x) + 2(1 + 2 x ) l n x ) ] | + * =0 49152^" [MI) 2 - 7 r Z ^ ( ( l - x) ( l + 3x + 33x^ - x3) + 12x^(2 + x) lnx) H f \ .1 I. W" (2) 1 81927r̂ \MI) (1 - X ) ^ \ ' " +2x(2 + x ) lnx) + (1 - x) ( l + l l x ) - (1 - 6x - 7x^)lnx- x(2 + x)\n^ +M^V [ ( l - x ) ( 5 + x) + 2(2 + 6x - 5 x 2 ) l n x + 4z(2 + x ) l i i 2 x -21n(M^/m?) ( ( l - x) ( l + 5x) + 2x(2 + x ) l n x ) ] | ^ 2 0 4 l ^ M 2 ( l - . ) . ( 3 ( ^ - ^ ) + (^^^-^-^)^-) • =0 H ~ ̂ (4) £ > 2 3 = ^ 7 7 i | [-3 {H'imt) - H\Mw)) + [m] - M^) {H\mt) + 2H\MW)) +(m? - MlfH\Mw)] [H\MH) - H\Mw)) +3(M^ + 2m]) {l''\mt, Mw, MM) - l''\Mw, MW,MH)) -{m] - Ml) [{Ml + 3m] - Ml)P\mt, Mw, MH) +{2Ml + 3m? + Ml)P'\Mw, Mw, MH) -{m] - Mlf {Ml + Ml)P''{Mw, Mw, MH) • =0 H \ n i _ . W" (4) Z?24=^^^r7i{ [3 {H'{mt) - H\MW)) - {m] - Ml) [H^m^) + 2H'{MW)) -{m] - MlfH\Mw)\ [H\MH) - H\MW)) -3{Ml - Ml) {P'\mt, MW,MH) - P'\Mw,Mw, MH)) +{Ml - Ml) (P''{mt,Mw,MH) + 2P''{Mw,Mw,MH) + P'\Mw,Mw,MH)) x x{m]-Ml)] Jirr^ - 21n(M^/m?)) ((1 - x)(5 + x) + 2(1 + 2x)Inx) 4 40 967:" ml =0 D25=- m: H (4) nMl D2Z 377, IniMlIm]) /, , X Â =0 H / \ \J-\ J _ . (4) ^ 2 6 = - - ^ Z ) 2 4 (Ml 16384.^ M M l - x ) ^ - 21n(M^/m?) j ((1 - x)(5 + x) + 2(1 + 2x)lnx) 4 =0 H w W" (2) ^ ^ ^ ^ ~ 8 n ( J - l ) { ( ^ ' ^ ' " ' ^ - H\AUv)) H\MH){ZMh + 2m] - 2Ml) -{m] - Ml)H\Mw){ZMh - 2m] - 4Mfy) -{m] - Ml)H'iM„) [H\mt){Ml ^m]~Ml) + H\MW){2MI + m]- Ml)) +(m? - Ml)H\Mw) [H\mt){Ml - m] - M^) + H\Mw){2Mh - m] - 3M^)) +{m] - MlfH\Mw) [H\Mw){Ml - 2Ml) - MlH\M„)) -{3Mff - AM^m] + - 8M^m? ^ 2m]Ml + M^)^ X {f'\mt,MW,MH) - l''\Mw, M,V,MM)) +{m] - Ml) [MffiMff - 2m] - 2Ml) + [m] - Mlf) P\mt,Mw,M„) ^2Ml{m] - Ml){Ml - m] - 3Ml)P-\Mw, Myy, M„) +Mh{m] - Ml)\Ml - ml)P'\Mw,Mw,MH^ ~ 8 ( J - 1 ) { ~ (̂ '̂ ""'̂ • ^\Mw)) E \ M H ) (2(2 - n)m] + 3nM^ + 2(1 - 2n)Ml) + [E\mt) - H'{Mw)) H\Mw) [ZnMjf - 2(2 - n)m] - 2(1 + n)Ml) +H\mt) [((2 - n)m] + n(M^ - Ml)) H \ M H ) + ((2 - n)m] - n{Mff - Ml))] x x{m] - Ml) + (m] - Ml)H\Mw) [((2 - n)m] + 2nM^ + (2 - 3n)M^) H \ M H ) + ((2 - n)m] - 2nMh + (2 + n)Ml) -h(m] - MlfH\Mw) [[nMl + 2(1 - n)Ml) H\M„) - {uMJj - 2Ml)H\Mw) + (3nM^ + - 4M^m? - 2m]Ml - 2(1 + 3n)M^Mfv - (2 - Zn)Ml) x X {f'\mt,Mw,MH)-l'''iMw,Mw,MH)) -{m] - Ml) {n{Mh - Ml)'+m]{m] - 2M^ - 2Ml)) I'^m^, Mw, M„) -2{m] - Ml) {n{Mff - Mlf - M l - M^Ml - M^m]) P'\MW,MW,MH) V2 1 163847r4 [m* j ( 1 - x ) ^ A +2(1 + 2i) In x) + 2(1 - x)(7 + 2x) + (3 + 14x + x )̂ In x + (1 + 2x) In^ x +2772[(1 - x)(2 + 5 i - i^) + 6 i l n i ] } • =0 H w>< W* w (2) +{m] - Ml)H\Mw))] [H\MH) - H\Mw)) +{m] - Ml) [{2Ml - m? + 2Ml)P'\mt, Mw, M„) +(4M^ - m? + ZMl)P'\Mw,Mw, M„)) +(m? - Ml)\2Ml + MiV ) /3 '^ (Mvv,M;v,M/ / ) } 81927r4 \ M i V / ( l - i ) ' ' +2x(2 + i ) l n i ) + 3(1 - i ) ( l + 9x) - 2(1 - 8x - 8 i 2 ) lnx - 2x(2 + x)ln2x * =0 H U Irw* 1 f* W* (2) D 2 9 = ^ ^ { - {H\M„) - 2H\Mw)) {2m] + M^) [H\mt) - H\Mw)) + {H\MH) + H\Mw)) m]{m] - Ml)H'{mt) + {H'{M„) - 2H\Mw)) {m] - Ml)x X [{m] + Ml)H\Mw) + Ml{m] - MI)H\MW) +{AMlm] + 2m? + 2MIMI + 2m]Ml - Mtv)[l''\mt, Mw, M») -f'\Mw,Mw,MH)) - {m] - Ml)m]{2Ml + 2m] - Ml)P''{mt, Mw, MH) -{m] - Ml){2Mlm] + 2MffMl + 3m]Ml - MI)P'\MW,MW,MH) -Ml{m] - Mlf{2Ml + MDP^MW^MW, MM)] ( ( l - x ) ( 5 + x) (Ml 1 - - 2 7 £ - l n - ^ - l n — ^ 3 2 7 687r'' (1 - x)"» +2(1 + 2x) In x) + (1 - x)(23 + 7x) + 2(2 + 12x + x^) In x - 2(1 + 2i) In^ i • " ( # ) l î ^ ^ ( ( l - ) ( 4 + 1 5 x - x ' ) + 2 . ( 2 . + 7)1. . ) 163847:'» \Mlj {I - xf * =0 H w* / * W" (2) i ? 3 0 = ^ 7 , , { [ 3 (^^(mO - /r^(Mw)) + {m] - Mfy) {H'{mt) - 2H\MW) -{m] - Mfy)H\Mw))] {H\M„) - H\Mw)) -{ml + 4m? - Mfy) [l''\mt, Mw, MH) - I''\Mw,Mw, MH)) + [{2Ml + 2m? - Mfy)P'\mt, Mw, MH) + 2{2Ml + m])P'\Mw, Mw, MH)) X x(m? - Mfy) + (m? - M2,)2(2M^ + Mfy)P'\Mw,Mw,MH)] 40967r4 [MI) ( 1 - X ) ^ '2 „ m] Ml - - 275 - In - î - - In , e 47r 47r : i - x ) ( i + 5x) +2x(2x + l ) l n x ) + (1 - x) ( l + l l x ) - (1 - 6x - 7x2)lnx - x ( i + 2)\n^ x HMllm]) 40 9 67r4 ™ Z ^ ( ( l _ x ) ( n + 7x) + 2(2 + 6x + x2)lnx) • =0 H . yvrv/vru-v. W" (2) i ? 3 1 = ^ ^ ^ { 2 [{2m] + Mi\0 (^^(mO - H\Mw)) - [m] - MlfH\mt) X{H\MH) - H\mt)) - ((3m? + Ml)H\mt) + [m] + MI)H\MW)) X x(m? - MI){H\MH) - H\mt)) - [f'\mt,mt,MH) - l''\Mw,mt, MH)) x{AMlm] - 9m^ + 2MlMfy - lAm]Ml - M^) +{m] - Ml){3Mlm] - %m\ + M^M^ - 8m?MvV)/'' '(mt, m^, MH) + (m? - Ml){Mlm] - m^ + MffM^ - 6m]Ml - Mty)l''\Mw, MW,MH) +2m]{m] - Ml)'{im] - Ml)P^\mt,mi,MH)] V2 HMlIm]) =0 H . (4) - A4 )^3 (m, ) ) ] ( i f M M / / ) - H\Mw)) +(3M^ - Sm? - 4 M ^ ) (/^'^(m^m,, M// ) - / ' ' ' (m , , Mw, MH)) - (2(M2 - 3m? - M^)/2 ' i (me,m„MH) + (M^^ - 2m? - 2MI)I''\MW,mt, M„)) x(m? - Ml) + (m? - Ml)'{Mff - 4m?)r '^(m.,mt, M//)} 1̂ 2 0 487r4 m ' ' _ ^ 11,) ^ 2(1 + 6x + 2 x 2 ) lnx) \MIJ ( 1 - x ) ^ =0 H . P 3 3 = ^ ^ 2 ? 3 1 _ _ 4 7 £ + 1 6 - 4 l n - - - ^ 3 - ^ 16384x4 ((1 - x)(2 + 15x + x^) + 2i(5 + 4x)lnx) 21 T7, / m? \ r i mt H / \ / \X/\/ \ (2) DU=^H\MH)i^-{2mf + Ml) {H'{mt) - H\Mw)) +{m] - Ml) [m]H\mt) + [m] + MI)H\MW) + Ml{m] - MI)H\MW)) V2 32768^4 Ml 47r +2(1 + 2i ) In x) + (1 - x)(23 + 7 i ) + 2(2 + 12x + x') In x - 2(1 + 2x) In' x * =0 H CO' (2) D25=-^mH\mt)I^Z {H\mt) - H\Mw)) -{m] - Ml) [H\mt) + 2H\Mw) + [m] - MI)H\MW)) } 40967r4 \MI) {l-xY - - 27£ - In - In — ^ e 47r 47r ( ( l - x ) ( l + 5x) +2x(2 + x ) lnx) +(1 - x ) ( l + l l x ) - (1 - 6x - 7x2) In x - x(2 + x) In 'x 2 \ • =0 H (2) D3Q= Ml H 2MI D35 m. - - 2 7 £ - l n - ^ - l n ^ ) ( ( l - x ) ( l + 5x) e 47r 47r / ^ 81927r-' \Ml) ( l - x ) V +2x(2 + x ) lnx) 4- (1 - x ) ( l + l l x ) - (1 - 6x - 7 i ' ) l n i - x(x 4- 2)\rv^ x A =0 H \/ .-M (2) Z ) 3 7 = - ^ ^ P 3 6 2 Ml 7)2 4 . ^ ^ ( 4 ) _ l _ f 2 f 2 _ 2 , , - l n ^ - l n ^ ) ( ( l - x ) ( 5 + x) +2(1 + 2x) In x) + (1 - x)(23 + 7x) + 2(2 + 12x + x') In x - 2(1 + 2x) In' ; 4 =0 X . _ . y W" (2) D38=D36 with H'{AfH) 8192::'' ( 1 - x ) ^ - - 27£ - In - In e 47r 47r ( ( l - x ) ( l + 5x) +2x(2 + x ) l n i ) + (1 - i ) ( l + l l x ) - (1 - 6x - 7i2)lnx - i (2 + x)ln2 x * =0 X + 9' (2) I>39=Z?37 with / / ^ ( A / H ) -* H\Mz) 6 5 5 367r̂ A / a ^2 „ , , A / | \ - - 27E - In - In e 47r 47r / ( ( l - x ) ( 5 + x) +2(1 + 2x) In x) + (1 - x)(23 + 7x) + 2(2 + 12x + x^) In x - 2(1 + 2x) In^ x * =0 Appendix G. The box diagrams at two-loops 163 . - . y W (2) I»40=4 X D26 with H \ M H ) ^ H \ M W ) 20487r-' ( 1 - x ) ^ - - 27£ - In e 47r - I n AT? ( ( l - x ) ( l + 5x) +2i(2 + x ) lnx) + (1 - x)( l + 111) - (1 - 6x - 7 i ' ) I n x - x(2 + i ) I n 2 x * =0 <P (2) D41=4 X D37 with H \ M H ) ^ H\Mw) (Ml Ml) {l-xY e Air ATT Ml\ ( ( l - x ) ( 5 + x) +2(1 + 2x)lnx) + (1 - x)(23 + 7x) + 2(2 + 12x + x') - 2(1 + 2x)ln2 X (1) -I''\mt,mt,Mz) + 2l''\mt, Mw,Mz)Mw, Mw, Mz) + {2P''{muMw,Mz) - 2P'\mt,m,,Mz) + {mf - Ml)l'\mt,mt, Mz)) y{m]-Ml)] / ' 163 847r'' Xy (2) ^ 4 3 = ^ ^ ^ | - 2 (E\mt) - E\Mz)) (2m? + M^ {H\mt) - H\Mw)) + [H\mt) - H\Mz)) m.]{m] - M^f H\mt) +(m? - Ml) {H\mt) - E\Mz)) ((3m? + Ml)E\mt) + (m? + MI)H\MWY) + ((m? - Mlf - 2M|(2m? + M^^)) (/^'^(m,, m^, M^) - /̂ •>(mt, M w , Mz)) - (m? - Ml) ((m? - M2,)2 - M|(m? + M^ ,̂)) /2'^(Mw, m„ M z ) +M|(m? - Ml) ((3m? + A/2^)72.i(m„m„ Mz ) - 2m?(m? - Ml)P'\mt,mt,Mz))] 71 m 4 \ 163 8 47r-' \Mlj l _ 4 7 e + 5 - 4 1 n ^ e 47r - (m? - Ml)H\Mw) [{m] + Ml.)H\mt) + Ml-H^Mw) - m]{m] - Ml)H\mt)) +Ml-{m] - Ml) ( / ' • V M O , M U O - f'\mt,0,Mw) - [m] - Ml)P'\mt,0,Mw)) •^m]{m]-MlfP'\mt,Q,Mw)] 327687r-' m Ml) - - 4 7 H + 3 - 4 l n ^ t (2) - (m? - Ml)H\mt) {m]H'{mt) 4- (m? + MI)H'{MW) + Ml{m] - MI)H\MW)) +m]{m] - Ml) (r ' ' (m„7n„0) - ^'^(m^, M w , 0)) -{m] - M ^ ) ' {m]P'\Mw,mt,Q) - MKm] - Ml)P-\Mw,mt,0))] 3T7, 40967r'' m 4 f- - 7E ) (2 - In I ) - In' I - 4In I In ^ + 2ln ; \e / 47r - 8 1 n ^ + 10 Air t W" (2) Z ? 4 6 = ^ 7 , i { - 3 {H\mt) - H\Mw)) + {m] - M^f H\mt)H\Mw) +{m] - Mfy) [H\mt) [H\mt) + 2H\MW)) + l''\mt,Mw,0) - /^•'(m„mt,0) +(m? - Mfyf (/2-^(Mw,m„0) + (m? - Mfy)P'\Mw ,mt,0))] 3rji ( m? •l0247r^ \Mlj L 2 „ , m? M a - - 27£ + 1 - In In — e 47r 47r (2) i ? 4 7 = ^ ^ r ; i { ( ^ H m O - ^>(Mvv))' + (m? - Mfyf H\mt)H\Mw) - 2{m] - Mfy)x X {m]f-\mt,mt,0) - (m? + Mfy)f'\mt,Mw,0) + Mfyl''\Mw,Mw,Q)) +(m? - Mfy)^ {P'\mt,Mw,0) + P'\Mw,mt,0) + (m? + Mfy)P'\mt, Mw,0))] m 245767r'« \Mlj (9 - TT )̂ The following diagrams are generated by the insertion of the counterterm vertices of Appendix E in the 1-loop diagrams. The notation for the counterterms is the same as in Appendix E. W" (2) C l = ^ | [(>lvv(2m? + Ml) - Bw{rr4 " ^1)) [m - nm) + nCw{2m] + Ml)i] [H\mt) - H\Mw)) - [m] [AW - Bw{m] - M^)) (772 - TIT/I) + nCwm^Tj^ x(m? - Ml)H'imt) - [{{m] + Ml)Aw - M(V(m? - Ml)Bw) {m - n^) -^-nCwim] + MI)T]I [m] - Ml)H^{Mw) - Ml [Aw{v2 - nrj^) + nCwVi x{m]-Ml)'H'{Mw)] ( ( l - ^ ) ( 5 + )̂ + 2(l + 2x)lnx) ""'^ ^ [2 ((1 - i)(2 + 5x - i ' ) + 6 i l n i ) 77, 24 5 767r'' m]{l - x)' ^ ' ^ - ((1 - x) ( l + 25x + 4 x 2 ) ^ + 3x)Ini ) 772 3 2 7 6 87r4 ln(M^/7nn * =0 (2) C 7 2 = ^ ^ { (^^(771.) - H\Mw)) [(1 - n) [zAw - 2{m] - Ml)Bw) - 3C -(TTI? - Ml)H'{mt) [(1 - 71) [AW - [m] - Ml)Bw) - Cw - (m? - Ml)H'{Mw) [(1 - n) {2Aw - (m? - Ml)Bw) - 2Cw - (m? - MlfH'iMw) [(1 - n)Aw ~ Cw]] = - 8 1 ^ 0 ( ( l - ) ( l + 5x) + 2.(2.+ x ) lnx) • =0 I—>e—I w (2) - (m? - Ml)[H'{m,){A^ + m?B^) + H'{Mw) (2A^ + (m? + Mfy)B^) - (m? - M;i.)2^='(Mvy)(>l^ + MfyB^)] ( ( l - x ) ( l + 5x) 3771 1 • / 81927r4 ( 1 - x ) " . \ - - 2 7 £ - l n p - - l n ^ e 47r 47r +2i(2 + x ) l n i ) + (1 - x) ( l + l l x ) - (1 - 61 - 7x2)InX _ + i ) l n 2 x + Mh 1 m 2\ - - 7£ - In \̂ e 47r ( ( l - x ) ( l + 5x) 81927r'' \MIJ {1-xy +2i(2 + x ) lnx) + (1 - x)(7 + 23i) - 2(1 - 4x - 12z2)lnx - 6i(2 + i) l n 2 x 81927:" h Ml] { Mfy ){l-xY (2 Ml _ _ 2 7 £ - l n ^ - l n ^ ) ( ( l - x ) ( l + 5x) +2x(2 + x ) lnx) + (1 - x) ( l + l l x ) - (1 - 6x - 7x2)lnx - x(2 + x)ln2 x 37/1 10247:-» 47r 47r 3771 10247r4 m 4 \ 47r (2) C 4 = i ^ | - (2(2m? + Ml)A^ + (m? + 2Ml)B,) {H\mt) - H\MW)) +{m] - Ml.)H\Mw) [{m] + Ml)A^ + 2m]MlB^) +m]{m] - Mly)H\mt){A^ + m]B^) + Ml{m] - MlfH\Mw){A^ + Mfv^^)} 3771 - - 27£ - In - In e 47r 47r 6 5 5 3 67r4 V^^vvi ( 1 " ^TT 47r ̂ a;)(5 + x) +2(1 + 2x)lnx) + (1 - x)(23 + 7x) + 2(2 + 12x + x 2 ) l n x - 2(1 + 2x) ln ' x 163847r4 (MWtX 1 I, M% I (1 - xY [ m 2\ - - 7£ - In e 47r x ( ( l - x ) ( 5 + x) + 2(l + 2x)lnx) +(1 - x)( l + 14x + 3x') + 2x'(8 + x ) lnx - 3x(l + 2 x ) l n 2 x 6 5 5 367r4 (MlMl\ \ Ml ) (1 2 ^ [ 2 ( H - 2 . . - . . ^ - . . f ) ( , : - . , ( 5 . . ) +2(1 + 2x)lnx) + (1 - x)(23 + 7x) + 2(2 + 12x + x 2 ) l n x - 2(1 + 2x) ln ' x + 377, 81927r4 771 ' l63 847r4 3771 (I 19 + 4 1 n x - 2 1 n ' x + 8(2 + lnx) - - 7£: - In . . \^ / TTin ln(M^/7n2)/ S(o^^^ . 2 N , f i , \ [WvJ ( 1 - x ) ^ - + 5x - X ) + 6Inx) \Ml) 2\ 47r 7717 8 1 927r4 V M a w. \e 47r 47r y ml . ^'v^j ^ g ^ 4 j ^ ^ ^ ^ j9^^21nx + 21n'x (4) +(m? - Ml) {m]H'{mt) + (m? + A 4 ) ^ ' ( A A V ) + MUm] - M 2 , ) ^ 3 ( M W ) ) } '•^ + A\n{Ml/m])] ((1 - x)(5 + x) + 2(1 + 2 i ) l n x ) * =0 40 9 67r'' m?(l - x)" Ml Vl (4) 1 * 16384x4 Ml{l - x)4 • =0 + 41n(M2,/m?)) ((1 - x)(5 + x) + 2(1 + 2x) la x) W~ (2) C 7 = ^ { ( 2 A , + Rt) [m]{2Ml + m?) ( / f i (mO - H\MW)) - (m? - M;V) (m?(m? + M ^ O ^ ' C ^ O + A^m?^^^^^^^) _ ^ 4 ( ^ 2 _ MI)H\MW))' -Lt{m] - Ml) [2Mlm]H\mt) + A/ ;V^ ' (AAv) - m?(m? - MI)H\MW)) L,Ml [H\mt) - H\Mw))] * =0 (4) C 8 = - ^ ^ { A , [2(2m? + A / ^ ) [H\mt) - H\Mw)) - [m] - Ml)x X ((3m? + Ml)H'{mt) + (m? + MI)H\MW) - 2m]{m] - Ml)H\mt)) +{Lt + Rt) [(m? + 2Ml) {H\mt) - H\MW)) - (m? - Ml) [im] + Ml)H\mt) + MIH\MW) - m]{m] - Ml)H\mt))\] 2048T'« * =0 - (m? - Ml) ((m? + Ml)H'{mt) + MIH\MW) ~ m]{m\ - Ml.)E\m,)) +Rt [Ml{2m] + Ml) [H\mt) - H\Mw)) - (m? - Ml) [2m]MlH\mt) + MlH^Mw) + m?(m? - Ml)H^{Tnt))] | 3 2 7 687:-' 163 847:4 V\ ( Ml, ml {Ml, mr 4 - 3 3 2 7 6 87:4 Mw. ""^jP^iil - x)(2 + 15x + x') + 2x(5 + 4x) In x) (1 — xj'* ^ ' + 27 + 81n(M^/m?) \rj\nj\r W" (4) (710= i{m] - MI)TJ2 71 Awtb[im] + Ml) {H\mt) - H\Mw)) -{m] - Ml) {m]H\mt) + M I H \ M W ) ) ] ^ _ 771 l n ( M 2 / m ? ) ( 3 + 22x)^ 4 = 0 491527:4 M ^ ( l - x ) 3 - ( l - x 2 + 2xlnx) (4) -im]-Ml){H'{mi) + H'{Mw))] 4 122887r4 Â =0 m n In(M^/m?)(3 + 22x). . l,Â?^j rT3^ï^ (2(1 + + ( 1 - x ) (4) C12=4^C11 Awtb 4 =- • =0 71 122887r'« ( 1 5 - 3 4 x ) l n ( M ^ / m ? ) . . ( 1 _ ^ ) 3 (2(1 - x) + (1 + x ) l n x j C l 3 = i - ^ ( m ? - Ml)A^,b[{m] + M^) [H\mt) - H\MW)) -{m] - Ml) {m]H\Tnt) + MIH^MW))] 9 8 3 047r" Ml, 163847r-' ml \Ml, , , (15 -34x) ln (M^/m?) ,^ - 17 + 6cVa2 -41n(M^/m?) (1 - i 2 + 2 i l n i )
Cite
Citation Scheme:
Usage Statistics
Country | Views | Downloads |
---|---|---|
China | 9 | 34 |
France | 6 | 0 |
United States | 2 | 1 |
City | Views | Downloads |
---|---|---|
Beijing | 9 | 0 |
Unknown | 6 | 15 |
Sunnyvale | 1 | 0 |
Ashburn | 1 | 0 |
{[{ mDataHeader[type] }]} | {[{ month[type] }]} | {[{ tData[type] }]} |
Share
Share to: