Survival of interacting Brownian particles in crowded 1D environment
Abstract
We investigate a diffusive motion of a system of interacting Brownian particles in quasionedimensional micropores. In particular, we consider a semiinfinite 1D geometry with a partially absorbing boundary and the hardcore interparticle interaction. Due to the absorbing boundary the number of particles in the pore gradually decreases. We present the exact analytical solution of the problem. Our procedure merely requires the knowledge of the corresponding singleparticle problem. First, we calculate the simultaneous probability density of having still a definite number of surviving particles at definite coordinates. Focusing on an arbitrary tagged particle, we derive the exact probability density of its coordinate. Secondly, we present a complete probabilistic description of the emerging escape process. The survival probabilities for the individual particles are calculated, the first and the second moments of the exit times are discussed. Generally speaking, although the original interparticle interaction possesses a pointlike character, it induces entropic repulsive forces which, e.g., push the leftmost (rightmost) particle towards (opposite) the absorbing boundary thereby accelerating (decelerating) its escape. More importantly, as compared to the reference problem for the noninteracting particles, the interaction changes the dynamical exponents which characterize the longtime asymptotic dynamics. Interesting new insights emerge after we interpret our model in terms of a) diffusion of a single particle in a dimensional space, and b) order statistics defined on a system of independent, identically distributed random variables.
I Introduction
Diffusion dynamics of hardcore interacting particles in one dimension (1D) is known as the singlefile diffusion (SFD). The SFD occurs for instance in narrow biological poresHodgkin and Keynes (1955), inside the zeolitesHahn, Kärger, and Kukla (1996); Kärger and Ruthven (1992), during the sliding of proteins along the DNALi, Berg, and Elf (2009); Berg, Winter, and Hippel (1981). Other examples comprise migration of adsorbed molecules on surfacesHalpinHealy and Zhang (1995), diffusion in nanotubesMukherjee et al. (2007); Cheng and Bowers (2007), carrier migration in polymers and superionic conductorsKharkyanen, Yesylevskyy, and Berezetskaya (2010); Richards (1977). Advances in technology now allow to study artificial singlefile systems such as solidstate nanoporesDekker (2007), confined colloid particlesLutz, Kollmann, and Bechinger (2004, 2000); Chou, Eng, and Robert (2006), charged spheres in circular channelCoupier, Jean, and Guthmann (2006), or millimetric steel balls in plane condenserDelfau et al. (2010). In all these systems, the mutual passage of the particles is forbidden which results in deviation of tagged particle’s dynamics from the classical diffusion.
The concept of SFD was first introduced in the mathematical literature by HarrisHarris (1965). He proved that the meansquare displacement of the tagged particle increases with time as in contrast to its linear increase for the free particle. For a comprehensible review of the present state of the art in the theory of SFD cf. Introduction in Ref. Barkai and Silbey, 2010). Despite the long history of SFD phenomena, exactly solvable models of singlefile systems are rare and they have occurred only recently. The exact solution of the diffusion equation for hardcore interacting particles has been first derived in Ref. Rödenbeck, Kärger, and Hahn, 1998 for the diffusion on an infinite line (it has been rederived in Ref. Barkai and Silbey, 2008). The SFD of particles within the finite interval has been solved through the Bethe ansatz in Ref. Lizana and Ambjörnsson, 2009. In Ref. Ryabov and Chvosta, 2011, the present authors have generalized the previously known exact solutions to the case of an arbitrary time and spacedependent force acting on particles. All these exact solutions can describe real physical situations, however, they all concern the systems with a conserved number of particles. Often the opposite is true and the singlefile systems should be treated as open systems with variable number of particles. Many such systems are listed in the first paragraph. The singlefile conditions in combination with a variable number of particles are two prerequisites for a proper understanding of kinetics of diffusionlimited catalytic reaction in crowded environmentsLiu et al. (2011). Also the search for corrections to Smoluchowski theory which would incorporate the effects of excluded volumeDorsaz et al. (2010); Park, Kim, and Shin (2003) stimulates the interest in onedimensional modelsSeki, Wojcik, and Tachiya (2011) with hardcore interaction and particle absorption.
To our knowledge, the only work that presents analytical study of dynamics of a tagged particle in an open system is Ref. Rödenbeck, Kärger, and Hahn, 1998 where the finite interval with two perfectly absorbing boundaries was briefly discussed. However, the approximative tagged particle probability density function (PDF) obtained in the thermodynamic limit was only considered. In the present paper we develop a new general formalism that allows an exact analytical treatment of the SFD problem with the absorbing boundary (such boundary can represent, e.g., the open end of the biological pore, a fixed reactant, a binding site inside the pore, etc.). The approach is a logical outgrowth of our earlier methodRyabov and Chvosta (2011) and its characteristic feature is that the exact solution of the SFD problem can be given whenever the exact solution of the corresponding singleparticle problem is known. Formally, our analysis is based on a hierarchical system of coupled generalized diffusion equations describing the evolution periods when the pore contains a definite number of particles. We were able to solve the hierarchy. The solution yields the complete information concerning the manyparticle dynamics. The physical consequences of the particle interaction manifest themselves most transparently if we follow the motion of an individual tagged particle. We were able to derive the exact expression for the tagged particle PDF and for its survival probability. The hardcore interparticle interaction induces entropic forces which radically alter the character of the escape process comparing to the corresponding problem of noninteracting particles.
The paper is organized as follows. Sec. II contains the definition of the model. Sec. III comprises four subsections. First, for the sake of a latter reference, Subsec. III.1 presents the complete solution of the underlying singleparticle case. In Subsec. III.2 we formulate the hierarchy of coupled generalized diffusion equations for the partial PDFs. The appropriate choice of the initial conditions is discussed in Subsec. III.3. In Subsec. III.4 the SFD dynamics is translated into the diffusion of a single compound particle in a special dimensional domain. Sec. IV contains the exact solution of our model (some purely technical steps are particularized in appendixes). The Eqs. (24) and (25) in Subsec. IV.1 give the exact solution of the hierarchy of coupled diffusion equations from which the tagged particle’s PDF (Eq. (33)) is derived in Subsec. IV.2. We then turn, in Sec. V, to a detailed analysis of the escape process. Subsec. V.1 discusses the survival probabilities and their asymptotic behavior. The exit times are analyzed in Subsec. V.2.
Ii Definition of the model
Consider identical Brownian particles, each with the diffusion constant , diffusing in the onedimensional semiinfinite pore. The particles are subject to the following two interactions:

The particleparticle hardcore interaction. As the consequence, particles cannot pass each other. Their initial ordering is preserved during the subsequent diffusion process.

The particleboundary interaction. We assume a partially absorbing boundary at . The particle that hits the boundary is either removed from the pore, or it is immediately reflected and it continues to diffuse inside the pore. The boundary will be implemented through the radiation boundary condition (Redner, 2001). The “particlecapture capacity” of the boundary is characterized by the parameter . The value corresponds to a reflecting boundary, the limit yields a totally absorbing boundary.
The particles cannot enter the pore from the outside and they can leave it only through the boundary at the origin. The number of particles inside the pore either decreases or remains constant over time.
Iii Evolution equations
iii.1 Singleparticle case
In order to introduce basic concepts needed in the following, let us first consider the simplest situation . That is, at the initial time , there is only one particle in the pore and it is located at the position , . The initial PDF for the particle position is the Dirac delta function
(1) 
Inside the pore (i.e., for ), the timeevolution of the initial condition (1) is governed by the diffusion equation
(2) 
At the boundary, we require the radiation boundary condition (BC)
(3) 
The exact solution of Eq. (2) with the initial condition (1) and BC (3) reads
where stands for the complementary error function (Abramowitz and Stegun, 1972). It can be derived, e.g., by the Laplace transform method(Duffy, 2004).
Let , , be an arbitrary PDF describing the initial particle position. Having calculated the Green function (III.1), the time evolution of the initial condition is given as
(4) 
The probability of finding the particle at the time within the interval is given by the cumulative distribution function
(5) 
The probability that the particle has not exited the pore by the time , i.e., its survival probability, reads
(6) 
It is an important feature of our setting that all subsequent particle results can be formulated through the singleparticle functions , , , and only through them.
iii.2 particle case
Suppose that, at the initial time , there are particles in the pore and that their positions , cf. Fig. 1, are distributed according to the joint PDF , . Having in mind that the total number of particles inside the pore is not conserved, we introduce partial particle PDFs , , . We give them the following meaning: is the probability that, at the time , there are particles in the pore (this is stressed by the superscript) and that these particles are located in . Altogether, we have partial PDFs. Further, let be the probability that, at the time , there are no particles left in the pore. The knowledge of the partial PDFs and of the probability represents the complete probabilistic description of the resulting singlefile diffusion problem.
The partial PDF varies in time due to the following two reasons: a) the motion of interacting particles, b) the possible exit of the particle No. out of the pore. The diffusion equation
(7) 
together with the “noncrossing” boundary conditions
(8) 
, account for the diffusion of hardcore interacting particles inside the pore. The noncrossing boundary conditions (8) can be derived by introducing the particle probability current and by assuming that the normal component of the current vanishes at the hyperplanes , . Their derivation and the further discussion can be found in Ref. Ryabov and Chvosta, 2011, Eqs. (3)(5). BCs (8) ensure that the initial ordering of the particles is preserved. Hence, it is only the leftmost particle (the particle No. ) that can leave the pore. The exit process is incorporated by the radiation BC (cf. Eq. (3))
(9) 
The diffusion equation (7) must be supplemented by an initial condition . This will be done in Subsec. III.3.
Let us now focus on the partial PDF . It varies due to the following three reasons: a) the motion of interacting particles, b) a possible exit of the particle No. out of the pore, c) the possible exit of the particle No. while the remaining particles are situated in the infinitesimal domain . We thus arrive at an inhomogeneous generalized diffusion equation with a source term on its righthand side:
(10) 
The last term on the righthand side accounts for the above point c). The hardcore interaction of particles is again incorporated through noncrossing BCs
(11) 
. The radiation BC describing the possible escape of the particle No. reads
(12) 
Presently, the initial condition supplementing Eq. (10) is simply . This follows from the probabilistic interpretation of PDF and from the assumption that, at , there are particles inside the pore.
Following a similar reasoning, the generalized diffusion equation that governs the evolution of the partial PDF , , reads
(13) 
Again, the equation is supplemented by the BCs
(14) 
, by the radiation BC
(15) 
and by the initial condition . Of course, in the case , there is no noncrossing BC.
In the last step of the recursive scheme we focus on the time evolution of the probability . It increases due to the escape of the last remaining particle and it obeys the simple evolution equation
(16) 
with the initial condition .
Summing up the above steps, we have obtained a hierarchy of coupled evolution equations (7), (13) for , and (16). The diffusion equation (7) is closed. Together with Eqs. (8), (9) and with the initial condition it constitutes a welldefined initialboundary value problem with a unique solution, the partial PDF . Suppose that we know it. Then we insert its value at into the source term on the RHS of the inhomogeneous generalized diffusion equation (10). Then the inhomogeneous equation (10), supplemented by Eqs. (11), (12), constitutes again a closed initialboundary value problem. Having obtained its solution, the partial PDF , we again evaluate it at and use as the source term in the equation for partial PDF . The hierarchy is terminated by the Eq. (16).
iii.3 Initial distribution of particles
Among all possible forms of initial distributions there exists one which leads to a considerable simplification of the subsequent analytical calculations. Even more importantly, the distribution is physically quite natural for real singlefile systems. It describes the state which emerges, e.g., after previous constitution of a steady stateRyabov and Chvosta (2011), or after previous autonomous relaxation towards a thermodynamic equilibrium. Namely, in this paper we consider the initial joint PDF for the particle system in the form
(17) 
where denotes a phase space defined as a space of all possible configurations of hardcore interacting particles on the semiinfinite interval , i.e.,
(18) 
The symbol means that the components of the vector respect all the inequalities in (18). If , then at least one of them is violated.
In general, the function in Eq. (17) can be any PDF defined and normalized on the halfline . The normalization of the function implies the proper normalization of the initial condition (17). This can be checked by applying Eq. (48) from Appendix A where we have summarized the basic rules concerning the integration over the phase space .
In the following, we derive also the marginal PDF for the position of the th particle. At the time , it is obtained by integrating the function (17) over the coordinates of all other particles. If denotes the marginal PDF in question, we have
where () stands for the number of particles located left (right) of the th particle. The symbol is explained in Eq. (49) from Appendix A and the symbol , designating the integration domain, is explained in the paragraph just above Eq. (49).
The last expression has been written in the form which suggests two important interpretations. First, suppose that we have generated points on the halfline, each of them being independently drawn from the distribution with PDF . Then is the PDF for the th rightmost of them (i.e., for the th order statisticsKarlin and Taylor (1981)). Second, consider the system of identical, indistinguishable, and noninteracting particles. Let the position of each of them be described by PDF . Then equals the probability that there is a particle in and, simultaneously, there are precisely () particles at arbitrary coordinates to the left (to the right) of it.
In the following, provided we need a further specification of PDF , we always take
(20) 
This expression together with Eq. (17) yields a complete specification of the initial state. The state can be prepared in the following way. Up to the time , a) the pore is closed (reflecting boundary at the left end of the pore at ), b) each particle is pushed towards the reflecting boundary by the external spacehomogeneous force (e.g. the particles are charged and we assume an external electric field), c) the particle system has reached the state of thermal equilibrium. At the time instantaneously (adiabatically) a) the pore becomes opened, i.e., we replace the reflecting boundary by the partially absorbing one, b) the external field is switched off.
iii.4 Mapping on singleparticle diffusion in N dimensions
The dynamics described in the previous subsection possess a noteworthy geometric interpretation. It resides in mapping of the interacting diffusing particles onto a single “compound” particle in dimensions. At there are particles inside the pore. Until the exit of the th particle from the pore, the situation corresponds to the diffusion of the compound particle in the dimensional wedge domain
bounded by reflecting hyperplanes
, and by the absorbing hyperplane
The diffusion within this wedge is described by the partial PDF and it is governed by the dimensional diffusion equation (7). In this picture, the noncrossing boundary conditions (8) describe the reflection of the compound particle on reflecting hyperplanes. They guarantee the zero probability currents in the directions perpendicular to these hyperplanes. The exit of the leftmost particle from the pore corresponds to “sticking” of the compound particle to the absorbing hyperplane and it is incorporated by the requirement (9).
The exit of the th particle translates to the further diffusion of the compound particle on the above absorbing hyperplane. Equivalently, it diffuses within the dimensional wedge domain
bounded by reflecting hyperplanes
, and by the absorbing hyperplane
The diffusion within this domain is described by the partial PDF , etc.
Eventually, after the exit of the particles, there are two last particles left inside the pore. This case is illustrated in Fig. 2 where the compound particle diffuses in 2D wedge domain bounded by just one reflecting boundary and by the absorbing halfline . Its motion is described by the partial PDF . After this event, the diffusion of the compound particle is described by partial PDF . The exit of the left particle corresponds to the sticking of the compound particle to the halfline . The exit of the last particle simply means the sticking of the compound particle to the origin. The probability of finding the compound particle at the origin at is given by the function . For a further discussion of the 2D case cf. Fig. 2.
Iv Exact solution of Evolution Equations
iv.1 Partial PDFs
In our recent work we have shown that the Green function (GF) for the diffusion equation of hardcore interacting particles diffusing in an arbitrary external potential can be constructed from the GF of the corresponding singleparticle problem (see Eq. (6) in Ref. Ryabov and Chvosta, 2011). In the present context, the same construction yields GF that solves Eq. (7) with the noncrossing boundary condition (8), with the radiation boundary condition (9), and with the initial condition . The explicit form of this GF is given by the permanentMinc (1978)
if , and it vanishes otherwise. The summation runs over all permutations of initial positions. Having the GF, the initial condition (17) evolves as
(21) 
In the present paper we always assume the initial condition (17) and it is obvious that this special form simplifies the analytical expressions. As a matter of fact, using (17), the above function reduces to the simple product (cf. Appendix B)
(22) 
where is the known solution of the corresponding singleparticle problem (cf. Eq. (4)). Notice that the product yields the solution just within the domain . It turns out that the products of this type will play an important role in the following. Hence we define
(23) 
We are now prepared to formulate the exact solution of our diffusion problem.
Suppose that the initial PDF possess the form (17). Then the hierarchy of coupled evolution equations as formulated in Subsec. III.2 possesses the solution
(24) 
for , and
(25) 
Turning to the proof, the solution of the first element of the hierarchy (the case ) has already been derived above. Actually, provided there are still particles in the pore, the solution (24) coincides with Eq. (22).
For an arbitrary fixed , we again first consider the particle GF that solves Eq. (13) with the noncrossing BC (14), with the radiation BC (15), and with the initial condition . It reads
(26) 
if , and it vanishes otherwise.
In order to derive the partial PDF we first use the above GF (26) to evolve the initial condition . This yields the first term on the righthand side of the following equation. Secondly, we take into account the source term in Eq. (13) which gives the second term on the righthand side of the following equation. Altogether, we obtain
The first term on the righthand side vanishes because (initially, there are particles in the pore). As for the second term, we start with and we invoke the same reasoning which enables to rewrite the Eq. (21) in the simple product form (22). More explicitly, inserting the product form (22) with into Eq. (IV.1) and repeating the steps as described in Appendix B, we carry out the required integration over the space variables. After these steps we get
(28) 
This is just Eq. (24) for . The procedure can be simply repeated for . After introducing Eq. (28) into Eq. (IV.1) we have
(29) 
which equals (cf. Eqs. (A, 48))
(30) 
This proves the statement (24) for . The proof is completed by repeating the procedure for .
iv.2 Tagged particle’s PDF
In the preceding section, we have derived the probabilities of the compound event that, at the time , the pore contains particles and that they are found in . We now deduce the properties of the single, say th particle (we shall call it the th tagged particle). We start from the partial PDFs , we integrate out the coordinates of all other particles and we sum over all .
The probability that, at the time , the pore contains particles and the th particle is found in the infinitesimal vicinity of the coordinate is , where (for the definition of the symbols used cf. the text after Eq. (III.3) and the last paragraph in the Appendix A)
(31) 
To find the th particle in the pore, the pore must contain at least particles. Hence the marginal PDF of the th particle’s position regardless the positions of all other particles and regardless the number of the particles in the pore is given by
(32) 
We now insert the partial PDFs as given by (24) into Eq. (31). Skipping out a considerable amount of purely algebraic steps, the PDF for the th tagged particle emerges in the form
(33) 
Notice that, as promised above, the result is formulated solely by means of the singleparticle functions , , and , as defined in Eqs. (4), (5), and (6), respectively. In closing the calculation we would like to emphasize the relation
(34) 
which can proved by the direct summation of the expressions (33). The result is also plausible if we apply the reasoning elaborated in the following paragraph.
In the text following Eq. (III.3) we have emphasized the analogies of our SFD model with a) the system of noninteracting indistinguishable particles, and with b) the distribution of the th order statistics based on the sample of independent, identically distributed random variables. However, in Subsec. III.3, the discussion refers to the initial distribution of the particles. Eq. (33) testifies that the analogies are valid for an arbitrary time if we only supplement them with the necessary modifications stemming from the escape process. Indeed, gives the simultaneous probability that one of the noninteracting indistinguishable particles is found in , particles are located in , and each of the remaining particles is either already removed from the pore (with the probability ) or it is still diffusing in the domain in (with the probability ). The indistinguishability is behind the factorials. They account for all possible sequences of particles to the right and to the left of the tagged particle. On the other hand, consider independent, identically distributed random variables each one possessing the probability density . Then Eq. (33) is just the probability density for the th biggest among them. In this second analogy, the time enters as a parameter.
V Escape process
v.1 Survival probabilities
If we use the initial condition (20) and if we carry out the steps as given in Subsec. III.1, the singleparticle survival probability (6) reads
(35) 
At , the survival probability equals to one. It approaches zero as , i.e., the particle will certainly exit the pore. The survival probability (35) decays with time as the power lawNote1 ()
(36) 
This asymptotic time dependence is determined solely by the geometry of the problem (1D semiinfinite interval with the absorbing boundary). The constant factor includes the parameters . It reads
(37) 
We shall demonstrate that the parameters , , enter the timeasymptotic behavior of the interacting particles only through this combination.
Having prepared the singleparticle survival probability we now turn to the system of interacting particles. The survival probability of the th tagged particle is defined as
(38) 
where is the th particle’s PDF as given by Eq. (33). The main steps of the emerging calculation are summarized in Appendix C. The resulting expression includes only the singleparticle survival probability:
(39) 
This is the main formula of the present section.
To get a better insight into the escape process in question, let us examine the difference between the survival probabilities of the adjacent particles. We have
(40) 
The difference is simply the probability that the particle No. has already exited the pore and, simultaneously, the particle No. is still diffusing inside the pore. At the same time, the righthand side by itself suggests an interpretation in terms of a system of noninteracting and indistinguishable particles (the survival properties of noninteracting particles are discussed e.g. in Refs. Weiss, Shuler, and Lindenberg, 1983; Yuste and Lindenberg, 1996; BenNaim and Krapivsky, 2010). Eq. (40) tells us that the following two events have the same probability: (i) exactly of the initial number of interacting particles have already exited the pore by the time , and (ii) exactly of the initial number of noninteracting and indistinguishable particles have already exited the pore by the time . Differently speaking, the mass transport out of the pore is not affected by the hardcore interaction. In particular, in the probabilistic sense, it will take the same time until all particles escape from the pore regardless they interact or not.
Fig. 3 illustrates the tagged particle survival probability for different , together with the singleparticle survival probability . Several observations are worth emphasizing. First of all, it follows from Eq. (40) that the function are ordered as
(41) 
where the equalities hold at (all particles are initially inside the pore, thus all ) and in the limit . Each hardcore particle acts on the adjacent ones as a moving (fluctuating) reflecting boundary. For example, the exit of the rightmost particle is hindered by the remaining particles which greatly increases its survival probability . Effectively, the collisions between the particles induce entropic repulsive forces. The leftmost particle is pushed by the remaining ones towards the pore’s boundary which significantly reduces its lifetime inside the pore; its survival probability rapidly decreases to zero. As a direct consequence of Eq. (34) we obtain
(42) 
which relates the arithmetic mean of tagged particles’ survival probabilities to the survival probability of the singlediffusing particle. Hence always exceeds but their difference vanishes as .
The above consideration manifest themselves most pronouncedly if we consider the timeasymptotic behavior of the survival probabilities. Each tends to zero, i.e., each particle will certainly exit the pore. The longtime asymptotics of the individual can be obtained directly from Eq. (39). We have
(43) 
where has the same meaning as in Eq. (36). In words, each survival probabilities exhibits again a powerlaw decay. However, the decay exponent depends on the particle’s order and it does not depend on the total number of particles. The parameter enters just through the constant prefactor of the power law. This can be understood on physical grounds. Notice that the survival probability of the rightmost particle decays as , i.e., with the same dynamical exponent as (cf. Eq. (36)). Indeed, in the longtime limit it is highly probable that all other particles have already escaped and thus the initially rightmost particle behaves as a free one. This is also why the total number of particles does not enter the exponents of , for an arbitrary . After a “long enough” time, the particles which were initially to the left of the th one have already escaped. Thus, irrespective of , the th particle behaves as if it were the leftmost one in the system of particles. The total number of particles specifies only the expression “long enough” in the above reasoning.
Finally, let us return to the mapping which has been developed in Subsec. III.4 where we have discussed the analogy between our SFD problem and the diffusion of a single compound particle in the dimensional space. Initially, the compound particle departs from a general interior point in the dimensional wedge domain. The exit of the leftmost particle has been translated to the adsorption of the compound particle onto the dimensional absorbtion hyperplane. Then the compound particle continues to diffuse within this hyperplane until its motion is further restricted onto the dimensional absorbtion hyperplane, and so on. The function equals the probability that, at the time , the motion of the compound particle has not been restricted onto the dimensional hyperplane, yet. That is, it still moves in some dimensional wedge, where . Similarly, the difference as given in Eq. (40) yields the probability that, at the time , the compound particle diffuses in the interior of the dimensional wedge domain. On the whole, as a byproduct, we have solved a nontrivial problem concerning the geometrically restricted dimensional diffusion.
v.2 Exit times
The survival probability (Eq. (39)) provides complete information about the escape process of the th particle. The PDF of the th particle’s exit time is given byRedner (2001)
(44) 
Hence all the moments of the exit time can be obtained from . It follows from the longtime properties of (cf. Eq. (43)) that
(45) 
Consequently, the mean exit time of the th particle,
(46) 
is infinite for . The integral (46) becomes finite for and its convergence does not depend on the total number of particles initially located in the pore. only modifies the magnitude of the mean exit time (if the latter exists). Similarly, the second moment of the exit time only exists for .
The above analysis brings us to an interesting comparison between the escape process confined by the static and by the fluctuating reflecting boundaries, respectively. Considering the semiinfinite interval with the absorbing boundary at the origin, the survival probability of the singlediffusing particle decays to zero as the power law (36) and the mean exit time is infinite. If we add the static reflecting boundary on the right of the singlediffusing particle, the diffusion will be confined to an interval of a finite length. Then the survival probability decays exponentially and, consequently, the mean exit time becomes finiteRedner (2001). Consider now our SFD model with . Then, for the left particle, the right one plays the role of a moving reflection boundary. That is, the left particle diffuses within a finite interval of a fluctuating length. Contrary to the case of the static boundary, the survival probability of the left particle decays as , and its mean exit time is infinite. It is interesting that the case brings us to still another behavior of the leftmost particle. For this particle, the central particle again represents a moving boundary. This boundary itself diffuses and, moreover, it feels another moving boundary to the right of it. As a result of such righthand confinement the escape process of the leftmost particle is accelerated, its mean exit time is finite, but the variance of the exit time still diverges. For a general , the exit time of any th tagged particle with possesses both a finite mean value and a finite variance.
In leaving the subject, notice that the limit alters only the prefactor but not the longtime decay exponent of . This limit corresponds to perfect absorption (particle is absorbed immediately when it hits the absorbing boundary). Consequently, gives the distribution of the th particle’s firstpassage time and equals the mean firstpassage time.
Vi Conclusion
This paper provides a simple and general formalism for 1D SFD problems with absorbing boundaries. Our main message concerns the relation of the physically motivated SFD problem and a broadly developed probabilistic field of order statistics and it can be summarized as follows. If the initial condition in the physical SFD problems is assumed in the form of a joint PDF for the order statistics based on the system of identical and independent parent random variables, then this form is preserved during the subsequent time evolution. Implicitly, the observation has been already contained in the previous theoretical SFD studies in problems without boundaries. It can be easily read from the permanentlike structure of the Green function.
Our work elaborates the connection between the SFD problem and the orderstatistics point of view into new directions. First of all, we have proven that the relation continues to be valid in the problems with boundaries. In these problems, the arbitrarytime joint PDF for the positions of the particles has again the form of the joint PDF for the order statistics, provided one simply admits that the PDF for a single parent random variable has an atom at the origin. Secondly, specifically in the problems with boundaries, the joint PDF for the order statistics at an arbitrary time includes, in a mixed form, both the information on the particles remaining still in the pore and on their exit times. We have shown that these two pieces of information can be separated thereby yielding new exact results on the tagged particle diffusion and on the escape process, respectively.
The robustness of the relation is easily understood as it lies in both cases (with and without the boundaries) in the hardcore interparticle interaction. It is therefore not surprising that our results are independent on a detailed form of the singleparticle dynamics. They hold true, for example, if the single particle is acted upon by a general spacedependent or even a spaceandtimedependent external force. The overall structure of our solution remains unchanged if we only change the details of the escape process and switch, for example, from the radiating boundary to the totally absorbing one. Physically motivated calculations in these directions are in progress and will be reported elsewhere.
Eventually, let us comment on our choice of the initial condition as given by Eq. (17). Obviously, it is not the most general option. For example, what happens if the particles are initially placed at specific set of coordinates ? Taking a general initial condition, the partial PDF as defined by Eq. (21) does not reduce to the simple product form (22). Instead, it assumes a rather involved permanentlike form similar to the RHS of Eq. (IV.1). With the necessary changes, one can carry out all the steps which give the partial PDFs , the tagged particle PDF , and the survival probabilities . But again, all the final expressions contain permanents. In spite of these more complicated finitetime expressions, the longtime dynamical exponents coincide with those derived in the preceding sections. Again, the parameters which specify the initial condition (together with and ) appear in the prefactors of the power laws (43), (45).
Acknowledgements.
Support of this work by the Ministry of Education of the Czech Republic (project No. MSM 0021620835), by the Charles University in Prague (project SSV: 11009/265305) and by the Charles University Grant Agency (projects No. 301311, and No. 251228) is gratefully acknowledged.Appendix A Integration over the phase space
Let be a symmetric function of its arguments, i.e., let
holds for any of permutations of the subscripts . Then the integration of with respect to the coordinates