a Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models Logo
GeneralTHDMMatching.h
Go to the documentation of this file.
1/*
2 * Copyright (C) 2017 HEPfit Collaboration
3 *
4 *
5 * For the licensing terms see doc/COPYING.
6 */
7
8#ifndef GENERALTHDMMATCHING_H
9#define GENERALTHDMMATCHING_H
10
11 #include <Polylogarithms.h>
12#include "gslpp.h"
14
15class GeneralTHDM;
16
26public:
27 GeneralTHDMMatching(const GeneralTHDM & GeneralTHDM_i);
28
29
30
31
32
33
38 virtual std::vector<WilsonCoefficient>& CMgminus2mu();
39
45 virtual double gminus2muLO();
46 //FOR THE MOMENT WE LEAVE THIS DEFINITION OF THE LO CONTRIBUTION TO THE g-2, MUST BE CHECKED
47
48
49
56 double F1oneloopgm2(const double ratio_sq);
57
58
59
66 double F2oneloopgm2(const double ratio_sq);
67
68
69
76 double F3oneloopgm2(const double ratio_sq);
77
78
79
86 double F1twoloopgm2(const double ratio_sq);
87
88
89
96 double F1tildetwoloopgm2(const double ratio_sq);
97
98
105 double F2twoloopgm2(const double ratio_sq);
106
107
108
115 double F3twoloopgm2(const double ratio_sq);
116
117
118
126 double F4twoloopgm2(const double ratio_sq);
127
128
129
130
138 double F5twoloopgm2(const double ratio_sq);
139
140
141
147 virtual double gminus2muNLO();
148
149
150
151
152
158 //virtual double gminus2muNLOF();
159 //WE'RE REMOVING THIS DEFINITIONS AND SUBSTITUTING THEM FROM THOSE OF 1502.04199
160
166 //virtual double gminus2muNLOB();
167 //WE'RE REMOVING THIS DEFINITIONS AND SUBSTITUTING THEM FROM THOSE OF 1502.04199
168
169
170
171
172
178 virtual gslpp::complex negsquareroot(double x);
179
185 virtual gslpp::complex negpow(double basis, double exp);
186
193 virtual gslpp::complex neglog(gslpp::complex argument);
194
195
196
197
198
199
200
206 //virtual gslpp::complex TF(double m1, double m2, double m3);
207 //WE'RE REMOVING THIS DEFINITIONS AND SUBSTITUTING THEM FROM THOSE OF 1502.04199
208
209
210
211
212
213
214
215
219 virtual std::vector<WilsonCoefficient>& CMdbs2();
220// virtual std::vector<WilsonCoefficient>& CMdbsp2();
221
226 virtual std::vector<WilsonCoefficient>& CMdiujleptonknu(int i, int j, int k) ;
227
228
229 virtual std::vector<WilsonCoefficient>& CMBMll(QCD::lepton lepton);
230
231
235 virtual double C10Bll(double xt, double xHp, gslpp::complex su);
236
240 virtual gslpp::complex CSboxBll(double xt, double xHp, gslpp::complex su, gslpp::complex sd, gslpp::complex sl);
241
245 virtual gslpp::complex CPboxBll(double xt, double xHp, gslpp::complex su, gslpp::complex sd, gslpp::complex sl);
246
250 virtual gslpp::complex CPZUBll(double xt, double xHp, double sW2, gslpp::complex su, gslpp::complex sd);
251
252
256 virtual double f1(double xHp, double xt);
257
258
262 virtual double f2(double xHp, double xt);
263
264
268 virtual double f3(double xHp, double xt);
269
270
274 virtual double f4(double xHp, double xt);
275
276
280 virtual double f5(double xHp, double xt);
281
282
286 virtual double f6(double xHp, double xt);
287
288
292 virtual double f7(double xHp, double xt);
293
294
298 virtual double f8(double xHp, double xt);
299
300
301
305 virtual double f9(double xHp, double xt);
306
310 virtual double f10(double xHp, double xt);
311
312
316 virtual gslpp::complex g0(double xHp, double xt, gslpp::complex su, gslpp::complex sd);
317
321 virtual gslpp::complex g1a(double xHp, double xt, gslpp::complex su, gslpp::complex sd);
322
326 virtual gslpp::complex g2a(double xHp, double xt, gslpp::complex su, gslpp::complex sd);
327
331 virtual gslpp::complex g3a(double xHp, double xt, gslpp::complex su, gslpp::complex sd);
332
333
334 virtual gslpp::complex lambdaHHphi(double lambda3, double Relambda7,double Imlambda7, double Ri1, double Ri2, double Ri3 );
335
336 virtual gslpp::complex CphiU(double xHp, double xt, double vev, double xphi, double mu, double Ri1, double Ri2, double Ri3, double mHi_2, double lambda3, double Relambda7,double Imlambda7, gslpp::complex su, gslpp::complex sd);
337
344 virtual std::vector<WilsonCoefficient>& CMbsg() ;
345
357 gslpp::complex setWCbsg (int i, gslpp::complex sigmau, gslpp::complex sigmad, double mt, double mhp, double mu, orders order);
358
360 {
361 return PolyLog;
362 }
363
365
366private:
367 const GeneralTHDM & myGTHDM;
368
369 gslpp::matrix<gslpp::complex> myCKM;
371
372 double GF, mMU;
373 gslpp::complex CWbsgArrayLO[8], CWbsgArrayNLO[8], CWbsgArrayNNLO[8];
374 double mtbsg, mhpbsg, mubsg; // caching
375 gslpp::complex su, sd, sl; // caching
376
378};
379
380#endif /* GENERALTHDMMATCHING_H */
WilsonCoefficient mculeptonnu
virtual gslpp::complex neglog(gslpp::complex argument)
Calculates the log of a negative number.
virtual double f2(double xHp, double xt)
virtual gslpp::complex g3a(double xHp, double xt, gslpp::complex su, gslpp::complex sd)
virtual double f10(double xHp, double xt)
const GeneralTHDM & myGTHDM
virtual gslpp::complex lambdaHHphi(double lambda3, double Relambda7, double Imlambda7, double Ri1, double Ri2, double Ri3)
gslpp::complex CWbsgArrayLO[8]
WilsonCoefficient mcBMll
double F4twoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. In the notation of [1502.04199] this corresponds to (Q...
virtual std::vector< WilsonCoefficient > & CMbsg()
operator basis: current current; qcd penguins; magnetic and chromomagnetic penguins; semileptonic
double F3oneloopgm2(const double ratio_sq)
Loop at one loop from 1502.04199. The complete loop function is \int_0^1 dx \frac{x^2(1-x)}{ratio_sq...
WilsonCoefficient mcgminus2mu
double F1oneloopgm2(const double ratio_sq)
Loop at one loop from 1502.04199. The complete loop function is \int_0^1 dx \frac{x^2(2-x)}{ratio_sq...
const Polylogarithms PolyLog
virtual double f8(double xHp, double xt)
virtual double f7(double xHp, double xt)
virtual std::vector< WilsonCoefficient > & CMdiujleptonknu(int i, int j, int k)
WilsonCoefficient mcbsg
virtual gslpp::complex CphiU(double xHp, double xt, double vev, double xphi, double mu, double Ri1, double Ri2, double Ri3, double mHi_2, double lambda3, double Relambda7, double Imlambda7, gslpp::complex su, gslpp::complex sd)
virtual std::vector< WilsonCoefficient > & CMdbs2()
Calculates the function of Eq. (68) of 1607.06292.
virtual double C10Bll(double xt, double xHp, gslpp::complex su)
virtual gslpp::complex g1a(double xHp, double xt, gslpp::complex su, gslpp::complex sd)
WilsonCoefficient mcbsmm
virtual double f1(double xHp, double xt)
gslpp::complex setWCbsg(int i, gslpp::complex sigmau, gslpp::complex sigmad, double mt, double mhp, double mu, orders order)
double F2twoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. The complete loop function is \frac{1}{2}*\int_0^1 dx ...
virtual gslpp::complex negpow(double basis, double exp)
Calculates the power root of a negative number.
virtual double gminus2muLO()
Calculates amplitudes for at one loop from 1502.04199, before was used.
virtual double f3(double xHp, double xt)
GeneralTHDMMatching(const GeneralTHDM &GeneralTHDM_i)
gslpp::matrix< gslpp::complex > myCKM
double F1twoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. The complete loop function is \frac{ratio_sq}{2}*\int_...
double F3twoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. The complete loop function is \frac{1}{2}*\int_0^1 dx ...
virtual gslpp::complex g0(double xHp, double xt, gslpp::complex su, gslpp::complex sd)
virtual double f6(double xHp, double xt)
const Polylogarithms getPolyLog() const
double F5twoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. In the notation of [1502.04199] this corresponds to (Q...
double F2oneloopgm2(const double ratio_sq)
Loop at one loop from 1502.04199. The complete loop function is \int_0^1 dx \frac{-x^3}{ratio_sq*x^2...
gslpp::complex CWbsgArrayNNLO[8]
virtual double f9(double xHp, double xt)
gslpp::complex CWbsgArrayNLO[8]
virtual gslpp::complex CPboxBll(double xt, double xHp, gslpp::complex su, gslpp::complex sd, gslpp::complex sl)
virtual double f4(double xHp, double xt)
virtual double gminus2muNLO()
Calculates amplitudes for at approximate two-loop from .
virtual gslpp::complex CSboxBll(double xt, double xHp, gslpp::complex su, gslpp::complex sd, gslpp::complex sl)
virtual std::vector< WilsonCoefficient > & CMgminus2mu()
Wilson coefficient for .
virtual double f5(double xHp, double xt)
double F1tildetwoloopgm2(const double ratio_sq)
Loop at two loops (Barr-Zee) from 1502.04199. The complete loop function is \frac{ratio_sq}{2}*\int_...
virtual gslpp::complex g2a(double xHp, double xt, gslpp::complex su, gslpp::complex sd)
virtual std::vector< WilsonCoefficient > & CMBMll(QCD::lepton lepton)
virtual gslpp::complex CPZUBll(double xt, double xHp, double sW2, gslpp::complex su, gslpp::complex sd)
WilsonCoefficient mcdbs2
virtual gslpp::complex negsquareroot(double x)
Calculates amplitudes for at approximate two-loop from .
A class for the polylogarithms.
lepton
An enum type for leptons.
Definition: QCD.h:310
A class for the matching in the Standard Model.
A class for the Wilson coefficients.
An observable class for the quartic Higgs potential coupling .
orders
An enum type for orders in QCD.
Definition: OrderScheme.h:33