#include "PHOTONS++/MEs/Vector_To_Scalar_Scalar.H" #include "ATOOLS/Math/Poincare.H" #include "ATOOLS/Phys/Flavour.H" #include "ATOOLS/Phys/Particle.H" #include "METOOLS/Main/Polarization_Tools.H" #include "METOOLS/Loops/Master_Integrals.H" #include "METOOLS/Loops/PV_Integrals.H" #define A_0(A,M) Master_Tadpole(A,M) #define B_0(A,B,C,M) Master_Bubble(A,B,C,M) #define B_1(A,B,C,M) PV_Bubble_1(A,B,C,M) #define C_11(A,B,C,D,E,F,M) PV_Triangle_11(A,B,C,D,E,F,M) #define C_12(A,B,C,D,E,F,M) PV_Triangle_12(A,B,C,D,E,F,M) #define C_21(A,B,C,D,E,F,M) PV_Triangle_21(A,B,C,D,E,F,M) #define C_22(A,B,C,D,E,F,M) PV_Triangle_22(A,B,C,D,E,F,M) #define C_23(A,B,C,D,E,F,M) PV_Triangle_23(A,B,C,D,E,F,M) #define C_24(A,B,C,D,E,F,M) PV_Triangle_24(A,B,C,D,E,F,M) using namespace PHOTONS; using namespace ATOOLS; using namespace METOOLS; using namespace std; Vector_To_Scalar_Scalar::Vector_To_Scalar_Scalar (const Particle_Vector_Vector& pvv) : PHOTONS_ME_Base(pvv), Dipole_FF(pvv) { m_name = "Vector_To_Scalar_Scalar"; m_flavs[0] = pvv[1][0]->Flav(); m_masses[0] = pvv[1][0]->FinalMass(); // switch ordering if necessary m_switch = pvv[2][0]->Flav().IsAnti(); // m_switch == true if first multipole particle is anti // such that m_flavs[1] is particle, m_flavs[2] is anti if (m_switch == false) { m_flavs[1] = pvv[2][0]->Flav(); m_masses[1] = pvv[2][0]->FinalMass(); m_flavs[2] = pvv[2][1]->Flav(); m_masses[2] = pvv[2][1]->FinalMass(); } else { m_flavs[2] = pvv[2][0]->Flav(); m_masses[2] = pvv[2][0]->FinalMass(); m_flavs[1] = pvv[2][1]->Flav(); m_masses[1] = pvv[2][1]->FinalMass(); } for (unsigned int i=3; i<9; i++) { m_flavs[i] = Flavour(kf_photon); m_masses[i] = 0.; } m_Gamma = 1.; } Vector_To_Scalar_Scalar::~Vector_To_Scalar_Scalar() { } void Vector_To_Scalar_Scalar::BoostOriginalPVVToMultipoleCMS() { // m_pvv_one already in multipole CMS // m_pvv_zero in arbitrary frame -> boost m_olddipole into its CMS // and rotate m_olddipole.at(0) into +z direction Vec4D sum(0.,0.,0.,0.); for (unsigned int i=0; iMomentum(); } Vec4D p1 = m_olddipole[0]->Momentum(); p_boost = new Poincare(sum); p_boost->Boost(p1); p_rot = new Poincare(p1,Vec4D(0.,0.,0.,1.)); for (unsigned int i=0; iMomentum(); p_boost->Boost(vec); p_rot->Rotate(vec); m_olddipole[i]->SetMomentum(vec); } for (unsigned int i=0; iMomentum(); p_boost->Boost(vec); p_rot->Rotate(vec); m_oldspectator[i]->SetMomentum(vec); } } void Vector_To_Scalar_Scalar::FillMomentumArrays (const Particle_Vector_Vector& pvv_one) { // m_moms0 - no photon m_moms0[0] = m_pvv_zero[1][0]->Momentum(); if (m_switch == false) { m_moms0[1] = m_pvv_zero[2][0]->Momentum(); m_moms0[2] = m_pvv_zero[2][1]->Momentum(); } else { m_moms0[2] = m_pvv_zero[2][0]->Momentum(); m_moms0[1] = m_pvv_zero[2][1]->Momentum(); } // m_moms1 - project multiphoton state onto one photon phase space // do reconstruction procedure again pretending only one photon was generated // not necessary if only one photon if (pvv_one[4].size() == 1) { m_moms1[0][0] = pvv_one[1][0]->Momentum(); if (m_switch == false) { m_moms1[0][1] = pvv_one[2][0]->Momentum(); m_moms1[0][2] = pvv_one[2][1]->Momentum(); } else { m_moms1[0][2] = pvv_one[2][0]->Momentum(); m_moms1[0][1] = pvv_one[2][1]->Momentum(); } m_moms1[0][3] = pvv_one[4][0]->Momentum(); } else { Dipole_FF::DefineDipole(); BoostOriginalPVVToMultipoleCMS(); for (unsigned int i=0; iMomentum(); m_moms1[i][2] = m_newdipole[1]->Momentum(); } else { m_moms1[i][2] = m_newdipole[0]->Momentum(); m_moms1[i][1] = m_newdipole[1]->Momentum(); } m_moms1[i][3] = m_softphotons[0]->Momentum(); m_moms1[i][0] = m_moms1[i][1]+m_moms1[i][2]+m_moms1[i][3]; m_softphotons.clear(); } } } double Vector_To_Scalar_Scalar::Smod(unsigned int kk) { m_moms = m_moms1[kk]; Vec4D k = m_moms[3]; Vec4D pi = m_moms[1]; Vec4D pj = m_moms[2]; double Zi = m_flavs[1].Charge(); double Zj = m_flavs[2].Charge(); int ti = +1; int tj = +1; return m_alpha/(4.*M_PI*M_PI)*Zi*Zj*ti*tj*(pi/(pi*k)-pj/(pj*k)).Abs2(); } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_0_0() { m_moms = m_moms0; Vec4C epsV = Polarization_Vector(m_moms[0])[m_spins[0]]; return m_Gamma*epsV*(m_moms[1]-m_moms[2]); } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_0_1() { return 0.; m_moms = m_moms0; double s(sqr(m_masses[0])); double m(0.5*(m_masses[1]+m_masses[2])); double m2(sqr(m)); double mu2(s); return m_alpha/M_PI * InfraredSubtractedME_0_0() * ( 0.25*(B_0(s,m2,m2,mu2)-A_0(m2,mu2)/m2) +(B_0(m2,0.,m2,mu2)-B_0(s,m2,m2,mu2)) +0.25*B_0(0.,m2,m2,mu2) +0.5*s/(s-4.*m2)*B_0(m2,0.,m2,mu2) -2.*m2/(s-4.*m2)*B_0(s,m2,m2,mu2) ).Finite(); } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_0_2() { return 0.; } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_1_05(unsigned int i) { m_moms = m_moms1[i]; // set to set of momenta to be used Vec4C epsV = Polarization_Vector(m_moms[0])[m_spins[0]]; Vec4C epsP = conj(Polarization_Vector(m_moms[3])[m_spins[3]]); double pa2 = (m_moms[1]+m_moms[3])*(m_moms[1]+m_moms[3]); double pb2 = (m_moms[2]+m_moms[3])*(m_moms[2]+m_moms[3]); double m2 = sqr(0.5*(m_masses[1]+m_masses[2])); // fermion mass/propagator pole // diagrams A and B Complex r1 = -m_Gamma*m_e/(pa2-m2) *(epsV*(m_moms[1]-m_moms[2]+m_moms[3])) *(epsP*(2.*m_moms[1]+m_moms[3])); Complex r2 = m_Gamma*m_e/(pb2-m2) *(epsV*(m_moms[1]-m_moms[2]-m_moms[3])) *(epsP*(2.*m_moms[2]+m_moms[3])); return r1+r2; } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_1_15(unsigned int i) { return 0.; } Complex Vector_To_Scalar_Scalar::InfraredSubtractedME_2_1(unsigned int i, unsigned int j) { return 0.; } double Vector_To_Scalar_Scalar::GetBeta_0_0() { double sum = 0.; for (unsigned int i=0; i<=0; i++) { // spin S.Bar for (unsigned int j=0; j<=0; j++) { // spin S for (unsigned int k=0; k<=2; k++) { // spin V m_spins[0] = k; m_spins[1] = j; m_spins[2] = i; Complex M_0_0 = InfraredSubtractedME_0_0(); sum = sum + (M_0_0*conj(M_0_0)).real(); } } } // spin avarage over initial state sum = (1./3.)*sum; return sum; } double Vector_To_Scalar_Scalar::GetBeta_0_1() { // limit mV >> mS return m_alpha/M_PI*(3.*log(m_M/(0.5*(m_masses[1]+m_masses[2])))+5./2.) *GetBeta_0_0(); } double Vector_To_Scalar_Scalar::GetBeta_0_2() { return 0.; } double Vector_To_Scalar_Scalar::GetBeta_1_1(unsigned int a) { double sum = 0.; for (unsigned int i=0; i<=0; i++) { // spin S.Bar for (unsigned int j=0; j<=0; j++) { // spin S for (unsigned int k=0; k<=2; k++) { // spin V for (unsigned int l=0; l<=1; l++) { // spin gamma m_spins[0] = k; m_spins[1] = j; m_spins[2] = i; m_spins[3] = l; Complex M_1_05 = InfraredSubtractedME_1_05(a); sum = sum + (M_1_05*conj(M_1_05)).real(); } } } } // spin avarage over initial state sum = (1./3.)*sum; sum = 1./(16.*M_PI*M_PI*M_PI)*sum - Smod(a)*GetBeta_0_0(); return sum; } double Vector_To_Scalar_Scalar::GetBeta_1_2(unsigned int i) { return 0.; } double Vector_To_Scalar_Scalar::GetBeta_2_2(unsigned int i, unsigned int j) { return 0.; } DECLARE_PHOTONS_ME_GETTER(Vector_To_Scalar_Scalar, "Vector_To_Scalar_Scalar") PHOTONS_ME_Base *ATOOLS::Getter:: operator()(const Particle_Vector_Vector &pvv) const { // same mass restriction can be lifted if M_0_1 is computed for general case if ( (pvv.size() == 4) && (pvv[0].size() == 0) && (pvv[1].size() == 1) && pvv[1][0]->Flav().IsVector() && (pvv[2].size() == 2) && pvv[2][0]->Flav().IsScalar() && (pvv[2][0]->Flav() == pvv[2][1]->Flav().Bar()) && (pvv[3].size() == 0) ) return new Vector_To_Scalar_Scalar(pvv); return NULL; }