fbpx
Wikipedia

BIO-LGCA

In computational and mathematical biology, a biological lattice-gas cellular automaton (BIO-LGCA) is a discrete model for moving and interacting biological agents,[1] a type of cellular automaton. The BIO-LGCA is based on the lattice-gas cellular automaton (LGCA) model used in fluid dynamics. A BIO-LGCA model describes cells and other motile biological agents as point particles moving on a discrete lattice, thereby interacting with nearby particles. Contrary to classic cellular automaton models, particles in BIO-LGCA are defined by their position and velocity. This allows to model and analyze active fluids and collective migration mediated primarily through changes in momentum, rather than density. BIO-LGCA applications include cancer invasion[2] and cancer progression.[3]

Model definition edit

As are all cellular automaton models, a BIO-LGCA model is defined by a lattice  , a state space  , a neighborhood  , and a rule  .[4]

  • The lattice ( ) defines the set of all possible particle positions. Particles are restricted to occupy only certain positions, typically resulting from a regular and periodic tesselation of space. Mathematically,   is a discrete subset of  -dimensional space.
  • The state space ( ) describes the possible states of particles within every lattice site  . In BIO-LGCA, multiple particles with different velocities may occupy a single lattice site, as opposed to classic cellular automaton models, where typically only a single cell can reside in every lattice node simultaneously. This makes the state space slightly more complex than that of classic cellular automaton models (see below).
  • The neighborhood ( ) indicates the subset of lattice sites which determines the dynamics of a given site in the lattice. Particles only interact with other particles within their neighborhood. Boundary conditions must be chosen for neighborhoods of lattice sites at the boundary of finite lattices. Neighborhoods and boundary conditions are identically defined as those for regular cellular automata (see Cellular automaton).
  • The rule ( ) dictates how particles move, proliferate, or die with time. As every cellular automaton, BIO-LGCA evolves in discrete time steps. In order to simulate the system dynamics, the rule is synchronously applied to every lattice site at every time step. Rule application changes the original state of a lattice site to a new state. The rule depends on the states of lattice sites in the interaction neighborhood of the lattice site to be updated. In BIO-LGCA, the rule is divided into two steps, a probabilistic interaction step followed by a deterministic transport step. The interaction step simulates reorientation, birth, and death processes, and is defined specifically for the modeled process. The transport step translocates particles to neighboring lattice nodes in the direction of their velocities. See below for details.

State space edit

 
The substructure of a BIO-LGCA lattice site with six velocity channels (corresponding to a 2D hexagonal lattice) and a single rest channel. In this case  ,  , and the carrying capacity  . Channels 2, 3, 6 and 7 are occupied, thus the lattice configuration is  , and the number of particles is  .

For modeling particle velocities explicitly, lattice sites are assumed to have a specific substructure. Each lattice site   is connected to its neighboring lattice sites through vectors called "velocity channels",  ,  , where the number of velocity channels   is equal to the number of nearest neighbors, and thus depends on the lattice geometry (  for a one-dimensional lattice,   for a two-dimensional hexagonal lattice, and so on). In two dimensions, velocity channels are defined as  . Additionally, an arbitrary number   of so-called "rest channels" may be defined, such that  ,  . A channel is said to be occupied if there is a particle in the lattice site with a velocity equal to the velocity channel. The occupation of channel   is indicated by the occupation number  . Typically, particles are assumed to obey an exclusion principle, such that no more than one particle may occupy a single velocity channel at a lattice site simultaneously. In this case, occupation numbers are Boolean variables, i.e.  , and thus, every site has a maximum carrying capacity  . Since the collection of all channel occupation numbers defines the number of particles and their velocities in each lattice site, the vector   describes the state of a lattice site, and the state space is given by  .

Rule and model dynamics edit

The states of every site in the lattice are updated synchronously in discrete time steps to simulate the model dynamics. The rule is divided into two steps. The probabilistic interaction step simulates particle interaction, while the deterministic transport step simulates particle movement.

Interaction step edit

Depending on the specific application, the interaction step may be composed of reaction and/or reorientation operators.

The reaction operator   replaces the state of a node   with a new state   following a transition probability  , which depends on the state of the neighboring lattice sites  to simulate the influence of neighboring particles on the reactive process. The reaction operator does not conserve particle number, thus allowing to simulate birth and death of individuals. The reaction operator's transition probability is usually defined ad hoc form phenomenological observations.

The reorientation operator   also replaces a state   with a new state   with probability  . However, this operator conserves particle number and therefore only models changes in particle velocity by redistributing particles among velocity channels. The transition probability for this operator can be determined from statistical observations (by using the maximum caliber principle) or from known single-particle dynamics (using the discretized, steady-state angular probability distribution given by the Fokker-Planck equation associated to a Langevin equation describing the reorientation dynamics),[5][6] and typically takes the form

 
where   is a normalization constant (also known as the partition function),   is an energy-like function which particles will likely minimize when changing their direction of motion,   is a free parameter inversely proportional to the randomness of particle reorientation (analogous to the inverse temperature in thermodynamics), and   is a Kronecker delta which ensures that particle number before   and after reorientation   is unchanged.

The state resulting form applying the reaction and reorientation operator   is known as the post-interaction configuration and denoted by  .

 
Dynamics of the BIO-LGCA model. Every time step, the occupation numbers are changed stochastically by the reaction and/or reorientation operators in all lattice sites simultaneously during the interaction step. Subsequently, particles are deterministically moved to the same velocity channel on a neighboring node in the direction of their velocity channel, during the transport step. Colors in the sketch are used to track the dynamics of the particles of individual nodes. This sketch assumes a particle-conserving rule (no reaction operator).

Transport step edit

After the interaction step, the deterministic transport step is applied synchronously to all lattice sites. The transport step simulates the movement of agents according to their velocity, due to the self-propulsion of living organisms.

During this step, the occupation numbers of post-interaction states will be defined as the new occupation states of the same channel of the neighboring lattice site in the direction of the velocity channel, i.e.  .

A new time step begins when both interaction and transport steps have occurred. Therefore, the dynamics of the BIO-LGCA can be summarized as the stochastic finite-difference microdynamical equation

 

Example interaction dynamics edit

A hexagonal BIO-LGCA model of polar swarming. In this model, cells preferentially change their velocities to be parallel to the neighborhood's momentum. Lattice sites are colored according to their orientation, following the color wheel. Empty sites are white. Periodic boundary conditions were used.

The transition probability for the reaction and/or reorientation operator must be defined to appropriately simulate the modeled system. Some elementary interactions and the corresponding transition probabilities are listed below.

Random walk edit

In the absence of any external or internal stimuli, cells may move randomly without any directional preference. In this case, the reorientation operator may be defined through a transition probability

 
A hexagonal BIO-LGCA model of excitable media. In this model, the reaction operator favors the rapid reproduction of particles within velocity channels, and the slow death of particles within rest channels. Particles in rest channels inhibit the reproduction of particles in velocity channels. The reorientation operator is the random walk operator in the text. Lattice sites are brightly colored the more motile particles are present. Resting particles are not shown. Periodic boundary conditions were used.

where  . Such transition probability allows any post-reorientation configuration   with the same number of particles as the pre-reorientation configuration  , to be picked uniformly.

Simple birth and death process edit

If organisms reproduce and die independently of other individuals (with the exception of the finite carrying capacity), then a simple birth/death process can be simulated[3] with a transition probability given by

 
where  ,   are constant birth and death probabilities, respectively,   is the Kronecker delta which ensures only one birth/death event happens every time step, and   is the Heaviside function, which makes sure particle numbers are positive and bounded by the carrying capacity  .
A square BIO-LGCA model of cells interacting adhesively. Cells move preferentially in the direction of the cell density gradient. Lattice sites are colored with increasingly darker blue colors with increasing cell density. Empty nodes are colored white.Periodic boundary conditions are used.

Adhesive interactions edit

Cells may adhere to one another by cadherin molecules on the cell surface. Cadherin interactions allow cells to form aggregates. The formation of cell aggregates via adhesive biomolecules can be modeled[7] by a reorientation operator with transition probabilities defined as

 
A square BIO-LGCA model of cells indirectly interacting chemotactically. In this model, cells produce a diffusing chemoattractant with a certain half-life. Cells preferentially move in the direction of the chemoattractant gradient. Lattice sites are additively colored with a darker blue tint with increasing cell density, and with a darker yellow tint with increasing chemoattractant concentration. Empty lattice sites are colored white. Periodic boundary conditions were used.

where   is a vector pointing in the direction of maximum cell density, defined as  , where  is the configuration of the lattice site   within the neighborhood  , and   is the momentum of the post-reorientation configuration, defined as  . This transition probability favors post-reorientation configurations with cells moving towards the cell density gradient.

Mathematical analysis edit

Since an exact treatment of a stochastic agent-based model quickly becomes unfeasible due to high-order correlations between all agents,[8] the general method of analyzing a BIO-LGCA model is to cast it into an approximate, deterministic finite difference equation (FDE) describing the mean dynamics of the population, then performing the mathematical analysis of this approximate model, and comparing the results to the original BIO-LGCA model.

First, the expected value of the microdynamical equation   is obtained

 
where   denotes the expected value, and   is the expected value of the  -th channel occupation number of the lattice site at   at time step  . However, the term on the right,   is highly nonlinear on the occupation numbers of both the lattice site   and the lattice sites within the interaction neighborhood  , due to the form of the transition probability   and the statistics of particle placement within velocity channels (for example, arising from an exclusion principle imposed on channel occupations). This non-linearity would result in high-order correlations and moments among all channel occupations involved. Instead, a mean-field approximation is usually assumed, wherein all correlations and high order moments are neglected, such that direct particle-particle interactions are substituted by interactions with the respective expected values. In other words, if   are random variables, and   is a function, then  under this approximation. Thus, we can simplify the equation to
 
where   is a nonlinear function of the expected lattice site configuration   and the expected neighborhood configuration   dependent on the transition probabilities and in-node particle statistics.

From this nonlinear FDE, one may identify several homogeneous steady states, or constants   independent of   and   which are solutions to the FDE. To study the stability conditions of these steady states and the pattern formation potential of the model, a linear stability analysis can be performed. To do so, the nonlinear FDE is linearized as

 
where   denotes the homogeneous steady state  , and a von Neumann neighborhood was assumed. In order to cast it into a more familiar finite difference equation with temporal increments only, a discrete Fourier transform can be applied on both sides of the equation. After applying the shift theorem and isolating the term with a temporal increment on the left, one obtains the lattice-Boltzmann equation[4]
 
where   is the imaginary unit,   is the size of the lattice along one dimension,   is the Fourier wave number, and   denotes the discrete Fourier transform. In matrix notation, this equation is simplified to  , where the matrix   is called the Boltzmann propagator and is defined as
 
The eigenvalues   of the Boltzmann propagator dictate the stability properties of the steady state:[4]
  • If  , where   denotes the modulus, then perturbations with wave number   grow with time. If  , and  , then perturbations with wave number   will dominate and patterns with a clear wavelength will be observed. Otherwise, the steady state is stable and any perturbations will decay.
  • If  , where   denotes the argument, then perturbations are transported and non-stationary population behaviors are observed. Otherwise, the population will appear static at the macroscopic level.

Applications edit

Constructing a BIO-LGCA for the study of biological phenomena mainly involves defining appropriate transition probabilities for the interaction operator, though precise definitions of the state space (to consider several cellular phenotypes, for example), boundary conditions (for modeling phenomena in confined conditions), neighborhood (to match experimental interaction ranges quantitatively), and carrying capacity (to simulate crowding effects for given cell sizes) may be important for specific applications. While the distribution of the reorientation operator can be obtained through the aforementioned statistical and biophysical methods, the distribution of the reaction operators can be estimated from the statistics of in vitro experiments, for example.[9]

BIO-LGCA models have been used to study several cellular, biophysical and medical phenomena. Some examples include:

  • Angiogenesis:[10] an in vitro experiment with endothelial cells and BIO-LGCA simulation observables were compared to determine the processes involved during angiogenesis and their weight. They found that adhesion, alignment, contact guidance, and ECM remodeling are all involved in angiogenesis, while long-range interactions are not vital to the process.
  • Active fluids:[11] the macroscopic physical properties of a population of particles interacting through polar alignment interactions were investigated using a BIO-LGCA model. It was found that increasing initial particle density and interaction strength result in a second order phase transition from a homogeneous, disordered state to an ordered, patterned, moving state.
  • Epidemiology:[12] a spatial SIR BIO-LGCA model was used to study the effect of different vaccination strategies, and the effect of approximating a spatial epidemic with a non-spatial model. They found that barrier-type vaccination strategies are much more effective than spatially uniform vaccination strategies. Furthermore, they found that non-spatial models greatly overestimate the rate of infection.
  • Cell jamming:[13] in vitro and Bio-LGCA models were used for studying metastatic behavior in breast cancer. The BIO-LGCA model revealed that metastasis may exhibit different behaviors, such as random gas-like, jammed solid-like, and correlated fluid-like states, depending on the adhesivity level among cells, ECM density, and cell-ECM interactions.

References edit

  1. ^ Deutsch, Andreas; Nava-Sedeño, Josué Manik; Syga, Simon; Hatzikirou, Haralampos (2021-06-15). "BIO-LGCA: A cellular automaton modelling class for analysing collective cell migration". PLOS Computational Biology. 17 (6): e1009066. Bibcode:2021PLSCB..17E9066D. doi:10.1371/journal.pcbi.1009066. ISSN 1553-7358. PMC 8232544. PMID 34129639.
  2. ^ Reher, David; Klink, Barbara; Deutsch, Andreas; Voss-Böhme, Anja (2017-08-11). "Cell adhesion heterogeneity reinforces tumour cell dissemination: novel insights from a mathematical model". Biology Direct. 12 (1): 18. doi:10.1186/s13062-017-0188-z. ISSN 1745-6150. PMC 5553611. PMID 28800767.
  3. ^ a b Böttger, Katrin; Hatzikirou, Haralambos; Voss-Böhme, Anja; Cavalcanti-Adam, Elisabetta Ada; Herrero, Miguel A.; Deutsch, Andreas (2015-09-03). Alber, Mark S (ed.). "An Emerging Allee Effect Is Critical for Tumor Initiation and Persistence". PLOS Computational Biology. 11 (9): e1004366. Bibcode:2015PLSCB..11E4366B. doi:10.1371/journal.pcbi.1004366. ISSN 1553-7358. PMC 4559422. PMID 26335202.
  4. ^ a b c "Mathematical Modeling of Biological Pattern Formation", Cellular Automaton Modeling of Biological Pattern Formation, Modeling and Simulation in Science, Engineering and Technology, Boston, MA: Birkhäuser Boston, pp. 45–56, 2005, doi:10.1007/0-8176-4415-6_3, ISBN 978-0-8176-4281-5, retrieved 2021-05-25
  5. ^ Nava-Sedeño, J. M.; Hatzikirou, H.; Peruani, F.; Deutsch, A. (2017-02-27). "Extracting cellular automaton rules from physical Langevin equation models for single and collective cell migration". Journal of Mathematical Biology. 75 (5): 1075–1100. doi:10.1007/s00285-017-1106-9. ISSN 0303-6812. PMID 28243720. S2CID 32456636.
  6. ^ Nava-Sedeño, J. M.; Hatzikirou, H.; Klages, R.; Deutsch, A. (2017-12-05). "Cellular automaton models for time-correlated random walks: derivation and analysis". Scientific Reports. 7 (1): 16952. arXiv:1802.04201. Bibcode:2017NatSR...716952N. doi:10.1038/s41598-017-17317-x. ISSN 2045-2322. PMC 5717221. PMID 29209065.
  7. ^ Bussemaker, Harmen J. (1996-02-01). "Analysis of a pattern-forming lattice-gas automaton: Mean-field theory and beyond". Physical Review E. 53 (2): 1644–1661. Bibcode:1996PhRvE..53.1644B. doi:10.1103/physreve.53.1644. ISSN 1063-651X. PMID 9964425.
  8. ^ Ovaskainen, Otso; Somervuo, Panu; Finkelshtein, Dmitri (2020-10-28). "A general mathematical method for predicting spatio-temporal correlations emerging from agent-based models". Journal of the Royal Society Interface. 17 (171): 20200655. doi:10.1098/rsif.2020.0655. PMC 7653394. PMID 33109018.
  9. ^ Dirkse, Anne; Golebiewska, Anna; Buder, Thomas; Nazarov, Petr V.; Muller, Arnaud; Poovathingal, Suresh; Brons, Nicolaas H. C.; Leite, Sonia; Sauvageot, Nicolas; Sarkisjan, Dzjemma; Seyfrid, Mathieu (2019-04-16). "Stem cell-associated heterogeneity in Glioblastoma results from intrinsic tumor plasticity shaped by the microenvironment". Nature Communications. 10 (1): 1787. Bibcode:2019NatCo..10.1787D. doi:10.1038/s41467-019-09853-z. ISSN 2041-1723. PMC 6467886. PMID 30992437.
  10. ^ Mente, Carsten; Prade, Ina; Brusch, Lutz; Breier, Georg; Deutsch, Andreas (2010-10-01). "Parameter estimation with a novel gradient-based optimization method for biological lattice-gas cellular automaton models". Journal of Mathematical Biology. 63 (1): 173–200. doi:10.1007/s00285-010-0366-4. ISSN 0303-6812. PMID 20886214. S2CID 12404555.
  11. ^ Bussemaker, Harmen J.; Deutsch, Andreas; Geigant, Edith (1997-06-30). "Mean-Field Analysis of a Dynamical Phase Transition in a Cellular Automaton Model for Collective Motion". Physical Review Letters. 78 (26): 5018–5021. arXiv:physics/9706008. Bibcode:1997PhRvL..78.5018B. doi:10.1103/PhysRevLett.78.5018. ISSN 0031-9007. S2CID 45979152.
  12. ^ Fuks, Henryk; Lawniczak, Anna T. (2001). "Individual-based lattice model for spatial spread of epidemics". Discrete Dynamics in Nature and Society. 6 (3): 191–200. doi:10.1155/s1026022601000206. hdl:1807/82157.
  13. ^ Ilina, Olga; Gritsenko, Pavlo G.; Syga, Simon; Lippoldt, Jürgen; La Porta, Caterina A. M.; Chepizhko, Oleksandr; Grosser, Steffen; Vullings, Manon; Bakker, Gert-Jan; Starruß, Jörn; Bult, Peter (2020-08-24). "Cell–cell adhesion and 3D matrix confinement determine jamming transitions in breast cancer invasion". Nature Cell Biology. 22 (9): 1103–1115. doi:10.1038/s41556-020-0552-6. ISSN 1476-4679. PMC 7502685. PMID 32839548.

External links edit

  • Bio-LGCA Simulator - An online simulator with elementary interactions with personalizable parameter values.
  • BIO-LGCA Python Package - An open source Python package for implementing BIO-LGCA model simulations.

lgca, computational, mathematical, biology, biological, lattice, cellular, automaton, discrete, model, moving, interacting, biological, agents, type, cellular, automaton, based, lattice, cellular, automaton, lgca, model, used, fluid, dynamics, model, describes. In computational and mathematical biology a biological lattice gas cellular automaton BIO LGCA is a discrete model for moving and interacting biological agents 1 a type of cellular automaton The BIO LGCA is based on the lattice gas cellular automaton LGCA model used in fluid dynamics A BIO LGCA model describes cells and other motile biological agents as point particles moving on a discrete lattice thereby interacting with nearby particles Contrary to classic cellular automaton models particles in BIO LGCA are defined by their position and velocity This allows to model and analyze active fluids and collective migration mediated primarily through changes in momentum rather than density BIO LGCA applications include cancer invasion 2 and cancer progression 3 Contents 1 Model definition 1 1 State space 1 2 Rule and model dynamics 1 2 1 Interaction step 1 2 2 Transport step 2 Example interaction dynamics 2 1 Random walk 2 2 Simple birth and death process 2 3 Adhesive interactions 3 Mathematical analysis 4 Applications 5 References 6 External linksModel definition editAs are all cellular automaton models a BIO LGCA model is defined by a lattice L displaystyle mathcal L nbsp a state space E displaystyle mathcal E nbsp a neighborhood N displaystyle mathcal N nbsp and a rule R displaystyle mathcal R nbsp 4 The lattice L displaystyle mathcal L nbsp defines the set of all possible particle positions Particles are restricted to occupy only certain positions typically resulting from a regular and periodic tesselation of space Mathematically L R d displaystyle mathcal L subset mathbb R d nbsp is a discrete subset of d displaystyle d nbsp dimensional space The state space E displaystyle mathcal E nbsp describes the possible states of particles within every lattice site r L displaystyle mathbf r in mathcal L nbsp In BIO LGCA multiple particles with different velocities may occupy a single lattice site as opposed to classic cellular automaton models where typically only a single cell can reside in every lattice node simultaneously This makes the state space slightly more complex than that of classic cellular automaton models see below The neighborhood N displaystyle mathcal N nbsp indicates the subset of lattice sites which determines the dynamics of a given site in the lattice Particles only interact with other particles within their neighborhood Boundary conditions must be chosen for neighborhoods of lattice sites at the boundary of finite lattices Neighborhoods and boundary conditions are identically defined as those for regular cellular automata see Cellular automaton The rule R displaystyle mathcal R nbsp dictates how particles move proliferate or die with time As every cellular automaton BIO LGCA evolves in discrete time steps In order to simulate the system dynamics the rule is synchronously applied to every lattice site at every time step Rule application changes the original state of a lattice site to a new state The rule depends on the states of lattice sites in the interaction neighborhood of the lattice site to be updated In BIO LGCA the rule is divided into two steps a probabilistic interaction step followed by a deterministic transport step The interaction step simulates reorientation birth and death processes and is defined specifically for the modeled process The transport step translocates particles to neighboring lattice nodes in the direction of their velocities See below for details State space edit nbsp The substructure of a BIO LGCA lattice site with six velocity channels corresponding to a 2D hexagonal lattice and a single rest channel In this case b 6 displaystyle b 6 nbsp a 1 displaystyle a 1 nbsp and the carrying capacity K 7 displaystyle K 7 nbsp Channels 2 3 6 and 7 are occupied thus the lattice configuration is s 0 1 1 0 0 1 1 displaystyle mathbf s 0 1 1 0 0 1 1 nbsp and the number of particles is n s i 1 K s i 4 displaystyle n left mathbf s right sum i 1 K s i 4 nbsp For modeling particle velocities explicitly lattice sites are assumed to have a specific substructure Each lattice site r L displaystyle mathbf r in mathcal L nbsp is connected to its neighboring lattice sites through vectors called velocity channels c i displaystyle mathbf c i nbsp i 1 2 b displaystyle i in 1 2 ldots b nbsp where the number of velocity channels b displaystyle b nbsp is equal to the number of nearest neighbors and thus depends on the lattice geometry b 2 displaystyle b 2 nbsp for a one dimensional lattice b 6 displaystyle b 6 nbsp for a two dimensional hexagonal lattice and so on In two dimensions velocity channels are defined as c i cos 2 p i b sin 2 p i b displaystyle mathbf c i left cos frac 2 pi i b sin frac 2 pi i b right nbsp Additionally an arbitrary number a displaystyle a nbsp of so called rest channels may be defined such that c i 0 0 displaystyle mathbf c i 0 0 nbsp i b 1 b 2 b a displaystyle i in b 1 b 2 ldots b a nbsp A channel is said to be occupied if there is a particle in the lattice site with a velocity equal to the velocity channel The occupation of channel c i displaystyle mathbf c i nbsp is indicated by the occupation number s i displaystyle s i nbsp Typically particles are assumed to obey an exclusion principle such that no more than one particle may occupy a single velocity channel at a lattice site simultaneously In this case occupation numbers are Boolean variables i e s i S 0 1 displaystyle s i in mathcal S 0 1 nbsp and thus every site has a maximum carrying capacity K a b displaystyle K a b nbsp Since the collection of all channel occupation numbers defines the number of particles and their velocities in each lattice site the vector s s 1 s 2 s K displaystyle mathbf s left s 1 s 2 ldots s K right nbsp describes the state of a lattice site and the state space is given by E S K displaystyle mathcal E mathcal S K nbsp Rule and model dynamics edit The states of every site in the lattice are updated synchronously in discrete time steps to simulate the model dynamics The rule is divided into two steps The probabilistic interaction step simulates particle interaction while the deterministic transport step simulates particle movement Interaction step edit Depending on the specific application the interaction step may be composed of reaction and or reorientation operators The reaction operator A displaystyle mathcal A nbsp replaces the state of a node s displaystyle mathbf s nbsp with a new state s A displaystyle mathbf s mathcal A nbsp following a transition probability P s s A s N displaystyle P left left mathbf s rightarrow mathbf s mathcal A right mathbf s mathcal N right nbsp which depends on the state of the neighboring lattice sites s N displaystyle mathbf s mathcal N nbsp to simulate the influence of neighboring particles on the reactive process The reaction operator does not conserve particle number thus allowing to simulate birth and death of individuals The reaction operator s transition probability is usually defined ad hoc form phenomenological observations The reorientation operator O displaystyle mathcal O nbsp also replaces a state s displaystyle mathbf s nbsp with a new state s O displaystyle mathbf s mathcal O nbsp with probability P s s O s N displaystyle P left left mathbf s rightarrow mathbf s mathcal O right mathbf s mathcal N right nbsp However this operator conserves particle number and therefore only models changes in particle velocity by redistributing particles among velocity channels The transition probability for this operator can be determined from statistical observations by using the maximum caliber principle or from known single particle dynamics using the discretized steady state angular probability distribution given by the Fokker Planck equation associated to a Langevin equation describing the reorientation dynamics 5 6 and typically takes the formP s s O s N 1 Z e b H s N d n s n s O displaystyle P left left mathbf s rightarrow mathbf s mathcal O right mathbf s mathcal N right frac 1 Z e beta H left mathbf s mathcal N right delta n left mathbf s right n left mathbf s mathcal O right nbsp where Z displaystyle Z nbsp is a normalization constant also known as the partition function H s N displaystyle H left mathbf s mathcal N right nbsp is an energy like function which particles will likely minimize when changing their direction of motion b displaystyle beta nbsp is a free parameter inversely proportional to the randomness of particle reorientation analogous to the inverse temperature in thermodynamics and d n s n s O displaystyle delta n left mathbf s right n left mathbf s mathcal O right nbsp is a Kronecker delta which ensures that particle number before n s displaystyle n left mathbf s right nbsp and after reorientation n s O displaystyle n left mathbf s mathcal O right nbsp is unchanged The state resulting form applying the reaction and reorientation operator s O A displaystyle mathbf s mathcal O circ mathcal A nbsp is known as the post interaction configuration and denoted by s I s O A displaystyle mathbf s mathcal I mathbf s mathcal O circ mathcal A nbsp nbsp Dynamics of the BIO LGCA model Every time step the occupation numbers are changed stochastically by the reaction and or reorientation operators in all lattice sites simultaneously during the interaction step Subsequently particles are deterministically moved to the same velocity channel on a neighboring node in the direction of their velocity channel during the transport step Colors in the sketch are used to track the dynamics of the particles of individual nodes This sketch assumes a particle conserving rule no reaction operator Transport step edit After the interaction step the deterministic transport step is applied synchronously to all lattice sites The transport step simulates the movement of agents according to their velocity due to the self propulsion of living organisms During this step the occupation numbers of post interaction states will be defined as the new occupation states of the same channel of the neighboring lattice site in the direction of the velocity channel i e s i r c i s i I r displaystyle s i mathbf r mathbf c i s i mathcal I mathbf r nbsp A new time step begins when both interaction and transport steps have occurred Therefore the dynamics of the BIO LGCA can be summarized as the stochastic finite difference microdynamical equations i r c i k 1 s i I r k displaystyle s i mathbf r mathbf c i k 1 s i mathcal I mathbf r k nbsp Example interaction dynamics edit source source source source source source A hexagonal BIO LGCA model of polar swarming In this model cells preferentially change their velocities to be parallel to the neighborhood s momentum Lattice sites are colored according to their orientation following the color wheel Empty sites are white Periodic boundary conditions were used The transition probability for the reaction and or reorientation operator must be defined to appropriately simulate the modeled system Some elementary interactions and the corresponding transition probabilities are listed below Random walk edit In the absence of any external or internal stimuli cells may move randomly without any directional preference In this case the reorientation operator may be defined through a transition probabilityP s s O s N d n s n s O Z displaystyle P left left mathbf s rightarrow mathbf s mathcal O right mathbf s mathcal N right frac delta n mathbf s n left mathbf s mathcal O right Z nbsp source source source source source A hexagonal BIO LGCA model of excitable media In this model the reaction operator favors the rapid reproduction of particles within velocity channels and the slow death of particles within rest channels Particles in rest channels inhibit the reproduction of particles in velocity channels The reorientation operator is the random walk operator in the text Lattice sites are brightly colored the more motile particles are present Resting particles are not shown Periodic boundary conditions were used where Z s O d n s n s O displaystyle Z sum mathbf s mathcal O delta n left mathbf s right n left mathbf s mathcal O right nbsp Such transition probability allows any post reorientation configuration s O displaystyle mathbf s mathcal O nbsp with the same number of particles as the pre reorientation configuration s displaystyle mathbf s nbsp to be picked uniformly Simple birth and death process edit If organisms reproduce and die independently of other individuals with the exception of the finite carrying capacity then a simple birth death process can be simulated 3 with a transition probability given byP s s A s N r b d n s A n s 1 r d d n s A n s 1 8 n s A 8 n K s A displaystyle P left left mathbf s rightarrow mathbf s mathcal A right mathbf s mathcal N right left r b delta n left mathbf s mathcal A right n left mathbf s right 1 r d delta n left mathbf s mathcal A right n left mathbf s right 1 right Theta left n left mathbf s mathcal A right right Theta left n left K mathbf s mathcal A right right nbsp where r b r d 0 1 displaystyle r b r d in 0 1 nbsp r b r d 1 displaystyle r b r d leq 1 nbsp are constant birth and death probabilities respectively d i j displaystyle delta i j nbsp is the Kronecker delta which ensures only one birth death event happens every time step and 8 x displaystyle Theta x nbsp is the Heaviside function which makes sure particle numbers are positive and bounded by the carrying capacity K displaystyle K nbsp source source source source source source A square BIO LGCA model of cells interacting adhesively Cells move preferentially in the direction of the cell density gradient Lattice sites are colored with increasingly darker blue colors with increasing cell density Empty nodes are colored white Periodic boundary conditions are used Adhesive interactions edit Cells may adhere to one another by cadherin molecules on the cell surface Cadherin interactions allow cells to form aggregates The formation of cell aggregates via adhesive biomolecules can be modeled 7 by a reorientation operator with transition probabilities defined asP s s O s N 1 Z exp b G s N J s O displaystyle P left left mathbf s rightarrow mathbf s mathcal O right mathbf s mathcal N right frac 1 Z exp left beta mathbf G left mathbf s mathcal N right cdot mathbf J left mathbf s mathcal O right right nbsp source source source source source source A square BIO LGCA model of cells indirectly interacting chemotactically In this model cells produce a diffusing chemoattractant with a certain half life Cells preferentially move in the direction of the chemoattractant gradient Lattice sites are additively colored with a darker blue tint with increasing cell density and with a darker yellow tint with increasing chemoattractant concentration Empty lattice sites are colored white Periodic boundary conditions were used where G s N displaystyle mathbf G left mathbf s mathcal N right nbsp is a vector pointing in the direction of maximum cell density defined as G s N r N r r n s N r displaystyle mathbf G left mathbf s mathcal N right sum mathbf r in mathcal N left mathbf r mathbf r right n left mathbf s mathcal N mathbf r right nbsp where s N r displaystyle mathbf s mathcal N mathbf r nbsp is the configuration of the lattice site r displaystyle mathbf r nbsp within the neighborhood N displaystyle mathcal N nbsp and J s O displaystyle mathbf J left mathbf s mathcal O right nbsp is the momentum of the post reorientation configuration defined as J s O j 1 b s j O c j displaystyle mathbf J left mathbf s mathcal O right sum j 1 b s j mathcal O mathbf c j nbsp This transition probability favors post reorientation configurations with cells moving towards the cell density gradient Mathematical analysis editSince an exact treatment of a stochastic agent based model quickly becomes unfeasible due to high order correlations between all agents 8 the general method of analyzing a BIO LGCA model is to cast it into an approximate deterministic finite difference equation FDE describing the mean dynamics of the population then performing the mathematical analysis of this approximate model and comparing the results to the original BIO LGCA model First the expected value of the microdynamical equation s m r c m k 1 s m I r k displaystyle s m mathbf r mathbf c m k 1 s m mathcal I mathbf r k nbsp is obtainedf m r c m k 1 s m I r k displaystyle f m left mathbf r mathbf c m k 1 right left langle s m mathcal I left mathbf r k right right rangle nbsp where displaystyle langle cdot rangle nbsp denotes the expected value and f m r k s m r k displaystyle f m left mathbf r k right left langle s m left mathbf r k right right rangle nbsp is the expected value of the m displaystyle m nbsp th channel occupation number of the lattice site at r displaystyle mathbf r nbsp at time step k displaystyle k nbsp However the term on the right s m I r k displaystyle left langle s m mathcal I left mathbf r k right right rangle nbsp is highly nonlinear on the occupation numbers of both the lattice site r displaystyle mathbf r nbsp and the lattice sites within the interaction neighborhood N displaystyle mathcal N nbsp due to the form of the transition probability P s s I s N displaystyle P left left mathbf s rightarrow mathbf s mathcal I right mathbf s mathcal N right nbsp and the statistics of particle placement within velocity channels for example arising from an exclusion principle imposed on channel occupations This non linearity would result in high order correlations and moments among all channel occupations involved Instead a mean field approximation is usually assumed wherein all correlations and high order moments are neglected such that direct particle particle interactions are substituted by interactions with the respective expected values In other words if X 1 X 2 X n displaystyle X 1 X 2 ldots X n nbsp are random variables and F R n R displaystyle F mathbb R n mapsto mathbb R nbsp is a function then F X 1 X 2 X n F X 1 X 2 X n displaystyle left langle F left X 1 X 2 ldots X n right right rangle approx F left left langle X 1 right rangle left langle X 2 right rangle ldots left langle X n right rangle right nbsp under this approximation Thus we can simplify the equation tof m r c m k 1 C f r k f N r k displaystyle f m left mathbf r mathbf c m k 1 right mathcal C left mathbf f left mathbf r k right mathbf f mathcal N left mathbf r k right right nbsp where C f r k f N r k displaystyle mathcal C left mathbf f left mathbf r k right mathbf f mathcal N left mathbf r k right right nbsp is a nonlinear function of the expected lattice site configuration f r k displaystyle mathbf f left mathbf r k right nbsp and the expected neighborhood configuration f N r k displaystyle mathbf f mathcal N left mathbf r k right nbsp dependent on the transition probabilities and in node particle statistics From this nonlinear FDE one may identify several homogeneous steady states or constants f m displaystyle bar f m nbsp independent of r displaystyle mathbf r nbsp and k displaystyle k nbsp which are solutions to the FDE To study the stability conditions of these steady states and the pattern formation potential of the model a linear stability analysis can be performed To do so the nonlinear FDE is linearized asf m r c m k 1 j 1 K C f j r k s s f j r k j 1 K p 1 K C f j r c p k s s f j r c p k displaystyle f m left mathbf r mathbf c m k 1 right sum j 1 K left frac partial mathcal C partial f j left mathbf r k right right mathrm ss f j left mathbf r k right sum j 1 K sum p 1 K left frac partial mathcal C partial f j left mathbf r mathbf c p k right right mathrm ss f j left mathbf r mathbf c p k right nbsp where s s displaystyle mathrm ss nbsp denotes the homogeneous steady state f m r k f m m 1 K displaystyle f m left mathbf r k right bar f m m in 1 ldots K nbsp and a von Neumann neighborhood was assumed In order to cast it into a more familiar finite difference equation with temporal increments only a discrete Fourier transform can be applied on both sides of the equation After applying the shift theorem and isolating the term with a temporal increment on the left one obtains the lattice Boltzmann equation 4 f m q k 1 e 2 p i L q c m j 1 K C f j r k s s p 1 K C f j r c p k s s e 2 p i L q c p f j q k displaystyle hat f m left mathbf q k 1 right e frac 2 pi i L mathbf q cdot mathbf c m left sum j 1 K left left frac partial mathcal C partial f j left mathbf r k right right mathrm ss sum p 1 K left frac partial mathcal C partial f j left mathbf r mathbf c p k right right mathrm ss e frac 2 pi i L mathbf q cdot mathbf c p right hat f j left mathbf q k right right nbsp where i 1 displaystyle i sqrt 1 nbsp is the imaginary unit L displaystyle L nbsp is the size of the lattice along one dimension q 1 2 L d displaystyle mathbf q in 1 2 ldots L d nbsp is the Fourier wave number and F displaystyle hat cdot mathcal F cdot nbsp denotes the discrete Fourier transform In matrix notation this equation is simplified to f q k 1 G f q k displaystyle hat mathbf f left mathbf q k 1 right Gamma hat mathbf f left mathbf q k right nbsp where the matrix G displaystyle Gamma nbsp is called the Boltzmann propagator and is defined asG m j e 2 p i L q c m C f j r k s s p 1 K C f j r c p k s s e 2 p i L q c p displaystyle Gamma m j e frac 2 pi i L mathbf q cdot mathbf c m left left frac partial mathcal C partial f j left mathbf r k right right mathrm ss sum p 1 K left frac partial mathcal C partial f j left mathbf r mathbf c p k right right mathrm ss e frac 2 pi i L mathbf q cdot mathbf c p right nbsp The eigenvalues l q displaystyle lambda left mathbf q right nbsp of the Boltzmann propagator dictate the stability properties of the steady state 4 If l q gt 1 displaystyle left lambda left mathbf q right right gt 1 nbsp where displaystyle cdot nbsp denotes the modulus then perturbations with wave number q displaystyle mathbf q nbsp grow with time If l q m a x gt 1 displaystyle left lambda left mathbf q mathrm max right right gt 1 nbsp and l q m a x l q q 1 2 L d displaystyle left lambda left mathbf q mathrm max right right geq left lambda left mathbf q right right forall mathbf q in 1 2 ldots L d nbsp then perturbations with wave number q m a x displaystyle mathbf q mathrm max nbsp will dominate and patterns with a clear wavelength will be observed Otherwise the steady state is stable and any perturbations will decay If a r g l q 0 displaystyle mathrm arg left lambda left q right right neq 0 nbsp where a r g displaystyle mathrm arg cdot nbsp denotes the argument then perturbations are transported and non stationary population behaviors are observed Otherwise the population will appear static at the macroscopic level Applications editConstructing a BIO LGCA for the study of biological phenomena mainly involves defining appropriate transition probabilities for the interaction operator though precise definitions of the state space to consider several cellular phenotypes for example boundary conditions for modeling phenomena in confined conditions neighborhood to match experimental interaction ranges quantitatively and carrying capacity to simulate crowding effects for given cell sizes may be important for specific applications While the distribution of the reorientation operator can be obtained through the aforementioned statistical and biophysical methods the distribution of the reaction operators can be estimated from the statistics of in vitro experiments for example 9 BIO LGCA models have been used to study several cellular biophysical and medical phenomena Some examples include Angiogenesis 10 an in vitro experiment with endothelial cells and BIO LGCA simulation observables were compared to determine the processes involved during angiogenesis and their weight They found that adhesion alignment contact guidance and ECM remodeling are all involved in angiogenesis while long range interactions are not vital to the process Active fluids 11 the macroscopic physical properties of a population of particles interacting through polar alignment interactions were investigated using a BIO LGCA model It was found that increasing initial particle density and interaction strength result in a second order phase transition from a homogeneous disordered state to an ordered patterned moving state Epidemiology 12 a spatial SIR BIO LGCA model was used to study the effect of different vaccination strategies and the effect of approximating a spatial epidemic with a non spatial model They found that barrier type vaccination strategies are much more effective than spatially uniform vaccination strategies Furthermore they found that non spatial models greatly overestimate the rate of infection Cell jamming 13 in vitro and Bio LGCA models were used for studying metastatic behavior in breast cancer The BIO LGCA model revealed that metastasis may exhibit different behaviors such as random gas like jammed solid like and correlated fluid like states depending on the adhesivity level among cells ECM density and cell ECM interactions References edit Deutsch Andreas Nava Sedeno Josue Manik Syga Simon Hatzikirou Haralampos 2021 06 15 BIO LGCA A cellular automaton modelling class for analysing collective cell migration PLOS Computational Biology 17 6 e1009066 Bibcode 2021PLSCB 17E9066D doi 10 1371 journal pcbi 1009066 ISSN 1553 7358 PMC 8232544 PMID 34129639 Reher David Klink Barbara Deutsch Andreas Voss Bohme Anja 2017 08 11 Cell adhesion heterogeneity reinforces tumour cell dissemination novel insights from a mathematical model Biology Direct 12 1 18 doi 10 1186 s13062 017 0188 z ISSN 1745 6150 PMC 5553611 PMID 28800767 a b Bottger Katrin Hatzikirou Haralambos Voss Bohme Anja Cavalcanti Adam Elisabetta Ada Herrero Miguel A Deutsch Andreas 2015 09 03 Alber Mark S ed An Emerging Allee Effect Is Critical for Tumor Initiation and Persistence PLOS Computational Biology 11 9 e1004366 Bibcode 2015PLSCB 11E4366B doi 10 1371 journal pcbi 1004366 ISSN 1553 7358 PMC 4559422 PMID 26335202 a b c Mathematical Modeling of Biological Pattern Formation Cellular Automaton Modeling of Biological Pattern Formation Modeling and Simulation in Science Engineering and Technology Boston MA Birkhauser Boston pp 45 56 2005 doi 10 1007 0 8176 4415 6 3 ISBN 978 0 8176 4281 5 retrieved 2021 05 25 Nava Sedeno J M Hatzikirou H Peruani F Deutsch A 2017 02 27 Extracting cellular automaton rules from physical Langevin equation models for single and collective cell migration Journal of Mathematical Biology 75 5 1075 1100 doi 10 1007 s00285 017 1106 9 ISSN 0303 6812 PMID 28243720 S2CID 32456636 Nava Sedeno J M Hatzikirou H Klages R Deutsch A 2017 12 05 Cellular automaton models for time correlated random walks derivation and analysis Scientific Reports 7 1 16952 arXiv 1802 04201 Bibcode 2017NatSR 716952N doi 10 1038 s41598 017 17317 x ISSN 2045 2322 PMC 5717221 PMID 29209065 Bussemaker Harmen J 1996 02 01 Analysis of a pattern forming lattice gas automaton Mean field theory and beyond Physical Review E 53 2 1644 1661 Bibcode 1996PhRvE 53 1644B doi 10 1103 physreve 53 1644 ISSN 1063 651X PMID 9964425 Ovaskainen Otso Somervuo Panu Finkelshtein Dmitri 2020 10 28 A general mathematical method for predicting spatio temporal correlations emerging from agent based models Journal of the Royal Society Interface 17 171 20200655 doi 10 1098 rsif 2020 0655 PMC 7653394 PMID 33109018 Dirkse Anne Golebiewska Anna Buder Thomas Nazarov Petr V Muller Arnaud Poovathingal Suresh Brons Nicolaas H C Leite Sonia Sauvageot Nicolas Sarkisjan Dzjemma Seyfrid Mathieu 2019 04 16 Stem cell associated heterogeneity in Glioblastoma results from intrinsic tumor plasticity shaped by the microenvironment Nature Communications 10 1 1787 Bibcode 2019NatCo 10 1787D doi 10 1038 s41467 019 09853 z ISSN 2041 1723 PMC 6467886 PMID 30992437 Mente Carsten Prade Ina Brusch Lutz Breier Georg Deutsch Andreas 2010 10 01 Parameter estimation with a novel gradient based optimization method for biological lattice gas cellular automaton models Journal of Mathematical Biology 63 1 173 200 doi 10 1007 s00285 010 0366 4 ISSN 0303 6812 PMID 20886214 S2CID 12404555 Bussemaker Harmen J Deutsch Andreas Geigant Edith 1997 06 30 Mean Field Analysis of a Dynamical Phase Transition in a Cellular Automaton Model for Collective Motion Physical Review Letters 78 26 5018 5021 arXiv physics 9706008 Bibcode 1997PhRvL 78 5018B doi 10 1103 PhysRevLett 78 5018 ISSN 0031 9007 S2CID 45979152 Fuks Henryk Lawniczak Anna T 2001 Individual based lattice model for spatial spread of epidemics Discrete Dynamics in Nature and Society 6 3 191 200 doi 10 1155 s1026022601000206 hdl 1807 82157 Ilina Olga Gritsenko Pavlo G Syga Simon Lippoldt Jurgen La Porta Caterina A M Chepizhko Oleksandr Grosser Steffen Vullings Manon Bakker Gert Jan Starruss Jorn Bult Peter 2020 08 24 Cell cell adhesion and 3D matrix confinement determine jamming transitions in breast cancer invasion Nature Cell Biology 22 9 1103 1115 doi 10 1038 s41556 020 0552 6 ISSN 1476 4679 PMC 7502685 PMID 32839548 External links editBio LGCA Simulator An online simulator with elementary interactions with personalizable parameter values BIO LGCA Python Package An open source Python package for implementing BIO LGCA model simulations Retrieved from https en wikipedia org w index php title BIO LGCA amp oldid 1193782304, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.