Approximate probabilistic cellular automata for the dynamics of single-species populations under discrete logisticlike growth with and without weak Allee effects

Approximate probabilistic cellular automata for the dynamics of single-species populations
under discrete logisticlike growth with and without weak Allee effects

J. Ricardo G. Mendonça jricardo@usp.br Escola de Artes, Ciências e Humanidades, Universidade de São Paulo
Rua Arlindo Bettio 1000, Ermelino Matarazzo, 03828-000 São Paulo, SP, Brazil
   Yeva Gevorgyan yeva@ime.usp.br Departamento de Matemática Aplicada, Instituto de Matemática e Estatística, Universidade de São Paulo
Rua do Matão 1010, Cidade Universitária, 05508-090 São Paulo, SP, Brazil
Abstract

We investigate one-dimensional elementary probabilistic cellular automata (PCA) whose dynamics in first-order mean-field approximation yields discrete logisticlike growth models for a single-species unstructured population with nonoverlapping generations. Beginning with a general six-parameter model, we find constraints on the transition probabilities of the PCA that guarantee that the ensuing approximations make sense in terms of population dynamics and classify the valid combinations thereof. Several possible models display a negative cubic term that can be interpreted as a weak Allee factor. We also investigate the conditions under which a one-parameter PCA derived from the more general six-parameter model can generate valid population growth dynamics. Numerical simulations illustrate the behavior of some of the PCA found.

DOI: 10.1103/PhysRevE.95.052131

population dynamics, Allee effect, logistic map, cubic map, cellular automata, mean-field approximation
pacs:
87.23.Cc, 05.40.-a, 02.50.-r

I Introduction

Cellular automata (CA) are discrete-space, discrete-time deterministic dynamical systems that map symbols from a finite set of symbols into the same set of symbols according to some well-defined set of rules. Usually, the discrete dynamical cells that characterize and compose the CA update their states simultaneously, the underlying lattice of cells is regular—like, e. g., an array of equally spaced points or a square or hexagonal lattice—and the dynamics of each cell depends only on the states of other cells over a finite neighborhood. The idea of CA dates back at least to the end of the 1940s, when they were conceived as model systems for simple self-reproducing, self-repairing organisms and, by extension, logical elements and memory storage devices burks (). For broad introductions to the subject see wolfram (); toffoli (); chopard (); boccara (); adamatzky ().

A CA with rules depending on a random variable becomes a probabilistic CA (PCA). PCA were introduced mainly by the Russian school of stochastic processes in the decade of 1960–1970 in relation with the positive probabilities conjecture—a conjecture that is deeply rooted in the theory of Markov processes and has a counterpart in the well-known statistical physics lore that one-dimensional systems do not display phase transitions at finite () temperature—, but also as model systems for noisy “neurons” and voting systems dobrushin (); petrovskaya (); classification (); stavskaya (); toom (); gkl (); russkiye () (see also ledoussal (); lebowitz ()). Besides serving as model systems for the analysis of computation, both applied and theoretical, digital or biological, CA and PCA have also been playing a significant role in the modeling of biological and ecological complex systems, notably spatial processes and the interplay between dispersion and competition in the determination of structure and scale of ecosystems hogeweg (); silvertown (); camodel (); durrett (); britaldo (); green (); abmbook ().

In this paper we investigate how microscopic PCA models of a single-species unstructured population with nonoverlapping generations average in first-order, single-cell mean-field approximation to well-known models widely employed in population dynamics, namely, the logistic map and a variant cubic map that describes the dynamics of a population under weak Allee effects. The mean-field equations provide a connection between the microscopic stochastic dynamics of the PCA with the deterministic dynamics of the ensuing discrete-time maps, that otherwise are typically derived using ad hoc (phenomenological, at best) arguments.

The probabilistic nature of the PCA together with the functional form of the logistic and cubic maps that we want to recover from the mean-field approximations impose constraints that the microscopic transition probabilities have to observe to make the models sensible from the point of view of population dynamics. Otherwise, the construction of the microscopic PCA models with the desired population dynamics properties from the elementary transitions available is straightforward. We believe that the fact that both the logistic map and a cubic map that incorporates the description of weak Allee effects can be obtained from a single, relatively simple microscopic framework is worth notice. Approaches closely related to ours have been employed in cellscale (); mcelwain (); their interacting particle systems, however, evolve in continuous time and are not homogeneous in space. A somewhat related approach has also appeared in the sociophysics literature bagrecht ().

This paper is structured as follows. In Sec. II we review the logistic growth model in discrete time for the dynamics of a single-species unstructured population with nonoverlapping generations and one of its possible extensions to include Allee effects. Section III presents the PCA formalism and the mean-field approximation to their dynamics. In this section we obtain the first-order, single-cell mean-field approximation to the most general one-dimensional left-right symmetric PCA that is central to our analysis. In Sec. IV we derive the constraints on the transition probabilities of the PCA under which its six-parameter mean-field approximation yields the logistic map often encountered in population dynamics as well as an extension thereof containing a cubic term that models weak Allee effects. There we also obtain the solution sets in the six-parameter (actually, five-parameter) space that encompass the models of interest, present simulations of some of the PCA models obtained, and discuss their main features. In Sec. V we examine the models that survive the constraints when we reduce the number of parameters of the PCA from six (actually, five) to a single one. We found several, some of which can be understood as probabilistic mixtures of elementary CA. Finally, in Sec. VI we assess the results obtained and indicate possible directions for further research. An Appendix details some calculations in the mean-field approximation for some of the single-parameter PCA found.

Ii Discrete logisticlike growth models

ii.1 The discrete logistic growth model

The dynamics of a single-species population subject to limiting resources can be described by Verhulst’s logistic growth model verhulst ()

(1)

where represents the size of the population, is the maximum potential rate of reproduction of the individuals in the population, and is the carrying capacity, defined as the maximum population viable under the given ecological conditions ekeshet (); brauer (). The function represents the instrinsic growth rate per capita of the population, and the form of the right-hand side of (1) guarantees that when there is no spontaneous generation of living organisms. The intrinsic growth rate decreases to zero as the population grows large, and arose as an improvement over the simple model of constant growth rate to make it more realistic. The basic model (1) has been generalized in several different ways to account for particular conditions and factors affecting specific populations tsoularis ().

Discrete-time models are particularly suited to describe the dynamics of populations with nonoverlapping generations, in which the population growth takes place at discrete intervals of time may1974 (); hassell (). This is typically the case for populations of annual plants and insects. The discrete-time version of (1), a. k. a. the logistic map, is given by

(2)

Equation (2) is sometimes presented in the form , which is perhaps biologically more revealing; the two forms, however, are equivalent by the redefinitions and . The logistic map (2) displays much more complex a behavior than (1), having become the archetypal example of a chaotic dynamical system may1974 (); hassell (); may1976a (); may1976b (); iterated (); devaney ().

In this work we are interested in the logistic map both in its basic form (2) and with an extra term included to take into account Allee effects, which we introduce in the next subsection.

ii.2 Allee effects

The Allee effect, first discussed in the 1930’s, describes a positive correlation between the rate of growth and the density of a population, namely, that at low population densities reproduction and survival of individuals may decline allee (); dennis (); lande (); stephens (). The effect saturates or disappears as populations grow larger. The Allee effect challenges the classical tenet of population dynamics according to which individual fitness is higher at low densities because of lower intraspecific competition. Allee effects can be related with components of individual fitness (the component Allee effect) or with overall mean individual fitness (the demographic Allee effect), which is what in general can be measured in the field. Empirical evidence suggests that Allee effects are caused mainly by mate limitation, debilitated cooperative defense, unsubstantial predator satiation, lack of cooperative feeding, dispersal, and habitat alteration gascoigne (); kramer (). Recently, it has been argued that tumour growth displays many features of population dynamics, including Allee effects korolev ().

Figure 1: Intrinsic population growth rate functions (left) and (right) given by (3). These functions provide models for the weak [] and strong [] Allee effects.

It is possible to model the demographic Allee effect in several different ways, following different biological rationale boukal (). Mathematically, the Allee effect requires that have a maximum at intermediate densities and decay at low densities. It is also desirable that decays at high densities to display the logistic effect. The simplest way to obtain this combined behavior is by multiplying the righ-hand side of (1) or (2) by , where represents a critical population threshold kareiva (); hastings (); gruntfest (); courchamp (); bascompte (). The resulting growth rate function becomes

(3)

with , , and positive constants. Functions (3) are concave down parabolas with roots and maximum at , where . These functions are depicted in Fig. 1.

Functions model what are known as the weak (or non-critical) Allee effect [], according to which at small population sizes the growth rate decreases but remains positive, and the strong (or critical) Allee effect [], when the growth rate may become negative at small population sizes and lead the population to extinction. In this work we only consider models for the weak Allee effect, since in the PCA scenario the constant term of the intrinsic population growth rate function becomes a sum of nonnegative probabilities, therefore enforcing the model (see Sec. IV).

Iii Probabilistic cellular automata

A one-dimensional, two-state PCA wolfram (); toffoli (); chopard (); boccara (); adamatzky (); russkiye (); ledoussal (); lebowitz () is defined by an array of cells arranged in a one-dimensional lattice of total length , usually under periodic boundary condition ( and ), with each cell in one of two possible states, say, or , . The state of the PCA at instant , is given by .

The probability distribution of observing a particular state of the PCA at instant given an initial distribution is given by

(4)

where is the conditional probability for the transition to occur in one time step. The rules that map the state of into the new state depend only on a finite neighborhood of . In this work the neighborhood is given by the -th cell itself together with its two nearest-neighbor cells , and since the cells of the PCA are updated simultaneously and independently we have that

(5)

From Eqs. (4) and (5), it is easy to show that the dynamics of the (marginal) probability distribution of observing a cell—any cell, since the PCA is spatially homogeneous—in state at instant (equivalently, the instantaneous density of cells in state in the PCA) obeys

(6)

From this equation we see that the determination of depends on the knowledge of the probabilities , which in turn depend on and so on. The simplest approach to break the hierarchy of coupled equations implied by (6) and get a closed set of equations is to approximate

(7)

This is the first-order, single-cell mean-field approximation, which assumes probabilistic independence between the cells. It is possible to resort to higher order approximations involving pairs, triplets, etc. of cells to obtain increasingly better approximate descriptions of the dynamics of the PCA local (); cluster (); dickman (); haye (); arXiv (); nazim (), but we will limit ourselves to the simple approximation (7). As we will see, already at this level of approximation we obtain interesting models of single-species population dynamics.

A logical choice for most models of natural phenomena are left-right symmetric rules, in which case and we are left with six transition probabilities to specify. We will denote these transition probabilities by , , …, according to the following convention:

(8a)
(8b)
(8c)
(8d)
(8e)
(8f)

Table 1 displays the rule table for PCA (8a)–(8f). Whatever one wants to model with a left-right symmetric elementary one-dimensional PCA must be encoded in the choice of these parameters. We want to model single-species populations under logistic growth with such PCA. If we identify a cell in the state as an empty site or patch and a cell in the state as an individual or pack, the interpretation of the probabilities (8) in terms of population dynamics is immediate. For example, represents the probability of spontaneous generation, , a somewhat unnatural biological process, while represents the probability of survival of the central individual () in an overcrowded neighborhood. Not every set of values for the parameters yield sensible models from a population dynamics point of view, though. Contextual interpretations of these parameters are discussed in Sec. IV.2.

Table 1: Rule table for the general left-right symmetric one-dimensional elementary PCA. The first row lists the initial neighborhood and the other two rows give the probability at which the central cell reaches the state given in the leftmost column; cf. (8a)–(8f).

Equation (6) for , in the PCA defined by the left-right symmetric transition probabilities (8) reads

(9)

Applying approximation (7) to the probabilities on the right-hand side of (9) with and we obtain

(10)

In the next section we determine the conditions on the transition probabilities , , …, that can turn (10) into one of the population growth models (2) or (3).

Iv PCA models of logistic population growth

iv.1 Constraints on the transition probabilities

Although the set of transition probabilities (8) are the most general possible for an elementary one-dimensional left-right symmetric PCA, when there is spontaneous generation of living organisms, an undesirable feature for biological population models. To make model (10) biologically sensible, thus, we must require that . When we set , Eq. (10) becomes with

(11)

Now note that the transition probabilities and always appear in (10) and (11) in the combination . This happens because in the mean-field approximation (7) to (9), , , and , which are respectively associated with the transition probabilities , , and , all give rise to the same term . Ditto for the transition probabilities and , which always appear together like . It is thus convenient to lump these transition probabilities into new variables and , both in the range .

Comparing the mean-field Eq. (11) for the dynamics of the PCA (8) with models (2) and (3) for the growth of a single-species population, we see that the coefficients of the powers of in (11), which we will denote by , , and , must obey one of the two following sets of constraints:

Case I (Logistic map).

To recover (2) from (11) we must have together with and . These constraints translate into the following conditions on the transition probabilities of the PCA:

(12a)
(12b)
(12c)

Case II (Cubic map with weak Allee effect).

In this case, to recover the model in (3) from (11), must be negative while and must be positive. In terms of the transition probabilities these conditions read

(13a)
(13b)
(13c)

Note that because in (11) must be compared with the independent term of in (3), the PCA is not able to reproduce , for which , at least not in the single-cell mean-field approximation. Otherwise, if , i. e., if , in (11) becomes

(14)

This form for corresponds to the limit in (3). Indeed, when , we can take and obtain , as in (14). Note that as , such that . In this paper we gloss over this limiting case and always take .

iv.2 Analysis of the constraints and some examples

One can argue that from the point of view of population dynamics the more interesting PCA models are those with small values of () and (), to model the decrease of the birth rates in overcrowded neighborhoods (the logistic effect), and moderate to large values of ( and ) and ( and ), to model reproduction and survival under favorable conditions. The magnitude of () depends on whether one wants to model individuals more or less resilient to loneliness and its consequences. Possible choices for the transition probabilities encompassing these arguments would be, for example, and or , among others. In this subsection we analyze the two sets of constraints identified in Sec. IV.1 and give examples of PCA that fall into each case. As we shall see, the classification of PCA into Case I or II makes sense, since the analysis of their transition probabilities can be interpreted as describing the dynamics of a population under logistic growth with or without Allee effect.

Case I (Logistic map).

Constraints (12) can be recast as

(15)

with always in the range . Problem (15) is effectively a two-dimensional problem. Figure 2 displays the projection of the solution set on the -plane. The solution set includes the plane , which, however, is not displayed in Fig. 2. The -projection of occupies a considerable fraction (namely, ) of the box available. That means that it is not hard to find a set of transition probabilities satisfying (15) that also makes sense in terms of population dynamics. For example, we can take ( and ) to represent relatively high, but not certain, reproduction in a relatively favorable neighborhood, () and ( and ) to represent survival, with smaller than because of the “loneliness factor,” and () again to represent possible but not certain (in fact, unlikely) reproduction into a crowded neighborhood. We then obtain , , and () representing the possibility of survival in what we may call an overcrowded neighborhood. A space-time diagram of the resulting PCA is displayed in Fig. 3 for a PCA of length initially occupied by individuals randomly distributed among the cells.

Figure 2: Projection on the -plane of the solution set of (15) (hatched area). Given , is given by the plane “hovering” over the hatched area. The hatched polygon has vertices at , , , and , with total area . The dashed edge as well as the lines external to the hatched area do not belong to .

The equivalent logistic map (2) for the above choice of transition probabilities has , within the interval of stability may1974 (); hassell (); may1976a (); may1976b (); iterated (); devaney (), and , namely,

(16)

The stationary density of the logistic map (16) is given by , while the average stationary density of the PCA measured from small scale simulations is .

Case II (Cubic map with weak Allee effect).

Constraints (13) are equivalent to

(17)

The solution set of (17) can be constructed as follows. In a coordinate system , the first constraint determines a triangular slab delimited by the planes , and contained in the box . The second constraint defines a half-space bounded above by the plane , i. e., by a plane normal to the direction . The intersection of this half-space with the triangular slab is . This set is depicted in Fig. 4.

The volume of is , approximately of the total volume available, so that there are plenty of transition probabilities to choose from. In this case, however, choices with large values of ( and ), which we argued formerly represent populations better prepared to thrive, are less numerous, since in , entailing , that moreover can be large only at the expense of (). In other words, for a given valid , if we pick we necessarily have to pick and vice-versa; we cannot have both probabilities above as in Case I. For instance, if we pick , as in the previous example, we have to pick , meaning that, on average, less than one out of six lone individuals () survive to tell the history. This is a manifestation of the Allee effect, seen from the point of view of the local microscopic processes. Another manifestation of the Allee effect in the opposite direction is reflected on the possible choices for , which can be as large as the maximum possible, namely, . Large values of means large values of ( and ) and (), which can be interpreted as improved survival probability due to collective support despite the logistic (overcrowding) effect. Whatever the value of , the transition probabilities ( and ) and () are bound by the condition , further limiting the chances of “unassisted” reproduction () and survival of lone individuals (). Figure 5 depicts the space-time diagram of a Case II PCA of length with parameters initially occupied by individuals at random cells.

Figure 3: Space-time diagram of PCA exemplifying Case I. A total of cells under periodic boundary conditions are evolved for time steps (time runs downward) from an initially random state of density .

Note how the clusters of individuals in Fig. 5 are more compact than the clusters in Fig. 3. Also note how some of the clusters are fringed by checkerboard-like regions of low populational density before the plains devoid of individuals. This kind of pattern is typical of invasion processes, in which Allee effects play a major role cellscale (); mcelwain (); kareiva (); hastings (); gruntfest (). Invasion processes, however, are better modeled in two spatial dimensions.

The pattern displayed by the PCA in Fig. 5 strongly resembles the pattern of directed (site or bond) percolation clusters at or slighly above criticality durrett (); dickman (); haye (). The relationship of these PCA (both Case I and II) with percolation processes as well as with other known CA and PCA, in particular with the Domany-Kinzel (DK) PCA dkpca (), is an interesting question. For example, the map to the DK PCA would require that ; exact correspondence would additionally require that and . A PCA with the same parameters as the one in Fig. 5 but with would roughly correspond to an inactive instance of the DK PCA. It thus seems that sustained activity of the PCA in Case II depends to a certain extend on the survival probability of lone individuals, as embodied by the transition probability . Preliminary analysis suggests that the dynamics of the PCA is not very sensitive to the particular values of as long as .

Figure 4: Solution set (shaded volume) of (17). The simplex has vertices at , , (lower face), , , , (upper face), with total volume . Dashed edges as well as faces bounded by dashed edges do not belong to .

V Single-parameter PCA

Most PCA models in the literature are one and two-parameter models, since they are already rich and flexible enough to model a great many phenomena, in one or more dimensions, and display a variety of nontrivial behavior, from disordered and chaotic phases to phase transitions of several different kinds wolfram (); toffoli (); chopard (); boccara (); adamatzky (); dickman (); haye (); arXiv (); nazim (). It is thus not entirely without interest to identify single-parameter PCA that in the single-cell mean-field approximation yield models for the logistic growth of populations, with or without weak Allee effects.

v.1 Parametrization of the transition probabilities

We can reduce the number of parameters of PCA (8) from six to a single one, say, , by parametrizing the transition probabilities like , , …, . The simplest possible parametrization is by linear functions, , , …, , with . If we choose , the transition probabilities become then given either by or and there are possible parametrizations for the transition probabilities, namely, , , …, . Now, note that since , if a given parametrization has solution set (we take a half-open, half-closed interval for the sake of illustration), interchanging the roles of and in the parametrization leads to the “dual” parametrization with solution set , that is, . As a consequence, as ranges over , the transition probabilities of the dual parametrization range over the same values as the initial parametrization when ranges over , and the two parametrizations are equal. We then have, in fact, a maximum of unique parametrizations.

Figure 5: Space-time diagram of PCA exemplifying Case II. A total of cells under periodic boundary conditions are evolved for time steps (time runs downward) from an initially random state of density .

In our study, and we end up with only possible parametrizations of the transition probabilities. Again, it is convenient to look at these parametrizations through the variables and . We now determine for which values of PCA (8) comply with constraints (12) and (13).

Case I (Logistic map).

In this case , and we have to examine only the eight possible parametrizations for , , , and . We then enforce constraints (12) on the parametrized transition probabilities and obtain the valid ranges for in each case. The solution sets found are summarized in Table 2. Let us look at one example closely to make Table 2 more clear. If we take , we have and . The constraint (12a) implies , while the constraint (12b) implies . Since must be a number between and , we further require that . The final solution set is the interval . Solutions can also be read as line segments in . In our example, the equation for the line segment in symmetric form is , with .

,
,
Table 2: Solution sets for the one-parameter version of PCA in Case I (logistic map) according to the possible parametrizations indicated in the first column. The solution sets are given as line segments (equations in symmetic form) in the space. In every case .

Case II (Cubic map with weak Allee effect).

Here we have to scrutinize all different parametrizations of the transition probabilities , , , and to get the whole picture. However, from constraint (13c) we see that all instances with are forbidden, ruling out the four parametrizations and . Four other parametrizations violate constraint (13b), namely, and , because the first ones require that and the second ones that . Upon examination, we found that parametrization is also impossible because it would also require that . The resulting solution sets are listed in Table 3.

v.2 Mixed CA and PCA

Mixed PCA rule
Table 3: Solution sets for the one-parameter version of PCA in Case II (cubic map with weak Allee effect) according to the possible parametrizations indicated in the first column. The solution sets are given as line segments (equations in symmetic form) in the space. The last column gives the mixed rule specification of the PCA.

The one-parameter PCA in Case II are examples of mixed PCA that have appeared in the literature before nazim (); p182q200 (); pxor (). In a mixed PCA, two or more deterministic CA rules are combined probabilistically such that sometimes one rule is applied, some other times another rule is applied to a given cell. Mixed PCA are closely related with asynchronous PCA nazim (): in an asynchronous PCA, one of the rules is the identity map . We can specify mixed PCA by telling which rules are applied with which probabilities. For example, the rule table for PCA , third line in Table 3, appears in Table 4. Reading the lines of the table as binary numbers (Wolfram’s encoding wolfram ()) we obtain that PCA is the mixed PCA . In p182q200 (), the authors studied the closely related mixed PCA . The two models differ in the probability for the transition , that is in PCA and in PCA . This single difference, however, implies that PCA has two absorbing configurations, the all- (empty lattice) and the all- (full lattice) configurations. PCA displays an extinction-survival phase transition at the critical point in the directed percolation universality class of critical behavior. PCA also has an extinction-survival phase transition between the empty lattice and a stationary state with finite positive density at , out of the interval in which its mean-field approximation yields the logistic growth model with weak Allee effect. Estimates of the critical points for the mixed PCA of Table 3 are given in the Appendix.

Table 4: Rule table for PCA , third line in Table 3. The first row lists the initial neighborhood and the other two rows give the state that the central cell reaches with the probability given in the first column. This is mixed PCA .

Vi Summary and conclusions

We explored the modeling possibilities of the most general right-left symmetric one-dimensional elementary PCA to the dynamics of a single-species unstructured population with nonoverlapping generations. Our results consist in the classification of all sets of parameters of the PCA that furnishes in first-order mean-field approximation either the logistic map for the density of a population or a cubic map that describes the dynamics of a population under weak Allee effects. The PCA that give rise to the logistic map, for example, are composed of microscopic transitions that describe individuals that struggle against overcrowded neighborhoods, that hamper their chances of reproducing and survival (small probabilities for transitions like and ) and prefer more capacious environments (large probabilities for transitions like and ). In the same manner, the PCA that furnish the cubic map for the dynamics of a population under weak Allee effects is made of microscopic transitions that describe individuals that prefer to team up as long as the neighborhood is not too crowded (relatively high probabilities for events like and ) but suffer from loneliness (smaller chances that and ). Examples were given in Sec. IV.2.

In Sec. V we obtained all one-parameter PCA that yield the logistic map for the dynamics of a population density in the mean-field approximation, both in the absence (Case I) and in the presence (Case II) of weak Allee effects. We found eight different PCA in the first case and seven in the second case. The PCA in Case II can be viewed as probabilistic mixtures of two different CA rules. All of them display phase transitions between an inactive () and an active () phase, however at critical points out of the range in which their single-cell mean-field approximation becomes the logistic growth with weak Allee effects. It would be interesting to investigate the phase transitions in these models irrespective of their connection with the logistic or cubic maps of this work, as well as their relationship with percolation processes and other known CA and PCA.

The analysis of the discrete maps found in this paper was left aside for two reasons. First, because the logistic map (2) is one of the most well studied dynamical systems ever, and we do not feel compelled to add anything to the extensive body of literature concerning its behavior may1974 (); hassell (); may1976a (); may1976b (); iterated (); devaney (). Second, because the dynamics of the full cubic map (10) and its interpretation in the context of population dynamics and Allee effects deserve a detailed investigation that we intend to carry out elsewhere. Note that although cubic maps have appeared in mathematical biology before annny (); cubic (); npbss (), in this paper they are obtained from microscopic models of population dynamics involving the behavior of individual agents. One should not expect that the bifurcations displayed by the logistic and cubic maps will appear in a PCA with the same mean-field equation. Mean-field models, as well as the maps, are “well stirred,” while the PCA dynamics is local. One way to recover the bifurcations is to add some reshuffling (long-range mixing) among the interacting particles or to rewire a fraction of the cells to explore the small-world effect (see pppe (); arXiv (); popcycles () for examples, discussion, and references).

Clearly, ecological complexity, even at the limited scale of a single species within a single patch, cannot be grasped by a one-dimensional PCA. The extension of the single-cell mean-field approximation to two-dimensional models, with two or more states per cell, together with automated search for meaningful combinations of parameters may prove fruitful.

Acknowledgements.
We thank library specialist Angela K. Gruendl (UIUC) for providing a copy of Ref. dobrushin () and one anonymous reviewer for constructive comments improving the manuscript. J. R. G. M. acknowledges the São Paulo State Research Foundation, FAPESP (Brazil), for partial support under grant 2015/21580-0; Y. G. acknowledges the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES (Brazil), for support from a Ph. D. scholarship.

*

Appendix A Phase transitions in the mixed PCA of Table 3

Here we obtain the critical points of the extinction-survival phase transition of the PCA listed in Table 3 from their mean-field Eq. (10) and small scale numerical simulations.

Mixed PCA rule
Table 5: Critical points for the single-parameter mixed PCA listed in Table 3 at the single-cell mean-field approximation () and from small-scale numerical simulations (). Uncertainties in the values of are approximately .

The critical point in the mean-field approximation can be calculated as follows. In the stationary state , and from (10) with we obtain that either or

(18)

where , , and are the variables introduced in Sec. IV.1. Equation (18) has solutions

(19)

Now we must find the critical points at which . The candidate roots of (19) are easily seen to be the points at which ; however, since is a removable singularity of (19), the candidate roots are actually obtained from the condition . The critical point is then given by the root between and and the mean-field stationary density profile is the solution of (19) with for (or, sometimes, ). The mean-field critical points calculated for the mixed PCA of Table 3 are given in Table 5, together with critical points estimated from simulations of PCA of cells with data averaged over samples of the stationary density.

With every continuous phase transition there comes the question of its universality class, i. e., of the critical exponents ruling its scaling behavior at criticality dickman (); haye (). We guess, on the basis of the directed percolation conjecture janssen (); grassberger (), that the critical behavior of the PCA of Table 3 all belong to the directed percolation universality class of critical behavior.

References

  • (1) J. von Neumann, Theory of Self-Reproducing Automata, W. A. Burks (ed.) (University of Illinois Press, Urbana, 1966).
  • (2) S. Wolfram, Statistical mechanics of cellular automata, Rev. Mod. Phys. 55, 601 (1983).
  • (3) T. Toffoli and N. Margolus, Cellular Automata Machines: A New Environment for Modeling (MIT Press, Cambridge, MA, 1987).
  • (4) B. Chopard and M. Droz, Cellular Automata Modeling of Physical Systems (Cambridge University Press, Cambridge, UK, 1998).
  • (5) N. Boccara, Modeling Complex Systems, 2nd. ed. (Springer, New York, 2010).
  • (6) A. Adamatzky, Reaction-Diffusion Automata: Phenomenology, Localisations, Computation (Springer, Berlin, 2013).
  • (7) N. B. Vasil’ev, R. L. Dobrushin and I. I. Pyatetskii-Shapiro, Markovskie protsessy na beskonechnom proizvedenii diskretnykh prostranstv, in Soviet-Japanese Symposium on Probability Theory, Khabarovsk, USSR, August 1969 (Akad. Nauk SSSR, Novosibirsk, 1969), Part 1, Vol. 2: Soviet Contributions, pp. 3–30 (in Russian).
  • (8) N. B. Vasil’ev, M. B. Petrovskaya and I. I. Pyatetskii-Shapiro, Modelling of voting with random error, Automat. Remote Control 30, 1639 (1970).
  • (9) N. B. Vasil’ev and I. I. Pyatetskii-Shapiro, The classification of one-dimensional homogeneous networks, Probl. Inf. Transm. 7, 340 (1971).
  • (10) O. N. Stavskaya, Gibbs invariant measures for Markov chains on finite lattices with local interaction, Math. USSR Sbornik 21, 395 (1973).
  • (11) A. L. Toom, Nonergodic multidimensional system of automata, Probl. Inf. Transm. 10, 239 (1978).
  • (12) P. Gach, G. L. Kurdyumov and L. A. Levin, One-dimensional uniform arrays that wash out finite islands, Probl. Inf. Transm. 14, 223 (1978).
  • (13) A. L. Toom, N. B. Vasilyev, O. N. Stavskaya, L. G. Mityushin, G. L. Kurdyumov and S. A. Pirogov, Discrete local Markov systems, in Stochastic Cellular Systems: Ergodicity, Memory, Morphogenesis, edited by R. L. Dobrushin, V. I. Kryukov and A. L. Toom (Manchester University Press, Manchester, 1990), pp. 1–182.
  • (14) A. Georges and P. Le Doussal, From equilibrium spin models to probabilistic cellular automata, J. Stat. Phys. 54, 1011 (1989).
  • (15) J. L. Lebowitz, C. Maes and E. R. Speer, Statistical mechanics of probabilistic cellular automata, J. Stat. Phys. 59, 117 (1990).
  • (16) P. Hogeweg, Cellular automata as a paradigm for ecological modeling, Appl. Math. Comput. 27, 81 (1988).
  • (17) J. Silvertown, S. Holtier, J. Johnson and P. Dale, Cellular automaton models of interspecific competition for space–the effect of pattern on process, J. Ecol. 80, 527 (1992).
  • (18) G. B. Ermentrout and L. Edelstein-Keshet, Cellular automata approaches to biological modeling, J. Theor. Biol. 160, 97 (1993).
  • (19) R. Durrett and S. A. Levin, Stochastic spatial models: A user’s guide to ecological applications, Philos. Trans. R. Soc. B 343, 329 (1994).
  • (20) B. S. Soares-Filho, G. C. Cerqueira and C. L. Pennachin, DINAMICA—A stochastic cellular automata model designed to simulate the landscape dynamics in an Amazonian colonization frontier, Ecol. Model. 154, 217 (2002).
  • (21) D. G. Green and S. Sadedin, Interactions matter-complexity in landscapes and ecosystems, Ecol. Complex. 2, 117 (2005).
  • (22) S. F. Railsback and V. Grimm, Agent-Based and Individual-Based Modeling: A Practical Introduction (Princeton University Press, Princeton, NJ, 2011).
  • (23) M. J. Simpson, A. Merrifield, K. A. Landman and B. D. Hughes, Simulating invasion with cellular automata: Connecting cell-scale and population-scale properties, Phys. Rev. E 76, 021918 (2007).
  • (24) S. T. Johnston, R. E. Baker, D. L. Sean McElwain and M. J. Simpson, Co-operation, competition and crowding: A discrete framework linking Allee kinetics, nonlinear diffusion, shocks and sharp-fronted travelling waves, Sci. Rep. 7, 42134 (2017).
  • (25) F. Bagnoli and R. Rechtman, Stochastic bifurcations in the nonlinear parallel Ising model, Phys. Rev. E 94, 052111 (2016).
  • (26) P.-F. Verhulst, Notice sur la loi que la population suit dans son accroissement, Corresp. Math. Phys. Obs. Brux. publ. par A. Quetelet 10, 113 (1838).
  • (27) L. Edelstein-Keshet, Mathematical Models in Biology (SIAM, Philadelphia, 2005).
  • (28) F. Brauer and C. Castillo-Chavez, Mathematical Models in Population Biology and Epidemiology, 2nd ed. (Springer, New York, 2012).
  • (29) A. Tsoularis and J. Wallace, Analysis of logistic growth models, Math. Biosci. 179, 21 (2002).
  • (30) R. M. May, Biological populations with nonoverlapping generations: stable points, stable cycles, and chaos, Science 186, 645 (1974).
  • (31) M. P. Hassell, J. H. Lawton and R. M. May, Patterns of dynamical behaviour in single-species populations, J. Anim. Ecol. 45, 471 (1976).
  • (32) R. May, Simple mathematical models with very complicated dynamics, Nature (London) 261, 459 (1976).
  • (33) R. M. May and G. F. Oster, Bifurcations and dynamic complexity in simple ecological models, Am. Nat. 110, 573 (1976).
  • (34) P. Collet and J.-P. Eckmann, Iterated Maps on the Interval as Dynamical Systems (Birkhäuser, Boston, 1980).
  • (35) R. L. Devaney, An Introduction to Chaotic Dynamical Systems, 2nd ed. (Addison-Wesley, Redwood, 1989).
  • (36) W. C. Allee, Animal Aggregations: A Study in General Sociology (University of Chicago Press, Chicago, 1931).
  • (37) B. Dennis, Allee effects: population growth, critical density and the chance of extinction, Nat. Resour. Model. 3, 481 (1989).
  • (38) R. Lande, Demographic stochasticity and Allee effect on a scale with isotropic noise, Oikos 83, 353 (1998).
  • (39) P. A. Stephens, W. J. Sutherland and R. P. Freckleton, What is the Allee effect?, Oikos 87, 185 (1999).
  • (40) F. Courchamp, L. Berec and J. Gascoigne, Allee Effects in Ecology and Conservation (Oxford University Press, Oxford, 2008).
  • (41) A. M. Kramer, B. Dennis, A. M. Liebhold and J. M. Drake, The evidence for Allee effects, Popul. Ecol. 51, 341 (2009).
  • (42) K. S. Korolev, J. B. Xavier and J. Gore, Turning ecology and evolution against cancer, Nat. Rev. Cancer 14, 371 (2014).
  • (43) D. S. Boukal and L. Berec, Single-species models of the Allee effect: Extinction boundaries, sex ratios and mate encounters, J. Theor. Biol. 218, 375 (2002).
  • (44) M. A. Lewis and P. Kareiva, Allee dynamics and the spread of invading organisms, Theor. Popul. Biol. 43, 141 (1993).
  • (45) C. M. Taylor and A. Hastings, Allee effects in biological invasions, Ecol. Lett. 8, 895 (2005).
  • (46) Y. Gruntfest, R. Arditi and Y. Dombrovsky, A fragmented population in a varying environment, J. Theor. Biol. 185, 539 (1997).
  • (47) F. Courchamp, T. Clutton-Brock and B. Grenfell, Inverse density dependence and the Allee effect, Trends Ecol. Evol. 14, 405 (1999).
  • (48) J. Bascompte, Extinction thresholds: insights from simple models, Ann. Zool. Fenn. 40, 99 (2003).
  • (49) H. A. Gutowitz, J. D. Victor and B. W. Knight, Local structure theory for cellular automata, Physica D 28, 18 (1987).
  • (50) D. ben-Avraham and J. Köhler, Mean-field -cluster approximation for lattice models, Phys. Rev. A 45, 8358 (1992).
  • (51) J. Marro and R. Dickman, Nonequilibrium Phase Transitions in Lattice Models (Cambridge University Press, Cambridge, UK, 1999).
  • (52) H. Hinrichsen, Non-equilibrium critical phenomena and phase transitions into absorbing states, Adv. Phys. 49, 815 (2000).
  • (53) F. Bagnoli and R. Rechtman, Phase transitions of cellular automata, arXiv:1409.4284 [cond-mat.stat-mech] (2014).
  • (54) H. Fukś and N. Fatès, Local structure approximation as a predictor of second-order phase transitions in asynchronous cellular automata, Nat. Comput. 14, 507 (2015).
  • (55) E. Domany and W. Kinzel, Equivalence of cellular automata to Ising models and directed percolation, Phys. Rev. Lett. 53, 311 (1984).
  • (56) J. R. G. Mendonça and M. J. de Oliveira, An extinction-survival-type phase transition in the probabilistic cellular automaton , J. Phys. A: Math. Theor. 44, 155001 (2011).
  • (57) J. R. G. Mendonça, The inactive-active phase transition in the noisy additive (exclusive-or) probabilistic cellular automaton, Int. J. Mod. Phys. C 27, 1650016 (2016).
  • (58) R. M. May, Bifurcations and dynamic complexity in ecological systems, Ann. N. Y. Acad. Sci. 316, 517 (1979).
  • (59) T. D. Rogers and D. C. Whitley, Chaos in the cubic mapping, Math. Model. 4, 9 (1983).
  • (60) R. M. May, Chaos and the dynamics of biological populations, Nucl. Phys. B (Proc. Suppl.) 2, 225 (1987).
  • (61) N. Boccara, O. Roblin and M. Roger, An automata network predator-prey model with pursuit and evasion, Phys. Rev. E 50, 4531 (1994).
  • (62) T. Tomé and M. J. de Oliveira, Role of noise in population dynamics cycles, Phys. Rev. E 79, 061128 (2009).
  • (63) H. K. Janssen, On the nonequilibrium phase transition in reaction-diffusion systems with an absorbing stationary state, Z. Phys. B 42, 151 (1981).
  • (64) P. Grassberger, On phase transitions in Schlögl’s second model, Z. Phys. B 47, 365 (1982).
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
106633
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description