The symbiotic contact process: phase transitions, hysteresis cycles, and bistability

C. I. N. Sampaio Filho1∗, T. B. dos Santos1, N. A. M. Ara´ujo1,2, H. A. Carmona1, A. A. Moreira1, J. S. Andrade Jr.1 1Departamento de F´ısica, Universidade Federal do Cear´a,60451-970 Fortaleza, Cear´a,Brasil 2 Departamento de F´ısica, Faculdade de Ciˆencias,Universidade de Lisboa, P-1749-016 Lisboa, Portugal, and Centro de F´ısica Te´orica e Computacional, Universidade de Lisboa, P-1749-016 Lisboa, Portugal

We performed Monte Carlo simulations of the symbiotic contact process on different spatial di- mensions (d). On the complete and random graphs (infinite dimension), we observe hysteresis cycles and bistable regions, what is consistent with the discontinuous absorbing-state phase transition pre- dicted by mean-field theory. By contrast, on a regular square lattice, we find no signs of bistability or hysteretic behavior. This result suggests that the transition in two dimensions is rather continu- ous. Based on our numerical observations, we conjecture that the nature of the transition changes at the upper critical dimension (dc), from continuous (d < dc) to discontinuous (d > dc).

I. INTRODUCTION ous and belongs to the Directed Percolation universality class [3, 29]. The paper is organized as follows. In Section II we de- Improving our understanding of absorbing-state phase scribe the 2SCP model and derive the phase diagram and transitions in non-equilibrium systems is of great im- bistable regions in the mean-field regime. The simulation portance, not only because they occur in a variety of results for different underlying networks are presented in problems, but also display critical behavior and univer- Section III. In Section IV we draw some final conclusions. sality [1–3]. Absorbing states are those at which the dynamics is suppressed and no further changes occur. Examples of these states were found in models of epi- demic spreading, opinion formation [4], population dy- II. THE TWO-SPECIES CONTACT PROCESS namics [5], diffusion-limited aggregation [6, 7], traffic [8], and other non-equilibrium systems [9, 10]. Most of these In the 2SCP two species (A and B) are considered. models are characterized by a continuous phase transition Each site of a network is either empty or occupied by that falls into the Directed Percolation (DP) universal- only one A-particle, only one B-particle, or two different ity class [1, 11, 12]. However, absorbing phase transi- particles. At a given instant t, the state of the site i is tions might also be discontinuous. Examples include, the characterized by a pair of variables (σi(t), ηi(t)), where single-species restrictive contact process models, such as σi(t) = 1 (ηi(t) = 1) if the site is occupied by one A- the quadratic contact process (QCP) [13–20], the Ziff- particle (B-particle) or σi(t) = 0 (ηi(t) = 0) otherwise. Gulari-Barshad (ZGB) model for catalysis [21–23], and The transition from (0, ηi) → (1, ηi) occurs at rate λrA, ballistic deposition with anisotropic interactions [24, 25]. being rA the fraction of nearest neighbors (NN) occu- The two-species contact process 2SCP was introduced pied by A-particles, independently of ηi. In the same by Oliveira et al. [26] to study the effects of symbiotic way, the transition from (σi, 0) → (σi, 1) occurs at rate interactions in the contact process (CP) [27]. As in CP, λrB, with rB the fraction of NN occupied by B-particles, in 2SCP the dynamics of each species evolves through se- independently of σi. The annihilations (1, 0) → (0, 0) quences of creation and annihilation, but the rate of an- and (0, 1) → (0, 0) occur at rate of unity, while the ones nihilation is reduced in the presence of a second species. (1, 1) → (0, 1) and (1, 1) → (1, 0) occur at rate µ ≤ 1, Oliveira et al. have shown that, in the mean-field limit, i.e., the rate of annihilation is reduced on sites occupied the absorbing-state phase transition in 2SCP becomes by particles of both species (symbiosis). discontinuous for a wide range of the symbiotic interac- In the 2SCP the symbiotic interaction favors the per- tion strengths [26]. However, no evidence of a discontinu- sistence of the doubled occupied sites, and the critical ous transition in two dimensions has been observed from reproduction rate λc decreases as the parameter µ is re- numerical simulations on a square lattice [26, 28]. Here, duced. Moreover, a continuous phase transition in the we combine Monte Carlo simulations and a mean-field Directed Percolation universality class, is observed for arXiv:1806.11167v1 [cond-mat.stat-mech] 28 Jun 2018 calculation to study the nature of the referred transi- µ > 1/2. The upper critical dimension du of this model is tion. We focus on the stability of the steady state and the same of the ordinary CP, namely, du = 4. From the hysteretic behavior. In the mean-field limit, we confirm mean-field equations, it was previously found Ref. [26] that the absorbing-state phase transition might be dis- that the phase transition is discontinuous for µ < 1/2, continuous, while in two dimensions it is always continu- with µ = 1/2 identified as the tricritical point. In what follows, we study the stability of the steady state when the transition is discontinuous. The state where (σi, ηi) = (0, 0) for all i is absorb- ∗ Correspondence to: cesar@fisica.ufc.br ing. At λc(µ) the system undergoes an absorbing phase 2 transition [26, 28]. The mean-field theory for the 2SCP 1.5 was first derived in Ref. [26], assuming spatial homogene- Complete graph ity. Defining p0, pA, pB, and pAB as probabilities for a given site to be empty, occupied by only one A-particle, Random graph k = 20 only one B-particle, or by both species, respectively, they studied the effect of symbiotic interactions by seeking a 1.0 symmetric solution pA = pB = p, which obeys, dp = λ(1 − pAB − 3p)(p + pAB) + µpAB − p, (1) dt 0.5 and dp AB = 2λp(p + p ) − 2µp , (2) dt AB AB 0.0 using the constrain p0 = 1 − 2p − pAB. The absorbing 0.7 0.8 0.9 1.0 1.1 1.2 state corresponds to p = 0 and pAB = 0. The active sta- tionary solutions (dp/dt = 0 and dpAB/dt = 0) are given by FIG. 1: Hysteretic cycle for µ = 1/4, obtained from the mean- field calculation. Symbols represent simulations performed in complete graphs (circles) and random graphs (rectangles). µ h i p± = 2(1 − µ) − λ ± pλ2 − 4µ(1 − µ) , The highlighted arrows indicate the direction of the cycle. 2λ(1 − µ) The solution ρ = 0 (the red continuous line) corresponds to − − (3) the stable absorbing state. The solution ρ = 2p + 2pAB (the and dashed green line) is unstable for any value of λ. Finally, + + ρ = 2p + 2pAB represents the stable active solution (the λ(p±)2 dotted blue line). p± = . (4) AB µ − λp±

We define the order parameter as the density of parti- solution given by Eq. (7) is always unstable, while the  0,± 0,± cles ρ, which depends on both parameters p , pAB . stability of other solutions depends on the values of λ Therefore, taking into account the steady-state solutions, and µ. we calculate ρ in the mean-field limit, for all values of To analyze the stability of each solution, we consider the parameters λ and µ. We focus in the limit µ < 1/2, the Jacobian matrix. The system described by Eqs. (1) dp dpAB where the 2SCP undergoes a discontinuous phase transi- and (2) can be written as dt = f(p, pAB) and dt = tion [26]. Since only ρ ≥ 0 has physical meaning, there g(p, pAB). The Jacobian matrix is then are three solutions, namely, ∂f ∂f ! ∂p ∂pAB A(p, pAB) = ∂g ∂g . (8) 0 0 ∂p ∂pAB ρabsorbing = 2p + 2pAB, (5) The trace τ(λ, µ) and the determinant ∆(λ, µ) of the ma- + + trix A for each steady-state solution are ρactive = 2p + 2pAB, (6) τ(p0, p0 ) = λ − 1 − 2µ, (9) and AB

− − ρ = 2p + 2pAB, (7) 0 0 unstable ∆(p , pAB) = 2µ(1 − λ), (10) where the indexes “absorbing”, “active”, and “unstable” refer to the type of solution, as discussed below. p τ(p±, p± ) = 2µ − λ − 1 ± 2 4µ2 − 4µ + λ2, (11) One signature of a discontinuous transition is the pres- AB ence of hysteretic behavior. Figure 1 shows the hys- and teresis cycle obtained from the mean-field calculation for the case µ = 1/4. The solution ρ = 0 (continuous red ± ± 2 2 p 2 2 ∆(p , pAB) = 4µ − 4µ + λ ± (2µ − λ) 4µ − 4µ + λ . line) corresponds to the absorbing phase. The solutions (12) + + − − ρ = 2p + 2pAB (dotted blue line) and ρ = 2p + 2pAB This analysis can be summarized in Fig. 2, which shows (dashed green line) are physical if λ ≥ λc(µ) and λc(µ) < the (τ, ∆) stability diagram of the Jacobian matrix for p λ < 1, respectively, with λc = 2 µ (1 − µ). Otherwise, µ = 1/4 (the same parameters as in Fig. 1). The dia- ρ would admit complex values. For the case µ = 1/4, gram is divided into five regions. The regions I and II p we have λc = 3/4. However, as discussed next, the correspond to the stable and unstable nodes, respectively. 3

• creation attempt at a site occupied only by a single 0.8 species, with probability λNsδt;

I − 4Δ II 0.6 2 • creation attempt at a site occupied by both species, III IV τ a with probability 2λNdδt; 0.4 Δ 0.2 • annihilation of a particle at a site occupied only by a single species, with probability Nsδt; 0.0 b c • annihilation of a particle at a site occupied by both -0.2 V V species, with probability 2µNdδt. -0.4 -3 -2 -1 0 1 2 3 Since the probabilities are normalized, 1/δt = λNp+Ns+ τ 2µNd, where Np = Ns + 2Nd is the total number of par- ticles. Moreover, we take δt = 1/Np on the graphs of Np FIG. 2: (Color online) The (τ, ∆) stability diagram of the active nodes, such that a Monte Carlo step corresponds mean-field solutions for µ = 1/4. The regions I,II,III,IV, to one attempt event per node, on average [30]. Using and V correspond to, respectively, the stable nodes, unstable this algorithm, we follow the time evolution of the 2SCP. nodes, stable spirals, unstable spirals, and saddle points. The However, due to finite-size effects, the absorbing config- solution ρ = 0 (continuous red line) is stable if 0 ≤ λ ≤ 1, uration can always be reached, even for λ > λc(µ), what since, from this condition, the absorbing solution lies in the would immediately suppress the dynamics [30, 31]. To region I. For λ > 1 the absorbing solution lies in the region circumvent this problem, every time that an absorbing V , being therefore unstable. The active solution (dotted blue configurations is generated, we perform a spontaneous line) ρ = 2p+ +2p+ , lies in the region I if λ ≥ λ (µ = 1/4) = AB c creation of two particles, one of each species, in sites p3/4. The solution ρ = 2p− + 2p− (dashed green line) is AB chosen at random. Notice that this method guarantees unconditionally unstable, since for any value of λ this solution that there will be at least one particle of each species at lies in the region V . all times. A complete graph is defined as a structure where each The regions III and IV correspond to the stable and un- node interacts with all others. Figure 1 shows the den- stable spirals. Finally, the region V corresponds to the sity of particles for a complete graph (circles) and random 4 saddle points, namely, an unstable region. The solution graphs (rectangles) of N = 5 × 10 nodes. The hystere- ρ = 0 (dashed red line) is conditionally stable, since for sis cycle was obtained for a fixed value of µ = 1/4. For 0 ≤ λ ≤ 1, this solution belongs to the region I of stable each value of λ, we allowed the dynamics to evolve for nodes. However, for λ > 1, the absorbing solution is a ∆t MCS. Next, we increased and decreased λ by con- saddle node (region V ) and becomes unstable. The solu- stant intervals ∆λ, and simulated the dynamics starting tion ρ = 2p+ + 2p+ , corresponding to an active phase, from the previous configuration, for each value of λ [32]. AB p Each data point is an average over 102 independent con- is stable if λ ≥ λc = 3/4. Notice that in the range p figurations. As can be seen in the Fig. 1, the results 3/4 < λ < 1 either absorbing or actives phases are for the complete graph are in good agreement with the stable. This range, therefore, bounds the bistable region. − − mean-field solutions. Moreover, both in the complete and Finally, the solution ρ = 2p + 2pAB is unconditionally random graphs the nature of the hysteretic behavior is unstable, since for any value of λ this solution lies in the consistent with a discontinuous transition. region V of saddle nodes. Figure 3 shows the phase diagram of the 2SCP ob- tained for a complete graph and mean-field solutions, where active, bistable, and absorbing phases are iden- III. COMPLETE AND RANDOM GRAPHS tified. For µ > 1/2, the 2SCP undergoes a continuous absorbing-state phase transition. The solid symbols rep- In order to check the histeretic behavior predicted by resent the critical parameter λc obtained by the ratio cu- the mean-field calculation, we performed Monte Carlo mulant [2]. The continuous line represents the respective simulations of the symbiotic contact process on complete mean-field solution. For µ < 1/2, the system undergoes and random graphs. We considered the algorithm de- a discontinuous phase transition with a bistable phase, scribed in Ref. [26]. Accordingly, we define δt as the where both the active and absorbing phases are stable. time increment associated to a given step in the 2SCP The initial configuration here is an absorbing state for simulation and Ns and Nd as the number of sites occu- the open symbols and a fully occupied state for the solid pied by one or two species, respectively. At each time symbols. Notice the agreement between the simulated step, we choose one of the following events: data (symbols) and the mean-field solutions. 4

1.4 (a) (b) (c) 1.2 Active 1.0 Bistable 0.8 = 0.001 = 0.01 = 0.05 λ 0.6 (d) (e) (f) Absorbing 0.4 0.2 = 0.001 = 0.01 = 0.05 0.0 0.0 0.2 0.4 0.6 0.8 1.0 µ FIG. 4: Snapshots of the ordinary contact process (from a to c) and the symbiotic contact process (from d to f) on a square regular lattice at the steady state, shifted by the quantities FIG. 3: (Color online) The phase diagram of the symbi-  = 0.001, 0.01, 0.05 from the respective critical creation rate otic contact process. Three phases can be identified, Active, λ . Bistable, and Absorbing. The continuous, dashed and dot- c ted lines represent solutions of the mean-field equations. For µ > 1/2, the system undergoes a continuous phase transition between the active and absorbing phase. For µ < 1/2, the time necessary to reach the steady state diverges at the system describes a discontinuous phase transition, defining critical region in the thermodynamic limit, a system that a bistable region where the active and absorbing phases are undergoes a continuous phase transition to an absorbing both stables. The highlighted arrow indicates the direction phase should exhibit an hysteresis cycle when the control of the transition for the case µ = 0.25, where the bistable parameter is varied around its critical value [10, 32]. region is identified in the hysteretic cycle shown in Fig. 2. The absence of bistability for the 2SCP on regular The open and solid symbols represent the critical reproduc- square lattices can be studied by evaluating the role of tion rate λc obtained from simulations performed in complete 4 initial conditions on the stationary state, as described in graphs, with N = 5 × 10 . For the open symbols, the ini- Ref. [32]. Considering different values of the initial den- tial configuration is in the absorbing state, while for the solid sity ρ of particles, with fixed values of λ and µ, we can symbols the fully occupied system defines the initial configu- 0 ration. evaluate the stability of each state. Figure 6 shows the

IV. REGULAR SQUARE LATTICE

We now consider the 2SCP on regular square lat- tice. Figure 4 shows snapshots of the ordinary and symbiotic contact processes at the steady state for  = 0.001, 0.01, 0.05, where  = λ − λc and λc = 1.6488(1) [30] for the ordinary contact process (Figs. 4a-c) and λc(µ = 0.25) = 1.13730(5) [26] for the 2SCP (Figs. 4d- f). For both models, the same method described for the complete and random graphs was used to avoid the ab- sorbing state. Notice that, for any value of , the density for actives sites of the 2SCP is always greater than that for the ordinary contact process. To determine the order of the phase transition on regu- lar lattices, we analyze the hysteresis cycles. We employ the same algorithms used in Section III to produce the QS states and the hysteresis cycles. Figure 5 shows, for FIG. 5: Hysteresis cycles of the order parameter (ρ) in terms µ = 0.25, the order parameter for two cycles in the cre- of the creation rate λ, for µ = 0.25, on a square lattice of ation rate λ. For each cycle, the control parameter λ is linear size L = 200. Here we consider ∆t = 5 × 104 MCS (red varied in the range 1.0 ≤ λ ≤ 1.20 at constant intervals triangles) and ∆t = 10×104 MCS (blue circles) as time incre- ∆λ = 0.001. Note that, as we double the value of ∆t, the ments. For each cycle, the control parameter λ is increased width of the cycle is decreased. This indicates an absence and decreased in the range 1.0 ≤ λ ≤ 1.20 at the constant of hysteretic behavior for ∆t → ∞. Moreover, since the intervals ∆λ = 0.001. 5

1.0 1.0 Complete Graph µ = 0.25 (a) Random Graph µ = 0.25 (b) 1.0 Square Lattice µ = 0.25 (c) 〈k〉 = 4 λ − λc = 0.035ε λ − λc = 0.025ε λ − λc = 0.0127ε

ρ ρ = 2.00 0.5 ρ 0 ρ ρ = 2.00 0.5 ρ = 0.30 0 0.5 0 ρ = 0.20 ρ = 2.000 ρ = 0.15 0 0 0 ρ = 0.15 ρ = 0.200 ρ = 0.10 0 0 0 ρ = 0.10 ρ = 0.020 ρ = 0.05 0 0 0 ρ = 0.002 ρ0 = 0.02 0

0.0 1 2 3 4 5 6 7 0.0 1 2 3 4 5 6 7 0.0 1 2 3 4 5 6 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 t t t

FIG. 6: The dependence of the initial density ρ0 of particles on stationary state. Accordingly, we have fixed the values of λ and µ to identify a possible bistable behavior. a) Complete graph, µ = 0.25 and λ − λc = 0.035. b) Random graph, µ = 0.25 and λ − λc = 0.025. c) Regular square lattice, µ = 0.25 and λ − λc = 0.0127. results obtained on a regular square lattice, and on com- (QS), the simulations performed on complete graphs are plete and random graphs. The values of λ and µ are in in accordance with the mean-field solutions. Precisely, a range where a possible bistable region is identified. As these solutions reveal a discontinuous phase transitions, expected, for the complete and random graphs (Figs. 6a with hysteretic behavior and a bistable phase, where the and b) the stable phase depends on the initial condition absorbing and the actives phases are both stables. A considered, reflecting the presence of a bistable region bistable region also is detected on random graphs. Con- between the absorbing and active phases. However, on a sidering simulations on regular square lattices, we show square lattice (Fig. 6c) the active phase is always stable, the absence of hysteretic behavior and bistable regions, for all considered initial conditions. This indicates that being these properties consistent with a continuous phase bistability is not observed for 2SCP on two-dimensional transition. Moreover, we conjecture that the 2SCP al- lattices. Moreover, we conjecture that the 2SCP always ways undergoes a continuous phase transition for any have a continuous phase transition below the upper crit- spatial dimension below the upper critical dimension, but ical dimension. above one-dimensional systems. Acknowledgments

V. CONCLUSIONS

We have revisited the symbiotic contact process, where We thank the Brazilian agencies CNPq, CAPES, two species interact via a reduced death rate µ, that de- FUNCAP, and the National Institute of Science and scribes the dynamics of doubled occupied sites, but indi- Technology for Complex Systems for financial support. vidually, the dynamics of each species is described by an NAMA acknowledges financial support from the Por- ordinary contact process. We have shown that, by using tuguese Foundation for Science and Technology (FCT) a suitable method to generate the quasistationary state under Contract no. UID/FIS 00618/2013.

[1] G. Odor,´ Rev. Mod. Phys. 76, 663 (2004). [8] N. V. Antonov, M. Hnatiˇc, A. S. Kapustin, [2] R. Dickman and J. Marro, Nonequilibrium Phase Tran- T. Luˇcivjansk´y, and L. Miˇziˇsin, Phys. Rev. E 93, sitions in Lattice Models (Cambridge University Press, 012151 (2016). 2005), ISBN 978-0521019460. [9] R. Guti´errez,C. Simonelli, M. Archimi, F. Castellucci, [3] M. Henkel, H. Hinrichsen, and S. L¨ubeck, Non- E. Arimondo, D. Ciampini, M. Marcuzzi, I. Lesanovsky, Equilibrium Phase Transitions. Volume 1 (Springer- and O. Morsch, Phys. Rev. A 96, 041602 (2017). Verlag GmbH, 2009), ISBN 978-1-4020-8764-6. [10] K. A. Takeuchi, M. Kuroda, H. Chat´e,and M. Sano, [4] C. Anteneodo and N. Crokidakis, Phys. Rev. E 95, Phys. Rev. Lett. 99, 234503 (2007). 042308 (2017). [11] P. Grassberger, Z. Phys. B Cond. Matt. 47, 365 (1982). [5] N. Sarkar, Phys. Rev. E 92, 042110 (2015). [12] H. K. Janssen, Z. Phys. B Cond. Matt. 42, 151 (1981). [6] M. J. Kartha and A. G. Banpurkar, Phys. Rev. E 94, [13] X. Guo, D.-J. Liu, and J. W. Evans, Phys. Rev. E 75, 062108 (2016). 061129 (2007). [7] M. L. L. Iannini and R. Dickman, Phys. Rev. E 95, [14] D.-J. Liu, X. Guo, and J. W. Evans, Phys. Rev. Lett. 98, 022106 (2017). 050601 (2007). 6

[15] X. Guo, D.-J. Liu, and J. W. Evans, J. Chem. Phys. 130, [24] C. S. Dias, N. A. M. Ara´ujo,and M. M. Teloda Gama, 074106 (2009). Phys. Rev. E 90, 032302 (2014). [16] F. E. da Silva and M. J. de Oliveira, Comput. Phys. [25] N. A. M. Ara´ujo,C. S. Dias, and M. M. Telo da Gama, Commun. 183, 2001 (2012). J. Phys. Condens. Matter 27, 194123 (2015). [17] C. Varghese and R. Durrett, Phys. Rev. E 87, 062819 [26] M. M. de Oliveira, R. V. Dos Santos, and R. Dickman, (2013). Phys. Rev. E 86, 011121 (2012). [18] C. E. Fiore and G. T. Landi, Phys. Rev. E 90, 032123 [27] T. E. Harris, Ann. Probab. 2, 969 (1974). (2014). [28] M. M. de Oliveira, R. Dickman, Phys. Rev. E 90, 032120 [19] C. E. Fiore, Phys. Rev. E 89, 022104 (2014). (2014). [20] R. Pastor-Satorras, C. Castellano, P. Van Mieghem, and [29] S. L¨ubeck, Phys. Rev. Lett. 90, 210601 (2003). A. Vespignani, Rev. Mod. Phys. 87, 925 (2015). [30] R. Dickman, A. Vespignani, and S. Zapperi, Phys. Rev. [21] R. M. Ziff, E. Gulari, and Y. Barshad, Phys. Rev. Lett. E 57, 5095 (1998). 56, 2553 (1986). [31] R. S. Sander, G. S. Costa, and S. C. Ferreira, Phys. Rev. [22] M. M. de Oliveria, M. G. E. da Luz, and C. E. Fiore, E 94, 042308 (2016). Phys. Rev. E 92, 062126 (2015). [32] V. R. V. Assis and M. Copelli, Phys. Rev. E 80, 061105 [23] M. M. de Oliveira, S. G. Alves, and S. C. Ferreira, Phys. (2009). Rev. E 93, 012110 (2016).