Abstract
These lectures provide an introduction to lattice gauge theory calculations of the properties of strongly interacting matter at high temperatures and densities. Such an environment is produced in heavy ion collisions and was most likely present in the early universe. Emphasis is placed, not on formalism, rather on an intuitive understanding of the nature of the crossover from the confined, chiral-symmetry-broken phase to the deconfined, chiral-symmetry-restored phase. Illustrations are taken from results of recent numerical simulations. Connections with phenomenology are discussed.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
In this first lecture we survey the phenomenology and offer an intuitive understanding of the phase transitions by appealing to approximate models of lattice QCD applicable at high temperature, strong coupling, and large mass.
6.1 Introduction
6.1.1 Why Study High T and High Density QCD?
Moments after the “big bang”, before the formation of hadrons, the universe passed through a phase in which quarks and gluons (as well as leptons and photons) existed in a plasma-like phase. It is conceivable that, even today, a deconfined state of matter occurs at the cores of very dense stars. This form of strongly interacting matter is not well understood and surely holds interesting surprises. Understanding the properties of matter under such extreme conditions involves both experiment and theory. To study strongly interacting matter under these conditions, we try to recreate it in a microcosm in heavy-ion accelerator laboratories at the Relativistic Heavy Ion Collider at Brookhaven, the Large Hadron Collider at CERN, and at the Facility for Antiproton and Ion Research (FAIR) in Darmstadt, Germany. What we learn provides insights into the origin of matter and the phenomenology of dense stars.
6.1.2 Phenomenology of the Quark-Gluon Plasma
Theoretical studies of the “quark-gluon plasma” have used approximate models, resummed perturbation theory, and nonperturbative numerical simulation to develop some understanding of the properties and behavior of quark-gluon matter at high temperature and density. Some of what we know is well founded in theory and experiment, but much is speculative. Here is a list of the main phenomenologocial properties:
-
Deconfinement. At high temperature or density, quarks and gluons are no longer confined in distinct color-singlet combinations.
-
Phase transition or crossover. The transition between confined and deconfined matter at zero baryon density is only a crossover and not a true phase transition at physical values of the quark masses.
-
Chiral symmetry restoration. The loss of confinement is accompanied by an approximate restoration of chiral symmetry.
-
Phase diagram 1. Figure 6.1 gives a speculative phase diagram as a function of temperature and baryonic chemical potential. The figure indicates a phase boundary between confined matter (hadron gas) and deconfined matter (quark-gluon plasma) as well as some unusual and highly speculative phases at very high density. Sketched are the paths taken as matter evolves in a heavy-ion collision and in the cooling of the early universe.
-
Phase diagram 2. Figure 6.2 shows the phase structure as a function of quark mass at zero chemical potential. In this case the regions show for what ranges of quark masses a phase transition of any sort is possible at some temperature. One should imagine a third, temperature axis extending out of the plane. Then what is shown is a projection of phase diagram surfaces onto the quark mass plane. What we see is that at very high quark masses, a first-order phase transition occurs at some temperature. This region is bounded by a second-order line in the Z(2) universality class. At quite low quark masses, there is, again, a first-order phase transition, also bounded by a second order line. This line merges with the m s axis and extends to infinity. Between these first-order regions there is only a crossover.
As we have emphasized, these figures mix some solid theoretical results with considerable speculation. So far, there is fairly good agreement about what happens at low baryon number density. There are several open questions: (1) What happens at high density is not well established. (2) At moderately low density, Fig. 6.1 shows a critical point at the end of the first-order line. Is this correct? Is it experimentally accessible? (3) At low up and down quark masses, Fig. 6.2 indicates some uncertainty about whether, at fixed physical strange quark mass, we should encounter a first order phase transition at a nonzero value of the up/down quark mass. Present indications are that, if so, that mass is quite small.
How can we make further progress addressing these questions? They all require a nonperturbative treatment of quantum chromodynamics (QCD). Although the underlying field theory for QCD is well-known and widely accepted, the only reliable method we have for answering nonperturbative questions is through numerical simulation via lattice QCD. This approach is properly called ab initio, since the reliability of its results can be improved indefinitely by decreasing the lattice size (and finding a larger computer!). The lattice version of QCD is not just an approximation. It is a well-defined regularization procedure with a high-momentum cut off that can be removed in the same way as in any standard regularization scheme.
Some disclaimers are in order, however. The numerical methods used to date have their limitations. First, lattice QCD is most naturally designed to describe matter in thermal equilibrium with small perturbations from there. But heavy ion collisions are naturally dynamic. Thus, for example, lattice QCD is not designed for modeling the expansion and cooling of the quark-gluon plasma. Instead, lattice QCD can provide the equilibrium properties of the plasma, which then become inputs to phenomenological models (e.g. hydrodynamic models) of the expansion.
These lectures are intended to give an overview of lattice QCD applied to quark and gluon matter at high temperature and high density. To help develop some intuition about high-temperature lattice QCD, we begin in this lecture by discussing the strong-coupling, high-temperature limit of the theory, making connection with the statistical mechanical three-state, three-dimensional Potts model.
6.2 Lattice QCD at Strong Coupling
We assume familiarity with the basics of lattice gauge theory from chapter “Lattice QCD: A Brief Introduction”.
6.2.1 Partition Function
The imaginary-time Feynman path integral formulation is ideally suited for thermodynamics. With suitable boundary conditions in the imaginary (Euclidean) time dimension, namely, periodic for bosonic fields and antiperiodic for fermionic fields, the integration over classical histories naturally gives us the quantum partition function
In this notation H is the QCD hamiltonian, T is the temperature, [dU] is the Haar measure over the gauge-field (gluon) links, \([d\psi d\bar{\psi }]\) is the Grassmann measure over the quark and antiquark fields, and S is the classical Euclidean action for QCD.
The temperature is related to the Euclidean time extent of the lattice:
where the lattice spacing is a and the number of lattice sites in the Euclidean time direction is N τ . Thus we can vary the temperature by varying N τ and by varying a. The latter approach is most widely used.
6.2.2 Wilson Action and Noether Current
The Wilson lattice action S consists of a gauge-field part and a fermion part:
whereFootnote 1
The gauge coupling is denoted by g, the lattice sites, by the four-vector x, the coordinate directions by μ and ν, the plaquette at site x and plane μ, ν, by U P (x; μ, ν) and the hopping parameter, by κ, which is related to the bare quark mass M through the relationship \(\kappa = 1/(2\mathit{aM} + 8)\).
As discussed in chapter “Lattice QCD: A Brief Introduction”, the fermion action is bilinear in the fields, so it can be written in compact form as
We saw that the path integral over the fermion fields in Eq. (6.1) could be carried out explicitly, resulting in the determinant of the fermion matrix M(U), leading to an integral over just the gauge field:
For Monte Carlo integration it is important that the fermionic determinant be real and positive so it can be used as a probability weight for importance sampling. This is true for all fermion formulations commonly used in numerical simulation. The Wilson action in Eq. (6.5) satisfies M † = γ 5 M γ 5, from which we can infer that detM = detM † so the determinant is, indeed, real.
For later reference we write the conserved Noether current for Wilson fermions, which follows in the usual way from the U(1) symmetry of the action:
6.2.3 External Point Current
Let us consider introducing an external point charge g in the fundamental representation of SU(3) into the action. Let it move along the world line C. It modifies the continuum action through the source term
Gauge invariance requires that C be closed. When this term is inserted into the path integral for the partition function we get a path-ordered exponential of the integral over the vector potential.
On the lattice this turns into a path-ordered product of gauge links:
(For backward hopping we use the convention, \(\gamma _{-\mu } = -\gamma _{\mu }\) and \(U_{-\mu }(x) = U_{\mu }^{\dag }(x-\hat{\mu })\).)
Now we consider placing a static charge in the statistical ensemble. The static charge worldline C is fixed at x, moving forward only in imaginary time τ. The term L C is then
It is called a “Polyakov loop” (also, sometimes “Wilson line”).
6.2.4 Gauge Theory at Strong Coupling, High T
Taking soluble limits provides insights into the workings of a theory. We recount an old story that bears repeating for its intuitive value: [402, 403]. We consider the strong-coupling, high-temperature limit of the Wilson action for just the gluons, in other words, pure SU(3) Yang-Mills theory.
The temperature is the inverse of the lattice extent in the imaginary time direction, as in Eq. (6.2). To get a very high temperature we consider an anisotropic lattice, i.e., with different lattice constants in time and space (a t ≠ a s ). Then the Wilson action takes the form
where the space-time oriented plaquettes (first term) get a larger weight than the space-space ones (second term). For high temperature we set N τ = 1 so \(a_{t} = 1/T\), and we want a t ∕a s ≪ 1. So we may drop the space-space term. We then have only U P (x, 0) and U P (x, i) and the space-time-oriented plaquette becomes
The trace takes its maximum value of 3 when U 0(x, 0) = z x I ∈ Z(3), the center of SU(3): {1, exp(±2π i∕3)}. The center elements commute with the space-like link matrices, which then cancel, leaving only the Z(3) elements. So we approximate the integral over the gauge fields by a sum over elements of Z(3):
Our approximation has become the classical three-state, three-dimensional Potts model, a popular toy model in statistical mechanics.
The Potts model is a generalization of the familiar Ising model, but here there are three orientations of each spin, rather than just two. Note that the model has a global Z(3) symmetry: z x → Y z x for Y ∈ Z(3). Just as with the Ising model, the Potts model has a ferromagnetic phase transition from a magnetized (ordered) phase at low temperature where the global symmetry is spontaneously broken to a disordered phase at high temperature. The order parameter is the magnetization, proportional to the expectation value of the spins, \(\left \langle z\right \rangle\). In this Potts model the phase transition is first order.
In the spin system, we interpret the factor 6a s ∕(g 2 a t ) as the ratio J∕T Potts where J is the coupling strength between neighboring spins, and T Potts is the spin-lattice temperature. So the Potts temperature T Potts is proportional to g 2 at fixed a t ∕a s . Now in QCD the renormalization group tells us that the lattice spacings a t and a s must decrease as we decrease g. So at fixed a t ∕a s , small g 2 corresponds to a high QCD temperature \(T_{\mathrm{QCD}} = 1/a_{t}\) and a low Potts model temperature T Potts.
So from these considerations we expect to find a first order phase transition in SU(3) Yang-Mills theory with an ordered phase at high (QCD) temperature and a disordered phase at low temperature. The order parameter of the transition is TrU 0(x), the Polyakov loop in this N τ = 1 example. For a more extended lattice, it is still the “Polyakov loop”:
This quantity should have a zero expectation value in the low-temperature, disordered phase and a nonzero expectation value in the spontaneously broken, ordered high-temperature phase.
6.2.5 Chemical Potential
Before extending the strong-coupling, high-temperature analysis to fermions, we show how to introduce chemical potentials so we can discuss the high temperature approximation at nonzero baryon number density as well.
The conserved charges on the lattice are the flavor numbers (Q f ) (including baryon number). In the grand canonical ensemble, the partition function is
The Noether current in Eq. (6.8) gives us the conserved charge density
from which we may calculate the contribution to the exponential in the partition function as
Note that this term is just like the time-like kinetic term in the action except for a sign. We get a factor (1 + a μ) for forward hopping and (1 − a μ) for backward. It is more natural to use e ±μ a for these factors. So we replace
An important consequence of a nonzero chemical potential is that the fermionic determinant detM(μ) is no longer real. We can guess this would happen if we observe that the γ 5 symmetry we used to prove reality now reads \(M^{\dag }(\mu ) =\gamma _{5}M(-\mu )\gamma _{5}\). So \(\det [M(\mu )]^{{\ast}} =\det [M(-\mu )]\). It cannot be used directly as a Monte Carlo probability weight. A common expedient is to use the magnitude of the determinant as a probability weight and average over the phase. But the phase oscillations grow with the volume of the system V. So one cannot take the thermodynamic limit V → ∞ with that method.
This vexing problem is called the “sign” problem. It appears in strongly-coupled electron systems as well, when one considers doping to move away from a half-filled conduction band.
6.2.6 Fermions at Strong Coupling, Large Mass, High T
Let’s see what happens to the Potts model approximation when we include fermions. We write the Wilson fermion action for an anisotropic lattice (a t ≠ a s ), and we include the chemical potential μ for completeness:
The relationship between bare quark mass and hopping parameter is now
At very high temperature with N τ = 1 we have \(a_{t}/a_{s} = 1/(a_{s}T) \rightarrow 0\), so we drop the space-like term in the action. The fermion matrix is then diagonal in space-time with values on each spatial site
where we have introduced the Z(3) variable as before.
At large mass (small κ) the fermionic determinant becomes
where
So our modified Potts model is now
for values of h, h′ given by Eq. (6.27). So the fermions introduce “external” magnetic fields into the spin system. In the Ising system there is only one magnetic field, but because there are three states in this Potts model, we can have two. In this case the two fields combine to make a complex field. The quark mass introduces an external real magnetic field, and the chemical potential gives rise to an imaginary magnetic field. In the Ising system any nonzero external magnetic field removes the continuous phase transition, resulting in a crossover. At zero field the Potts system has a first order transition, which weakens as the external field is turned on. Eventually, it, too becomes a continuous transition at a critical point and, at higher fields, a crossover. These properties are demonstrated in a numerical simulation of the Potts model [403]. Results are shown in Fig. 6.3. The imaginary field further weakens the transition.
The Potts model gives a good understanding of the large-mass portion (upper right corner) of the phase diagram of Fig. 6.2. The first order phase transition degrades into a crossover as the quark masses are decreased. These suggestive features of the approximate model are confirmed in simulations of QCD [404].
6.2.7 Three-Dimensional Flux-Tube Model of QCD
Some years ago, Appoorva Patel introduced an intuitively appealing toy model that imitates strong-coupling, large mass, high-temperature lattice QCD [405, 406], called the “flux-tube model”. The model is equivalent to the three-dimensional three-state Potts model that we have been discussing, but the degrees of freedom are quite different.
The flux-tube model on a cubic lattice places quantized Z(3) electric fluxes ℓ x, i on next-neighbor links and Z(3) charges n x on sites. A charge of + 1 on a site represents a quark, − 1, an antiquark, and 0 is an empty site. Fluxes and charges are required to satisfy Gauss’ law mod 3:
The hamiltonian is, then simply
where σ is the energy of a flux link and m is the mass of a quark. States of the model must be “singlets” because of the Gauss’ law constraint. As illustrated in Fig. 6.4, there are meson-like states, baryon-like states, and glueball-like states consisting of only a flux loop.
The grand-canonical ensemble for this classical flux-tube model is defined by the partition function
where the sum is over configurations that satisfy Gauss’ law and N = ∑ x n x . Note that there is no complex phase problem at nonzero chemical potential in this representation.
The equivalence between the flux-tube model and three-dimensional three-state Potts model is easy to show. The essential step in the derivation replaces the Gauss’ Law constraint in the partition function with the Z(3) identity on each lattice site:
The z’s become the Potts spins. The flux-tube parameters σ, m, and μ map to the Potts model parameters.
There are some amusing features of the deconfined phase of the flux-tube model. At very large quark mass, most of the configurations consist of a continuous fabric of flux links. At low temperature, there are not enough flux links to create a continuous fabric. So one could say at low temperature we have a gas of hadrons, which grow in size as the temperature increases until they connect, leading to the deconfined phase. Quarks terminate flux lines. At lower quark mass there are enough quarks that the fabric is not connected at any temperature, so the phase transition is lost.
We learn from this example that we can solve at least part of the sign problem by a change of basis. In the field basis (gauge links), the complex phase comes from the imbalance between forward time-like and backward time-like hopping, combined with the presence of complex time-like gauge links. Integration over the time-like gauge links enforces Gauss’ Law at each lattice site. Changing from the field basis to the hadron basis eliminates the complex phase.
With SU(3) it is much more difficult to formulate the path integral with a basis change because there are an infinite number of irreducible representations of SU(3). Moreover, there will still be a fermion sign problem, just as with electrons in condensed matter physics. Our simple models don’t expose it. Finally, and probably most importantly, while the Potts and flux-tube models capture the deconfinement aspects of the high temperature phase transition, the strong coupling and large mass approximation doesn’t capture chiral symmetry or its restoration, aspects of the transition that are most important for high temperature physics at physical quark masses.
Exercise 1
In mean field theory we consider the statistical mechanics of a single site, assuming that the neighbors of the site take on the same mean value. So for the Potts model we have a single-site partition function
where the single-site \(H(z,\bar{z})\) is obtained from the full H by setting all spins to the mean value \(\bar{z}\), except for one site, which carries variable spin z.
We then impose self-consistency by calculating the output mean value of the spin on the single site and requiring that it equal the input mean value.
Do this for the 3D 3-state Potts model with \(h = h^{{\prime}} = 0\), and show that there is one real solution for low J∕T and three real nonzero solutions for sufficiently high J∕T. (In the latter case, the middle one happens to be unstable.) Then show that the transition is first order.
Maple, Mathematica, or gnuplot can help with the numerics here.
In this second lecture we consider a variety of deconfinement features of the high temperature transition, including the free energy of a static charge, the strange quark number susceptibility, insights from dimensional reduction, and the survivability of hadrons at high temperature. The equation of state is another, but we defer discussion of that to the last lecture.
6.3 Signals for Deconfinement
6.3.1 Free Energy of a Static Charge
The free energy of a static charge at position x is measured through the expectation value of the Polyakov loop operator, which we introduced in the first lecture:
Here \(A_{0}(\mathbf{x}) =\sum _{a}\lambda _{a}A_{0}^{a}(\mathbf{x})/2\) is the time component of the color vector potential and P represents path ordering. Its expectation value on the lattice is
As we observed in the first lecture, this operator inserts a static external point source at position x, so its expectation value gives the difference F 0 in free energy between the ensemble plus an additional static charge and the unmodified ensemble:
Actually F 0 = F 0(a, T) depends on the lattice spacing and temperature. It is ultraviolet divergent ( ∼ const∕a), just as in quantum electrodynamics. Usually, we renormalize it so
Exercise 2
The Wilson fermion action for a fermion of bare mass m is
where \(\kappa = 1/(8 + 2\mathit{ma})\). The fermion propagator is M −1(x, x ′).
Note that \(M = 1 -\kappa H\), where H is called the “hopping matrix”. For large bare mass (small κ) the propagator, \([1 -\kappa H]^{-1}\), can be evaluated as a geometric series (hopping parameter expansion). Find the propagator in leading order in κ for a static quark over the time interval [0, t].
The partition function in the presence of a static quark at x is
where the trace of the propagator is over color and spin.
So show that \(\exp (-F_{0}/T)\) is proportional to the Polyakov loop operator, where F 0 is the free energy of a static quark, i.e., the difference in the free energies of the ensembles with the static quark and without.
6.3.2 Free Energy of a Pair of Static Charges
The free energy of a pair of static charges is constructed in an obvious way from the product of Polyakov loops:
At zero T this is the same as the potential V (R) of separation of a static quark/antiquark pair. Numerical results are shown in Fig. 6.5. If there are no sea quark-antiquark pairs, confinement requires that at large separation
This form of the free energy is equivalent to the statement that the expectation value of the product of two Polyakov loops at separation R falls exponentially with the area of the region between the loops. Since they are as long as the temporal extent 1∕T of the lattice, the area is R∕T. So \(\exp [-F(\mathbf{R},T,a)/T] \rightarrow \exp (-\sigma R/T)\).
When sea quark-antiquark pairs are included in the ensemble, they screen the static charges, as illustrated in Fig. 6.6 (upper left), so we always have, asymptotically, twice the free energy of a single static quark. The result is finite at any temperature:
When sea quark-antiquark pairs are absent, as in pure Yang-Mills theory, there is no screening, as sketched in Fig. 6.6 (lower right) so F 0(a, T) is infinite at low temperature. Above the deconfinement temperature the free energy is finite. In pure Yang-Mills theory there is a first-order phase transition separating the deconfined and confined phases. The static quark free energy is an order parameter for the transition.
If we introduce dynamical sea quarks into the ensemble, the static quark free energy is finite at any temperature, but, as long as the quark masses are large, we still see a dramatic decrease in the free energy as we cross the transition temperature. For sufficiently large masses, the transition is still first-order, but as the sea quark masses are decreased, the transition weakens, and eventually there is only a crossover, as shown in Fig. 6.7. In that case the static quark free energy is only a qualitative indicator of deconfinement.
6.3.3 Strange Quark Number Susceptibility
The number of strange quarks in the ensemble N s can fluctuate. A measure of fluctuation is the strange quark number susceptibility,
It is another qualitative indicator of deconfinement, since fluctuations are controlled by the Boltzmann factor. In the low temperature, confined phase, strangeness fluctuations come from fluctuations in the number of strange hadrons. At high temperature they come from fluctuations in the number of strange quarks. Since strange hadrons are heavier than strange quarks, we expect the fluctuations to increase with deconfinement. Results from a numerical simulation are shown in Fig. 6.8.
6.3.4 Dimensional Reduction
Since temperature is determined by the inverse temporal extent of the lattice, high temperature corresponds to a small temporal extent. At sufficiently high temperature, the four-dimensional Euclidean space-time lattice becomes, effectively, a three-dimensional Euclidean lattice. This is called “dimensional reduction.”
Euclidean time boundary conditions
lead to different behavior for bosons and fermions in the dimensionally reduced lattice. This can be seen from a Fourier decomposition in imaginary time τ:
For free fields the mass-shell condition becomes
where the fermion Matsubara frequencies are ω f, n , and the boson Matsubara frequencies are ω bn .
In a Euclidean world, any direction can be called imaginary time. So we swap z and τ and let E = ip z . Then the free-field mass-shell condition becomes
We get a tower of 3D bosonic fields, one for each Matsubara frequency:
Likewise, we get a tower of 3D fermionic fields, one for each Matsubara frequency:
The result is a three-dimensional Euclidean field theory in which the original time components of the vector potentials A n, 0 a become scalar fields, the original spatial components A n, i a become 3D vector fields and the fermions q n have effective masses that increase with T. At high T all fermion fields have high mass regardless of m f , and they are rare. Only the n = 0 bosons are massless when m b = 0.
So at high temperature we get a confining zero-temperature 3D Euclidean gauge-Higgs field theory! The 3D coupling is \(g\sqrt{T}\). Since it is confining, we get an area law for the Wilson loop, which corresponds to a space-like Wilson loop in 4D. We expect confinement effects for momenta less than g 2 T. The confined states in 3D correspond to spatial screening in 4D:
For a quark bilinear, \(A =\bar{ q}\varGamma q\), the screening mass at high T is twice the effective mass of the lightest 3D quark (n = 0), or μ ≈ 2π T. Note, also that QCD exhibits “spatial confinement” even at the highest T!
The thermodynamic potential can be calculated in low order QCD perturbation theory. It has the form
Because of spatial confinement, we expect nonperturbative contributions to enter at order α s 3. A simple way to see that is to note that confinement affects states moving with low momenta, such that p < g 2 T. The corresponding volume of phase space goes like g 6 T 3.
6.3.5 Hadrons in the Thermal Medium
Another anticipated aspect of deconfinement is that hadrons dissociate. Given that the transition is a crossover, the dissolution should occur gradually as the temperature is increased through the transition. Indeed hadrons might persist as quasi-bound states or resonances at temperatures above the transition. (In a statistical ensemble at any temperature, there are no true bound states because scattering with the medium destroys any initial state.)
The static quark potential in Fig. 6.5 shows short-range attraction even at 1. 15T c . Of course these results are for static quarks, so they do not account for the response of the medium to the motion of light quarks. Still, they suggest, at least, that heavy quarks might bind, since they move slowly in a bound state, in which case the Born-Oppenheimer approximation might apply.
There is a way, albeit difficult, to study the survival of a hadronic state in a thermal plasma without making the Born-Oppenheimer approximation. This method involves extracting the real-frequency spectral response from the Euclidean time correlator that excites the hadronic state in question. We start with the thermal correlator
and do the spatial Fourier transform (using momentum conservation)
where p = | p | . The real-frequency spectral decomposition of the correlator reads
where the kernel function is
The spectral density ρ(ω, p, T) has peaks in ω marking resonances that couple to the operators in the correlator. An example for the J∕ψ is shown in Fig. 6.9.
Although the method is interesting, it is numerically extremely challenging. The correlator C(p, τ, T) is measured only for discrete \(\tau = 0,1,\ldots,N_{\tau } - 1\). In fact, because of symmetries under τ → N τ −τ, there are only \(N_{\tau }/2 + 1\) independent points (for even N τ ). But ρ(ω, p, T) has values on the real ω line. Thus solving for the spectral density is an ill-posed problem. To get a meaningful resolution in frequency, one needs a high precision determination of the correlator and many imaginary time points. (An anisotropic lattice with a t ≪ a s helps.) To reduce the ambiguity in the result, it is popular to add extra constraints. A common one goes by the name “maximum entropy” [410]. Essentially, it favors a spectral density that deviates from a default spectral density only as much as required by the data – essentially an Occam’s razor or Bayesian prior. Of course, the result then depends to some extent on the choice of the default spectral density.
The same method is used to extract transport coefficients, such as the electrical conductivity and shear and bulk viscosity, important for hydrodynamics [411, 412]. These quantities control the behavior of the spectral density of the correlator of the electromagnetic current and the stress-energy tensor, respectively, close to zero frequency.
In this third lecture we consider features of the high temperature transition related to the partial restoration of chiral symmetry, including the behavior of the chiral condensate, the chiral susceptibility, and the hadron spectrum. Also discussed is the question of the restoration of the gauge anomaly and an analysis of the universal critical behavior.
6.4 Signals for Chiral Symmetry
Let us recall what is meant by “chiral symmetry”. We start with the continuum Euclidean fermion action for N f flavors in the presence of a color vector field:
If all masses are degenerate, the action is invariant under an SU(N f ) × U(1) transformation. That is, the action is invariant under an infinitesimal change in the fermion fields ψ(x) → ψ(x) +δ ψ(x), given by
where τ k are generators of SU(N f ). A consequence of this symmetry is that hadrons appear in degenerate flavor multiplets.
When the fermion masses are zero the symmetry increases to SU(N f ) L ×SU(N f ) R × U(1) × U A (1). The action is invariant under the infinitesimal change
One might expect larger hadron multiplets as a consequence of this symmetry, but how it is realized in the hadron spectrum depends on mechanisms that break it, as we discuss next.
At zero temperature the U A (1) symmetry (ϕ 0 term) is broken by the gauge anomaly, a quantum effect that appears at one-loop order. Then the axial chiral symmetry (ϕ k terms) is broken spontaneously at zero temperature. The breaking of the symmetry results in a nonvanishing expectation value of the “chiral condensates” for each flavor:
The spontaneous breaking of the ϕ k symmetry gives rise to N f 2 − 1 Goldstone bosons. Had the U A (1) symmetry been spontaneously broken, we would have had one more Goldstone boson.
Since, in nature, the up and down quarks are nearly massless, let us examine in more detail the N f = 2 case and consider the transformation of quark bilinears under the chiral symmetry. We define the interpolating operators (f 0 ≡ σ; a 0 ≡ δ)
Then under an SU(2) axial transformation
and under a U A (1) (axial) transformation
The mixing of the bilinears under both transformations is mapped in Table 6.1.
6.4.1 Chiral Effective Theory and Symmetry Restoration
When quark masses are not zero, but only small, the Goldstone bosons still have small masses, and they dominate the physics of QCD at low temperature and long wavelength. This observation leads to a low-energy description of QCD, the “chiral effective theory” based on N f 2 − 1 Goldstone bosons, π k. The nonlinear version of this theory is usually formulated in terms of the SU(N f ) fields:
Here f is a low energy constant (closely related to the pion decay constant). In terms of these fields the chiral effective Lagrange density is
where M = diag{m 1, m 2, …} contains the quark masses. B is another low-energy constant. When M = 0, the Lagrange density is invariant under the chiral transformation
If we put the low energy theory on a lattice with spacing a and make the masses degenerate, we can approximate the partial derivatives with
If for N f = 2 we write \(U(x) = u_{0}(x) + i\sum _{k=1}^{3}u_{k}(x)\sigma _{k}\), where u ⋅ u = 1, then the kinetic energy term in the Lagrange density becomes
This is the Lagrange density for a 3D O(4) ferromagnet. The external field is proportional to the quark mass m, and the magnetization is proportional to \(u_{0} =\,\mathrm{ Tr}U/2\). These observations lead to some important consequences for the chiral effective theory and, therefore, for QCD:
-
1.
The chiral model behaves like a ferromagnetic spin system. For N f = 2 it is equivalent to an O(4) model.
-
2.
Quark masses play the role of a magnetic field. Re TrU plays the role of magnetization. It is the analog of \(\left \langle \bar{\psi }\psi \right \rangle\).
-
3.
At low temperatures we expect spontaneous symmetry breaking, and at high temperatures we expect symmetry restoration, just as with a ferromagnet.
-
4.
Restoration of SU(N f ) L ×SU(N f ) R at high T in QCD, therefore seems certain.
-
5.
Restoration of the chiral symmetry is certainly associated with a phase transition. At nonzero quark masses there need not be a phase transition, and the restoration is found to be gradual (a ‘crossover’); at sufficiently high mass we expect no chiral phase transition.
Whether the U A (1) symmetry is restored is a separate question and depends on the fate of the anomaly at high T. We have not included this symmetry in the simple chiral effective theory above. Pisarski and Wilczek [413] did this and concluded that the nature of the chiral phase transition depends on N f and on whether the U A (1) symmetry is simultaneously restored:
-
1.
For N f ≥ 3 the phase transition is first order.
-
2.
The U A (1) symmetry should be restored at least asymptotically at high T, but its restoration need not occur at the same temperature as that of SU(N f ) L ×SU(N f ) R .
-
3.
For N f = 2, the nature of the phase transition depends on what happens with U A (1).
-
4.
If U A (1) is effectively restored at the same temperature as SU(N f ) L ×SU(N f ) R , the transition can be a fluctuation-driven first-order transition.
-
5.
Otherwise, it is continuous (second order).
These observations allow us to characterize the QCD high temperature phase transition as a function of the light quark masses, as shown in Fig. 6.10. The figure is only a sketch. To make it quantitative requires a lattice QCD simulation, which can tell us (1) whether there is a phase transition at the physical (nonzero) values of the light (up and down) quark masses or only at zero quark masses, (2) how large the masses can be before the phase transition is lost, and (3) at what temperature the U A (1) symmetry is (at least effectively) restored?
6.4.2 Signals of Chiral Symmetry Restoration
We list a variety of indicators of chiral symmetry restoration:
-
1.
Chiral condensates \(\left \langle \bar{\psi }_{f}\psi _{f}\right \rangle\) The light quark chiral condensate is an order parameter for chiral symmetry. At zero mass it should vanish when the symmetry is restored. If quark masses are not zero, we can still use it as an indicator, even if it is not, strictly, an order parameter.
-
2.
Chiral susceptibility \(\chi _{f} = \partial \left \langle \bar{\psi }_{f}\psi _{f}\right \rangle /\partial m\) The susceptibility should peak at the transition (or crossover) temperature.
-
3.
Hadron correlators Hadron correlators, which imply, also, hadron masses, should become equal. For SU(2) L ×SU(2) R we have \(C_{\pi }(x) = C_{f_{0}}(x)\).
$$\displaystyle\begin{array}{rcl} C_{f_{0}}(x)& =& \left \langle f_{0}(x)f_{0}(0)\right \rangle {}\end{array}$$(6.73)$$\displaystyle\begin{array}{rcl} C_{\pi }(x)\delta _{k,k^{{\prime}}}& =& \left \langle \pi ^{k}(x)\pi ^{k^{{\prime}} }(0)\right \rangle \,. {}\end{array}$$(6.74)Similarly \(C_{\eta }(x) = C_{a_{0}}(x)\). With restoration of U A (1) we also have \(C_{\pi }(x) = C_{a_{0}}(x)\) and \(C_{f_{0}}(x) = C_{\eta }(x)\).
We turn, now, to results from lattice simulations that reflect restoration of chiral symmetry. The lattice implementation of chiral symmetry depends on the fermion formulation: The Wilson/clover fermionic actions break chiral symmetry explicitly. The staggered (asqtad, HISQ) fermions preserve a remnant of chiral symmetry. Finally, the overlap and domain wall fermions aim to treat chiral symmetry exactly. For illustration, here, we discuss results for staggered fermions.
The chiral condensate at nonzero quark mass is ultraviolet divergent, which can be seen at one-loop order in QCD perturbation theory:
Since this divergence appears for each flavor, it can be removed at this order by subtracting the light quark (m u = m d ) and strange quark condensates, leading to the “subtracted condensate”.
The chiral condensate is also subject to a multiplicative renormalization (independent of temperature). This effect can be removed in the ratio
before comparing results from different calculations. The resulting quantity from a lattice simulation is shown in Fig. 6.11. We see a rapid decrease in the chiral condensate as temperature is increased through the crossover region. Results for the chiral susceptibility are shown in Fig. 6.12.
As we have remarked above the restoration of the U A (1) symmetry leads to the equality of the π and a 0 correlators (of the corresponding local bilinears), C π (x) and \(C_{a_{0}}(x)\). There is a particularly useful connection between the symmetry of the correlators and the spectral density of the Dirac matrix at zero eigenvalue [416]. This is seen by considering the related susceptibilities,
which must also be equal. The susceptibilities are particularly useful, because they are related to the eigenspectrum of the lattice Dirac matrix:
where m is the degenerate up and down quark mass and ρ(λ) is the eigenvalue density. These expressions can be derived from a spectral decomposition of the quark propagators involved in the correlators. As the quark masses are decreased to zero, we get
also known as the Banks-Casher relation [31]. Restoration of the SU(2) L ×SU(2) R symmetry implies that \(\left \langle \bar{\psi }\psi \right \rangle = 0\), so then ρ(0) = 0. If a gap opens in the spectrum at λ = 0, then certainly \(\chi _{P} -\chi _{S} = 0\) in the limit of zero mass. If, instead, the spectral density vanishes as ρ(λ) = A λ α, with suitable α, we can have vanishing \(\left \langle \bar{\psi }\psi \right \rangle\) and nonvanishing χ P −χ S .
Thus a study of the eigenvalue density at small eigenvalue can help in testing the restoration of the U A (1) symmetry. An example of a numerical test of these ideas is given in Figs. 6.13 and 6.14 [416]. Lattice results thus far suggest that the U A (1) symmetry is not restored at the same temperature as SU(2) L ×SU(2) R , but more work is needed [417]. For a recent domain wall study on smaller lattices, see [418].
Exercise 3
In terms of the Euclidean Dirac matrix \(M = m + D\!\!\!\!/\,\), the chiral condensate is
The eigenvalues and eigenvectors of D∕ satisfy M u n = i λ n u n . Assume that the antihermitian D∕ operator also satisfies the anticommutation relation \(\{D\!\!\!\!/\,,\gamma _{5}\} = 0\).
Prove that (Banks-Casher)
where the spectral density is constructed from \(1/V \sum _{n} \rightarrow \int d\lambda \rho (\lambda )\).
Then show that at zero mass \(\left \langle \bar{\psi }\psi \right \rangle = -\pi \rho (0)\).
6.4.3 Universality and Critical Behavior
The theory of critical phenomena places systems in universality classes according to their symmetries and spatial dimension. They alone determine the critical exponents and universal scaling functions that control scaling and the functional dependence of key quantities close to the critical point.
For the remainder of this lecture we will assume that the critical point appears only at T = T c 0 and m ud = 0. Since the relevant chiral symmetry is SU(2) L ×SU(2) R , equivalent to O(4), QCD is expected to fall into the 3D O(4) universality class. Staggered fermion implementations preserve a reduced symmetry, suggesting an O(2) behavior at nonzero lattice spacing. The critical behavior of these two universality classes is very similar.
We discuss the critical behavior in QCD by rescaling T and m ud to give t and h:
where m ud ∕m s is the ratio of light to strange quark masses. The quantities t 0 and h 0 are constants. These variables correspond to the temperature and magnetic field in the O(4) spin system.
The free energy density as a function of quark masses and temperature in the vicinity of a critical point has two contributions, a universal singular part and a regular part.
Up to a rescaling of the variables (via h 0 and t 0), the singular part is universal. It can be expressed in terms of a universal function of a single scaling variable \(z = t/h^{1/\beta \delta }\) where δ and β are universal critical exponents. The singular part is then
where f s (z) is universal. (In the condensed matter literature, it is often called the “equation of state”.) So, for example, the scaling function f s (z) in the 3D O(4) model is the same as the QCD scaling function.
The free energy is thermodynamically fundamental, since most physical observables can be expressed as derivatives of the free energy. For many observables the singular part dominates over the regular part close to the critical point. Where this happens is called the Landau region. The size of this region is not universal.
The chiral condensate plays the role of magnetization in QCD. We define
where
Then
where the function f G is universal. The chiral susceptibility is the derivative
We get a scaling expression for it by differentiation
where
So the behavior of \(\left \langle \bar{\psi }\psi \right \rangle _{\mathit{ud}}\) and χ ud is governed by the same singular function.
A fit to lattice measurements using this analysis is shown in Fig. 6.15. The universal scaling function used in the fit was taken from a separate study of the O(4) spin model. To obtain the agreement shown, it was necessary to include a regular part, parameterized with its leading-order Taylor expansion in the scaling variables. A byproduct of this analysis was the value T c = 154(9) MeV for the crossover temperature at physical quark masses
In this fourth and last lecture we consider a variety of observables of more direct interest to the phenomonology of heavy ion collisions, including the equation of state at zero and nonzero density, the charm quark contribution to the equation of state, and fluctuations in conserved charges.
6.5 Equation of State
6.5.1 Models at Low and High Temperature
At extremes of temperatures some approximations are possible. We discuss the hadron resonance gas model, applicable at low temperature and the Stefan-Boltzmann gas model, at high temperature.
6.5.1.1 Hadron Resonance Gas Model
The hadron resonance gas model is a simple (simple-minded!) model often used as an approximation to the low temperature behavior of QCD. Introduced by Hagedorn, it approximates the QCD ensemble as a noninteracting gas of mesons and baryons, including resonances. All particles (and resonances) listed in the Particl Data Group summary are included. One stops at some cut off mass M. Interactions are treated only in the sense that resonances are included. One expects the model to be good for T ≪ m π , the lowest mass. If the density of states grows as \(\mathit{dN}/\mathit{dm} = C\exp (m/T_{c})\) then the partition function diverges for T > T c (Hagedorn limiting temperature). At this point one has to change the model by switching to quark and gluon degrees of freedom for T > T c .
In the low temperature limit we get an explicit expression for the partition function for mesons/baryons (M/B):
For the ith meson or baryon we have
where d i is a multiplicity factor.
6.5.1.2 Stefan-Boltzmann Limit
In the high temperature limit the QCD running coupling is expected to be small, so we can treat the quarks and gluons as approximately noninteracting and massless, leading to the relativistic ideal gas limit (Stefan-Boltzmann gas). In the presence of a chemical potential μ f for conserved flavor number N f , the Stefan-Boltzmann pressure is
6.5.2 Equation of State at Zero Density
More generally, at any temperature thermodynamic identities relate the energy density and pressure to the partition function as follows:
To calculate them separately on the lattice is a bit involved. It is more convenient to calculate the “interaction measure”
For the Wilson gauge action we get
We must subtract the vacuum value to remove an ultraviolet divergence. From now on, we assume this has been done and drop the Δ.
Exercise 4
The previous discussion gives the thermodynamic identities that relate the energy density and pressure to derivatives of the ensemble free energy with respect to temperature and volume, respectively. On a lattice of a fixed number of sites N s 3 × N t , the volume is given in terms of the spatial and temporal lattice constants a s and a t by N s 3 a s 3, and the inverse temperature is given by a t N t . So we can relate the derivatives in the thermodynamic identities to derivatives with respect to a s and a t . To relate these derivatives to the lattice action, one must take care to include the appropriate factors of a s and a t in the expression for the lattice action and to remember that the gauge coupling g 2 also depends on the lattice constants.
With these preliminaries in mind, show that
For sufficiently large volume the pressure is independent of volume:
so the interaction measure is
and, if the temperature is varied by varying a with fixed N τ , we can determine the pressure from it by integrating from low temperature (large a = a 0) to high temperature (small a).
At sufficiently low T 0 we may take p(a 0) = 0, or take its small value from the hadron resonance gas model.
Exercise 5
Derive the integral expression for the pressure in Eq. (6.105).
For illustration we show some lattice results for a variety of thermodynamic quantities obtained in the past few years. To find the most recent results, the proceedings of the annual Lattice conferences are a good place to start.Footnote 2
Results for the interaction measure are shown in Fig. 6.16. The corresponding energy density and pressure are shown in Fig. 6.17. Next, the entropy density \(s = (\varepsilon +p)/T\) is shown in Fig. 6.18. Finally, the speed of sound is
It is illustrated in Fig. 6.19. All of these quantities are of importance for hydrodynamic modeling of the quark-gluon plasma. However, it should be noted that these results are for higher than physical mass and for nonzero lattice spacing and require extrapolation to physical values to be realistic.
6.5.3 Equation of State at Nonzero Density
We observed in the first lecture that we cannot simulate directly at μ ≠ 0, because the fermion determinant is complex. For heavy ion collisions, the chemical potentials are small. Therefore, one is led to a Taylor series expansion for small μ. For the 2 + 1 flavor case, the expansion reads
The coefficients are evaluated at \(\mu _{\mathit{ud}} =\mu _{s} = 0\)
The derivatives are expectation values of combinations of traces of the inverse of the lattice Dirac matrix. An example of a calculation at nonzero chemical potential is given in Fig. 6.20. As in this figure, the results are often shown at fixed ratios of entropy density to baryon density. Since in heavy ion collisions the strange number density n s is zero, it is necessary to tune \(\mu _{\ell} =\mu _{u} =\mu _{d}\) and μ s to get n s = 0 at fixed s∕n B . The tuned trajectories are shown in Fig. 6.21. One often assumes an isentropic formation and expansion of the plasma. The equation of state at constant entropy along the trajectories plotted in Fig. 6.21 is shown in Fig. 6.20.
6.5.4 Charm Quark Contribution
It is interesting to consider how charm quarks contribute to the equation of state. Whether the quark plasma in a heavy ion collision has time to equilibrate charm is an open question, but in the early universe it certainly does. The charm contribution to the equation of state can be done without including charm quarks explicitly in the statistical ensemble (quenched charm) with the result shown in Fig. 6.22. We see that charm effects start to become visible above about T = 200 MeV. The stout and p4 action results are a bit smaller than the result from the asqtad action.
6.6 Fluctuations of Conserved Charges
In a neutral ensemble, conserved charges still fluctuate about zero.
So we define susceptibilities of the generic form,
for X = baryon number B, strangeness S, and electric charge Q. They can be derived from the second-order Taylor coefficients in the expansion of the pressure in terms of the chemical potentials:
where \(\hat{\mu }_{X} = \mu _{X}/T\). Results for these quantities are shown in Fig. 6.23.
Conclusions
What has lattice QCD taught us about the behavior of QCD at high temperature and density?
-
1.
We have learned a great deal about the qualitative behavior of QCD in thermal equilibrium at low chemical potential for a few flavors and nonzero quark masses. This reach of lattice QCD is illustrated in Fig. 6.24.
-
2.
We have fairly good control of a variety of important quantities needed for hydrodynamic modeling.
-
3.
We have good quantitative predictions for fluctuations in conserved charges.
What might lattice QCD still teach us?
-
1.
We need better ideas/methods for dealing with higher baryon density.
-
2.
We hope to learn more about whether the critical endpoint is accessible to experiment.
-
3.
We expect to learn more about transport properties: viscosity, electric conductivity, etc. This is difficult, though.
-
4.
We do not yet have a completely satisfactory understanding of what happens at the chiral critical point at low m u = m d , but this will come.
-
5.
We expect to learn more about the behavior of the QGP in strong magnetic fields.
Notes
- 1.
Note that the fermion field has been rescaled by a factor \(\sqrt{2\kappa }\) relative to the notation of chapter “Lattice QCD: A Brief Introduction”. This normalization is convenient for numerical implementations.
- 2.
Recent proceedings of the Lattice conference series are published by SISSA: http://pos.sissa.it/ and can be found under the search term “Lattice Field Theory.”
References
T. Banks, A. Casher, Nucl. Phys. B169, 103 (1980)
L.G. Yaffe, B. Svetitsky, Phys. Rev. D26, 963 (1982)
T.A. DeGrand, C.E. DeTar, Nucl. Phys. B225, 590 (1983)
WHOT-QCD Collaboration, S. Ejiri et al., Central Eur. J. Phys. 10, 1322 (2012). arXiv:1203.3793
A. Patel, Nucl. Phys. B243, 411 (1984)
A. Patel, Phys. Lett. B139, 394 (1984)
F. Karsch, E. Laermann, A. Peikert, Nucl. Phys. B605, 579 (2001). arXiv:hep-lat/0012023
A. Bazavov et al., Phys. Rev. D80, 014504 (2009). arXiv:0903.4379
A. Jakovac, P. Petreczky, K. Petrov, A. Velytsky, Phys. Rev. D75, 014506 (2007). arXiv:hep-lat/0611017
M. Asakawa, T. Hatsuda, Y. Nakahara, Prog. Part. Nucl. Phys. 46, 459 (2001). arXiv:hep-lat/0011040
F. Karsch, E. Laermann, P. Petreczky, S. Stickan, I. Wetzorke, Phys. Lett. B530, 147 (2002). arXiv:hep-lat/0110208
H.B. Meyer, Phys. Rev. Lett. 100, 162001 (2008). arXiv:0710.3717
R.D. Pisarski, F. Wilczek, Phys. Rev. D29, 338 (1984)
E. Laermann, O. Philipsen, Ann. Rev. Nucl. Part. Sci. 53, 163 (2003). arXiv:hep-ph/0303042
A. Bazavov et al., Phys. Rev. D85, 054503 (2012). arXiv:1111.1710
H. Ohno, U. Heller, F. Karsch, S. Mukherjee, PoS LATTICE2011, 210 (2011). arXiv:1111.1939
H. Ohno, U. Heller, F. Karsch, S. Mukherjee, PoS LATTICE2012, 095 (2012). arXiv:1211.2591
HotQCD Collaboration, A. Bazavov et al., Phys. Rev. D86, 094503 (2012). arXiv:1205.3535
C. DeTar et al., Phys. Rev. D81, 114504 (2010). arXiv:1003.5682
C. Bernard et al., Phys. Rev. D77, 014503 (2008). arXiv:0710.1330
HotQCD Collaboration, A. Bazavov et al., Phys. Rev. D86, 034509 (2012). arXiv:1203.0784
Acknowledgements
I thank the organizers of the summer school for their hospitality and excellent organization. I am grateful to Ludmila Levkova for critical comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
DeTar, C. (2015). High Temperature and Density in Lattice QCD. In: Lin, HW., Meyer, H. (eds) Lattice QCD for Nuclear Physics. Lecture Notes in Physics, vol 889. Springer, Cham. https://doi.org/10.1007/978-3-319-08022-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-08022-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08021-5
Online ISBN: 978-3-319-08022-2
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)