1. Introduction
In cells co-culture experiments, after eight days, keratinocytes surround the melanoma clusters, limiting the growth of the melanoma cells. To be more specific, the keratinocytes are denser near the melanoma clusters and less dense farther away [
1]. It’s interesting that when keratinocytes are cultured with melanoma, they become less differentiated and connect with the melanoma instead of other keratinocytes nearby [
2] [
3]. These observations may explain biologically the different levels of tolerance to high density, which is called allelophilia, between melanoma and keratinocytes [
1].
As in concepts about discrete dynamic system modeling, this spatial characteristic observed on the eighth day of the experiment would correspond to an equilibrium state or attractor of the population dynamics. Conversely, the initial distribution of cells on the cell culture plate would be the initial condition of the basin of attraction. Thus, the system moves from the initial condition towards its attractor through state transitions like proliferation, migration, survival, and cell death, etc, causing changes in the spatial pattern of the population.
Herein, discrete dynamic system modeling approaches enables the modeling and analysis of the mechanisms governing the regulation of population density. Cellular Automata (CA) is a computational model where the cells are placed on the lattice and the state of each cell is updated at time
, based on logical rules that consider the state of the neighborhood cells at time
t such that the outcome is the emergence of spatial patterns at any given moment [
4] [
5] [
6]. Boolean networks (BN), in turn, are models commonly used in gene expression or signaling pathway studies. They consist of a collection of variables (the nodes), with binary states determined by other variables in the network through Boolean functions [
7] [
8]. There are algorithms that calculate the preimage of the CA trajectory in a backward direction, thereby unveiling the network of CA dynamics also called global dynamics [
9][
10]. For this reasons, CA and BN are considered instances of discrete dynamical systems composed of parallel-acting components [
10,
11]. The dynamics of both are driven by transition functions that determine the state transitions culminating in the system’s trajectory which is a path within the basin of attraction. Hence, CA are generalizations of BN one another in terms of basins of attraction [
9,
10,
11,
12,
13,
14,
15].
The Square-Lattice Cellular Automata (SLCA) and a two-dimensional version of Elementary Cellular Automata (ECA) has been successfully used to simulate avascular and vascular tumor growth [
16,
17,
18,
19,
20,
21,
22,
23] and invasion [
24,
25,
26,
27], tumor interactions with environmental cues [
28,
29,
30,
31,
32,
33,
34], stromal composition [
34,
35,
36,
37,
38] and tissue architecture [
39,
40,
41,
42]. Similarly, BN has been applied in many fields, including quantitative System Pharmacology [
43], competition in microbiome [
44], stability of apoptosis [
45,
46], epithelial-mesenchymal transition [
47] and target therapy [
48].
Here, we argue that once one can find the global dynamics of an CA in terms of basin of attraction, through an inferred boolean network (IBN) basin of attraction, one could discover the local dynamics of a CA to model a given population dynamic. The primary dimensional unit in a cell culture plate is the cell density (), and one can qualitatively characterize it as "high" or "low," like the confluence in cell plate culture. Given that CA dynamics are based on logical rules about the configuration of neighborhoods, the changing of these qualitative density states ("low" or "high") in the IBN basin of attraction could be the substrate for estimating CA rules. Given the above we aim (1) to infer a BN from the growth curve time series obtained from in vitro co-culture, (2) to estimate the rules of CA dynamics from the IBN basin of attraction by comparing the density states within each state transition and reaching a consensus among state transitions, and (3) to implement a CA to simulate spatial dynamics.
We observed that the binarization of the time series points to a high population density after the fourth day. The IBN functions let us choose a regulator for each node that is supported by the literature, and the CA rules estimated from the IBN basin suggest a condition for cells to migrate or proliferate that is consistent with what has been seen experimentally [
1][
3]. The migration of keratinocytes increases smoothly until the fourth day of the simulation, making them denser near melanoma clusters and limiting melanoma proliferation, so that the melanoma survival probability curve shape looks like a normal distribution depending on the proliferation capacity. Therefore, the simulation suggests that the attractor state of cell co-culture population dynamics would be induced by an increase in keratinocyte migration and survival, as well as the balance of proliferation and death concerning melanoma.
4. Discussion
In this study, we used the time series of the growth curve in the co-culture of T and H to infer a BN. Through BN inference, we were able to determine the boolean functions that led to network dynamics. These dynamics were shown in a state graph, where we arranged the state transitions according to the basin of attraction and estimated the CA rules. These estimated CA rules were biologically sound; hence, they could represent neighborhood or microenvironmental configurations that drive population dynamics toward the attractor state, as mentioned before.
The binarization of the growth curve data reveals that the population attained a high density after 4 days. This observation aligns with the findings of Morais et al [
1], who reported that the population achieves confluence after the same 4-day period. The proposed methodology captured the relationship between the confluence observed on the cell culture plate and the corresponding cell density. A boolean network of
n nodes exhibits
state transitions; hence, our time series, consisting of a sequence of 8 data points, can fully define the system. The occurrence of non-null error rates in the inferred boolean network arises due to the similarity of the
H and
T binarized trajectories, also known an identifiability, nevertheless, this issue can be solved by prior biological knowledge or by pruning the network nodes according to the context [
43].
The BestFit BN learning paradigm searches for possible boolean functions that describe the state of a given variable (node) at time
as a function of the network state (the states of all nodes) at time
t. In the heatmap (
Figure 2),
S is ON when both
T and
H are OFF, and vice versa, which means that
S inhibits both
T and
H, which in turn inhibits
S, and finally both
T and
H can "activate" each other.
The IBN 1 in Table and
Table 1 shows a canalizing node and a initial condition with no predecessor state transiton throughout basin of attraction. The IBN 2 in table Table and
Figure 3A, on the other hand, shows a small number of states before reaching the attractor. However, both networks (
Figure 3A,B) have the same attractor. Hence, different BNs can lead to the same attractors. This indicates that the estimation of CA rules was not affected by changes in the topology of the state graph, suggesting a system plastic capacity, as in the genetic networks [
69].
Indeed melanoma affects keratinocytes phenotypes [
2] [
3], our approach only captured an equilibrium state concerning local density of both melanoma and keratinocyte. By comparing the density states of state transitions
,
, and
, we could estimate the logical sentence
, suggesting that
T will only proliferate where there is more
T, since experiments with model organisms like zebrafish have shown that melanoma tends to cluster [
70]. Likewise, we could estimate the logical sentence
based on how the density states of states transition
,
, and
, meaning that either
H or
T will move away [
1] [
3]. It is worth highlighting that these Boolean expressions can be concurrently satisfied in a dynamic context. So, the potential for cell proliferation and migration is inherently incorporated, which reduces any challenges in modeling associated with the go-or-grow phenomenon [
71,
72,
73,
74,
75].
The spatial dynamic shows
H more denser nearby
T clusters than close to themselves (
Figure 6A,B); moreover, the values estimated for
and
are very similar, corroborating the results of Morais et al [
1] despite the dependence of estimated
on the initial condition. The growth curve certainly did not emerge from the dynamics itself, but it is likely hardwired to the instantaneous probability term present in eqs.
5 and
6 that was employed to represent the resources in the culture medium.
We could only estimate CA rules for proliferation and migration, then adopt an intrinsic condition for cells to survive and die. Normal cells like
H undergo a limited number of duplications in the cell culture plate and do not always reach 100% confluence because at each duplication the telomeres shorten, yielding to the onset of replicative senescence [
59,
60,
61]. In the case of cancer cells, i.e.,
T, the telomeres shorten with doublings, and the cells will enter a state of crisis or death. Both normal and cancer cells could die whenever there is no space, because
in vitro crowding situations lead some cells to undergo de-adherence and die [
68]. Moreover, crowding-induced elimination would facilitate the expansion of the malignant clones [
76,
77,
78,
79]. Due to the duration of the
in vitro experiment (see
Section 2.1), for simplification, we discarded stem cells with
in the model.
The proliferation capacity parameter (
) as a measure of
T death shows that cells with a lower
value tend to be at the edges of the clusters, competing for space with cells with a higher
value (
Figure 6E). As soon as the cells on the periphery die, the others proliferate and thus decrease their proliferation capacity. In this respect, the ignition of stem cells by space release and/or their capacity to proliferate more than those with no stemness are in agreement with previously published theoretical models [
62,
63,
64,
65,
66,
67], experimental evidence [
80], and the amalgamation of experimental data with mathematical modeling [
81] [
82].
Probably, if we had implemented a Lattice Gas Cellular Automata (LGCA), by considering that proliferating
T cells could pile up due to the lack of contact inhibition,
T proliferation would naturally be counterbalanced by their death because of mass action in the growth dynamics. Even though we used a simple SLCA, which doesn’t let us include more than one cell per lattice vertex, this makes it harder to include the lack of contact inhibition, which is typical of cancer cells. However, even if cancer cells present a low contact inhibition degree, mechanical factors could restrict their proliferation [
83]. The approach using proliferation capacity as a simpler rule to distinguish death from survival allowed us to observe a decrease in the
density ratio, which we hypothesize to be due to death-induced proliferation (
Figure 6G). It is biologically sound because pathways involved in contact inhibition might go through a transition towards the regulation of autophagy, which in turn can yield survival and proliferation [
84].
Our results suggest that the inference of BN from the co-culture growth curve time series provides a path to estimate specifics microenvironmental conditions for proliferation and migration in terms of CA dynamic rules, despite the tumor microenvironment being considered a complex regulatory network that shapes tumor architecture and growth law [
57,
85,
86,
87,
88]. Even though the spatial population dynamics model was made using a mix of estimated data from IBN dynamics and observations from the literature, the results are in line with experimental data. Hitherto, we simulate local dynamics by running the CA forward for space-time patterns and this was enough to reach our goals, but as future perspective our approach could be coupled with the software DDLAB (
www.ddlab.org) in order to develop a pipeline to evaluate the dynamic upon or on the network [
9,
10].
Since either model-driven experimentation or data-driven modeling are important ways to improve and integrate mathematical, biological, and clinical models, unraveling CA rules from BN dynamics could be useful to capture any interaction between cells in terms of density patterns and it deserve room for further refinement. This is mainly because a discrete approach can be linked with a continuous one [
89,
90], and important parameters beyond the local or global dynamics can be estimated. Cell co-culture is an experimental system that can comprise diverse time points, images of spatial features, and different cell types and densities. This makes it much easier to figure out how networks work at the tissue scale, especially when it comes to figuring out how to reconstruct population dynamics.