Fate of in-medium heavy quarks via a Lindblad equation

What is the dynamics of heavy quarks and antiquarks in a quark gluon plasma? Can heavy-quark bound states dissociate? Can they (re)combine? These questions are addressed by investigating a Lindblad equation that describes the quantum dynamics of the heavy quarks in a medium. The Lindblad equations for a heavy quark and a heavy quark-antiquark pair are derived from the gauge theory, following a chain of well-defined approximations. In this work the case of an abelian plasma has been considered, but the extension to the non-abelian case is feasible. A one-dimensional simulation of the Lindblad equation is performed to extract information about bound-state dissociation, recombination and quantum decoherence for a heavy quark-antiquark pair. All these phenomena are found to depend strongly on the imaginary part of the inter-quark potential.


Introduction
Experimental and theoretical physicists have long sought to understand the properties of the elementary particles (quarks and gluons) described by QCD at extreme temperatures and densities. Experimentalists are creating these extreme conditions by means of relativistic heavy-ion collisions performed at LHC and RHIC. During these collisions, a fireball of deconfined quarks and gluons, known as the quark gluon plasma (QGP), is formed for a very brief time, which makes the investigation of the fireball a challenging task. Joint experimental and theoretical efforts have been carried out for about fourty years [1] to find and analyse accessible observables for diagnosing this short-lived QGP. One of the promising candidates for diagnostics are heavy quarks produced and partecipating in the collisions. Due to the separation of scales between the heavy quarks and the main plasma constituents, the former can be used as dynamical probes of the surrounding medium. In particular, the seminal work of Matsui and Satz [2] suggested that the analysis of bound states of heavy quarks (quarkonia) could lead to a better understanding of the QGP, the reason being that, at sufficiently high temperatures, colour screening weakens or even prevents a qq pair from binding in the deconfined medium, resulting in a suppression of quarkonia (such as cc and bb bound states) at the hadronization of the QGP. This paved the way for many quests for understanding the fate of quarkonia. Some of them made use of screened potential models [3], based on quantities like the free or internal energies. The screened potential, whose short-and medium-range parts can be obtained from resummed perturbative calculations, was also used to determine stationary states of a Schrödinger equation [4]. Non-perturbative studies on the lattice followed a different line aiming at reconstructing spectral functions of quarkonia around the crossover temperature [5][6][7][8], whereas other approaches exploit the AdS/CFT correspondence [9][10][11][12]. Recent progresses showed that the inter-quark potential not only gets screened at high temperatures, but develops an imaginary part [13,14], which reflects the Landau damping mechanism due to the collisions between the heavy quarks and plasma constituents [15][16][17]. The fact that the inter-quark potential is actually complex poses serious issues on the validity of the approaches relying on the standard Schrödinger equation, which is a good approximation only when the state lives long enough, that is when the deviation from the unitary evolution is small. This happens when the imaginary part of the potential (decay rate) is much smaller than the mass and binding energy of respectively a heavy quark and a heavy-quark bound state 1 . However, the imaginary part of the potential can be used to compute spectral functions of in-medium quarkonia or in the context of the stochastic Schrödinger equation (SSE) [18][19][20]. Both the real and the imaginary part of the potential have been calculated in perturbation theory, but there have also been attempts to get these quantities using lattice [21] and holographic [22][23][24][25] techniques. Some reviews on recent developments on the study of heavy quarks in a quark gluon plasma can be found in [26][27][28][29]. The fact that the inter-quark potential is screened and features an imaginary part fosters the phenomenon of quarkonia suppression, which has indeed been partially detected for J/Ψ (see reviews [30,31]) and Υ states [32] in heavy-ion collision experiments. On the other hand, evidence of recombination of bound states has also been observed for J/Ψ [33] (the phenomenon is much less important for Υ [34]), hindering the opposite mechanism of dissociation. In fact it is not surprising that some of the heavy particles liberated from the bound states can recombine to form a bound state before the freeze-out of the QGP, especially when there are many heavy quarks and antiquarks tossing about in the hot medium. However, in order to describe the recombination process, a dynamical treatment of the heavy particles becomes necessary, and a static description of the heavy quarks, either via lattice techniques in imaginary time or potential models, is not appropriate anymore. Formulating it as a real-time problem of probes immersed in an environment, the correct language to use is then the one of open quantum systems. The goal of this manuscript is to provide a unifying framework to study both dissociation and recombination mechanisms within the language of open quantum systems. The main idea is to exploit the weak-coupling expansion and the separation of scales between heavy probes and environment to construct an effective theory from the underlying gauge theory, after integrating out the plasma degrees of freedom. A master equation of the Lindblad type for the density matrix of the heavy particles is derived, in which all the quantities appearing are obtained from the complex potential. This equation allows one to study numerically the real-time dynamics of the heavy quarks and antiquarks. Similar strategies based on a Lindblad equation have been used before using a different formalism with [35] and without [36,37] numerical computations. A onedimensional numerical simulation has been performed for the master equation and the related SSE in [38], but the master equation was not directly obtained from the gauge theory. The SSE for in-medium quarkonium has been investigated in [38][39][40][41], but there seems to be no clear way to incorporate dissipative effects (equivalent to the classical friction) within this formalism. The Schrödinger-Langevin equation (SLE) [42,43] includes dissipation due to friction but it is not associated to a master equation (hence to a SSE). This means that it is not clear how to derive a SLE from the underlying theory. Another strategy for studying the dynamics of in-medium quarkonium exploited a classical Fokker-Planck and Langevin equation [44][45][46][47]. A generalised Langevin equation for many heavy particles, obtained from the underlying gauge theory, has been simulated in [48]. The limitation of the Langevin equation is that it describes the classical dynamics of the heavy particles, but cannot address topics like quantum decoherence and quantum bound states.

SC limit Wigner transform
Ehrenfest eqns Figure 1. Flow chart of both the steps performed in the previous work [48] and the ones followed in this project. In general, an influence functional can be derived without the approximations indicated here.
This paper extends the semiclassical results of the previous work [48] to a quantum level, by deriving a quantum master equation in the Lindblad form, which ensures positivity of the density operator, for the density matrix of heavy quarks and antiquarks. This equation allows one to follow the quantum dynamics of the heavy particles and compute survival and formation probabilities of heavy-quark bound states, as well as quantum decoherence. The flow chart in Fig.1 serves as a guide to understanding how this paper is organised. Mimicking what has been done in [49], section 2 shows how to build a propagator (or conditional probability), which is related to the influence functional, starting from a generic Lindblad equation. Section 3 introduces the model used here to study heavy particles in a thermal bath of light particles. The heavy particles are regarded as being nonrelativistic, whereas the light particles of the medium are treated relativistically. As long as only unbound heavy quarks are concerned, this means that their momenta have to be much smaller than their masses. Similarly, for quarkonia the nonrelativistic condition entails that their relative velocities are much smaller than the speed of light. This paper ignores the specifics of QCD interactions (like attractive/repulsive interactions according to the singlet/octet state for example) and retains only Coulomb interactions. Within this framework, the influence functional for a single heavy quark is obtained with the help of some welldefined approximations, such as the weak coupling and small frequency (Markovian limit) expansions. In section 4 the associated Lindblad equation is then read off from the influence functional. The Lindbladian terms will result in an expression written solely in terms of the imaginary part of the potential. From the structure of the Lindblad equation, it will be shown that different types of dynamics of the heavy particle are obtained according to the ratio between the correlation length of the environment and the typical size of the heavy probe. In particular, it will be proven that the classical Langevin dynamics stems from a semiclassical approximation of the Lindblad equation (see lower part of Fig.1). Section 5 contains the computation of the Lindblad equation for a heavy quark-antiquark pair, which could in principle be generalised to N heavy quarks and antiquarks. Section 6 shows how quantum decoherence and the probability of having a qq bound state at a certain time can be calculated from the density matrix. This section also contains the setup for the onedimensional numerical simulation of the Lindblad equation for the relative motion of the qq pair, after the motion of the centre of mass has been traced out. The results are displayed in section 7, with specific focus on the linear entropy (a measure of decoherence) and bound-state probabilities, which can be used to extract dissociation and recombination probabilities for different correlation lengths of the thermal bath. Conclusions and perspectives are found in section 8, followed by appendices A, B, C.

Density matrix and propagator of an open quantum system
The goal of this work is to study a probe propagating through a medium in thermal equilibrium. The probe is treated as an open quantum system (also called reduced system or subsystem) that can dissipate or gain energy from the plasma environment. The environment and the probe form a closed quantum system. A master equation for the density matrix describing the probe will be derived in order to study its realtime dynamics. Of particular interest is the probability P (ψ, t|ψ 0 , t 0 ) to find the reduced system in a quantum state |ψ at time t, given that it was in a state |ψ 0 at time t 0 . This quantity can be written in terms of the density operator of the subsystem, ρ(t) ≡ Tr env {ρ tot (t)} , whereρ tot is the density operator of the total (closed) system and the trace is taken over the degrees of freedom of the environment. It is assumed that the subsystem has not yet interacted with the medium at time t 0 , so that the initial total density operator takes the factorized form Zenv e −βĤenv is the density operator of the environment, whose Hamiltonian and partition function are respectivelyĤ env and Z env = Tr env exp(−βĤ env ). The total density operator at time t is given bŷ with the HamiltonianĤ whereĤ is the Hamiltonian of the isolated subsystem andĤ int accounts for the interaction between the subsystem and the medium. The desired probability can now be written as where {φ env } forms a basis of the Hilbert space of the medium and ρ(t, q, q ) = q|ρ(t)|q is the density matrix of the subsystem. Using (2.2), this probability can equivalently be expressed as where the propagator (or conditional probability) has been defined as Equations (2.4) and (2.5) imply that the density matrix is related to the propagator through the relation ρ(t, q, q ) = dq 0 dq 0 P (q, q , t|q 0 , q 0 , t 0 )ρ(t 0 , q 0 , q 0 ) .
In the next paragraph the path integral expression for the propagator, hence for the density matrix, will be derived in the Markovian limit through the well-known Trotter decomposition. In order to obtain the path integral, one needs to know the equations of motion satisfied by the reduced density operator. The density operator of the closed system obeys the Liouville-von Neumann equation whereD is an operator (acting on the Hilbert space of the subsystem) that describes the irreversible part of the dynamics of the subsystem propagating through the medium.

Path integral solution of the Lindblad equation
Here a path integral expression is derived for the reduced density matrix in the Markovian limit, that is when memory effects of the medium can be largely neglected due to the fact that the intrinsic time scale of the subsystem is much larger than the typical bath correlation time. The path-integral construction mimics the one found in [49]. The same derivation is presented here for self-containment and to set up the language used throughout this work. It has been shown [50,51] that the most general Markovian master equation can be written in the Lindblad form (also known as Bloch equation) 10) or, equivalently,ρ µL µ and L µ µ forms an arbitrary linear basis of operators acting on the Hilbert space of the subsystem. Starting from the discretised version of the last expression, one finds a relation betweenρ(t + ∆t) andρ(t) in the position basis, that is where the completeness relationship q |q q| = 1 has been inserted, together with the notation q ≡ dq. Using that 13) and the identity where the Wigner transform is defined as The right hand side of eq.(2.12) then reads with the midpointsq ≡ q+q 0 2 andq ≡ q +q 0 2 . Therefore, up to first order in ∆t , eq.(2.12) re-exponentiated becomes The next step consists in deriving the final density matrix ρ(t, q, q ) from the initial density matrix ρ(t 0 , q, q ) . To accomplish this, the time interval [t 0 , t] is partitioned in N small steps of size ∆t . Then, after using eq.(2.16) iteratively, one is left with with the propagator P (q, q , t|q 0 , q 0 , t 0 ) = lim and (q N , p N ) = (q, p) , (q N , p N ) = (q , p ) . One should notice that the appearance of the midpointsq i = q i +q i−1 2 is a result of the use of the Wigner representation (2.15). On the other hand the velocities are defined through the retarded ruleq i = (q i − q i−1 )/∆t . In the continuous limit the propagator (2.18) can be formally written as Dq Dp exp i S[q, p; q , p ] , (2.18) with the phase space action functional The appearance of the primed and unprimed coordinates can be traced back to the way the density operator evolves with time (see eq.(2.2)), that is with a time evolution from t 0 to t and one in the opposite direction. The unprimed coordinates live in the former interval, whereas the primed ones live in the latter branch. These two oriented time branches form the well-known Keldysh contour. Observe that the primed and unprimed coordinates decouple in the absence of Lindblad operators.

Equations of motion and quantum decoherence
When the semiclassical limit → 0 of expression (2.19) is taken, the variational principle δS[q, p; q , p ] = 0 (2.20) gives the complex equation of motions corresponding to the stationary paths of the subsystem, that is,q with the boundary conditions The equations of motion for one heavy quark propagating through a medium will be derived in section 3.2. Notice the remarkable fact that dissipative dynamics can be derived from a variational principle. Following [49], the propagator (2.18) can be rewritten in a more transparent way, which separates the reversible dynamics generated by H(q, p) from the irreversible contribution coming from the Lindbladian matrix elements L µ (q, p) . Denoting the Wigner transform ofL † µL µ as |Λ µ (q, p)| 2 , which implies that the propagator can be expressed in terms of the classical action of the isolated subsystem, 24) and the in-medium piece is a phase functional modifying the classical action of the isolated system and is called decoherence distance functional, since it measures the decoherence between the phase space histories [49]. Notice that the phase functional ϕ has to vanish when one takes (q , p ) = (q, p) , and D is symmetric under (q , p ) ↔ (q, p) exchange. The propagator (2.18) can be finally written in terms of the functionals ϕ and D as In the following sections the phase functional ϕ and the decoherence functional D will be calculated first for one heavy quark and then for a heavy qq pair propagating through a quark gluon plasma.

Heavy quarks in a thermal medium: the model
The general setup used in this paper is the same discussed in the previous work [48].
Only the key features of the model (such as physical scales and approximations) are presented here, whereas all the other details and calculations are found in [48]. In order to describe the real-time dynamics of heavy quarks and antiquarks propagating through a plasma of thermalised light particles, an effective theory for the heavy probes is obtained by tracing out the plasma degrees of freedom. The model considered here consists of an abelian plasma of massless charged particles interacting with positive-and negative-charged heavy particles, which are called heavy quarks and antiquarks respectively. Strictly speaking, this picture applies only to electromagnetic interactions, being non abelian features of QCD not taken into account. However, the language of QCD has been used throughout this manuscript due to the similarities between the QED and QCD plasmas at very high temperatures.
In this model N -nonrelativistic 2 heavy quarks and antiquarks have been considered, whose mass m is much larger than the temperature T = 1/β of the plasma (k B and c have been set to 1). The heavy particles are described using first quantisation, whereas the light particles of the thermal bath are considered within a quantum field theory framework. The heavy probes interact amongst themselves and with the plasma particles via Coulomb interactions. Magnetic interactions among the heavy probes are negligible in the non relativistic limit, being suppressed by powers of the velocity, or p/m . Magnetic interactions are also not taken into account for the light particles of the medium since the heavy quarks do not induce magnetic excitations. Therefore the whole system undergoes only Coulomb interactions. In the Coulomb gauge, the Hamiltonian of the total system reads where α i = γ 0 γ i is a Dirac matrix, and j 0 tot = j 0 + j 0 ψ is the total charge density, with the charge density of the heavy quarks and antiquarks, and the density of the charged light quarks and antiquarks of the plasma, where g is the gauge coupling. The spatial coordinates q j andq j , with j = 1, · · · , N , refer to the heavy quarks and antiquarks respectively, and p j ,p j are the corresponding momenta. The plasma is supposed to be electrically neutral, that is, it contains the same number of light quarks and antiquarks.

Influence functional for N heavy quarks and antiquarks
In [48] it has been shown in details how to get the path integral expression of the propagator (2.6) for the heavy particles, after integrating out the plasma degrees of freedom. The conditional probability can be written as where the 2N -dimensional vector Q = (q 1 , · · · , q N ,q 1 , · · · ,q N ) (and similarly for Q ) collectively denotes the spatial coordinates of all the heavy particles. The coordinate Q lives in the first (upper) branch of the Keldysh contour in the complex time plane. This branch runs from τ = 0 to τ = t . The coordinate Q lives in the second (lower) branch, which runs backwards in time from τ = t to τ = 0 . The free action of the heavy particles is The influence functional Φ is obtained after performing a perturbative expansion up to order α s = g 2 /(4π) (non-linear interactions are ignored) and considering almost instantaneous interactions between heavy and light particles, exploiting the fact that one is interested in studying the dynamics of the heavy probes over a time scale much larger than the typical one of the particles of the medium 3 . The influence functional can be split into three terms as and similarly for ΦQQ with the substitution {q i } → {q i }. The mixed quark-antiquark contribution reads The functions V and W come from the correlation functions describing the interactions between the heavy probes amongst themselves and with the bath. They are respectively the real and the imaginary part of the complex potential experienced by the heavy particles, derived as gT is the Debye mass and Λ is a momentum cutoff coming from the Hard Thermal Loop approximation (see discussion in [48]). In the next paragraph, all the terms appearing in the influence functional will be related to the Lindblad matrix elements introduced in section 2.2. This is the point where this project takes another path compared to the one followed in the previous work [48].
In the latter, a semiclassical approximation of Φ was performed in order to get a generalised Langevin equation for N heavy quarks and antiquarks. Instead, here a quantum master equation will be derived from the influence functional (see Fig.1).
The master equation allows one to deal with quantum objects like bound states and study related quantum phenomena. These aspects could not be studied with a classical Langevin equation.

Conditional probability for a single heavy quark
For a single heavy quark in the plasma the influence functional simplifies to In order to calculate the phase functional ϕ and the decoherence distance functional D for a single heavy quark, the conditional probability (3.4) has to be rewritten in phase space as in (2.28). To achieve this, the following identity is useful: dp dp exp Now one defines the functions and neglect terms of order g 4 when computing f 2 and h 2 . It is then easy to prove that the propagator can be expressed in phase space as in (2.28), where the classical action is 12) and the in-medium contribution One can show that the Lindblad equation that generates the propagator (2.28) with (3.13) violates the conservation of probability ( d dt Trρ(t) = 0 ) to order g 4 . Hence, with hindsight, the following term, which is negligible both in perturbation theory and in the non relativistic limit (T /m 1 ), is added ad hoc to the in-medium part F , in order to exactly preserve probability: Finally eq.(3.15), (2.25), (2.26) and (2.27) give the phase and distance decoherence functionals for the case of a single heavy quark in the medium: and (3.17) Notice that ∂ W ∂x x=0 = 0 gives the required property ϕ[q, p; q, p] = 0 . Moreover, the fact that W is an even function makes the decoherence distance satisfy the symmetric property D 2 [q, p; q , p ] = D 2 [q , p ; q, p] . Equations (3.16) and (3.17) show explicitly how the Lindbladian terms are related to the imaginary part of the potential. Combining the first lines of (3.16) and (3.17), one also obtains the general dτ D 2 τ have been used. Relation (3.18) will be useful to derive the Lindblad equation for the density matrix. Moreover, from (3.18) and minimising the action, one obtains the classical equations of motion (2.21) for the single quark case. It is interesting to observe that the Lindbladian terms modify the equations of motion from the standard mq = p and mq = p toq This will turn out to be a crucial point when a Fokker-Planck-like equation for the Wigner function of a qq pair is derived from a Langevin equation (see Appendix C).

Lindblad equation for one heavy quark
This section shows how to get the Lindblad equation for the density matrix ρ(t, q, q ) starting from the Lindblad equation for the density operatorρ . The first step is to project eq. (2.11) into position basis: The intermediate steps of the calculation are shown in Appendix A. Only the main results are reported here. For a heavy quark in the plasma (without external potential) the first two terms on the right-hand side read and The last term in (4.1) gives Collecting all the results in (4.1), (4.2), (4.3) and (4.4), one gets Using relations (3.16) and (3.17) for ϕ τ and D τ respectively, together with integration by parts, the Lindblad equation for the density matrix finally reads It is immediate to check that probability is preserved by the Lindblad equation: being ∂ q W (q)| q=0 = 0 . Notice that (4.6) is the same Lindblad equation derived in [36] (see their eq.(66) ) using a different (variational) approach. It is important to observe that the Lindbladian terms in (4.6) have little effect on the diagonal elements of the density matrix. On the other hand, it will be shown that the off-diagonal terms become suppressed at long times. The disappearence of the off-diagonal peaks of the density matrix, which are due to quantum interference, is called quantum decoherence. This phenomenon makes the system undergo a transition from quantum to classical dynamics [52].

Resolution of the quantum probe by the environment
Different types of dynamics of the heavy quark in the bath arise according to the ability of the medium to resolve the subsystem. This ability depends on the correlation length of the environment (l env ) relevant to the heavy quark-environment system, which corresponds to the typical spatial region in which W (x) is significantly different from zero. The environment is expected to be able to resolve, hence affect, the system if and only if its correlation length is of the order of the typical size of the quantum system (l sys ). This can also be understood from the fact that the typical momentum kicks that the medium gives to the probe are p env ∼ h/l env . This means that a very large correlation length allows the environment to distribute only very small momentum kicks 5 , therefore the subsystem is barely perturbed. In the limit of p env = 0 , the system continues following its reversible dynamics dictated by the Schrödinger equation. When l env l sys , it will be shown that the system undergoes a Brownian motion, with the bath providing a white noise disturbing the probe. In the l env l sys regime the magnitude of the momentum kicks that the medium gives to the system is much bigger than the typical energies of the latter, and the dynamics of the system is then largely affected by the presence of the environment. In this scenario all bound states are expected to dissociate quickly. Of particular interest is the case with l env /l sys 1 , for which the dynamics of the distinct bound states is affected differently by the medium. In this case the fate of the bound states can be regarded as a hadronic calorimeter. Below, this qualitative physical description will be made more quantitative.

Emergence of different types of dynamics
An inspection of the Lindblad equation will bring to the conclusion that there are four distinct types of dynamics that the system can exhibit: • l env /l sys 1 Reversible dynamics; • if l env /l sys 1 Open-system dynamics.
The dynamics becomes classical (Langevin-like) after a decoherence time; • l env /l sys 1 The bath acts like a bound-state sieve; • l env /l sys 1 The bath does not discriminate amongst bound states; they all decay at the same rate.
In order to prove these statements let us first perform the following change of variables: where the y coordinate describes the off-diagonal elements of the density matrix. The Lindblad equation (4.6), with an additional external (real) potential V ext , then reads The external potential has been introduced in order to study the dynamics of bound states. Notice again that the diagonal elements ρ(t, r, 0) are almost unaffected by the Lindbladian terms. It is immediate to see that, if l env /l sys 1 , W (x) is constant in the region where the density matrix is different from zero. This means that all Lindbladian terms go to zero in the region where the subsystem is localised. Therefore the subsystem behaves like a closed quantum system obeying a standard Schrödinger equation. In the scenario where W slightly varies over the region where ρ has support, the former can be Taylor expanded for small |x|/l env . The expansion of W up to second order in its argument is called semiclassical approximation and reads where H(0) is the positive-definite Hessian matrix of W (y) evaluated at y = 0 and ∂ y W (y)| y=0 = 0 has been used. Assuming that the semiclassical approximation is good enough also for V ext , the Lindblad equation reads Using the fact that H(0) is a diagonal matrix, and introducing the friction coefficient γ and the momentum diffusion coefficient κ respectively as (see [48]) 6 one gets an equation of the Caldeira-Leggett type for the density matrix: Notice that the semiclassical approximation preserves the trace of the density matrix. The penultimate term in eq.(4.13) has very little effect on the diagonal peaks of the density matrix, but it causes the off-diagonal ones (ρ off ) to decay like [52] where is the decoherence time, τ R = γ −1 the relaxation time and λ th the thermal de Broglie wavelength. For macroscopic objects, the decoherence time is typically much shorter than the relaxation time. Taking the Wigner transform (see [54] for a good review on Wigner functions and their properties) of eq.(4.13), one gets the following Fokker-Planck-like equation for the Wigner function: It will be shown below that the momentum diffusion coefficient κ gives the strength of the momentum kicks that the system receives from the medium. The associated (position) diffusion Observe that D ∼ 1/ g 4 T ln 1/g 2 , like all transport scales in perturbation theory [53]. This result comes from the fact that γ ∼ g 4 T 2 m ln(1/g 2 ), where the expression (3.8) for W has been used together with Λ 2 /m 2 D ∼ 1/g 2 1 .
Recall that the Wigner function can be negative and therefore is not a phase space probability. However, after a short time of the order of the decoherence time, the Wigner function becomes positive and can be regarded as a classical probability distribution. In this scenario it is easy to show (see [55]) that the above Fokker-Planck equation can be generated by a Langevin equation where η is a noise vector satisfying The stationary solution of the Fokker-Planck equation is nothing but the Maxwell-Boltzmann equilibrium distribution 7 with the normalisation constant such that which is equivalent to the requirement Trρ = 1 . The interesting case l env /l sys 1 will be numerically analysed later for the density matrix of a qq pair. The last case corresponds to l env /l sys 1 . In this scenario the imaginary part of the potential has support only in a very small region 8 . This means that, excluding the region where y = q − q = 0 , the Lindblad equation (4.6) with external potential becomes The solution of this equation for the off-diagonal (q = q ) elements of the density matrix is easily found to be T is finite. Notice that this is not the case for an attractive potential, that is V ext (r) < 0 for all r ∈ R 3 , since it causes an instability. 8 Notice that W (|x| → ∞) = 0 because of the definition W (x) = − dt ∆ < (t, x) and the fact that the Wightman function ∆ < dies off at large space separation. Moreover W (0) < 0 since ∆ < (0, 0) = A 0 (0, 0)A 0 (0, 0) > 0 and ∆ < (t → ∞, 0) = 0 ≤ ∆ < (t, 0) ≤ ∆ < (0, 0) for each time t .
where W (0) < 0 and ρ rev (t, q, q ) is the solution of the reversible von Neumann equation, i.e. eq.(4.23) without the dissipative term. One immediately notices that the off-diagonal elements of the density matrix become suppressed as time increases, signaling a strong quantum decoherence. In sec.7 it will be shown numerically that the same phenomenon occurs also when l env ∼ l sys , but decoherence manifests itself more slowly. This can be understood in terms of the environment performing frequent measurements on the subsystem, every time the former kicks the latter. When ρ rev (t, q, q ) = q|ψ(t) ψ(t)|q is expanded in the basis of the Hilbert space defined by the Hamiltonian of the closed subsystem (H|ψ n = E n |ψ n ), the solution of eq.(4.23) reads where the quantity e W (0) t |λ n | 2 is the probability associated to the n th eigenstate of H . This means that all the bound states decay with the same rate −g 2 W (0)/ = g 2 T /(4π ) , which is also the rate of collisions between one heavy quark (with negligible kinetic energy) and the light quarks of the medium (see Appendix C of [15]). Therefore the environment does not discriminate between different bound states (see also [38] for a similar result). This is not surprising since, in the limit l env /l sys 1 , the large momentum kicks distributed by the medium are much larger than the typical binding energies of the bound states. Following this argument, one could think that the trace of the density operator is not preserved since probabilities of the eigenstates tend to zero at large time. This reasoning does not hold since the trace is computed on the diagonal elements of the density matrix, which are not described by the solution (4.25). It is important to bear in mind that l env cannot actually be too small compared to l sys . In fact, if l env were too small, the momentum kicks of the bath would excite modes of system that are beyond the description of this non relativistic model for the heavy probes.

Ehrenfest relations and Langevin dynamics
Once the semiclassical approximation has been performed, the stochastic (Langevin) dynamics can be also obtained via the Ehrenfest relations. It is straightforward to show that eq.(4.11) is nothing but the well-known Caldeira-Leggett master equation in the position representation [56,57]. The master equation for the density operator reads with the friction (γ) and momentum diffusion (κ) coefficients defined in (4.12). From this equation one obtains the Ehrenfest equations of motion for the first and second moments of the position and the momentum operators (see Appendix B for the derivation of the first two lines), where the hat on the operators has been omitted to simplify the notation: Observe that, due to the non-commuting nature of the operators, this set of equations is not closed for a generic potential, hence the system can not be solved in general. The Ehrenfest relations are closely related to the stochastic differential equations with a white noise η(t) , formally given by the time derivative of the Weiner process W (t) , i.e. dW (t) dt = η(t) . The white noise satisfies η(t) η = 0 and η(t)η(t ) η = δ(t − t ) , implying that the expressions in (4.28) are equivalent to the Langevin form (4.18). It is straightforward to show that the Ehrenfest relations (4.27) have the same form of the noise average of the equations of motion for the first and second moments of the position and the momentum. In particular, the equations for the first moments, are nothing but the Langevin equation for the Brownian motion of a particle immersed in a thermal bath.

Lindblad equation for a heavy qq pair
The same procedure used for the single particle case is applied here to the case of a heavy qq pair propagating through the plasma. The interaction part of the influence functional appearing in the path integral (3.4) is derived from eq.(3.7) for N = 2 and reads where the coordinates (q, q ) and (q,q ) refer to the heavy quark and antiquark respectively. The non-interacting term for the single quark is given again by eq.(3.9) and analogously for the antiquark with the replacements q →q and q →q . As before, the phase-space path integral for the conditional probability will be derived.
For this purpose, one again makes use of the identity (3.10), this time written in the form dp dp exp and similarly for the heavy antiquark with the obvious replacements q →q and q →q . Neglecting terms of order g 4 or higher, the propagator in phase space becomes with the classical action 5) and the in-medium contribution 9 F[q, p,q,p; q , p ,q ,p ] From the last expression and definition (2.25), one reads off the phase functional and distance decoherence functional for the qq pair: and Observe that ϕ vanishes in the coincidence limit (q , p ,q ,p ) = (q, p,q,p), and D 2 is symmetric when (q , p ,q ,p ) and (q, p,q,p) are swapped, as required by the definitions (2.26) and (2.27). Following a very similar calculation to the one performed in sec.4 for one heavy quark, one finds the Lindblad equation for a qq pair in the plasma 10 : An interesting feature can be inferred from this result. If the quark and antiquark are taken far apart, which implies that |q −q|, |q −q | r D , where r D is the Debye radius, and consider that 11 one finds that eq.(5.9) admits a factorised solution ρ(t, q, q ,q,q ) = ρ q (t, q, q )ρq(t,q,q ) , (5.11) since both the real and imaginary part of the potential vanish when their arguments are large compared to the Debye radius. The density matrix for the single heavy particle satisfies the Lindblad equation (4.6). Eventually, after an integration by parts, it is immediate to check that the Lindbald equation (5.9) preserves the trace, that is d dt q q q q δ(q − q )δ(q −q )ρ(t, q, q ,q,q ) = 0 . (5.12)

Tracing out the motion of the centre of mass
Since the motion of the centre of mass of the qq pair does not tell anything about the fate of bound states, one would like to trace out this collective motion and find a Lindblad equation for the density matrix describing only the dynamics of the relative qq coordinate. To accomplish this, one starts off by defining the centre of mass and relative coordinates respectively as and similarly for the primed coordinates. The density matrix describing the dynamics of the relative qq coordinate is defined as the trace of the density matrix with respect to the centre of mass coordinate, that is ρ(t, q r , q r ) = qcm q cm δ(q cm − q cm )ρ(t, q r , q cm , q r , q cm ) . (5.14) In the coincident limit q cm → q cm , the Lindblad operator does not depend on q cm anymore, therefore one can carry out the trace over the centre of mass coordinate and get the Lindblad equation for the relative motion: Performing a change of variables analogous to (4.8) but with y halved, that is one finally obtains Observe that, as in the one particle case, the diffusive term (second line of (5.17)), responsible for quantum decoherence, affects only the off-diagonal elements of the density matrix. Moreover, using integration by parts, it is immediate to check that the trace of the density matrix is preserved.

Fokker-Planck and Langevin dynamics in the classical limit
In section 4.2 it has been shown that the semiclassical limit of the master equation for a single heavy particle produces a classical stochastic dynamics. The same happens when one takes the semiclassical limit of eq.(5.17) by expanding up to y 2 (the expansion is actually in the dimensionless quantity y/l env ). The result is  µr + µγ(r) ·ṙ + g 2 ∂ r V (r) = η(r, t) ,

As observed in section 4.2, this becomes a proper Fokker-Planck equation when the
where µ = m/2 is the reduced mass of the subsystem and the friction matrix is The multiplicative noise η(r, t) is white and autocorrelated, being where the momentum diffusion matrix κ(r) ≡ g 2 2 (H(0) + H(r)) , (5.24) 12 Notice the extra factors of 2 in the definition of the Wigner function. They stem from the fact that a halved y coordinate has been used in the change of variables (5.16). 13 Also known as multiplicative noise.
satisfies the Einstein relation κ(r) = 2µγ(r)T required by the fluctuation-dissipation theorem applied to the Brownian motion of a particle in a thermal bath [55]. Notice that a Langevin equation is much easier to be evaluated numerically than a Fokker-Planck equation. However, the information about the quantum qq bound states at t = 0 can not be encoded in the initial conditions of a Langevin equation, which is classical. On the other hand, the quantum initial conditions are easily implemented in the Fokker-Planck-like equation for the Wigner function. One could think of the Langevin equation as the correct formalism to describe the dynamics of the qq bound states after a typical time scale of the order of the decoherence time, which is much shorter than the typical relaxation time of the subsystem when l env l sys , as it will be displayed in sec.7.

1D simulation for a heavy qq pair
The target of this section is to analyse dissociation, (re)combination and quantum decoherence of bound states of a heavy qq pair in a medium. To achieve this, the Lindblad equation (5.17) will be solved numerically using Mathematica. This part presents a simple model to investigate numerically the effect of the Lindbladian terms on the dynamics and fate of quarkonia. These terms depend on the imaginary part of the potential (W ), which originates from the Landau mechanism due to the collisions between the subsystem and the medium. The real part of the potential (V ) is found instead in the reversible part of the Lindblad equation. Surely the screening of the real part of the potential reduces the number of available bound states in the system, however, this is not the effect that this work aims to focus on. The screening mechanism is important when one wants to consider phenomenological implications, but this is not the case of this exploratory analysis. Here the focus is on understanding how the imaginary part of the potential influences the dynamics of the quantum system.

Bound-state probabilities and linear entropy
The solution of the Lindblad equation is used to compute the following two quantities for studying bound-state dissociation/formation and decoherence respectively: The first quantity was introduced previously in eq.(2.4) and represents the probability of finding the subsystem in the state |ψ at time t , given that it was origianally in the state |ψ 0 at t = 0 14 . The second object is the so-called linear entropy, which is the leading term of the Mercator series of the von Neumann entropy S = −Tr[ρ lnρ] ≈ Tr[ρ(1−ρ)] = S L . The computation of the standard entropy requires the diagonalisation of the density matrix, which can be done only when all the probabilities {P n (t)} n of the eigenstates {ψ n } n of the Hilbert space of the subsystem are known. This is usually an impossible task, this is why the linear entropy is computed as a proxy of the von Neumann one. Another reason to consider the linear entropy is that it is a handy quantity for diagnosing quantum decoherence. Indeed a pure state has S L = 0 , being |ψ(t) ψ(t)| = ρ(t) =ρ 2 (t) , whereas a mixed state has 0 < S L ≤ 1 , since 0 ≤ Trρ 2 mix = n P 2 n ≤ n P n = 1 ;ρ mix = n P n |ψ n ψ n | .
If a pure state of the subsystem is plunged into the bath, the linear entropy will increase with a rapidity dependent on the ability of the medium to resolve the quantum system, that is according to the ratio l env /l sys that has been discussed in section 4.2. If this ratio is very small, the environment performs "invasive" measures on the subsystem (the momentum kicks of the bath are large), inducing a sudden raise of the linear entropy. In the opposite regime, the environment can not resolve the system and consequently the linear entropy remains close to zero. It is interesting to see how the off-diagonal elements of the density matrix affect the time evolution of the linear entropy in the semiclassical limit (l env l sys ). Using thaṫ S L = −2 Tr ρρ and inserting eq.(5.18), after some algebra one getṡ where it has been used that ∂ 2 r W (r)| r=0 − ∂ 2 r W (r) ≈ 0 when l env l sys . It is clear that in this regime the linear entropy rises as long as the density matrix has off-diagonal elements. This makes the role of off-diagonal terms in the process of quantum decoherence more transparent.

Model for simulations
Instead of using the expressions in (3.8) for V and W , two similar expressions are used here for computational convenience. The real part is taken to be the Pöschl-Teller potential (see Fig.2) where ω is a unit of energy, µ = m/2 is the reduced mass of the qq pair and j ∈ N . This potential has been chosen since it admits j bound states,  with n = 0, 1, . . . , j − 1, j , C j n a dimensionless normalisation factor and P n j (x) the associated Legendre polynomial. Therefore the maximum number of vacuum (T = 0) bound states can be simply tuned by changing the natural number j , which is set to 2 here. The imaginary part is taken to be (see Fig.2) where the correlation length of the environment is l env = /(σ T ) and σ is a dimensionless parameter that will be tuned to probe the different physical regimes discussed in section 4.2. This form of the correlation length resembles the one of the Debye radius r D = m −1 D = /(αg T ) appearing in the original expression (3.8) of W , which is plotted in Fig.2 asW (x) = − T lenv Comparing with the expression derived from the gauge theory, a factor 1 4π has been omitted in front ofW (x) . This has been done since the model is one dimensional anyway, and the form (3.8) is strictly valid only in three dimensions. In the numerical simulations, the bound-state probabilities (P 0 (t) and P 1 (t) for the ground and excited state respectively) and the linear entropy will be extracted from the solution of the following one-dimensional Lindblad equation for the relative motion of a qq pair: This equation is the one-dimensional analog of eq.(5.17) with g 2 = 1 15 and V (x), W (x) defined as in (6.3),(6.5) respectively. The first part of the analysis assumes that initially the qq pair is in one of the two bound states of the Pöschl-Teller potential, that is ρ(t = 0, r, y) = ψ n (r + y)ψ * n (r − y) , (6.7) where n = 0, 1 for the ground state and excited state respectively. If the bound states melt, the density matrix describes scattering states, whose density matrix does not go to zero at infinity. To avoid this numerical issue, the system is inserted in a harmonic box via the following modification of the real part of the potential 16 : with very small, so that the Pöschl-Teller potential gets significantly modified only for |x| 2 fm, where the wavefunctions of the bound states are basically zero. Therefore, for numerical purposes, the eigenstates of the Pöschl-Teller potential are also eigenstates of the Pöschl-Teller potential plus the harmonic contribution. In addition, the new potential admits an infinite set of more energetic bound states, which can be interpreted as localized "scattering" states of the unmodified Pöschl-Teller potential. This trick allows one to use vanishing boundary conditions for the density matrix when solving (6.6) in a finite box. In the cases analysed below, it has been checked numerically that the density operator is positive-semidefinite, that is ρ(t, q, q) ≥ 0 for all times t and positions q (equivalently ρ(t, r, y = 0) ≥ 0 ∀t, r ∈ R ), as required by a master equation in the Lindblad form. Moreover, eq.(6.6) preserves the trace of the density operator to the value of one with an error of the order of one part in a thousand.

Dissociation of bound states
The probabilities of having one of the two bound states at time t , given an initial density matrix corresponding to the ground (excited) state, are shown in the top left (right) panel of Fig.3. The time evolution of the linear entropy for the two different initial density matrices is shown just in the corresponding panels below. The analysis of the outcomes is divided in three cases, according to the correlation length of the environment. 15 Notice that the perturbative approximation is still valid since the expansion is actually in powers of α s = g 2 4π . Moreover T = 0.8 GeV and m = 1.2 GeV have been used here, so that the nonrelativistic limit is valid to a good degree of accuracy. 16 The bound-state probabilities and linear entropy computed in the following section do not depend on the chosen value of , as long as it is small enough to allow the ground and excited states of V (x) to be eigenstates also of the modified potential V (x) + x 2 .
• l env > l ψ 1 regime In this scenario the correlation length of the bath is bigger than the size of the excited state, which in turns is larger than the size of the ground state. This means that the environment can "measure" the excited state but can very hardly resolve the ground state. This has indeed been found on the left panels of Fig.3, where the initial ground state (see circles) remains basically unaffected as time passes (P 0 (t) 90% ∀t ). On the other hand, there is a small probability of having a transition from the ground state to the excited state(P 1 (t) 10% ∀t ), but there is basically no change of dissociation since P 0 (t) + P 1 (t) ≈ 1 = P 0 (t) + P 1 (t) + P scatt (t) at all times, where P scatt is the probability of having some "scattering" states. Not only the medium cannot give large enough momentum kicks to disturb the ground state, but also cannot resolve it, hence quantum decoherence should manifest itself as a very mild effect. This is indeed seen in the small values taken by the linear entropy, indicating that the initial state remains approximately pure. When starting off with the excited state (circles on the right panels of Fig.3), the linear entropy increases quite rapidly up to a stationary value of S L ≈ 0.8 , meaning that the measurements that medium makes on the subsystem bring relatively quickly the excited state from a pure to a mixed state. This is the signal of the transition from a quantum to a classical system. The kicks distributed by the bath can (with roughly the same probability of 40% in equilibrium, i.e. for t 5 fm/c) either bring about a feed-down mechanism of the excited state to the ground state, or melt the bound state. The final probability of remaing in the excited state is only about 20% .
• l ψ 0 < l env < l ψ 1 regime In this scenario the environment can resolve very well the excited state and also start affecting the ground state. From the diamond-shaped symbols on the left panels of Fig.3 one can see that an initial ground state has survival probability P 0 (t) ≥ 80% , which is high but less than in the previous case. The chances of promoting the ground state to the excited state are slightly higher than before but still fewer than 10% . Similarly, the linear entropy grows more than before but stays below the value of 0.4 . On the other hand, if the system is initially in the excited state (diamonds on the right panels of Fig.3), the environment strongly perturbs the bound state, causing the linear entropy to increase abruptly and the excited state to disappear very rapidly, reaching soon the equilibrium value of about 10% for the survival probability P 1 . One might think that the disappearance of the excited state is simply a signal of its melting due to the kicks received from the bath. However, the feed-down mechanism is more important here than in the previous case, in which the excited state receives lighter kicks. In fact the probability of ending up with the ground state grows rapidly from zero to the equilibrium value of 60% , which leaves a melting probability of 30% .  Figure 3. Top: Probabilities P 0 (t) , P 1 (t) of having respectively the ground state ψ 0 and the excited state ψ 1 at time t . Bottom: Time evolution of the linear entropy. In the left (right) panels the initial density matrix ρ(0, q, q ) corresponds to the ground (excited) state. Three different correlation lengths of the environment (l env ) have been considered in order to explore the regimes l env > l ψ 1 , l ψ 0 < l env < l ψ 1 , l env < l ψ 0 , where l ψ = x 2 ψ with values l ψ 0 = 0.162 fm and l ψ 1 = 0.384 fm. In all plots of this paper error bars are much smaller than the symbols representing the data. Some of the points are slightly shifted horizontally to avoid superpositions of symbols.
• l env < l ψ 0 regime Here the environment can fully resolve both bound states, causing a sudden increase of the linear entropy for any initial density matrix (see triangles in lower panels of Fig.3). If the system is in the ground state at t = 0 , its survival probability will reduce quite quickly to the stationary value of about 55% . The ground state may then form an excited state with P 1 ≈ 15%, or melt with a probability of approximately 30% . The case corresponding to the excited state at t = 0 is basically identical to the previous scenario. The only difference is that the survival probability of the excited state is slightly higher than before, and the linear entropy reaches a lower equilibrium value of 0.5 . Observe that, in this case, the equilibrium values for the Probability ρ(0, q, q ) = ψ1(q)ψ * 1 (q ) Figure 4. Probabilities P 0 (t) , P 1 (t) of having respectively the ground state ψ 0 and the excited state ψ 1 at time t , starting off with an initial density matrix ρ 0 (q, q ) = ρ(0, q, q ) corresponding to the ground state (on the left) or excited state (on the right). The physical case corresponds to the discrete data points, obtained by solving the Lindblad equation (6.6), which preserves the trace of the density operator. The continuous lines represent the probabilities computed using the ansatz (7.1), which does not preserve probability.
probabilities and linear entropy for the two different initial density matrices are very similar. This is expected since in the limit l env → 0 the momentum kicks coming from the bath have such a much larger value than the typical binding energies of the subsystem that, at long time scales, it does not matter which particular initial state the subsystem was prepared in.
In this paragraph only the initial conditions corrisponding to the ground and excited states have been considered. However, one can start off with an initial density matrix corresponding to any linear combination of ground and excited state. This is an important feature if one wants to consider a realistic experimental initial condition in which both the ground and excited states of a system are occupied.

Role of scattering states
It is clear that the presence of the scattering states in the Hilbert space of the subsystem is crucial for preserving probability, that is Trρ(t) = 1 . However, one might think that the presence of the scattering states is not that important in certain cases. After all, the previous paragraph has shown that, for certain correlation lengths of the medium, the probability of bound states dissociation or, equivalently, the formation of scattering states is small. For example, the case l ψ 0 < l env < l ψ 1 shows that P scatt (t) = 1−P 0 (t)−P 1 (t) 0.1 (0.3)∀t when starting off with the ground (excited) state. Consequently one might hope that for this scenario the bound states probabilities P 0 (t) and P 1 (t) could be approximately computed without solving the full Lindblad equation for the density matrix, but expanding the density matrix in terms of the bound states only ρ(t, q, q ) = n,m=0,1 and solving for the coefficient λ nm (t) by taking the time derivativė ∂ρ(t, q, q ) ∂t (7.2) and using the Lindblad equation (6.6) with the replacement q = r + y and q = r −y . One then solves the linear first-order differential equations for the probabilities λ 00 (t) = P 0 (t) and λ 11 (t) = P 1 (t) , which are decoupled from the equations for the mixed coefficients λ 01 (t) and λ 10 (t) . Observe that the ansatz (7.1) does not take scattering states into account, hence does not preserve the trace of the density matrix. This technique has been used in the literature (e.g. [38]) for computing approximate bound states survival probabilities. Fig.4 shows that, if ansatz (7.1) is assumed, the time evolution of the bound states probabilities are quite different from the correct ones computed from the full Lindblad equation, which implicitly knows about the whole Hilbert space of the subsystem, which comprises the scattering states. Notice that the evolution of the probability of the excited state P 1 (t) with the ansatz (7.1) is similar to the correct one computed from the Lindblad equation. The situation is drastically different for the ground state, whose probability takes values significantly lower than the exact ones. This happens because (7.1) implies that all the states that "leak out" from the potential well have no chance of going back inside it, since the ansatz does not take into account scattering states. The next subsection is going to show more explicitly that scattering states indeed roll back into the potential well to form the ground state with a non negligible probability. The feed-down mechanism from a scattering state to an excited state is instead a marginal effect, shedding light on why the excited-state probabilities calculated either via solving the full Lindblad equation or using the anstaz (7.1) are quite similar.

Recombination
This paragraph aims to show how (re)combination 17 of a scattering state into a bound state takes place. In order to implement vanishing spatial boundary conditions for the density matrix when solving the Lindblad equation (6.6), one has to consider normalised scattering states (with positive energies) defined as where δ = √ 2 x 2 is the localisation parameter and p = p is the expectation value of the momentum. In principle, the localised scattering state can be written as a superposition of elements of the Hilbert state of the T = 0 Hamiltonian with the unbounded potential (6.8), but this can not be done in practice since the full Hilbert space of the subsystem is unknown. An interesting case to analyse is the evolution of a thermal scattering state, that is a scattering state with size equal to the thermal de Broglie wavelength, i.e.
x 2 = λ th = h/p th , with thermal momentum p th = √ µ T , µ = m/2 . The temperature T = 0.8 GeV has been used again in the numerical analysis. Fig.5 shows the probability of the thermal scattering state to become a bound state (either the ground or excited state) for different l env . When l env > x 2 ψ scatt , both P 0 and P 1 do not vary with time (see square-shaped symbols). This entails that the recombination probability, defined as P rec (t) = i=0,1 (P i (t) − P i (0)), remains practically zero. A very similar behaviour is found for l env ∼ x 2 ψ scatt (see circle-shaped symbols), with the only difference that here the probability of getting the ground state slightly increases with time, whereas the probability of getting the excited state slightly diminishes. For these two correlation lengths of the environment the linear entropy grows rel- atively rapidly (see Fig.6). The scattering state is indeed a superposition of eigenstates of the Hamiltonian of the subsystem with the modified potential (6.8), and the medium disturbs all the eigenstates with wavelengths either bigger or of the same order of l env . This effect becomes obviously stronger when l env becomes smaller than the size of the scattering state, causing the linear entropy to raise abruptly up to values very close to the maximum value of one. This means that the subsystem has been strongly perturbed by the medium and the quantum information is quickly lost. The fact that the dynamics becomes basically classical does not prevent the subsystem to form bound states, as can be seen from the finite recombination probability inferred from Fig.5 (see diamonds and triangles). In fact the probability of the scattering state to form the ground state, in the case with l env = 0.12 fm, grows from the t = 0 overlap value of approximately 9% to 42% at t = 5 fm/c. On the other hand, the overlap with the excited states decreases of about 6% . Observe that the long-time value of the linear entropy for the two smallest values of l env is determined very accurately by P 0 (t) only. For example, for l env = 0.12 fm one has 0.8 = S L ≈ 1 − P 2 0 = 0.82 at t = 5 fm/c. Eventually Fig.7 showcases some direct results obtained by solving the Lindblad equation (6.6) with l env = 0.25 fm, starting off with the thermal scattering state defined above. It is clear that quantum decoherence manifests itself at the very early stages via the suppression of the off-diagonal elements (y = 0) of the real part of the density matrix. After barely ∆t = 0.2 fm/c the density matrix considerably changes (explaining the sudden raise of the linear entropy in Fig.6), and at t = 1 fm/c approaches a diagonal form. The imaginary part of ρ has not been displayed since it goes close to zero very quickly, leaving the density matrix basically real. By considering just the time evolution of the diagonal elements of the density matrix, one can check that positivity is indeed preserved, that is ρ(t, x, 0) ≥ 0 for all positions x and times t ( ρ(t, x, 0) ∈ R ∀x, t ), as can be seen in Fig.8 18 . In order to see how the dissociation and recombination mechanisms depend on the mass of the heavy quarks, one can find the numerical results for the bound-state 18 Note that positivity of the density operator comes automatically from the Lindblad form (2.11). However, equation (6.6) is an almost exact Lindblad equation, due to the very small terms neglected in perturbation theory. Therefore it can happen that in certain regimes, in which the approximations used throughout this work are not valid anymore, the density operator sligthly violates positivity.
probabilities for a heavier quark with mass (m = 4.7 GeV) in Appendix D.

Summary and Outlook
It has been shown how to derive a Lindblad equation for non relativistic heavy quarks and antiquarks propagating out of equilibrium in a thermalised quark gluon plasma, within the framework of open quantum systems and starting from the underlying gauge theory. To achieve this, an abelian model for the plasma has been used, together with some well-defined approximations, including the perturbative expansion and the Markovian limit. All the Lindbladian terms in the master equation depend on the imaginary part of the inter-quark potential, whose shape gives the correlation length of the environment. Different types of dynamics of the heavy probes emerge according to the value of the ratio between the correlation length of the environment and the typical size of the probes. The smaller the correlation length of the medium, the higher the resolution of the quantum probes, giving rise to quantum decoherence and to classical dynamics. Numerical simulations of the one-dimensional Lindblad equation for a heavy quark-antiquark pair allow one to study quantitatively the mechanisms of melting and formation of bound states within a unique framework. It has been found that the interaction of bound states with the medium can make the bound state dissociate or undergo a feed-down mechanism to a bound state with lower energy. Similarly, a scattering state (that can be interpreted as a melted bound state) has a non-zero probability of (re)combining into a bound state. In principle, dissociation and formation of bound states can also be analysed starting from the same initial density matrix by solving the Lindblad equation for more than one heavy qq pair, which can be straightforwardly derived with the same technique exploited here for the two-particle case. The issue with this procedure is that a numerical simulation of such equation becomes very challenging for more than two particles, already in one dimension. A solution to this problem would be to solve the stochastic Schrödinger equation [18,19,58] associated to the Lindblad equation.
The advantage of this approach is that the dimension of a wave vector is the square root of that of a density matrix. This strategy has been exploited by [38] in one dimension in the framework of quarkonium in a quark gluon plasma, but only the recoilless limit (no friction) has been taken into account. Another interesting and numerically feasible approach to study the real-time dynamics of many particles in the plasma is the Langevin equation, which has been proven to be the correct description when the system has undergone a quantum to classical transition. However, in order to be able to use the classical stochastic equation, one needs to understand how to implement the initial quantum state correctly, since the Langevin formalism is strictly valid only after a time scale of the order of the decoherence time. It has been found that the Langevin equation derived from the gauge theory for a qq pair (see also [48] for more particles) features a space-dependent friction coefficient, which encodes physical information about polarisation effects of the medium induced by the relative position of the heavy probes. Apart from [48], this feature has not yet been considered in the literature when solving the Langevin equation for quarkonia. It would be interesting to see whether this space-dependent friction for a heavy qq pair could be reproduced for strongly coupled plasmas in the context of the AdS/CFT correspondence, as it has already been done for a single heavy quark [9,59] 19 . Eventually, in order to envisage some phenomenological applications, a natural development of this project would be to obtain a Lindblad equation in QCD using the same formalism presented here (see [35][36][37] for other approaches). One would expect to be able to implement non abelian features within the present scheme, this time considering the weak coupling approximation more carefully, being the non-linear QCD couplings less strongly suppressed than the QED ones. This route has been followed in the preliminary work [60], in which the QED case can be obtained as a restriction of the QCD case. expression (4.3) as a result. The computation of the last term in (4.1) reads Collecting all the results as shown in section 4, one finally gets to the Lindblad equation (4.6).

B Derivation of the Ehrenfest equations of motion
Here the proof of the first two equations of motion in (4.27) is shown. The derivation of the other relations is very similar and is therefore omitted here. The Ehrenfest equation of motion for the first momentum of the position operator is obtained through the following steps (hats on operators have been removed for ease of notation): where in the last line the cyclicity of the trace has been exploited to cancel the friction and diffusion terms. The fact that the position operator commutes with the potential operator has been also used.

(C.5)
It is interesting to see that the first line of eq.(C.4) does not correspond to the classicalṙ = v , but it contains an extra perturbative quantum correction that can be traced back to the modified classical equations of motion (2.21) derived from minimisation of the action containing the Lindbladian terms. In order to avoid a cumbersome notation, only the one-dimensional case is considered here. The proof in d > 1 dimensions works in the same way. Contrasting eq.(C.4) with eq.(C.1) and using S = (S 1 , S 2 ) ≡ (r, v) , one obtains the following coefficients for the multivariate Langevin equation: Probability ρ(0, q, q ) = ψ1(q)ψ * 1 (q ) Figure 9. Probabilities P 0 (t) , P 1 (t) of having respectively the ground state ψ 0 and the excited state ψ 1 at time t . Here l ψ 0 = 0.08 fm and l ψ 1 = 0.194 fm, where l ψ = x 2 ψ .

D Mass dependence of dissociation and recombination
In this paragraph the dissociation and recombination mechanisms for two different values of heavy-quark mass are compared. This analysis is inspired by the experimental evidence that the two phenomenons are different for charmonium and bottomonium. In particular recombination effects are very small for bottomonium. Here the values m c = 1.2 GeV and m b = 4.7 GeV have been used for the mass of the charm and bottom quark respectively. Contrasting Fig.9 with Fig.3 of section 7, it is clear that the ground state of the heavier quarkonium is less affected by the medium than the lighter quarkonium (see bound-state probabilities on the left panel of Fig.9, where the initial density matrix corresponds to the ground state). This can be understood from the fact that for the heavier quarkonium all the correlation lengths of the environment (l env ) are greater than or equal to the size of the ground state (l ψ 0 ), hence the system is mildly perturbed by the medium. The same behaviour is found when one starts off with the excited state and l env > l ψ 1 (see circles and diamonds on the right panel of Fig.9). However, when l env < l ψ 1 (see triangles on the right panel of Fig.9), the bound-state probabilities evolve in time very similarly to the ones in Fig.3 for the lighter quarkonium. In fact, in this case the dissociation process seems slightly more significant for the heavier quarkonium than for the lighter one. Fig.10 shows the time evolution of the bound-state probabilities when the initial state corresponds to a thermal scattering state (T = 0.8 GeV), as defined in eq.(7.3), for a fixed l env . If on one hand the probability of getting the excited state at time t (right panel) does not depend much on the mass of the heavy quark, on the other hand the probability of the scattering state of getting trapped into the ground state is largely dependent on the mass of quarkonium. In fact the left panel of Fig.10 shows that the scattering state with the heavier mass does not tend to form the ground state, whereas the one with the lighter mass clearly does.