Evaluating Real Time Finite Temperature Feynman Amplitudes
M.E. Carrington, Hou Defu, A. Hachkowski, D. Pickering, J.C. Sowiak

TL;DR
This paper presents a Mathematica-based program for calculating finite temperature Feynman amplitudes in the real time formalism, demonstrated by verifying the Ward identity in finite temperature QED.
Contribution
It introduces a symbolic computation tool for finite temperature Feynman amplitudes and applies it to verify fundamental identities in thermal QED.
Findings
Successfully verified the finite temperature Ward identity for QED.
Demonstrated the utility of the program in simplifying complex calculations.
Provided a new computational approach for finite temperature quantum field theory.
Abstract
We construct a program to calculate Feynman amplitudes at finite temperature in the real time Keldysh formalism using the symbolic manipulation program {\it Mathematica}. As an example, the usefulness of this program is demonstrated by proving the finite temperature Ward identity for QED in a second order effective theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
