Time-ordered exponential on the complex plane and Gell-Mann-Low formula as a mathematical theorem (Q2804970)

This articles is concerned with a system of quantum electrodynamics with cutoffs. In quantum field theory, the interactions of charged particles and photons are described by quantum electrodynamics. The authors investigate the time-ordered exponential representation of a complex time evolution operator in the interaction picture. Using the complex time evolution, they prove that the Gell-Mann-Low formula under certain abstract conditions, in mathematically rigorous manner. Then, they apply the results found to quantum electrodynamics with cutoffs.