a Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models Logo
EpsilonP_O_Epsilon_TH Class Reference

A class for \(|\epsilon'_K/\epsilon_K|\) that parametrizes direct CPV in the Kaon sector. In this implementation, both \(|\epsilon'_K|\) and \(|\epsilon_K|\) are computed using their theoretical expression. More...

#include <EpsilonP_O_Epsilon_TH.h>

+ Inheritance diagram for EpsilonP_O_Epsilon_TH:

Detailed Description

A class for \(|\epsilon'_K/\epsilon_K|\) that parametrizes direct CPV in the Kaon sector. In this implementation, both \(|\epsilon'_K|\) and \(|\epsilon_K|\) are computed using their theoretical expression.

Author
HEPfit Collaboration

This class is used to compute the theoretical value of \(|\epsilon'_K/\epsilon_K|\), using theory for numerator and denominator. This parameter gets contributions both from the SM and many NP models.

Model parameters

The model parameters of EpsilonP_O_Epsilon_TH are summarized below:

Label LaTeX symbol Description
ReA0_Kd \({\cal Re}(A_0(K\to\pi\pi))\) The experimental value of the real part of the amplitude for \(K^0\to\pi\pi\) with \(\Delta I=0\).
ReA2_Kd \({\cal Re}(A_2(K\to\pi\pi))\) the experimental value of the real part of the amplitude for \(K^0\to\pi\pi\) with \(\Delta I=2\).
Omega_eta_etap \(\Omega_{\eta/\eta'}\) The isospin breaking contribution in \(K^0\to\pi\pi\).

Definition at line 59 of file EpsilonP_O_Epsilon_TH.h.

Public Member Functions

double computeThValue ()
 
 EpsilonP_O_Epsilon_TH (const StandardModel &SM_i)
 
- Public Member Functions inherited from ThObservable
double getBinMax ()
 A get method to get the maximum value of the bin. More...
 
double getBinMin ()
 A get method to get the minimum value of the bin. More...
 
const StandardModelgetModel ()
 A get method to get the model. More...
 
const std::vector< std::string > getParametersForObservable ()
 A get method to get the parameters for the specific observable. More...
 
void setBinMax (double max)
 A set method to set the maximum value of the bin. More...
 
void setBinMin (double min)
 A set method to set the minimum value of the bin. More...
 
void setParametersForObservable (std::vector< std::string > parametersForObservable_i)
 A set method to get the parameters for the specific observable. More...
 
 ThObservable (const StandardModel &SM_i)
 Constructor. More...
 
 ThObservable (const ThObservable &orig)
 The copy constructor. More...
 
virtual ~ThObservable ()
 The default destructor. More...
 

Additional Inherited Members

- Protected Attributes inherited from ThObservable
double max
 the bin maximum. More...
 
double min
 The bin minimum. More...
 
std::vector< std::string > parametersForObservable
 a vector of parameter namesfor the specific observable More...
 
const StandardModelSM
 A reference to an object of StandardMode class. More...
 
- Private Member Functions inherited from AmpDS1
 AmpDS1 (const StandardModel &SM_i)
 compute the amplitude for \( K_L \) decay in 2 pion More...
 
gslpp::complex AmpDS1pp0 (orders order)
 
gslpp::complex AmpDS1pp0pureLAT (orders order)
 
gslpp::complex AmpDS1pp2 (orders order)
 
gslpp::matrix< double > getChiralMatrixpp0 () const
 
gslpp::matrix< double > getChiralMatrixpp2 () const
 
double getReA0 ()
 
double getReA2 ()
 
gslpp::matrix< double > getRIMatrixpp0 () const
 
gslpp::matrix< double > getRISMOMTransMatrix (double mu, orders order) const
 
- Private Member Functions inherited from AmpDK2
 AmpDK2 (const StandardModel &SM_i)
 Constructor. More...
 
gslpp::complex AmpDK (orders order)
 compute the amplitude for kaon oscillations More...
 
gslpp::complex AmpDMKNP (orders order)
 compute the NP part of the amplitude for kaon oscillations More...
 

Constructor & Destructor Documentation

◆ EpsilonP_O_Epsilon_TH()

EpsilonP_O_Epsilon_TH::EpsilonP_O_Epsilon_TH ( const StandardModel SM_i)

constructor

Parameters
SM_ia reference to an object of class StandardModel, or of one of its extensions

Definition at line 12 of file EpsilonP_O_Epsilon_TH.cpp.

13: ThObservable(SM_i), AmpDS1(SM_i), AmpDK2(SM_i)
14{
15 setParametersForObservable(make_vector<std::string>() << "Br_Ks_P0P0" << "Br_Ks_PpPm" << "Br_Kp_P0Pp" << "Omega_eta_etap" << "Delta_0" << "Delta_2" << "EpsK" << "phiEpsK"
16 << "Zqq00" << "Zqq11" << "Zqq12" << "Zqq13" << "Zqq14" << "Zqq21" << "Zqq22" << "Zqq23" << "Zqq24"
17 << "Zqq31" << "Zqq32" << "Zqq33" << "Zqq34" << "Zqq41" << "Zqq42" << "Zqq43" << "Zqq44" << "Zqq55"
18 << "Zqq56" << "Zqq65" << "Zqq66");
19}
AmpDK2(const StandardModel &SM_i)
Constructor.
Definition: AmpDK2.cpp:12
AmpDS1(const StandardModel &SM_i)
compute the amplitude for decay in 2 pion
Definition: AmpDS1.cpp:14
void setParametersForObservable(std::vector< std::string > parametersForObservable_i)
A set method to get the parameters for the specific observable.
Definition: ThObservable.h:109
ThObservable(const StandardModel &SM_i)
Constructor.
Definition: ThObservable.h:32

Member Function Documentation

◆ computeThValue()

double EpsilonP_O_Epsilon_TH::computeThValue ( )
virtual
Returns
theoretical value of \(|\epsilon'_K/\epsilon_K|\)

Implements ThObservable.

Definition at line 21 of file EpsilonP_O_Epsilon_TH.cpp.

22{
23 //Evaluate Re(eps'/eps) as defined in ArXiv:2004.09440, using the theory expression for eps
24 double phase = -sin(((SM.getOptionalParameter("Delta_2")-SM.getOptionalParameter("Delta_0"))-SM.getOptionalParameter("phiEpsK"))*M_PI/180.);
25 return M_SQRT1_2 * phase * (getReA2()/getReA0()) * ( (AmpDS1pp2(NLO).imag() / getReA2()) - ( (1.-SM.getOptionalParameter("Omega_eta_etap")) * (AmpDS1pp0(NLO).imag() / getReA0()) ) )/
26 (SM.getCepsK() / SM.getOptionalParameter("DeltaMK") * AmpDK(FULLNLO).imag() * SM.getOptionalParameter("KbarEpsK") *
27 // Tarantino et al 2021
28 1.01 *
29 sin(SM.getOptionalParameter("phiEpsK") * M_PI / 180.));
30}
@ NLO
Definition: OrderScheme.h:35
@ FULLNLO
Definition: OrderScheme.h:38
gslpp::complex AmpDK(orders order)
compute the amplitude for kaon oscillations
Definition: AmpDK2.cpp:18
double getReA2()
Definition: AmpDS1.cpp:218
gslpp::complex AmpDS1pp2(orders order)
Definition: AmpDS1.cpp:133
gslpp::complex AmpDS1pp0(orders order)
Definition: AmpDS1.cpp:21
double getReA0()
Definition: AmpDS1.cpp:197
const double getOptionalParameter(std::string name) const
A method to get parameters that are specific to only one set of observables.
Definition: QCD.h:450
virtual const double getCepsK() const
The ratio of the imaginary part of the $K$ mixing amplitude over the Standard Model value.
const StandardModel & SM
A reference to an object of StandardMode class.
Definition: ThObservable.h:121

The documentation for this class was generated from the following files: