1. Introduction
The understanding of quantum field theory dynamics over strong field backgrounds demands the consideration of correlation functions over quantum states with non-zero anomalous quantum expectation values or anomalous averages. We use here the standard terminology from the BCS theory of superconductors [
1,
2], where anomalous averages play a key role: we name as the anomalous averages and the expectation values of the form
, where
is the density matrix characterizing the state of the theory and
includes the annihilation operators in the theory; the trace is taken over the Hilbert space of the theory. For the standard Fock space states (e.g., Poincare invariant ground state), the anomalous averages are always zero. However, in a quantum field theory over strong background fields, even for zero initial values, the anomalous averages are generated dynamically in loop corrections [
3]. This happens, e.g., in the expanding universe [
4,
5,
6,
7,
8], during collapse processes [
9], in the presence of strong electric fields [
10,
11] and in the presence of background scalar fields [
12]. Refer to [
13] for a general discussion.
At the same time, quantum field dynamics in flat spacetime with non-trivial anomalous expectation values are poorly studied. That is mainly because, to obtain non-zero anomalous averages, one has to consider some sort of coherent states. Meanwhile, the consideration of states with non-zero anomalous averages in flat space quantum field theory can be a suitable playground for the development of methods to work in similar situations over strong background fields. Concretely, in this paper, we consider the thermalization process in the massive scalar field theory with self-interaction in four-dimensional Minkowski spacetime.
The thermalization process in the kinetic approximation with zero anomalous expectation values was considered in many places (see, e.g., textbooks [
14,
15,
16]). However, to the best of our knowledge, the thermalization process in the kinetic approximation with non-zero anomalous averages was not considered.
In this paper, we consider an initial state containing a non-Planckian (non-thermal) level population, which is expressed via , and anomalous averages, . Our goal is to show that such a state will evolve in time towards the Planckian level population, , and zero anomalous average. Namely, the final state of the thermalization process is described by the Planckian distribution of modes, , over the Poincare invariant ground state.
To show this phenomenon, we derive a system of kinetic equations for the level population and anomalous averages. Then, we show that this system has a solution with zero anomalous averages and Planckian level population only for such modes, which diagonalize the free Hamiltonian. To derive the system of generalized kinetic equations, we use standard textbook methods, which can be found, e.g., in [
15,
16]. To have the analytic headway in finding solutions of this system, we consider spatially homogeneous states and small initial anomalous averages. However, we also derive the system of kinetic equations for
and
without the latter assumptions.
2. Set up of the Problem
In this note, we consider the four-dimensional real massive self-interacting scalar field theory in flat spacetime.
The signature of the metric is . (We work in the units .) We are interested only in the infrared (IR) effects and assume that all coupling constants in this Lagrangian acquire their physical (UV renormalized) values.
It is well known that a gas of quanta, for which its dynamics is described by the Lagrangian (1), will thermalize for any physically reasonable initial level population . Below, we will review how to make this observation theoretically for the situation that is close to the equilibrium. Namely, we will show that, in time, the distribution will become Planckian , with temperature following from the initial data and being the energy of the mode with momentum .
The goal of this paper is to observe thermalization with a non-Planckian initial level population, when there is also non-zero initial anomalous quantum expectation values, . In this paper, we make analytic observations for small initial values of the anomalous averages, i.e., also when the state of the theory is close to equilibrium.
There are two method to introduce non-zero initial values of the anomalous averages, which are related to each other via canonical transformations. The first option is to use the following standard modes.
In other words, from the very beginning, one starts with the modes, which diagonalize the free Hamiltonian following from the Lagrangian (1). Then, one considers such an initial state in which the following is the case:
where both
and
are not zero, and
is not equal to the Planckian distribution. For simplicity, we begin with the consideration of spatially homogeneous states. Inhomogeneous situations will be briefly discussed below. Moreover, in this paper, we consider only such states for which Wick’s theorem does work. Furthermore, to make analytical considerations, we have to consider small initial
.
The second option is to consider the decomposition of the field operator as follows:
where the modes have the following form.
To obtain the canonical commutation relations for with and for the field operator with its conjugate momentum, constants and should obey relation .
Furthermore, to obtain the proper UV (Hadamard) behavior of the correlation functions, it is necessary to demand condition . In fact, for very large momenta, modes behave in the standard way, i.e., as those in (2). As a result, correlation functions have standard UV singularities. This is necessary for the proper UV renormalization of physical quantities in loops, e.g., only in such a case does beta-function of coupling constant depend only on the kinematic number of the degrees of freedom rather than on the values of and .
For a mode decomposition such as (4) and (5), one can consider, e.g., an initial state of the following form.
However, by performing the Bogoliubov transformation to the standard modes (2):
we can reduce the problem to the one with the mode decomposition (2) and a state of form (3), where the initial level population and anomalous averages are equal to the following.
Again, for simplicity we have assumed that is small for all q.
Of course, (5) is not the most generic form of the modes, because Bogoliubov rotations are not the most generic canonical transformations. However, for the consideration of such states that are very close to spatial homogeneity, it is sufficient to consider the modes of form (5).
3. Dynamics of the Level-Population and Anomalous Averages at the Linear Order in the Coupling Constant
Thus, we restrict our attention to the first method, (2) and (3), of setting up the initial anomalous expectation values. In the theory (1), the free Hamiltonian has the standard form. Meanwhile, the normal ordered interaction term is as follows.
Note that such an interaction with the Hamiltonian does not commute with the total particle number unlike the one in the superconductor BCS theory.
To understand the thermalization process, one writes the interaction picture evolution equations for the following expectation values.
The novel moment that is considered in this paper in comparison with the standard situation is that now we add the equation for on top of the standard equation for . These quantities are related to the level-population and anomalous averages such as and , if the average is taken over the spatially homogeneous state. Throughout this paper, we always assume that and are functions of the modulus of .
Consider first the linear order in
. At this order, using Wick’s theorem, one obtains the following
1:
and the following is the case.
In deriving these equations, we have used and for translationally invariant states. Here, and are the level population and anomalous averages at the moment of time t, while and , which were introduced above, are their values at the initial moment of time. Moreover, we assume the kinetic approximation here, i.e., that and are slow functions of time t in comparison with the modes.
Oscillating terms on the right hand sides of (11) and (12) can be neglected, as they do not lead to the secular growth of
and
after the integration of both sides of these equations over
t. This means that, in limit
, the change of
and
in time, which is caused by such terms, is negligible. Then, neglecting the oscillating terms, one obtains the following:
and the following is the case.
We can obtain the analytic headway assuming that the system is very close to the equilibrium; i.e., the following is the case.
The first condition here is necessary to linearize the equation for , if they were nonlinear, as will be the case below in the order.
If one substitutes Planckian distribution for into the right hand side (RHS) of Equation (14), it is not hard to recognize the term responsible for mass renormalization. Namely, the integral on the RHS of (14) is divergent and can be absorbed into the renormalization of . In fact, if one substitutes into Equation (14), then can be adjusted such that (14) acquires form .
Furthermore, the RHS of Equation (14) appears due to the bubble diagram of the theory, which is responsible for self-energy renormalization. The resummation of such diagrams can be related to the renormalization of self-energy, which should be performed in the process of normal ordering of the interaction term (9) in the Hamiltonian. This is another argument why the RHS of Equation (14) can be attributed to mass renormalization. Thus, from now on, we deal with with the renormalized mass but denote it as usual by .
4. Kinetic Equations at the Second Order in the Coupling Constant
Let us continue with the second order in
. Essentially, here we briefly review the derivation of kinetic equations [
15,
16] but in the presence of anomalous averages. Again, one starts with (10) but does not truncate (with the use of the Wick contractions) RHS immediately after the calculation of the commutator. Namely, one uses commutation relations for the annihilation and creation operators to obtain, on the RHS of (10), the expectation values of the operators that contain fourth powers of
and
operators. For example, the equation for
contains such terms as follows.
Such an expression stands under the integral over on the RHS of (10), which comes from the definition of in (9). With this method, one obtains the dynamical equations for and , which are expressed via the expectation values of the quartic in a and operators.
The next step is to derive the interaction picture evolution equations for the obtained quartic in
a and
operators—such operators which appear, e.g., on the RHS of (16). In particular, the following is obtained.
Continuing this procedure, one obtains the so called Bogoliubov hierarchy [
15,
16]. To truncate it and to close the system of the equations for the level population and anomalous averages, one uses the kinetic approximation and Wick contractions. In the previous section, we performed the contraction on the previous step.
The key difference with respect to the standard procedure [
15,
16] is that now we are taking into account the fact that anomalous averages are also not equal to zero. For example, from the first expectation value on the right hand side of (16), we obtain the following contribution to the RHS of (10):
where
,
. In deriving the last expression, we have used the Wick contractions and
and
.
On the next step from Equation (18), one finds the time evolution of such operators as
via equations of the following form:
which then can be substituted into (10) and (16). Here,
is the time after which the interaction term is adiabatically turned on. Please keep in mind that we eventually take limit
.
The final step is to take the integral over in such expressions as (19) in the kinetic approximation. In this approximation, all n’s and ’s are assumed to be slow functions of time in comparison with the oscillating modes. That is a natural assumption in the vicinity of the equilibrium. Then, such integrals as in (19) result in delta-functions establishing energy conservation in limit .
If we now exclude all terms that contain oscillating functions of
t and such terms for which arguments of the delta-functions, which establish energy–momentum conservation, cannot be zero, and we obtain the following system of kinetic equations for
and
:
and the following is the case:
where
,
and
,
,
. It is possible to show that these equations resume a subclass of IR dominant Feynman diagrams in the Schwinger–Keldysh diagrammatic technique [
15,
16,
18].
We have derived these equations for spatially homogeneous states. The generalization to slightly spatially inhomogeneous situations is straightforward: One only has to assume that
and
are functions of
t and
simultaneously and make the following changes of the derivatives on the left hand side (LHS) of Equations (20) and (21).
This concludes the derivation of the system of kinetic equations. We will use it to study the thermalization process in the kinetic approximation, i.e., when the system is close to the equilibrium.
Now one can observe that Equation (20) for
does not contain any terms with anomalous averages
. It is only the well-known quantum Boltzmann equation [
15,
16]. The RHS of (20) is the collision integral that describes competing scattering processes of gaining quanta on level
and losing them from the same level. The new feature of the system of kinetic Equations (20) and (21) is that the RHS of the second equation describes similar kinetic scattering processes in which momentum and energy can be absorbed or generated by the background quantum state of the system.
Let us stress here an important moment relating our formal derivations to real physical processes. In fact, obviously. spatially inhomogeneous variants of Equations (20) and (21) only qualitatively describe situations realized in nature. To obtain equations describing the real physical dynamics quantitatively, one just has to modify the rates of various kinetic processes in the collision integrals—on the RHS of (20) and (21). These rates can be found empirically.
Now, it is not hard to see that Planckian distribution , solves (20): Such a distribution annihilates both sides. Furthermore, from Boltzmann’s equation follows the second law of thermodynamics. Thus, dynamics described by this equation has a direction. Hence, Boltzmann’s equation predicts thermalization for an initial non-Planckian distribution .
Now we are ready to observe what happens with on the way towards equilibrium. Let us assume again that at the initial moment of time , the system was not very far from the equilibrium, i.e., that the conditions (15) are fulfilled. Again, only in such a situation can we make analytical observations. Otherwise, one has to solve the system of kinetic equations in question numerically. The second and third conditions in (15) allow one to exclude the situation in which the initial level population generates an increase in in the linear approximation.
Under conditions (15), we obtain that
approximately solves Equation (20), while from (21), we obtain the following.
Since, for Planckian distribution
, the following relation is true:
one obtains the following.
As a result, the solution of (23) has form
, where constant
is given by initial conditions and
is defined as follows.
It is not hard to see that the integral in this expression is convergent and its sign coincides with the sign of the integrand.
5. Conclusions and Discussion
So far we have considered the approach to such an equilibrium state in which the anomalous average is zero. Let us show now that, in theory (1), the equilibrium with non-zero anomalous average is impossible.
Consider an equilibrium state with non-zero anomalous average
. As this state is stationary, the Wightman function for it,
, should depend only on the time difference
, as there should be space and time translational symmetry in equilibrium. For this to be true, the anomalous average must depend on time in the following manner.
This can be seen after the substitution of the mode expansion (2) of the field operator into the expression of the Wightman function, . In such a case as (26), the anomalous average is not a slow function of time even at the equilibrium, when is time independent. However, and enter into the Wightman function in combination for which the kinetic equation has a standard form (20).
Let us stress, however, that there are theories in which the formation of a condensate is possible. Non-trivial condensate is directly related to the presence of non-zero anomalous averages of certain forms. One can keep in mind, e.g., the BCS theory, in which the condensate of Cooper pairs corresponds to the situation with non-zero anomalous averages or the superfluid He4 or Bose–Einstein condensates [
1,
2]. However, in contrast to (1), these theories are non-relativistic; in such theories, anomalous averages can be distinguished from the level distributions even in stationary situations and interaction terms in these theories with respect to the total particle number.
Thus, we have derived the system of kinetic equations for the level population and anomalous expectation values in four-dimensional massive scalar field theory with self-interaction. Using this system in the linear approximation, we have shown analytically that for their small initial values, the anomalous quantum averages relax down to zero.
Furthermore, we have shown that this system does not have an equilibrium solution with non-zero time independent anomalous expectation values. It is instructive to observe if the last observation has any relation to the fact that the Coleman–Weinberg mechanism of the dynamical condensate generation is impossible in the real massive scalar field theory. That should be a non-trivial observation because, in this paper, we have essentially resumed the leading IR loop corrections, while the Coleman–Weinberg potential follows from the resummation of the leading UV loop contributions.
We would like to acknowledge discussions with A.Alexandrov, K.Bazarov, K.Gubarev, A.Radkevich and A.Semenov. This work was supported by the Foundation for the Advancement of Theoretical Physics and Mathematics “BASIS” grant, by RFBR grants 19-02-00815 and 21-52-52004, and by Russian Ministry of education and science.