We discuss the extension of dimensional reduction in thermal field theory at high temperature to real-time correlation functions. It is shown that the perturbative corrections to the leading classical behavior of a scalar bosonic field theory are determined by an effective contour propagator. On the real-time-branch of the time-path contour the effective propagator is obtained by subtracting the classical propagator from the contour propagator of thermal field theory, whereas on the Euclidean branch it reduces to the non-static Matsubara propagator of standard dimensional reduction.
We derive an effective classical theory for real-time SU($N$) gauge theories at high temperature. By separating off and integrating out quantum fluctuations we obtain a 3D classical path integral over the initial fields and conjugate momenta. The leading hard mode contribution is incorporated in the equations of motion for the classical fields. This yields the gauge invariant hard thermal loop (HTL) effective equation of motion. No gauge-variant terms are generated as in treatments with an intermediate momentum cut-off. Quantum corrections to classical correlation functions can be calculated perturbatively. The 4D renormalizability of the theory ensures that the 4D counterterms are sufficient to render the theory finite. The HTL contributions of the quantum fluctuations provide the counterterms for the linear divergences in the classical theory.
Real-time classical SU($N$) gauge theories at non-zero temperature contain linear divergences. We introduce counterterms for these divergences in the equations of motion in the continuum and on the lattice. These counterterms can be given in terms of auxiliary fields that satisfy local equations of motion. We present a lattice model with 6+1D auxiliary fields that for IR-sensitive quantities yields cut-off independent results to leading order in the coupling. Also an approximation with 5+1D auxiliary fields is discussed.
On the basis of the closed-time path formalism of non-equilibrium quantum field theory, we derive the real-time quantum dynamics of heavy quark systems. Even though our primary goal is the description of heavy quarkonia, our method allows a unified description of the propagation of single heavy quarks as well as their bound states. To make calculations tractable, we deploy leading-order perturbation theory and consider the non-relativistic limit. Various dynamical equations, such as the master equation for quantum Brownian motion and time-evolution equation for heavy quark and quarkonium forward correlators, are obtained from a single operator, the renormalized effective Hamiltonian. We are thus able to reproduce previous results of perturbative calculations of the drag force and the complex potential simultaneously. In addition, we present stochastic time-evolution equations for heavy quark and quarkonium wave function, which are equivalent to the dynamical equations.
We consider transformations of the $2times2$ propagator matrix in real-time finite-temperature field theory, resulting in transformed $n$--point functions. As special cases of such a transformation we examine the Keldysh basis, the retarded/advanced $RA$ basis, and a Feynman-like $Fbar F$ basis, which differ in this context as to how ``economically certain constraints on the original propagator matrix elements are implemented. We also obtain the relation between some of these real-time functions and certain analytic continuations of the imaginary-time functions. Finally, we compare some aspects of these bases which arise in practical calculations.
The Wilson action for Euclidean lattice gauge theory defines a positive-definite transfer matrix that corresponds to a unitary lattice gauge theory time-evolution operator if analytically continued to real time. Hoshina, Fujii, and Kikukawa (HFK) recently pointed out that applying the Wilson action discretization to continuum real-time gauge theory does not lead to this, or any other, unitary theory and proposed an alternate real-time lattice gauge theory action that does result in a unitary real-time transfer matrix. The character expansion defining the HFK action is divergent, and in this work we apply a path integral contour deformation to obtain a convergent representation for U(1) HFK path integrals suitable for numerical Monte Carlo calculations. We also introduce a class of real-time lattice gauge theory actions based on analytic continuation of the Euclidean heat-kernel action. Similar divergent sums are involved in defining these actions, but for one action in this class this divergence takes a particularly simple form, allowing construction of a path integral contour deformation that provides absolutely convergent representations for U(1) and SU(N) real-time lattice gauge theory path integrals. We perform proof-of-principle Monte Carlo calculations of real-time U(1) and SU(3) lattice gauge theory and verify that exact results for unitary time evolution of static quark-antiquark pairs in (1 + 1)D are reproduced.