Perturbative out of equilibrium quantum field theory beyond the gradient approximation and generalized Boltzmann equation

Using the closed-time-path formalism, we construct perturbative frameworks, in terms of quasiparticle picture, for studying quasiuniform relativistic quantum field systems near equilibrium and non-equilibrium quasistationary systems. We employ the derivative expansion and take in up to the second-order term, i.e., one-order higher than the gradient approximation. After constructing self-energy resummed propagator, we formulated two kind of mutually equivalent perturbative frameworks: The first one is formulated on the basis of the ``bare'' number density function, and the second one is formulated on the basis of ``physical'' number density function. In the course of construction of the second framework, the generalized Boltzmann equations directly come out, which describe the evolution of the system.Comment: LaTeX2e, 20 page

On the Z_p-ranks of tamely ramified Iwasawa modules

For a prime number p, we denote by K the cyclotomic Z_p-extension of a number field k. For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension of K unramified outside S. This paper treats the case where S does not contain p and k is the rational number field or an imaginary quadratic field. In this case, we prove the explicit formulae for the free ranks of the S-ramified Iwasawa modules as abelian pro-p groups, by using Brumer's p-adic version of Baker's theorem on the linear independence of logarithms of algebraic numbers