I Introduction
The single-particle distribution function is of fundamental significance in off-equilibrium kinetic theory as well as many-body physics in equilibrium state. It has long been well known that for a system consisting of identical particles in thermodynamic equilibrium, the average number of particles in a single-particle state is described by Boltzmann distribution for non-relativistic system, Bose-Einstein distribution for bosons, and Fermi-Dirac distribution for fermions. However, in general, when spin of fermions is an independent degree of freedom, the distribution for spin- particles needs to be extended to describe the thermodynamical equilibrium of spin degrees of freedom Becattini:2013fla . By analyzing the density matrix for spin- particles, it is found that the non-even population of the polarization states arises from a steady gradient of temperature, and is orthogonal to particle momentum Becattini:2013fla . The same equilibrium distribution is also derived in Ref.Fang:2016vpj ; Gao:2018jsi by analyzing the free streaming spin transport equation. On the experimental side, the spin polarization effect in heavy ion collisions has attracted intense attention Liang:2004ph ; Voloshin:2004ha ; Betz:2007kg ; Becattini:2007sr . A large global angular momentum is produced in non-central heavy ion collisions and the spin of hadrons emitted is aligned with the direction of the global angular momentumSTAR:2017ckg ; Adam:2018ivw ; Acharya:2019vpe . The magnitude of the global polarization of baryons can be very well described by models based on relativistic hydrodynamics and assuming local thermodynamic equilibrium of the spin degrees of freedomBecattini:2013vja ; Becattini:2015ska ; Becattini:2016gvu ; Karpenko:2016jyx ; Pang:2016igs ; Xie:2017upb . The distribution function of a system of spin particles is thus not only of significant importance for theoretical interest, but also required to explain the experimental data. As a matter of fact, different forms of equilibrium distribution functions are proposed based on different arguments. The most optimal situation would be to derive an equilibrium form from the entropy productionBecattini:2014yxa or the collision terms for particles with spin. As one of the basic requirements, local thermodynamic equilibrium is defined by means of detailed balance of kinetic theory, namely the collisional integral of the Boltzmann equation vanishesDeGroot:1980dk . In this work, the equilibrium distribution functions for spin- particles are derived based on the detailed balance requirement.
The spin related anomalous transport phenomenon in heavy ion collisions, such as chiral magnetic effect (CME)Kharzeev:2004ey ; Fukushima:2008xe as well as chiral vortical effectNeiman:2010zi call for the spin related transport theory and hydrodynamic theory. The chiral kinetic theorySon:2012bg ; Son:2012wh ; Son:2012zy ; Stephanov:2012ki ; Pu:2010as ; Chen:2012ca ; Hidaka:2016yjf ; Huang:2018wdl ; Liu:2018xip ; Lin:2019ytz is developed to describe the anomalous transport of massless fermions, and is further extended to the spin transport theory of massive fermionsHattori:2019ahi ; Wang:2019moi ; Gao:2019znl ; Weickgenannt:2019dks ; Liu:2020flb . Recently, it is extended from the free streaming scenario to discussing the collisional effectsYang:2020hri ; Weickgenannt:2020aaf ; Carignano:2019zsh ; Li:2019qkf ; Hou:2020mqp . The general framework of spin transport with collision terms is derived based on the Keldysh theoryYang:2020hri . This framework is then applied to the weakly coupled quark-gluon plasma at high temperature to compute the spin-diffusion term for massive quarks up to the leading logarithmic orderYang:2020hri and weakly coupled quantum electrodynamics plasma in Ref.Hou:2020mqp . In this work, we investigate the collision term in spin transport theory based on the framework in Ref.Yang:2020hri . In order to include fermionic 2-by-2 scattering, we consider the interaction among fermions by adopting the Nambu–Jona-Lasinio (NJL) model, and calculate the collisional self-energy by taking semi-classical () expansion and non-perturbative () expansion Klevansky:1997wm . For massive fermions, spin is an independent degree of freedom, we take vector component and axial-vector component of the Wigner function as independent degrees of freedom and derive their kinetic equations at orders and . The local equilibrium forms of vector and axial-vector components are then derived by requiring the detailed balance of the kinetic equations. Within such framework, one only needs to specify an interaction, and no more assumption is required.
The paper is organized as follows: In Section II, we briefly review the Wigner-function approach and derive the kinetic equations for vector and axial-vector components to the first order of . In Section III, after specifying the scalar four-fermion interaction and reviewing the free fermion solution of the classical Wigner function, we derive the local equilibrium formulae of vector and axial-vector components under the requirement of detailed balance. The spin is found to be polarized by the local vorticity. Eventually, we make concluding remarks and outlook in Section IV. For references, we present most of the details of computations and critical steps for derivations in the Appendix.
II Constraint and Transport Equation
In this section, we review the basic steps of deriving the spin transport equation with collision term. Starting from the Wigner transformation applied to contour Green’s functionYang:2020hri ; Blaizot:2001nr
|
|
|
(1) |
where and are the center of mass coordinate and relative coordinate. Here, and are lessor and greater propagators, respectively. The Wigner transformation of the Dyson-Schwinger equation of the lessor and greater propagators gives the Kadanoff-Baym equationsYang:2020hri . The sum and difference of Kadanoff-Baym equations gives the constraint and transport equations. Hereafter, we focus only on ,
|
|
|
|
|
|
|
|
|
|
(2) |
where is mass of the fermion, are the lessor and greater self-energy. The scattering process involves only , thus we have dropped the real parts of the retarded and advanced self-energies and of the retarded propagators. The star product of two functions and is generated from the Wigner transformation, and stands for the shorthand notation of the following calculations
|
|
|
(3) |
where the Poisson bracket is . The commutators are , , and , with and being arbitrary matrix-valued functions.
Different Dirac components of the Wigner function have different physical meanings. Performing the spin decomposition of the Wigner function, one get various components as,
|
|
|
(4) |
where and .
Similarly, the collisions terms in (II) is also decomposed by the Clifford algebra,
|
|
|
|
|
|
|
|
|
|
(5) |
Note that and contains both the loss term and the gain term, they can be recognized as , , and , with and denoting commutator and anti-commutator respectively. Since and are both matrices, their multiplication is not commutative.
The same spinor-basis decomposition for the self-energies is required to further derive the constraint and transport equation of each spin components,
|
|
|
(6) |
From the sum and difference of Kadanoff-Baym equations (II) as well as decomposition of the Wigner functions (4) and of the collision terms (II), one can derive the ten component functions
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7) |
and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(8) |
Each component of the Wigner function and self-energies can be expanded by and so as the constraint and transport equations Eq.(II) and Eq.(II). and give rise to the vector-charge and axial-charge currents through and . The axial-charge currents can be regarded as a spin current of fermion. The 16 components given by the spin decomposition are not independent. Up to the first order of , the scalar component , pseudo-scalar component and tensor component can be expressed in terms of and , giving
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(9) |
Each of and contains 4 components, which are not all independent. and indicates that has three independent components, while has only one independent component. Because of similar restrictions at , the number of independent components of and stays the same as at . In order to keep the description covariant and symmetric, we in the following derive the transport equations of and , but keep in mind that and has redundant components, and that the system has 4 independent degrees of freedom in total, one for number density and three for spin density.
The classical components are on the mass shell , . The transport equations are
|
|
|
|
|
|
(10) |
With the spin decomposition of collision terms and given in Appendix.A, the transport equations of the vector and axial-vector components become,
|
|
|
|
|
|
|
|
|
|
(11) |
where, same as in Ref.Yang:2020hri , the hat operator is defined as . Since the spin polarization is in general a quantum effect, it is crucial to investigate the transport equation at the first order of , especially the transport equation of . Taking the semiclassical expansion of Eq.(II) and Eq.(II), and considering the relation between various spin components Eq.(II), the on-shell conditions and transport equations at are modified into
|
|
|
|
|
|
|
|
|
|
|
|
(12) |
together with the restrictions at first order of , and . With the spin decomposition and semi-classical expansion of collision terms and in Appendix.A, as well as the relation between the spin components of the Wigner function Eq.(II), the on-shell relation become
|
|
|
|
|
|
|
|
|
|
(13) |
In general, at order, and are off-shell because of the interaction. The restrictions at again eliminate the redundant components in and ,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(14) |
Since the RHS of the restrictions contains only the components, contains still only one independent component representing first order correction to number density, while contains three independent components representing first order correction to spin density.
The transport equations of the first order components and are
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The first two lines in Eq.(II) and Eq.(II) are dynamical effects, which contain for instance the diffusion effect. These terms have the same structure as the collision terms in the classical limit (11). The last three lines in both transport equations relate to the derivatives of self-energies and distribution functions, which are inhomogeneous effects. These terms are also quantum effects, which generate the coupled transport of vector charge and axial-vector charge. As we will see in the following, these inhomogeneous effects produce spin polarization from the thermal vorticity.
III Fermionic by scattering
In this paper, we focus on deriving the local equilibrium distribution from the detailed balance principle. For this purpose, the interaction needs to be specified to calculate the explicit expression of off-diagonal self-energies and . Considering the fact that, different interaction determines only how fast the system reaches equilibrium state, but not the equilibrium distribution function, therefore, we adopt the NJL-type model with scalar-channel of interaction and calculate the fermionic by scattering,
|
|
|
(17) |
In general a large part of the light fermion mass comes from the chiral condensate, however, we here work in the chiral restored phase to simplify the calculation, and consider only the current mass. Due to the nature of the strong coupling theory, two expansions must be applied: one expansion in the inverse number of colors , and one semiclassical expansion in powers of . Directly translating from the diagramsKlevansky:1997wm , and then perform the Wigner transformation, this results in the self-energy to the order (denoted by LO) and to the order (denoted by NL)
|
|
|
|
|
|
|
|
|
|
(18) |
with the momentum integral defined as . The lesser self-energy and can be obtained by taking the exchange from (III). As clarified in Klevansky:1997wm , the self-energy and correspond to different scattering channels. However, the spin decomposition of is much more complicated when the Green’s function involves Dirac structure. Besides, since the detailed balance requires that the gain term and the loss term cancel with each other in arbitrary collision channel, to simplify the calculation, we consider only the collisional self-energy at order. The spin decomposition of follows simply from that of , since the is a number.
The self-energy can be decomposed as . For instance, corresponds to , corresponds to , and corresponds to and so on.
III.1 Classical Limit
Substituting in the spin components of the self-energy in the transport equation of and in Eq.(11), one has the transport equations including the collision terms. Considering the relation between and , and that can be decomposed to , it would be convenient to derive the collision terms in transport equation of vector charge distribution and the axial-vector charge distribution from the following two equations,
|
|
|
|
|
|
|
|
|
|
Note that all the components on the right hand side are at leading order of . Before moving on to analyzing the scattering channels, we first recall the classical free fermion solution of the various components of Wigner function Weickgenannt:2019dks . From the definition of the Wigner function as well as the contour green’s function, the classical Wigner function in a free fermion system is given by
|
|
|
|
|
|
|
|
|
|
(20) |
where and can be obtained from the ensemble average of the creation and annihilation operators. is an element of a Hermitian matrix, which can be diagonalized to give , and one can easily find that gives after being diagonalized. With denoting the spin up and down along the direction set by the unit vector . The mean polarization vector (in the LAB frame) is , which is a unit time-like vector satisfying , with
|
|
|
(21) |
is the direction of mean polarization of particles (label by +) or anti-particles (label by -) with momentum measured in the Particle Rest Frame, and satisfies . And likewise for spin decomposition of , it can be obtained simply by taking the exchange and . Note that is the particle distribution parallel(s=+) and antiparallel(s=-) to the unit vector . One can also introduce the vector charge distribution and axial charge distribution , which are combinations of , and . The magnitude of polarization can be defined through . , the positive quantity defines the magnitude of spin polarization. The case corresponds to a pure state, while the case describes a mixed state Florkowski:2019gio . It is worth noticing that, for outgoing particles one can varify , so that and . This can also be understood from the fact that, the axial distribution function comes from the off-diagonal component of , and leads to . With the vector charge distribution and axial charge distribution , the classical components can be rewritten as
|
|
|
|
|
|
|
|
|
|
(22) |
And likewise, for and , one just takes the replacement and .
Consider the transport of particle sector in and , namely the lefthand side contains the delta function . Yet in , and , both particle and antiparticle exist, these corresponds to different scattering process. Only three of the eight channels are allowed by the energy-momentum conservation. Each term contains a product of a combination of four quark and anti-quark distribution functions, with at present in all the terms, being the external function under study. One may attribute a diagram to each of these processes in a loose sense, by assigning incoming quark lines to ; the incoming antiquark line to ; the outgoing quark lines to ; the outgoing antiquark lines to .
The allowed channels correspond to the quark-quark scattering as well as quark-antiquark scattering. Other channels involve particle and antiparticle creation and annihilation, and can be categorized as off-shell processes. Together with the gain term, one can obtain the transport equation of the vector charge. In the following, when considering detailed balance, we only focus on the first channel, namely the quark-quark scattering.
In kinetic theory, the local equilibrium state is specified by the distribution functions that eliminate the collision kernel. This implies that the distribution functions must depend only on the linear combination of the collisional conserved quantities: the particle number, the energy and momentum, and angular momentum.
We first focus on the collision term of in Eq.(III.1). In the following, we neglect the subscript in , and take for the particle sector. The detailed balance requires the collision term to be vanishing, which can be further divided into terms with only vector charge distribution, term involving only axial charge distribution, as well as mixed terms with both and . Terms involving only vector charge distribution is
|
|
|
(23) |
The vanishing of this term implies that the local equilibrium distribution is the Fermi-Dirac distribution.
Requiring that the has the structure , then one can easily show that terms contains only vanishes in the local equilibrium,
|
|
|
(24) |
|
|
|
Considering that , one has explicitly . This does not have any restriction on the equilibrium distribution function. Finally, terms involving mixture of and is
|
|
|
|
|
(25) |
|
|
|
|
|
A trivial solution is , indicating that at classical level, the axial charge distribution function has only trivial solution, if the system is not initially polarized.
We then consider the collision term in the transport equation in Eq.(III.1). Terms in the momentum integral can be simplified to
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where we have considered that and . The vanishing of the collision terms again requires that the classical level of axial charge distribution has trivial solution . Considering the relations between spin components of the Wigner function in Eq.(II), the above solution leads to a nonzero classical scalar component and a vanishing tensor component . The pseudo-scalar at is directly shown to be vanished by the constraint equations, . Since the axial charge current appears at order, it is necessary to analyze the first order transport equation. In an initially unpolarized system, when considering the fermionic 2 by 2 collisions, the spin polarization can be produced as a quantum effect. The equilibrium spin polarization is then derived from the detailed balance of the collision term in the first order transport equation.
III.2 Collision Term at Quantum Level
In a system without background electromagnetic field and vorticity field, one has , this greatly simplifies the transport equations Eq.(II) and Eq.(II). Besides, one can easily varify that, within the NJL model, the vanishing leads to vanishing and . In the leading order in the expansion, can also be shown to vanish. With the conditions above, the vector component and axial-vector component are still on-shell at order, that and . The orthogonal relations are unchanged as well that and . The transport equations of to the first order of (II) can be simplified to give
|
|
|
|
|
(27) |
It is obvious that, at the transport equation of still contains only diffusion terms. The transport equations of to the first order of can be simplified to give
|
|
|
|
|
|
|
|
|
|
The first two terms can be understood as spin diffusion effect, terms with same structure but of also appears in the transport equation of . The third term contains only the vector components of the Wigner function, indicating that in an initially unpolarized system, non-zero spin polarization can be generated through interacting with the matter. Consider the leading order in expansion, the self-energy is defined by
|
|
|
|
|
|
|
|
|
|
(29) |
|
|
|
|
|
|
|
|
|
|
In the transport equation, the components , , , and , are involved. Under the expansion to order, taking and as independent components, and considering the relations between the spin components (II), the self-energy components can be evaluated. We list only in the following, other components are easier to calculate,
|
|
|
|
|
(30) |
|
|
|
|
|
|
|
|
|
|
With explicit components of the self-energies, the loss term on the righthand side of Eq.(27) is given by
|
|
|
|
|
(31) |
|
|
|
|
|
|
|
|
|
|
with taking the Fermi-Dirac distribution function at local equilibrium, adopts the simple vanishing solution that at local equilibrium.
Likewise, the loss term on the righthand side of Eq.(III.2) is,
|
|
|
|
|
(32) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The first order component appears in the first three lines, the last two lines contains only the classical scalar component and its derivative. The appearance of terms involving purely classical scalar component indicates that spin polarization can be generated by collisions. Since such terms also involves spatial derivative of , the spin polarization does not appear in an homogeneous system. When the system achieves local equilibrium, the detailed balance requires that the gain term and loss term cancels out. In the following, we show that terms containing purely scalar components would contribute to the equilibrium expression of , and is related to local vorticity. With the classical expression of in Eq.(III.1), and considering only the particle part in and , namely terms with . Using the Schouten identity
to simplify terms with spatial derivatives in (32), for instance,
|
|
|
|
|
(33) |
|
|
|
|
|
where . And similarly for the other derivative term . Considering the fact that and that , the collision term could be rearranged into two parts, and simplified as
|
|
|
|
|
(34) |
with stands for
|
|
|
|
|
(35) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where is the shorthand notation for . Notice that the solution would lead to vanishing . In the following, we show that this solution of also makes vanishing, so the collision term vanishes as required by the detailed balance. in Eq.(34) is given by
|
|
|
|
|
(36) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Substituting the solution of , can be simplified to
|
|
|
|
|
(37) |
|
|
|
|
|
The last term vanishes because of the detailed balance of number distribution function. Thus the detailed balance gives the local-equilibrium distribution of spin distribution function
|
|
|
|
|
(38) |
This solution indicates that in an initially unpolarized system, non-zero spin polarization can be generated from the coupling between vector and axial-vector charges. The equilibrium spin polarization is found to be created by a thermal vorticity and is orthogonal to the momentum. This equilibrium solution is self-consistently obtained from the detailed balance and agrees with the results in previous research Becattini:2013fla ; Fang:2016vpj ; Gao:2018jsi .