Abstract
The most general reaction–diffusion model on a Bethe Lattice with nearest-neighbor interactions is introduced, which can be solved exactly through the empty-interval method. The stationary solutions of such models are discussed. For some special choice of reaction rates the dynamics of the system is also studied.
Similar content being viewed by others
Introduction
Reaction–diffusion systems have been studied using various methods including analytical techniques, approximation methods, and simulation. Approximation methods are generally different in different dimensions, as for example the mean filed techniques, working good for high dimensions, generally do not give correct results for low-dimensional systems. A large fraction of analytical studies belong to low-dimensional (especially one-dimensional) systems, as solving low-dimensional systems should in principle be easier [1–11].
The Cayley tree or Bethe lattice is a tree (a lattice having no loops) where every site is connected to ξ nearest neighbor sites. This no—loops property may allow exact solvability for some models, for general coordination number ξ Reaction diffusion models on the Cayley tree are studied in, for example [12–17]. In [12, 13, 16] diffusion-limited aggregations, and in [14] two-particle annihilation reactions for immobile reactants have been studied. There are also some exact results for deposition processes on the Bethe lattice [17].
The empty interval method (EIM) has been used to analyze the one dimensional of diffusion-limited coalescence [18–21]. Using this method, the probability that n consecutive sites are empty has been calculated. This method has been used to study a reaction–diffusion process with three-site interactions [22]. EIM has been also generalized to study the Kinetics of the q-state one-dimensional Potts model in the zero-temperature limit [23]. In [18–21] one-dimensional diffusion-limited processes have been studied using EIM. There, some of the reaction rates have been taken infinite, and the models have been worked out on continuum. For the cases of finite reaction—rates, some approximate solutions have been obtained.
In [24, 25], all the one-dimensional reaction–diffusion models with nearest neighbor interactions which can be exactly solved by EIM have been found and studied. Conditions have been obtained for the systems with finite reaction rates to be solvable via EIM, and then the equations of EIM have been solved. In [25], general conditions were obtained for a single-species reaction–diffusion system with nearest neighbor interactions, to be solvable through EIM. Here solvability means that evolution for E n (the probability that n consecutive sites be empty) is closed. It turned out there, that certain relations between the reaction rates are needed, so that system is solvable via EIM. The evolution equation of E n is a recursive equation in terms of n, and is linear. It was shown that if certain reactions are absent, namely reactions that produce particles in two adjacent empty sites, the coefficients of the empty intervals in the evolution equation of the intervals are n-independent, so that the evolution equation can be easily solved. The criteria for solvability, and the solution of the empty-interval equation were generalized to cases of multi-species systems and multi-site interactions in [26–28].
In this article, the most general single-species reaction–diffusion model with nearest-neighbor interactions on a Cayley tree is investigated, which can be solved exactly through the empty interval method. The scheme of the paper is as follows. In Sect. 2, the most general reaction–diffusion model with nearest neighbor interactions on a Cayley tree is studied, which can be solved exactly through EIM. The evolution equation of E n, the probability that a connected collection of n sites be empty is also obtained. In Sect. 3 the stationary solutions of such models are discussed.
The dynamics of the system for special choice of reaction rates is studied in Sect. 4. Finally, Sect. 5 is devoted to concluding remarks.
Models solvable through the empty interval method on a Cayley tree
The Cayley tree (a lattice without loops) where every site is connected to \( \xi \) sites (Figs. 1, 2). Two sites are called neighbors if they are connected through a link. Consider a system of particles on a Cayley tree. Each site is either empty or occupied by one particle. The interaction (of particles and vacancies) is nearest neighbor. The probability that a connected collection of n sites be empty is denoted by E n . It is assumed that this quantity does not depend on the choice of the collection. An example is a tree where the probability that a site is occupied is p and is independent of the states of other sites. Then
The following graphical representations help express various relations in a more compact form. An empty (occupied) site is denoted by o (•). A connected collection of n empty sites is denoted by O n .
There is no loop in a Cayley tree, so each site can only be connected to a single existing cluster site, by a single link. An empty cluster expands or shrinks through interaction on its boundary. It can also be destroyed through particle generations in the bulk. Assume that the interactions are nearest neighbor (two-site) of the following kinds, with the rates indicated.
And
The closeness of the evolution equation for E n requires that the rate of change of anything to \( \left( \circ \circ \right) \) becomes zero. The probability of finding an empty cluster connected to an occupied site P (• − O n ) can be written in terms of E n and E n+1:
To study the evolution of E n , one considers states which can transform to O n (the sources) and states O n can transform to them (the sinks). These are the followings.
Using these, the time evolution equation for E 1 (n > 1) is seen to be
where \( R_{n} \) is the number of sites adjacent to a collection of n connected sites. A simple induction in [29] shows that
Using [4] and
equation [6] recasts to
In order that the evolution for E n be closed, it is needed that
It is also seen that the evolution for E 1 takes a form similar to that of E n (n > 1), provided one defines
Then we have
along with the boundary condition [11].
The stationary solution
The stationary solution of the system (E s, for which the time derivative vanishes), satisfies
with the boundary condition
Consider two cases separately.
\( \varvec{r} = \varvec{r}_{0} = 0 \)
One has
This is a second order linear difference equation with constant coefficients. To solve this, one puts the ansatz
In [15], and obtains
The constants C 1 and C 2 depend on the initial conditions. So the stationary solution is not unique. Note that the result is independent of coordination number \( \xi \). So the stationary behavior of the system, reaction diffusion model on a Cayley tree with arbitrary coordination number ξ, is similar to that of a reaction diffusion model on a one-dimensional lattice (ξ = 2), provided of course that there is no process which creates particles from two neighboring vacant sites. Using [17] for n = 0, and n = 1, together with the boundary condition [14], the constants C 1 and C 2 can be expressed in term of \( E_{1}^{s} \)
\( \varvec{r} \ne 0 {\text{ or}}\; {\varvec{r}}_{0} \ne 0 \)
It is a difficult task to obtain a closed form for \( E_{n}^{s} \). Things become, however, simpler for large n’s. One puts the ansatz
In [13], assuming that \( C_{n} \) is slowly varying with respect to n. Keeping only the largest powers in n, one arrives at
where f is defined through
There are two solutions for z, each giving rise to a stationary solution. The general stationary solution would be linear combination of these. A stationary solution however, is acceptable only if it is nonnegative and nonincreasing for all n’s. Such a solution should not blow up at n → ∞, which shows that for acceptable solutions
Using
It is seen that one of the roots of [20] (let’s call it \( z_{1} \)) satisfies
For the other root, two cases occur:
-
(i)
r 1 + r 2 > r + r 0.
Here f (∞) > 0, and \( z_{2 } > 1. \) Hence this root gives rise to r 0 an unphysical solution. So the stationary solution is unique.
-
(ii)
\( r_{1} + r_{2} < r + r_{0} . \)
Here f (∞) < 0, and \( z_{2 } < 0 \). Using
$$ z_{1} + z_{2} = \frac{{\left( {\xi - 2} \right)\left( {r_{1} + 2r_{2} } \right) + r + 2r_{0} }}{{r_{1} + r_{2} - r - r_{0} }} < 0, $$(24)
One arrives at
This shows that in any combination \( C_{ 1n} z_{1}^{n} + C_{ 2n} z_{2}^{n} \), with C 1n and slowly varying, for large \( n^{,} s \) the second term is the dominant term unless it is identical to zero. But the sign of this term changes with n for large n. So the sign of the whole combination changes with n for large \( n^{,} s \) unless the second term vanishes identically. Hence any combination of stationary solutions with a nonzero contribution corresponding to z 2 is unphysical. The stationary solution is again unique. Note that if one considers the evolution equation [12] on its own, without taking into account the fact that E n s are not totally independent of each other and cannot be negative, then there would be two stationary solutions. What eliminates one of these is that only special initial values are possible for E n ’s, so that in the large time limit only one of the stationary solutions survives.
To summarize, if r or \( r^{'} \) are nonvanishing, the stationary solution is unique, so the solution for large times is independent of the initial conditions.
There are two special subcases where [13] is simplified. In these cases [13], it is reduced to a first order difference equation.
\( \varvec{r}_{2} = 0 \)
Here
is a solution to [13] and [14], and as the stationary solution is unique, this is the stationary solution.
\( \varvec{r}_{1} + \varvec{r}_{2} = \varvec{r} + \varvec{r}_{0} \)
In this case [13] becomes a first order recursive equation for \( E_{n'}^{s} \) from which on obtains
Dynamical solutions
It is a difficult task to obtain the dynamical solution in general. One may seek solutions with exponential time dependence:
Putting this in [12], one arrives at
The boundary condition corresponding to [11] is
In general, it is difficult to solve these for large n, however, one can use arguments similar to those used in the previous section. Using an ansatz similar to [19], it is seen that ɛ does not change the equation governing z. Again the root z 2 (which is either greater than one or negative) give rise to unphysical solutions. The reason is that although the dynamical solution [29] need not be nonnegative and decreasing in n by itself, the sum of such a solution and the stationary solution can be a complete physical solution to [11] and [12] and hence should satisfy these conditions. For sufficiently large n, a contribution coming from z 2 would be dominant and either blows up or becomes negative. So the whole solution either blows up or becomes negative, unless there is no contribution corresponding to z 2 in the dynamical solutions. This leaves only one physical solution for (30). Such a solution does not necessarily satisfy (31). The condition (30) may be satisfied only for special values of ɛ. Hence the spectrum of the evolution operator is discrete, in other words the system has a finite relaxation time.
For two special choices of parameters, however, one can go further. These are the cases discussed in the previous section when the evolution equation becomes first order in n.
r 2 = 0
Here the reactants are immobile, and the coagulation rate is also zero. But there are nonzero rates for birth and decoagulation. So, one expects at large times all the sites to be occupied, and in the stationary states all the \( E_{n} 's \) are zero as it was shown to be the case in the previous section. The evolution equation can be solved exactly for a special choice of initial condition, Eq. (12) recasts to
Putting the ansatz
In (32), one arrives at
These are readily solved and one obtains.
where
Using these, one obtains
It is seen that for times, all \( E_{n} s \) tend to zero. In fact they decay like
A special case where the ansatz (33) works is the case of initially uncorrelated sites, so that each site is occupied with probability ρ regardless of other sites.
One has then
So that
\( \varvec{r}_{1} + \varvec{r}_{2} = \varvec{r} + \varvec{r}_{0} \)
In this case (12) becomes
This set of equations, together with the boundary condition [11], can be solved iteratively. The equation for E 1(t) becomes
the solution to which is
So, at large times each site is occupied whit the probability
and the average density relaxes to this value with the relaxation time
Concluding remarks
The most general one-dimensional single-species exclusion model on a Cayley tree was considered, for which the evolution of the empty—intervals is closed. The stationary solutions of such models were discussed. It was shown that except for special values of rates, the stationary solutions are unique, hence independent of initial conditions. The dynamics of such systems were also studied and it was shown that generally the spectrum is discrete and depends on n. For special choices of reaction rates, the dynamics was studied in more detail and closed form for the empty interval probabilities were obtained. Among the questions remaining one can mention the statics and dynamics of systems with arbitrary rates, as well as the possible existence of phase transitions. One can also investigate Cayley trees with boundaries, with injection and extraction at the boundaries.
References
Schütz, G.M.: Exactly solvable models for many-body systems far from equilibrium. In: Domb, C., Lebowitz, J. (eds.) Phase Transitions and Critical Phenomena, vol. 19. Academic press, London (2000)
Alcaraz, F.C., Droz, M., Henkel, M., Rittenberg, V.: Reaction-diffusion processes, critical dynamics, and quantum chains. Ann. Phys. (N.Y.) 230, 250 (1994)
Krebs, K., Pfannmuller, M.P., Wehefritz, B., Hinrichsen, H.: Finite-size scaling studies of one-dimensional reaction-diffusion systems. J. Stat. Phys. 78(FS), 1429 (1995)
Simon, H.: Concentration for one and two species one-dimensional reaction-diffusion. J. Phys. A28, 6585 (1995)
Privaman, V., Cadilhe, A.M.R., Glasser, M.L.: Exact solution of anisotropic diffusion limited reactions with coagulation and annihilation. J. Stat. Phys. 81, 881 (1995)
Henkel, M., Orlandini, E., Schütz, G.M.: Equivalences between stochastic systems. J. Phys. A28, 6335 (1995)
Henkel, M., Orlandini, E., Santos, J.: Reaction-diffusion processes from equivalent integrable quantum chains. Ann. Phys. 259, 163 (1997)
Lushnikov, A.A.: Binary reaction 1+1→0 in one dimension. Sov. Phys. JETP 64, 811 (1986). [Zh. Eksp.Teor.Fiz.91(1986)1376]
Alimohammadi, M., Karimipour, V., Khorrami, M.: Exact solution of a one-parameter family of asymmetric exclusion processes. Phys. Rev. E57, 6370 (1998)
Alimohammadi, M., Karimipour, V., Khorrami, M.: A two-parametric family of asymmetric exclusion processes and its exact solution. J. Stat. Phys. 97, 373 (1999)
Aghamohammadi, A., Khorrami, M.: Similarity transformation in one-dimensional reaction-diffusion systems: the voting model as an example. Phys. A33, 7843 (2000)
Vannimenus, J., Nickel, B., Hakim, V.: Models of cluster growth on the Cayley tree. Phys. Rev. B30, 391 (1984)
Krug, J.: Surface structure of random aggregates on the Cayley tree. J. Phys. A21, 4637 (1988)
Majumdar, S.N., Privman, V.: Annihilation of immobile reactions in the Bethe lattice. J. Phys. A26, L743 (1993)
Kelbert, M.Y., Suhov, Y.M.: The Markov branching random walk and systems of reaction-diffusion (Kolmogorov–Petrovskiĭ–Piskunov) equations. Commun. Math. Phys. 167, 607 (1995)
Majumdar, S.N.: Traveling front solutions to directed diffusion limited aggregation, digital search trees and the Lempel–Ziv data compression algorithm. Phys. Rev. E68, 026103 (2003)
Cadilhe, A., Privman, V.: Random sequential adsorption of mixtures of dimers and monomers on a pre-treated Bethe lattice. Modern Phys. Lett. B18, 207 (2004)
Burschka, M.A., Doering, C.R., Ben-Avraham, D.: Transition in the relaxation dynamics of a reversible diffusion-limited reaction. Phys. Rev. Lett. 63, 700 (1989)
Ben-Avraham, D.: The method of interparticle distribution functions for diffusion-reaction systems in one dimension. Phys. Lett. B9, 895 (1995)
Ben-Avraham, D.: Nonequilibrium statistical mechanics in one dimension. In: Privman, V. (ed), pp. 29–50. Cambridge University Press (1997)
Ben-Avraham, D.: Complete exact solution of diffusion-limited coalescence, A + A → A. Phys. Rev. Lett. 81, 4756 (1998)
Henkel, M., Hinrichsen, H.: Exact solution of a reaction-diffusion process with three-site interactions. J. Phys. A34, 1561–1568 (2001)
Mobilia, M., Bares, P.A.: Generalized empty-interval method applied to a class of one-dimensional stochastic models. Phys. Rev. E64, 066123 (2001)
Aghamohammadi, A., Khorrami, M.: Models solvable through the empty-interval method. Eur. Phys. J. B47, 583586 (2005)
Alimohammadi, M., Khorrami, M., Aghamohammadi: Exactly solvable models through the empty-interval method. Phys. Rev. E64, 056116 (2001)
Khorrami, M., Aghamohammadi, A., Alimohammadi, M.: Exactly solvable models through the empty interval method, for more-than-two-site interactions. J. Phys. A36, 345 (2003)
Aghamohammadi, A., Alimohammadi, M., Khorrami, M.: Exactly solvable models through the generalized empty interval method, for multi-species interactions. Eur. Phys. J. B31, 371 (2003)
Aghamohammadi, A., Khorrami, M.: Exactly solvable modeles through the generalized empty interval method: multi species and more-than-two-site interactions. Int. J. Modern Phys. B18, 2047 (2004)
Rozikov, U.A.: A contour method on Cayley trees. J. Stat. Phys. 130, 801–813 (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Matin, L.F. Exactly solvable reaction diffusion models on a Bethe Lattice through the empty-interval method. J Theor Appl Phys 9, 93–98 (2015). https://doi.org/10.1007/s40094-015-0163-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40094-015-0163-y