A Software for symbolic calculations in high energy physics

illuminates
Messages
25
Reaction score
0
I interest the software, which understands gamma and sigma matrices, that the convolution can go over Lorentz indexs, and over group indexs, which understands what is covariant differentiation, trace.
I tried to use maple, but work goes with difficulty. Although I write convolution over different indexs, maple works with such expressions with difficulty. Maybe is there another program which easy understands what I want from one? (Preferably with the tex syntax and a support forum. But I listen to any recommendations)
 
Physics news on Phys.org
I only know mathematica. There are several packages for this kind of things. A very simple one is Tracer, which handles "Diracology", including the rules for dimensional regularization (with the 't Hooft-prescription for the behavior of the "chiral" ##\gamma_5## matrix to implement the correct structure of the chiral anomaly in the Standard model (axial U(1) symmetry broken, vector U(1) intact as it must be in QCD)

http://library.wolfram.com/infocenter/MathSource/2987/

A newer package is

FeynCalc
https://feyncalc.github.io/
 
Toponium is a hadron which is the bound state of a valance top quark and a valance antitop quark. Oversimplified presentations often state that top quarks don't form hadrons, because they decay to bottom quarks extremely rapidly after they are created, leaving no time to form a hadron. And, the vast majority of the time, this is true. But, the lifetime of a top quark is only an average lifetime. Sometimes it decays faster and sometimes it decays slower. In the highly improbable case that...
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy \langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67} The singular contribution of the integral arises at the endpoint u=1 of the integral, and in the limit u \to 1, the function f_s(u) takes on the form f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}...
Back
Top