in the high - energy regime of qcd , an interesting new phenomenon is expected to show up : parton saturation @xcite .
saturation changes qualitatively the usual equation for the evolution of scattering cross sections with the energy of the reactions , namely the so - called balitsky - fadin - kuraev - lipatov ( bfkl ) equation @xcite , by introducing nonlinearities . in turn , due to these nonlinearities , the intrinsic stochasticity of partonic evolution may start to have a sizable effect on observables .
the basic nonlinear evolution equation beyond the linear bfkl equation is the balitsky - kovchegov ( bk ) equation @xcite ( or , alternatively , the balitsky - jalilian marian - iancu - mclerran - weigert - leonidov - kovner ( b - jimwlk ) equations @xcite ) which however neglects the stochastic effects alluded to before , and is therefore a kind of mean - field approximation . while a formulation which would include all stochastic effects has not been fully achieved yet ( the most recent advances may be found in ref .
@xcite ) , it is believed that the complete evolution has a lot in common with some reaction - diffusion processes described by equations of the fisher - kolmogorov - petrovsky - piscounov ( fkpp ) type @xcite . at the mean - field level
, this analogy is a formal identity between the fkpp equation and the bk equation in the so - called diffusive limit and assuming uniformity in the transverse space ( i.e. the gluon distribution is assumed to evolve in the same way at all points of the impact - parameter space ) @xcite . beyond the mean - field approximation ,
the conjecture made so far for the full problem is that at any fixed position in transverse space , the rapidity evolution of say the gluon content of a hadronic object is like the time evolution of a one - dimensional reaction - diffusion process , whose space variable would be the logarithm of the transverse size ( or momentum ) of the gluons .
generally speaking , the dynamics of such systems is described by equations equivalent to stochastic extensions to the fkpp equation .
( the first ideas on how to go beyond the bk equation were presented in ref .
@xcite ; the equivalence with reaction - diffusion processes was conjectured in ref .
@xcite ; deeper insight can be found in e.g. ref .
@xcite , and a review in ref .
@xcite . )    while this analogy is useful to find asymptotic properties of observables that involve one unique impact parameter , so far little is known about the correlations and the fluctuations of the gluon distribution between different points in transverse space , which would show up in observables that probe several points in impact - parameter space simultaneously .
the correlations of the gluon number densities at different points in transverse space were computed exactly in ref .
@xcite in the context of the systematic approximation to full qcd provided by the color dipole model @xcite , which is an accurate representation of the physics described by the bfkl equation but which does not take into account saturation effects . in ref .
@xcite , a calculation was done in a theory with full saturation based on a similarity with the liouville gravity .
but that calculation was valid only up to distances of the order of the inverse saturation momentum .
on the numerical side , on one hand , the bk equation was solved taking into account the full impact - parameter dependence @xcite , and on the other hand , the relevance of the one - dimensional stochastic fkpp equation at each fixed impact parameter was tested in toy models for qcd evolution beyond the mean - field approximation  @xcite .    in this paper
, we would like to investigate how the saturation scale varies in impact - parameter space in the presence of both saturation and fluctuations .
our method will consist in proposing a simple toy model which contains the main physical features of qcd , which may be implemented as a monte - carlo event generator and for which analytical calculations will be possible . in these respects ,
our approach follows the one developed in ref .
@xcite , but while the latter work was purely numerical , our main results will consist in analytical expressions of the correlation of the saturation scale between two points in impact - parameter space , as a function of the distance between the points and as a function of the rapidity .
the model is introduced in the next section .
we then provide the derivation of the analytical expression for the correlations .
finally , we check our calculations against numerical simulations of different versions of the model .
the model that we introduce here is a simplified version of the model proposed in ref .
@xcite .
the starting point is the qcd color dipole model @xcite , supplemented with some ad hoc saturation mechanism which limits the number of dipoles in any given phase space cell .
the dipole model accurately represents the qcd evolution in the high - energy regime and in the limit of a large number of colors .
it provides an equation for the change of the density of gluons ( represented by a set of color dipoles of different sizes and positions in the two - dimensional plane transverse to the flight axis of the hadron ) inside a hadron , when rapidity is increased . the basic process from which the evolution is built is the splitting of a dipole represented by its two endpoints @xmath2 into two dipoles @xmath3 and @xmath4 with the rate  @xcite = d^2x_2 .
[ eq : dpdy ] as usually , @xmath5 , where @xmath6 is the strong coupling constant , @xmath7 the number of colors and @xmath8 is the rapidity . the splitting of dipoles is a linear process , which generates the bfkl equation when averages over dipole configurations ( `` events '' in an experimental language ) are taken .
the rapidity @xmath8 is an effective evolution time .
when the rapidity becomes very high , then gluons and thus dipoles may start to interact among themselves , which induces nonlinear terms in the evolution equations . the effect of these interactions is to tame the growth of the phase - space number density of dipoles as soon as it reaches @xmath9 , which would otherwise be exponential with the rapidity .
the precise mechanism for these effects is still not known in qcd , but the main observables should be quite independent of these details .    with respect to qcd , we assume the following simplifications : _
( i ) _ dipoles evolve by giving birth to one dipole of half size ( the left or the right half of the parent dipole ) , or to one dipole of double size ( in such a way that the parent be the left or right half of its offspring ) at some fixed rates , _ ( ii ) _ dipoles do not disappear in the evolution , that is to say , the parent dipoles are not removed , _ ( iii ) _ the positions and dipole sizes are discrete , and _
( iv ) _ the configuration space of the dipoles is a line instead of the full two - dimensional space .
we thus give up two main properties of the qcd dipole model : the collinear singularities , which cause the dipole endpoints to emit an arbitrary number of dipoles of arbitrarily small sizes , and the continuous and two - dimensional nature of the dipole sizes and positions .
the first simplification is the diffusion approximation , which has been studied in the context of bfkl physics ( see e.g. ref .
@xcite ) , but which was not assumed in ref .  @xcite .
the second simplification was instead already assumed in  @xcite .
these model simplifications may introduce some artefacts , but that we believe are under control , and many results which we will obtain within such simple models are likely to apply to qcd since they will not depend on the details .
let us now specify completely the model . according to the evolution rules given above , starting from a dipole of size 1 , the sizes of all dipoles present in the system after evolution are powers of 2 .
in practice , we shall only consider fractions of 1 , i.e. the sizes may be written as @xmath10 , where @xmath11 .
for each value of @xmath12 , there are @xmath13 possible values of the position @xmath14 of the center of the dipoles : @xmath15 .
let us number these bins by the index @xmath16 running from the negative to the positive positions .
the model may be represented as a hierarchy of bins that contain a discrete number of dipoles , see fig .
[ fig : sketch0 ] .
note that to any given impact parameter @xmath14 between @xmath17 and @xmath18 corresponds one unique bin at each level of size .
for example , at position @xmath19 , one sees the bins @xmath20 , @xmath21 , @xmath22 etc ... at position @xmath23 , one sees the bins @xmath20 , @xmath21 , @xmath24 etc ... more generally , at position @xmath25 , one sees @xmath26)$ ] , where the square brackets represent the integer part .    during the rapidity ( or time )
interval @xmath27 , a dipole in the bin @xmath28 has a probability @xmath29 to give birth to a dipole in the bin @xmath30 , @xmath31 to give a dipole in the bin @xmath32 , and @xmath33 to give a dipole in the bin @xmath34 if @xmath35 is even and @xmath36 if @xmath35 is odd .
note that @xmath27 may be infinitesimal ( which is generally speaking convenient for analytical calculations ) , but also finite ( which is convenient for numerical simulations ) .
as for the saturation mechanism , we assume the simplest one : we veto splittings to bins which already host the number @xmath37 of dipoles .
we can consider that the number density of `` gluons '' of a given size seen at one impact parameter is proportional to the number of dipoles in the corresponding bin @xmath28 .
as rapidity is increased , the occupation of the bins with low values of @xmath12 gets higher until the number of objects they contain reaches @xmath37 .
the subsequent filling of the bins indexed by larger values of @xmath12 ( smaller dipole sizes ) can be seen as the propagation of traveling wave fronts at each impact parameter , with possibly complicated relationships between them .
the ( logarithm of the ) saturation scale @xmath38 at impact parameter @xmath14 is related to the position of the front seen there at time @xmath39 .
there are several equivalent ways to define the position of the front .
it could be , for example , the largest value of @xmath12 for which the number of objects becomes some given fraction of @xmath37 .
( later , we will use a slightly different definition ) .
let us denote by @xmath40 the number of dipoles present in bin @xmath28 at time @xmath39 .
then , according to the rules given above , we can write the following stochastic evolution equation : @xmath41)}(t)\\ + \delta^{\beta/2}_{(k+1,2j)}(t)+\delta^{\beta/2}_{(k+1,2j+1)}(t ) \bigg ] , \label{eq : defmodel1}\end{gathered}\ ] ] where the @xmath42 are drawn according to the binomial distribution =    n_(k , j)(t ) + l    ( x dt)^l(1-x dt)^n_(k , j)(t)-l . [
eq : defmodel2 ] this is a rather complicated equation which we do not know how to solve except numerically .
this model does not a priori look like a stochastic fkpp model .
we may assume uniformity in impact parameter : this would amount to imposing the same @xmath43 and @xmath44 respectively for all @xmath35 at any given @xmath12 .
in this case , the model would be projected to the fkpp class , but by definition , this would wash out the fluctuations between the different impact parameters . this simplified model , that we call `` fip '' ( for `` fixed impact parameter '' , since effectively , the model is completely defined by a single impact parameter ) in the terminology of ref .
@xcite , is nevertheless useful since it provides a benchmark to evaluate how the fluctuations between different impact parameters may alter the fkpp picture . in this paper
, we will rely on ( and check again in the case of our model ) the conclusion reached in ref .
@xcite that thanks to saturation , locally at each impact parameter , the full model is still well - described by a one - dimensional fkpp equation , and the fluctuations between different positions in impact - parameter space do not qualitatively change the picture .
let us first apply the well - known treatment of fkpp equations to the fip case .
we know that the large - rapidity realizations of the model are stochastic traveling waves , whose main features can be determined from a simple analysis of the linear part of the evolution equation . in this model ,
only the number of dipoles @xmath45 in the bins say @xmath46 ( i.e. at impact parameter @xmath17 ) is relevant .
the evolution equation reads instead of the last term in eq .
( [ eq : evolutionfip ] ) .
( this may even be a more literal implementation of the fip approximation ) .
but this would not make a large difference , which anyway , we would be unable to capture analytically . ]
n_k(t+dt)=. [ eq : evolutionfip ] the mean - field ( or balitsky - kovchegov ) approximation to the evolution leads to the equation n_k(t+dt)= , where the @xmath45 are now real functions of @xmath12 . the linearized equation ( equivalent to the bfkl equation )
is simply obtained by discarding the `` @xmath47 '' in the previous equation : n_k(t+dt)= n_k(t)+dt n_k-1(t)+dt n_k+1(t ) .
[ eq : bfkl ] from standard arguments , we know that for asymptotically large @xmath39 and @xmath37 , the velocity of the wave front , that is the time derivative of the position @xmath48 of the front , is given by @xcite v_0==^(_0 ) , [ eq : v0 ] where @xmath49 is the eigenvalue of the kernel of the linearized evolution equation  ( [ eq : bfkl ] ) corresponding to the eigenfunction  @xmath50 , namely ( ) = ( 1 + dte^+dte^- ) , [ eq : eigenvalue ] and @xmath51 minimizes @xmath52 .
we recall that @xmath27 may be finite or infinitesimal , in which case eq .
( [ eq : eigenvalue ] ) is to be understood as the derivative of @xmath53 .
the shape of the front is a decreasing exponential to the right of the saturation region , n_k(t)~n e^-_0 ( k - x(t ) ) , [ eq : exposhape ] extending to @xmath54 for large times .
the corrections due to the discreteness of @xmath45 are known . taking the latter into account
, the front has now a finite extension , of the order of l_0=. [ eq : l0 ] indeed , typically , it can not extend further than the point where @xmath55 , and eq .  ( [ eq : l0 ] ) then follows from eq .
( [ eq : exposhape ] ) .
its mean velocity reads @xcite v_=^(_0 ) - .
[ eq : vbd ] this velocity was obtained in a still deterministic ( mean - field ) approximation with appropriate cutoffs to mimic saturation and discreteness .
taking furthermore fluctuations into account , the velocity becomes @xcite
v=^(_0 ) - , [ eq : vbdmm ] and realization - to - realization fluctuations are characterized by the following cumulants of the position of the front : = , [ eq : cumbdmm ] where a priori the model leads to @xmath56 , but empirically , a better fit to the results of the numerical simulations is obtained by adding a subleading correction of the form @xmath57 . in particular , the diffusion constant of the front , that is to say the slope of the @xmath39-dependence of the second - order cumulant reads d=. [ eq : d ] these expressions are valid in the limit of large @xmath58 , i.e. for exponentially large values of @xmath37 .
there exists a subclass of these models that may be reduced exactly to a collection of fkpp models .
let us set @xmath59 , that is to say , authorize only splittings to smaller - size dipoles .
consequently , there may not be any influence of the bins at any size level @xmath12 on the content of the bins of level less than @xmath12 ( i.e. of larger sizes ) .
then , at each impact parameter , one has a fip model , i.e. a model of the one - dimensional fkpp type .
however , the relationship between the different copies of fip models is not trivial , since part of the evolution is common between different impact parameters . even for @xmath60
, we believe that this minimal model , consisting in considering two one - dimensional systems appropriately correlated , is a good approximation to the full model .    in our investigations , we will have in mind the latter class of models , and we will check numerically that for more general models for which @xmath60 , the results that we shall obtain are not significantly altered .
our aim is to study the correlations between the point at position @xmath19 in transverse space ( left edge of the system , see fig .
[ fig : sketch0 ] ) and the one at position @xmath61 with @xmath62 .
we calculate the average of the squared difference of the positions of the front between these points , which is formally related to the two - point correlation function of ( the logarithm of ) the saturation scales , and which we deem a good estimator of the spatial fluctuations of the saturation scale . in the hierarchical model ,
all bins with index @xmath12 less than or equal to @xmath63 $ ] ( the notation `` @xmath64 $ ] '' stands for the integer part ) and @xmath65 overlap both impact parameters , and thus the dipoles of size larger than @xmath66 seen at these points are exactly the same . for @xmath67 instead , the bins seen at the two points are distinct and nonoverlaping .
so in particular , in our model with @xmath59 , as soon as the position of the front at one point or at the other is larger than @xmath68 , that is to say , as soon as there are of the order of @xmath37 dipoles in the bin @xmath69 , then the evolutions are completely uncorrelated at the two points in the corresponding bins .
( we expect that for finite @xmath70 of order 1 , the discussion would not be qualitatively changed . )
this matches to the picture that we may infer for the qcd dipole model : the dipoles at two positions in impact - parameter space separated by a distance larger than the typical saturation scales in that region evolve ( almost ) independently towards larger rapidities .
note that choosing pairs of points around impact parameter 0 , one with positive impact parameter and another one with negative impact parameter , would not satisfy this property , due to the rigidity of the sizes and positions of the dipoles .
indeed , these two points would decorrelate very soon in the evolution since their common ancestors necessarily sit in the bin @xmath20 , see fig .  [
fig : sketch0 ] .    as a consequence of these features of qcd reproduced in the toy model , studying two - point correlations between points in impact - parameter space as a function of their distance @xmath71 and of the time ( = rapidity )
@xmath39 is equivalent to studying the time dependence of the correlations of the saturation scales of two realizations of the model whose evolutions are identical until the tip of the front reaches @xmath68 . on the average
, it takes a time @xmath72 , @xmath73 being the mean velocity of the individual fronts , for the front whose tip is at @xmath74 at the beginning of the evolution to have its tip at @xmath68 .
then the bins such that @xmath67 evolve independently between the two realizations over the remaining time interval t = t - t_b ,   t_b=. [ eq : ttb ] note that this is very close to assuming that the realizations are identical for @xmath75 and completely uncorrelated for @xmath76 .    from this discussion , we see that the basic input of our calculation will be the mechanism for the propagation of a fkpp front . we will review it in the next subsection , then we will proceed to the formulation of the calculation of the correlations .      in this section , we review the recent progress in the understanding of the mecanism for front propagation @xcite , which has eventually led to the formulation of a model , and from which eqs .
( [ eq : vbdmm ] ) ,  ( [ eq : cumbdmm ] ) follow @xcite .    instead of solving the nonlinear problem ,
it was proposed @xcite to replace the nonlinearities by absorptive boundaries , and to treat the evolution equation as a linear ( branching diffusion ) equation between these boundaries .
there are two types of nonlinearities : _
( i ) _ the saturation condition that keeps the number of particles in each bin less than or equal to @xmath37 and _ ( ii ) _ the very discreteness of this number of particles , whose effect mainly shows up in the region where @xmath77 .
the position of the boundaries is adjusted in such a way that the distance between them be the size of the front  ( [ eq : l0 ] ) , namely @xmath78 , and that the large - time solution of the diffusion equation be stationary .
this procedure leads to the expression of the front velocity for large @xmath37 given in eq .
( [ eq : vbd ] ) , but it does not predict the fluctuations of the position of the front .    in order to incorporate the latter , we add to this picture the possibility that there be one ( or a few ) particles randomly sent ahead of the tip of the front  @xcite , at a distance @xmath79 .
we attribute to this event a probability per unit time p()d = c_1 e^-_0()d , [ eq : p ] in the continuation of the shape of the front  ( [ eq : exposhape ] ) solution in the large-@xmath39 and large-@xmath37 limit .
( @xmath80 is some constant , undetermined at this stage ) . in ref .
@xcite , we treated such fluctuations as localized extra weights of appropriate `` mass '' a unit or so to the left of the right boundary .
we then computed the effect of this weight on the position of the front at large time , and found a forward shift of the position equal to r()= ( 1+c_2 ) .
[ eq : r0 ] @xmath81 is another constant . at large times
after a fluctuation has occurred , the front relaxes to its mean - field shape .
we assumed that the relevant fluctuations are rare enough in such a way that the front has time to completely relax between two fluctuations , which turns out to be true for @xmath82 .
from the two quantitative elements  ( [ eq : p ] ) and  ( [ eq : r0 ] ) , together with the solution of the stationary diffusion problem between the boundaries  ( [ eq : vbd ] ) , we may write down an effective theory for stochastic front propagation , with however two unknown parameters , namely @xmath80 and @xmath81 . while we were not able to determine @xmath80 and @xmath81 separately , it is the product @xmath83 that appears in all cumulants of the position of the front , and in particular in the correction to the velocity induced by fluctuations . assuming that the velocity of the front taking into account the fluctuations is the velocity of a mean - field front whose size is extended by @xmath84 with respect to @xmath85 ( i.e. with the substitution @xmath86 ) , we got a determination of the product @xmath83 : c_1c_2=^2^(_0 ) .
[ eq : c1c2 ] the effective theory for front propagation then leads to eqs .
( [ eq : vbdmm ] ) and  ( [ eq : cumbdmm ] ) . as we will see below ,
the only new ingredient that will be needed is the time dependence of the shift of the front @xmath87 , whose large - time asymptotics is eq .
( [ eq : r0 ] ) .      in line with the above discussion , we wish to compute the correlations of the position of two fronts whose evolutions are identical for @xmath75 and uncorrelated for @xmath76 .
note that strictly speaking , we would need to keep the content of all bins @xmath88 identical between the two realizations at all times , even after time @xmath89 .
but these two formulations give quantitatively similar results .
let us introduce @xmath90 the position of the front at time @xmath39 in the frame in which @xmath91 .
we focus on what happens slightly before the initial time @xmath92 . on one hand , @xmath93 if no fluctuation has occurred between times @xmath94 and @xmath92 , on the other hand , @xmath95 if a fluctuation has occurred at a position @xmath79 ahead of the front ( which happens with probability @xmath96 ) .
it is straightforward to write an equation for the generating function of the cumulants of @xmath97 : -e^x(t_0,t)=v_+dp ( ) ( e^r(t - t_0,)-1 ) .
one now considers two such independent fronts and add up the generating functions .
one gets @xmath98 expanding for @xmath99 close to 0 , the coefficients of the second power of @xmath99 obey the equation ( x_1-x_2)^2=2dp ( ) r^2(t - t_0 , ) , [ eq : corr ] where we have used the fact that @xmath100 and @xmath101 are independent random variables for @xmath102 , and we have traded @xmath92 for @xmath39 in the derivative , taking advantage of the fact that both @xmath103 and @xmath87 only depend on @xmath104 . in practice , @xmath92 will be equal to @xmath89 , the time at which the tip of the single front reaches @xmath68 . from eq .
( [ eq : ttb ] ) , this time is @xmath105/v$ ] .
we see that the basic ingredient is the time evolution of the shift of the front due to a forward fluctuation .
this shift was given in eq .
( [ eq : r0 ] ) in the limit of large times .
we have to repeat the steps that led to eq .
( [ eq : r0 ] ) keeping however track of the full time dependence
.      the problem amounts to solving a diffusion equation between two fixed absorptive boundaries , with various initial conditions .
we shall discuss the scaled dipole number @xmath106 , and for the simplicity of the formalism , consider that it is a function of a real variable @xmath12 .
let us write the general branching diffusion equation : _
t u(t , k)=(-_k)u(t , k ) , [ eq : equ ] where @xmath107 is an appropriate kernel that encodes the linear evolution of the dipoles .
( the operators that appear here are denoted as differential operators , but they could also be finite differences as in eq .
( [ eq : bfkl ] ) .
analytical calculations are usually easier with differential operators ) . in the case of qcd
, @xmath108 would be the bfkl kernel ( that can easily be deduced from eq .
( [ eq : dpdy ] ) ) , @xmath109 , @xmath110 ( where @xmath111 is the size of the dipoles ) , and @xmath112 would be the scattering amplitude .
further , we define @xmath51 to be the eigenvalue of @xmath107 that satisfies @xmath113 . following ref .
@xcite , we write the ansatz u(t , k)=e^-_0(k - x(t ) ) l ( , ) .
[ eq : ansatz ] @xmath114 is the size of the front , which is essentially @xmath78 for large @xmath37 .
when @xmath107 is expanded to second order around the eigenvalue @xmath51 , then @xmath115 obeys the partial differential equation _
y=_^2 + ( ^(_0)-x^(t ) ) , [ eq : diffusion0 ] where we have defined y=    = .
[ eq : changevar ] we have only kept the dominant terms for large @xmath114 .
we see that @xmath116 has to scale like @xmath117 for all terms of this equation to be relevant .
the coefficient must be chosen in such a way that in the large-@xmath118 limit , there is a nontrivial stationary solution .
we shall use the already known result  ( [ eq : vbd ] ) to write x^(t)=^(_0)-+o(1/l^2 ) [ eq : xprime ] and check a posteriori that it is the correct expression .
equation  ( [ eq : diffusion0 ] ) then becomes _ y=_^2 + , [ eq : diffusion ] up to higher - order terms when @xmath114 is large .
we shall admit that the saturation of the number of dipoles and the stochasticity may be appropriately implemented , within well - controlled approximations , by respectively an absorptive boundary at @xmath119 and another one at @xmath120 ( which corresponds to a distance @xmath114 between the boundaries in @xmath12-coordinates , i.e. to the natural width of the stationary front which travels at the velocity @xmath121 ) .
the boundary conditions formally read ( y,=0)=0  ( y,=1)=0 . [ eq : bc ]    let us now discuss the initial condition . the fluctuations that will generate the front - shifts @xmath87 responsible for the corrections to @xmath121 are dipoles sent at a distance @xmath79 ahead of the tip of the steady front .
formally , in order to describe such a fluctuation occurring at time @xmath122 , we would write @xmath123 , i.e. from eq .
( [ eq : ansatz ] ) , @xmath124 .
but since there is an absorptive boundary at @xmath120 , we had better move the fluctuation to the left of the right boundary
. this should not qualitatively change the problem as long as @xmath125 .
thus we write ( y=0,)=(-1+|a ) , [ eq : ic ] where @xmath126 is a constant of order @xmath127 , and therefore @xmath128 .    the solution of eq .
( [ eq : diffusion ] ) with the conditions  ( [ eq : bc ] ) and  ( [ eq : ic ] ) reads _ ( y,)= _ n=1^(-1)^n+1 n |a n e^- .
[ eq : psi ] the subscript @xmath79 recalls that this solution was obtained starting with an initial condition consisting in one dipole at a distance @xmath79 ahead of the deterministic front .
we first discuss the stationary solution .
we see that for large @xmath118 , the higher harmonics are suppressed exponentially with respect to the fundamental mode @xmath129 , which gives the following contribution : _ _ 0(y,)= |a .
[ eq : psi0 ] thanks to the choice  ( [ eq : xprime ] ) for @xmath130 , this solution has no @xmath118 dependence , and leads to a stationary @xmath112 in the frame of the front .
the expression  ( [ eq : psi0 ] ) is independent of the initial condition except for the overall normalization .
the value of @xmath131 , which characterizes the initial condition , will be adjusted later .
undoing the changes of variables which trade @xmath112 for @xmath115 , @xmath12 for @xmath132 and @xmath39 for @xmath118 ( eq .  ( [ eq : ansatz ] ) ) , the stationary solution @xmath133 reads u__0(t , k)= e^-_0(k - x(t ) ) .
[ eq : u0 ] we require that @xmath134 for @xmath135 , where @xmath136 is a constant of order  1 . this condition is satisfied if we set @xmath137 . indeed , with this choice , u__0(t , x(t)+al)2 ^ 2|a a l^2 e^-_0 a l. [ eq : pointnorm ] since @xmath138 and @xmath139 are constants , the right - hand side is just a number of order 1 .
we now add a fluctuation to the stationary front , that is to say , an extra particle at a position @xmath79 ahead of the tip of the steady front .
the solution of the diffusion equation is the superposition of the large - time stationary solution @xmath133 given by eq .
( [ eq : u0 ] ) with  @xmath140 , and of the solution @xmath141 of the diffusion equation with the generic initial condition characterized by @xmath79 ( see eq .
( [ eq : psi ] ) ) , up to a multiplicative constant @xmath81 of order 1 that we do not control in this calculation , since it certainly depends on the detailed shape of the fluctuations .
we write    u(t , k)&=u__0(t , k)+c_2 u_(t , k ) + & = e^-_0(k - x(t ) ) l    [ eq : u ] up to the replacement of the variables by their expressions  ( [ eq : changevar ] ) .
the presence of the second term alters the shape of the front ( the front eventually relaxes back to the sine shape in eq .
( [ eq : u0 ] ) ) , see fig .
[ fig : psi ] .
but of course , we want to keep the normalization condition for @xmath112 , namely for some appropriate value of @xmath12 , @xmath112 is required to equate eq .
( [ eq : pointnorm ] ) at all @xmath39 .
this is possible by shifting the value of @xmath12 at which we enforce the normalization condition from @xmath135 to say @xmath142 .
this is equivalent to shifting the position of the front @xmath143 .
equation  ( [ eq : u ] ) then leads to u(t , x(t)+al+r(r , ) ) = 2 ^ 2 |a a l^2 e^-_0 a l-_0 r(t , ) .
[ eq : ufin ] equating the right - hand sides of eq .
( [ eq : ufin ] ) and eq .
( [ eq : pointnorm ] ) , we get r(t,)= , [ eq : r ] where only the lowest orders in @xmath126 , @xmath144 in the expansion of @xmath145 must be kept . with the help of eq .
( [ eq : psi ] ) , it is then straightforward to arrive at an explicit expression of @xmath87 .
note that by performing the shift @xmath146 , we have actually added a @xmath39-dependent term to @xmath147 in eq .
( [ eq : xprime ] ) , which was initially assumed to be a constant
. however , since the time scale for the variations of @xmath87 is @xmath148 , @xmath149 is suppressed for large @xmath114 , and thus eq .  ( [ eq : diffusion ] ) is not modified within our approximations .
it is interesting to note that @xmath145 is related to some jacobi @xmath150 function @xcite . since
_ 4(z|q)=1 + 2_n=1^(-1)^n(2nz)q^n^2 , we may rewrite eq .
( [ eq : psi ] ) as _ ( y,)= . the notation qe^- = e^- [ eq : q ] has been introduced .
using eq .
( [ eq : r ] ) and performing the appropriate expansion for small @xmath126 and @xmath144 , we arrive at an expression for @xmath151 in terms of the @xmath152-function which is particularly compact : [ eq : rtheta ] with -_q_4(0|q)=2_n=1^+ ( -1)^n+1n^2 q^n^2 - 1 .
[ eq : theta4def1 ] it is actually quite natural that the jacobi theta functions appear , since the latter are defined as solutions of the one - dimensional heat equation with periodic boundary conditions .
we turn to the analysis of the obtained result .
first , for large @xmath118 , only the fundamental mode contributes to @xmath145 , and it is clear that eq .
( [ eq : r ] ) reduces to eq .
( [ eq : r0 ] ) . looking back at eq .
( [ eq : psi ] ) , we see that higher harmonics would give a series of exponentially decreasing corrections .
but at a finite time , a large number of modes have to be taken into account , typically all modes such that @xmath153 .
a few low - lying modes are not enough to describe the small - time behavior .
instead , it is a saddle point ( in an appropriate integral reformulation ) that dominates the sum  ( [ eq : psi ] ) . in this regime
, it would be useful to find a way to write the series of harmonics such that at asymptotically large @xmath118 , only the first term contributes instead of the whole series .
this is actually possible using the poisson summation formula _
n=-^+f(n)=_k=-^+ dxf(x)e^-2ik x. [ eq : poisson ] in order to get @xmath151 , we need the value of @xmath145 at @xmath154 . hence we choose f(x)=- x |a x a q^x^2 - 1 e^ix .
we then perform the integral over @xmath155 in the r.h.s . of eq .
( [ eq : poisson ] ) . introducing @xmath156 and @xmath157 , we get the following expression for @xmath145 : @xmath158 since we eventually want to apply eq .
( [ eq : r ] ) in order to get an expression of the shift of the front , we expand the latter formula for @xmath159 .
the leading order reads _ ( y , a)= _
k=1^+ e^. the shift of the front due to a fluctuation is obtained from @xmath145 with the help of eq .
( [ eq : r ] ) : @xmath160 e^{-\frac{(2k-1)^2l^2}{2\chi^{\prime\prime}(\gamma_0)t } } \bigg\}. \label{eq : rcomplet}\end{gathered}\ ] ] @xmath161 is the function of @xmath39 given by eq .
( [ eq : q ] ) .
this formula is extremely useful , since the series indexed by @xmath12 converges fast . even for moderately large values of @xmath39
, a few terms accurately describe the whole function .
this is actually the best formula for numerical evaluations of @xmath87 .
we shall now examine the limit of small @xmath39 ( @xmath162 ) .
then only the term @xmath163 has to be kept .
the expression for @xmath87 boils down to r(t,)= ( 1+c_2 ) .    as a final remark ,
let us note that the poisson summation  ( [ eq : poisson ] ) that we have used to rewrite the series of harmonics corresponds to a jacobi identity for the @xmath150 functions @xcite .
equation  ( [ eq : rcomplet ] ) results from eq .
( [ eq : rtheta ] ) with the replacement -_q_4(0|q)= _ k=1^+(^2(2k-1)^2 + 2q ) e^. [ eq : theta4def2 ]      with the elements presented in the previous sections , we can write the expression for @xmath164 .
it is enough to insert the expression for the probability of fluctuations ( eq .  ( [ eq : p ] ) ) and for the time - dependent shift ( eq .  ( [ eq : rtheta ] ) ) into eq .  ( [ eq : corr ] ) : = _ 0^+de^-_0 ^2 , [ eq : calsigma2 ] where for @xmath165 we use either one of the equivalent expressions  ( [ eq : theta4def1 ] ) ,  ( [ eq : theta4def2 ] ) according to the limit that we want to investigate .
we now have to fix the value of @xmath114 . in ref .
@xcite , @xmath114 was taken to be a constant .
( the phenomenological model predicted @xmath166 , but empirically , we saw that it was better to add a subdominant correction , namely @xmath167 . ) in this case , a change of variable can be made in the integrand .
all the parameters may be factored out , leaving us with a simple numerical integral to perform : _ 0^+^2(1+x)=2(2)=. thus = . replacing the product of the unknown constants by eq .
( [ eq : c1c2 ] ) and @xmath161 by eq .
( [ eq : q ] ) and integrating over the time variable between 0 and @xmath168 , we arrive at a parameter - free expression for @xmath169 as a function of @xmath170 , namely [ eq : sigma122f ]    we now investigate the two interesting limits , i.e. @xmath171 and @xmath172 . for large @xmath170 , the integral
is dominated by the region @xmath173 , thus @xmath174 may be replaced by its value at @xmath175 ( @xmath176 ) . performing the remaining integration , we get _ 12 ^ 2 t , which is twice the second - order cumulant of the position of the fip front , see eq .
( [ eq : d ] ) .
for small @xmath170 instead , say @xmath177 , we use the expansion of @xmath165 for @xmath178 , i.e. the first term in eq .
( [ eq : theta4def2 ] ) , which reads _ q_4(0|q)= - e^. equation  ( [ eq : sigma122f ] ) boils down to the following expression : _ 12 ^ 2 ( - ) .
[ eq : smalltasymptotics ]    so far , we have chosen the size of the front @xmath114 constant , of the order of @xmath85 .
another possible model for @xmath114 would be to promote it to a function of @xmath79 at the level of eq .
( [ eq : calsigma2 ] ) , namely l = l_0++ , where the constant has to be determined empirically .
this choice takes maybe into account more accurately the extension of the front by @xmath79 that generates the fluctuations .
the @xmath79-integral can not be performed analytically in eq .
( [ eq : calsigma2 ] ) except in some limits , so a priori , there is no simpler expression than eq .
( [ eq : calsigma2 ] ) .
thus we need to know the values of @xmath80 and @xmath81 individually .
we can consider that @xmath179 is the natural normalization of the probability distribution @xmath180 .
then , we must set @xmath181 in order to satisfy eq .
( [ eq : c1c2 ] ) .    the above - mentioned two models , in which @xmath114 is either constant or @xmath79-dependent , differ by subleading terms in the large-@xmath114 limit . since the values of @xmath79 which dominate the @xmath79-integral in eq .
( [ eq : calsigma2 ] ) are of order @xmath182 , like the first correction to @xmath85 in the case of constant @xmath114 , the models are not expected to differ significantly .
we will check this statement numerically .
looking back at eq .
( [ eq : sigma122f ] ) , we see that @xmath169 has a nice scaling property .
indeed , we may rewrite the latter equation as _ 12 ^ 2= _ e^-_0(v_0-v)t^1 in terms of the properties of a single front ( its velocity @xmath73 and the diffusion constant @xmath183 whose analytical expressions were given in eq .
( [ eq : vbdmm ] ) and  ( [ eq : d ] ) ) , where @xmath184 can be read in eq .
( [ eq : v0 ] ) .
in particular , we have the following scaling : [ eq : scaling ] from eq .
( [ eq : smalltasymptotics ] ) , we see that the function in the right - hand side is exponentially damped when its argument is smaller than 1 , i.e. parametrically for @xmath172 .
once one knows the characteristics of the traveling waves in the fip model ( i.e. @xmath73 and @xmath183 ) , this scaling of the correlations is a pure prediction . thus it will be interesting to check it in the numerical calculations .
let us try and evaluate the limits on the validity of our calculations .
the latter were essentially based on the assumption that the eigenvalue @xmath185 of the kernel @xmath107 dominates . while this statement is clearly true at large times , when the traveling - wave front is well formed , ( see e.g. ref .
@xcite ) , it must break down at early times right after a fluctuation has occurred : indeed , a fluctuation has an initial shape that is far from the one of the asymptotic front , see fig .
[ fig : psi ] .
we wish to estimate the order of magnitude of the dispersion of the relevant eigenvalues about @xmath51 . to this aim , neglecting for the moment the boundary conditions and the prefactors , we write the solution of eq .
( [ eq : equ ] ) as u(t , k)~d e^-k+()t
. the interesting values of @xmath12 are the ones around the position of the wave front , therefore we write @xmath186 , where @xmath187 is of the order of the size @xmath114 of the front .
expanding @xmath49 about @xmath51 , we write u(t , v_0t+k)~ e^-_0k d ( ) e^-k + 12 ^(_0 ) ( ) ^2t+ , [ eq : uapprox ] where @xmath188 .
it is clear from this equation that the relevant values of @xmath189 are of the order of @xmath190 .
since the order of magnitude of @xmath187 is the size @xmath114 of the front , we would a priori conclude that the dispersion of @xmath191 around @xmath51 is small and hence that the calculation is valid as soon as @xmath192 .
however , we have also expanded @xmath49 to second order .
this means that for a generic kernel @xmath107 , we have neglected terms of the form @xmath193 ( which would fit in the dots in eq .
( [ eq : uapprox ] ) ) .
the expansion is a good approximation if the latter term is small , i.e. if tl^3/2 .
so far , we have been working with the minimal model , consisting in two realizations of the fip model which evolve in the same way until their common tip reaches @xmath68 , and which decorrelate for @xmath67 .
the only relevant parameter which determined the decorrelation of the positions of the fronts of the realizations was the time @xmath168 after the tip had reached @xmath68 .
we now wish to discuss the transcription of the obtained results to impact - parameter space , which was our initial problem .    to this aim
, we will of course make use of eq .
( [ eq : ttb ] ) to express @xmath89 with the help of the mean front velocity @xmath73 .
but we also need a length scale to which the distance in impact - parameter space @xmath71 may be compared .
the natural length is the dipole size at the position of the front , namely l_s(t)=2 ^ -x(t)=l_s(t_b)2 ^ -vt . [ eq : ls ] on the other hand , according to eq .
( [ eq : ttb ] ) and disregarding the integer part operator , @xmath194 and the tip of the front @xmath68 is ahead of the bulk @xmath195 by @xmath114 : @xmath196 . using the previous equation
, we may now express @xmath170 as a function of @xmath71 and of the length scale @xmath197 : t=. the scaling  ( [ eq : scaling ] ) reads _ 12 ^ 2~ .
this formula , together with the behavior of the scaling function ( see eq .
( [ eq : smalltasymptotics ] ) ) , shows that there is little @xmath14-dependence until @xmath198 , that is to say , until @xmath199 . in other terms
, the size @xmath71 of the domain around impact parameter @xmath14 in which the fluctuations in the position of the fronts are negligible is , in notations more familiar to qcd experts , where @xmath200 is the usual saturation momentum at impact parameter @xmath14 .
note that since the fronts are statistically independent as soon as @xmath201 , this result may seem a bit surprising : it says that the effective correlation length between different points in impact - parameter space is much larger than @xmath202 in the parametrical limit of small @xmath6 .
this is the main qualitative result of this paper .
in this section , we confront our analytical calculations to numerical simulations of the toy model .
first , we consider the full model and test the validity of the assumption that the minimal model is a good approximation to the full model also for @xmath203 , i.e. when splittings to larger - size dipoles are authorized .
second , we compare the minimal model to the analytical results for the fluctuations between different positions in impact - parameter space ( given essentially by eqs .
( [ eq : calsigma2]),([eq : sigma122f ] ) ) .      the model defined by eqs .
( [ eq : defmodel1 ] ) and  ( [ eq : defmodel2 ] ) is straightforward to implement numerically in the form of a monte - carlo event generator .
the simplest is to store the number of dipoles in each bin in an array whose index @xmath204 is related to @xmath12 and @xmath35 through @xmath205 .
the splitting dynamics relates bin @xmath204 to @xmath206 ( down left ) , @xmath207 ( down right ) and @xmath208 $ ] ( up ; the square brackets stand once again for the integer part ) .
we have to deal with an array whose size grows exponentially with time .
it is thus very difficult to pick large values of @xmath39 , and thus also large values of @xmath37 .
indeed , the relevant time scale grows with @xmath37 like @xmath209 , and consequently the minimum number of entries in the array one wants to consider grows like @xmath210 . in practice , we limit ourselves to @xmath211 and @xmath212 . as for the time step @xmath27 ,
the most convenient is to take it small but finite .
we set @xmath213 .
we start with one particle and evolve it for a few hundred units of time using the fip version of the model .
we obtain a traveling wave front , whose tip we eventually label @xmath163 .
( the complete front sits in the bins @xmath214 ) . from the initial condition built in this way , we evolve all bins for which @xmath215 using the fip model , and all bins for @xmath11 using the full model .
one event in shown in fig .
[ fig : sketch1 ] .
although @xmath37 and @xmath39 are small in this calculation , we see that the regions in impact - parameter space which have similar numbers of dipoles are larger than the local length scale @xmath197 ( see eq .
( [ eq : ls ] ) ) .
after the evolution times @xmath216 and @xmath217 respectively , we measure the position of the front at various impact parameters on a uniform tight grid ranging from @xmath17 to @xmath218 .
we use the following definition of the position of the front : x(b , t)=k_0 + _ k = k_0 + 1^+ where @xmath219 is the largest @xmath12 for which @xmath220)}=n$ ] . note that in principle , we could have chosen @xmath221 . in practice however , because of the discreteness of @xmath12 in our model , this choice would introduce artefacts which we do not expect in real qcd .
we compute the squared difference of the front positions between the impact parameters @xmath17 and @xmath25 , and average over events .
we plot the result as a function of @xmath222 , where @xmath73 is the average front velocity measured at impact parameter @xmath17 .
we compare the results to the correlations obtained in the minimal model , i.e. when we consider two independent realizations of an initial front .
we do not attempt to compare to our analytical formulas since the values of @xmath37 that we are able to reach are too small for the approximations that we had to assume to be relevant .
the corresponding plot is displayed in fig .
[ fig : plot_100_0 ] for @xmath223 , @xmath224 , @xmath59 , and in fig .
[ fig : plot_100_2 ] with the same parameters except @xmath225 .
first , we see that in the full model , the graph of @xmath169 exhibits steps , i.e. @xmath169 is constant by parts .
this is related to the hierarchical structure of the model : the correlations between @xmath19 and any of the points at @xmath226 are identical ; the same is true for @xmath227 , @xmath228 etc ... the logarithmic @xmath14-scale on the @xmath39-axis makes the widths of the steps all equal .
next , we see that for small @xmath229 ( i.e. impact parameters close to @xmath17 ) there are very little fluctuations in the front positions .    finally , we see that for @xmath59 , as anticipated , the full model and the minimal ones coincide almost perfectly ( fig .
[ fig : plot_100_0 ] ) . for @xmath225 ,
i.e. when splittings towards larger dipole sizes are switched on and therefore new correlations appear beyond the ones taken into account in the minimal model , there are some quantitative differences for large @xmath39 ( fig .
[ fig : plot_100_2 ] ) .
but we see that using the minimal model instead of the full model that keeps all impact parameters is a good approximation .
this corroborates the conclusions of the work in ref .
@xcite .
we now set @xmath59 , in which case , as discussed earlier and as checked numerically , the model exactly reduces to a collection of one - dimensional fkpp - like models .
hence , in order to compute two - point correlation functions , it is enough to evolve two realizations of the corresponding fip model with the constraint that all bins with @xmath88 be identical between the two realizations , and the bins @xmath67 be completely independent .
alternatively , we could also generate one single realization and evolve it for @xmath89 time steps , replicate it at time @xmath89 , and then evolve the two replicas completely independently of each other .
the difference between these two possible implementations of the minimal model can not be accounted for in our analytical calculations , thus the differences that we shall find numerically will give an indication of the model uncertainty .
this time , our aim is essentially to check our analytical formulas , thus we will pick very large values of @xmath37 , even if they appear to be unphysical in the qcd context since they would correspond to exponentially small values of the strong coupling constant @xmath6 .
the parameters of the model are obtained from eq .
( [ eq : eigenvalue ] ) with @xmath224 , @xmath59 and @xmath213 : _ 0=1.0136  ,  v_0=2.6817  ,   ^(_0)=2.6098these values are close to @xmath230 , @xmath231 and @xmath231 respectively , which would be the correct parameters if @xmath27 were infinitesimal , in which case @xmath232 ( see eq .
( [ eq : eigenvalue ] ) ) .
the numerical results are shown in fig .
[ fig : plot10 ] for @xmath233 with the two versions of the model ( we generated about @xmath234 realizations ) , and compared with the analytical predictions .
we test the two possible choices for the size @xmath114 of the front : either @xmath114 is a constant , which from our previous experience with fkpp traveling waves @xcite , we set to l = n+n- or it is @xmath79-dependent , namely l=+-1.4 .
the numerical constants , which are not determined in our theory , were chosen empirically so that they properly describe all numerical data for @xmath235 . in the first case , eq .
( [ eq : sigma122f ] ) is used . in the second case , eq .
( [ eq : calsigma2 ] ) is integrated numerically over @xmath39 and @xmath79 .
we see that the agreement between the numerical calculation and the analytical predictions is good , except maybe for very small values of @xmath170 where the calculations are not expected to be accurate .
indeed , for the same values of @xmath170 , we also see in fig .
[ fig : plot10 ] a sizable discreapancy between the two versions of the minimal model . the calculations for @xmath236
are shown in fig .
[ fig : plot50 ] . the numerical results and the theoretical expectations ( eq .  ( [ eq : sigma122f ] ) )
coincide almost perfectly .    finally , we check that the scaling in eq .
( [ eq : scaling ] ) is well reproduced by the numerical data .
the monte - carlo simulations are shown in fig .
[ fig : scaling ] , plotted in the appropriate scaling variables .
the diffusion constant of a single wave front @xmath183 as well as the velocity @xmath73 are measured from the same data .
we see that all curves nicely superimpose for @xmath235 ( we show data for values of @xmath37 as large as @xmath237 ) , while there are clear deviations for smaller @xmath37 ( see the curve for @xmath223 ) , as expected .
in this paper , we have built a model that possesses the main features of the qcd dipole model including the dynamics in impact - parameter space , and which is furthermore very easy to implement numerically .
we have obtained analytical expressions for the fluctuations of the ( logarithm of the ) saturation scale from one position in impact - parameter space to another one nearby , which gives an indication on the homogeneity of the gluon number density .    since our analytical calculations
are only based on some rather general properties of the model , they should go over to full qcd after appropriate replacement of the parameters , hopefully giving the correct small-@xmath6 ( large @xmath37 ) asymptotics .
we have found that the saturation scale varies quite slowly . in the usual notations of qcd , if at position @xmath14 in impact - parameter space the local saturation scale is @xmath200 , then the saturation scale is uniform over a region of size @xmath238 around that position .
our calculations suffer the usual limitations in this kind of models : analytical expressions are derived for exponentially large @xmath37 , that is to say , exponentially small values of the strong coupling constant @xmath6 .
although they often may be successfully extrapolated down to @xmath239 ( @xmath240 ) , this is at the cost of tuning constants , and so far , we have not found a systematic procedure to compute finite-@xmath37 corrections .    the next step would probably be a numerical calculation in the case of full qcd , using , as proposed earlier @xcite , a combination of a monte carlo implementation of the color - dipole model in the low - density regime ( such an implementation is already available
; see ref .
@xcite and ref .
@xcite for more recent work ) and of a numerical solution of the bk equation at the transition to saturation @xcite .
this looks very challenging , but maybe the nice smoothness of the saturation scale in impact - parameter space that we have found in this paper will help .    finally , it would be interesting to find an observable which would directly be sensitive to the gluon density at two points in impact - parameter space simultaneously .
this work was supported in part by the department of energy ( usa ) , and in part by the agence nationale pour la recherche ( france ) , contract anr-06-jcjc-0084 - 02 .
l.  v.  gribov , e.  m.  levin and m.  g.  ryskin , phys .
rept .   * 100 * , 1 ( 1983 ) .
a.  h.  mueller and j.  w.  qiu , nucl .
b * 268 * , 427 ( 1986 ) .
l.  n. lipatov , sov .
. phys . * 23 * , 338 ( 1976 ) ; e.  a. kuraev , l.  n. lipatov , and v.  s. fadin , sov .
jetp * 45 * , 199 ( 1977 ) ; i.  i. balitsky and l.  n. lipatov , sov . j. nucl
* 28 * , 822 ( 1978 ) .
i.  balitsky , nucl .
b * 463 * , 99 ( 1996 ) .
y.  v.  kovchegov , phys .
d * 60 * , 034008 ( 1999 ) ; phys .  rev .
d * 61 * , 074018 ( 2000 ) .
j. jalilian - marian , a. kovner , a. leonidov and h. weigert , nucl .
b * 504 * , 415 ( 1997 ) ; phys .
d * 59 * , 014014 ( 1999 ) ; e. iancu , a. leonidov and l. d. mclerran , phys . lett .
b * 510 * , 133 ( 2001 ) ; nucl .
a * 692 * , 583 ( 2001 ) ; h. weigert , nucl .
phys . a * 703 * ( 2002 ) 823 .
t.  altinoluk , a.  kovner , m.  lublinsky and j.  peressutti , jhep * 0903 * , 109 ( 2009 ) . for reviews on the fkpp equation and its stochastic extensions ,
see w.  van  saarloos , phys
.  rep .  * 386 * , 29 ( 2003 ) ; d.  panja , phys .  rep .  *
393 * , 87 ( 2004 ) .
a.  h.  mueller and a.  i.  shoshi , nucl .
b * 692 * , 175 ( 2004 ) .
e.  iancu , a.  h.  mueller and s.  munier , phys .
b * 606 * , 342 ( 2005 ) .
e.  iancu and d.  n.  triantafyllopoulos , nucl .
a * 756 * , 419 ( 2005 ) , phys .
b * 610 * ( 2005 ) 253 .
s.  munier , phys .
rept .   * 473 * , 1 ( 2009 ) .
k.  j.  golec - biernat and a.  m.  stasto , nucl .
b * 668 * , 345 ( 2003 ) .
s.  munier , g.  p.  salam and g.  soyez , phys .
d * 78 * , 054009 ( 2008 ) .
g.  camici and m.  ciafaloni , phys .
b * 395 * , 118 ( 1997 ) .    k.  j.  golec - biernat , l.  motyka and a.  m.  stato , phys .  rev .
d * 65 * , 074037 ( 2002 ) .
a.  h.  mueller and d.  n.  triantafyllopoulos , nucl .
b * 640 * , 331 ( 2002 ) .
e.  brunet , b.  derrida , phys .
e * 56 * , 2597 ( 1997 ) ; comp .
121 - 122 ( 1999 ) 376 ; j. stat .
103 ( 2001 ) 269 .
e.  brunet , b.  derrida , a.  h.  mueller and s.  munier , phys .
e * 73 * , 056126 ( 2006 ) .
m. abramowitz and i. a. stegun , _ handbook of mathematical functions _ , ( 1964 ) dover publications , new york .
isbn 0 - 486 - 61272 - 4 .
g.  p.  salam , nucl .
b * 461 * , 512 ( 1996 ) .
g.  p.  salam , comput .
commun .
* 105 * , 62 ( 1997 ) .
a.  h.  mueller and g.  p.  salam , nucl .
b * 475 * , 293 ( 1996 ) .
e.  avsar , g.  gustafson and l.  lonnblad , jhep * 0507 * ( 2005 ) 062 ; jhep * 0701 * ( 2007 ) 012 .


very massive stars were long ago predicted to get hot enough that the ambient photons in the interior are sufficiently energetic to create electon / positron pairs ( rakavy & shaviv 1967 ; barkat , rakavy & sack 1967 ; rakavy & shaviv 1968 ; rakavy , shaviv & zinamon 1968 ; fraley 1968 ; see also wheeler 1977 ; el eid & hilf 1977 ; el eid , fricke & ober 1983 ; carr , bond & arnett 1984 ; stringfellow & woosley 1988 ) . the conversion of energy to rest mass rather than thermal energy alters the equation of state so that the pressure does not increase sufficiently with density upon compression to maintain hydrostatic equilibrium . if a sufficiently large , mass - averaged region of the star is in the pair - formation regime , such that @xmath1  @xmath2  4/3 , the structure will be dynamically unstable .
models predict that this happens after stars have undergone their central helium burning and have formed massive cores composed primarily of oxygen ( with a small mass fraction of carbon ) . in models ,
the instability occurs in an off - center shell .
the rapid contraction of this shell drives it inward , leading to the rapid compression and heating of the inner core of oxygen . unlike the case of iron - core collapse ,
the oxygen in these stars is subject to strong energy release by rapid thermonuclear burning .
the result is the prediction that the star is totally disrupted , leaving no remnant , but with the production of a very large mass of radioactive @xmath3ni , the decay of which could power the light output .
the original calculations , cited above , found that the pair - instability regime was encountered for stars with massive oxygen cores , greater than about 60  @xmath0 . at the time , it was not clear how massive a star needed to be to develop a sufficiently massive oxygen core , but estimates were in the range of 100  @xmath0 .
it was also not clear that any stars sufficiently massive to reach this condition of instability existed .
the latter point was resolved theoretically with the understanding that massive , radiation - pressure dominated stars subject to dynamical instability would be stabilized in the non - linear regime ( appenzeller 1970 ; ziebarth 1970 ) and observationally with the discovery that young clusters such as r  136 in 30 doradus contained very massive stars ( panagia et al .
1983 ; hunter et al .
1995 ; crowther et al .
a subsequent important development was the prediction that in the context of @xmath4cdm models of the universe , the first stars forming at zero metallicity after the dark ages might preferentially form especially massive stars that would , in turn , be subject to pair instability ( abel et al .
1998 ; abel et al .
2000 ; bromm et al .
2002 ; bromm & larson 2004 ) .
considerable effort has gone into the computation of the formation of the first stars , the evolution of stars that will reach pair - instability conditions , and the predicted observational properties of the resulting explosions ( heger & woosley 2002 , ohkubo et al .
2003 ; scannapieco et al . 2005 ; blinnikov & heger 2007 ; waldman 2008 ; ohkubo et al . 2009
; heger & woosley 2010 ; kasen et al . 2010 ; whalen & fryer 2010 ; kasen et al .
2011 ; joggerst & whalen 2011 ) .
pair - instability supernovae ( pisn ) models have a characteristic nucleosynthetic yield ( heger & woosley 2002 ; ohkubo et al .
2003 ) , but searches for evidence of such a distribution in the lowest metallicity stars has not revealed the expected pattern ( christlieb et al .
2002 ; frebel et al .
2005 ) . in general ,
lower metallicity will suppress mass loss and allow relatively lower mass main sequence stars to encounter the pair - instability regime .
for a given main sequence mass , higher metallicity will tend to lead to lower mass oxygen cores , thus avoiding this regime .
two subsequent developments have altered the context in which pair instability is considered .
one is the recent understanding that conditions of the first stars may be more susceptible to fragmentation so that the first stars may have been of smaller mass than once thought ( stacy et al .
2010 ; greif et al .
another important development was the discovery in the contemporary universe of a category of super - luminous supernovae ( slsn ) that are relatively rare , but brighter by a factor of 10 to 100 than most contemporary supernovae ( smith et al .
2007 ; quimby et al . 2007 ; miller et al . 2009 ; gal - yam et al . 2010 ; chatzopoulos , wheeler & vinko 2011 ) .
some of these slsn show evidence of high mass , but can not be pair - instability supernovae ( smith et al . 2007 ; miller et al . 2009 ;
chatzopoulos , wheeler & vinko 2011 ; chatzopoulos , wheeler & vinko 2012 ; leloudas et al . 2012 ) .
if their brightness derived from the radioactive decay of @xmath3ni , as demanded by the pair - instability model , they would require a greater mass of @xmath3ni than is allowed for the total mass of the ejecta .
the ejecta mass is constrained by the width of the light curve that is a measure of the diffusion time .
the great luminosity of super - luminous supernovae like sn  2006gy probably derives from the collision of the ejecta with a shell of matter previously ejected by the progenitor star ( smith et al . 2007 ; chevalier & irwin 2011 ; chatzopoulos , wheeler & vinko , 2011 ) .
several of these super - luminous events do , however , have all the characteristics expected of a pisn ( sn 2007bi , gal - yam et al . 2010 ; ptf 10nmn , yaron et al . in preparation ) .
these events have occured in low , but not zero , metallicity environments .
the possibility that the first stars are not of especially high mass and the discovery of contemporary super - luminous supernovae that have the characteristics of pisn brings a new focus to the issue of just which stars can undergo pair instability and under what conditions .
maeder ( 1987 ; see also maeder & meynet 2011 for a review ) discussed the effects of rotationally - induced mixing on the evolution of massive stars .
he concluded that there would be substantial mixing produced by the small - scale three - dimensional tail of the turbulent spectrum of the baroclinic instability and that the diffusion coefficient could be sufficiently large to mix most massive stars during their main sequence lifetimes .
in particular , above a critical rotation , maeder predicted that the evolutionary tracks go upwards and bluewards , very close to those of fully homogeneous evolution .
the immediate implication was that stars in the mass range predicted to reach pair instability ( already radiation - pressure dominated and hence close to neutral dynamical instability ) were susceptible to quasi - homogeneous evolution such that nearly all the main sequence mass could be burned to heavier elements .
quasi - homogeneous evolution would significantly decrease the main sequence mass that leads to pair instability .
the notion that quasi - homogeneous evolution might lead to larger core masses has been applied in the context of the progenitors of grbs ( heger , woosley & spruit 2005 ; yoon & langer 2005 ) and explored to a certain extent in recent work ( langer et al .
2007 , eskstrom et al . 2008 , 2011 ; brott et al .
2011a , 2011b ) , but has not been pursued in detail in the context of pair instability .    in this paper
, we conduct a thorough parameter study to explore the minimum main sequence mass that encounters the pair instability regime . in his unpublished phd thesis , barkat ( 1967 ) noted that some models that skirted the pair - instability regime ejected shells of matter , but survived the instability and continued to evolve .
somewhat higher mass models became sufficiently unstable that a dynamical explosion , a pisn , was produced directly .
woosley , blinnikov & heger ( 2007 ) invoked the former effect , that they called a pulsational pair instability supernova ( ppisn ) to address the nature of slsn  2006gy .
their simulations showed a repeated ejection of shells .
the second , faster shell collided with the first and produced a luminous display reminiscent of the light curve of slsn  2006gy . here
we will delineate models that encounter the ppisn and those that encounter the full pisn explosion .
section 2 describes our assumptions and models ,  3 gives the results and presents a model that invokes a different mixing criterion and another with solar metallicity and mass loss .
section 4 discusses our conclusions .
as discussed in the introduction , the masses of stars that evolve from the main sequence to either ppisn or pisn will be a function of metallicity , mass loss , and rotationally - induced mixing .
the outcome will also depend on the treatment of convective instability , semi - convection , and overshoot .
dissipation of shear by magnetic effects may also attend the rotationally - induced mixing . rather than explore this whole parameter space where the physics is , in any case , uncertain , we have focused on the portion of parameter space that is expected to lead to the minimum mass to encounter pair formation . in particular ,
we have explored conditions of zero metallicity and have neglected mass loss for the majority of our models in order to establish the proof of principle .
we have run a few models at solar metallicity in order to put our results in context .
we have adopted rates of rotation on the main sequence that run from non - rotating to rotating at 80 % of equatorial keplerian velocity .
we have focused on schwarzschild convection for two reasons .
one is that this prescription will tend to enhance the mass of the oxygen core for a given main sequence mass , in keeping with the philosophy of this exploratory work . the second reason is based on a suspicion that neither the schwarzschild nor the ledoux criterion really captures the three - dimensional , plume - driven convection in real stars . as we will describe in a future work ( chatzopoulos , dearborn & wheeler , in preparation ) , we have grounds to believe that in the late stages , when the oxygen core forms , the schwarzschild criterion is the more appropriate .
multi - dimensional effects tend to swamp the stabilizing effect of composition gradients .
our simulations have also adopted the effects of magnetic viscosity as parametrized by heger , woosley & spruit ( 2005 ) based on the prescriptions of spruit ( 1999 , 2002 ) .
this is not because we believe that this particular parametrization captures all the relevant multi - dimensional mhd instabilities and related phenomona in rotating , shearing , stars , but because it is a widely used and recognized algorithm so that our results can be readily compared to others using the same prescription .
we have used the modules for stellar experiments in astrophysics ( mesa ; paxton et al .
2011 ) code to calculate the evolution of a grid of @xmath5  0 massive stars ranging from zero age main sequence ( zams ) mass of 35  @xmath0 to 200  @xmath0 for four different degrees of zams rotation .
we assume initially rigid body rotation on the zams with surface rotation corresponding to 0 , 30% , 50% and 80% of the critical keplerian rotation @xmath6
@xmath7 where @xmath8  @xmath9 is the gravitational acceleration at the  surface " of the star , @xmath10 the gravitational constant , @xmath11 the mass , @xmath12 the radius of the star and @xmath13 the eddington factor where @xmath14 and @xmath15 is the total radiated luminosity and the eddington luminosity respectively .
the 35  @xmath0 model was only run for maximum rotation ( 80% ) in order to establish the lower mass limit for ppisn and the models above 85  @xmath0 for lower ( 30% ) and zero degrees of rotation to establish the corresponding minimum zams mass for ppisn .
the models with zams masses 40 - 85  @xmath0 were run in bins of 5  @xmath0 for all the selected degrees of rotation in order to better resolve the limits for different final fates of the stars . in order to benchmark against the results of heger & woosley ( 2002 ) and woosley , blinnikov & heger ( 2007 ) for non - rotating stars that will produce a pure pisn and a ppisn , respectively
, we have run a 110  @xmath0 and a 200  @xmath0 model ( zams masses ) without rotation .
the reason that we chose this range of zams masses is the fact that heger & woosley ( 2002 ) and heger et al .
( 2003 ) predict that oxygen core masses ( @xmath16 ) ranging from 40 - 64  @xmath0 will undergo ppisn while 64  @xmath17  133  @xmath0 will explode as direct pisne for non - rotating progenitors , but with significantly rapid rotation a lower zams mass can produce oxygen core masses in this range .
mesa was run with the schwarzschild criterion for convection implemented for reasons discussed above and for zero mass loss .
it should be mentioned that rotationally induced mass loss may reduce the final oxygen core masses .
ekstrom et al .
( 2008 ) found that rapidly rotating zero metallicity stars with zams masses above @xmath18  50  @xmath0 may lose up to @xmath18  11  @xmath0 ; however due to the lack of understanding of mass loss mechanisms in massive stars this remains uncertain .
nevertheless , we also conducted calculations with mass loss included in models with initially zero metallicity , as described in  3.2 , to estimate the impact of mass loss on the final fate of the models .
mesa employs a combination of prescriptions for the equation of state ( eos ) , but for high density and temperature plasma the helm eos ( timmes & swesty 2000 ) is used .
the helm eos accounts for pressure induced by radiation , ions , electrons , positrons and corrections for coulomb effects and therefore for the effects of electron - positron pair formation , which drives the adiabatic index @xmath19 below 4/3 . for the treatment of nuclear processes with mesa we employ the  approx21 " network ( timmes 1999 ) , which covers all major stellar nuclear reaction rates .
the effects of angular momentum transport via rotation and magnetic fields are treated based on the one - dimensional approximations of spruit ( 1999 , 2002 ) and heger , woosley & spruit ( 2005 ) .
mesa is capable of running stellar models up to the core collapse ( cc ) and pre - supernova ( pre - sn ) stage ; however for high mass stellar models that encounter a degree of instability induced by electron - positron pair production the effects become very dynamic and a challenge for a stellar evolution code to handle .
future expansions of mesa will be able to handle those dynamical effects and to follow the supernova ( sn ) explosions of stars with 1-d hydrodynamics implemented ( paxton ; private communication ) . in the current work , stellar models for which a signficant fraction of their core approaches the @xmath20  4/3 regime due to pair formation are stopped before core oxygen ignition and within the carbon burning phase , shortly before becoming dynamic .
those models are then mapped into the multi - dimensional hydrodynamics code flash ( fryxell et al .
2000 ) , and their evolution is followed in 1-d .
the newest version of flash ( flash4-alpha release ) is used for these simulations .
flash is very suitable to follow the dynamical transition of the models from mesa because it uses the same eos ( helm ; timmes & swesty 2000 ) and similar nuclear reaction network .
ppisne are characterized by a violent contraction and pulsation that heats the core up to a temperature such that some of the oxygen is burned to produce primarily @xmath21si and @xmath22s ( woosley , blinnikov & heger 2007 ) .
pure thermonuclear pisne are heated significantly enough from the dynamical collapse induced by the softening of the eos due to electron - positron pair formation that they burn oxygen explosively and large amounts of @xmath3ni are produced .
flash is capable of reproducing those basic features of the events and is therefore used to establish the final fate of the models .
we note that in the 1-d flash hydrodynamic simulations the effects of rotation are not considered . in a future work
we plan to investigate the effects of rotation in the hydrodynamical stage of pisne with multi - dimensional flash simulations .
table 1 summarizes the characteristics of all the models considered in this work ( for zero metallicity and mass loss turned off ) .
the first column lists the zams mass ( @xmath23 , in solar masses ) , the second is the critical rotational ratio @xmath24 , the third and fourth the maximum central temperature ( in units of @xmath25  k and density ( in units of @xmath26  g  @xmath27 ) that were encountered due to the pair formation dynamical instability , the fifth the mass of the oxygen core , @xmath16 ( in units of solar masses ) , that each model produced , the sixth the surface abundance of @xmath28n and the seventh the final fate of the model as observed in the flash hydrodynamics simulations ( cc for core collapse , ppisn for pulsational pair instability supernova and pisn for pair instability supernova ) . in all figures ,
the models that ended as cc will be represented by black curves , the models that encountered ppisn by green curves and the models that underwent pisn with red curves .    to compare with previous results for ppisn presented by woosley , blinnikov & heger ( 2007 ) in the case of a 110  @xmath0 zams star and for direct pisn presented by heger & woosley ( 2002 ) for a variety of stars with @xmath29
140  @xmath0 we run our own non - rotating 110  @xmath0 and 200  @xmath0 models . the model with 110  @xmath0 formed a 56  @xmath0 oxygen core and
then encountered a violent pulsation that heated the center of the star up to @xmath30  k , in a similar manner to that suggested by woosley , blinnikov & heger ( 2007 ) .
the 200  @xmath0 model produced a direct pisn that synthesized a massive amount of @xmath3ni ( @xmath18  21  @xmath0 ) and totally disrupted the star , behaving exactly as predicted by woosley , blinnikov & heger ( 2007 ) .
additionally , in order to establish a lower mass end for the production of ppisne , we have run a 35  @xmath0 model with rotation at 80% of the critical velocity that converted essentially all of its mass to oxygen .
this model was able to evolve up to cc in mesa . for benchmarking
it was also mapped to flash at the time of core oxygen ignition where it also kept slowly evolving toward higher densities and temperatures always avoiding the pair formation regime .
for all the models , increased levels of rotation led to a more chemically homogeneous evolution and produced higher oxygen core masses .
zams rotation at 80% of the critical keplerian velocity was able to convert all stellar mass into oxygen for all the models .
the evolution of some models rotating at 80% yielded brief stages when rotation became mildly super - critical ( 110 - 120% ) at the surface which means that results from these models may not be completely accurate .
for all other degrees of rotation the star remained at sub - critical velocities throughout all of its evolutionary track .
as a representative example of this effect , we show the evolution of @xmath24 for the rotating 70  @xmath0 models during the main - sequence ( ms ) in figure 1 .
the solid green curve , the dashed green curve and the solid red curve show the evolution of @xmath24 for zams rotation at 30 , 50 and 80% , respectively .    in order to illustrate the effects of rotation on a zams star with a specific mass we pick the 70  @xmath0 models because , as can be seen in table 1 , all possible final fates are encountered for this model ( cc for zero rotation , ppisn for 30% and 50% critical rotation and pisn for 80% critical rotation ) .
the evolution of the central density ( @xmath31 ) and temperature ( @xmath32 ) for these models is presented in the left panel of figure 2 .
as can be seen , all rotating models encounter a collapse that heats the core up to higher densities and temperatures , but the one rotating at 80% critical is heated significantly enough to burn oxygen explosively and subsequently ejects of all its mass .
higher degrees of rotation lead the @xmath31-@xmath32 track of the star closer to the @xmath20  4/3 pair formation region .
the right panel of figure 2 shows the tracks of the models in the hertzprung - russell diagram .
it can be seen that the more rapidly rotating models remain bluer and are more luminous that the less rapidly rotating ones .
figure 3 illustrates the chemical composition of the 70  @xmath0 models for all degrees of rotation at the time before core oxygen ignition ( upper left panel : no rotation ; upper right panel : 30% critical rotation ; lower left panel : 50% critical rotation ; lower right panel : 80% critical rotation ) .
the effects of increased homogeneity and higher @xmath16 , with increasing rotation are clearly illustrated .
figure 4 presents the distribution of the cno ( solid black curve ) and 3-@xmath33 process specific nuclear energy inputs are shown .
higher degrees of rotation also produced a significantly higher @xmath28n surface abundance than their non - rotating counterparts , a trend also noted by ekstrom et al .
this trend , however , is not monotonic . for the extreme level of 80% critical rotation the surface @xmath28n mass fraction
is generally found to be reduced while the most significant @xmath28n enrichment is observed in models rotating at 50% of the critical value .
increased surface @xmath28n is attributed to the onset of the cno cycle in the outer shell due to the strong rotationally induced mixing . for completely homogeneous evolution that makes an oxygen star , which takes place for models that rotate at the extreme level of 80% critical rotation , the cno contribution in outer layers of the star is confined to a very thin shell .
figure 5 illustrates our final results for the fate of rotating massive primordial stars . as can be seen , stars initially rotating with speeds 80% the critical velocity with 40  @xmath0  @xmath34  60  @xmath0 will produce ppisne associated with episodic mass - loss and for @xmath35  65@xmath36 they will explode as pisne . as mentioned before , at this rapid rotation the whole mass of those stars will turn into oxygen , therefore this result is consistent with the findings of heger et al . (
2003 ) , but for initial zams masses that are only 40 - 50% those of the ones given by their non - rotating calculations .
consequently , for this  fiducial " degree of rotation at 50% the critical value , the zams mass limits become 45  @xmath0  @xmath34  70@xmath36 for ppisn and @xmath35  75  @xmath0 for pisn progenitors , thus at the level of 50 - 60% of those in the case of no rotation .
these results suggest that episodic mass - loss events resulting from ppisne can be encountered for less massive stars and may account for some of the observed lbv - type events .
we wish to add that a recent paper by yoon , dierks & langer ( 2012 ) independently calculated the mass limits of ppisn and pisn primordial progenitors and found good agreement with our results .
convective mixing and overshoot are some of the factors that control the final mass of the oxygen core .
as mentioned above , in this work we have adopted the schwarzschild criterion for convection based on the lack of true knowledge about the nature of convection in realistic three - dimensional situations .
one dimensional convective mixing will be supressed if composition gradients are considered , as suggested by the ledoux criterion for convection .
this will result in smaller final oxygen core masses and therefore tracks in the @xmath31-@xmath32 plane that are shifted further away from the pair formation @xmath20  4/3 region , something that may alter the results for the minimum zams masses that encounter ppisn and pisn .
we ran mesa for the 70  @xmath0 non - rotating and 50% critically rotating models with the ledoux criterion implemented in order to examine the sign of this effect .
figure 6 presents the results in the case of zero rotation .
the left panel shows the @xmath31-@xmath32 tracks for the model that uses the schwarzschild ( solid black curve ) and the model that uses the ledoux ( dashed black curve ) criterion .
the right upper and lower panels show the chemical composition of the two models at the time before core oxygen ignition . it can be seen that when mixing is supressed the non - rotating 70  @xmath0 model evolves towards slightly lower @xmath31 and @xmath32 values and it ends up making an oxygen core that is 86% the one produced in the case where composition gradients are ignored . the result of the same experiment but in the case of rotation at the 50% of the critical value is shown in figure 7 . in this case , we see that the fast rotationally - induced mixing counters the effects of suppression due to the inclusion of composition gradients and the final oxygen core masses are almost equal
. the characteristics of the models run with the ledoux criterion implemented are also given in table 1 .
these results indicate that selecting a different one - dimensional prescription for convective mixing is unlikely to alter our results for the rotating models by any significant factor .
although a thorough study of massive models with @xmath37  0 is beyond the scope of this project , which focuses on the primordial progenitors of pisne , we considered the effects that the presence of metals may have .
as is well known , metallicities with @xmath370 can induce significant line - driven mass loss that can cause massive stars to lose a significant amount of mass .
this mass loss will drive evolution towards the formation of oxygen cores with smaller mass than in the case of zero mass loss .
this will have an effect on the final fate of a very massive star , such that it might miss the pair formation region in the @xmath31-@xmath32 plane and end its life as a cc sn explosion .
the high mass loss may lead to the formation of massive circumstellar material ( csm ) environments around the progenitors of these sn so that the sn ejecta will violently interact with the csm producing shock energy that can power their light curve ( lc ) , as manifested by luminous type iin sne .    to account for the mass loss with mesa , the prescriptions of de jager , nieuwenhuijzen & van der hucht ( 1988 ) were used , as appropriate for hot o - type stars ( for a recent discussion on mass loss rates for wolf - rayet stars , see yoon , woosley & langer 2010 ) .
figure 5 also shows the final fate of the same rotating massive zero metallicity stars for which mass loss is considered in the calculations . as mentioned above
, rotationally - induced mixing will dredge up metals to the outer and less gravitationally bound regions of the star inducing line - driven mass loss that will ultimately result in smaller oxygen core mass .
we find that when mass loss is considered , the minimum zams mass that produce ppisn events is @xmath18  50  @xmath0 and the minimum mass that produce pisn events is @xmath18  80  @xmath0 at maximum zams rotation ( 80% of the critical value ) .
the results for the fate of the 70  @xmath0 model rotating at 50% the critical value with solar metallicity and mass loss are presented in figure 8 .
the left panel of figure 8 shows a comparison between the @xmath31-@xmath32 tracks of the two models with ( solid black curve ) and without ( solid green curve ) mass loss , and the upper and lower right panels show the chemical composition of the models at the time before core oxygen ignition .
the strong line - driven mass loss ejected the hydrogen and a fraction of the helium shell leaving a 33  @xmath0 star with @xmath38  16  @xmath0 that ended its life as a cc sn .
the strong continuous mass loss led the @xmath31-@xmath32 track of the model further from the electron - positron pair @xmath20  4/3 region .
furthermore , due to strong rotationally - induced mixing the pre - sn model had an enhanced @xmath28n surface abundance as was the case with most rotating @xmath5  0 models .
the extreme amount of mass lost by the star that we compute here is consistent with results presented by ekstrom et al .
( 2011 ) who calculated the evolution of a grid of solar metallicity models from 0.8 to 120  @xmath0 rotating at 40% the critical velocity .
ekstrom et al .
( 2011 ) found that even the most massive rotating 120  @xmath0 model ends its life with a mass of 19  @xmath0 , way below the limit for ppisn .
this result indicates that ppisn and , even more so , pisn events that may result from local ( @xmath39  @xmath40 ) massive progenitors must be very rare compared to those that result from metal - poor primordial progenitors .
recently , stacy et al . ( 2011 ) determined the rotational speed of massive primordial stars to be close to 50% of the critical value using multi - dimensional smooth particle hydrodynamics ( sph ) simulations .
in addition , observational evidence presented by dufton et al .
( 2011 ) on the 20 - 30@xmath0 late o - type star vfts102 in 30 doradus indicates a rotational speed @xmath41  50% of the critical value for this star .
vfts102 has @xmath37  0 and is not massive enough to encounter pair formation in any circumstances , but it establishes the existence of fast rotation in some high mass stars . using mesa to follow the evolution and flash to compute the late time hydrodynamics for a grid of massive primordial ( @xmath5  0 ) stars with various degrees of rotation and including the effects of magnetic fields as currently parametrized , we established the zams mass ranges required to produce ppisn or pisn as presented in figure 5 . for significant rotational velocities ,
we find that stars with zams masses as low as 40 - 45  @xmath0 can produce ppisn and stars with zams masses @xmath41  65 - 75  @xmath0 can produce direct pisn explosions due to a more chemically homogeneous evolution that leads to increased oxygen core masses .
we also investigated the effects of convective mixing , metallicity and mass loss .
we found that suppressed mixing due to composition gradients is unlikely to significantly alter the results for the rotating models since rotationally - induced mixing is the dominant factor .
we also found that higher metallicities ( and specifically solar metalicity ) can induce extreme line - driven mass loss so that even some of the most massive zams stars end their lives as cc sne avoiding the pair - formation instability .
current results from numerical simulations ( greif et al . 2011 ) suggest a nearly flat primordial initial mass function ( imf ) with typical mass of 100  @xmath0
. if so , pisn and especially ppisn events may be more frequent than estimates suggest based on non - rotating models ( scannapieco et al .
this raises the possibility of detecting a larger number of those spectacular explosions with future missions such the james webb space telescope ( jwst ) .
as emphasized by smith & owocki ( 2006 ) and smith et al .
( 2007 ) , stars under a wide variety of conditions may undergo the mass ejection process associated with luminous blue variables ( lbv ) .
the physical mechanism of the lbv phenomenon is not well understood .
ppisn is not likely to be the only mechanism involved in the lbv process , but our result that stars with initial mass as low as 40  @xmath0 may undergo ppisn means that ppisn should be considered as a possible candidate mechanism for the lbv mass loss phenomenon in some circumstances .
it would be worthwhile to explore the ppisn process in stars with a variety of envelope compositions and structures , including those that are nearly pure , bare , oxygen cores to understand how ppisn may lead to single or multiple shell - ejection phases .
we thank the mesa team for making this valuable tool readily available and especially thank bill paxton for his ready advice and council in running the code .
we wish to thank the anonymous referee for useful suggestions and comments .
we also wish to thank volker bromm and athena stacy for discussions of the formation and evolution of pop iii stars .
ec would like to thank tuguldur sukhbold for help with mesa and selma de mink for useful suggestions .
ec would also like to thank sean couch and christopher lindner for help with flash .
jcw especially thanks zalman barkat for first introducing him to this topic and for sharing portions of his phd thesis .
this research is supported in part by nsf ast-1109801 .
abel , t. , anninos , p. , norman , m.  l. , & zhang , y.  1998 , , 508 , 518 abel , t. , bryan , g.  l. , & norman , m.  l.  2000 , , 540 , 39 appenzeller , i.  1970 , , 5 , 355 barkat , z. , rakavy , g. , & sack , n.  1967 , physical review letters , 18 , 379 bond , j.  r. , arnett , w.  d. , & carr , b.  j.  1984 , , 280 , 825 bromm , v. , coppi , p.  s. , & larson , r.  b.  2002 , , 564 , 23 bromm , v. , & larson , r.  b.  2004 , , 42 , 79 brott , i. , de mink , s.  e. , cantiello , m. , et al .
2011 , , 530 , a115 brott , i. , evans , c.  j. , hunter , i. , et al .
2011 , , 530 , a116 carr , b.  j. , bond , j.  r. , & arnett , w.  d.  1984 , , 277 , 445 chatzopoulos , e. , et al .
2011 , , 729 , 143 chatzopoulos , e. , wheeler , j.  c. , & vinko , j.  2012 , arxiv:1111.5237 chevalier , r.  a. , & irwin , c.  m.  2011 , , 729 , l6 christlieb , n. , bessell , m.  s. , beers , t.  c. , et al .
2002 , , 419 , 904 crowther , p.  a. , schnurr , o. , hirschi , r. , et al .
2010 , , 408 , 731 de jager , c. , nieuwenhuijzen , h. , & van der hucht , k.  a.  1988 , , 72 , 259 dufton , p.  l. , dunstall , p.  r. , evans , c.  j. , et al .
2011 , , 743 , l22 ekstrm , s. , meynet , g. , chiappini , c. , hirschi , r. , & maeder , a.  2008 , , 489 , 685 ekstrm , s. , georgy , c. , eggenberger , p. , et al .
2011 , arxiv:1110.5049 el eid , m.  f. , & hilf , e.  r.  1977 , , 57 , 243 el eid , m.  f. , fricke , k.  j. , & ober , w.  w.  1983 , , 119 , 54 fraley , g.  s.  1968 , , 2 , 96 frebel , a. , aoki , w. , christlieb , n. , et al .
2005 , , 434 , 871 fryxell , b. , olson , k. , ricker , p. , et al .
2000 , , 131 , 273 gal - yam , a. , mazzali , p. , ofek , e.  o. , et al .
2009 , , 462 , 624 greif , t.  h. , springel , v. , white , s.  d.  m. , et al .  2011 , , 737 , 75 heger , a. , langer , n. , & woosley , s.  e.  2000 , , 528 , 368 heger , a. , & woosley , s.  e.  2002 , , 567 , 532 heger , a. , fryer , c.  l. , woosley , s.  e. , langer , n. , & hartmann , d.  h.  2003 , , 591 , 288 heger , a. , woosley , s.  e. , & spruit , h.  c.  2005 , , 626 , 350 heger , a. , & woosley , s.  e.  2010 , , 724 , 341 hunter , d.  a. , shaya , e.  j. , holtzman , j.  a. , et al .
1995 , , 448 , 179 joggerst , c.  c. , & whalen , d.  j.  2011 , , 728 , 129 kasen , d. , woosley , s. , & heger , a.  2010 , american institute of physics conference series , 1294 , 96 kasen , d. , woosley , s.  e. , & heger , a.  2011 , , 734 , 102 langer , n. , norman , c.  a. , de koter , a. , et al .
2007 , , 475 , l19 leloudas , g. , et al .
2012 , , update , update maeder , a.  1987 , , 178 , 159 maeder , a. , & meynet , g.  2011 , arxiv:1109.6171 meynet , g. , & maeder , a.  1987 , nuclear astrophysics , 287 , 195 miller , a.  a. , et al .
2009 , , 690 , 1303 ober , w.  w. , el eid , m.  f. , & fricke , k.  j.  1983 , , 119 , 61 ohkubo , t. , umeda , h. , & nomoto , k.  2003 , nuclear physics a , 718 , 632 ohkubo , t. , nomoto , k. , umeda , h. , yoshida , n. , & tsuruta , s.  2009 , , 706 , 1184 panagia , n. , tanzi , e.  g. , & tarenghi , m.  1983 , , 272 , 123 paxton , b. , bildsten , l. , dotter , a. , et al .
2011 , , 192 , 3 quimby , r.  m. , aldering , g. , wheeler , j.  c. , hflich , p. , akerlof , c.  w. , & rykoff , e.  s.  2007a , , 668 , l99 rakavy , g. , shaviv , g. , & zinamon , z.  1967 , , 150 , 131 rakavy , g. , & shaviv , g.  1967 , , 148 , 803 rakavy , g. , & shaviv , g.  1968 , , 1 , 429 scannapieco , e. , madau , p. , woosley , s. , heger , a. , & ferrara , a.  2005 , , 633 , 1031 smith , n. , & owocki , s.  p.  2006
, , 645 , l45 smith , n. , et al .
2007 , , 666 , 1116 spruit , h.  c.  1999 , , 349 , 189 spruit , h.  c.  2002 , , 381 , 923 stacy , a. , greif , t.  h. , & bromm , v.  2010 , , 403 , 45 stacy , a. , bromm , v. , & loeb , a.  2011 , , 413 , 543 stringfellow , g.  s. , & woosley , s.  e.  1988 , origin and distribution of the elements , 467 timmes , f.  x.  1999 , , 124 , 241 timmes , f.  x. , & swesty , f.  d.  2000 , , 126 , 501 waldman , r.  2008 , , 685 , 1103 whalen , d.  j. , & fryer , c.  2010 , american institute of physics conference series , 1279 , 116 wheeler , j.  c.  1977 , , 50 , 125 woosley , s.  e. , blinnikov , s. , & heger , a.  2007 , , 450 , 390 yoon , s .- c . , & langer , n.  2005 , , 443 , 643 yoon , s .- c . , woosley , s.  e. , & langer , n.  2010 , , 725 , 940 yoon , s .- c . , dierks , a. , & langer , n.  2012 , arxiv:1201.2364 ziebarth , k.  1970 , , 162 , 947      lllllllllllllllllllllllllllllllllllllllllllllllccccccc 35 & 0.8 & - & - & 35 & 4.70 & cc + 40 & 0.0 & - & - & 14 & 0.00 & cc + 40 & 0.3 & - & - & 25 & 0.43 & cc + 40 & 0.5 & - & - & 38 & 22.64 & cc + 40 & 0.8 & 1.16 & 1.03 & 40 & 1.48 & ppisn + 45 & 0.0 & - & - & 17 & 0.00 & cc + 45 & 0.3 & - & - & 30 & 1.31 & cc + 45 & 0.5 & 1.21 & 0.63 & 44 & 15.54 & ppisn + 45 & 0.8 & 0.90 & 0.27 & 45 & 5.49 & ppisn + 50 & 0.0 & - & - & 19 & 0.00 & cc + 50 & 0.3 & - & - & 39 & 0.18 & cc + 50 & 0.5 & 3.19 & 9.25 & 48 & 20.01 & ppisn + 50 & 0.8 & 1.17 & 1.85 & 50 & 1.32 & ppisn + 55 & 0.0 & - & - & 22 & 0.00 & cc + 55 & 0.3 & 2.04 & 3.53 & 41 & 0.15 & ppisn + 55 & 0.5 & 3.22 & 9.57 & 53 & 14.08 & ppisn + 55 & 0.8 & 1.08 & 0.88 & 55 & 1.66 & ppisn + 60 & 0.0 & - & - & 30 & 0.00 & cc + 60 & 0.3 & 2.09 & 3.31 & 45 & 0.04 & ppisn + 60 & 0.5 & 2.91 & 8.09 & 57 & 26.90 & ppisn + 60 & 0.8 & 1.05 & 0.53 & 60 & 15.28 & ppisn + 65 & 0.0 & - & - & 32 & 0.00 & cc + 65 & 0.3 & 2.37 & 5.37 & 46 & 0.00 & ppisn + 65 & 0.5 & 3.49 & 12.16 & 60 & 26.51 & ppisn + 65 & 0.8 & 4.45 & 35.6 & 65 & 0.00 & pisn + 70 & 0.0 & - & - & 35 & 0.00 & cc + 70@xmath42 & 0.0 & - & - & 30 & 0.00 & cc + 70 & 0.3 & 2.58 & 6.90 & 48 & 0.00 & ppisn + 70 & 0.5 & 3.03 & 9.22 & 66 & 20.58 & ppisn + 70@xmath42 & 0.5 & 3.02 & 9.20 & 65 & 18.12 & ppisn + 70@xmath43 & 0.5 & - & - & 16 & 10.51 & cc + 70 & 0.8 & 5.08 & 43.18 & 70 & 5.30 & pisn + 75 & 0.0 & - & - & 36 & 0.00 & cc + 75 & 0.3 & 3.21 & 10.40 & 54 & 0.02 & ppisn + 75 & 0.5 & 3.61 & 20.00 & 67 & 16.68 & pisn + 75 & 0.8 & 5.28 & 61.16 & 75 & 0.00 & pisn + 80 & 0.0 & 1.87 & 2.44 & 40 & 0.00 & ppisn + 80 & 0.3 & 1.99 & 2.30 & 59 & 0.00 & ppisn + 80 & 0.5 & 4.31 & 20.36 & 77 & 26.41 & pisn + 80 & 0.8 & 2.97 & 8.99 & 80 & 0.00 & pisn + 85 & 0.0 & 2.09 & 3.61 & 40 & 0.00 & ppisn + 85 & 0.3 & 1.53 & 0.81 & 65 & 0.39 & pisn + 85 & 0.5 & 3.46 & 10.41 & 79 & 24.93 & pisn + 85 & 0.8 & 3.25 & 9.84 & 85 & 8.64 & pisn + 90 & 0.0 & 1.86 & 1.76 & 45 & 0.00 & ppisn + 90 & 0.3 & 3.98 & 17.44 & 85 & 14.24 & pisn + 95 & 0.0 & 2.75 & 6.59 & 50 & 0.00 & ppisn + 95 & 0.3 & 4.62 & 26.97 & 90 & 33.25 & pisn + 110 & 0.0 & 2.46 & 5.85 & 56 & 0.00 & ppisn + 200 & 0.0 & 5.02 & 34.40 & 120 & 0.00 & pisn +