Abstract
We introduce the parton cascade Alpaca, which evolves parton ensembles corresponding to single events according to the effective kinetic theory of QCD at high temperature formulated by Arnold, Moore and Yaffe by explicitly simulating elastic scattering, splitting and merging. By taking the ensemble average over many events the phase space density (as evolved by the Boltzmann equation) is recovered, but the parton cascade can go beyond the evolution of the mean because it can be turned into a complete event generator that produces fully exclusive final states including fluctuations and correlations. The parton cascade does not require the phase space density as input (except for the initial condition at the starting time). Rather, effective masses and temperature, which are functions of time and are defined as integrals over expressions involving the distribution function, are estimated in each event from just the parton ensemble of that event. We validate the framework by showing that ensembles sampled from a thermal distribution stay in thermal equilibrium even after running the simulation for a long time. This is a non-trivial result, because it requires all parts of the simulation to intertwine correctly.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
According to our current understanding of collisions of heavy nuclei at collider energies the high density in the final state of these collisions leads to strong final state re-scattering that rapidly drives the system towards local thermal equilibrium [1, 2]. At (proper) time \(\mathcal {O}(1\mathrm{fm/c})\), the systems enters an extended phase of hydrodynamic evolution, during which it undergoes continued strong longitudinal and moderate transverse expansion. During this phase, it is well described by viscous hydrodynamics [3,4,5] with a low shear viscosity to entropy density ratio \(\eta /s\) and equation of state of a deconfined quark-gluon medium [6]. At the pseudo-critical temperature \(T_\text {c} \simeq 160\) MeV [7] the partonic medium freezes out into hadrons that continue to interact until the kinetic freeze-out around 150 MeV. Correlations due the collective expansion of the system are imprinted onto the hadronic final state and give rise to an azimuthal anisotropy (quantified by the flow coefficients \(v_n\)), a near-side long-range correlation in rapidity known as the ridge, and a hardening of transverse momentum spectra with \(\langle p_\perp \rangle \) increasing with hadron mass. The comparatively high temperature at chemical freeze-out also leads to enhanced strangeness production [8,9,10,11,12,13].
The interpretation of these observations as signals of final state collectivity is, however, challenged by the observation of these signatures in proton-nucleus and high-multiplicity proton-proton collisions. Naively, these systems are too small and too dilute to develop a sizeable thermalized medium. Still, the question has to be asked to what extent there is final state re-scattering also in these small systems and whether this could lead to a partial equilibration that is visible in hadron distributions (see [14, 15] for reviews).
In the case of heavy-ion collisions, the rapid equilibration to an extent that viscous hydrodynamics becomes applicable can be understood both in terms of strong-coupling dynamics [16,17,18,19], as well as in terms of weak-coupling dynamics [20,21,22]. In the latter case it can be studied using the effective kinetic theory of QCD by Arnold, Moore and Yaffe (AMY) [23,24,25], describing the dynamics of quarks of gluons. Kinetic theory is a natural candidate for the description of small collision systems [26,27,28,29], since it is valid in- and out-of-equilibrium.
Progress in understanding similarities and differences between small and large collision systems will depend critically on detailed apples-to-apples comparisons between theory and experimental data. This is particularly important for the small systems, where the interpretation of data is complicated by biases and auto-correlations. Monte Carlo (MC) event generators are tools that can bridge the gap between theory and experiments and are indispensable for a thorough understanding of collider data in all areas. Compared to the perturbative regime of proton-proton physics, where sophisticated event generators built on the Standard Model (and beyond) are available, event generators for soft physics and heavy-ion physics are far less advanced. It is our aim to fill in this gap by developing a MC event generator representation of the AMY effective kinetic theory that is applicable to small and large collision systems with a focus on soft particle production. Alpaca (AMY Lorentz invariant PArton CAscade) is implemented as a module in the Sherpa [30] event generator. The main difference to existing parton cascade codes [31,32,33,34,35,36,37,38,39,40] is that it reproduces exactly the AMY kernels for all elastic scattering, splitting and merging processes. Furthermore, it is implemented in a way that is Lorentz-invariant by construction. This avoids problems with residual causality violation [41] and altered correlations and fluctuations due to particle subdivision [42]. In this paper we focus on the implementation of the effective kinetic theory in a parton cascade code and show that it reproduces AMY in thermal equilibrium. A major challenge in this is to extract the screening masses and effective temperature \(T_*\), which are non-local in phase-space, from the parton ensemble. For the validation of the thermal equilibrium we initialise the system in thermal equilibrium and convince ourselves that the distribution function does not change. This will only be the case when detailed balance is respected. In particular, splitting and merging rates have to be the same, which requires a non-trivial interplay between elastic and inelastic processes. The scattering rates depend on the screening masses and the splitting and merging rates on the effective temperature, detailed balance is therefore a critical test of our dynamical extraction of these quantities. Running the simulation for a long time in thermal equilibrium is an important validation exercise showing that the dynamics are correctly encoded. The next step is then to study how a system that is initialised out of equilibrium approaches equilibrium. Since this is a different question we will discuss it in a separate publication.
The paper is organised as follows: in Sect. 2 we briefly review the method used to make the parton cascade Lorentz invariant and Sect. 3 gives a summary of the AMY effective kinetic theory. Details on the implementation in Alpaca are given in Sect. 4, with an introduction to the framework in Sect. 4.1, a discussion of the set-up used for the thermal equilibrium simulations in Sect. 4.2, details on elastic scattering in Sect. 4.3, splitting and merging in Sect. 4.4 and lastly the results of a long run with all the different components included is shown in Sect. 4.5. We conclude the discussion in Sect. 5 and give further technical details in the appendices.
2 A Lorentz invariant parton cascade
The no-interaction theorem [43] states that N particles moving in a 6N dimensional phase space cannot interact if Lorentz invariance (instead of Galilei invariance) is required. This theorem can, however, be circumvented by regarding the particles as moving in a 8N dimensional phase space [44], i.e. formulating the theory in terms of four-positions and four-momenta of the particles. With a physical choice of the quasi-potential describing the interactions the particles are classically off-shell (i.e. \(p_i^2 \ne m_i^2\)) when they are within the range of the quasi-potential and on-shell otherwise. The four-vectors can be parameterised by an evolution parameter \(\tau \), that is a Lorentz scalar. The equations of motion are then given by
where H is the classical Hamiltonian.
We here follow the approach of [37] and use a simplified Hamiltonian, in which there are only binary interactions of particles taking place at discrete points in \(\tau \).Footnote 1 The interactions thus lead to instantaneous (in \(\tau \)) changes of the momenta and between interactions the particles travel on free trajectories. We thus require only the free Hamiltonian, which for a system of N particles is the sum of N single particle free Hamiltonians. In Alpaca we neglect the (parametrically small) effective masses and treat all partons as massless. The Hamiltonian is then given by
where \(\lambda \) is an arbitrary Lagrange multiplier [46]. The equations of motion are easily solved to yield
The parameter \(\tau \) does not have a physical interpretation. One can, however, chose an arbitrary but fixed reference frame and calculate the particles’ momentum and position in this frame. Using \(x_{i\mu } = (ct, \textbf{r}_i)\) and \(p_{i\mu } = (\omega _i/c, \textbf{k}_i)\) with \(|\textbf{k}_i| = \omega _i/c\) one finds
where
was used. This is, of course, the expected result (and independent of \(\lambda \)).
In order to find the \(\{\tau _{0i}\}\) at which the initial conditions \(\{x_i(\tau _{0i})\}\) are specified, the parameter \(\tau \) has to be related to some observer time. This can be done by generalising the procedure introduced in [44] for a 2-particle system to N particles.Footnote 2 The position of the centre-of-momentum \(X_\mu \) in the centre-of-momentum frame satisfies
from which it follows
where, without loss of generality, \(\tau _0 = t^\text {c.m.}(\tau _0)=0\) was set.
In order to decide whether a given pair of particles interacts, one needs to measure their distance. Following [37], the Lorentz invariant distance squared between two particles is defined as
where \(x = x_i-x_j\) is the relative four-distance between the particles, and \(p = p_i+p_j\) is the total four-momentum of the pair. In the centre-of-momentum frame of the pair, this reduces to the squared three-distance. When the distance becomes smaller than \(\sqrt{\sigma _\text {scat}/\pi }\), where \(\sigma _\text {scat}\) is the scattering cross section, an interaction occurs.Footnote 3 The interactions are ordered in \(\tau \) in a frame-independent way. This avoids the problem of causality violation in parton cascades that appears when ordering interactions in observer time, in which case the ordering is frame dependent.
In general, when a pair of particles interacts, the condition \(d_{ij} < \sqrt{\sigma _\text {scat}/\pi }\) is satisfied during a finite \(\tau \) interval and one has to make a choice at which point in \(\tau \) the interaction takes place. We here choose the point of closest approach between the particles, i.e. the \(\tau \) corresponding to \(\min (d_{ij}(\tau ))\). The value of \(\tau \) for which the closest approach is reached can be calculated from Eq. (10) and is given by
The parton cascade proceeds by moving from one scattering to the next. The \(1 \rightarrow 2\) splitting processes are easily included by translating the splitting rate in terms of an observer time into a splitting rate in \(\tau \) using Eq. (7) (see Sect. 4.4.1).
3 The AMY effective kinetic theory
In [23], P. Arnold, G. Moore, and L. Yaffe derived an effective kinetic theory of QCD at high temperatures. At sufficiently high T, where the QCD coupling g(T) is small, the temperature T sets a hard scale, while gT is a softer scale. It is a starting assumption of the effective-theory setup that these parametrically separated scales are also quantitatively well-separated. Under this assumption the QCD plasma consists of quarks and gluons as well-defined quasi-particles with typical momenta of order T. These hard partons propagate as nearly free and nearly massless particles, since thermal masses are \(\mathcal {O}(gT)\) and the small-angle scattering rate is \(\mathcal {O}(g^2T)\). The rate of large-angle scattering is \(\mathcal {O}(g^4T)\).
In addition to elastic \(2\leftrightarrow 2\) scattering, \(1 \leftrightarrow 2\) splitting and merging processes have to be taken into account. In vacuum, these are kinematically allowed only when all three momenta are exactly collinear. In plasma, this restriction disappears when a soft scattering is involved. The process is then nearly collinear with a rate \(\mathcal {O}(g^4T)\), i.e., comparable to the large-angle elastic-scattering rate. The process is not instantaneous, as it involves an off-shell propagator. The formation time of splitting/merging processes turns out to be \(\mathcal {O}(1/g^2T)\), i.e., the same as the small-angle-scattering mean free path. Consequently, additional soft collisions occur during the formation time making it an \(N+1 \leftrightarrow N+2\) process. The additional soft collisions are not resolved individually by the radiation and cannot be treated as classically independent. Instead, they act coherently giving rise to the QCD analogue of the Landau-Pomeranchuk-Migdal (LPM) effect [47, 48]. The splitting/merging processes involving N coherent soft scatterings are denoted as “\(1 \leftrightarrow 2\)” processes.
The effective kinetic theory is formulated as a set of Boltzmann equations
for the phase space densities \(f_s(\textbf{x},\textbf{p},t)\) of partons of species s at position \(\textbf{x}\) with momentum \(\textbf{p}\) at time t. The collision kernels \(C_s^{2\leftrightarrow 2}\) and \(C_s^{``1\leftrightarrow 2\text {''}}\) encode the effect of elastic scattering and splitting/merging, respectively.
The elastic scattering kernel includes all \(2\leftrightarrow 2\) processes, because all of them have parametrically the same hard scattering rate. It has the usual form
where the dependence of the phase space densities \(f_s\) on position and time has not been written out. Capital letters denote four-vectors and the particles are taken as massless. The factor \(\nu _s\) is the number of spin and colour states (i.e. \(\nu _q = 6\) for quarks and anti-quarks and \(\nu _g = 16\) for gluons). The effective in-medium matrix elements squared \(|\mathcal {M}^{ab}_{cd} |^2\) are taken as summed over the final state and averaged over the initial state.Footnote 4 It should be noted that due to screening in the plasma the matrix elements depend on the phase space densities. The short hand notation
for the Lorentz-invariant momentum integration has been used, and the factor in front of the integral contains a factor of 1/2 for symmetry. The factors \((1 \pm f)\), where the upper sign is for gluons and the lower is for (anti)quarks, encode Bose enhancement or Pauli blocking, depending on the species. The first term in Eq. (13) is a gain term accounting for partons arriving at momentum \(\textbf{p}\) due to elastic scattering, while the second is the loss term accounting for partons leaving momentum \(\textbf{p}\).
The kernels for the effective splitting/merging processes can be written as
where the (small) transverse momenta associated with the splitting or merging have been integrated out neglecting the deviations from exact collinearity in the phase space densities. The functions \(\gamma ^a_{bc}\) are the differential splitting/merging rates for the \(a \leftrightarrow b+c\) processes and contain the effect of multiple soft scattering during the formation time. As in the elastic scattering case, they depend implicitly on the phase space densities. The rates \(\gamma ^a_{bc}\) should be understood as summed (not averaged) over all external partons.
The effective kinetic theory is leading-order accurate in the coupling \(\lambda = g^2 N_c = 4 \pi \alpha _s N_c\) for hard partons.
In order for any kinetic theory to be applicable the duration of scattering events must be small compared to the mean free path. In the case of the AMY effective kinetic theory in equilibrium this in ensured by the assumption that the temperature is sufficiently high for the theory to be weakly coupled. Out of equilibrium, the question of applicability of the theory requires a more careful discussion, which is provided in [23]. The most important requirements are that the phase space densities support a separation of scales as outlined at the beginning of this section. This means that all relevant excitations should have momenta that are large compared to the screening masses. The effective masses, in turn, have to be much larger than all other mass scales (\(\Lambda _\text {QCD}\) and quark masses). Furthermore, the phase space densities have to be sufficiently slowly varying, in particular they should not vary significantly over the length/time of the formation time of near the collinear splitting/merging processes. Lastly, the formulation of the AMY kinetic theory is technically leading-order accurate only for isotropic distributions due to certain plasma instabilities. However, numerical evidence points that the effect of the unstable modes may be quantitatively small [49].
4 The Alpaca framework
4.1 General remarks
Alpaca (AMY Lorentz invariant PArton CAscade) is a parton cascade which solves the Boltzmann equation of the AMY effective kinetic theory indirectly by, in a Lorentz invariant way, evolving a parton ensemble according to the AMY collision kernels. To fully capture the dynamics of these kernels, three types of processes are considered: elastic scattering, quasi-collinear merging and quasi-collinear splitting.
In addition to being able to evolve finite-sized systems, Alpaca also contains an implementation of infinitely sized ensembles in thermal equilibrium, used to verify simulations in a simpler setting with analytically known results. The infinite-sized system is implemented through a box with periodic boundary conditions, something that introduces further complications to the Lorentz invariant framework, which is discussed in detail in Sect. 4.2.
The evolution of the particle ensemble takes place in \(\tau \) as defined in Sect. 2. Each event starts at \(\tau =0\) and is set to end at some \(\tau _{\textrm{max}}\). Since \(\tau \) does not have a physical meaning it is convenient to also define an observer time \(t_\text {max}\) that the system should reach. To ensure that all particles are evolved to \(t_\text {max}\) the simulation will keep running until all particles have \(t\ge t_{\textrm{max}}\) even when this requires going to \(\tau > \tau _\text {max}\). There is no need for \(t_\text {max}\) and \(\tau _\text {max}\) to be the same, but we here choose \(t_\text {max} = \tau _\text {max}\). After the initialization of an event, the next possible processes of the three described above are found and ordered in \(\tau \). Between any processes taking place partons are treated classically as point particles and are considered free streaming, according to Eq. (5).
The possible interactions of particles implemented in Alpaca to fully capture the dynamics given by AMY are elastic scattering and inelastic splitting/merging. However, due to the LPM effect present in the inelastic processes as well as the restriction of collinearity, the inelastic and elastic processes are treated differently. For the elastic case, an effective cross section extracted from the elastic collision kernel is used. In the current implementation we use a black disk approximation for the cross section, i.e., an interaction between a pair of particles occurs if their invariant distance at closest approach satisfies \(d_{ij} < \sqrt{\sigma /\pi }\). If several processes are allowed, \(\sigma \) is the sum of the cross sections of the individual processes. It is then decided in a second step which processes is going to take place according to the relative contributions to the total cross section.
In the Lorentz invariant framework a problem arises in a box with periodic boundary conditions. As discussed in Sect. 4.2 the algorithm for finding the closest approaches between pairs of particles requires the cross section as input. The cross section however, depends on the local quantities \(m_{g/q}(\textbf{x},\textbf{p})\) and \(f(\textbf{x},\textbf{p})\) which are not known a priori. The solution is to find an overestimate of the cross sections that is independent of local quantities and then reject interactions with a probability that is given by the true cross section (evaluated at the point of the potential interaction) divided by the overestimate.Footnote 5 The cross sections and overestimates for the different processes are given in Sects. 4.3.1, 4.4.2 and Appendix C.1.
For the inelastic processes, the effect of multiple coherent scattering during the formation time (LPM effect) is already included in the splitting/merging rates \(\gamma ^a_{bc}\). We therefore don’t explicitly simulate them, but treat the inelastic processes as effective \(1\leftrightarrow 2\) processes. However, since we are dealing with an ensemble of discrete particles, a pair of particles will never be exactly collinear. We therefore have to allow for a small relative transverse momentum \(k_\perp \) for the merging processes, and consequently also for splitting (the two types of processes have to cover the same phase space in order to preserve detailed balance). The \(k_\perp \) is absorbed by a nearby parton, which we call the ‘recoil parton’. This recoil parton thus effectively acts as the (possibly multiple) parton(s) with which the soft coherent scattering occurs during the formation time of the splitting/merging. Since merging processes initially consists of a pair they can be treated similarly to elastic scattering, where we extract an effective cross section from the inelastic collision kernels and then evaluate this using a black disk approach.
For collinear splittings, an implementation of the Veto algorithm is utilized, see Sect. 4.4.1 for details. Since the splitting and merging rate is infra-red divergent we have to introduce a small cut-off in x. We do this by introducing a minimum momentum for all particles, \(p_{\textrm{min}}\), so that no particle is initialized with \(p < p_\text {min}\) or allowed to scatter/split/merge into a momentum lower than this. This does not compromise the theory’s accuracy.
Currently, Alpaca is only utilizing the general event handling framework in Sherpa, due to the focus on testing the model in thermal equilibrium. We plan to integrate Alpaca in the event generation in Sherpa in the future to allow for hadronisation and inclusion of hard processes like jet production.
4.2 Simulating a system in equilibrium
In numerical studies of systems of particles in thermal equilibrium, one usually considers the system in a box with periodic boundary conditions. The position of a particle leaving the box at one end is then shifted such that the particle re-enters the box at the other end (the momentum remains unchanged). The justification for this procedure is that a system in thermal equilibrium is homogeneous and therefore, if one imagines the space to be divided into equally sized cells, all cells look the same on average. The periodic boundary condition makes all cells look exactly the same.
To simulate the evolution of a system of particles, one has to consider the interactions of each particle with all other particles. Since all cells are identical, it is enough to consider all interactions inside one cell. One therefore has to identify all pairs of particles that interact inside the box within a pre-defined time interval. In a parton cascade considering only binary interactions, one thus has to compute the time and distance of closest approach for each pair of particles. The distance of closest approach decides whether the pair will scatter, and the time at which this happens decides whether the scattering will take place inside the box (or whether one or both particles will have left the box before the encounter). To correctly account for all possible interaction inside the box, one has to consider scattering of a particle inside the box with particles coming from neighbouring cells. Both the time and distance of closest approach depend only on the relative distance between the two particles. One thus captures all possible encounters of particles 1 and 2 and all their copies in other cells by considering the copy of particle 1 located in the box and all copies of particle 2 on other cells.
When the system with periodic boundary conditions evolves in an observer time, e.g. the time in the rest frame of the box, a particle in the box can only collide inside the box with a particle coming from inside the box or one of the neighbouring 26 cells,Footnote 6 which are copies of the original cell, surrounding the box. If the second particle comes from farther away, the closest approach of the pair will always happen outside the box. Such an evolution is, however, not Lorentz invariant, but frame dependent. As discussed in Sect. 2 the evolution of a multi-particle system can be simulated in a frame independent way by ordering scattering events not in an observer time t, but in a generalised time \(\tau \), which is a Lorentz scalar. In this way the evolution of the system becomes Lorentz invariant, but now a particle in the box can scatter inside the box with a copy of another particle coming from any cell. One therefore has to consider a countably infinite number of encounters for this pair. Of these we are only interested in those that bring the particles close enough for a scattering. And of those that lead to a scattering we need to find the first one, i.e. the one with the smallest \(\tau \) starting from the current \(\tau \) of the evolution.
We have developed an algorithm that finds the earliest closest approach for a given pair of particles that is close enough for an interaction to occur. It systematically checks closest approaches between the first particle in the box with copies of the second particle coming from other cells ordered in increasing invariant time \(\tau \). This algorithm needs the scattering cross section as input, because when a closest approach is not close enough for a scattering to occur it has to continue checking other copies of the second particles. The algorithm is specified in full detail in Appendix A.
4.3 Elastic scattering
4.3.1 General considerations
As mentioned in Sect. 4.1, to determine if a parton pair scatters elastically, and if so which type of elastic scattering occurs, multichannel accept/reject Monte Carlo sampling is used. The scattering matrix elements are related to the elastic cross section through
where
is the phase-space measure of the outgoing particles. Note that we pick up a factor of 1/2 in the first equality due to either gluons being indistinguishable or from double counting of fermionic processes. The factor within the bracket can be expressed using the relative angle \(\theta _{\Delta \textbf{p}\textbf{k}}\) between \(\textbf{p}\) and \(\textbf{k}\) as \(s/2|\textbf{p}||\textbf{k}| = 1-\cos (\theta _{\Delta \textbf{p}\textbf{k}})\) and enforces a vanishing contribution for particles moving collinearly. In an isotropic system this expression integrates to unity.
For hard scattering screening effects are negligible and the standard vacuum matrix elements can be used. For soft scattering (small t or u), however, the matrix elements receive large corrections from in-medium physics. Following the strategy of [50, 51] we replace the infra-red divergent \(1/t^2\) terms in the matrix elements by
where \(m_s\) is the effective mass of the parton in the propagator and the prefactors \(\zeta _g = e^{5/3}/4\) and \(\zeta _q = e^2/4\) contain the conversion factor between (asymptotic) effective mass and screening mass and a scaling factor that ensures that the modified matrix elements reproduce to leading order the HTL results for drag and momentum broadening [50, 52]. Strictly speaking, the factors \(\zeta _s\) should be re-calculated for our choice of making the replacement, which differs from [50, 51]. We leave this for the future. We list the matrix elements used in Alpaca in Appendix C.1.
In addition to the scattering matrix elements the collision kernels contain factors of \((1\pm f)\) for the outgoing partons, which encode Bose enhancement and Pauli blocking. Thus the integral over the outgoing momenta of the matrix elements does not give the standard cross sections, but effective cross sections containing the Bose enhancement/Pauli blocking factors. The effective cross sections can be used for simulating the scatterings in the standard way. However, also the Bose enhancement/Pauli blocking factors depend on the position of the scattering and are not known beforehand. We therefore include them in the rejection step by including an overestimate of these factors when integrating the effective cross sections and later rejecting the scattering with the ratio of the true Bose enhancement/Pauli blocking factor and the overestimate.
In practice, if the closest approach occurs at some \(\bar{\tau }\) and the distance is smaller than \(\sqrt{{\tilde{\sigma }}/\pi }\) where \({\tilde{\sigma }}\) is the overestimated effective cross section, \(m_s^2(\textbf{x},\textbf{p})\) and \(f_s(\textbf{x},\textbf{p})\) are extracted as described in Sect. 4.3.2. In combination with the matrix element, as given in Appendix C, the full cross section is found and the process is accepted or rejected based on the ratio \(\sigma ^{ab}_{2\rightarrow 2}/\tilde{\sigma }^{ab}_{2\rightarrow 2}\).
If the process is accepted, t is sampled from the differential cross section (using accept/reject Monte Carlo with the overestimates of the matrix elements given in Appendix C) and the particles’ momenta are updated.
4.3.2 The effective masses and phase space densities
The screening mass \(m_s\) for a particle of species s, represents the medium screening effects and contributes in a highly non-trivial way to the evolution of the parton ensemble. It is responsible for regulating the otherwise divergent matrix elements in a local way and is in turn essential to capture interesting dynamics in the non-equilibrium case. The (position averaged) definition of the effective mass for a gluon is
and for a fermion of species s
where the average is over a spatial volume V. Since \(d^3\textbf{p}/|\textbf{p}|\) and \(d^3\textbf{x}/V\) are Lorentz invariant measures, and \(f(\textbf{p},\textbf{x})\) is a Lorentz invariant scalar [53, 54], it follows that the screening masses are Lorentz invariant quantities.
The screening masses have to be calculated for each scattering and at fixed observer time by integrating/summing over nearby partons. In any reference frame the two colliding partons will in general experience the scattering at different observer times. We choose to calculate the screening mass at the average of these times, which we denote by \(t_\text {D}\). A more serious complication is that when evolving the system in \(\tau \) (rather than observer time) the partons’ positions and momenta are known at fixed \(\tau \), which corresponds to a different observer time for every parton. Partons that are known at observer times later than \(t_\text {D}\) for some scattering can be propagated back in time, but for partons with times earlier than \(t_\text {D}\) this is not possible. We therefore choose to let the earlier partons free-stream to \(t_\text {D}\). This violates causality, as we are ignoring potential scatterings during that time which would change the partons’ positions and momenta. This can be mitigated by solving the time evolution iteratively, as discussed in Sect. 4.5.
To extract \(m^2_{s}\) in a local way we have the following prescription. For any particle pair with their closest approach at some \(\bar{\tau }\), we define \(t_\text {D}\) to be the average observer time of the particle pair at \(\bar{\tau }\). We then identify the \(N_{\textrm{inc}}\) closest (in terms of Euclidean spatial distance in the local rest frame) particles, w.r.t. to the midpoint of the original particle pair at \(t_\text {D}\). This gives a volume \(V = 4\pi r_{\textrm{max}}^3/3\), where \(r_{\textrm{max}}\) is the Euclidian distance to the particle furthest away. Due to the semi-classical approach of Alpaca the partons are treated as pointlike and hence the density of particles can be expressed as
which gives an expression for \(f(\textbf{x},\textbf{p})\). For a gluon propagator, following Eq. (19), each of the \(N_{\textrm{inc}}\) included particles then adds a factor of
to \(m_{g}^2\) depending on the species s of the included particle. Similarly, following Eq. (20) for a quark propagator, each surrounding particle adds a factor
to \(m_{q/\bar{q}}^2\) depending on whether the included particle is a gluon or quark (of the same species as the virtual quark).
In order to evaluate the Bose enhancement and Pauli blocking factors, \(1\pm f_a(\textbf{x},\textbf{p})\), that appear in the AMY collision kernels, we also need explicit approximations of \(f_a(\textbf{x},\textbf{p})\). Consequently, we approximate the phase space density by once again treating the particles as pointlike and looking at the phase space volume \(V = V_\textbf{x}V_\textbf{p}\) where we have a spherical spatial volume around \(\textbf{x}\), the point of interest, and a spherical shell around the origin containing the (absolute) momentum p in momentum space, i.e.
Here, r is the spatial distance between the included particle and \(\textbf{x}\) and is set to some fixed value, while \(\Delta p\) is the allowed differences in absolute momentum p between the original and included particles, also set to some fixed value. We then simply count the \(N_{\textrm{inc}}\) particles that exist within V and the extracted phase space density follows through the relation given in Eq. (21),
We also set an upper bound for the extracted phase space density, \(f_a(p) = \min (f_a(p), T_*/p)\), since the underlying theory is not valid for \(f(p)>T_*/p\).
Note that the implementation above is set up for an isotropic distribution, which our test case of thermal equilibrium described later will be. For anisotropic distributions the method is easily generalized by restricting the volume in momentum space to a sphere around \(\textbf{p}\).
The phase space density also has to be extracted at fixed observer time and the same free-streaming procedure as for the effective masses is used (with the same caveat concerning causality violation applying, although less severely since f is local in momentum space and therefore the spread in times is much smaller, cf. Eq. (9)).
4.3.3 The thermal equilibrium case
In order to verify that Alpaca reproduces the dynamics of AMY we put our particles in a box with periodic boundary conditions and sample our initial distributions in two different scenarios. First, the Boltzmann distribution
which has the benefit of providing us with a simple setup that allows for many quantities to be found analytically and compared to, e.g. the scattering rate. This distribution does not give us the full picture though, since it does not factor in quantum effects like Bose enhancement and Pauli blocking. For some cases these effects are not of importance in our verification of Alpaca, and we can just exclude them in the simulations. For splitting and merging however, this is not possibleFootnote 7. Hence, we will also study the scenario of Bose–Einstein and Fermi–Dirac distributions,
and
To tackle the divergence for vanishing momentum in \(f_{\textrm{BE}}\) (and later also divergent splitting/merging rates for low energy x) we introduce a cutoff in momentum, \(p_{\textrm{min}}\), so that no particle is initialized with momentum lower than this, and no particle is allowed to scatter/split/merge into a state with lower absolute momentum than this.
Both of the infinite thermalized systems above provide simplified scenarios where one can find analytical (and simpler numerical) results to compare against. To validate our implementation we show the following:
-
(i)
The elastic scattering rate \(dN_{\mathrm {coll.}}/dt\) in the case of thermal equilibrium with no Bose enhancement and Pauli blocking, and with a fixed \(\sigma ^{2\leftrightarrow 2}\), is consistent with the expected results, both for the classical and Bose–Einstein and Fermi–Dirac case.
-
(ii)
The elastic scattering rate \(dN_{\mathrm {coll.}}/dt\) with a non-constant \(\sigma ^{2\leftrightarrow 2}\) (implemented as described in Sect. 4.3.1) produces the correct rate w.r.t. the elastic collision kernel in AMY EKT. This is also checked both for the classical and Bose–Einstein and Fermi–Dirac case.
-
(iii)
The screening masses \(m_s^2\) and phase space densities \(f_s\) are extracted correctly, i.e., they match the analytical values, both for the classical and Bose–Einstein and Fermi–Dirac case.
(i) The number of particles of species s, \(dN_s\), contained in an infinitesimal phase-space volume \(d^6\xi = d^3\textbf{x}d^3\textbf{p}\) around \(\textbf{x}\) and \(\textbf{p}\) can be related to the phase-space density \(f_s(\textbf{x},\textbf{p})\) through
The collision kernels \(C_s[f]\) are related to the rate of change of the number of particles \(dN_s\) in \(d^6\xi \) between t and \(t+dt\), i.e.
since \(d^6\xi (t+dt) = d^6\xi (t)\) due to the absence of external forces. Separating this into a gain, \(dN_s^+\), and loss, \(dN_s^-\), term we get that
with \(C_s[f]^+\) and \(C_s[f]^-\) corresponding to the gain and loss terms in the collision kernel. The gain (or loss) term of the collision kernel can now be related to the rate of total number of scatterings as
where we pick up a factor of 1/2 due to either integrating over both incoming momentum of indistinguishable particles when s is a gluon, or double counting processes in the sum when s is a quark or antiquark. Here we also define the momentum integrated gain term of the collision kernel for a species s as \(I^\pm _s\) (with \(+\) and − for the gain and loss part of the collision kernel respectively), which are quantities of interest when evaluating (ii). Considering the case of a purely gluonic system without any Bose-enhancement we can extract a simple scaling behaviour for the rate of total number of collisions,
where we have used the definition of the total cross section given in Eq. (16). The expression within the brackets integrates to unity in isotropic systems, as explained in Sect. 4.3.1, and so for the thermal case with a constant cross section we have the scaling behaviour
with \(N_g\) being the total number of gluons in the system, and \(n_g\) the gluon density. From the equations above we also note that
The scaling behaviour shown above has been examined in Alpaca through scanning the parameter space, and exhibits the correct scaling behaviour, as shown in Fig. 1.
(ii) Including quarks and/or Bose enhancement/Pauli blocking is straight-forward but the collision rate does then not exhibit the same simple scaling behaviour. However, due to the (approximate) time independence of \(f(\textbf{x},\textbf{p})\) in thermal equilibrium we can integrate \(C_g^{2\rightarrow 2}[f]+C_{q/\bar{q}}^{2\rightarrow 2}[f]\) numerically, using Monte Carlo methods with stratified sampling, and compare to the results of Alpaca through the relation found in Eq. (29). This numerical integration has been crosschecked against the code used in e.g. [28]. The results of the comparison of the full numerical integration are shown in Tables 1 and 2 for Boltzmann and Bose–Einstein/Fermi–Dirac distributions, respectively. A comparison of the rates of each sub-process (for the loss-terms) are shown in Tables 3 and 4, again for the different distributions. The explicit expression of the integrated collision kernels are shown in Appendix C.2. As can be seen in the tables, the rates coincides well for \(f_{\textrm{C}}\), while for \(f_{\mathrm {BE/FD}}\) they are within \(\sim 10\%\) of the numerical results. This can be attributed to the cutoff \(p_{\textrm{min}}\) which effectively changes the value of \(m_{g/q}^2\) that we extract in Alpaca, while this shift in screening mass is not included in the numerical results.
(iii) Lastly, we compare the implementation of \(m_s^2(\textbf{x},\textbf{p})\), described in Sect. 4.3.2 to the analytical expectations for thermal equilibrium, which for a system with both quarks and gluons are
and
These comparisons are shown in Figs. 2 and 3. The numerical values are extracted directly after initialisation when the partons all have the same observer time and the complication due to causality violation mentioned above is absent. As shown in Fig. 3, the mean value converges to the analytical expectation for both quarks and gluons, however, it requires a rather large number of particles to be included in the calculation. Approximating partons using Gaussian distributions (see Sect. 4.4.3) instead of Dirac delta functions might improve on this convergence rate. In Fig. 4 the scaling behaviour of the extracted \(m_s^2\) against different temperatures can be seen.
Finally, a comparison of \(f(\textbf{x},\textbf{p})\) can be seen in Fig. 5, which is shown to converge well to the analytical expectation.
All runs in this section are initialized in a box with volume \(V_x=7.6^3\) \(\textrm{GeV}^{-3}\) and \(\alpha _s = 0.04\).
4.4 Quasi-collinear splitting and merging processes
The effective “\(1\leftrightarrow 2\)” splitting/merging rates have been obtained to leading order in [55] in terms of solutions to a linear integral equation. An explicit analytical solution has been found in [56] for very energetic partons, where the LPM effect dominates the dynamics. In the incoherent Bethe–Heitler limit it is also possible to find an analytical solution. Between these two limiting cases no analytical solution is known. We here use an interpolation that reproduces the analytical results in the Bethe–Heitler and LPM regimes and agrees well with numerical solutions between them. Details are given in Appendix B.
As mentioned in Sect. 3, the splitting/merging rates describe the splitting (merging) of a (two) parton(s) in conjunction with an arbitrary number of coherent soft scatterings. They thus depend on the density of partons generating soft fluctuations of the background gauge field. It turns out that the phase space densities enter via a single parameter \(T_*\), which is the temperature of a system in thermal equilibrium that has the same infra-red behaviour as the system under consideration. In thermal equilibrium it thus reduces to the temperature. The extraction of \(T_*\) in Alpaca is discussed in Sect. 4.4.3.
4.4.1 Splitting
Soft scatterings within the medium can bring partons slightly off-shell which kinematically allows for them to split nearly collinearly into two new partons. The average formation time of this process coincides with the mean free time for soft elastic collisions within the medium and so all soft scatterings occurring during the formation time of the splitting have to be considered coherently. Destructive interference leads to a suppression of the splitting rate compared to the incoherent case, which is known as the LPM effect in QCD.
We here assume that subsequent splittings are independent and the time evolution of a parton undergoing repeated splitting can be formulated as a Markov chain.Footnote 8 This is a well studied problem in event generators, and a common approach to sample the occurrence of particle branchings is the Veto Algorithm.
This algorithm can be employed when the splitting probability is of the form
for a particle of species a, where x (and \(1-x\)) correspond to the fractions of energy going to the two new particles. Here, \(P_a(t,x)\) is the probability for the particle to split at time t with energy fraction x, \(N_a(t)\) is the probability that a particle of species a has not split yet at t, also known as the Sudakov factor, and \(h_a(t,x)\) is the instantaneous splitting probability (density) at t and x. We solve the splittings in Alpaca by using an overestimate version of the Veto Algorithm. This means the following: We find an overestimate \(\tilde{h}_a(t,x)\ge h_a(t,x)\) of the instantaneous splitting probability and then use \(\tilde{h}_a(t) = \int \tilde{h}_a(t,x)dx\) to sample \(t_{\textrm{split}}\). The energy fraction x is then sampled uniformly between \(x_\textrm{min}\) and \(x_\textrm{max}\). The draw is accepted or rejected based on the ratio \(h_a(t,x)/\tilde{h}_a(t,x)\). If the splitting is rejected we do not reset in time, but set the previously sampled \(t_{\textrm{split}}\) to be our new initial time, and redo the sampling of splitting time and energy fraction until we find a splitting that is accepted. When multiple decay channels are available, \(t_\textrm{split}\) is sampled from the sum of the corresponding splitting probabilities, and the correct decay channel is selected based on the ratio of the splitting probabilities, once the splitting has been accepted.
To implement this algorithm, two quantities are needed: \(h_a(t,x)\) and an overestimate \(\tilde{h}_a(t,x)\ge h_a(t,x)\). We have previously defined the number of particles of species a in a phase space volume \(d^6\xi \) at time dt in Eq. (29), and the number of particles of species a leaving \(d^6\xi \) during dt in Eq. (31). Hence, the (total) instantaneous splitting probability for a particle in \(d^6\xi \) of species a during time dt is
The term in the splitting/merging kernel, Eq. (15), which corresponds to a particle of species a with momentum \(\textbf{p}\) splitting to two particles with momentum \(\mathbf {p'}\) and \(\mathbf {k'}\) in terms of the quasi-collinear branching rate \(\gamma ^a_{bc}\) is
and so
The instantaneous splitting probability as a function of x is then extracted from Eq. (41) as
In Appendix B a detailed account of how to calculate \(\gamma ^a_{bc}\) is given, and an overestimate of the instantaneous splitting probability given above can be found in Appendix C.3. Note that the overestimates of \(h_a(x)\) depend on \(T_*\), which we assume does not change significantly over our relevant timescales. Hence, for the overestimates we sample \(T_*\) at current \(\tau \) (again taking the system to constant observer time using the same procedure as for the effective masses) and multiply with some fixed numerical factor \(c>1\) such that our overestimate effective temperature is \(cT_*\). The effective temperature is then re-calculated at \(\tau _{\textrm{split}}\) when evaluating \(h_a(x)\).
The quantities \(h_a(x)\) and \(\tilde{h}_a(x)\) are used in the Veto Algorithm to sample x and \(t_{\textrm{split}}\), as described in the beginning of this section, and this gives us a corresponding \(\tau _{\textrm{split}}\). Once a \(\tau _{\textrm{split}}\) is found, a formation time \(t_{\textrm{form}}\) is calculated according to the corresponding expression given in [23],
A \(\Delta \tau \) interval of length \(\tau _{\textrm{form}}\) corresponding to \(t_{\textrm{form}}\) is placed around \(\tau _{\textrm{split}}\) such that \(\tau _{\textrm{split}}\) is distributed uniformly in the interval. During this formation time the particle cannot scatter elastically or quasi-collinearly merge because elastic scattering during the formation time is re-summed in the splitting kernel and hard elastic scattering and merging are parametrically rare so that neglecting them does not affect the theory’s accuracy. When the parton later splits at \(\tau _{\textrm{split}}\) two new partons are created with kinematics following the massless case of final-state emitter and final-state spectator of Sherpa’s Catani–Seymour shower described in [58], and they are assigned the remaining formation time of the original particle. The splitting probabilities \(h_a(x)\) does not factor in any relative transverse momentum \(k_\perp \) for the new parton pair, since they are derived from the AMY collision kernel which assumes a nearly exactly collinear process. Deviating slightly from this assumption, we allow for a small \(k_\perp \) for the new parton pair sampled from the soft gluon spectrum \(dk_\perp ^2/(k_\perp ^2+k_{\perp , \textrm{reg}}^2)\) for some fixed \(k_{\perp , \textrm{reg}}^2 \ll 1\). The recoil is absorbed by an additional parton such that all partons remain on-shell. This recoil parton is chosen as the (spatially) closest located parton to the parton splitting (which in addition allows the outgoing partons to all have a momentum larger than our cutoff \(p_{\textrm{min}}\)).
4.4.2 Merging
In the case of evaluating if two particles merge our initial state is a pair, and so we cannot utilize the same methods as we have for particles splitting. Instead, we derive an effective cross section from the merging rate and follow the same approach that we use for elastic scatterings, i.e. to evaluate if two particles merge we consider their Lorentz invariant distance \(d_ {ij}^2\) at their closest approach, and if it falls within the effective cross section of merging. In Appendix C.4 it is shown that the quasi-collinear splitting rate, \(\gamma ^a_{bc}\), is related to the effective matrix element \(|\mathcal {M}^a_{bc}|^2\) through
It follows, by definition, that for two particles of momentum \(\textbf{p}\) and \(\textbf{k}\) merging into a particle \(\mathbf {p'}\) the differential cross section can be expressed as
with
being the phase space measure for the outgoing particle. The resulting cross section is then
where \(k_\perp ^2\) is the relative transverse momentum between \(\textbf{p}\) and \(\textbf{k}\). The Dirac delta present in the cross section enforces the exact collinearity of the merging processes, which would be the only kinematically allowed merging in vacuum. As with the splitting however, we circumvent this condition by introducing a recoil parton to absorb the transverse momentum. Hence, our merging process will allow partons with a non-zero \(k_\perp \) to merge. We relate the Dirac-delta to the \(k_\perp ^2\)-distribution used for sampling splittings as \(\delta (k_\perp ^2) \rightarrow f(k_\perp ^2)/2\) where
is the \(k_\perp ^2\)-distribution normalised to unity and we pick up a factor of 1/2 since \(\delta (k_\perp ^2)\) is not defined for \(k_\perp ^2 < 0\) and so only integrates to 1/2. This gives us our final expression of the merging cross section,
As in the case of elastic scattering the merging rates \(\gamma \) depend on the local quantity \(T_*\) and the kernels also contain Bose enhancement/Pauli blocking factors, which we deal with in the same way as before: when integrating the effective cross section we overestimate the merging rate and the Bose enhancement/Pauli blocking factors and later reject mergings with the ratio of the true to and the overestimated effective cross section.
To calculate the cross section at the closest approach for a parton pair the energy fraction x is also needed, for which we use the Lorentz-invariant definition
where \(P^\mu \) and \(K^\mu \) are the 4-momenta of the incoming partons, and \(R^\mu \) is the 4-momentum of the recoiler, as in [58].
As mentioned earlier, since the splitting rate is infra-red divergent we have to introduce a small cut-off in x. For consistency we apply the same cut-off to the merging rate. This does not compromise the theory’s accuracy.Footnote 9
Once a closest approach which falls within the cross section of the merging is found, a formation time is assigned to the particle pair in the same manner as for a splitting parton, see Sect. 4.4.1. If the merging is accepted in the rejection step to correct to the true cross section, the momenta are updated following (inversely) the massless case of final-state emitter and final-state spectator in [58], where the final-state spectator, or recoil parton, is chosen to be the parton with the closest spatial distance to the merging pair (that also allow for kinematics where no parton ends up with \(p<p_{\textrm{min}}\)). The remainder of the formation time of the original pair is also assigned to the new parton.
4.4.3 The effective temperature \(T_*\)
In the quasi-collinear splitting/merging rate \(\gamma \) the quantity \(T_*\) appears as a local variable (see Appendix B), this is the effective temperature at which an equilibrium system would have the same soft elastic scattering rate as the system under consideration. The definition of \(T_*\) averaged over a spatial volume V is given by
where we note that the denominator is equal to \(m_g^2\), and the integrals again have to be calculated at fixed observed time and in the local rest frame. Our prescription to extract \(T_*\) locally follows along the lines of the method used to find \(m_{g/q}^2\), see Sect. 4.3.2, though with a key difference. In our treatment of \(m_{g/q}^2\) we considered all particles to be point-like, an assumption that for \(T_*\) introduces problems with squared Dirac delta terms of the same variables. To remedy this we instead consider partons as Gaussian distributions with width \(\sigma _\textbf{p}\) and \(\sigma _\textbf{x}\) in the phase space density, i.e.
where the sum is over all partons i of species a. Assuming \(\sigma _{i,\textbf{x}}=\sigma _\textbf{x}\) and \(\sigma _{i,\textbf{p}}=\sigma _\textbf{p}\) for all partons i, we have for \(m_g^2T_*\) that
with \(\sigma _{\textbf{x}}\sigma _{\textbf{p}}\ge 1/2\) due to the uncertainty principle. With \(T_*\) expressed as above we can proceed to extract it locally in the same manner as in Sect. 4.3.2. We include the \(N_{\textrm{inc}}\) closest particles, where each particle i contributes with a term
and each particle pair i, j of the same species s adds a term
4.4.4 The thermal equilibrium case
To verify the implementation of the splitting/merging kernel in Alpaca we once again utilize the simplicity of an infinite thermalized system. Since the splitting and merging rates are controlled by \(T_*\), which only equals T for \(f_{BE/FD}\), we will mainly focus our analysis to this initial distribution in the rest of this section, with the exception of looking at fixed \(\gamma \). We will verify the following:
-
(i)
The total splitting and merging rates \(dN_{\textrm{split}}/dt\) and \(dN_{\textrm{merge}}/dt\) are equal, and correspond to independently extracted numerical values.
-
(ii)
The effective temperature \(T_*\) is extracted so that it matches the analytical expected value.
The effects of formation time are not of interest for these verifications, since we do not run inelastic and elastic processes simultaneously here, and so formation time for both splitting and merging have been set to zero.
(i) It follows from Eq. (31) that for an isotropic system the splitting rate can be related to the collision kernel as
For the case of a purely gluonic system with constant \(\gamma ^g_{gg}\) and no Bose enhancement it follows that the splitting and merging rates will not be the same for \(f_{\mathrm {BE/FD}}\). Hence, we instead consider the same scenario for \(f=f_{\textrm{C}}\), where it follows that
The thermal equilibrium splitting and merging rates have been examined in Alpaca for fixed \(\gamma \) in a gluonic system with no Bose-terms through a scan of the parameter space and the results are shown in Fig. 6. As can be seen, the rates deviate from the analytical value given above. This follows from the fact that the system relaxes to a different distribution when no Bose enhancement is included. The new distribution that the system relaxes into is extracted at the end of the run and used in Eq. (56) to find the corresponding expected splitting/merging rate, which our results fall within errors of.
We have also looked at the case of a dynamic \(\gamma \), extracted as described in Appendix B for a purely gluonic system with \(f=f_{\textrm{BE}}\). The result of this is found in Fig. 7 and shown to correspond well with the (independently) numerically extracted rate.
(ii) The thermal equilibrium provides us with a simple analytical solution to \(T_*\) for \(f_{\mathrm {BE/FD}}\), which is
The convergence of the extracted \(T_*\) towards the analytical expectation w.r.t. the number of included particles is shown in Fig. 8. Note that it converges slower than \(m_s^2\). This is due to the different implementation for extracting the numerator of \(T_*\) compared to the denominator \(m_g^2\). The probability distribution of the extracted \(T_*\), including a fixed number of particles, is shown in Fig. 9. The width of the distribution is due to the discrete sampling of \(f_{\mathrm {BE/FD}}\), and will not decrease by increasing number of events. Lastly, a scan over different temperatures has been done to ensure that the effective temperature exhibits the correct scaling behaviour, as it is shown to do in Fig. 10. All values for \(T_*\) shown in this section are extracted at initial \(\tau \) in systems with box volume \(V_x = 7.6^3\) \(\textrm{GeV}^{-3}\).
4.5 Putting everything together
Having verified all relevant parts of our implementation separately, we now proceed to the final verification, which is to combine all the pieces and let it run over longer timescales to ensure the dynamics of the system are correct, allowing it to remain in a thermal equilibrium.
There are two caveats to this long run though. Firstly, we have introduced a global cutoff in momentum, \(p_{\textrm{min}}\), which no particle is initialized below, and each process which produces outgoing momenta \(k<p_{\textrm{min}}\) is resampled until \(k \ge p_{\textrm{min}}\). This means that the we cannot expect our system to relax exactly into \(f_{\mathrm {BE/FD}}\). Hence, we initialize our system using a shifted initial distribution,
This causes the analytical values of \(m_{g/q}^2\) and \(T_*\) to shift compared to the regular Bose–Einstein and Fermi–Dirac case as well, and we extract them separately numerically to compare to our results in Alpaca.
Secondly, as mentioned in Sect. 4.3.2, during the evolution the state of the system is known at fixed \(\tau \), which means that all particles have different times. But the effective masses \(m_{g/q}^2\) and temperature \(T_*\) have to be calculated at fixed time. The evolution of particles with later times than the required time can be backtraced. Since the future of particles with times earlier than the required time is still unknown, we let these particles free stream to the required time. This does, however, introduce a bias since splittings tend to take place at earlier \(\tau \) than merging.Footnote 10
The problem outlined above can be solved in an iterative fashion, by first running an event with \(m_{g/q}^2\), \(T_*\) and f(p) extracted with the currently available particles at any given \(\tau \). When the times \(t_i\) for all particles i have passed some \(t_{\textrm{max}}\), the run ends, and the history of position, momenta and flavour for each particle over all t is saved. The system is then restarted and initialized with the same initial distribution that was sampled during the first event. During the course of the second event, \(m_{g/q}^2\), \(T_*\) and f(p) at any given t is then extracted at fixed time t using the history of the particles from the previous run. The increase/decrease of the dynamic quantities in the first run will affect the dynamics of the evolution, and so the values extracted in the second run will not be exactly correct, though it will iteratively converge toward the correct values by repeating the same procedure, always extracting the dynamic values from the previous run. However, though this procedure should converge in an equilibrium setting there is no guarantee that it will for a system initialized out of equilibrium. A possible solution to remedy this for non-equilibrium systems could instead be to utilize the Lorentz invariant parton cascade setup presented in [45], which is a modified version of what is described in Sect. 2. The study of non-equilibrium distributions is however left for future publications.
In this chapter we present the results side by side from a run without iteration and a run with one iteration step. We define these cases as \(N_{\textrm{iter}}=0\) and \(N_{\textrm{iter}}=1\) respectively.
For the full run presented in this chapter the following is set/included.
-
Initialized with both gluons and quarks using \(f_{\mathrm {BE/FD, shift}}\), \(T = 0.4\) GeV, \(p_{\textrm{min}}=0.1\) GeV, \(\alpha _s = 0.04\), box volume \(V_x = 7.6^3\) \(\textrm{GeV}^{-3}\), \(t_{\textrm{min}} = 0\) \(\textrm{GeV}^{-1}\) and \(t_{\textrm{max}} = 1000\) \(\textrm{GeV}^{-1}\), for 100 separate runs with different initial configurations.
-
All channels in \(2\rightarrow 2\) elastic scattering are allowed and evaluated including Bose/Pauli factors.
-
All channels in \(1\rightarrow 2\) inelastic splitting/merging are allowed and evaluated including Bose/Pauli factors.
-
The quantities \(m_{g/q}^2\), \(T_*\) and f(p) are extracted dynamically from the parton ensemble in each run. In the run where \(N_{\textrm{iter}}=1\), the quantities are extracted using the parton position and momentum history from a previous run.
-
Formation times are included for splitting and merging.
The resulting distributions that the system relaxes into for gluons and quarks is shown in Fig. 11. As can be seen there, for gluons there is no significant difference in distribution at the end compared to the start, apart from a small drop in amplitude which can be attributed to the number of particles oscillating around the initial value, see Fig. 12. For quarks the distribution is shifted slightly to larger energies, as can also be observed Fig. 13, but is still within error bars of the original distribution.
In Table 5 we see the mean splitting/merging rate over time. The total rates for inelastic splitting and merging are consistent with each other, for both the non-iterative and iterative runs, with a slight decrease in the rate for the latter (which can be attributed to a shift in \(T_*\), see below). We also see that detailed balance is preserved as the average splitting and merging rates for each channel overlap within errors. The total scattering rates for the two different runs can be found in Table 6, and we see an increase for \(N_{\textrm{iter}}=1\) as expected, since too large \(m_{g/q}^2\) (see below) will suppress the scattering rate.
The rates are also visualized in Fig. 14 as number of scatterings, splittings and mergings as functions of time. No significant variation over time is observed, with the exception of a moderate increase of the scattering rate at early times, which could be due to the system settling into its actual equilibrium configuration (something similar can be seen in \(T_*\), cf. Fig. 16). The corresponding mean free time per particle for elastic scattering is \(t_{\textrm{free, scatter}} = 38(3)\) \(\textrm{GeV}^{-1}\) and \(t_{\mathrm {free, split/merge}} = 53 (4)\) \(\textrm{GeV}^{-1}\) for the non-iterative case, and \(t_{\textrm{free, scatter}} = 28 (2)\) \(\textrm{GeV}^{-1}\) and \(t_{\mathrm {free, split/merge}} = 57 (4)\) \(\textrm{GeV}^{-1}\) for the case of one iteration.
Figure 12 shows that the total number of particles stays reasonably constant around the initialized values. In Fig. 13 the average energy per particle is shown to increase slightly for both the iterative and non-iterative runs, though seemingly remaining more constant in the latter case once the new equilibrium has been found.
Lastly, as discussed in the beginning of this section, we observe a drastic change in \(m_{g/q}^2\) and \(T_*\) within the first \(\Delta t = 100\) \(\textrm{GeV}^{-1}\) in Figs. 15 and 16. As the particles spread out more in t the system settles into extracting too large values for \(m_{g/q}^2\) and consequently too low values \(T_*\) for the non-iterative case. For the case of just one iteration, we see how the correct value of both \(m_{g/q}^2\) and \(T_*\) is extracted, within oscillations. Since the effective masses and temperature are consistent with the true values after just one iteration, it can be expected that further iterations will not lead to significant changes in the evolution. When the true values are not known, one has to find out how many iterations are needed by comparing the results from subsequent iterations.
To summarize, when running our system initialized in an infinite thermal equilibrium, with all relevant quantities needed to faithfully reproduce the AMY Kinetic Theory extracted dynamically during the run, the system remains in this equilibrium (up to small oscillations in particle number and minor shifts in average energy per particle).
5 Conclusions
The AMY effective kinetic theory of QCD at high temperatures has been successfully applied to various aspects of heavy ion collisions and is a natural candidate for the description of small collisions systems. We therefore believe it is time to turn it into a phenomenology tool by constructing a Monte Carlo event generator that solves the AMY Boltzmann equations by explicit simulation. Monte Carlo event generators have the advantage that in principle any observable can be calculated from an event sample (instead of having to do a new calculation for each observable) and that results can be directly compared to experimental data.
We have introduced the parton cascade Alpaca as a part of the multi-purpose event generator Sherpa. Alpaca encodes the AMY collision kernels in a Lorentz invariant framework for simulating the dynamics of multi-particle systems. The ensemble average is thus a solution of the Boltzmann equation. Frame independence is achieved by ordering collision and splitting events not in a frame dependent observer time but in a frame independent generalised time [44].
The partons can undergo elastic scattering and effective quasi-collinear splitting or merging, where in the latter coherent multiple soft scattering during the formation has to be taken into account. Both types of processes, elastic and inelastic, depend on the phase space densities of partons through the effective masses \(m_g\) and \(m_q\) related to screening effects in the medium and the effective temperature \(T_*\). These quantities are local in position space but require integration over the momentum. We show that an estimate of the effective masses and temperature can be obtained from a single event without the need to provide further information about the phase space densities. In thermal equilibrium the analytical values are recovered with increasing precision as more and more partons are included in the estimate. However, in order to get an accurate value a large number of up to 30 particles has to be included. It remains to be seen whether this is good enough for out-of-equilibrium systems. In a similar way estimates of the local phase space density needed for Bose enhancement and Pauli blocking factors can be obtained.
To further validate the Alpaca framework we show that in thermal equilibrium
-
the elastic scattering rate for fixed cross section exhibits the expected scaling with temperature, volume and cross section
-
the effective masses have the correct value and the expected dependence on temperature
-
the elastic scattering rates with dynamical matrix elements reproduce the expected results within a few percent
-
for fixed \(\gamma \) the splitting/merging rate exhibits the expected scaling with \(\gamma \), temperature and volume
-
the effective temperature scales as expected with temperature
-
with dynamical \(\gamma \) the splitting and merging rates are the same and agree well with numerical results
-
when putting everything together and running over longer time scales the system remains in thermal equilibrium
This gives us confidence that Alpaca indeed faithfully reproduces the AMY dynamics. Going from thermal equilibrium to out-of-equilibrium systems requires only small extensions. The next step will thus be to apply Alpaca to out-of-equilibrium systems to study equilibration and to the modeling of heavy ion collisions.
Data availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The code will be made available after some clean-up and better integration into the current Sherpa code.]
Notes
A similar way of formulating a Lorentz invariant parton cascade has recently been proposed in [45].
This is possible since it only requires that the motion of the centre-of-momentum decouples from the rest, which is satisfied for any number of particles.
This corresponds to the black disk approximation of the cross section. The generalisation to more sophisticated models is straightforward. We have tested a Gaussian shape for the scattering probability, but did not observe significant differences.
This is a standard Monte Carlo method known as multi-channel accept/reject.
This can be seen by slicing each side of a solid cube in a grid of 9 evenly sized cells. Slicing through each side (excluding the opposite side of one that has already been sliced) will result in the original cube being divided into 27 evenly sized smaller cubes. The small cube in the middle of the original cube then has 26 neighbours.
The effective temperature will not relax into the actual temperature if the quantum effects are not present in the distribution.
Possible interference effects in subsequent radiation processes with overlapping formation times are discussed in [57] (and references therein)
As pointed out in [23] in the infra-red the divergent rates cancel between gain and loss terms. However, in the parton cascade splitting and merging are algorithmically different processes and we can therefore not rely on this cancellation and have to regularise the rates in the infra-red instead.
Since high energy particles are more likely to split while low energy particles are more likely to merge, we will at any fixed tau on average have had more splittings than mergings following Eq. (9). For any fixed t, the number of particles is the same on average, but at fixed \(\tau \) there are on average more particles in the system. This is not fully corrected by letting earlier particles free-stream and hence, when calculating screening masses and effective temperature in this way we have an slightly more particles in the system than we should have. This increases the value of \(m_{g/q}^2\) which in turn increases \(T_*\).
Other rectangular box shapes can be obtained in the same way, but have no advantage above the cubic box.
In practice there is no guarantee that \({\bar{\tau }}_{ij}\) increases strictly from point to point that gets checked, so it is advisable to check also the next few points after a scattering has been found to make sure that there is no scattering with smaller \({\bar{\tau }}_{ij}\).
For the interesting special case of \(d_A = 8\), \(C_A = 3\), \(N_f = 3\), \(C_F = 4/3\), i.e. QCD with three flavours of quarks, the ration of the effective masses of quarks and gluons in independent of the phase space density and given by \(m_g^2/m_q^2 = 9/4\).
The Green’s function of the free equation is \(G_M(b,b_0) = \frac{I_1(Mb)}{b} \frac{K_1(Mb_0)}{b_0} \Theta (b_0-b) + \frac{I_1(Mb_0)}{b_0} \frac{K_1(Mb)}{b} \Theta (b-b_0)\). Using the Green’s function the small \(\eta \) solution can be written as \(\Im (f_0) = \frac{1}{\pi } i \eta b^3 \int _0^\infty \text {d}b\, [C_{s_3s_1}^{s_2} C(bx/M) + C_{s_1s_2}^{s_3} C(b(1-x)/M) + C_{s_2s_3}^{s_1} C(b/M)] \times \frac{K_1(b)}{b}G_1(b,0)\).
The expression here differs from that of [56] by \(\log (x) \rightarrow \log (x + 1)\). The finite shift of the argument of the log does not affect the Next to Leading Logarithmic order but makes the expression well behaved at small values of \(\eta \).
References
S. Schlichting, D. Teaney, The first fm/c of heavy-ion collisions. Annu. Rev. Nucl. Part. Sci. 69, 447–476 (2019). https://doi.org/10.1146/annurev-nucl-101918-023825. arXiv:1908.02113 [nucl-th]
P.M. Chesler, W. Schee, Early thermalization, hydrodynamics and energy loss in AdS/CFT. Int. J. Mod. Phys. E 24(10), 1530011 (2015). https://doi.org/10.1142/S0218301315300118. arXiv:1501.04952 [nucl-th]
H. Song, S.A. Bass, U. Heinz, Elliptic flow in 200 A GeV Au+Au collisions and 2.76 A TeV Pb+Pb collisions: insights from viscous hydrodynamics + hadron cascade hybrid model. Phys. Rev. C 83, 054912 (2011). https://doi.org/10.1103/PhysRevC.83.054912. arXiv:1103.2380 [nucl-th] [Erratum: Phys. Rev. C 87, 019902 (2013)]
H. Song, S. Bass, U.W. Heinz, Spectra and elliptic flow for identified hadrons in 2.76A TeV Pb + Pb collisions. Phys. Rev. C 89(3), 034919 (2014). https://doi.org/10.1103/PhysRevC.89.034919. arXiv:1311.0157 [nucl-th]
P. Romatschke, U. Romatschke, Viscosity information from relativistic nuclear collisions: how perfect is the fluid observed at RHIC? Phys. Rev. Lett. 99, 172301 (2007). https://doi.org/10.1103/PhysRevLett.99.172301. arXiv:0706.1522 [nucl-th]
C. Ratti, Lattice QCD and heavy ion collisions: a review of recent progress. Rep. Prog. Phys. 81(8), 084301 (2018). https://doi.org/10.1088/1361-6633/aabb97. arXiv:1804.07810 [hep-lat]
A. Bazavov et al., Equation of state in (2+1)-flavor QCD. Phys. Rev. D 90, 094503 (2014). https://doi.org/10.1103/PhysRevD.90.094503. arXiv:1407.6387 [hep-lat]
J. Adams et al., Experimental and theoretical challenges in the search for the quark gluon plasma: the STAR Collaboration’s critical assessment of the evidence from RHIC collisions. Nucl. Phys. A 757, 102–183 (2005). https://doi.org/10.1016/j.nuclphysa.2005.03.085. arXiv:nucl-ex/0501009
K. Adcox et al., Formation of dense partonic matter in relativistic nucleus-nucleus collisions at RHIC: experimental evaluation by the PHENIX collaboration. Nucl. Phys. A 757, 184–283 (2005). https://doi.org/10.1016/j.nuclphysa.2005.03.086. arXiv:nucl-ex/0410003
I. Arsene et al., Quark gluon plasma and color glass condensate at RHIC? The perspective from the BRAHMS experiment. Nucl. Phys. A 757, 1–27 (2005). https://doi.org/10.1016/j.nuclphysa.2005.02.130. arXiv:nucl-ex/0410020
B.B. Back et al., The PHOBOS perspective on discoveries at RHIC. Nucl. Phys. A 757, 28–101 (2005). https://doi.org/10.1016/j.nuclphysa.2005.03.084. arXiv:nucl-ex/0410022
N. Armesto, E. Scomparin, Heavy-ion collisions at the large hadron collider: a review of the results from Run 1. Eur. Phys. J. Plus 131(3), 52 (2016). https://doi.org/10.1140/epjp/i2016-16052-4. arXiv:1511.02151 [nucl-ex]
P. Foka, M.A. Janik, An overview of experimental results from ultra-relativistic heavy-ion collisions at the CERN LHC: bulk properties and dynamical evolution. Rev. Phys. 1, 154–171 (2016). https://doi.org/10.1016/j.revip.2016.11.002. arXiv:1702.07233 [hep-ex]
J.L. Nagle, W.A. Zajc, Small system collectivity in relativistic hadronic and nuclear collisions. Annu. Rev. Nucl. Part. Sci. 68, 211–235 (2018). https://doi.org/10.1146/annurev-nucl-101916-123209. arXiv:1801.03477 [nucl-ex]
S. Schlichting, P. Tribedy, Collectivity in small collision systems: an initial-state perspective. Adv. High Energy Phys. 2016, 8460349 (2016). https://doi.org/10.1155/2016/8460349. arXiv:1611.00329 [hep-ph]
P.M. Chesler, L.G. Yaffe, Boost invariant flow, black hole formation, and far-from-equilibrium dynamics in N = 4 supersymmetric Yang-Mills theory. Phys. Rev. D 82, 026006 (2010). https://doi.org/10.1103/PhysRevD.82.026006. arXiv:0906.4426 [hep-th]
M.P. Heller, R.A. Janik, P. Witaszczyk, The characteristics of thermalization of boost-invariant plasma from holography. Phys. Rev. Lett. 108, 201602 (2012). https://doi.org/10.1103/PhysRevLett.108.201602. arXiv:1103.3452 [hep-th]
P.M. Chesler, L.G. Yaffe, Holography and colliding gravitational shock waves in asymptotically AdS\(_{5}\) spacetime. Phys. Rev. Lett. 106, 021601 (2011). https://doi.org/10.1103/PhysRevLett.106.021601. arXiv:1011.3562 [hep-th]
J. Casalderrey-Solana, M.P. Heller, D. Mateos, W. Schee, From full stopping to transparency in a holographic model of heavy ion collisions. Phys. Rev. Lett. 111, 181601 (2013). https://doi.org/10.1103/PhysRevLett.111.181601. arXiv:1305.4919 [hep-th]
R. Baier, A.H. Mueller, D. Schiff, D.T. Son, ‘Bottom up’ thermalization in heavy ion collisions. Phys. Lett. B 502, 51–58 (2001). https://doi.org/10.1016/S0370-2693(01)00191-5. arXiv:hep-ph/0009237
R. Baier, A.H. Mueller, D. Schiff, D.T. Son, Does parton saturation at high density explain hadron multiplicities at RHIC? Phys. Lett. B 539, 46–52 (2002). https://doi.org/10.1016/S0370-2693(02)02037-3. arXiv:hep-ph/0204211
J. Berges, K. Boguslavski, S. Schlichting, R. Venugopalan, Turbulent thermalization process in heavy-ion collisions at ultrarelativistic energies. Phys. Rev. D 89(7), 074011 (2014). https://doi.org/10.1103/PhysRevD.89.074011. arXiv:1303.5650 [hep-ph]
P.B. Arnold, G.D. Moore, L.G. Yaffe, Effective kinetic theory for high temperature gauge theories. JHEP 01, 030 (2003). https://doi.org/10.1088/1126-6708/2003/01/030. arXiv:hep-ph/0209353 [hep-ph]
A. Kurkela, Y. Zhu, Isotropization and hydrodynamization in weakly coupled heavy-ion collisions. Phys. Rev. Lett. 115(18), 182301 (2015). https://doi.org/10.1103/PhysRevLett.115.182301. arXiv:1506.06647 [hep-ph]
A. Kurkela, A. Mazeliauskas, J.-F. Paquet, S. Schlichting, D. Teaney, Effective kinetic description of event-by-event pre-equilibrium dynamics in high-energy heavy-ion collisions. Phys. Rev. C 99(3), 034910 (2019). https://doi.org/10.1103/PhysRevC.99.034910. arXiv:1805.00961 [hep-ph]
A. Kurkela, U.A. Wiedemann, B. Wu, Opacity dependence of elliptic flow in kinetic theory. Eur. Phys. J. C 79(9), 759 (2019). https://doi.org/10.1140/epjc/s10052-019-7262-x. arXiv:1805.04081 [hep-ph]
A. Kurkela, U.A. Wiedemann, B. Wu, Flow in AA and pA as an interplay of fluid-like and non-fluid like excitations. Eur. Phys. J. C 79(11), 965 (2019). https://doi.org/10.1140/epjc/s10052-019-7428-6. arXiv:1905.05139 [hep-ph]
A. Kurkela, A. Mazeliauskas, R. Törnkvist, Collective flow in single-hit QCD kinetic theory. JHEP 11, 216 (2021). https://doi.org/10.1007/JHEP11(2021)216. arXiv:2104.08179 [hep-ph]
V.E. Ambrus, S. Schlichting, C. Werthmann, Development of transverse flow at small and large opacities in conformal kinetic theory. Phys. Rev. D 105(1), 014031 (2022). https://doi.org/10.1103/PhysRevD.105.014031. arXiv:2109.03290 [hep-ph]
E. Bothmann et al., Event generation with Sherpa 2.2. SciPost Phys. 7(3), 034 (2019). https://doi.org/10.21468/SciPostPhys.7.3.034. arXiv:1905.09127 [hep-ph]
K. Geiger, B. Muller, Dynamics of parton cascades in highly relativistic nuclear collisions. Nucl. Phys. B 369, 600–654 (1992). https://doi.org/10.1016/0550-3213(92)90280-O
K. Geiger, R. Longacre, D.K. Srivastava, VNI version 4.1: simulation of high-energy particle collisions in QCD: Space-time evolution of e+ e\(-\) –> A + B collisions with parton cascades, parton hadron conversion, final-state hadron cascades (1998). arXiv:nucl-th/9806102
B. Zhang, ZPC 1.0.1: a parton cascade for ultrarelativistic heavy ion collisions. Comput. Phys. Commun. 109, 193–206 (1998). https://doi.org/10.1016/S0010-4655(98)00010-1. arXiv:nucl-th/9709009
D. Molnar, M. Gyulassy, New solutions to covariant nonequilibrium dynamics. Phys. Rev. C 62, 054907 (2000). https://doi.org/10.1103/PhysRevC.62.054907. arXiv:nucl-th/0005051
S.A. Bass, B. Muller, D.K. Srivastava, Parton rescattering and screening in Au + Au collisions at RHIC. Phys. Lett. B 551, 277–283 (2003). https://doi.org/10.1016/S0370-2693(02)03068-X. arXiv:nucl-th/0207042
Z. Xu, C. Greiner, Transport rates and momentum isotropization of gluon matter in ultrarelativistic heavy-ion collisions. Phys. Rev. C 76, 024911 (2007). https://doi.org/10.1103/PhysRevC.76.024911. arXiv:hep-ph/0703233
V. Borchers, J. Meyer, S. Gieseke, G. Martens, C.C. Noack, A Poincare covariant parton cascade model for ultrarelativistic heavy ion reactions. Phys. Rev. C 62, 064903 (2000). https://doi.org/10.1103/PhysRevC.62.064903. arXiv:hep-ph/0006038
G.R. Shin, B. Muller, A relativistic parton cascade with radiation. J. Phys. G28, 2643–2656 (2002). https://doi.org/10.1088/0954-3899/28/10/309. arXiv:nucl-th/0207041
G.L. Ma, S. Zhang, Y.G. Ma, H.Z. Huang, X.Z. Cai et al., Di-hadron azimuthal correlation and mach-like cone structure in parton/hadron transport model. Phys. Lett. B 641, 362–367 (2006). https://doi.org/10.1016/j.physletb.2006.09.001. arXiv:nucl-th/0601012 [nucl-th]
C. Zhang, L. Zheng, F. Liu, S. Shi, Z.-W. Lin, Update of a multiphase transport model with modern parton distribution functions and nuclear shadowing. Phys. Rev. C 99(6), 064906 (2019). https://doi.org/10.1103/PhysRevC.99.064906. arXiv:1903.03292 [nucl-th]
D. Molnar, How AMPT generates large elliptic flow with small cross sections (2019). arXiv:1906.12313 [nucl-th]
Z.-W. Lin, L. Zheng, Further developments of a multi-phase transport model for relativistic nuclear collisions. Nucl. Sci. Tech. 32(10), 113 (2021). https://doi.org/10.1007/s41365-021-00944-5. arXiv:2110.02989 [nucl-th]
D.G. Currie, T.F. Jordan, E.C.G. Sudarshan, Relativistic invariance and Hamiltonian theories of interacting particles. Rev. Mod. Phys. 35, 350–375 (1963). https://doi.org/10.1103/RevModPhys.35.350
G. Peter, D. Behrens, C.C. Noack, Poincare covariant particle dynamics. I: Intranuclear cascade model. Phys. Rev. C 49, 3253–3265 (1994). https://doi.org/10.1103/PhysRevC.49.3253
Y. Nara, A. Jinno, T. Maruyama, K. Murase, A. Ohnishi, A Poincaré covariant cascade method for high-energy nuclear collisions (2023). arXiv:2306.12131 [nucl-th]
W. Chagas-Filho, Free massless particles, two time physics and Newtonian gravitodynamics (2006). arXiv:hep-th/0601117
L.D. Landau, I. Pomeranchuk, Limits of applicability of the theory of bremsstrahlung electrons and pair production at high-energies. Dokl. Akad. Nauk Ser. Fiz. 92, 535–536 (1953)
A.B. Migdal, Bremsstrahlung and pair production in condensed media at high-energies. Phys. Rev. 103, 1811–1820 (1956). https://doi.org/10.1103/PhysRev.103.1811
J. Berges, K. Boguslavski, S. Schlichting, R. Venugopalan, Universal attractor in a highly occupied non-Abelian plasma. Phys. Rev. D 89(11), 114007 (2014). https://doi.org/10.1103/PhysRevD.89.114007. arXiv:1311.3005 [hep-ph]
M.C. Abraao York, A. Kurkela, E. Lu, G.D. Moore, UV cascade in classical Yang–Mills theory via kinetic theory. Phys. Rev. D 89(7), 074036 (2014). https://doi.org/10.1103/PhysRevD.89.074036. arXiv:1401.3751 [hep-ph]
A. Kurkela, A. Mazeliauskas, Chemical equilibration in weakly coupled QCD. Phys. Rev. D 99(5), 054018 (2019). https://doi.org/10.1103/PhysRevD.99.054018. arXiv:1811.03068 [hep-ph]
J. Ghiglieri, G.D. Moore, D. Teaney, Jet-medium interactions at NLO in a weakly-coupled quark-gluon plasma. JHEP 03, 095 (2016). https://doi.org/10.1007/JHEP03(2016)095. arXiv:1509.07773 [hep-ph]
R.A. Treumann, R. Nakamura, W. Baumjohann, Relativistic transformation of phase-space distributions. Ann. Geophys. 29, 1259–1265 (2011). https://doi.org/10.5194/angeo-29-1259-2011. arXiv:1105.2120 [physics.space-ph]
H. Van Hees, Introduction to relativistic transport theory. https://itp.uni-frankfurt.de/~hees/publ/kolkata.pdf. Visited on 2023-08-28 (2022)
P.B. Arnold, G.D. Moore, L.G. Yaffe, Photon and gluon emission in relativistic plasmas. JHEP 06, 030 (2002). https://doi.org/10.1088/1126-6708/2002/06/030. arXiv:hep-ph/0204343
P.B. Arnold, C. Dogan, QCD splitting/joining functions at finite temperature in the deep LPM regime. Phys. Rev. D 78, 065008 (2008). https://doi.org/10.1103/PhysRevD.78.065008. arXiv:0804.3359 [hep-ph]
P. Arnold, O. Elgedawy, S. Iqbal, The LPM effect in sequential bremsstrahlung: gluon shower development (2023). arXiv:2302.10215 [hep-ph]
S. Schumann, F. Krauss, A parton shower algorithm based on Catani–Seymour dipole factorisation. JHEP 03, 038 (2008). https://doi.org/10.1088/1126-6708/2008/03/038. arXiv:0709.1027 [hep-ph]
Acknowledgements
The authors thank Aleksas Mazeliauskas for useful discussions. This work is part of a project that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 803183, collective QCD).
Author information
Authors and Affiliations
Corresponding authors
Appendices
Box with periodic boundary conditions in Lorentz invariant framework
The Lorentz invariant distance (squared) between to particles i and j is given by
where the positions of the particles are functions of \(\tau \)
with \(x_{0\mu }=x_\mu (\tau _0) = (t_0; \textbf{x}_0)\) and the arbitrary but fixed Lagrange multiplier \(\lambda \).
The closest approach (i.e. the minimum of \(d_{ij}^2\)) is reached for \(\tau = {\bar{\tau }}_{ij}\), which is given by
The distance of closest approach is then simply given by \(d_{ij}^2({\bar{\tau }}_{ij})\), which reduces to
From now on we drop the index \(\mu \) from four-vectors and introduce the notation [ab] for the scalar product of two four-vectors a and b. Three-vectors are denoted by boldface symbols.
We consider here a cubic boxFootnote 11 with side length L. A copy of a particle j in another cell is generated by shifting the initial position \(\textbf{x}_{0}\) along the coordinate axes by multiples of the side length L
with integer k, l, and m.
The “invariant time” of closest approach \({\bar{\tau }}_{ij}\) with shifted particle j is then given by
where \({\bar{\tau }}_{ij,0}\) is the invariant time of closest approach without shift (i.e. \(k=l=m=0\)). The invariant squared distance becomes
where \(x_{i/j}(\tau )\) refers to the particles’ positions without shift and \(d_{ij,0}^2(\tau )\) denotes the squared invariant distance without shift. Similarly, the invariant distance squared at closest approach becomes
Our task is to find the triple (k, l, m) that produces the first scattering, i.e. the first encounter with \(d_{ij}^2({\bar{\tau }}_{ij}) < \sqrt{\sigma /\pi }\). To achieve this, it is helpful to first consider k, l, and m as continuous variables that span a three-dimensional space (\({\mathbb {R}}^3\)). In this space \({\bar{\tau }}_{ij}\) is constant on planes, whose position and orientation are determined by Eq. (65). Equating this to some \(\tau _0\) and solving for m yields the value of m for which, given k and l, the invariant time of closest approach equals \(\tau _0\).
It is also worth noting that the direction of fastest increase of \({\bar{\tau }}_{ij}\) is given by \(\textbf{p}_i - \textbf{p}_j\) (the gradient of \({\bar{\tau }}_{ij}\) w.r.t. (k, l, m)).
Furthermore, in the (k, l, m) space, the invariant distance of closest approach \(d_{ij}({\bar{\tau }}_{ij})\) vanishes on a line. It can be found from the condition that the gradient (again w.r.t. (k, l, m)) vanishes. The partial derivatives of Eq. (67) are given by
For the algorithm discussed below it is advantageous to keep one variable fixed and find the minimum in that plane. Keeping m fixed, for example, one has to set Eqs. (69) and (70) to zero and solve for k and l. This yields
Similarly, one gets for fixed l
and for fixed k
Now the last missing ingredient is the point at which the line of vanishing invariant distance at closest approach intersects a plane of constant invariant time of closest approach. To find this one inserts Eq. (68) into Eq. (67) and finds the minimum w.r.t. to k and l. The partial derivatives of Eq. (67) then read
with
where
Setting Eqs. (78) and (79) equal to zero and solving for k and l yields
Inserting this into Eq. (68) one has all three coordinates of the point of vanishing \(d_{ij}^2({\bar{\tau }}_{ij})\) for a given \({\bar{\tau }}_{ij} = \tau _0\).
The strategy for finding the next scattering of a pair of particles is now to start at this point, choosing \(\tau _0\) to be the current invariant time \(\tau \) of the evolution. From this point one then moves along the line of vanishing \(d_{ij}^2({\bar{\tau }}_{ij})\) in the direction of increasing \({\bar{\tau }}_{ij}\). For the points with integer k, l and m lying closest to the line it is checked whether they lead to a scattering, i.e. whether \(d_{ij}({\bar{\tau }}_{ij}) < \sqrt{\sigma /\pi }\). The first such point is the sought after next scattering.Footnote 12 In practice, the checking of nearby points is done by imagining the (k, l, m) space to be divided into cubes the corners of which are the points with integer k, l and m. One can then move from cube to cube by calculating through which sides the line enters and leaves the cube using Eqs. (72) – (77). The corners of the cubes intersected by the line are the points that have to be checked.
Splitting/merging rates
The splitting/merging rates \(\gamma ^a_{bc}\) are products of the spin averaged Altarelli–Parisi splitting functions and a function \(\mu ^2\). For the possible splitting/merging processes one gets
where \(\eta = x(1-x)\lambda T_* p/m_g^2\) with the coupling constant given by \(\lambda = g^2N_c = 4 \pi \alpha _s N_c\). The collinear splitting/joining rates are dictated by 2-dimensional quantum mechanics in the transverse plane of the splitting particle. The rate splitting rate is related to \(\mu ^2(\eta ,x;,s_1,s_2,s_3) = \sqrt{2}(4\pi )m_g^2\textrm{Im}(f(0))\) where f is the solution to the radially symmetric two-dimensional Schrodinger equation
where \(C_{s_2s_3}^{s_1} = \frac{C_{s_2}+C_{s_3}-C_{s_1}}{C_A}\) and the boundary conditions are given by
The effective mass appearing in the equation is the mass differenceFootnote 13
The collision kernel \(\mathcal {C}\) appearing in the Schrödinger equation is given by
with
where \(m_D\) is the Debye mass.
The quantity \(\mu \) can be easily evaluated in two limits, that of small \(\eta /|{\hat{M}}^2|\) corresponding to the Bethe–Heitler limit, and the large \(\eta \) limit corresponding to the deep LPM limit [56]. The expression in the Bethe–Heitler limit readFootnote 14
with
where \(r_\pm = 1 - \frac{r}{2} \pm \frac{i}{2}\sqrt{(4-r)r}\). \(\mathcal {Q}_{\textrm{BH}}\) is shown in Fig. 17. Expanding the expression further for small x gives a particularly simple form that can easily be used in analytical estimates
In the limit \(|{\hat{M}}^2| \rightarrow 0\), to the next to leading logarithmic order,Footnote 15
with \(\xi = e^{2-\gamma _E+\pi /4} \approx 9.09916\). The transcendental depends on \(\mu \) on both sides, and needs to be solved iteratively.
For values of \(\eta \) and \(|{\hat{M}} \)| for which neither of the limits gives a good approximation, the equation can be solved numerically using We find that the numerical result is well approximated by the following interpolating function, which is indeed what we use in the simulation:
Figure 18 shows the numerical values of \(\mu \) along with the two limits and the interpolating function for the representative cases of \(\mu ^2(\eta , x = 0.5; A, A, A)\), \(\mu ^2(\eta , x = 0.5; F, A, F)\) and \(\mu ^2(\eta , x = 0.5; A, F, F)\), which corresponds to all different splitting processes at \(x = 0.5\). The interpolating function gives a good approximation of the numerical solution.
Cross sections and rates
1.1 Elastic scattering matrix elements
Purely in terms of Mandelstam variables the total cross section becomes
and we overestimate this as
Below the different matrix elements used, their overestimates and integrated expressions are presented. The prefactors \(\zeta _g = e^{5/3}/4\) and \(\zeta _q = e^2/4\) are discussed in Sect. 4.3.1. It is assumed that \(\nu _{\bar{q}} = \nu _q\). Note that the equations for \(q\bar{q}\rightarrow gg\) are not symmetric, to get the corresponding expressions for \(gg\rightarrow q\bar{q}\) one has to exchange the degeneracy factors in front as \(\nu _q^2\rightarrow \nu _g^2\).
1.2 Numerical solution of \(C[f_{\textrm{thermal}}]\)
In order to verify the elastic scattering rates of Alpaca in the thermal case with a non-constant cross section, we have numerically integrated the collision kernels given in AMY and compared the results to the scattering rates of Alpaca through the relation found in Eq. (32). We have looked separately at \(C[f]^+\) and \(C[f]^-\), which corresponds to the gain and loss terms in the collision kernel. The notation below for the coefficients is as follows, \(2_i\) is due to the particles in the initial state being indistinguishable, \(2_d\) is due to double-counting of the incoming particles, \(2_b\) is due to quark and anti-quark both contributing and \(3_f\) (or \(2_f\)) is due to the three flavours currently in Alpaca. Hence, for particles scattering out of \(\textbf{p}\) we have for gluons that the loss is
and the gain is
The factor of \(2_b\) in front of \(gq\leftrightarrow gq\) is due to that full row being equivalent to \(g\bar{q}\leftrightarrow g\bar{q}\), assuming \(f_q=f_{\bar{q}}=f_g\). For a quark of species s we have that the loss is
and the gain is
where the factor \(2_b\) on the first matrix element is due to the fact that \(q_iq_j\leftrightarrow q_iq_j\) is equivalent to \(q_i\bar{q}_j \leftrightarrow q_i\bar{q}_j\). Lastly, \(C_q^{-,2\leftrightarrow 2}[f,\textbf{p}] = C_{\bar{q}}^{-,2\leftrightarrow 2}[f,\textbf{p}]\) and \(C_q^{+,2\leftrightarrow 2}[f,\textbf{p}] = C_{\bar{q}}^{+,2\leftrightarrow 2}[f,\textbf{p}]\).
The integrals above have been solved numerically, separately from Alpaca, using Monte Carlo methods with stratified sampling, and compared to the elastic scattering rate in Alpaca through the relation shown in Eq. (32). The results of the full integration are shown in Sect. 4.3.3.
1.3 Splitting probability overestimate
To find an overestimate \(\tilde{h}_a(x)\ge h_a(x)\), with \(h_a(x)\) as defined in Eq. (42), we note the inequality relation
where \(P^a_{bc}\), \(\mu ^2\) and \(\mu ^2_{\textrm{LPM}}\) are defined in Appendix B, and \(\hat{f}_{bc} \ge [1\pm f_b][1\pm f_c]\) is an overestimate of the Bose/Pauli factors. It also holds that
and so
Note also that for all splitting channels it holds that \(P^a_{bc}(x)\le P^a_{bc}(x_{\textrm{min}})\), with the condition that \(x_{\text {max}}=1-x_{\text {min}}\). Combining all of the inequalities presented above we end up with the three following overestimates,
1.4 Relation between \(|\mathcal {M}^c_{ab}|^2\) and \(\gamma ^c_{ab}\)
To find the relation between the effective (i.e. including multiple soft scattering during the formation time) merging matrix element \(|\mathcal {M}^c_{ab}|^2\) and the merging rate \(\gamma ^c_{ab}\) we start by looking at the term in the collision kernel which corresponds to a particle with momentum \(\textbf{p}\) merging with a particle with momentum \(\textbf{k}\) to produce a particle with momentum \(\mathbf {p'}\),
Using the integral identity
with an on-shell condition for \(\mathbf {p'}\) implicitly in the last row, the collision kernel simplifies to
Comparing to the corresponding collinear expression given in [23],
we see that \(\gamma ^c_{ab}\) is related to \(\mathcal {M}^c_{ab}\) through
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Kurkela, A., Törnkvist, R. & Zapp, K. AMY Lorentz invariant parton cascade: the thermal equilibrium case. Eur. Phys. J. C 84, 74 (2024). https://doi.org/10.1140/epjc/s10052-024-12424-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12424-2