
Epstein and Axtell's SugarscapeIntroduction
7 I0 s8 m$ ! i& e/ d' c6 P"Growing Artificial Societies" (Epstein & Axtell 1996) is a reference book for scientists interested in agentbased modelling and computer simulation. It represents one of the most paradigmatic and fascinating examples of the socalled generative approach to social science (Epstein 1999). In their book, Epstein & Axtell (1996) present a computational model where a heterogeneous population of autonomous agents compete for renewable resources that are unequally distributed over a 2dimensional environment. Agents in the model are autonomous in that they are not governed by any central authority and they are heterogeneous in that they differ in their genetic attributes and their initial environmental endowments (e.g. their initial location and wealth). The model grows in complexity through the different chapters of the book as the agents are given the ability to engage in new activities such as sex, cultural exchange, trade, combat, disease transmission, etc. The core of Sugarscape has provided the basis for various extensions to study e.g. norm formation through cultural diffusion (Flentge et al. 2001) and the emergence of communication and cooperation in artificial societies (Buzing et al. 2005). Here we analyse the model described in the second chapter of Epstein & Axtell's (1996) book within the Markov chain framework.Life and Death on the Sugarscape
; k5 X I# ~. T6 T4 g7 Y( wThe first model that Epstein & Axtell (1996) present comprises a finite population of agents who live in an environment. The environment is represented by a twodimensional grid which contains sugar in some of its cells, hence the name Sugarscape. Agents' role in this first model consists in wandering around the Sugarscape harvesting the greatest amount of sugar they can find. The Environment (i.e. the Sugarscape)
# T, }* I2 q% Y, ?) c2 ]% ?The environment is a 50×50 grid that wraps around forming a torus. Grid cells have both a sugar level and a sugar capacity c. A cell's sugar level is the number of units of sugar in the cell (potentially none), and its sugar capacity c is the maximum value the sugar level can take on that cell. Sugar capacity is fixed for each individual cell and may be different for different cells. The spatial distribution of sugar capacities depicts a sugar topography consisting of two peaks (with sugar capacity c = 4) separated by a valley, and surrounded by a desert region of sugarless cells (see Figure 1) –note, however, that the grid wraps around in both directions–.
 e ?, y5 o# n( : cFigure 1. Spatial distribution of sugar capacities in the Sugarscape. Cells are coloured according to their sugar capacity c: cells with c = 0 are white, whereas cells with c > 0 contain a yellow circle whose radius is proportional to the cell's capacity c. Sugar capacity ranges from 0 to 4. Source: Epstein & Axtell (1996). 
5 W; ?' V# i9 3 J% k) ~1 [8 wThe Sugarscape obbeys the following rule: Sugarscape growback rule Gα:At each cell, sugar grows back at a rate of α units per timestep up to the cell's capacity c.The Agents
1 W! W. `9 g; W$ s& b* NEvery agent is endowed with individual (lifelong) characteristics that condition her skills and capacities to survive in the Sugarscape. These individual attributes are: A vision v, which is the maximum number of cells the agent can see in each of the four principal lattice directions: north, south, east and west.
 A metabolic rate m, which represents the units of sugar the agent burns per timestep.
 A maximum age maxage, which is the maximum number of timesteps the agent can live.
7 \9 T! x5 d) q' SAgents also have the capacity to accumulate sugar wealth w. An agent's sugar wealth is incremented at the end of each timestep by the sugar collected and decremented by the agent's metabolic rate. Two agents are not allowed to occupy the same cell in the grid.
6 Q" R4 \1 i7 q: S. z Q6 qThe agents' behaviour is determined by the following two rules:Agent movement rule M:Consider the set of unoccupied cells within your vision (including the one you are standing on), identify the one(s) with the greatest amount of sugar, select the nearest one (randomly if there is more than one), move there and collect all the sugar in it. At this point, the agent's accumulated sugar wealth is incremented by the sugar collected and decremented by the agent's metabolic rate m. If at this moment the agent's sugar wealth is not greater than zero, then the agent dies.Agent replacement rule R:Whenever an agent dies it is replaced by a new agent of age 0 placed on a randomly chosen unoccupied cell, having random attributes v, m and maxage, and random initial wealth w0. All random numbers are drawn from uniform distributions with ranges specified in Table 1 below.Scheduling of events
 i1 \ H0 C6 fScheduling is determined by the order in which the different rules G, M and R are fired in the model. Environmental rule G comes first, followed by agent rule M (which is executed by all agents in random order) and finally agent rule R is executed (again, by all agents in random order). Parameterisation
8 c% S; S& q$ u7 % GOur analysis corresponds to a model used by Epstein & Axtell (1996, pg. 33) to study the emergent wealth distribution in the agent population. This model is parameterised as indicated in Table 1 below (where U[a,b] denotes a uniform distribution with range [a,b]).Lattice length L  50  Cells' sugar capacity distribution 
; z7 n2 F% z* y9 C5 ? o# D+ fSee Figure 1  Growth rate α  1  Number of agents N  250  Agents' initial wealth w0 distribution  U[5,25]  Agents' metabolic rate m distribution  U[1,4]  Agents' vision v distribution  U[1,6]  Agents' maximum age maxage distribution  U[60,100] 
Table 1. Model parameterisation. 
8 , e5 ]% i( YInitially, each cell of the Sugarscape contains a sugar level equal to its sugar capacity c, and the 250 agents are created at a random unoccupied initial location and with random attributes (using the uniform distributions indicated in Table 1 above).Sugarscape as a timehomogeneous Markov chain7 * B8 U3 ~ R& f5 K
Sugarscape parameterised as indicated above can be represented as a timehomogeneous Markov chain (THMC) defining the state of the system as a 50×50 array where each element corresponds to one cell of the grid and stores the following information: the cell's sugar level and, if the cell is occupied, the agent's vision, metabolic rate, wealth and life expectancy (i.e. the agent's maximum age minus the agent's current age). With this definition, the number of possible states is the number of possible combinations of these variables that can be reached by running the model. Note that the state space is finite since all the state variables can only take a finite set of values.
" c4 {) ?, m EThe system so defined is a THMC because given any particular state the probability distribution over the state space for the following timestep is fully determined. The state space is quite large, but this neither impedes nor limits our analysis; as usual, the important point is not to fully characterise the transition matrix but to adequately partition the state space as indicated in Proposition 2.Analysis+ g7 d& R, p9 j/ o8 b$ d( s
Here we argue that the state space of the induced THMC described in the previous section is irreducible and aperiodic (also called ergodic). The demonstration of this statement relies on the existence of what we call regenerating states. These are states where agents stay stationary and no sugar is collected. Any state where every agent has vision v = 1 and all (250) agents are placed in any of the 305 locations colured in red in figure 2 is regenerating. These red locations are the cells with sugar capacity c = 0 and whose neighbouring cells' sugar capacity c is also 0. Agents do not move because the only unoccupied cells they can see have no sugar, and no sugar is collected for the same reason. Any regenerating state can be succeeded by another regenerating state. To achieve that, one only has to place any newborn in one of the 305 locations coloured in red in figure 2. Thus, by moving from one regenerating state to another we can bring the environment back to a pristine state where every cell's sugar level is equal to its capacity, hence the adjective regenerating.
+ U V2 p _; s! Q* c& jSome regenerating states are particularly important for our analysis. These are called exterminating pristine states because they fulfil two additional conditions: Every agent dies (because every agent's sugar wealth w is no greater than its metabolic rate m).
 The state of the environment is such that every cell's sugar level is equal to its capacity.
3 v6 ]& ' A5 E4 WHaving explained what exterminating pristine states are, we prove that the THMC is irreducible, i.e. it is possible to go from any state i to any state j in a finite number of timesteps. The proof [1] rests on the following facts:  Let us call initial states those states that can be generated at the begginning of the simulation.
 Given our definition of the state space, any state j can be reached by running the model from some initial state j0.
 Any initial state j0 is reachable from any exterminating pristine state in one timestep. To achieve this (departing from the exterminating pristine state) one only has to create the population of newborns as in state j0.
 Any state i can lead to an exterminating pristine state, i.e. for every state i there exists an exterminating state extpristst such that p(ni)i,extpristst > 0 for some ni. Note that one can reach a regenerating state from any state i by giving every newborn vision v = 1 and placing it in any of the cells coloured in red in figure 2. (Note that sooner or later every agent must die because the maximum age maxage is 100.) Reaching an exterminating pristine state from a regenerating state is straightforward: one only has to organise a synchronised genocide by "growing" agents with the desired life span –something that can be done by appropriately setting the newborns' metabolic rate m and initial wealth w0 (and vision v = 1)–. A newborn with vision v = 1, metabolic rate m and initial wealth w0 placed on one of the cells painted in red in figure 2 will live Ceiling[w0/m] timesteps. Since this procedure allows us to "grow" agents with life spans whose greatest common divisor is 1, it is possible (Bézout's identity) to organise a synchronised genocide from any regenerating state.
) w* k0 r: a4 S* LHaving proved that the THMC is irreducible, it only remains to prove that it is also aperiodic. To prove this it suffices to find an aperiodic state –as indicated in section 8 of our paper, after definition 7–. Note that any exterminating pristine state extpristst is clearly aperiodic, since the greatest common divisor of the set of integers n such that p(n)extpristst,extpristst > 0 is 1, as explained in the third bullet point of the previous list.
2 A* p+ d; C2 p! u( K0 `& VThis concludes the proof that the induced THMC is irreducible and aperiodic, i.e. ergodic. As we have seen in the paper, in ergodic THMCs the probability of finding the system in each of its states in the long run is strictly positive and independent of the initial conditions, and the limiting distribution π coincides with the occupancy distribution π* (the longrun fraction of time that the system spends in each state). Hence, the limiting distribution of any statistic (e.g. the sugar wealth distribution) coincides with its occupancy distribution too, and does not depend on the initial conditions. Thus, we could approximate the limiting distribution of emergent wealth distributions in Sugarscape as much as we like by running just one simulation (with any initial conditions) for long enough.References* c2 F1 O; s; ^' i5 q! n
BUZING P, Eiben A & Schut M (2005) Emerging communication and cooperation in evolving agent societies. Journal of Artificial Societies and Social Simulation 8(1)2. http://jasss.soc.surrey.ac.uk/8/1/2.html.7 h9 I' S8 k& m9 C
EPSTEIN J M (1999) AgentBased Computational Models And Generative Social Science. Complexity 4(5), pp. 4160.) M, ]0 J D% `" u8 @! O
EPSTEIN J M & Axtell R L (1996) Growing Artificial Societies: Social Science from the Bottom Up. The MIT Press.
. J# _ / v2 O& u. b& r1 p; bFLENTGE F, Polani D & Uthmann T (2001) Modelling the emergence of possession norms using memes. Journal of Artificial Societies and Social Simulation 4(4)3. http://jasss.soc.surrey.ac.uk/4/4/3.html. 
