Skip to main content
Advertisement
  • Loading metrics

BIO-LGCA: A cellular automaton modelling class for analysing collective cell migration

  • Andreas Deutsch,

    Roles Conceptualization, Funding acquisition, Methodology, Project administration, Supervision, Writing – original draft, Writing – review & editing

    Affiliation Centre for Information Services and High Performance Computing, Technische Universität Dresden, Dresden, Germany

  • Josué Manik Nava-Sedeño ,

    Roles Formal analysis, Methodology, Writing – original draft, Writing – review & editing

    manikns@ciencias.unam.mx

    Affiliations Centre for Information Services and High Performance Computing, Technische Universität Dresden, Dresden, Germany, Department of Mathematics, Universidad Nacional Autónoma de México, Mexico City, Mexico

  • Simon Syga,

    Roles Formal analysis, Methodology, Software, Visualization, Writing – original draft, Writing – review & editing

    Affiliation Centre for Information Services and High Performance Computing, Technische Universität Dresden, Dresden, Germany

  • Haralampos Hatzikirou

    Roles Conceptualization, Funding acquisition, Resources, Supervision, Visualization, Writing – original draft, Writing – review & editing

    Affiliations Centre for Information Services and High Performance Computing, Technische Universität Dresden, Dresden, Germany, Department of Mathematics, Khalifa University, Abu Dhabi, United Arab Emirates

Abstract

Collective dynamics in multicellular systems such as biological organs and tissues plays a key role in biological development, regeneration, and pathological conditions. Collective tissue dynamics—understood as population behaviour arising from the interplay of the constituting discrete cells—can be studied with on- and off-lattice agent-based models. However, classical on-lattice agent-based models, also known as cellular automata, fail to replicate key aspects of collective migration, which is a central instance of collective behaviour in multicellular systems. To overcome drawbacks of classical on-lattice models, we introduce an on-lattice, agent-based modelling class for collective cell migration, which we call biological lattice-gas cellular automaton (BIO-LGCA). The BIO-LGCA is characterised by synchronous time updates, and the explicit consideration of individual cell velocities. While rules in classical cellular automata are typically chosen ad hoc, rules for cell-cell and cell-environment interactions in the BIO-LGCA can also be derived from experimental cell migration data or biophysical laws for individual cell migration. We introduce elementary BIO-LGCA models of fundamental cell interactions, which may be combined in a modular fashion to model complex multicellular phenomena. We exemplify the mathematical mean-field analysis of specific BIO-LGCA models, which allows to explain collective behaviour. The first example predicts the formation of clusters in adhesively interacting cells. The second example is based on a novel BIO-LGCA combining adhesive interactions and alignment. For this model, our analysis clarifies the nature of the recently discovered invasion plasticity of breast cancer cells in heterogeneous environments.

Author summary

Pattern formation during embryonic development and pathological tissue dynamics, such as cancer invasion, emerge from individual intercellular interactions. In order to study the impact of single cell dynamics and cell-cell interactions on tissue behaviour, one needs to develop space-time-dependent on- or off-lattice agent-based models (ABMs), which consider the behaviour of individual cells. However, classical on-lattice agent-based models also known as cellular automata fail to replicate key aspects of collective migration, which is a central instance of collective behaviour in multicellular systems. Here, we present the rule- and lattice-based BIO-LGCA modelling class which allows for (i) rigorous derivation of rules from biophysical laws and/or experimental data, (ii) mathematical analysis of collective migration, and (iii) computationally efficient simulations.

Introduction

Systems biology and mathematical modelling is rapidly expanding its scope from the study of single cells to the analysis of collective behaviour in multicellular tissue- and organ-scale systems. In such systems, individual cells may interact with their environment (hapto- and chemotaxis, contact guidance, etc.) or with other cells (cell-cell adhesion, contact inhibiton of locomotion, etc.) and produce collective patterns exceeding the cells’ interaction range. To study collective behaviour in such systems theoretically and/or computationally, a mathematical model must be decided upon as a first step. State-continuous models describe the dynamics of cell densities. Their lack of resolution at the individual scale makes them inappropriate to investigate the role of individuals in collective behaviour. Agent-based models, on the other hand, are particularly suited to the study of collective behaviour in multicellular systems, as they resolve individual cell dynamics, and thus allow for the analysis of large-scale tissue effects of individual cell behaviour.

Various agent-based models have been developed to analyse tissue dynamics as a collective phenomenon emerging from the interplay of individual biological cells. In these models, cells are regarded as separate, individual units, contrary to continuum models, which neglect the discrete individual cell nature, and where tissue dynamics is derived from conservation and constitutive laws, drawing parallels to physical systems. Since agent-based models represent individual biological cells, distinct cell phenotypes can be taken into account, which may be fundamental for analysing the organisation at the tissue level. For example, it has been shown that cell-to-cell variability plays a key role in tumour progression and resistance to treatment [1]. Moreover, with the advance of high performance computing, agent-based models can be used to analyse in vitro systems at a 1:1 basis even for large cell population sizes.

Agent-based models can be classified into on-lattice and off-lattice models depending on whether or not cell movement is restricted to an underlying lattice (see [2] for references). Various off-lattice models exist to study different types of single and collective cell migration [38].

In lattice models, either (i) a lattice site may be occupied by many biological cells (e.g., [9]), (ii) a site may be occupied by at most one single biological cell, or (iii) several neighbouring lattice sites may represent a single biological cell (e.g., [10]). Model types (i) and (ii) can mimic volume exclusion effects, (iii) can qualitatively capture cell deformation and compression, while each of the three approaches can describe the effects of mechanical forces of one cell on its neighbour, or on a group of neighbouring cells to some extent.

Lattice models are equivalent to cellular automata (CA), which were introduced by J. v. Neumann and S. Ulam in the 1950s as models for individual self-reproduction [11]. A cellular automaton consists of a regular spatial lattice in which each lattice node can assume a discrete, typically finite number of states. The next state of a node solely depends on the states in neighbouring sites and a deterministic or stochastic transition function. One distinguishes CA with synchronous and asynchronous update. Cellular automata provide simple models of self-organising systems in which collective behaviour emerges from an ensemble of interacting “simple” components—being it molecules, cells or organisms [1214]. The interacting particle system (IPS) is an example of probabilistic CA with asynchronous update. Here, proliferation, death, and migration of biological cells are modeled as stochastic processes.

However, when modelling collective migration phenomena, classical CA and, particularly, IPS models have major drawbacks which are due to the strict volume exclusion and asynchronous update. Most importantly, these models fail to reproduce collective movement at unit density, since volume exclusion at high densities results in a “jammed state”. However, a fluidised state at unit density is an important case of collective migration especially in epithelial tissues. Furthermore, the asynchronous update in IPS models may lead to oscillating density spikes. For example, in an IPS model for persistent motion in a crowded environment, cells at the invasion front detach and leave gaps behind that are subsequently filled by following cells [15]. This is an artefact of the asynchronous update since invasion typically happens while cells stay connected. Moreover, classic CA models consider only cell position and not explicitly cell momentum, complicating the modelling of collective cell migration mediated primarily through changes in momentum, rather than density [16].

The lattice-gas cellular automaton (BIO-LGCA) introduced here is a cellular automaton in which lattice sites are updated synchronously, and which explicitly considers individual cell velocities. These features make the BIO-LGCA appropriate for modelling collective migration phenomena where cell interactions result in directional changes of velocity, and where high cell densities do not hamper movement.

The structure of the paper is as follows: we first formally define the BIO-LGCA model class. Then, we construct biophysical BIO-LGCA rules from microscopic Langevin models for selected cases of single and collective cell migration. Subsequently, we demonstrate how to generate data-driven BIO-LGCA rules from experimental single cell migration data (Fig 1). Furthermore, we show that, in specific cases, the biophysical and the data-driven approaches converge to the same functional form. For this case, we introduce several biologically relevant model examples. Finally, we present two examples of mean-field analysis. The first example allows to predict the formation of cluster patterns in simulations of a BIO-LGCA model with adhesive cell-cell interaction. The second example analyses a novel BIO-LGCA combining adhesive interactions and alignment to explain the recently discovered invasion plasticity of breast cancer cells in heterogeneous environments. We end with a critical discussion of the BIO-LGCA modelling framework.

thumbnail
Fig 1. BIO-LGCA modelling.

The key question is to identify the interaction rules underlying a particular collective phenomenon in a population of cells. BIO-LGCA interaction rules can be chosen ad hoc, extracted from experimental single cell migration data, or derived from biophysical equations for single cell migration.

https://doi.org/10.1371/journal.pcbi.1009066.g001

Materials and methods

A BIO-LGCA is defined by a discrete spatial lattice , a discrete state space , a neighbourhood and local rule-based dynamics.

Lattice

The regular lattice consists of nodes . Every node has b nearest-neighbours, where b depends on the lattice geometry. Each lattice node is connected to its nearest neighbours by unit vectors ci, i = 1, …, b, called velocity channels. In addition, a variable number of rest channels (zero-velocity channels) is allowed (Fig 2). The parameter K = a + b defines the maximum node capacity.

thumbnail
Fig 2. Lattice and neighbourhood in the BIO-LGCA.

Example of square lattice (left). The node state is represented by the occupation of velocity channels (right); in the example, there are four velocity channels c1, c2, c3, c4, corresponding to the lattice directions, and one “rest channel” c5. Filled dots denote the presence of a cell in the respective velocity channel; right: von Neumann neighbourhood (green) of the red node. Black dots represent interaction partners of the red dot. Gray dots lie outside of the interaction neighbourhood and do not interact with the red dot.

https://doi.org/10.1371/journal.pcbi.1009066.g002

Neighbourhood

The set , the neighbourhood template, defines the nodes which determine the dynamics of the node . Throughout this work, the neighbourhood will be assumed to be a von Neumann neighbourhood (Fig 2), defined as , but other neighbourhood choices are possible. In general, , specifies the set of lattice nodes which determine the dynamics of the state at node .

State space

The state space in LGCA is defined through the occupation numbers sj ∈ {0, 1}, j = 1, …, K. These occupation numbers represent the presence (sj = 1) or absence (sj = 0) of a cell in the channel cj within some node. Then, the configuration of a node is given by the state vector This reflects an exclusion principle which allows not more than one cell at the same node within the same channel simultaneously. As a consequence, each node can host up to K cells, which are distributed in different channels.

It is possible to consider more than one cell phenotype in the BIO-LGCA model. In this case each phenotype is indexed by . Then, the configuration vector is given by where |⋅| denotes the cardinality of a set. Each node will be able to support up to |Σ|K cells.

Two useful quantities for a configuration s at a given node are the total number of cells at the node n(s) and the momentum/node flux J(s), defined as where nσ(s) is the σ number of cell phenotypes.

Dynamics

In general, in cellular automata a new lattice configuration is created according to a local rule that determines the new state of each node in terms of the current states of the node and the nodes in its neighbourhood. In order to determine a new lattice configuration, the local rule is applied independently and simultaneously at every node r of the lattice. Mathematically, in probabilistic cellular automata, the local rule can be interpreted as a transition probability P(ss′) to replace a current configuration s by a new node configuration s′.

In a BIO-LGCA, local rules are composed of a combination of operators for stochastic reorientation (), phenotypic switching (), and stochastic cell birth and death (), as well as a deterministic propagation operator () (see Fig 3). The propagation and reorientation operators together define cell movement, while phenotypic switching allows cells to stochastically and reversibly transition between phenotypes. In a BIO-LGCA, the stochastic operators are applied sequentially to every node, such that the transition probability can be expressed as where are the transition probabilities of the corresponding operator. In this way, a post-interaction node configuration s′ is defined as the resulting node configuration after subsequent application of the stochastic operators, i.e. . Subsequently, the deterministic propagation operator is applied: cells occupying velocity channels at the node, i.e. moving cells, are translocated to neighbouring nodes in the direction of their respective velocity channels. The time step increases once the propagator operator has been applied. Accordingly, the dynamics of the BIO-LGCA can be summarised by the stochastic microdynamical equation (1)

thumbnail
Fig 3. Operator-based dynamics of the BIO-LGCA.

Propagation , reorientation , phenotypic switch , and birth/death operators (top); conservation laws maintained by the different operators (middle); sketches of the operator dynamics (bottom), see text for explanations.

https://doi.org/10.1371/journal.pcbi.1009066.g003

Results

BIO-LGCA rule derivation

In classical cellular automata, transition probabilities are typically chosen ad hoc. Here, we show that BIO-LGCA rules can also be derived from biophysical equations of motion and from experimental data. In the following, we disregard birth/death processes and phenotypic transitions. Accordingly, the corresponding BIO-LGCA model is specified exclusively by its reorientation probability (cp. subsection “Dynamics” and Fig 3). We first present a method to derive the BIO-LGCA reorientation probability from a Langevin model for cell migration [17]. A similar procedure has also been used to derive rules for CA models describing molecular movement in crowded environments [18]. Secondly, we sketch a method to obtain the reorientation probability from experimental observations [19]. In certain cases, independent of the applied rule derivation method, the functional form of the transition probability will be the same (Fig 4).

thumbnail
Fig 4. Rule generation in BIO-LGCA models.

A: Starting from the Langevin equations of a self-propelled particle model, the interaction rule can be obtained from the steady-state distribution of the associated Fokker-Planck equation. B: Alternatively, experimental observables can be used as input for the maximum caliber theory to derive the probabilities of cell tracks and the corresponding interaction rule.

https://doi.org/10.1371/journal.pcbi.1009066.g004

Reorientation dynamics derived from biophysical equations of motion.

It has been shown that various types of cell migration can be described by self-propelled particle models (SPPs). These off-lattice models are defined by a set of stochastic differential equations governing the motion of discrete cells in an overdamped situation, e.g in a highly viscous medium. The stochastic differential equations encoding individual cell motion (as introduced in [20]) are Langevin equations, where a stochastic variable θm describes the orientation of the m-th cell in the system which moves with a constant speed and orientation θm(t) ∈ [0, 2π) varying according to a given interaction potential and influenced by noise. The Langevin equations of motion read [21] (2a) (2b) where is the cell’s spatial position, is a unit vector pointing in the direction of the cell’s displacement, is a relaxation constant, and ξm(t) is a white noise term with zero mean and correlation 〈ξm(t1) ξn(t2)〉 = 2Dθ δ(t2t1)δm,n. The heart of the model is the potential , where N is the number of cells within the m−th cell’s neighbourhood of interaction, and {xk} and {θk} are the sets of all neighbouring cells’ positions and orientations, respectively. This potential encodes the biophysical mechanisms that dictate the cell’s reorientation. Here, we assume that the reorientation potential only depends on the orientations of neighbouring cells, though a dependence on cell positions is also possible [22].

The probability density function of the stochastic variable θm governed by the Langevin equations is given by the Fokker-Planck equation (3) If we assume fast relaxation times for the solution of the Fokker-Planck equation, then one can choose the stationary solution as the probability of cell m to have an orientation θm, i.e. (4) where β = γ/Dθ and C0 is an integration constant. Applying a discretisation of the particle orientations and under the assumption that the relaxation time of the Fokker-Planck solution is smaller than the BIO-LGCA time step and that the channel occupations in the LGCA model are independent one can derive the reorientation probability (5) where and is a normalisation constant in which the integration constant C0 has been absorbed [17].

Collective migration.

SPP models for collective cell migration often use interaction potentials of the following form (6) where amplitude C (interaction strength) and shift φ (optimal orientation) may depend on the positions and/or orientations of all cells within the neighbourhood of interaction (including the central cell). Using trigonometric identities, the reorientation potential can then be rewritten as (7) where G({xk}, {θk}) is called the local director field, whose norm and argument are, respectively, ‖G({xk}, {θk})‖ = C({xk}, {θk}) and arg [G({xk}, {θk})] = φ({xk}, {θk}). Substituting Eq 7 in Eq 5, and using the linearity of the internal product, the transition probability of the reorientation operator is (8) where is the local director field of the neighbourhood configuration, and J(s) is the node flux, as described previously.

More generally, whenever the reorientation potential can be expressed as (9) with , the argument of the exponential in the transition probability can be expressed as an internal product of two vectors. In the specific case of n = 2, using trigonometric functions, one arrives at the transition probability (10) where N(s) is the local nematic alignment vector, which is defined as Thus, the reorientation probabilities have the same general form whenever the interaction potential is conservative (i.e. time-independent) and consists of a pairwise comparison between the angles and/or positions of neighbouring cells.

Data-driven rules.

Besides from Langevin equations defining SPP models, it is also possible to derive BIO-LGCA reorientation probabilities from experimental data (Fig 4). For this, we assume that certain observables, e.g. an autocorrelation function, have been obtained from primary migration data. Then, we can use the maximum caliber (or maximum path entropy) formalism [23] to obtain the most unbiased probability distribution of paths that reproduces the experimental observables. This translates into maximising the following functional where PΓ is the probability of a cell to follow a certain spatial trajectory Γ, β(j) and λ are Lagrange multipliers, is the value of the optimised observable at time step j depending on the configuration of the lattice , and Ej is the value of the experimental observable at time step j. The first term of the functional is the entropy, which we want to maximise. The second term restricts the resulting probabilities to match the experimental observation. Since we assume the experimental observable, Ej to be a time-dependent function, a Lagrange multiplier β(j) is needed for every time step j. The last term guarantees the normalisation of probabilities, which requires an additional Lagrange multiplier, λ.

The optimisation of this functional yields an optimal value for the path probabilities , where the value of β(j) is such that .

If the process is Markovian, then one may decompose the path probability into individual channel occupation probabilities for each time step k, as (11) where Z is a normalisation constant and the optimised observable is dependent on the occupancy of the i-th channel of the node and conditioned to a certain configuration of its interaction neighbourhood. For example, if the observation is the autocorrelation function g(t) = 〈v0vt〉, where vt denotes the normalised velocity of a cell at time t, determined from experimental data, then the corresponding channel occupation probabilities are found to be (12) where z is the normalisation constant for the transition probability, d is the dimension of space, and is the initial orientation of the cell.

If we assume independence among cells within the same node, we arrive at a reorientation probability of the form (13)

Note that, if both the experimental observation and optimised observable are time independent, then the Lagrange multiplier β(k) = β is also time independent, and the transition probabilities are given by (14)

Furthermore, if , then Eq 14 reduces to Eq 8.

In conclusion, we can construct rules of the BIO-LGCA directly from experimental observables and the structure of these rules is the same as in our ad-hoc and SPP model-derived rules.

BIO-LGCA rules for single and collective cell migration

Here, we present key examples of transition probabilities corresponding to reorientation operators, which model important elementary single-cell and collective behaviours. Note that several of these examples’ transition probabilities have the general form of Eq 8.

Random walk. Random walks are performed by cells such as bacteria and amoebae in the absence of any environmental cues. Random walk of cells can be modeled by a reorientation operator with the following transition probabilities: (15) This rule conserves mass, i.e. cell number.

Chemotaxis. Chemotaxis describes the dependence of individual cell movement on a chemical signal gradient field. Accordingly, spatio-temporal pattern formation at the level of cells and chemical signals can be observed. Chemotactic patterns result from the coupling of different spatio-temporal scales at the cell and the molecular level, respectively.

To mimic a chemotactic response to the local signal concentration, we define the signal gradient field (16) where . Chemotaxis can be modeled through a reorientation operator with transition probabilities given by (17) where β is the chemotactic sensitivity of the cells.

With large probability, cells will move in the direction of the external chemical gradient Gsig.

Haptotaxis. We consider cell migration in a static environment that conveys directional information expressed by a vector field A biologically relevant example is haptotactic cell motion of cells responding to fixed local concentration differences of adhesion molecules along the extracellular matrix (ECM). In this example, the local spatial concentration differences of integrin ligands in the ECM constitute a gradient field that creates a “drift” E [24].

The transition probabilities associated to the reorientation operator, given a vector , is given by where .

In this case, cells preferably move in the direction of the external gradient E.

Contact guidance. We now focus on cell migration in environments that convey orientational, rather than directional, guidance. Examples of such motion are provided by neutrophil or leukocyte movement through the pores of the ECM, the motion of cells along fibrillar tissues, or the motion of glioma cells along fiber track structures. Such an environment can be represented by a second rank tensor field that encodes the spatial anisotropy along the tissue. In each point, the corresponding tensor informs the cells about the local orientation and strength of the anisotropy and induces a principal (local) axis of movement. Thus, the environment can again be represented by a vector field Contact guidance can be modeled through a reorientation operator with transition probabilities defined as

Collective cell migration.

Several kinds of organisms, as well as biological cells, e.g. fibroblasts, can align their velocities globally through local interactions. Here, we introduce a reorientation operator where the local director field is a function of the states of several channels and nodes, reflecting the influence of neighbouring cells during collective cell migration (Fig 5). (18) where is the local cell momentum. This particular reorientation probability triggers polar cell alignment [25].

thumbnail
Fig 5. Basic interactions with neighbourhood impact.

Node configuration (red) before and after application of stochastic interaction rule: cell-cell attraction (top), polar cell alignment (bottom). Gray dots represent cells outside the interaction neighbourhood.

https://doi.org/10.1371/journal.pcbi.1009066.g005

Attractive interaction.

Biological cells can interact via cell-cell adhesion, through cadherin interaction along filopodia, for example. Agent attraction/adhesion can be modeled with a reorientation operator with the following probability distribution. (19) where is the density gradient field.

This reorientation probability favors cell agglomeration (Fig 5). A similar rule has been introduced in [26].

Mean-field analysis of a BIO-LGCA model with attractive interaction

We here demonstrate the mean-field analysis of the BIO-LGCA model for attractive interaction (cp. Eq (19)). This analysis allows to predict collective behaviour in the form of cell aggregation. In particular, we calculate the critical sensitivity βc, such that aggregation occurs for β > βc, while a homogeneous initial condition is stable for β < βc. Under “mean-field” we understand that we neglect correlations between the occupation numbers of different channels and that we approximate the mean value of any function f of a random variable X by the function evaluated at the mean value of the random variable, i.e. 〈f(X)〉 ≈ f(〈X〉). As we are interested in the onset of aggregation from a homogeneous initial state with low density and weak interaction β ≪ 1 we can linearise the transition probabilities. We further assume that there is at most one cell at each node and therefore only consider single cell transitions (n = 1). For the partition function Z we then obtain (20) due to the lattice symmetry. For the single cell transition probability we obtain (21) Since the transition probability only depends on the number of cells at the neighbouring nodes, but not on their distribution on the channels, we analyse the mean local density (22) According to the propagation rule, the cell number n(r, k + 1) is given by (23) We calculate the expected value under the mean-field assumption in terms of numbers of cells n(r) at node , and the number of cells in the neighbourhood of as (24) As in the low-density regime , we can use the single-cell transition probability Eq (21) and the factorising probability distribution under our mean-field assumption to obtain (25) To proceed, we assume a one-dimensional lattice, where b = 2, c1,2 = ±1 with a rest channels to obtain the finite-difference equation (FDE) (26) This FDE can be analysed by means of linear stability analysis. To do this, we first rewrite Eq (26) in terms of the density difference Δρ(r, k) ≔ ρ(r, k + 1) − ρ(r, k), which we linearise around the steady state for a small perturbation of the form (27) (28) We now apply the discrete Fourier transform (29) and obtain the mode-dependent FDE (30) (31) using 2 cos x = eix + eix and cos 2x = 2 cos 2 x − 1. Note that the system becomes unstable when the r.h.s. of the equation is larger than 0, meaning the perturbation grows, while it is stable with a decreasing perturbation if it is smaller than 0. To find the dominant Fourier mode q that maximises the r.h.s. we assume an infinite lattice L → ∞ such that we can define the quasi-continuous wave number and use the derivative with respect to κ to calculate the maxima of the bracket on the r.h.s. of Eq (31), (32) (33) (34) Note that we divided by sin κ here, neglecting the trivial solutions κ = 0, π. Clearly the solution is only valid for and it is the dominant wave number in this case. This in turn allows us to define the critical parameter combination . We can also calculate the dominant wave length in dependence of as , which diverges at and approaches λc → 4 for . In conclusion, our mean-field analysis allows us to predict the onset of the instability of the homogeneous steady state in dependence on density ρ and sensitivity β as well as the wave length of the observed patterns without the need for computer simulations, as seen in Fig 6.

thumbnail
Fig 6. Pattern formation in the LGCA aggregation model.

Left: critical wave length obtained from the mean-field analysis. The critical wave length diverges for , and . Right: emergence of a periodic pattern from a homogeneous initial state. The horizontal distance of the orange dashed lines is equal to the critical wave length predicted by mean-field analysis. Parameters: .

https://doi.org/10.1371/journal.pcbi.1009066.g006

Explaining invasion plasticity of breast cancer

Progression of cancer depends on changes at the individual cell level and interactions of healthy and malignant cells. Various CA models have been suggested for selected aspects of cancer progression (see e.g. [27, 28]). Here, we shed light on the invasion plasticity of growing tumours. Solid tumours have been observed to switch between jammed (immobile, glass-like), highly correlated collective movement (active nematic phase) and single-cell-disseminating, uncorrelated (gas-like) states, which is often referred to as invasion plasticity [2931]. These behaviours result from an interplay between cell-cell and cell-ECM interactions, which have been recently studied using a BIO-LGCA model [16]. Computational simulations showed remarkable similarity to the experimental mammary gland carcinomas. Here, we generalise the computational results in [16] by deriving an analytical theory for the observed phase transitions.

We will consider a 1D system (akin to cells moving inside an ECM duct). In this case, cells can only move in the positive or negative direction, thus the velocity channels are given by c1 = 1 and c2 = −1. As in the original model, we incorporate the effect of cell-cell adhesion as attractive and velocity alignment interactions. Additionally, we mimic steric interactions between cells by an increased tendency of cells to remain in rest channels if their neighbours occupy rest channels as well. However, while in the aforementioned elementary models the relative strengths of these interactions were assumed to be fixed, and their absolute strengths were varied by a single parameter, we here treat these mechanisms as independent, to obtain the full spectrum of possible migration modes. Our model considers b = 2 velocity channels and a rest channels, for a total of K = 2 + a channels. Under these assumptions, the BIO-LGCA transition probabilities are given by (35)

The energy function is divided into three contributions

The aggregation energy is given by the logistic density gradient, , where is the post-interaction flux, and the logistic density gradient (36) where ncrit is a parameter controlling the maximum density of cell aggregates, thus modelling the homeostatic cell density.

The alignment energy corresponds to the collective cell migration interaction (Eq 18), here given by , where the post-interaction flux is as before and the neighbourhood flux (37)

Finally, the resting energy is given by , where the local resting cell density is and the neighbourhood resting cell density is .

To facilitate further analysis, we assume that the density is low, and that there is at most one cell at each node. Then, under the mean-field approximation the dynamics of the BIO-LGCA model is given by the lattice-Boltzmann (LBE) equation (38) where fj(r, k) ≔ 〈sj(r, k)〉, , and is the single particle probability given by (39)

The homogeneous steady state of the LBE, where the density, , occupation of velocity channels, fv, and rest channels, fr, is constant and identical in every lattice node is given by (40) (41) where (42) The steady states can now be calculated numerically. Subsequently, We linearise the LBE around the numerically obtained steady states, and apply a discrete Fourier transform with respect to the spatial coordinates to eliminate dependencies on spatial increments. Then, the stability of the steady states is given by the eigenvalues, Λ, of the Boltzmann propagator matrix (43) where q ∈ [0, 2π) is the wavevector, and fm(r + cm, k + 1) is given by the LBE.

The maximum of the modulus of the Boltzmann propagator eigenvalues, |Λ| gives information on the wavelength of spatial patterns observed in the model, while the argument of the eigenvalues, arg(Λ), defines the propagation velocity of these patterns. Calculating these numerically, we find the phase space shown in Fig 7.

thumbnail
Fig 7. Migration modes in the BIO-LGCA model.

A: Phase diagram for low (left) and high (right) values of βrest. B-E: Snapshots of the different phases of cell density (left) and local flux (right): B: diffusive motion, if all sensitivities β are low: cells interact weakly with one another and with the ECM; C: collective motion for high βalign; D: pattern formation for high βagg; E: jammed state for high βrest.

https://doi.org/10.1371/journal.pcbi.1009066.g007

We can identify four distinct regions in the parameter space.

  1. Diffusive (gas-like) phase. In this region, cells move freely and diffuse within the ECM duct. In the phase space, this corresponds to the region of the parameter space with low βalign, βagg, and βrest values, see Fig 7B.
  2. Collective motion (active nematic) phase. This is the region with high βalign. In this region, cells move collectively into the same direction, see Fig 7C.
  3. Aggregation phase. In this region, cells arrange themselves in static clusters and form cellular patterns within the duct. This corresponds to the region with high βagg, see Fig 7D.
  4. Jammed (glass-like) phase. This corresponds to the regime with high βrest. In this region, cells neither form patterns nor do they move collectively. However, almost all cells are in a resting channel and the dynamics is frozen, similar to a crystalline solid, see Fig 7E.

In conclusion, we can reproduce the prime modes of collective migration using three mechanisms: alignment of velocities, aggregation and an inhibition of motion by non-migratory cells. We here treated these mechanisms as independent, however, in reality, they are the result of a complex interplay of cell-cell adhesion, cellular contractility, and intercellular signaling. Identifying the regulation of these cellular properties is a topic of ongoing research.

Discussion

In contrast to “continuum systems” and their canonical description with partial differential equations, there is no standard model for describing interactions of discrete objects, particularly interacting and migrating discrete biological cells. In this paper, the BIO-LGCA is proposed as a lattice-based model class for a spatially extended system of interacting cells. We provided various examples of BIO-LGCA models for homogeneous cell populations, i.e. cells are assumed to be of the same phenotype and not to change their behaviour. Examples include haptotaxis, chemotaxis, contact guidance and collective migration. However, the BIO-LGCA idea can be expanded to heterogeneous populations and environments, e.g. cells may dynamically regulate their adhesivities and/or may interact with a heterogeneous non-cellular environment [32]. BIO-LGCA models have already been used in the study of several biological processes including angiogenesis [33], bacterial rippling [34], active media [35], epidemiology [36] and various aspects of tumour dynamics [16, 28, 32, 3739].

BIO-LGCA models are appropriate for low and moderate cell densities. For higher densities, e.g. in epithelial tissues, cell shape may matter and other models, such as the Cellular Potts model, might be better choices (see [2, 40] for reviews of on- and off-lattice models). It is also important to be aware of lattice artefacts due to the spatial discretisation inherent in every cellular automaton model, e.g. the checkerboard artefact (cp. [41]). In two spatial dimensions, the hexagonal lattice possesses less artefacts than the square lattice. A major advantage of BIO-LGCA models compared to other on- and off-lattice cell-based models for interacting cell systems, such as interacting particle systems, e.g. [42], asynchronous cellular automata, e.g. [4345], further cell-based models [46] or systems of stochastic differential equations [47], is their computational efficiency, and their synchronicity and explicit velocity consideration, which enables the modelling of moderately packed cell collectives while minimising model artefacts.

The BIO-LGCA framework facilitates theoretical analysis of collective behaviour [41]. In many cases, the collective behaviour of the BIO-LGCA can be analysed using reasonable approximations, such as a spatial mean-field description resulting on a partial differential equation [41, 4850]. Collective behaviour at the tissue scale includes cell density patterns and the dynamics of moving cell fronts [51, 52]. Cell density patterns can often be assessed experimentally and provide, therefore, a means to relate BIO-LGCA model predictions to experimental observations.

Meanwhile, off-lattice models formulated as stochastic differential equations for moving and interacting cells have been derived from individual-based BIO-LGCA models [53]. Individual-based BIO-LGCA are lattice-based models that allow to distinguish and track individual cells which is not possible in classical LGCA models (e.g. [48]). We have also defined a “boson-type” LGCA which contrary to the BIO-LGCA does not possess an exclusion principle with respect to the velocity channels and facilitates mathematical analysis [54]. To model cell migration involving steric effects, the model has to be extended to discourage individuals moving into the direction of steeply increasing cell density gradients.

The BIO-LGCA modelling strategy is “modular” starting from “basic model moduli”, which include those explored in this paper such as alignment, attraction, contact guidance, hapto- and chemotaxis. Coupling the moduli is required to design models for complex biological problems. The focus of future activities is the analysis of further model combinations for selected biological problems, which are not necessarily restricted to cells but could also comprise interactions at subcellular and tissue scales. The resulting multi-scale models will contain a multitude of coupled spatial and temporal scales and will impose significant challenges for their analytic treatment.

Acknowledgments

The authors thank the Centre for Information Services and High Performance Computing at TU Dresden for providing an excellent infrastructure.

References

  1. 1. Bertaux F, Stoma S, Drasdo D, Batt G. Modeling dynamics of cell-to-cell variability in TRAIL-induced apoptosis explains fractional killing and predicts reversible resistance. PLoS Comput Biol. 2014;10(10):e1003893. pmid:25340343
  2. 2. Liedekerke PV, Palm MM, Jagiella N, Drasdo D. Simulating tissue mechanics with agent-based models: concepts, perspectives and some novel results. Comp Part Mech. 2015;2:401–444.
  3. 3. Plank MJ, Simpson MJ. Models of collective cell behaviour with crowding effects: comparing lattice-based and lattice-free approaches. J R Soc Interface. 2012;9:2983–2996. pmid:22696488
  4. 4. Johnston ST, Simpson MJ, Plank MJ. Lattice-free descriptions of collective motion with crowding and adhesion. Phys Rev E. 2013;88:062720. pmid:24483499
  5. 5. Newman TJ, Grima R. Many-body theory of chemotactic cell-cell interactions. Phys Rev E. 2004;70:051916. pmid:15600665
  6. 6. Middleton AM, Fleck C, Grima R. A continuum approximation to an off-lattice individual-cell based model of cell migration and adhesion. J Theor Biol. 2014;359:220–232. pmid:24972155
  7. 7. Matsiaka OM, Penington CJ, Baker RE, Simpson MJ. Continuum approximations for lattice-free multi-species models of collective cell migration. J Theor Biol. 2017;422:1–11. pmid:28400108
  8. 8. Grima R, Schnell S. A mesoscopic simulation approach for modeling intracellular reactions. J Stat Phys. 2007;128:139–164.
  9. 9. Radszuweit M, Block M, Hengstler J, Schöll E, Drasdo D. Comparing the growth kinetics of cell populations in two and three dimensions. Phys Rev E. 2009;79(5):051907. pmid:19518480
  10. 10. Graner F, Glazier JA. Simulation of biological cell sorting using a two-dimensional extended Potts model. Phys Rev Lett. 1992;69(13):2013. pmid:10046374
  11. 11. Burks AW. Essays on Cellular Automata. University of Illinois Press, Urbana IL; 1970.
  12. 12. Casti JL. Alternate Realities. New York: John Wiley; 1989.
  13. 13. Chopard B, Droz M. Cellular Automata Modeling of Physical Systems. Cambridge University Press, New York; 1998.
  14. 14. Wolfram S. A New Kind of Science. Wolfram Media, Inc; 2002.
  15. 15. Gavagnin E, Yates CA. Modeling persistence of motion in a crowded environment: The diffusive limit of excluding velocity-jump processes. Phys Rev E. 2018;97(3):032416. pmid:29776091
  16. 16. Ilina O, Gritsenko P, Syga S, Deutsch A, Friedl P. Cell-cell adhesion and 3D matrix confinement determine jamming transitions in breast cancer invasion. Nat Cell Biol. 2020;22:1103–1115. pmid:32839548
  17. 17. Nava-Sedeño JM, Hatzikirou H, Peruani F, Deutsch A. Extracting cellular automaton rules from physical Langevin equation models for single and collective cell migration. J Math Biol. 2017;75(5):1075–1100. pmid:28243720
  18. 18. Grima R, Schnell S. A mesoscopic simulation approach for modeling intracellular reactions. J Stat Phys. 2007;128(1):139–164.
  19. 19. Nava-Sedeño JM, Hatzikirou H, Klages R, Deutsch A. Cellular automaton models for time-correlated random walks: derivation and analysis. Sci Rep. 2017;7(1):1–13. pmid:29209065
  20. 20. Kawasaki K. Simple derivations of generalized linear and nonlinear Langevin equations. J Phys A-Math Gen. 1973;6(9):1289–1295.
  21. 21. Peruani F, Bär M, Deutsch A. A mean-field theory for self-propelled particles interacting by velocity alignment mechanisms. Eur Phys J-Spec Top. 2008;157(111).
  22. 22. Romanczuk P, Bär M, Ebeling W, Lindner B, Schimansky-Geier L. Active Brownian particles: From individual to collective stochastic dynamics. Eur Phys J-Spec Top. 2012;202(1):1–162.
  23. 23. Pressé S, Ghosh K, Lee J, Dill KA. Principles of maximum entropy and maximum caliber in statistical physics. Rev Mod Phys. 2013;85(3):1115.
  24. 24. Dickinson RB, Tranquillo RT. A stochastic model for cell random motility and haptotaxis based on adhesion receptor fuctuations. J Math Biol. 1993;31:563–600.
  25. 25. Bussemaker H, Deutsch A, Geigant E. Mean-field analysis of a dynamical phase transition in a cellular automaton model for collective motion. Phys Rev Lett. 1997;78:5018–5021.
  26. 26. Bussemaker HJ. Analysis of a pattern forming lattice-gas automaton: mean-field theory and beyond. Phys Rev E. 1996;53(2):1644–1661. pmid:9964425
  27. 27. Kansal AR, Torquato S, Harsh GR, Chiocca EA, Deisboeck TS. Simulated Brain Tumor Growth using a Three-Dimensional Cellular Automaton. J Theor Biol. 2000;203:367. pmid:10736214
  28. 28. Moreira J, Deutsch A. Cellular automaton models of tumour development—a critical review. Adv Complex Syst. 2002;5(2):1–21.
  29. 29. Friedl P, Locker J, Sahai E, Segall JE. Classifying collective cancer cell invasion. Nat Cell Biol. 2012;14(8):777–783. pmid:22854810
  30. 30. Sadati M, Qazvini NT, Krishnan R, Park CY, Fredberg JJ. Collective migration and cell jamming. Differentiation. 2013;86(3):121–125. pmid:23791490
  31. 31. Clark AG, Vignjevic DM. Modes of cancer cell invasion and the role of the microenvironment. Curr Opin Cell Biol. 2015;36:13–22. pmid:26183445
  32. 32. Reher D, Klink B, Voss-Boehme A, Deutsch A. Cell adhesion heterogeneity reinforces tumour cell dissemination: novel insights from a mathematical model. Biol Direct. 2017;12(1):1–17. pmid:28800767
  33. 33. Mente C, Prade I, Brusch L, Breier G, Deutsch A. Parameter estimation with a novel gradient-based optimization method for biological lattice-gas cellular automaton models. J Math Biol. 2010;63(1):173–200. pmid:20886214
  34. 34. Alber M, Kiskowski M, Jiang Y. Lattice Gas Cellular Automata Model For Rippling in Myxobacteria. Physica D. 2004;191:343.
  35. 35. Syga S, Nava-Sedeño JM, Brusch L, Deutsch A. A Lattice-Gas Cellular Automaton Model for Discrete Excitable Media. In: Tsuji K, Müller SC, editors. Spirals and Vortices. Springer; 2019. p. 253–264.
  36. 36. Fuks H, Lawniczak AT. Individual-based lattice model for spatial spread of epidemics. Discrete Dyn Nat Soc. 2001;6(3):191–200.
  37. 37. Böttger K, Hatzikirou H, Voß-Böhme A, Cavalcanti-Adam EA, Herrero MA, Deutsch A. An emerging Allee effect is critical for tumor initiation and persistence. PLoS Comp Biol. 2015;11(9):e1004366. pmid:26335202
  38. 38. Hatzikirou H, Brusch L, Schaller C, Simon M, Deutsch A. Prediction of traveling front behavior in a lattice-gas cellular automaton model for tumor invasion. Comput Math Appl. 2010;59(7):2326–2339.
  39. 39. Tektonidis M, Hatzikirou H, Chauviere A, Simon M, Schaller K, Deutsch A. Identification of intrinsic in vitro cellular mechanisms for glioma invasion. J Theor Biol. 2011;287(0):131–147. pmid:21816160
  40. 40. Boekhorst T, Preziosi L, Friedl P. Plasticity of cell migration in vivo and in silico. Annu Rev Cell Dev Bi. 2016;32:491–526.
  41. 41. Deutsch A, Dormann S. Cellular automaton modeling of biological pattern formation. 2nd ed. Boston: Birkhäuser; 2018.
  42. 42. Liggett TM. Interacting Particle Systems. New York: Springer; 1985.
  43. 43. Badoual M, Deroulers C, Aubert M, Grammaticos B. Modelling intercellular communication and its effects on tumour invasion. Phys Biol. 2010;7(4):046013. pmid:21178241
  44. 44. Binder BJ, Landman KA, Newgreen DF, Simkin JE, Takahashi Y, Zhang D. Spatial analysis of multi-species exclusion processes: application to neural crest cell migration in the embryonic gut. B Math Biol. 2012;74(2):474–490. pmid:22108739
  45. 45. Bloomfield J, Sherratt J, Painter K, Landini G. Cellular automata and integrodifferential equation models for cell renewal in mosaic tissues. J R Soc Interface. 2010;7(52):1525–1535. pmid:20375040
  46. 46. Galle J, Hoffmann M, Aust G. From single cells to tissue architecture—a bottom-up approach to modelling the spatio-temporal organisation of complex multi-cellular systems. J Math Biol. 2009;58(1-2):261. pmid:18386011
  47. 47. Rejniak KA, Anderson AR. Hybrid models of tumor growth. Wires Syst Biol Med. 2011;3(1):115–125. pmid:21064037
  48. 48. Frisch U, Hasslacher B, Pomeau Y. Lattice-gas automata for the Navier-Stokes equation. Phys Rev Lett. 1986;56(14):1505–1508. pmid:10032689
  49. 49. Wolf-Gladrow DA. Lattice-Gas Cellular Automata and Lattice Boltzmann Models: an Introduction. New York: Springer; 2000.
  50. 50. Wolfram S. Cellular Automata and Complexity—collected papers. Addison-Wesley; 1994.
  51. 51. Hatzikirou H, Brusch L, Deutsch A. From cellular automaton rules to an effective macroscopic mean-field description. Acta Phys Pol B. 2010;3:399–416.
  52. 52. Mente C, Prade I, Brusch L, Breier G, Deutsch A. A lattice-gas cellular automaton model for in vitro sprouting angiogenesis. Acta Phys Pol B. 2012;5(1):99–115.
  53. 53. Mente C, Voß-Böhme A, Deutsch A. Analysis of individual cell trajectories in lattice-gas cellular automaton models for migrating cell populations. B Math Biol. 2015;77(4):1–38. pmid:25894920
  54. 54. Nava-Sedeño JM, Hatzikirou H, Voß-Böhme A, Brusch L, Deutsch A, Peruani F. Vectorial active matter on the lattice: emergence of polar condensates and nematic bands in an active zero-range process. Archives Ouvertes: hal-02460291 [Preprint]. 2020 [cited 2020 October 15]. Available from https://hal.archives-ouvertes.fr/hal-02460291/document