FEYN CALC SYMBOL

DoPolarizationSums


sums over vector polarizations for expressions with a factor of the form Pair[LorentzIndex[rho1_], Momentum[Polarization[p_, -I]]]* Pair[LorentzIndex[rho2_], Momentum[Polarization[p_, I]]].

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

In the following (and indeed everywhere else within FeynCalc), notice that Lorentz indices written as super or subscripts are not to be taken as such. Instead, by convention, when two indices are contracted one is always lower and the other upper.
FeynCalc uses the following normalization of Polarization vectors:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
DoPolarizationSums is chosen in such a way as to be consistent with this normalization and with epsilon_(mu)("p"_4) (epsilon^nu)_()("p"_4)=Null:
We can choose e.g. the following polarization vectors, labeled with a subscript, {e_1,e_2,e_3,e_4} = {(,0,0,0), (0,,0,0), (0,0,,0), (0,0,0,)}.
In[3]:=
Click for copyable input
In[4]:=
Click for copyable input
In[5]:=
Click for copyable input
Out[5]=
ee[i][μ] is e_i^mu:
In[6]:=
Click for copyable input
In[7]:=
Click for copyable input
tt[i,j,μ,ν] is e_i^mue_j^nu:
 Null=Null:
In[8]:=
Click for copyable input
Out[8]=
 Null=Null:
In[9]:=
Click for copyable input
Out[9]=
In[10]:=
Click for copyable input
Out[10]=
In[11]:=
Click for copyable input
Out[11]=
In[12]:=
Click for copyable input
Out[12]=
In[13]:=
Click for copyable input
Out[13]=
In[14]:=
Click for copyable input
Out[14]=
In[15]:=
Click for copyable input