the dynamical behavior of large populations of nonlinearly coupled oscillators may describe many phenomena in physics , biology and medicine , @xcite .
in particular synchronization of mean - field coupled phase oscillators with different natural frequencies is nicely illustrated by kuramoto s well - known and extesively analyzed model @xcite . to describe certain biological phenomena ,
inertial effects should be added to this model . in @xcite
, ermentrout revisited the special problem of self - synchronization in populations of fireflies of a certain kind ( _ the pteroptyx malaccae _ ) . compared to observed behavior
, the approach to oscillator synchronization as described by the kuramoto model seems to be too fast .
thus a more appropriate adaptive frequency model has been proposed in @xcite , where the natural frequency of an oscillator is a new independent variable , which is allowed to vary with time .
thus an oscillator is described by its phase and frequency . from the mathematical standpoint ,
the new model is governed by a system of coupled second - order differential equations containing inertial terms , in contrast to the system of first - order differential equations governing the kuramoto model .
indeed inertia slows down synchronization and this may result in better agreement between theory and experimental measurements .
other possible biological applications of ermentrout - type models include after - effects in alterations of circadian cycles in mammalians , cf .
@xcite    a different set of applications for oscillators with inertia include power systems described by the swing equations @xcite , or by hamilton equations @xcite .
an important technologically relevant application is the study of superconducting josephson junctions arrays @xcite . here
inertial terms describe the effect of nonzero electrical capacitance .
such effect is often far from being negligible , and it is absent in the kuramoto model , @xcite .    in this paper , we consider the model equations of ref .
@xcite , @xmath2 where @xmath3 , @xmath4 and @xmath5 denote phase , frequency and natural frequency of the @xmath6th oscillator , respectively .
the natural frequencies are distributed with probability density @xmath0 , which may have a single maximum ( _ unimodal _ distribution ) , or several peaks ( _ multimodal _ distribution ) .
the positive parameters @xmath7 and @xmath8 are the `` inertia '' and the coupling strength , respectively .
the complex order parameter defined by @xmath9 measures phase synchronization : @xmath10 if the oscillators are synchronized and @xmath11 if not .
finally , @xmath12 s are independent identically distributed gaussian white noises , with @xmath13 .
white noise terms were not included in @xcite .
when the inertial terms vanish , @xmath14 , eqs .  (
[ 1 ] ) and ( [ 2 ] ) are exactly the kuramoto model .    typically , _
n _ is very large , and oscillator synchronization is conveniently analyzed in the limiting case of infinitely many oscillators . in this limit ,
models with mean - field coupling are described by an evolution equation for the one - oscillator probability density , @xmath15 , @xcite . for the present model
this equation is @xcite @xmath16 -\omega\frac{\partial \rho}{\partial\theta}\ , , \label{fpe}\end{aligned}\ ] ] where the order parameter is now given by @xmath17 equations ( [ fpe ] ) and ( [ order ] ) should be supplemented with appropriate initial and boundary data ( @xmath18 is @xmath19-periodic in @xmath20 and has suitable decay behavior as @xmath21 ) plus the normalization condition , @xmath22 differentiating @xmath23 with respect to time , and then using eq .
( [ fpe ] ) itself , together with periodicity in @xmath20 and decay in @xmath24 , we find that the left side of ( [ norma ] ) is time independent .
normalization to unity of the initial probability density then implies ( [ norma ] ) for the solution of ( [ fpe ] ) .    in this paper
, we study oscillator synchronization and transition from incoherence to synchronization in the model ( [ fpe ] ) - ( [ norma ] )
. the incoherent solution of ( [ fpe ] ) - ( [ norma ] ) ( or simply _ incoherence _ ) is a stationary solution which is independent of @xmath20 .
this solution asigns equal probability to all angles and has @xmath25 ( no order ) , so it corresponds to lack of oscillator synchronization .
there are synchronized solutions which branch off from incoherence as the coupling among oscillators is increased .
these bifurcations describe the synchronization transitions , which we have analyzed and compared to the corresponding ones in the kuramoto model .
our main results are that inertia : ( i ) may stabilize incoherence , making it harder to synchronize oscillators , and ( ii ) it may harden the synchronization transition . in the kuramoto model ( @xmath14 ) or with oscillators with identical natural frequencies ,
the synchronization transition is soft ( supercritical bifurcation ) , whereas it may become hard ( subcritical bifurcation ) if the distribution of natural frequencies has a nonzero spread ( unimodal lorentzian distribution ) or several peaks ( e.g. , a discrete bimodal distribution ) .
the methods we have used in our analysis are similar to those previously employed in the kuramoto model @xcite : linear stability of incoherence , bifurcation analysis , high - frequency singular perturbations and numerical solutions .
an important difference is that now we do not have an explicit functional form for stationary solutions ( as it was the case for the kuramoto model ) .
this has led us to use mode - coupling expansions of the solution and solving the corresponding mode - coupling equations .
solutions of these equations in close form are not always accesible , so that we have introduced some closure assumptions .
the results of these uncontrolled assumptions have been compared to direct simulations or to approximate amplitude equations and found reasonable in the limit of small inertia .
the rest of the paper is as follows . in section
ii , we find the incoherent solution and study its linear stability for several natural frequency distributions .
results are compared with those obtained in the massless case @xcite .
it is found that the critical coupling needed to destabilize incoherence increases with @xmath7 for `` unimodal '' frequency distributions of the lorentzian type .
the critical coupling is independent of @xmath7 when @xmath26 . in this case
the time needed to reach synchronization increases as @xmath7 increases . if @xmath27/2 $ ] ( discrete bimodal distribution ) , the critical coupling may grow or decrease with @xmath7 depending on the values of @xmath28 . in section iii ,
we construct other stationary solutions by two procedures : an amplitude expansion for solutions branching off from incoherence and a general expansion in hermite polynomials which is appropriately truncated .
an exact analytical solution is obtained if @xmath29 ( cf .
@xcite ) , while analytical approximations for small @xmath7 and @xmath30 are available in the general case .
we have observed that inertia tends to _ harden _ the synchronization transition : in the kuramoto model ( @xmath14 ) or with oscillators with identical natural frequencies , the synchronization transition is soft ( supercritical bifurcation ) , whereas it becomes hard ( subcritical bifurcation ) in the cases of unimodal lorentzian or discrete bimodal frequency distributions . in section iv , we obtain approximations to stable time - dependent solutions of eq .
( [ fpe ] ) in the `` high frequency limit '' , @xmath31 @xcite .
there are partially synchronized nonlinearly stable solutions of standing wave type , as in the kuramoto model @xcite ) .
finally , numerical results are presented in section v , and compared to the approximate or exact solutions of previous sections .
two appendices at the end are devoted to technical details .
the incoherent solution is a @xmath20-independent stationary solution of ( [ fpe ] ) .
its order parameter is @xmath25 according to ( [ order ] ) .
then eqs.([fpe ] ) , decay as @xmath21 and the normalization condition ( [ norma ] ) yield the incoherent solution : @xmath32 to analyze its linear stability , let us consider a small disturbance about incoherence , @xmath33 where @xmath34 .
normalization of @xmath15 then implies @xmath35 we now introduce ( [ perturb ] ) into ( [ fpe ] ) and ( [ order ] ) and equate like terms in @xmath36 . to order @xmath36 ,
the result is @xmath37 - \frac{d}{m^2}\frac{\partial^2 \eta}{\partial \omega^2 } = \nonumber\\ -\frac{k\ , \frac{\partial\rho_{0}}{\partial\omega}}{m}\ , \int_0^{2\pi}\int_{-\infty}^{+\infty}\int_{-\infty}^{+\infty } \eta(\phi,\omega,\omega , t)\ , \nonumber\\ \times \sin(\phi-\theta)\ , g(\omega ) d\omega d\omega d\phi . \label{eta}\end{aligned}\ ] ] we now insert a trial solution @xmath38 ( which is @xmath19-periodic in @xmath20 ) into ( [ eta ] ) , thereby obtaining @xmath39 where we have defined the scalar product @xmath40 notice that @xmath41 and that @xmath42 because of the normalization condition ( [ zero ] )
.    equation ( [ eqb ] ) can be transformed into a nonhomogeneous parabolic cylinder equation by the following change of variable : @xmath43\ , \beta_n ( w;\omega,\lambda ) , \label{beta1}\\ w = \sqrt{{m\over d}}\ , ( \omega - \omega + 2ndi ) .
\label{beta2}\end{aligned}\ ] ] inserting ( [ beta1 ] ) and ( [ beta2 ] ) into ( [ eqb ] ) , we obtain @xmath44\ , \beta_n = \quad \nonumber\\ i\pi k { \partial\rho_{0}\over \partial \omega } e^{{1\over 4}(w-2i\sqrt{md})^{2}}\ , \langle 1 , e^{-{1\over 4}(w-2i\sqrt{md})^{2 } } \beta_1 \rangle\ , \delta_{n,1}.   \label{beta3}\end{aligned}\ ] ] ( recall that @xmath45 when using the definition of scalar product ) .
let us assume now that @xmath46 and that @xmath30 is a fixed real number .
then the right hand side of ( [ beta3 ] ) is zero and the resulting equation has the following eigenvalues @xmath47 associated to the eigenfunctions @xmath48 which are independent of @xmath49 and @xmath30 . in this formula , @xmath50 and @xmath51 are the parabolic cylinder function and the hermite polynomial of index @xmath52 , respectively @xcite .
the eigenvalues @xmath53 of ( [ beta4 ] ) , with @xmath54 , @xmath55 and @xmath30 belonging to the support of @xmath0 , constitute the continuous spectrum of the linear stability problem .
in fact , a nonhomogeneous linear problem with a homogeneous part given by ( [ beta3 ] ) can not be solved for an arbitrary source term if @xmath56 .
notice that the continuous spectrum lies to the left side of the imaginary axis if @xmath57 and @xmath58 .
then the `` eigenvalues '' ( [ beta4 ] ) have negative real parts ( and therefore correspond to stable modes ) .
as we have already said , the neutrally stable modes with @xmath59 have zero amplitude due to the normalization condition ( [ zero ] ) .
if @xmath60 , we can solve ( [ eqb ] ) by means of an expansion in eigenfunctions @xmath50 , @xmath61 . to obtain the generalized fourier coefficients of @xmath62 ,
we multiply both sides of ( [ eqb ] ) by @xmath50 and integrate over @xmath63 . as @xmath64 ( orthogonality condition , cf .
 7.711.1 of @xcite ) , the result is @xmath65 where @xmath66    once we have found @xmath62 , we can calculate the scalar product @xmath67 .
since this scalar product appears as a factor in both sides of the resulting expression , we can divide by it , thereby obtaining an eigenvalue equation for @xmath68 : @xmath69 in appendix a , we show that this equation may be rewritten as @xmath70 where @xmath71 is defined as @xmath72 the result of evaluating this integral is ( cf .
appendix a ) : @xmath73 inserting ( [ beta11 ] ) in ( [ beta9 ] ) , we obtain @xmath74 as @xmath75 , this equation coincides with that obtained for the kuramoto model , @xcite .
equation ( [ dispersion3 ] ) can be rewritten in terms of incomplete gamma functions as follows @xcite : @xmath76 { g(\omega ) d\omega\over ( md)^{m(\lambda+d+i\omega ) } } \nonumber\\ = \int_{-\infty}^{\infty } \left[1 - { ( \lambda + i\omega)m e^{m d } \gamma ( m(\lambda+d+i\omega),md)\over ( md)^{(\lambda+d+i\omega)m } } \right ] \nonumber\\ \times g(\omega)\ , d\omega\ , , \label{gammaf}\end{aligned}\ ] ] where @xcite @xmath77    > from now on , we analyze eq .
( [ dispersion3 ] ) for special frequency distributions : +    \(a ) _ unimodal frequency distribution _ , @xmath1 .    in this case
we show that if @xmath78 , then @xmath79 .
thus , the eigenvalues that may acquire a positive real part are real . then the critical coupling is obtained by setting @xmath80 . by subtracting from eq.([dispersion3 ] ) its complex conjugate , we obtain @xmath81 where @xmath82}.\ ] ] notice than the even function @xmath83 decreases monotonically with im@xmath84 . on the other hand , @xmath85 tends to zero , as @xmath86 , and @xmath87 thus @xmath85 does not vanish at finite values of im@xmath68 , and therefore the only solution of ( [ zeros ] ) is im@xmath80 . setting now @xmath80 , equation ( [ dispersion3 ] ) yields the critical coupling @xmath88 , @xmath89 = 1 , \quad \mbox{and therefore } \nonumber\\ k_c=2d.\label{unimodalkc}\end{aligned}\ ] ]
figures [ lsu1 ] and [ lsu2 ] show the largest eigenvalue @xmath68 as a function of @xmath7 and @xmath8 . to compute @xmath68 numerically , we used from eq .
( [ perturb ] ) , and ( [ trial ] ) , that the amplitude of the order parameter is @xmath90 close to incoherence .
then , the goal is to simulate the evolution of the system , choosing the initial condition sufficiently close to the incoherent solution , and obtain numerically the amplitude order parameter @xmath91 .
[ lsu2 ] shows that different eigenvalue curves ( for different @xmath7 ) intersect the horizontal axis , @xmath80 , _ at the same value of _
@xmath8 , as expected from eq .
( [ unimodalkc ] ) .
\(b ) _ unimodal lorentzian frequency distribution _ , @xmath92 .    eq .
( [ dispersion3 ] ) becomes @xmath93 = \frac{k}{2}m\,e^{md } \nonumber\\ \times ( m\,d)^{-m(\lambda+d+\varepsilon ) } \left[(m\,d)^{-m(\lambda+d+ \varepsilon)-1}\ , e^{-m\,d } \right .
\nonumber\\ \left .
-\gamma ( m(\lambda+d+\varepsilon),m\,d)\left(\frac{\lambda+d+ \varepsilon}{d}-1\right ) \right ] \label{lorentz}\end{aligned}\ ] ]    an explicit solution for @xmath68 can not in general be found .
thus , we consider several limiting cases corresponding to physically interesting parameter choices . in the small noise limit , @xmath94
, we consider the cases @xmath95 @xmath96 fixed , and @xmath97 @xmath98 .
it is remarkable that the expansion @xmath99 where @xmath100 , @xmath101 , holds in both cases . if @xmath102 , @xmath103 , ( [ tt ] ) holds as a convergent expansion , @xcite .
if @xmath104 , and @xmath105 ( with fixed @xmath68 and @xmath36 of order 1 ) , ( [ tt ] ) holds as an asymptotic expansion , @xcite . inserting ( [ tt ] ) in eq .
( [ lorentz ] ) , we obtain @xmath106 \label{lorentz1}\end{aligned}\ ] ] similarly to the unimodal case , it is possible to prove that @xmath68 is always real . to this purpose ,
notice that replacing @xmath107 in eq .
( [ lorentz ] ) with @xmath68 in eq .
( [ dispersion3 ] ) ( setting @xmath108 ) we obtain the same equation .
the critical coupling @xmath88 is then found by setting @xmath80 in ( [ lorentz1 ] ) . in case @xmath95
, we have @xmath109 in the limit of vanishing mass , we recover the result @xmath110 valid for the kuramoto model @xcite .
another important limit is @xmath111 , which reproduces the unimodal distribution .
we find @xmath112 , _ independently _ of mass .
thus the spread in frequency distribution plays an important role in synchronizing populations of oscillators affected by inertia .    in case @xmath97 , eq .
( [ lorentz1 ] ) yields @xmath113 from which @xmath114.\ ] ] this quantity is always real and vanishes for @xmath115 .
note that @xmath116 grows roughly linearly with @xmath7 .
thus oscillator synchronization is made harder by increasing inertia in the limit of vanishing noise .
this behavior is slightly different from that described in @xcite .
there numerical simulations seemed to show that incoherence remains stable up to a critical coupling , which was independent of @xmath7 .
the singular nature of the limit @xmath117 makes the cause of this discrepancy unclear , although we should mention that no stability analysis was conducted in @xcite . in the opposite limit @xmath118 , @xmath119 , and
incoherence is always stable .
the stability diagram in the parameter space ( @xmath36,@xmath8 ) is shown in figure [ lsl1 ] for @xmath120 , and compared to that of the kuramoto model ( @xmath14 ) .
this diagram is obtained from eq .
( [ lorentz ] ) with @xmath80 , for fixed @xmath121 and @xmath7 . in this figure , we have also plotted the evolution of the order parameter amplitude for the parameter values marked in the stability diagram by ( 1 ) to ( 4 ) .
in all cases , the initial condition is taken sufficiently close to the incoherent solution , @xmath25 .
\(c ) _ bimodal frequency distribution _ , @xmath122 $ ] .    eq .
( [ dispersion3 ] ) becomes @xmath123 } { [ m(\lambda+d)+n]^2+m^2\omega_0 ^ 2 } = 1.\label{beta12}\end{aligned}\ ] ] in the high frequency limit , @xmath124 , we can find an analytical formula for @xmath68 by inserting the following asymptotic expansion for the incomplete gamma function in ( [ gammaf ] ) @xcite , @xmath125 where @xmath126 , and @xmath127 .
the result is @xmath128 which yields @xmath129 re@xmath130 gives the same critical coupling as the kuramoto model , @xmath131 , for the same bimodal frequency distribution @xcite .
figure [ lsb1 ] shows the stability diagram , which is obtained from eq .
( [ beta12 ] ) with re@xmath80 , for @xmath132 and three different mass values @xmath133 .
the stability diagram of the kuramoto model ( @xmath14 ) is also depicted .
notice how the curves corresponding to differerent masses tend to @xmath134 as @xmath124 , as expected .
fig.[lsb2 ] displays the evolution of the order parameter amplitude in different regions of the stability diagram corresponding to @xmath135 and @xmath132 .    in conclusion ,
increasing @xmath7 , @xmath121 , @xmath36 ( inertia , noise , and frequency spread ) makes it more difficult to synchronize the oscillator population via stationary bifurcations from incoherence .
inspired by the previous linear stability analysis , we shall expand the distribution function using a basis of parabolic cylinder functions ( or , equivalently , hermite polynomials ) of unit mean square norm @xcite , @xmath136 in ( [ expansion ] ) , we have defined @xmath137 so that @xmath138 . the functions @xmath139 are @xmath19-periodic in @xmath20 , and we have @xmath140 as it follows from the normalization of @xmath141 .
we shall find a system of mode - coupling equations for the coefficient functions @xmath142 .
then we shall try to find stationary solutions for different frequency distributions @xmath0 .
this is not so easy in the general case , so that we shall follow a standard approach : we shall recognize in the system of equations for the coefficient functions a particular stationary solution corresponding to incoherence .
then we shall try to find a bifurcation equation for other stationary solutions branching off from incoherence .
we shall see that even this requires different approximation schemes in order to succeed .
let us insert eq .
( [ expansion ] ) into the fokker - planck equation ( [ fpe ] ) .
we then obtain the following hierarchy of coupled partial differential equations for @xmath139 , @xmath143 here we have defined the operator @xmath144\ , f.   \label{oper}\end{aligned}\ ] ] in terms of the functions @xmath142 , the equation for the order parameter becomes @xmath145      the _ incoherent _ @xmath20-independent solution , @xmath146 , depends only on @xmath30 .
it can readily be obtained from the above hierarchy of equations , by ignoring all derivatives .
the result is @xmath147 inserting this into the expansion in eq.([expansion ] ) , we indeed recover eq.([incoherent ] ) .
in particular setting @xmath108 , this yields the simplest incoherent solution , @xmath148 , corresponding to the unimodal frequency distribution .
other interesting stationary solutions are partially synchronized distributions , which depend on @xmath20 .
notice that eq .
( [ 0systemc ] ) implies that @xmath149 does not depend on @xmath20 .    in the following we analyze stationary solutions bifurcating from incoherence for different frequency distributions .
\(a ) _ discrete unimodal frequency distribution _ , @xmath1 .    let us look for _ stationary _ solutions with finitely many nonzero coefficients @xmath150 for @xmath151 and @xmath152 .
eq.([systemc ] ) yields @xmath153 , and therefore , @xmath154 ( @xmath155constant ) . inserting this result in ( [ systemc ] ) for @xmath156
, we find @xmath157 .
the corresponding solution is not periodic in @xmath20 unless @xmath158 . repeating this argument
, we obtain the stationary solution @xmath159 where @xmath160 for @xmath161 and the normalization condition has been used .
observe that the resulting distribution , @xmath162 , is factorized with respect to its two arguments , @xmath20 and @xmath24 , cf .
it is remarkable that @xmath163 is independent of @xmath7 , and coincides with that obtained for the kuramoto model .
therefore , from ( [ rc0jer ] ) the order parameter does not depend on inertia , and the bifurcation diagram for @xmath164 is exactly the same as that for the kuramoto model .
\(b ) _ general frequency distributions . _
for general frequency distributions , we could try to find stationary solutions of the mode - coupling equations ( [ systemc ] ) which bifurcate from incoherence .
it is however more direct to work with the stationary fokker - planck equation ( [ fpe ] ) as follows .
we consider stationary solutions as functions of a fixed value of the synchronization parameter @xmath164 .
then we expand these solutions in power series of @xmath164 and write a hierarchy of equations for the coefficient functions .
the first coefficient function should be the incoherent solution of synchronization parameter @xmath25 . inserting the power series probability density function into eq.([order ] ) , we find the amplitude equation for stationary solutions bifurcating from incoherence . this procedure is explained in appendix b. we quote here the result : @xmath165 where @xmath166 , \label{alphateo}\end{aligned}\ ] ] and @xmath167 can be calculated numerically by solving a system of differential equations .
as the inertia vanishes , @xmath168 , @xmath169 becomes @xmath170 notice that @xmath169 in equation ( [ alphateo ] ) coincides with @xmath171 in eq .
( [ dispersion3 ] ) provided @xmath80 and @xmath172 .
this means that the critical coupling for bifurcation towards stationary synchronized states is obtained at @xmath173 , no matter what the symmetric frequency distribution may be .    before interpreting the amplitude equation ( [ ralpha ] )
, we shall outline a procedure to obtain its coefficients based upon an uncontrolled closure assumption which is accurate for small values of @xmath174 . consider the expansion ( [ expansion ] ) .
we expect that the coefficients @xmath142 of stationary solutions close to incoherence do not differ much from the coefficients of the latter . in view of the functional form ( [ cnbar ] )
, we anticipate that the coefficients @xmath142 approach zero as @xmath175 _
faster for smaller values of the mass_. thus we shall now consider stationary solutions for general frequency distributions , such that @xmath160 in ( [ systemc ] ) , for all @xmath176 . by solving equation ( [ systemc ] ) for such a stationary solution with @xmath177
, we obtain @xmath178\ , c_1(\omega ) .
\label{c2}\ ] ] we now insert this expression into ( [ 1systemc ] ) . the resulting equation is solved for a @xmath179 , which is @xmath19-periodic in @xmath20 and obeys the normalization condition ( [ norma ] ) .
we find @xmath180\nonumber\\ \times e^{-\frac{1}{d}[\omega \eta+ k\,r\,\cos ( \psi-\theta-\eta ) ] } d\eta , \label{varphi}\\ z(\omega ) = \int_0^{2\pi } e^{\frac{k\,r}{d}\cos ( \psi-\theta ) } \varphi(\theta,\omega)\ , d\theta , \label{zeta}\\\end{aligned}\ ] ] in ( [ c0stat ] ) , @xmath164 should be determined so that @xmath181 holds .
the function @xmath182 can be obtained by integrating ( [ 1systemc ] ) with respect to @xmath20 and using the normalization condition for @xmath179 together with the @xmath19-periodicity in @xmath20 of @xmath179 and @xmath183 : @xmath184.\label{c1a}\ ] ] then , the stationary distribution can be approximated by @xmath185\ , e^{-m\omega^2/4d}. \label{sdis}\end{aligned}\ ] ] notice that a nonvanishing @xmath182 in ( [ expansion ] ) implies that the probability density is no longer even in @xmath24 ( @xmath186 is an odd function of @xmath24 ) . by ( [ c1a ] ) , this occurs in the synchronized phase for the case of nonidentical oscillators . for the bimodal frequency distribution , fig .
[ ss0 ] shows @xmath149 as function of @xmath28 for two different values of @xmath7 .
both the approximate expression ( [ c1a ] ) and results of direct numerical simulations are depicted .
notice that the agreement between our approximation and the numerical result improves as @xmath7 decreases .
thus we observe that for each fixed nonzero @xmath30 and each fixed @xmath20 , the distribution function is no longer peaked at @xmath187 .
however , the _ instantaneous frequency distribution _ , defined by @xmath188 may turn out to be even in @xmath24 .
this is certainly true for the approximate stationary distribution ( [ sdis ] ) , for @xmath189 as it follows from the definition of the order parameter and the expansion ( [ expansion ] ) .
another indication that the exact instantaneous frequency distribution may be even in @xmath24 is that the average frequency tends to zero as @xmath190 .
this would occur if the stable stationary distribution is even in @xmath24 ( although , admittedly , distributions which are not even in @xmath24 may have zero mean ) .
the result can be shown directly from the fokker - planck equation ( [ fpe ] ) .
we multiply that equation by @xmath191 and integrate with respect to all variables .
then we obtain the following equation for the mean value @xmath192 : @xmath193 the right hand side of this expression is zero if @xmath194
. then @xmath195 tends to zero exponentially fast as @xmath196 .
let us now go back to the problem of obtaining the coefficients in the amplitude equation ( [ ralpha ] ) . let us expand ( [ c0stat ] ) in powers of @xmath164 and insert the result in ( [ rc0 ] ) .
we obtain an approximation to the coefficients of the amplitude equation ( [ rc0 ] ) .
@xmath169 is again given by ( [ ralpha ] ) , and the expression for @xmath167 is @xmath197\ , g(\omega ) d\omega . \label{alphabeta2}\end{aligned}\ ] ]    we now interpret the amplitude equation ( [ ralpha ] ) in the usual way .
notice that the nonzero solution is approximately given by @xmath198 then the critical value of @xmath8 is @xmath199 , and the sign of @xmath167 determines the direction of the bifurcating branch of stationary solutions .
assume @xmath200 .
then the bifurcating stationary solution exists for @xmath201 if @xmath202 ( _ supercritical bifurcation _ ) .
if @xmath203 , we have a _
subcritical bifurcation _ and the partially synchronized stationary solution exists for @xmath204 .
the critical coupling tends to infinity as @xmath205 , and the bifurcation does not occur at positive couplings if @xmath206 .
given the formulas ( [ alphateo ] ) or ( [ alphabeta1 ] ) , @xmath169 could become negative , depending on the value of @xmath7 .
let us now analyze the bifurcation diagram corresponding to two different frequency distributions .
* _ unimodal lorentzian frequency distribution_. + for an unimodal lorentzian frequency distribution , the coefficients @xmath169 and @xmath167 of ( [ alphabeta1 ] ) and ( [ alphabeta2 ] ) are approximately given by @xmath207.\label{lorss}\end{aligned}\ ] ] apparently , the sign of @xmath169 could again be negative provided @xmath208 is sufficiently large .
however , evaluation of the exact expression ( [ alphateo ] ) shows that @xmath209 .
figure [ sslor1 ] shows @xmath169 as a function of @xmath36 for two different masses . notice that the approximate expression for @xmath169 fits better the numerical result as @xmath7 and @xmath36 decrease .
+ in contrast with @xmath169 , @xmath167 can really change sign for a lorentzian frequency distribution . fig .
[ sslor2 ] shows the good qualitative agreement between the approximate expression for @xmath167 and its numerical evaluation from the exact equations ( [ z3sys ] ) .
+ there is a critical mass @xmath210 ( @xmath36 and @xmath121 are kept fixed ) for which @xmath211 .
this mass separates the supercritical and subcritical bifurcation regions .
setting @xmath211 in eq .
( [ lorss ] ) yields @xmath212 figure [ sslor3 ] shows the qualitative agreement between the approximate expression ( [ criticallor ] ) , and the numerical result obtained from the solution of ( [ z3sys ] ) .
+ note that in the massless case , the stationary solution always branches off supercritically , independently of @xmath36 . in the presence of inertia and for appropriate values of @xmath36
, we have found a subcritical bifurcation .
this prediction is illustrated by figures [ sslor4 ] ( parameters corresponding to a supercritical bifurcation ) and [ sslor5 ] ( parameters corresponding to a subcritical bifurcation ) .
figure [ sslor4 ] is a typical supercritical bifurcation diagram ( order parameter amplitude versus @xmath8 ) . in the subcritical case ,
figure [ sslor5 ] shows the different evolution of the order parameter amplitude for two different initial conditions .
notice the bistability between incoherence and the stable synchronized solution typical of a subcritical bifurcation .
* _ bimodal frequency distribution _
+ for the bimodal frequency distribution , @xmath169 may be zero .
this means that there is a critical frequency @xmath213 above which @xmath214 .
in fact , we have shown in fig .
[ lsb1 ] , looking to the branch corresponding to @xmath80 , that in case of a bimodal frequency distribution , it is possible to find some values of @xmath28 without its corresponding @xmath8 in the stability diagram of incoherence , due to the existence of an horizontal asymptote in the space parameter @xmath215 .
this means that there is not a finite coupling @xmath216 where the stationary solution branches off . on the other hand , this never occurs in the bimodal kuramoto model [ @xmath14 , @xmath217 , because in this case there is not such an horizontal asymptote .
( [ alphabeta1 ] ) shows that the critical frequency at which @xmath218 is @xmath219 figure [ ssb1 ] compares the previous approximate expression to the exact critical frequency obtained from ( [ alphateo ] ) .
note that the approximation improves as @xmath7 decreases .
[ ssb2 ] shows that @xmath216 increases as @xmath28 does .
@xmath216 becomes infinity for @xmath220 .
+ for @xmath200 , there is another important critical frequency . in this case
, the sign of @xmath167 decides whether the bifurcation is subcritical ( @xmath203 ) or supercritical ( @xmath202 ) .
the sign of @xmath167 depends on @xmath7 and @xmath28 . for small mass
, we can use the approximations ( [ alphabeta1 ] ) and ( [ alphabeta2 ] ) ( ignoring terms which are quadratic in the mass ) .
then we find that the critical frequency at which @xmath211 is @xmath221 we have solved numerically the system of equations ( [ z3sys ] ) , and compared with the approximation ( [ alphabeta2 ] ) for @xmath167 . in figure [ ssb3 ] the coefficient @xmath167 is plotted as a function of @xmath28 for different masses .
similarly , figure [ ssb4 ] shows how the critical frequency @xmath222 varies as a function of @xmath7 .
note that the analytical approximation improves as @xmath7 goes to zero ( as expected ) .
+ notice that @xmath223 .
then the branch of synchronized stationary states bifurcates _ subcritically _ from incoherence at @xmath224 , provided @xmath225 .
summarizing , inertia favors the subcritical character of bifurcations describing the transition from incoherence to the partial synchronized state .
in fact in the bimodal case , the transition of incoherence to synchronization will most likely occur as a subcritical bifurcation as inertia increases . for a continuous unimodal lorentzian frequency distribution ,
inertia may turn subcritical the supercritical bifurcation to stationary synchronized states , which is always found in the masslesss kuramoto model .
the high frequency limit of eq .
( [ fpe ] ) can be analyzed by means of a multiscale method .
for the kuramoto model @xcite , this method lead to the result that the probability density is ( to leading order ) a superposition of different components corresponding to the different peaks of the oscillator frequency distribution . to apply this method to the present model
, we shall assume that the frequency distribution @xmath0 has @xmath7 maxima located at @xmath226 , so that @xmath227 tends to the distribution @xmath228 as @xmath124 . in order to simplify the calculations ,
we change variables to a comoving frame : @xmath229 and let @xmath230 , where @xmath231 then we obtain the following equations : @xmath232 where @xmath233 , and @xmath234 , @xcite .
we now define fast and slow time scales , @xmath235 and @xmath236 , and make the ansatz : @xmath237 inserting this into the governing equations , we obtain the following hierarchy : @xmath238 \right\ } \
, , \label{hierar}\end{aligned}\ ] ] where @xmath239 elimination of secular terms yields the following condition : @xmath240\right\ }   = 0.\end{aligned}\ ] ] notice that this equation corresponds to the equation of a unimodal frequency distribution , already studied in @xcite .
its solution evolves towards the following stationary state as time evolves : @xmath241 where @xmath242 incoherence of a component corresponds to @xmath243 . we know that as @xmath244 surpasses @xmath245 , a stable synchronized solution bifurcates from incoherence . in the particular case of a symmetric bimodal frequency distribution ,
the bifurcation value is @xmath134 , independently of the inertia @xmath7 .
this agrees with the results of the linear stability analysis for @xmath124 .
all the results previously obtained for the kuramoto model can be applied to the present model without any modification @xcite .
thus , both a stable standing wave solution ( sw ) and an unstable travelling wave solution ( tw ) bifurcate supercritically from incoherence at @xmath134 @xcite . in figure [ sw1 ] illustrates the comparison between the asymptotic solution ( [ swsol ] ) and the result of direct numerical simulation for a large enough value of the frequency @xmath28 .
finally , fig.[bdiag ] shows the global bifurcation diagram of the bimodal case for the case of positive @xmath169 and @xmath167 .
as explained in the previous section , the branch of synchronized stationary states bifurcates _ subcritically _ from incoherence at @xmath224 , provided @xmath225 . thus @xmath246 and the end of the sw and tw branches in fig.[bdiag ] should extend to infinity as @xmath247 .
four different numerical methods have been used .
numerical simulations of the system of langevin equations ( [ 1 ] ) were carried out for a large number of oscillators ( n=20 000 ) , using an euler method .
a standard finite difference method was used to solve numerically the fokker - planck equation ( [ fpe ] ) , or the system of partial differential equations ( [ systemc ] ) .
in addition , we have used a simple spectral method , which generalizes the one proposed in @xcite .
the idea is to solve a set of ordinary differential equations for moments of @xmath18 : @xmath248\,d\theta , \label{momentx}\\   ( y_i^j)_{k}:= \int_0^{2\pi } c_i(\theta,\omega_k , t ) \sin [ j(\psi-\theta)]\,d\theta , \label{momenty}\end{aligned}\ ] ] @xmath249 the coefficient functions @xmath250 are the same as in the parabolic cylinder expansion ( [ expansion ] ) .
the integral in ( [ rnumerical ] ) will be approximated by a suitable quadrature formula , as @xmath251 for instance , the gauss - laguerre quadrature has been chosen case for the case of a lorentzian frequency distribution .
the system of ordinary differential equations is given by : @xmath252 -\frac{i}{m}(x_i^j)_{k}\nonumber\\ + \sqrt{i+1}\sqrt{d}{m}j ( y_{i+1}^j)_{k}-j\dot{\psi}(y_i^j)_{k},\\ ( \dot{y}_i^j)_{k}=-j\sqrt{i}\sqrt{\frac{d}{m } } ( x_{i-1}^j)_{k}+\sqrt{i}\frac{1}{\sqrt{m\,d } } \omega_k(y_{i-1}^j)_{k}\nonumber\\ + \sqrt{\frac{i}{m\,d}}\frac{k\,r}{2 } \left[(x_{i-1}^{j-1})_{k}- ( x_{i-1}^{j+1})_{k}\right ] -\frac{i}{m}(y_i^j)_{k}\nonumber\\ -\sqrt{i+1}\sqrt{d}{m}j ( x_{i+1}^j)_{k}+j\dot{\psi}(x_i^j)_{k},\\ i=1,\ldots , n,\,\ , j=1,\ldots , m , \nonumber\end{aligned}\ ] ] @xmath253    in order to numerically simulate this system , it is necessary to truncate the hierarchy after a reasonable number of modes @xmath254 , and @xmath255 .
these numbers will depend on the inertia @xmath7 , the spread , and the coupling strength .
they should be chosen large enough , so that the numerical results do not depend on @xmath254 and @xmath255 .
[ nr1 ] shows the ratio @xmath256 as a function of @xmath49 , for the stationary solution and for various mass values .
@xmath257 is the maximum value of the stationary coefficient @xmath258 .
it has been obtained from a finite - difference solution of eq.([fpe ] ) .
note that this ratio increases as inertia does .
thus the truncation approximation ( [ sdis ] ) ceases to make sense for larger values of inertia .
whether truncating ( at higher order ) the moment equations ( [ momentx ] ) and ( [ momenty ] ) yields good numerical results , is tested in fig .
this figure shows how closely the previous system ( with moments of order 4 or 10 ) resembles the direct solution of the langevin equations .
we notice that the system containing moments of order 10 is rather close to the solution of the langevin equations , but it does not contain the fluctuations unavoidable in stochastic methods . if we are interested in solving the nonlinear fokker - planck equation , the system of moment equations seems a good alternative to solving langevin equations for a large number of oscillators .
we have investigated synchronization properties of a model of globally and nonlinearly coupled phase oscillators , where the effects of white noise , inertia and spread in the natural frequency distribution are all considered .
the linear stability of the incoherent solution is rigorously analyzed .
stationary and time - dependent solutions of the standing and travelling wave type are obtained by a variety of perturbative methods .
these include finding and approximately solving mode - coupling equations for expansions of the probability distribution in parabolic cylinder functions , finding amplitude equations near bifurcation points , and hierarchy - closure assumptions .
numerical simulations of the different equations and the original model favorably agree with the different perturbative results .
inertia changes the stability boundaries of the incoherent solution in a non trivial way . in the case of an unimodal lorentzian frequency distribution , incoherence
is stabilized , but the effect of mass completely drops out if the frequency spread vanishes . for a discrete bimodal frequency distribution , both stability boundaries and the character of the transition from incoherence to synchronized states depend on the values of the natural frequency @xmath28 and on inertia .
the effect of inertia on the stationary solution is dramatic in some cases . in general
, inertia hardens the synchronization transition : it may render subcritical ( hard ) originally supercritical ( soft ) transitions ( in unimodal lorentzian frequency distributions ) , or it increases the region in parameter space where the transition is subcritical ( discrete bimodal frequency distributions ) .
analytical as well as numerical calculations confirm these findings .
this work was supported , in part , by the european union tmr contract erb fmbx - ct97 - 0157 , by unesco under contract uvo
roste 875.629.9 , by the spanish dges grant pb98 - 0142-c04-c01 , and by the gnfm of the italian c.n.r .
all numerical simulations were conducted at caspur  rome .
in ( [ beta8 ] ) there appear two integrals over @xmath63 : @xmath259 the second integral is directly @xmath260 . the first integral equals
@xmath261 because of ( [ beta7 ] ) .
an equivalent expression is @xmath262 this can be written as @xmath263 provided we set @xmath264 after performing the calculations .
thus we see that @xmath265 this expression and the previous one for @xmath266 yield ( [ beta9 ] ) .
let us now obtain @xmath71 for integer @xmath52 and @xmath267 . by using
that @xmath268 is even for even @xmath52 and odd for odd @xmath52 , we can write @xmath269 where @xmath270 for @xmath52 even and @xmath271 for @xmath52 odd . we can find ( cf .
 7.741 of @xcite ) : @xmath272 provided @xmath267 . from these formulas , we obtain @xmath273 these two expressions are equivalent to ( [ beta11 ] ) .
we will now calculate coefficients @xmath169 and @xmath167 of eq .
( [ ralpha ] ) . the idea is simply to expand the right hand side in the definition of the order parameter , @xmath274 as a power series in @xmath164 . to this end , we fix @xmath164 and @xmath275 in eq .
( [ fpe ] ) , expand its stationary solution in powers of @xmath164 and insert the result in ( [ order1 ] ) . as we do not have a closed formula for the stationary solution of ( [ fpe ] )
, we shall first derive a hierarchy of equations for its coefficients in the series in powers of @xmath164 .
thus we have @xmath276 then @xmath277 where we have absorbed @xmath275 in the definition of @xmath278 .
comparison with eq .
( [ ralpha ] ) , establishes that @xmath279 , @xmath280 , and @xmath281 . from ( [ g ] ) and ( [ fpe ] )
, we obtain @xmath282-\omega \frac{\partial g_n}{\partial \theta } = -\frac{n}{m}k\sin \theta \frac{\partial g_{n-1}}{\partial \omega},\ ] ] with @xmath283 .
since we are trying to find solutions bifurcating from incoherence , we should have @xmath284 , i.e.the @xmath20-independent incoherent solution ( [ incoherent ] ) .
this directly confirms that @xmath285 .
the unknowns @xmath286 are @xmath19-periodic in @xmath20 , so that we may fourier expand them as @xmath287 where @xmath288 here @xmath289 for @xmath290 because @xmath291 is the @xmath20-independent incoherent solution .
the condition that the probability density function be real yields @xmath292 , which in turn implies @xmath293 . inserting these expressions into ( [ r_nformula ] )
, we find @xmath294 the unknowns @xmath295 satisfy the following hierarchy of equations : @xmath296-i\,l\omega z_n^l=-\frac{n}{m}\frac{k}{2i } \frac{d}{d\omega}[z_{n-1}^{l-1}-z_{n-1}^{l+1 } ] .
\label{odeznl}\ ] ] the normalization condition for @xmath18 and the incoherent solution together with ( [ znl ] ) imply @xmath297    in order to obtain @xmath169 , and @xmath167 , we should show that @xmath298 and calculate @xmath299 and @xmath300 .
we do this by means of ( [ odeznl ] ) , with @xmath301 .
+ ( a ) case n=1 .
( [ odeznl ] ) becomes @xmath302-i\,\omega z_1 ^ 1\nonumber\\ = -\frac{1}{m}\frac{k}{2i } \frac{dz_0 ^ 0}{d\omega } , \label{z11}\end{aligned}\ ] ] where @xmath303 is the incoherent solution ( [ incoherent ] ) , and we have used @xmath304 .
we can solve eq .
( [ z11 ] ) by means of the solution of eq .
( [ eqb ] ) , in which we set @xmath80 and replace @xmath305 with @xmath306 , and the right - hand side with @xmath307
. then we obtain @xmath308 the previous analogy allows us to calculate @xmath299 from ( [ rn ] ) and equations ( [ beta8 ] ) , ( [ beta10 ] ) and ( [ beta11 ] ) ( with @xmath80 ) .
the result is @xmath309.\end{aligned}\ ] ]    \(b ) case n=2 .
we now show that @xmath298 .
+ in order to analyze @xmath310 , it is necessary to consider @xmath311 , which is the solution to the following equation : @xmath312 -i\,\omega z_2 ^ 1=-\frac{2}{m}\frac{k}{2i } \frac{d}{d\omega}[z_{1}^{0}-z_{1}^{2}].\ ] ] we shall show that @xmath313 . if this is so , the resulting homogeneous equation can be transformed to the parabolic cylinder equation with a quadratic potential having complex coefficients .
its solution can not decay to zero both as @xmath21 unless it is identically zero .
the reason @xmath314 and @xmath315 are zero is similar .
the equation for @xmath314 is homogeneous ( @xmath316 for @xmath290 ) , and it has a solution @xmath317 . the normalization condition ( [ condzn0 ] ) then implies @xmath318 .
@xmath319 again obeys a homogeneous equation which can be transformed into the parabolic cylinder equation with a complex potential .
the only solution which decays to zero as @xmath21 is again @xmath320 .
\(c ) case n=3 .
+ the equations for @xmath321 are @xmath322-i\,\omega z_3 ^ 1=-\frac{3}{m}\frac{k}{2i } \frac{d}{d\omega}[z_2 ^ 0-z_2 ^ 2],\nonumber\\ \frac{d}{m^2}\frac{d^2 z_2 ^ 2}{d \omega^2}+ \frac{1}{m } \frac{d}{d\omega}[(\omega-\omega)z_2 ^ 2]-2 i\,\omega z_2 ^ 2=-\frac{2}{m}\frac{k}{2i } \frac{d}{d\omega}z_1 ^ 1,\nonumber\\
\frac{d}{m^2}\frac{d^2 z_2 ^ 0}{d \omega^2}+ \frac{1}{m } \frac{d}{d\omega}[(\omega-\omega)z_2 ^ 0]= -\frac{2}{m}\frac{k}{2i } \frac{d}{d\omega}[z_1^{-1}-z_1 ^ 1]=\frac{2k}{m}\ , im\frac{d}{d\omega}z_1 ^ 1,\nonumber\\ \frac{d}{m^2}\frac{d^2 z_1 ^ 1}{d \omega^2}+ \frac{1}{m } \frac{d}{d\omega}[(\omega-\omega)z_1 ^ 1]-i\,\omega z_1 ^ 1=-\frac{1}{m}\frac{k}{2i } \frac{d}{d\omega}z_0 ^ 0.\label{z3sys}\end{aligned}\ ] ] this system of equations has to be solved numerically in order to obtain the coefficient @xmath167 .
y. kuramoto , in _ international symposium on mathematical problems in theoretical physics _ , h. araki ed . ,
lecture notes in physics , vol.39 ( springer , berlin ) ( 1975 ) ; _ chemical oscillations , waves , and turbulence _ , ( springer , berlin ) ( 1984 ) .


the deconfined interacting quark  gluon plasma phase ( qgp ) is the _ equilibrium _ state of matter at high temperature and/or density .
it is believed that this state has been present in the early universe , 10 - 20@xmath2s into its evolution .
the question is if , in the short time , @xmath3@xmath4  s , available in a laboratory heavy ion collision experiment , the color frozen nuclear phase can melt and turn into the qgp state of matter .
there is no valid first principles answer to this question available today , nor as it seems , will a first principles simulation of the dynamic heavy ion environment become available in the foreseeable future . to address this issue we study qgp experimentally , which requires development of laboratory experiments and suitable observables .    to form qgp in the laboratory we perform relativistic heavy ion collisions in which a domain of ( space , time ) much larger than normal hadron size is formed , in which color - charged quarks and gluons are propagating constrained by external ` frozen vacuum ' , which abhors color  @xcite .
we expect a pronounced boundary in temperature and baryon density between confined and deconfined phases of matter , irrespective of the question if there is , or not , a true phase transition .
we search for a boundary between phases considering the size of the interacting region and the magnitude of the reaction energy .
detailed study of the properties of the deconfined state shows that qgp is rich in entropy and strangeness .
the enhancement of entropy @xmath1 arises because the color bonds are broken and gluons can be created .
enhancement of strangeness @xmath0 arises because the mass threshold for strangeness excitation is considerably lower in qgp than in hadron matter .
moreover there are new mechanisms of strangeness formation in qgp involving reactions between ( thermal ) gluons .
thus @xmath1 and @xmath0 are the two elementary observables which are explored with soft hadronic probes , for further theoretical details and historical developments see our book  @xcite .
the numerical work presented here was carried out with the public package of programs share  @xcite .
this report is a self contained summary of our recent results , see  @xcite .
entropy enhancement , observed in terms of enhanced hadron multiplicity per net charge , has been among the first indications of new physics reach of cern - sps experimental heavy ion program  @xcite .
the enhancement of strange hadron production both as function of the number of participating baryons , and reaction energy has been explored in several experiments at at bnl - ags , cern - sps and and bnl - rhic .
we refrain from extensive historical survey of these results and present perhaps the latest , star - rhic result in  @xcite . in this presentation
one sees the yield per participant @xmath5 divided by a reference yield obtained in @xmath6 reactions .
we observe that the enhancement rises both with the strangeness content in the hadron and with the size of the reaction region , indicating that the cause of this enhancement is a increased yield of strange quarks in the source , a qualitative expectation we will address in our quantitative analysis below .
the gradual increase of the enhancement over the range of @xmath5 is an important indicator of the physics mechanisms at work .
this behavior agrees with our studies of kinetic strangeness production and strangeness yield increasing with the size of the reaction region .
this enhancement of strange antibaryons which demonstrates that a novel strangeness production mechanism is present has been extensively studied at sps energy range , where it was originally discovered  @xcite .
0.2 cm    further evidence for parton dynamics prior to final state hadronization is obtained from the study of strange hadron transverse energy spectrum .
the identity of hyperon and antihyperon spectra in particular @xmath7 and @xmath8 implies that both strange matter and antimatter must have been produced from a common source by the same fundamental mechanism .
furthermore they were not subject to interactions in their passage through the baryon rich hadron gas present at the sps energy range .
the @xmath9 annihilation in baryon - rich hadron gas is strongly momentum dependent .
this should deform the shape of the antihyperon spectra as compared to the spectra of hyperons .
thus symmetry of the hyperon - antihyperon spectra also implies that there was no appreciable annihilation of the @xmath10 after their formation .
the working hypothesis is therefore that hadronization of the qgp deconfined phase formed in high energy nuclear collision is direct , fast ( sudden ) and occurs without significant sequel interactions .
that can be further tested in a study of yields and spectra of unstable resonances  @xcite .    at rhic
the parton level dynamics is convincingly demonstrated by quark content scaling of azimuthal asymmetry of the collective flow @xmath11 .
further evidence is derived from the consideration of quark recombination formation of hadrons from qgp .
we refer to the recent comprehensive survey of the rhic result  @xcite , and presentations at the meeting addressing these very interesting and recent developments . we will assume in this report that the case of quark - parton dynamics prior to hadronization is convincing , and will use our analysis of soft hadron production to find the thresholds of the onset of deconfinement and to determine the properties of the deconfined fireball at the time of its breakup into hadrons .    in next section [ stathad ]
we introduce the statistical hadronization method of analysis of hadron production .
we discuss data analysis as function of impact parameter and energy dependence of soft hadron production in section [ depen ] .
we will present both the systematics of statistical model parameters , and the associated physical properties . in section
[ compare ] , we address the physical qgp signatures indicating presence of a phase boundary , giving particular attention to the explanation of the ` horn ' in the @xmath12 ratio , and the strangeness to entropy relative yield .
we discuss , in section [ final ] , the role these results play in understanding of the phase boundary separating qgp from normal confined matter .
we also discuss briefly possible new soft hadron physics at lhc .
to describe the yields of particle produced we employ the statistical hadronization model ( shm ) .
shm is by definition a model of particle production in which the birth process of each particle fully saturates ( maximizes ) the quantum mechanical probability amplitude , and thus , the relative yields are determined solely by the appropriate integrals of the accessible phase space . for a system subject to global dynamical evolution such as collective flow ,
this is understood to apply within each local co - moving frame .    when particles are produced in hadronization , we speak of chemical freeze - out .
hadron formation from qgp phase has to absorb the high entropy content of qgp which originates in broken color bonds .
the lightest hadron is pion and most entropy per energy is consumed in hadronization by producing these particles abundantly .
it is thus important to free the yield of these particles from the chemical equilibrium constraint .
the normalization of the particle yields is , aside of the freeze - out temperature @xmath13 , directly controlled by the particle fugacity @xmath14 , where @xmath15 is particle ` @xmath16 ' chemical potential . since for each related particle and antiparticle pair , we need two chemical potentials , it has become convenient to choose parameters such that we can control the difference , and sum of these separately .
for example , for nucleons @xmath17 , and , respectively , antinucleons @xmath18 the two chemical factors are : @xmath19 @xmath20    the ( baryo)chemical potential @xmath21 , controls the baryon number , arising from the particle difference .
@xmath22 , the phase space occupancy , regulates the number of nucleon  antinucleon pairs present .
there are many different hadrons , and in principle , we could assign to each a chemical potential and then look for chemical reactions which relate these chemical potentials .
however , a more direct way to accomplish the same objective consists in characterizing each particle by the valance quark content .
the relation between quark based fugacity and chemical potentials ( @xmath23 ) and the two principal hadron based chemical potentials of baryon number and hadron strangeness @xmath24 is : _
b=3_q_s=1 3 _ b-_s , _ s=_q_s .    an important ( historical ) anomaly is the negative s - strangeness in @xmath0-carrying - baryons . we will in general follow quark flavor and use quark chemical factors to minimize the confusion arising . in the local rest frame ,
the particle yields are proportional to the momentum integrals of the quantum distribution .
as example , for the yield of pions @xmath25 , nucleons @xmath17 and antinucleons @xmath26 we have : @xmath27 n&=&{v}g_n\!\!\int\!\!\frac{d^3p}{(2\pi)^3 }     \frac{1}{\gamma_q^ { -3}\lambda_q^ { -3 } e^{e_n / t}+1},\quad \overline { n}=   { v}g_n\!\!\int\!\!\frac{d^3p}{(2\pi)^3 }      \frac{1}{\gamma_q^ { -3 } \lambda_q^ { + 3 } e^{e_{\bar n}/t}+1}.\end{aligned}\ ] ]    there are two types of chemical factors @xmath28 and @xmath29 , and thus two types of chemical equilibriums .
these are shown in table  [ parameters ] .
the absolute equilibrium is reached when the phase space occupancy approaches unity , @xmath30 .
the distribution of flavor ( strangeness ) among many hadrons is governed by the relative chemical equilibrium .
0.3 cm    .[parameters]four quarks @xmath31 and @xmath32 require four chemical parameters ; right : name of the associated chemical equilibrium [ cols= " < , < , < " , ]     in order to arrive at the full particle yield , one has to be sure to include all the hadronic resonances which decay feeding into the yield considered , _ e.g. _ , the decay @xmath33 feeds into @xmath34 and @xmath25 yields .
the contribution is sensitive to temperature at which these particles are formed .
inclusion of the numerous resonances constitutes a book keeping challenge in study of particle multiplicities , since decays are contributing at the 50% level to practically all particle yields .
a public statistical hadronization program , share ( statistical hadronization with resonances ) has simplified this task considerably @xcite .
the resonance decay contribution is dominant for the case for the pion yield .
this happens even though each resonance contributes relatively little in the final count .
however , the large number of resonances which contribute compensates and the sum of small contributions competes with the direct pion yield . for the more heavy hadrons ,
generally there is a dominant contribution from just a few , or even from a single resonance .
the exception are the @xmath35 which have no known low mass resonances , and also @xmath36  the known resonances are very heavy and very few .
a straightforward test of sudden hadronization and the shm is that within a particle ` family ' , particle yields with same valance quark content are in relation to each other well described by integrals of relativistic phase space . the relative yield of , _
e.g. _ , @xmath37 and @xmath38 or @xmath39 and @xmath17 are controlled by the particle masses @xmath40 , statistical weights ( degeneracy ) @xmath41 and the hadronization temperature @xmath13 . in the boltzmann limit one
has ( star denotes the resonance ) : @xmath42 validity of this relation implies insensitivity of the quantum matrix element governing the coalescence - fragmentation production of particles to intrinsic structure ( parity , spin , isospin ) , and particle mass .
the measurement of the relative yield of hadron resonances is a sensitive test of the statistical hadronization hypothesis and lays the foundation to the application of the method in data analysis .
the method available to measure resonance yields depends in its accuracy significantly on the the precise nature of the hadronization process : the resonance yield is derived by reconstruction of the invariant mass of the resonance from decay products energies @xmath43 and momenta @xmath44 .
should the decay products of resonances after formation rescatter on other particles , then often their energies and momenta will change enough for the invariant mass to fail the acceptance conditions set in the experimental analysis .
generally , the rescattering effect depletes more strongly the yields of shorter lived resonances , as a greater fraction of these will decay shortly after formation , when elastic scattering of decay products on other produced particles is possible .
we further hear often the argument that the general scattering process of hadrons in matter can form additional resonance states . in our opinion ,
the loss of observability ( caused by _ any _ scattering of _ any _ of the decay products is considerably greater than a possible production gain .
the loss of resonance yield provides additional valuable information about the freeze - out conditions ( temperature and time duration)@xcite .
in order to explore the properties of the fireball at hadronization as function of the volume at the top rhic energy @xmath45gev au  au , we study the 11 centrality bins in which the @xmath46 and @xmath47 rapidity yields @xmath48 for @xmath49 have been recently presented , see table i and table viii in ref .
these 6 particle yields and their ratios change rapidly . on the other hand , the additional two experimental results ,
the star @xmath50 @xcite , and @xmath51 @xcite show little centrality dependence .
in addition , three supplemental constraints help to determine the best fit : + a ) strangeness conservation , _
i.e. _ , the ( grand canonical ) count of @xmath0 quarks in all hadrons equals such @xmath52 count for each rapidity unit ; + b ) the electrical charge to net baryon ratio in the final state is the same as in the initial state ; + c ) the ratio @xmath53 , which helps constrain the isospin asymmetry . +
this last ratio appears redundant , as we already independently use the yields of @xmath54 and @xmath55 .
these yields have a large systematic error and do not constrain their ratio well , and thus the supplemental constraint is introduced , since share allows for the isospin asymmetry effect .
the 7 shm parameters ( volume per unit of rapidity @xmath56 , temperature @xmath13 , four chemical parameters @xmath57 and the isospin factor @xmath58 are in this case studied in a systematic fashion as function of impact parameter using 11 yields and/or ratios and/or constraints , containing one ( pion ratio ) redundancy .    although the number of degrees of freedom in such analysis is small , the @xmath59 minimization yielding good significance is easily accomplished , showing good consistency of the data sample .
the resulting statistical parameters are shown in , as function of participant number .
we show on left results for the full non - equilibrium model allowing @xmath60 ( full circles , blue ) and semi - equilibrium setting @xmath61 ( open circles , red ) . from top
to bottom the ( chemical ) freeze - out temperature @xmath13 , the occupancy factors @xmath62 , @xmath63 and together in the bottom panel the baryon @xmath64 and hyperon @xmath65 chemical potentials . on left , in , we present the results for the centrality dependence , as function of participant number , on right as function of energy .    to study the energy dependence , we must assemble several different experimental results from different facilities and experiments  @xcite .
the results of this extensive analysis are shown on right hand side in .
we note that when we are able to consider the total particle abundances , the number of participating nucleons is a tacit fit parameter .
the lowest energy result is from our ags study  @xcite , the sps data we used are from na49 energy dependence exploration at the cern - sps  @xcite .
these results are for the total particle yields .
the highest energy two results are based on studies of rhic data at 130 and 200 gev at central rapidity and address the @xmath48 particle yields , with the highest point corresponding to the results presented at greatest centrality on the left hand side in .
there are several relevant features in fig.[gammu ] .
we see on left , that , for @xmath66 , there is no centrality dependence in freeze - out temperature @xmath13 and chemical potentials @xmath67 ( up to the variation which can be associated with fluctuation in the data sample ) .
however , there is a change in values of the chemical potentials with reaction energy .
this is result of rapidly decreasing baryon density , which due to reduced stopping is distributed over a wider range of rapidity as the reaction energy increases .
the middle sections , in , address the phase space occupancies which were obtained in terms of hadron particle yields .
the quark - side occupancy parameters could be considerably different , indeed as model studies show , a factor 2 lower at the discussed conditions  @xcite : the hadron side phase space size is in general different from the quark - side phase space , since the particle degeneracies , particle spectra are quite different .
we see similar behavior of @xmath62 as of @xmath13 both for volume ( that is , ` wounded ' participant number @xmath68 ) and energy dependence seen in fig.[gammu ] : the two lowest energy bins ( top ags and lowest sps energy ) deviate from the behavior seen at all other energies , as do the bins with @xmath69 . @xmath63 as function of centrality rises steadily indicating longer lifespan of the fireball with increasing size . as function of energy
, @xmath63 reaches a plateau at 30 @xmath68gev , with further rise only seen in the central rapidity results at rhic .
we note that , in our analysis , there is no saturation of the @xmath70 as we approach the most central reactions .
this is inherent in the data we consider which includes the yields of @xmath36 , and @xmath71 .
this result is consistent with the implication that strangeness is not fully saturated in the qgp source , though it appears over - saturated when measured in the hadron phase space .
the deviation at the most peripheral centrality bins and at lowest reaction energy from trends set by other results could be an indication of the change in the reaction mechanism . as a threshold of centrality and/or energy
are crossed a relatively small value of @xmath72 grows rapidly to the maximum allowed by pion condensation condition , @xmath73 . this behavior signals a transformation of a chemically under - saturated phase of matter into something novel , where chemical equilibration is easy , and results in hadronization in a over - saturated phase of matter .
independent of the chemical ( non-)equilibrium assumption , the baryochemical potential @xmath74 mev is seen across 10 centrality bins .
similarly , we find strangeness chemical potential @xmath75 mev ( related to strange quark chemical potential @xmath76 ) . the most notable variation , in fig.[gammu ] , is the gradual increase in strangeness phase space occupancy @xmath63 and thus strangeness yield with collision centrality . this effect was predicted and originates in an increasing lifespan of the fireball @xcite .
the over - saturation of the phase space has been also expected due to both , the dynamics of expansion @xcite , and/or reduction in phase space size as a parton based matter turns into hg @xcite .
this latter effect is also held responsible for the saturation of light quark phase space @xmath77 .
a systematic increase of @xmath70 with collision centrality has been reported for several reaction energies @xcite .
let us now discuss more in depth the magnitude of the hadronization temperature which at high energy / central collisions we find at @xmath78 mev .
some prefer the statistical hadronization to occur at higher temperature , perhaps as high as@xmath79 mev , a point argued at this meeting in great detail by dr .
peter braun - mnzinger . in his presentation
we heard that he believes that the lattice results will reach to such high temperature near to @xmath80 and this is where one should expect to see hadronization we disagree with both claims .
for one ,    we note that _ chemical equilibrium qcd lattice _  @xcite results are mature and yield @xmath81 mev when extrapolated to physical quark mass scale .
this result is in a very good agreement with the prior work on 2 and 3 flavor qcd which brackets this result by @xmath82 mev  @xcite .
moreover , the heavy ion collisions present a highly dynamical environment and one has to pay tribute to this especially regarding the value of hadronization temperature . for this reason we do not expect to find that the observed hadronization condition @xmath83 will line up with the phase boundary curve obtained in study of a statistical system in thermodynamic limit on the lattice :    \a ) + a widely discussed effect which displaces the hadronization condition from the phase boundary is the expansion dynamics of the fireball .
when the collective flow occurs at parton level , the color charge flow , like a wind , pushes out the vacuum  @xcite , adding to thermal pressure a dynamical component .
this can in general lead to supercooling and a sudden breakup of the fireball .
we find that this can reduce the effective hadronization temperature by up to 20 mev  @xcite .
\b ) + lattice result have been discussed for 2-flavor lattice qcd at corresponding to @xmath84 ( called ) and for 2 + 1 flavor , corresponding to @xmath85 .
while the precise nature of the phase limit is still under study it appears that for 2-flavor case the phase boundary temperature rises by about 7 - 10 mev compared to the 2 + 1 case .
we refer to the recent review of lattice qcd for further details  @xcite .
similarly the phase limit in pure gauge case corresponding in loose sense to @xmath86 was seen near or even above @xmath87 mev .
these results do suggest that presence and the number of quarks matters regarding the precise location of the phase boundary and its nature .
its importance could be greatly enhanced , should the over - saturation of quark phase space have the same effect as would additional quark degrees of freedom .
these are known to cause even for @xmath88 the conversion of the phase crossover into a 1st - order phase transition which would , with these additional degrees of freedom , be expected at just the temperature we find in the shm analysis .
we can be nearly sure that the chemical conditions matter and can displace the transition temperature . because the degree of equilibration in the qgp depends on the collision energy , as does the collective expansion velocity
, we can not at all expect a simple hadronization scheme appropriate for the hadronization of nearly adiabatically expanding universe .    leaving this issue
we note that , in the data analysis assuming chemical equilibrium , we find @xmath89 mev for the chemical equilibrium and strangeness non - equilibrium freeze - out , see .
the error is our estimate of the propagation of the systematic data error , combined with the fit uncertainty ; the reader should note that the error comparing centrality to centrality is negligible .
the freeze - out temperature is for the semi - equilibrium and equilibrium model about 10% greater than the full chemical non - equilibrium freeze - out .
this result for @xmath13 , in the equilibrium case , is in mild disagreement ( 1.5 s.d . ) with earlier equilibrium fits @xcite .
this , we believe , is due to some differences in data sample used , specifically , the hadron resonance production results used provide a very strong constraint for the fitted temperature , and more complete treatment by share of hadron mass spectrum .
interestingly , it seems that the general consensus about the chemical equilibrium best analysis result is in gross disagreement with the results advanced at this meeting by dr .
peter braun - mnzinger .
we now turn our attention to the physical properties of the hadronizing fireball obtained summing individual contributions made by made of each of the hadronic particles produced . often particles observed experimentally dominate ( _ e.g. _ pions dominate pressure , kaon strangeness yield etc ) .
however , it is important to include in this yields of particles predicted in terms of the shm fit to the available results .
again , on left in fig.[phys ] .
we show the behavior as function of impact parameter and on right as function of energy . from top to bottom we show the pressure @xmath90 , energy density @xmath91 , entropy density @xmath92 , and the dimensionless ratio @xmath93 .
all contributions are evaluated using relativistic expression , see @xcite .    when we fitted particle rapidity yields , the global fitted yield normalization factor is @xmath94 , for total particle yields it is @xmath95 which is also a function of centrality trigger .
when we consider ratios of two bulk properties e.g. @xmath96 , the results are in general smoother indicating cancellation in the error propagating from the fit .
the overall error is of the magnitude of the particle yield , for example pressure is dominated by pions and hence its precision is limited by this error .
however , on left , the point - to - point error is minimal as the systematic error is common . on right , the absolute error matters as the fluctuations in the results presented show .
we note , in , that as the reaction energy passes the volume threshold @xmath97 and even more so , the energy threshold @xmath98 the hadronizing fireball becomes much denser .
the entropy density jumps by factor 34 , and the energy and baryon number density by a factor 23 .
the hadron pressure jumps up from @xmath99 initially by factor 2 and ultimately more than factor 3 .
there is a gradual increase of @xmath100 at low reaction energy to 0.165 at the top available energy .
it is important to note that exactly the same behavior of the fireball physical properties arises both as function of reaction volume and reaction energy .
this is the case for both the physical properties and the statistical parameters .
we believe that this shows a common change in the physical state created as function of energy available and reaction volume .
one of the most interesting questions is if there is an energy threshold for the formation of a new state of matter .
an important observable of the deconfined phase of matter is aside of strangeness , the high entropy content , which is arising from broken color bonds .
the observable for both is the k@xmath101 yield ratio  @xcite .
this ratio has been studied experimentally  @xcite and a pronounced horn structure arises .
we can describe this structure in our study of the particle yields only within the chemical non - equilibrium model . although this change is associated a rather sudden modification of chemical conditions in the dense matter fireball , this effect is caused by two distinct phenomena : the rapid rise in strangeness @xmath52 production below , and a rise in the antiquark @xmath102 yield above a energy reaction threshold .
-.4 cm -.25 cm -14.75 cm 4.0 cm 2.6 cm    the measured @xmath103 ratio by na49 is shown at top left of , where for comparison we also show the @xmath6 results .
on right top , we present our results reduced to the correct relative scale , both for the total yield ratio for the ags
rhic energy range , and for the central rapidity results from rhic .
the solid line guides the eye to the fit results we obtained . to show that the @xmath104 ratio drop is due to a decrease in baryon density which leads to rise in the @xmath102 yield , we show in bottom section of , the nearly baryon density independent @xmath105 double ratio ratio , on left as function of @xmath106 , and on right as function of centrality of the reaction for @xmath107 gev : = .
both upper and lower portion of are also drawn on same relative scale .
seen how the horn specifically arises in the one @xmath104 , one can wonder if this is really a physical effect and how , in qualitative terms , a parameter @xmath62 , which controls the light quark yield , can help explain the horn structure seen in top of .
we observe that this horn structure in the @xmath12 ratio traces out the final state valance quark ratio @xmath108 , and in language of quark phase space occupancies @xmath28 and fugacities @xmath109 , we have : @xmath110    in chemical equilibrium models @xmath111 , and the @xmath12 ratio and its horn must arise solely from the variation in the ratio @xmath112 and the change in temperature @xmath13 which both are usually smooth function of reaction energy . the isospin factor
@xmath58 is insignificant in this consideration .    as collision energy
is increased , increased hadron yield leads to a decreasing @xmath113 .
we recall the smooth decrease of @xmath114 with reaction energy seen in bottom panel in .
the two chemical fugacities @xmath115 and @xmath116 are coupled by the condition that the strangeness is conserved .
this leads to a smooth @xmath112 .
the chemical potential effect is suggesting a smooth increase in the k@xmath117 ratio .
for the interesting range of freeze - out temperature , @xmath118 is a smooth function of @xmath13 .
normally , one expects that @xmath13 increases with collision energy , hence on this ground as well we expect an monotonic increase in the @xmath12 ratio as function of reaction energy . with considerable effort
, one can arrange the chemical equilibrium fits to bend over to a flat behavior at @xmath119 .
it is quasi impossible to generate the horn with chemical equilibrium model . to accomplish this ,
an additional parameter appears necessary , capable to change rapidly when hadronization conditions change .
this is @xmath62 .
it presence also allows @xmath13 to vary in non - monotonic fashion , as is seen in .
the full shm is capable to describe the data , and we now show that it can pinpoint the properties of the phase of matter that was created early on in the reaction . to see this we consider what we learn from the final state data about strangeness and entropy production . for this purpose
we consider both the specific per baryon and per entropy yield of strangeness .
in addition , we look at the cost in thermal energy to make strangeness .
all these quantities are nearly independent of the dynamics of hadronization , since they are related to processes occurring early on , ` deep ' inside the collision region , and long before hadronization .    in the qgp ,
the dominant entropy production occurs during the initial glue thermalization , and the thermal strangeness production occurs in parallel and/or just a short time later  @xcite .
the entropy production occurs predominantly early on in the collision during the thermalization phase .
strangeness production by gluon fusion is most effective in the early , high temperature environment , however it continues to act during the evolution of the hot deconfined phase until hadronization @xcite .
both strangeness and entropy are nearly conserved in the evolution towards hadronization and thus the final state hadronic yield analysis value for @xmath120 is closely related to the thermal processes in the fireball at @xmath1212 fm / c .
we believe that for reactions in which the system approaches strangeness equilibrium in the qgp phase , one can expect a prescribed ratio of strangeness per entropy , the value is basically the ratio of the qgp degrees of freedom .
we estimate the magnitude of @xmath120 deep in the qgp phase , considering the hot stage of the reaction . for an equilibrated non - interacting qgp phase with perturbative properties : = = 0.027 . here
, we used for the number of flavors @xmath122 and @xmath123 .
we see that the result is a slowly changing function of @xmath116 ; for large @xmath124 , we find at modest sps energies , the value of @xmath120 is reduced by 10% .
considering the slow dependence on @xmath125 of @xmath126 there is minor dependence on the much less variable temperature @xmath13 .
the dependence on the degree of chemical equilibration which dominates is easily obtained separating the different degrees of freedom : = 0.027 _ s^qgp .
we assume that the interaction effects are at this level of the discussion canceling .
seen we expect to see a gradual increase in @xmath120 as the qgp source of particles approaches chemical equilibrium with increasing collision energy and/or increasing volume .
we repeat that it is important to keep in mind that this ratio @xmath120 is established early on in the reaction , the above relations , and the associated chemical conditions we considered , apply to the early hot phase of the fireball . at hadron
freeze - out the qgp picture used above does not apply .
gluons are likely to freeze faster than quarks and both are subject to much more complex non - perturbative behavior .
however , the value of @xmath120 is nearly preserved from the hot qgp to the final state of the reaction .
how does this simple prediction compare to experiment ?
given the statistical parameters , we can evaluate the yields of particles not yet measured and obtain the rapidity yields of entropy , net baryon number , net strangeness , and thermal energy , both for the total reaction system and also for the central rapidity condition , also as function of centrality . in passing ,
we note that , in the most central reaction bin at rhic-200 , @xmath127 baryons per unit rapidity interval , implying a rather large baryon stopping in the central rapidity domain .    the rise of strangeness yield with centrality is faster than the rise of baryon number yield : @xmath128 is seen in the top left panel in fig.[pest ] .
the solid ( blue ) lines are for the chemical nonequilibrium central rapidity yields of particles at rhic-200 .
solid ( green ) lines , on right , are for total hadron yields and thus total yields of the considered quantities , _ e.g. _ strangeness , entropy . for the most central head - on reactions ,
we reach at rhic-200 @xmath129 .    in the middle panel in
we compare strangeness with entropy production @xmath120 , which we just evaluated theoretically .
again , on left , as function of participant number @xmath68 at rhic-200 and , on right , for the total reaction system for the most central 5 - 7% reactions . on left , we see a smooth transition from a flat peripheral behavior where @xmath130 to smoothly increasing @xmath120 reaching @xmath131 in most central reactions .
this indicates that even at rhic-200 for the more central reactions some new mechanisms of strangeness production becomes activated . on right , we see that the change on @xmath120 is much more drastic as function of reaction energy . after an initial rapid rise the further increase occurs beyond the threshold energy at slower pace .    in the bottom panel , on left ,
we see the thermal energy cost @xmath132 of producing a pair of strange quarks as function of the size of the participating volume ( _ i.e. _ @xmath68 ) this quantity shows a smooth drop which can be associated with transfer of thermal energy into collective transverse expansion after strangeness is produced .
thus , it seems that the cost of strangeness production is independent of reaction centrality .
the result is different when we consider @xmath106 dependence of this quantity , see bottom panel on right .
there is a very clear change in the energy efficiency of making strangeness at the threshold energy .
we will return to discuss possible reaction mechanisms below .
the chemical freeze - out conditions we have determined presents , in the @xmath13@xmath114 plane , a more complex picture than naively expected , see . considering results shown in , we are able to assign to each point in the @xmath13@xmath114 plane the associate value of @xmath106 .
the rhic @xmath48 results are to outer left .
they are followed by rhic and sps @xmath133 results .
the dip corresponds to the 30 and 40 @xmath68gev sps results .
the top right is the lowest 20 @xmath68gev sps and top 11.6 @xmath68gev ags energy range . to guide the eye ,
we have added two lines connecting the fit results .
we see that the chemical freeze - out temperature @xmath13 rises for the two lowest reaction energies 11.6 and 20 @xmath68 gev to near the hagedorn temperature , @xmath134 mev , of boiling hadron matter .
once the chemical non - equilibrium is allowed for , the data fit turns to be much more precise , and the picture of the phase boundary with smaller ` measurement ' error reveal a much more complex structure , and contains physics details prior analysis based on a rudimentary model could not uncover .
the shape of the hadronization boundary , shown in in the @xmath13@xmath114 plane , is the result of a complex interplay between the dynamics of heavy ion reaction , and the properties of both phases of matter , the inside of the fireball , and the hadron phase we observe . the dynamical effect , capable to shift the location in temperature of the expected phase boundary is due to the expansion dynamics of the fireball which occurs at parton level , and effects of chemical nonequilibrium , see subsection [ tphase ] for full discussion .
possibly , not only the location , but also the _ nature _ of the phase boundary can be modified by variation of @xmath28 .
we recall that for the 2 + 1 flavor case , there is a critical point at finite baryochemical potential with @xmath135 mev  @xcite . for the case of 3 massless flavors , there can be a 1st order transition at all @xmath114 @xcite . considering a classical particle system , one easily sees that an over - saturated phase space , _
e.g. _ , with @xmath136 for the purpose of the study of the phase transition acts as being equivalent to a system with 3.2 light quarks and 1.6 massive ( strange ) quarks present in the confined hadron phase .    considering the sudden nature of the fireball breakup seen in several observables  @xcite
, we conjecture that the hadronizing fireball leading to @xmath137 super - cools and experiences a true 1st order phase boundary corresponding also at small @xmath114 .
the system we observe in the final state prior to hadronization is mainly a quark  antiquark system with gluons frozen in prior expansion cooling of the qcd deconfined parton fluid .
the quark dominance is necessary to understand _
e.g. _ how the azimuthal asymmetry @xmath11 varies for different particles  @xcite .
these quarks and antiquarks have , in principle , at that stage a significant thermal mass .
the evidence for this is seen in in its two bottom panels , showing the dimensionless variable @xmath96 .
the energy end entropy per particle of non - relativistic and semi - relativistic classical particle gas comprising both quarks and antiquarks is ( see section 10 , @xcite ) : @xmath138 it is thus possible to interpret the fitted value @xmath139 in terms of a quark matter made of particles with @xmath140 , @xmath141 which is close to what is expected based on thermal qcd  @xcite .
we expect considerably more violent transverse expansion of the fireball of matter created at lhc .
the kinetic energy of this transverse motion must be taken from the thermal energy of the expanding matter , and ultimately this leads to local cooling and thus a reduction in the number of quarks and gluons .
the local entropy density decreases , but the expansion assures that the total entropy still increases .
primarily , gluons are feeding the expansion dynamics , while strange quark pair yield , being weaker coupled remain least influenced by this dynamics .
model calculations show that this expansion yields an increase in the final qgp phase strangeness occupancy @xmath70 @xcite .
this mechanism , along with the required depletion of the non - strange degrees of freedom , in the feeding of the expansion , assures an increase in the @xmath142 ratio given the nearly 30-fold increase of collision energy .
depending on what we believe to be a valid hadronization temperature for a fast transversely expanding fireball , the possible maximal enhancement in the @xmath142 ratio may be in the range of a factor 23 .
perhaps even more interesting than the @xmath142 ratio enhancement would be the enhancement anomaly in strange ( antibaryon ) yields . with @xmath143 ,
we find that the more strange baryons and antibaryons are more abundant than the more ` normal ' species . specifically of interest would be @xmath144 , @xmath145 , and @xmath146 which should show a major , up to an order of magnitude shift in relative production strength .
detailed predictions for the yields of these particles require considerable extrapolation of physics conditions from the rhic to lhc domain and this work is in progress  @xcite .
ultimately , strange @xmath0 , and @xmath52 quarks can exceed in abundance the light quark component , in which case we would need to rethink in much more detail the distribution of global particle yield . the ratios of neutral and charged hadrons would undergo serious change .
regarding charm , we note that situation will not become as severe .
given the large charm quark mass , we expect that most of charm quark yield is due to first hard interactions of primary partons .
for this reason , the yield of strange and light quarks , at time of hadronization , exceeds by about a factor 100 or more that of charm at central rapidity .
thus , even though charm phase space occupancy at hadronization may largely exceed the chemical equilibrium value , seen the low hadronization temperature , _
e.g. _ , @xmath147 , it takes a factor @xmath148 to compensate hadron yield suppression due to the high charm mass .
said differently , while strange quarks can compete in abundance with light quarks for @xmath149 , charm ( and heavier ) flavor(s ) will remain suppressed , in absolute yield , at the temperatures we can make presently in laboratory experiments .
we have shown that strangeness , and entropy , at sps and rhic are well developed tools allowing the detailed study of hot qgp phase .
our detailed discussion of hadronization analysis results has further shown that a systematic study of strange hadrons fingerprints the properties of a new state of matter at point of its breakup into final state hadrons .    we have shown that it is possible to describe the ` horn ' in the @xmath104 hadron ratio within the chemical non - equilibrium statistical hadronization model .
we have shown that appearance of this structure is related to a rapid change in the properties of the hadronizing matter . of most theoretical relevance and interest
are the implications of non - equilibrium hadronization on the possible change in the location and _ nature _ of the phase boundary .    in summary
, we have presented interpretation of the experimental soft hadron data production and discussed the production of strangeness and entropy that this analysis infers .
we have seen , in quantitative way , how the relative strangeness and entropy production in most central high energy heavy ion collisions agrees with quark - gluon degree of freedom counting in hot primordial matter where the values of these quantities have been established .
work supported in part by a grant from : the u.s .
department of energy de - fg02 - 04er4131 .
lpthe , univ.paris 6 et 7 is : unit mixte de recherche du cnrs , umr7589 .
jr thanks bikash sinha and jan - e alam and the organizers of the 5th international conference on physics and astrophysics of quark gluon plasma , february 8  12 , 2005 salt lake city , kolkata , india for their kind hospitality .
dedicated to professor bikash sinha on occasion of his 60th anniversary .
19    assessments by the rhic experimental collaborations : _ hunting the quark gluon plasma : results from the first 3 years at rhic _ bnl-73847 - 2005 formal report , april 18 , 2005 , to appear in nucl . phys . a ( 2005 ) .
j.  letessier and j.  rafelski , _ hadrons and quark - gluon plasma _ cambridge monogr .
. cosmol . * 18 * 1 - 397 ( 2002 ) ( cambridge , uk , 2002 ) .
available on line to read freely with win and mac platforms at http://site.ebrary.com/pub/cambridgepress/doc?isbn=0521385369    g.  torrieri , w.  broniowski , w.  florkowski , j.  letessier and j.  rafelski , [ arxiv : nucl - th/0404083 ] , computer physics communications in press , see : www.physics.arizona.edu/@xmath150torrieri/share/share.html      j.  rafelski , j.  letessier and g.  torrieri , `` centrality dependence of bulk fireball properties at rhic , '' arxiv : nucl - th/0412072
. j.  letessier and j.  rafelski , `` hadron production and phase changes in relativistic heavy ion collisions , '' arxiv : nucl - th/0504028 .
j.  rafelski and j.  letessier , acta phys .
b * 34 * , 5791 ( 2003 ) [ arxiv : hep - ph/0309030 ] ; and j.  phys .
g * 30 * ( 2004 ) s1 [ arxiv : hep - ph/0305284 ] .
j.  letessier , a.  tounsi , u.  w.  heinz , j.  sollfrank and j.  rafelski , phys .
* 70 * , 3530 ( 1993 ) .
h.  caines [ star collaboration ] , j.  phys .
g * 31 * , s1057 ( 2005 ) .
g.  e.  bruno [ na57 collaboration ] , j.  phys .
g * 30 * , s717 ( 2004 ) [ arxiv : nucl - ex/0403036 ] .
m.  gazdzicki _ et al . _
[ na49 collaboration ] , j.  phys .
g * 30 * , s701 ( 2004 ) [ arxiv : nucl - ex/0403023 ] .
s.  s.  adler _ et al .
_ [ phenix collaboration ] , phys .
c * 69 * , 034909 ( 2004 ) [ arxiv : nucl - ex/0307022 ] .
h.  b.  zhang [ star collaboration ] , `` delta , k * and rho resonance production and their probing of freeze - out dynamics at rhic , '' , poster presentation at qm2004 , oakland , january 2004 [ arxiv : nucl - ex/0403010 ] ; + j.  adams [ star collaboration ] , [ arxiv : nucl - ex/0412019 ] , phys .
rev . c. ( 2005 ) in press .
j.  adams _ et al .
_ [ star collaboration ] , phys .
b * 612 * , 181 ( 2005 ) [ arxiv : nucl - ex/0406003 ] .
j.  letessier , a.  tounsi and j.  rafelski , phys .
b * 389 * ( 1996 ) 586 .
j.  rafelski and j.  letessier , phys .
b * 469 * , 12 ( 1999 ) [ arxiv : nucl - th/9908024 ] .
j.  rafelski and j.  letessier , nucl .
a * 702 * , 304 ( 2002 ) [ arxiv : hep - ph/0112027 ] .
b.  kampfer , j.  cleymans , p.  steinberg and s.  wheaton , heavy ion phys .
* 21 * , 207 ( 2004 ) .
a.  peikert , f.  karsch , e.  laermann and b.  sturm , nucl .
* 73 * , 468 ( 1999 ) . c.  bernard
_ et al . _
[ milc collaboration ] , phys .  rev .
d * 71 * , 034504 ( 2005 ) .
h.  z.  huang and j.  rafelski , aip conf .
proc .   * 756 * , 210 ( 2005 ) [ arxiv : hep - ph/0501187 ] .