A class for \(|\epsilon'_K/\epsilon_K|\) that parametrizes direct CPV in the Kaon sector. More...

#include <EpsilonP_O_Epsilon.h>

Inheritance diagram for EpsilonP_O_Epsilon:

Detailed Description

A class for \(|\epsilon'_K/\epsilon_K|\) that parametrizes direct CPV in the Kaon sector.

Author: HEPfit Collaboration

Copyright: GNU General Public License

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

Model parameters

The model parameters of EpsilonP_O_Epsilon 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 55 of file EpsilonP_O_Epsilon.h.

Public Member Functions
double	computeThValue ()

	EpsilonP_O_Epsilon (const StandardModel &SM_i, unsigned int part_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 StandardModel &	getModel ()
	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...

Private Attributes
double	ImA0

double	ImA2

unsigned int	part

double	ReA0

double	ReA2

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 StandardModel &	SM
	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

Constructor & Destructor Documentation

◆ EpsilonP_O_Epsilon()

EpsilonP_O_Epsilon::EpsilonP_O_Epsilon	(	const StandardModel &	SM_i,
		unsigned int	part_i
	)

constructor

Parameters

Flavour

Definition at line 12 of file EpsilonP_O_Epsilon.cpp.

: ThObservable(SM_i), AmpDS1(SM_i)
{
    setParametersForObservable(make_vector<std::string>() << "Br_Ks_P0P0" << "Br_Ks_PpPm" << "Br_Kp_P0Pp" << "Omega_eta_etap" << "Delta_0" << "Delta_2" << "EpsK" << "phiEpsK"
                                                          << "Zqq00" << "Zqq11" << "Zqq12" << "Zqq13" << "Zqq14" << "Zqq21" << "Zqq22" << "Zqq23" << "Zqq24"
                                                          << "Zqq31" << "Zqq32" << "Zqq33" << "Zqq34" << "Zqq41" << "Zqq42" << "Zqq43" << "Zqq44" << "Zqq55"
                                                          << "Zqq56" << "Zqq65" << "Zqq66");
    part = part_i;
}

Member Function Documentation

◆ computeThValue()

double EpsilonP_O_Epsilon::computeThValue ( )

virtual

Returns: theoretical value of \(|\epsilon'_K/\epsilon_K|\)

Implements ThObservable.

Definition at line 22 of file EpsilonP_O_Epsilon.cpp.

{
  double phase = -sin(((SM.getOptionalParameter("Delta_2")-SM.getOptionalParameter("Delta_0"))-SM.getOptionalParameter("phiEpsK"))*M_PI/180.);
  switch (part) {
      case 0:
        // return ReA0 using exp info
        return getReA0();
      case 1:
        // return ReA2 using exp info
        return getReA2();
      case 2:
        // return ReA0 using lattice info
        return AmpDS1pp0pureLAT(NLO).real();
      case 3:
        // return ReA2 using lattice info
        return AmpDS1pp2(NLO).real();
      case 4:
        // eps'/eps: state-of-the-art from lattice + exp measurement of ReA0,2
        ReA0 = getReA0();
        ImA0 = AmpDS1pp0(NLO).imag();
        ReA2 = getReA2();
        ImA2 = AmpDS1pp2(NLO).imag();
        break;
      case 5:
        // eps'/eps: prediction solely based on lattice results
        ReA0 = AmpDS1pp0pureLAT(NLO).real();
        ImA0 = AmpDS1pp0pureLAT(NLO).imag();
        ReA2 = AmpDS1pp2(NLO).real();
        ImA2 = AmpDS1pp2(NLO).imag();
        break;
      case 6:
          // return Im A0 using exp info
          return AmpDS1pp0(NLO).imag();
      case 7:
          // return Im A0 using pure lattice
          return AmpDS1pp0pureLAT(NLO).imag();
      case 8:
          // return Im A2
          return AmpDS1pp2(NLO).imag();
      default:
          throw ("incorrect value of part in EpsilonP_O_Epsilon");
  }
  //Evaluate Re(eps'/eps) as defined in ArXiv:2004.09440
  return M_SQRT1_2 * phase * (ReA2/ReA0) * ( (ImA2/ReA2) - ((1.-SM.getOptionalParameter("Omega_eta_etap")) * (ImA0/ReA0)))/SM.getOptionalParameter("EpsK");
}

Member Data Documentation

◆ ImA0

double EpsilonP_O_Epsilon::ImA0

private

Definition at line 71 of file EpsilonP_O_Epsilon.h.

◆ ImA2

double EpsilonP_O_Epsilon::ImA2

private

variables for real and imaginary part of \(K^0\to\pi\pi\) with \(\Delta I= 0,2\)

Definition at line 71 of file EpsilonP_O_Epsilon.h.

◆ part

unsigned int EpsilonP_O_Epsilon::part

private

toggle for real, imaginary, absolute or argument value

Definition at line 70 of file EpsilonP_O_Epsilon.h.

◆ ReA0

double EpsilonP_O_Epsilon::ReA0

private

Definition at line 71 of file EpsilonP_O_Epsilon.h.

◆ ReA2

double EpsilonP_O_Epsilon::ReA2

private

Definition at line 71 of file EpsilonP_O_Epsilon.h.

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

Detailed Description

Model parameters

Public Member Functions

Private Attributes

Additional Inherited Members

Constructor & Destructor Documentation

◆ EpsilonP_O_Epsilon()

Member Function Documentation

◆ computeThValue()

Member Data Documentation

◆ ImA0

◆ ImA2

◆ part

◆ ReA0

◆ ReA2