the observation of bose - einstein condensation ( bec ) in 1995 was the culmination of a series of experiments carried out with atomic neutral gases @xcite in which macroscopic samples of matter were cool down until quantum degeneracy was reached .
as it is well known , the method of evaporative cooling was the essential technique to reach temperatures below the @xmath0k degrees , necessary for the realization of bec .
this technique works in several stages by lowering the temperature at each step as highly energetic particles are removed from the system .
condensation in macroscopic samples was finally attained at 150 nk at a density of 2.5 @xmath1 @xmath2 @xmath3 for @xmath4rb atoms @xcite , and below @xmath5 @xmath0k at a density of 1 @xmath1 @xmath6 @xmath3 for @xmath7na atoms @xcite .    while there is well established knowledge of ground state and non - equilibrium properties of trapped bec , mostly within the hartree - fock - bogoliubov mean - field approach @xcite , those predictions are restricted to the very low temperature regime where the transition to bec has already occurred .
thus , there is interest in describing the dynamics or kinetics of the formation of the condensate , taking into account the essential mechanism of atomic collisions that end up equilibrating the system once , say , a evaporative cooling step has been performed .    the incorporation of collisional effect has been the main goal in all the formulated kinetic theories so far that describe the dynamics during the formation of a bose - einstein condensate @xcite .
the present work is within such a dynamical description context and it is particularly concerned with the derivation , in the weak coupling limit and the markov approximations , of irreversible master equations for the one body reduced density matrix operator . to be precise ,
our aim is the description of the time evolution of the occupation numbers as the bec transition takes place .    similarly to earlier kinetic formulations , @xcite we work in the born and markov approximations to straightforwardly derive irreversible master equations that describe the dynamics during the formation of a condensate .
as we explain below , we have added the important contribution of bogoliubov to take into account the role played by the condensate below the transition temperature .
we derive kinetic equations appropriate for temperatures @xmath8 and for @xmath9 .
the equations describing the relaxation towards equilibrium for @xmath10 allow us to demonstrate that the ideal bose - einstein distribution with negative chemical potential is the stationary solution for both the ground and excited states , and that the total number of particles as well as the total energy are conserved along the thermalization of each cooling step .
however , since this equation is unable of describing the dynamics for the ground and excited states when the chemical potential becomes zero , that is , for the dynamics below @xmath11 , we derive a novel kinetic equation to properly describe the evolution in time of a weakly interacting bose gas for @xmath12 .
in particular , we consider the fact that when the chemical potential becomes zero , the particles in the separate ground and excited states are not conserved .
thus , we propose to replace the interaction term of the master equation , accounting for every single collision event , by an interaction potential in which the colliding particles arising from the ground state are treated within the bogoliubov approximation @xcite . technically speaking
, we shall consider that the creation and annihilation operators involving the ground state @xmath13 and @xmath14 can be substituted by @xmath15 , with @xmath16 the number of particles in the condensate .
such a practice is well justified by the fact that the number of of particles in the ground state , when the chemical potential is zero , becomes macroscopic , i.e. @xmath17 and thus the matrix elements of the hamiltonian in the number - occupation states appear simply as @xmath15 .
this procedure leads us to obtain a new kinetic equation for the particles in the excited states , exhibiting the correct limits .
the equilibration after each cooling stage can thus be analyzed for all temperatures , above and below @xmath11 .
for the numerical simulation of the kinetic equations we propose here a protocol of energetic cooling .
this scheme consists of several cooling steps in which the temperature in the closed system is decreased while maintaining constant the number of particles .
the temperature at each cooling step is lowered by transferring particles from higher energy levels and distributing them in levels with lower energy .
interatomic collisions re - thermalize the gas to a lower temperature .
in contrast with the evaporative cooling technique , this scheme prevents the system against decreasing the number of particles , yet , by reducing its energy , its density at the center of the trap increases and , thus , degeneracy can be reached .
this protocol may represent an alternative route for the experimentalists to achieve the degeneration regime with a much larger number of atoms than usual .
although it is not the purpose of this article , we suggest that the transferring to lower energy levels may be implemented by means of impulsive anti - stokes stimulated raman scattering @xcite with properly tailored ultrashort microwave pulses , similarly to techniques used with light in single - molecule wavepacket interferometry @xcite .
this work is organized as follows . in section
ii we present the derivation of the kinetic master equations describing the growth dynamics of the condensate for temperatures above and below the critical temperature defining the transition . in section
iii we present numerical results that model the energetic cooling process as several stages are performed in a bosonic gas towards the formation of a condensate .
finally , in section iv a summary of this work is given .
as envisaged by einstein and stated in textbooks , there are two routes to achieve the condensation in a macroscopic system .
one is by lowering the temperature and maintaining constant the density and the other is by increasing the density and keeping constant the temperature . the implementation of the first method requires to put the closed system in thermal contact with a reservoir at a lower temperature , wait for the system to reach thermal equilibrium and then repeat the scheme until the system reaches the transition temperature .
the second route conceives an open system that increases its density being in contact with a reservoir at fixed temperature . as before
, the system reaches an equilibrium state after a relaxation time , and again is placed in contact with a reservoir with larger chemical potential , as part of the sequence , until the transition is reached .
it is important to note that both procedures ensure that the onset of condensation may be achieved in a reversible way . in practice none of these methods
is performed in the laboratory .    in actual experiments , the observation of the bec transition requires to perform several cooling stages in a thermally isolated bose gas , in which a given equilibrium state is perturbed reducing its energy ( and the number of atoms in evaporative cooling ) and then , by a necessarily irreversible process , the system reaches a new equilibrium state with a lower temperature .
this cooling is repeated until the system attains the critical temperature @xmath11 at which the transition to condensation occurs .
our aim in this work is to describe , through quantum kinetic equations , the dynamical process that takes place during the thermalization at each cooling step . to accomplish this goal in this section
we derive the kinetic equations that describe the relaxation process towards the stationary or equilibrium state in each cooling step .
as we shall see , such a description requires to take into account that the cooling process must be divided in two parts , one for temperatures above the critical temperature @xmath11 at which the gas is in the normal phase , and the other for temperatures below @xmath11 when the bec transition to occurs .
the hamiltonian that describes the system consists of an ideal term @xmath18 that takes into account a isotropic harmonic confinement of the atoms , perturbed by a weakly interacting part @xmath19 that models the collisions among the particles . in a second quantization formalism these terms are :    @xmath20    where @xmath21 are the eigenenergies of a single particle confined in a harmonic potential of frequency @xmath22 in three dimensions , @xmath23 .
since the energy of each single particle is characterized by three quantum numbers @xmath24 , @xmath25 , and @xmath26 their corresponding quantum state is denoted as a vector @xmath27 . @xmath28 and @xmath29 are the operators that create and destroy particles in the state @xmath27 . in the expression for single particle energy @xmath21
we have omitted the ground state energy @xmath30 , and as we recall below , this fixes the bec transition at @xmath31 . writing @xmath32 the degeneracy of each energy
is given by @xmath33    regarding the interacting term , we shall assume that the ultracold gas is very diluted and consequently only @xmath34-wave binary collisions are relevant for the dynamics@xcite .
this two - body interaction can be modeled by a contact potential whose interaction strength is proportional to the @xmath34-wave scattering length @xmath35 , assumed positive throughout ,    @xmath36    here and henceforth we identify the transition amplitude elements of equation ( [ interac ] ) as @xmath37 :    @xmath38    where @xmath39 .
our starting point is the derivation , in the weak coupling limit and the markov approximation , of an irreversible master equation for the one body reduced density matrix operator@xcite .
this is the quantum boltzmann equation for the operator @xmath40 that we define below .    as it is well known , the essence of a boltzmann equation is to consider that collisions among the particles are responsible for driving the system towards thermal equilibrium . once in equilibrium
every thermodynamic property depends on single particle properties only .
having in mind this idea , we write first the expectation value of any @xmath41-body single particle operator @xmath42 in the occupation number representation :    @xmath43    where @xmath44 is a one - body operator and @xmath45 is the density matrix of the whole system .
the occupation numbers @xmath46 satisfy @xmath47 . from this expression
we can identify the one body reduced density matrix operator @xmath48 :    @xmath49    where    @xmath50    we notice that by setting @xmath51 the one body reduced density matrix operator becomes the average occupation number in the state @xmath27 :    @xmath52    in order to derive the quantum kinetic master equation for @xmath48 , and in particular the equation for the average occupation number @xmath53 , we start by considering the schrdinger equation for the full density matrix of the system ,    @xmath54 . \label{ecrho}\ ] ]    after we substitute this equation into the resulting expression for the time derivative of equation ( [ gamma ] ) we obtain :    @xmath55 \ } , \label{qkme}\ ] ]    where we have defined @xmath56 .
then , we substitute @xmath57 in equation ( [ qkme ] ) and we obtain ,    @xmath58 \ } + \frac{i}{\hbar } \text{tr   } \ {   \rho ( t ) \left [ v , \gamma_{\vec{i } \vec{j } } \right ] \}.
\label{qkme2}\ ] ]    to find an expression for the density matrix @xmath59 we work in the born approximation , where the perturbative character of the interaction term @xmath19 is considered .
by keeping the first order of the interaction potential for @xmath45 we get :    @xmath60,\ ] ]    with @xmath61 .
now , we insert this last expression for @xmath45 into the quantum kinetic equation ( [ qkme2 ] ) and we obtain :    @xmath62 + \frac{i}{\hbar } \text{tr   } \rho_g ( t ) \left [ v , \gamma_{\vec{i } \vec{j } } \right ] \nonumber\\ & + & \left(\frac{i}{\hbar}\right)^2 \int_0^t d\tau \text{tr   } \ {   \rho_g ( t ) \left [ e^{-\frac{i}{\hbar}h_0\tau } ve^{\frac{i}{\hbar}h_0\tau }   , \left[h_0,\gamma_{\vec{i } \vec{j } } \right ] \right]\ }   \\&+ & \left(\frac{i}{\hbar}\right)^2 \int_0^t d\tau
\text{tr   } \ {   \rho_g ( t ) \left[e^{-\frac{i}{\hbar}h_0\tau } ve^{\frac{i}{\hbar}h_0\tau }   , \left[v,\gamma_{\vec{i } \vec{j } } \right ] \right]\ } .\nonumber\end{aligned}\ ] ]    in order to have the final form of the quantum kinetic master equation , we should take into account the markov approximation which consists in neglecting memory effects in the interacting kernel .
such an approximation is directly related to the time scales involved in the collision integrals . in other words
, we must compare the time scale during the relaxation process against the correlation time arising from the duration of a single collision .
such comparison leads us to analyze the collision integrals on the right - hand side of the last equation .
the elastic collision rate in @xmath4rb is approximately ten per second @xcite .
let us denote by @xmath63 such an elastic collision rate .
since the correlation time involved in a collision is much shorter than the time scale on which the system relaxes to equilibrium , we can extent the upper limit of the collision integrals .
that is , if @xmath64 ,    @xmath65    thus , the kinetic equation takes the form : @xmath66 + \frac{i}{\hbar } \text{tr   } \rho_g ( t ) \left [ v , \gamma_{\vec{i } \vec{j } } \right ] \nonumber\\ & + & \left(\frac{i}{\hbar}\right)^2 \int_0^{\infty } d\tau \text{tr   } \ {   \rho_g ( t ) \left [ e^{-\frac{i}{\hbar}h_0\tau } ve^{\frac{i}{\hbar}h_0\tau }   , \left[h_0,\gamma_{\vec{i } \vec{j } } \right ] \right]\}\nonumber\\   & + & \left(\frac{i}{\hbar}\right)^2 \int_0^{\infty } d\tau \text{tr   } \ {   \rho_g ( t ) \left[e^{-\frac{i}{\hbar}h_0\tau } ve^{\frac{i}{\hbar}h_0\tau }   , \left[v,\gamma_{\vec{i } \vec{j } } \right ] \right]\}.\end{aligned}\ ]
] this is the irreversible master equation for the one body reduced density matrix operator @xmath67 from which collective phenomena that include the formation of vortex states and collective excitations can be treated@xcite .
here we restrict our attention to the evolution in time of the average occupation number @xmath68 , that is , we consider @xmath69 in equation ( [ eccin - t ] )    @xmath70 \nonumber\\ & + & \left(\frac{i}{\hbar}\right)^2 \int_0^{\infty } d\tau \text{tr   } \ {   \rho_g ( t)\nonumber\\ & \times & \left[e^{-\frac{i}{\hbar}h_0\tau } ve^{\frac{i}{\hbar}h_0\tau }   , \left[v,\gamma_{\vec{i } \vec{i } } \right ] \right]\}.\end{aligned}\ ] ]    to evaluate the trace on the right - hand side of equation ( [ maineq ] ) we use wick s theorem to separate each collision term into products of one body reduced density matrix operators .
then , after we substitute both , the ideal and interaction contributions given in ( [ ideal ] ) and ( [ interac ] ) respectively , and consider the summation over repeated indices we find :    @xmath71 \nonumber\\ & + & 2 \text { } v_{\vec{i } \vec { \eta } \vec{l } \vec{i } }   v_{\vec{k } \vec{l } \vec{k } \vec { \eta } }   \text { } \delta _ { \epsilon_{\vec{\eta } } -\epsilon_{\vec{l } } } n_{\vec{i } } n_{\vec{k } } \left ( n_{\vec{l } } - n_{\vec{\eta } } \right ) \},\end{aligned}\ ] ]    where @xmath72 is a dimensionless time .
the terms in the sum on the right - hand side express the energy conservation through the kronecker delta - functions .
since we are dealing with a closed system the total energy @xmath73 and the total number of particles @xmath41 must be conserved . by a simple substitution
one can show that the stationary solution of equation ( [ eccin ] ) for both , the ground state , and the excited states , is the bose - einstein distribution    @xmath74 - 1 } , \label{bed}\ ] ]    where the temperature @xmath75 and the chemical potential @xmath0 can be obtained by imposing the associated normalization conditions on the total energy @xmath76 , and on the total number of particles @xmath77 .
however , if we consider @xmath78 in the bose - einstein distribution ( [ bed ] ) and substitute it in on the right - hand side of equation ( [ eccin ] ) , we find that the left - hand side is zero if and only if @xmath79 .
in other words , for finite temperatures @xmath80 , the ideal distribution for the excited states @xmath81 - 1 } , \label{bose - ex1}\ ] ] is not the stationary solution .
this result is inconsistent with the fact that a non - uniform ideal bose gases can exhibit the bose - einstein transition in two and three dimensions .
therefore , equation ( [ eccin ] ) can only be correct for @xmath10 where @xmath82 . here
, we should emphasize that bec transition occurs in an ideal gas at at @xmath31 since the ground state energy @xmath83 has been neglected .    from a theoretical point of view , the occurrence of the transition to bose - einstein condensation in an ideal gas depends on both , dimensionality and the confining potential where the atoms move @xcite . the combined aspects of dimensionality and isotropy , mathematically expressed in the density of states , determine if bec can occur in an ideal gas @xcite .
a 2d ideal uniform bose gas does not exhibit bec , by contrast to the 2d harmonically trapped one . regarding the 3d case , both the homogeneous and the harmonically trapped gas can have the transition .
however , on the experimental side where interactions participate , the ultracold atomic gases require to be confined in an external potential .
since in the present work we are dealing with a harmonic potential , the ideal distribution ( [ bose - ex1 ] ) should be the stationary solution for the excited states below @xmath11 in 2d and 3d cases , that is , when chemical potential @xmath0 becomes zero .
as mentioned above , however , this does not occur . at equilibrium
, the ideal ditribution @xmath84 given by ( [ bose - ex1 ] ) does not satisfy eq .
( [ eccin ] ) for particles in the excited states unless @xmath79 .
this result suggests that equation ( [ eccin ] ) is unable to describe the dynamics for temperatures below the critical temperature @xmath11 .
therefore , taking into account the underlying physics , an alternative kinetic equation for @xmath78 and @xmath9 must be derived to properly describe the time evolution and equilibration of the gas .
the most important property of a dilute bose gas that has experienced the transition to the condensate state is that as a result of having chemical potential equal to zero , the ground state becomes macroscopically populated . as a consequence of this fact the intensive thermodynamic variables , that adjust to the extensive ones , are exclusively determined by the particles occupying the excited states only .
perhaps a most relevant effect when a bose gas has chemical potential equal to zero , is that the number of particles @xmath41 is no longer a thermodynamic variable .
although in the whole system the number of particles @xmath41 remains constant , the number of particles in the ground and excited states separately are not conserved since there is no energy cost in adding particles from the excited to the ground state and viceversa since @xmath85 . therefore , if one looks at the isolated fractions of particles in the ground and excited states , a continuous process of creation and annihilation of particles ( having @xmath85 ) takes place in each one of them .
the physical process exposed above has not been considered previously , neither in the treatments involving kinetic descriptions , nor in the present one depicted in section [ sectiona ] .
that is , for temperatures below @xmath11 the non conservation of particles in the separated fractions of ground and excited states has not been considered properly in the derivation of the kinetic equations describing the relaxation to the equilibrium state .
the binary collisions are the key element where the non conservation of particles can be taken into account .
since such collisions are the elementary mechanism to reach thermal equilibrium and they involve particles in the ground and excited states , we must have special care in each collision event .
up to now , each pair of particles coming from either the ground state , or the excited states , transform after the collision into a pair of particles that again can occupy the ground state or the excited states , in such a way that there is no distinction between the fractions of particles in the ground and excited states respectively .
however , if we consider the fact stated in the above paragraph regarding the non conservation of particles in the separate ground and excited states , and that the occupation number in the ground state becomes macroscopic @xmath17 , we can proceed in a different way treating separately the ground state and the excited states .
in particular , we can explicitly assume that below the critical temperature , the fraction of the particles in the excited states participating in the collision process is not conserved .
this procedure lead us to derive a new kinetic equation for the excited states . then , by considering the fact that the _ total _ number of particles is conserved we can obtain the number of particles in the ground state by subtracting the particles in the excited states from the total number of particles @xmath41 .    to model a process in which the number of particles in the excited states is not conserved , we first rewrite the interaction term given in equation ( [ interac ] ) including separately the ground and excited states :    @xmath86    where we have made explicit the fact that the ground state is not included in the sums . to take into account that the dynamics in the excited states ( when @xmath31 ) is dictated with no constrains under conservation of the number of particles in such states , we propose to replace the interaction term given in equation ( [ full - int ] ) by    @xmath87    in this expression we have replaced the creation and annihilation operators @xmath13 and @xmath14 by @xmath15 .
this is the bogoliubov approximation @xcite .
the aim behind such an assumption is to consider the macroscopic character of the particle population in the ground state @xmath16 for temperatures ranging below the critical temperature @xmath11 .
taking the expectation value of any single - particle operator lead us obtain a quantity proportional to @xmath16 .
to justify our suggestion let us consider one of terms of the interaction potential ( [ full - int ] ) ,    @xmath88    this term represents the anhilation of particles in the states @xmath89 and @xmath90 , and creation of particles in the states @xmath91 and @xmath92 .
if such a term is substituted by @xmath93 the number of particles in the excited states is explicitly not conserved , although of course , the missing particle belongs to the ground state . in other words , every interaction term in which the ground state participates is now omitted and the total number of particles in the system is conserved . after the expression ( [ int - ex ] ) for the interaction potential is substituted in the master kinetic equation ( [ maineq ] ) we obtain :    @xmath94 \nonumber\\ & & + 2 \text { } v_{{\vec i } { \vec \eta } { \vec l } { \vec i } }   v_{{\vec k } { \vec l } { \vec k } { \vec \eta } }   \text { } \delta _ { \epsilon_{\vec \eta } , \epsilon_{\vec l } } n_{\vec i } n_{\vec k } \left ( n_{\vec l } - n_{\vec \eta } \right ) \ } \nonumber\\ & & + n_{0}\sum_{{\vec k } { \vec i } \neq 0}v_{{\vec \eta}{\vec k}{\vec i } { \vec 0 } } ^2\ { \text {   } 2\delta_{\epsilon_{\vec \eta}+\epsilon_{\vec i},\epsilon_{\vec k}}[n_{\vec k}(1+n_{\vec \eta}+n_{\vec i})-n_{{\vec i}}n_{\vec \eta}]\ } \nonumber\\   & & + \delta_{\epsilon_{\vec \eta},\epsilon_{\vec k }   + \epsilon_{\vec i}}[n_{\vec i } n_{\vec k}-n_{\vec \eta}(1+n_{\vec k}+n_{\vec i})]+ \nonumber \\   & & + 2n_{{\vec 0}}^2\sum_{\vec{k}}\delta_{\epsilon_{\vec \eta},\epsilon_{\vec k } } v^2_{{\vec \eta}{\vec k}{\vec 0}{\vec 0}}(n_{\vec k}-n_{\vec \eta } ) .\end{aligned}\ ] ]    with @xmath95 being @xmath96 is the number of particles in the ground state .    by substituting @xmath97 - 1 } , \label{bose - ex}\ ] ]
one can show that this is the correct stationary solution of eq .
( [ eccin2 ] ) for the excited states , that is , the bose - einstein distribution for zero chemical potential . here
the temperature @xmath75 can be obtained by imposing the associated normalization condition on the total energy @xmath98 .
it is important to emphasize that eq .
( [ eccin2 ] ) for @xmath99 can be obtained in a direct way from eq .
( [ eccin ] ) , for @xmath100 , by separating the contributions of the ground and excited states , and considering that just those terms proportional to @xmath96 must be retained .
that is , if in the separated sums of ground and excited states one neglects those terms in which the number of particles in the ground state does not appear , the derivation of the master equation is sensibly simplified .
in the preceding section we derived the kinetic equations that model a weakly interacting bose gas confined in a harmonic potential under non - equilibrium conditions . these equations for the occupation numbers describe the thermalization process before and after the occurrence of a bec transition in the gas , eqs .
( [ eccin ] ) and ( [ eccin2 ] ) respectively .
that is , for temperatures above the critical temperature @xmath11 where the chemical potential varies as temperature decreases , and for temperatures below @xmath11 where the chemical potential remains equal to zero .    in this section
we present numerical results that model the cooling process as several cooling stages are performed , both for @xmath101 and @xmath102 . while our goal is to show that the growth of a bec can be described via successive thermalization processes , solving numerically equations for @xmath82 and @xmath31 , ( [ eccin ] ) and ( [ eccin2 ] ) respectively
, we shall also point out along the way the difficulties posed by a finite - size calculation . from now on we use dimensionless units @xmath103 .
the frequency @xmath22 will also be used as a dimensionless value , however , as it will be specified we shall compare different cases by keeping constant the so - called generalized density @xmath104 , as indicated by the thermodynamic limit in gases harmonically confined @xcite .      the sums over the states on the right hand side in the kinetic equations for @xmath82 and @xmath31 ( eqs .
( [ eccin ] ) and ( [ eccin2 ] ) ) extend to infinite , and therefore , an infinite number of coupled equations for the occupation numbers @xmath105 must , in principle , be solved . in a real situation ,
however , prior to the first cooling stage , the gas has been precooled by some other methods and the atoms in the bose gas do not occupy very high energy levels , namely , the ratio of their occupation numbers compared to those in the lowest levels is negligible .
a simple calculation shows that for @xmath106 and a typical trap frequency @xmath107 hz , the maximum level occupied in the harmonic confinement corresponds to @xmath108 energy levels . in principle , considering such as the highest occupied level would be a good starting point for studying the dynamics of the condensation , and thus solving a finite number of equations . as we argue in the next paragraph , @xmath109 is still an unattainable situation .
as we discuss below , we shall use @xmath110 as the maximum energy level and even this within the  ergodic " approximation introduced in the following subsection .
there are two numerical tasks that become impracticable as the highest energetic level in the sums of kinetic equations grows .
one is the number of coupled kinetic equations that have to be solved and the other is the determination of the collision integrals @xmath111 . due to the degeneracy that grows with the energy level ( see eq .
( [ degeneracy ] ) ) , the number of coupled equations to be solved increases exponentially .
for instance , for @xmath112 energy levels , there are @xmath113 states , while for @xmath114 one finds @xmath115 states , and thus , those are the number of non - linear coupled equations to solve in each case . on the other hand , since the right hand side of eqs .
( [ eccin ] ) and ( [ eccin2 ] ) involves an enormous number of sums , to be calculated at each time step , the calculation is even harder .
for example , for @xmath114 , the number of operations per iteration is of the order of @xmath116 .
we have estimated the time needed for this in a standard workstation , yielding of the order of @xmath117 seconds .
this poses a very stringent restriction in the number of states ( and thus , levels ) that we can practically include .
therefore , we shall adopt the
ergodic assumption " proposed in ref .
@xcite to deal with the dynamical description of the interacting bose gas .
the basic idea of the ergodic assumption is that the number of particles in a state @xmath118 depends only on the energy of the state @xmath119 , with @xmath120 , just as in thermal equilibrium .
we then write @xmath121 , namely asserting that states with the same energy have the same population .
we recall that there are @xmath122 states with the same energy . to implement the ergodic hypothesis
, we can consider that the initial state is one of thermal equilibrium and then assume it remains ergodic throughout .    using this hypothesis we define an ergodic collision kernel @xcite as @xmath123 with @xmath124 standing for all values @xmath125 .
this collision kernel must be numerically obtained .
here we have calculated the kernel for @xmath126 .
the ergodic kinetic equation for @xmath10 is now , @xmath127 , \end{aligned}\ ] ] while the kinetic equation for @xmath102 becomes , @xmath128 + \nonumber\\   & & + n_{0}\sum_{k i}i_{m k i 0}\{2\delta_{\epsilon_{m}+\epsilon_{i},\epsilon_{k}}[n_{k}(1+n_m+n_i)-n_i n_m]+\delta_{\epsilon_{m},\epsilon_{i}+\epsilon_{k}}[n_i n_k - n_\eta(1+n_k+n_i)]\}.\nonumber\\ & & n_{0}(\tau)=n-\sum_{m}n_m(\tau)\end{aligned}\ ] ] and we recall that the sums in the former case start with 0 , while in the latter they begin with 1 .
using the ergodic approximation lead us to reduce significantly the number of coupled equations .
that is , for @xmath129 , one must solve only @xmath129 non - linear coupled equations .
nevertheless , the ergodic collision kernel given by equation ( [ kernel ] ) still remains as a numerical challenge since the number of terms in the sums grow exponentially . for @xmath130 levels the estimated time to calculate the ergodic kernel is approximately @xmath131 seconds , while for @xmath114 it reduces to @xmath132 seconds , a reasonable time . to the best of our knowledge ,
@xmath133 levels for the calculation of the ergodic collision integrals @xmath134 is the highest performed so far .
we shall use this number of levels , within the ergodic hypothesis , to numerically simulate an energetic cooling protocol , as it is now described .      for our study
we propose an energetic cooling protocol .
this scheme consists in maintaining fixed the number of particles during the whole cooling process while several energetic cooling stages lead the system to decrease its temperature .
the basic idea of cooling consists in transferring particles from higher energy levels to lower ones .
the system , being then out of equilibrium , will evolve to the equilibrium state via the kinetic equations . once in equilibrium with a lower temperature ,
the process of particle redistribution is performed several times to follow the evolution towards condensation .
fig.[fig1 ] illustrates , in a diagram @xmath41 vs @xmath80 , a possible sequence of an energetic cooling process .
the horizontal dashed ( red ) line shows a non - equilibrium process at constant number of particles that , starting from a temperature @xmath8 , crosses the solid ( black ) line which represents the number of particles @xmath41 in the excited states as a function of the critical temperature @xmath11 , namely , the onset of bose - einstein condensation .     for @xmath31 , for @xmath135 ,
while the dashed horizontal line represents a cooling sequence at constant number of particles.,width=336 ]    an energetic cooling mechanism may be implemented via  stimulated anti - stokes raman - like " processes , as described in section i. the numerical simulation is initiated by distributing @xmath41 particles following the bose - einstein statistics in the first 40 levels . to perform the first energetic cooling step we remove the particles lying , say , in level @xmath136 , and distribute them uniformly in the level @xmath137 for @xmath138 .
the system is allowed to evolve @xcite through equations ( [ eccinergo ] ) , for @xmath139 which corresponds to @xmath9 , until it reaches the equilibrium state associated to this first cooling stage .
this process is successively repeated to follow the transition towards the condensation transition .
once the transition is crossed , the dynamics should follow that of equations ( [ eccinergomu ] ) , corresponding to @xmath99 and @xmath9 . as we shall discuss in detail , due to the finite number of particles
, there is a clear crossover between the solutions of the two ergodic sets of equations , rather than a sharp , discontinuous transition , as expected in the thermodynamic limit .    to make use of the energetic cooling protocol we prepare the initial state considering the maximum energy level allowed by our computational capabilities . to ensure that all the particles participate in the dynamics during each energetic cooling step
, it is necessary to select initial appropriate values of @xmath0 and @xmath80 . in fig .
[ fig2 ] we plot the occupation number as a function of energy level in a harmonic oscillator for three pairs of values of @xmath80 and @xmath0 , indicated in the figure .
as it can be seen from this plot , the number of particles below the level @xmath140 depends on the values of @xmath80 and @xmath0 .
given a fixed values of @xmath80 and @xmath0 , one can estimate the relative number of particles above @xmath140 through    @xmath141    with @xmath142 and @xmath143 the corresponding value of @xmath41 for an  infinite " number of states @xmath144 .     and temperature @xmath80 .
the vertical line indicates the maximum number of energy levels considered in our numerical simulations.,width=336 ]    for practical purposes we have selected two pairs of initial values of temperature @xmath80 and chemical potential @xmath0 to illustrate the predictions of the kinetic equations for @xmath139 and @xmath99 ( equations ( [ eccinergo ] ) and ( [ eccinergomu ] ) ) .
these values are , ( @xmath145 ) and ( @xmath146 ) .
such values of @xmath80 and @xmath0 ensure that less than 6 and 8 percent of particles respectively will remain above the @xmath140 level .
thus , one can make certain that the majority of the particles will participate in the dynamics , at each cooling stage across the condensation transition .
up to @xmath140 energy level the number of particles in each case is @xmath147 and @xmath148 .
the critical temperatures for @xmath149 and @xmath135 are @xmath150 and @xmath151 respectively .
first we proceed to analyze the predictions of equations ( [ eccinergo ] ) for @xmath149 , namely for the initial state @xmath145 . in fig .
[ fig3a ] we plot the growth of the normalized number of particles in the ground state @xmath96 along the whole cooling protocol as a function of the dimensionless time @xmath152 , with a time step of @xmath153 @xcite . as it can be seen from figure [ fig3a ] ,
the growth of @xmath96 as a function of time is not a linear function . at earlier cooling stages
there is an efficient cooling .
then , once the system enters into the condensation transition the growth rate of particles in the ground state decreases .
this fact is a consequence of having most of the particles in the ground state and an almost empty population in the excited states .
we notice that this is accompanied by the fact that in the latest stages the chemical potential is essentially zero ; we further discuss this point below .
the cooling process modeled through the protocol allows us to follow the evolution of the temperature and chemical potential as consecutive energetic cooling stages are carried out . at each energetic cooling stage
the gas thermalizes at well defined values of @xmath0 and @xmath80 ; these are obtained by fitting the bose - einstein distribution function to the corresponding stationary distributions @xmath154 at each stage , namely , the stationary values are fit with @xmath155 with @xmath139 since we are following the dynamics across the transition with the kinetic equation ( [ eccinergo ] ) . in fig .
[ fig3b ] we plot the stationary distributions of the occupation numbers @xmath154 .
different curves correspond to equilibrium values @xmath80 and @xmath0 , at different cooling stages as indicated in the legend .
the curves lying on the points correspond to the best bose - einstein distribution fit .
as one can observe from this figure , as @xmath80 decreases and @xmath0 approaches zero from below , the number of particles in the condensate becomes the majority with respect to those associated to the excites states . as a matter of fact in figure [ fig3b ]
we have omitted the stationary distributions of @xmath96 associated to @xmath156 and @xmath157 and @xmath158 and @xmath159 , since they would appear out of scale .
different curves in [ fig3b ] indicate the path towards the onset of degeneracy , that is , the behavior of the ground state occupation number as @xmath160 .
two important facts we stress here , first , that around @xmath161 , bec seems to develop ; but second , due to finite , actually rather small , number of particles , the chemical potential does not become zero , although it does becomes very small .
that is , it is not possible to observe a sharp transition .
this can be further observed in fig .
[ fig4 ] where we plot the chemical potential @xmath0 as a function of @xmath80 , for @xmath162 and @xmath135 number of particles . from this figure
one can observe how for @xmath135 the transition becomes more apparent and it should tend towards a true sharp transition in the thermodynamic limit @xmath163 @xcite . this behavior may seem to indicate that , since the chemical potential does not become zero unless in the thermodynamic limit , the kinetic equations for @xmath139 may suffice to describe the dynamics correctly , as done in refs .
@xcite for example .
it is the purpose of this section to highlight the importance of the kinetic equations for @xmath78 .     as a function of @xmath80 along the whole sequence of energetic cooling .
circles and squares are symbols that label @xmath162 and @xmath135 respectively for kinetic equation ( [ eccinergo ] ) for @xmath82 .
black solid line is associated to the thermodynamic limit.,width=336 ]    to enquiry the predictions of kinetic equations for @xmath31 and then to contrast them with those associated to the equation for @xmath82 we proceed in an analogous way to that described above .
that is , we simulate numerically the scheme of an energetic cooling protocol but now with equations ( [ eccinergomu ] ) for @xmath31 .
we illustrate our numerical results for @xmath135 initiating at @xmath164 ( @xmath151 ) .
since the chemical potential in this case is zero we obtain the value of @xmath80 by fitting to the stationary occupation numbers the ideal bose - einstein distribution for @xmath31 ,    @xmath165    in fig .
[ fig5a ] we plot the time evolution of the condensate @xmath96 during the whole energetic cooling process .
once more , at the start , the cooling is very efficient , but as @xmath166 , it slows down since there are very few particles in the excited states . in fig .
[ fig5b ] , we plot the number distribution as a function of the energy level , for different temperatures .
bec is clearly described for @xmath9 by using the corresponding equations ( [ eccinergomu ] ) tailored for @xmath99 .
this dynamics is very precise , less sensitive to finite size effects , and can be extended with no problem all the way to @xmath167 .
we now compare the solutions both for @xmath168 with @xmath99 , in the light of finite size effects and the limited number of levels we can use .    in figs .
[ fig6a ] and [ fig6b ] we illustrate in a diagram @xmath169 vs @xmath170 the stationary normalized number of particles in the ground and excited states for @xmath135 along the cooling process .
[ fig6a ] shows a cooling process starting at a temperature @xmath8 and going to a temperature as low as possible , using the kinetic equations for @xmath139 , eq .
( [ eccinergo ] ) .
[ fig6b ] shows a cooling initiating at @xmath8 but using equations ( [ eccinergomu ] ) valid for @xmath99 only and , again , going towards @xmath167 .
the curves in black are the results in the thermodynamic limit , showing the above mentioned sharp transition .
several comments are in order .
first of all , the solution for @xmath139 , while the bec transition is rather smooth , simply due to finite size effects , it appears that it can be extended to very low temperatures , near @xmath167 , where it is supposed no to be quite valid .
this robustness is because the chemical potential can become very small , though not quite zero , see fig .
as we discuss below , the solution for @xmath139 becomes numerically unstable as @xmath166 . on the other hand ,
the kinetic equations for @xmath99 become extremely good in the vicinity @xmath167 , notwithstanding the small number of particles .
this is so , because @xmath114 energy levels suffices to describe the part of the gas in the excited states .
as expected , this solution becomes less confident as @xmath171 from below , and similarly to the equations for @xmath139 near absolute zero , the numerical description for @xmath168 becomes unstable as bec transition is approached .
one expects that in the limit of very large number of particles , and large number of levels included in a numerical calculation , the limitations of both descriptions in the regions where are not supposed to be valid , should be more apparent .
this is further discussed below .
[ fig7a ] and [ fig7b ] show details of calculations near @xmath167 and @xmath139 , eq .
( [ eccinergo ] ) , and for near @xmath11 and @xmath99 , eq .
( [ eccinergomu ] ) , respectively .
the purpose of these figures is to exemplify the numerical instabilities of the corresponding descriptions .
[ fig7a ] shows the number of particles in the condensate , with @xmath139 , with a very large number of particles , @xmath172 , which can be performed due to the very small value of the temperature .
one sees , first , that the solution deviates from the that of the thermodynamic limit ( solid line ) , then it becomes unstable .
the simpler explanation is that , at these temperatures @xmath0 must be zero , but the fitted bose - einstein distribution given by eq .
( [ bed ] ) can not take @xmath99 for a divergence would occur . although not shown here , the solution for @xmath99 fits smoothly the solid curve all the way down to @xmath167 . on the other hand , fig .
[ fig7b ] shows the stationary total occupation number in the excited states for @xmath99 and @xmath9 .
similarly to the previous case , as @xmath11 is approached , a numerical difficulty arises in the form of a double valued solution .
again , this exhibits that this solution requires not only more particles but more equations for higher energy levels .
it is satisfactory , nevertheless , to find that , apart from near the vicinity of @xmath11 , the solution for @xmath99 , which explicitly takes the bogoliubov approximation into account , fits extremely well the curves of the thermodynamic limit .
we have studied the cooling process that leads a low - interacting bose gas confined in a harmonic potential to reach the bose - einstein transition . for this purpose
we modeled the reduction of temperature in the gas through an energetic cooling protocol . in an analogous way to the evaporative cooling mechanism
, the fundamental principle behind such a process , is that the temperature in a gas can be reduced in several stages by removing selectively the most energetic particles , and then allowing the system to thermalize to an equilibrium state with a lower temperature .
the essential mechanism that leads the low interacting gas to reach the equilibrium state are the inter particle collisions .
thus the path to equilibrium at each cooling step can be followed dynamically through a quantum kinetic boltzmann description .
we derived the equations that describe the relaxation to the equilibrium in the gas taking into account that the cooling process must be divided in two parts , one for temperatures above the critical temperature @xmath11 at which the gas is in the normal phase , and the other for temperatures below @xmath11 when the transition to bose - einstein condensation takes place .    to derive the irreversible master equations for the one body reduced density matrix operator in both cases ( @xmath10 and @xmath12 )
, we worked in the born and markov approximations that assume the perturbative character of the interaction term that represents the collisions among the particles , and that memory effects of the collision kernel are negligible , respectively . among the dynamics of any one - body reduced density matrix operator @xmath173
, we specifically followed the evolution in time of the occupation number operator @xmath174 to determine the particle population , in a single quantum state @xmath175 , as a function of time during the thermalization process .
first , based on the fact that bose - einstein condensation can occur in a harmonically trapped bose gas in two and three dimensions , we derived for @xmath10 the kinetic equation that describes the relaxation to a stationary state of a collection of particles out of equilibrium , eq .
( [ eccin ] ) .
we demonstrated that such equation satisfies that the total energy and the total number of particles are conserved , and that the ideal bose - einstein distribution with @xmath176 is the stationary solution of equation ( [ eccin ] ) for both the ground state , and the excited states .
however , since equation ( [ eccin ] ) does not describe the dynamics for the ground and excited states when the chemical potential becomes zero or the temperature diminishes below @xmath11 , we derived a new kinetic equation , taking into account the underlying physics using the bogoliubov approximation @xcite , to properly describe the evolution in time of a low - interacting bose gas for @xmath12 .
the quantum kinetic equation for @xmath12 was derived considering the physical significance of the fact that the chemical potential remains unchanged at the occurrence of the bose - einstein transition .
in other words , we took into account that the thermodynamic state of the system is solely determined by the particles occupying the excited states . and
therefore , considering the fact that the number of particles @xmath41 is no longer a thermodynamic variable although the total number of particles in the whole system remains constant . to derive a new kinetic equation considering this facts , we proposed to replace the interaction term that accounts for every single collision event , by an interaction potential in which the colliding particles arising from the ground state are treated within the bogoliubov approximation .
this means that the creation and annihilation operators involving the ground state @xmath13 and @xmath14 can be substituted by @xmath16 , being @xmath16 the number of particles in the condensate .
such an assumption lead us to end up with an equation , eq .
( [ eccin2 ] ) , that describes the dynamics below @xmath11 for which the chemical potential no longer varies , but is equal to zero .
we have presented a numerical simulation employing equations ( [ eccin ] ) and ( [ eccin2 ] ) to model the process of the bose - einstein condensation . to achieve this purpose we implemented an energetic cooling protocol .
this scheme consist of maintaining fixed the number of particles during the whole cooling process while several energetic cooling stages lead the system to decrease its temperature .
to lower the temperature we considered a given number of particles distributed according to the bose - einstein statistics , then , we removed the particles occupying the highest excited states and distribute them uniformly in the remaining lowest states . the system was allowed to evolve via the kinetic equations towards the equilibrium state .
the process of particle redistribution is repeated successively to follow the evolution towards the condensation . in our numerical simulation
we were able to handle with up to 40 energy quantum levels of the harmonic oscillator in 3d .
to the best of our knowledge this is the highest energy level numerically computed up to now .
we solved the system of coupled kinetic equations considering the ergodic assumption .
the cooling sequence allowed us to follow the sequence of the growing of particles in the ground and excited states .                      c. w. gardiner , p. zoller , r. j. ballagh , and m. j. davis , phys .
lett . * 79 * , 1793 ( 1997 ) ; d. jaksch , c. w. gardiner , k. m. gheri , and p. zoller , phys .
a * 58 * , 1450 ( 1998 ) ; c.w .
gardiner and p. zoller , phys .
a * 58 * , 536 ( 1998 ) ; d. jaksch , c. w. gardiner , and p. zoller , * 56 * , 575 ( 1997 ) ; c. w. gardiner and p. zoller , phys .
a * 55 * , 2902 ( 1997 ) ; m. d. lee and c. w. gardiner phys . rev .
a * 62 * 033606 ( 2000 ) .
w. brenig , _ statistical theory of heat : non - equilibrium phenomena _ ( springer - verlag , berlin,1989 ) , p214 - 220 , j. keiser , _ statistical theory of non - equilibrium processes _ ( springer , berlin , 1987 ) , p161 - 169 ( 1987 ) , h.j .
kreuzer,_non- equilibrium thermodynamics and its statistical foundation _
( clarendon press , oxford,1981 ) , p296 - 321 .
such effect is a consequence of demanding that the majority of particles participate in the dynamics , that is , that they occupy states below @xmath179=40 . for @xmath180 and @xmath181 ,
the values of @xmath80 and @xmath0 are @xmath182 , @xmath183 , @xmath184 and @xmath185 respectively .