https://arxiv.org/api/vcsK8JQSML8g6eW5ur1I3TGUVU4 2026-03-28T09:12:03Z 1647 270 15 http://arxiv.org/abs/2210.13971v1 2022-10-20T14:56:02Z

In this dissertation, we study temporally stochasticity in cellular automata and the behavior of such cellular automata. The work also explores the computational ability of such cellular automaton that illustrates the computability of solving the affinity classification problem. In addition to that, a cellular automaton, defined over Cayley tree, is shown as the classical searching problem solver. The proposed temporally stochastic cellular automata deals with two elementary cellular automata rules, say $f$ and $g$. The $f$ is the default rule, however, $g$ is temporally applied to the overall system with some probability $τ$ which acts as a noise in the system. After exploring the dynamics of temporally stochastic cellular automata (TSCAs), we study the dynamical behavior of these temporally stochastic cellular automata (TSCAs) to identify the TSCAs that converge to a fixed point from any seed. We apply each of the convergent TSCAs to some standard datasets and observe the effectiveness of each TSCA as a pattern classifier. It is observed that the proposed TSCA-based classifier shows competitive performance in comparison with existing classifier algorithms. We use temporally stochastic cellular automata to solve a new problem in the field of cellular automata, named as, affinity classification problem which is a generalization of the density classification problem . We show that this model can be used in several applications, like modeling self-healing systems. Finally, we introduce a new model of computing unit developed around cellular automata to reduce the workload of the Central Processing Unit (CPU) of a machine to compute. Each cell of the computing unit acts as a tiny processing element with attached memory. Such a CA is implemented on the Cayley Tree to realize efficient solutions for diverse computational problems.

2022-10-20T14:56:02Z This is my M.Tech thesis under the guidance of Dr. Sukanta Das, Associate Professor, Department of Information Technology, Indian Institute of Engineering Science and Technology Subrata Paul http://arxiv.org/abs/2210.07837v1 2022-10-14T14:07:40Z

Garden of Eden (GOE) states in cellular automata are grid configurations which have no precursors, that is, they can only occur as initial conditions. Finding individual configurations that minimize or maximize some criterion of interest (e.g., grid size, density, etc.) has been a popular sport in recreational mathematics, but systematic studies of the set of GOEs for a cellular automaton have been rare. This paper presents the current results of an ongoing computational study of GOE configurations in Conway's Game of Life (GoL) cellular automaton. Specifically, we describe the current status of a map of the layout of GOEs and nonGOEs in density/size space, characterize how the density-dependent structure of the number of precursors varies with increasing grid size as we approach the point where GOEs begin to occur, provide a catalog of all known GOE configurations up to a grid size of 11x11, and initiate a study of the structure of the network of constraints that characterize GOE vs. nonGOE configurations.

2022-10-14T14:07:40Z Randall D. Beer http://arxiv.org/abs/2210.00676v1 2022-10-03T01:43:08Z

For non-uniform cellular automata (NUCA) with finite memory over an arbitrary universe with multiple local transition rules, we show that pointwise nilpotency, pointwise periodicity, and pointwise eventual periodicity properties are respectively equivalent to nilpotency, periodicity, and eventual periodicity. Moreover, we prove that every linear NUCA which satisfies pointwise a polynomial equation (which may depend on the configuration) must be an eventually periodic linear NUCA. Generalizing results for higher dimensional group and linear CA, we also establish the decidability results of the above dynamical properties as well as the injectivity for arbitrary NUCA with finite memory which are local perturbations of higher dimensional linear and group CA. Some generalizations to the case of sparse global perturbations of higher dimensional linear and group CA are also obtained.

2022-10-03T01:43:08Z Xuan Kien Phung http://arxiv.org/abs/2104.01242v5 2022-09-27T00:20:57Z

In past work, we developed a computational model of the evolution of symbiotic entities (Model-S), based on Conway's Game of Life. In this article, we examine three trends that biologists have observed in the evolution of symbiotes. (1) Management: If one partner is able to control the symbiotic relation, this control can reduce conflict; thus, evolutionary selection favours symbiotes that have a manager. (2) Mutualism: Although partners in a symbiote often have conflicting needs, evolutionary selection favours symbiotes in which partners are better off together inside the symbiote than they would be as individuals outside of the symbiote. (3) Interaction: Repeated interaction among partners in symbiosis tends to promote increasing fitness due to evolutionary selection. We have added new components to Model-S that allow us to observe these three trends in runs of Model-S. The new components are analogous to the practice of staining cells in biology research, to reveal patterns that are not usually visible. When we measure the fitness of a symbiote by making it compete with other symbiotes, we find that fitter symbiotes have significantly more management, mutualism, and interaction than less fit symbiotes. These results confirm the trends observed in nature by biologists. Model-S allows biologists to study these evolutionary trends and other characteristics of symbiosis in ways that are not tractable with living organisms.

2021-04-02T21:23:48Z Peter D. Turney http://arxiv.org/abs/2209.12434v1 2022-09-26T05:47:05Z

Cellular automata (CA) is an important modelling paradigm for complex systems. In the design of cellular automata, the most difficult task is to find the transformation rules that describe the temporal evolution or pattern of a modelled system. A CA with weights(CAW) yields transition rules algorithm is proposed in this paper, which have ample physical meanings and extend the category of CA. Firstly, the weights are increased to connect the updated cell and its neighbours, and the output of each cell depends on the states of cells in the neighbourhood and their respective weights. Secondly, the error correction algorithm is adopted to find correct transition rules by adjusting weights. When the error is zero, the required transition rules with correct weights will be found to describe the fixed configuration. The CAW with the correct rules will relax to the fixed configuration regardless of the initial states. Finally, the mathematical analysis and simulation are carried out with one-dimensional CAW, and the results show that the proposed algorithm has the ability to find correct transition rules as the error converges exponentially.

2022-09-26T05:47:05Z International Journal of Bio-Inspired Computation (2022) International Journal of Bio-Inspired Computation, 2023 Vol.21 No.4, pp.189 - 199 (2023) Lei Kou Fangfang Zhang Luobing Chen Wende Ke Quande Yuan Junhe Wan Zhen Wang 10.1504/IJBIC.2023.132760 http://arxiv.org/abs/2209.06002v1 2022-09-13T13:50:07Z

For linear non-uniform cellular automata (NUCA) which are local perturbations of linear CA over a group universe $G$ and a finite-dimensional vector space alphabet $V$ over an arbitrary field $k$, we investigate their Dedekind finiteness property, also known as the direct finiteness property, i.e., left or right invertibility implies invertibility. We say that the group $G$ is $L^1$-surjunctive, resp. finitely $L^1$-surjunctive, if all such linear NUCA are automatically surjective whenever they are stably injective, resp. when in addition $k$ is finite. In parallel, we introduce the ring $D^1(k[G])$ which is the Cartesian product $k[G] \times (k[G])[G]$ as an additive group but the multiplication is twisted in the second component. The ring $D^1(k[G])$ contains naturally the group ring $k[G]$ and we obtain a dynamical characterization of its stable finiteness for every field $k$ in terms of the finite $L^1$-surjunctivity of the group $G$, which holds for example when $G$ is residually finite or initially subamenable. Our results extend known results in the case of CA.

2022-09-13T13:50:07Z Can. J. Math.-J. Can. Math. 76 (2024) 1089-1108 Xuan Kien Phung 10.4153/S0008414X23000329 http://arxiv.org/abs/2201.00395v2 2022-09-06T09:21:34Z

In this article we study a set of integrable quantum cellular automata,the quantum hardcore gases (QHCG), with an arbitrary local Hilbert space dimension, and discuss the matrix product ansatz based approach for solving the dynamics of local operators analytically. Subsequently, we focus on the dynamics of operator spreading, in particular on the out-of-time ordered correlation functions (OTOCs), operator weight spreading and operators space entanglement entropy (OSEE). All of the quantities were conjectured to provide signifying features of integrable systems and quantum chaos. We show that in QHCG OTOCs spread diffusively and that in the limit of the large local Hilbert space dimension they increase linearly with time, despite their integrability. On the other hand, it was recently conjectured that operator weight front, which is associated with the extent of operators, spreads diffusively in both, integrable and generic systems, but its decay seems to differ in these two cases. We observe that the spreading of the operator weight front in QHCG is markedly different from chaotic, generic integrable and free systems, as the front freezes in the long time limit. Finally, we discuss the OSEE in QHCG and show that it grows at most logarithmically with time in accordance with the conjectured behaviour for interacting integrable systems.

2022-01-02T19:20:46Z 25 pages, 8 figures Marko Medenjak 10.1088/1751-8121/ac8fc4 http://arxiv.org/abs/1907.06063v5 2022-09-01T17:49:13Z

A number-conserving cellular automaton is a simplified model for a system of interacting particles. This paper contains two related constructions by which one can find all one-dimensional number-conserving cellular automata with one kind of particle. The output of both methods is a "flow function", which describes the movement of the particles. In the first method, one puts increasingly stronger restrictions on the particle flow until a single flow function is specified. There are no dead ends, every choice of restriction steps ends with a flow. The second method uses the fact that the flow functions can be ordered and then form a lattice. This method consists of a recipe for the slowest flow that enforces a given minimal particle speed in one given neighbourhood. All other flow functions are then maxima of sets of these flows. Other questions, like that about the nature of non-deterministic number-conserving rules, are treated briefly at the end.

2019-07-13T12:15:05Z 29 pages, 6 figures Fundamenta Informaticae, Volume 187, Issue 1 (October 21, 2022) fi:9736 Markus Redeker 10.3233/FI-222129 http://arxiv.org/abs/2209.01022v1 2022-08-31T18:09:15Z

In this work, to support decision making of immunisation strategies, we propose the inclusion of two vaccination doses in the SEIR model considering a stochastic cellular automaton. We analyse three different scenarios of vaccination: $i) unlimited doses, (ii) limited doses into susceptible individuals, and (iii) limited doses randomly distributed overall individuals. Our results suggest that the number of vaccinations and time to start the vaccination is more relevant than the vaccine efficacy, delay between the first and second doses, and delay between vaccinated groups. The scenario (i) shows that the solution can converge early to a disease-free equilibrium for a fraction of individuals vaccinated with the first dose. In the scenario (ii), few two vaccination doses divided into a small number of applications reduce the number of infected people more than into many applications. In addition, there is a low waste of doses for the first application and an increase of the waste in the second dose. The scenario (iii) presents an increase in the waste of doses from the first to second applications more than the scenario $(ii)$. In the scenario (iii), the total of wasted doses increases linearly with the number of applications. Furthermore, the number of effective doses in the application of consecutive groups decays exponentially overtime.

2022-08-31T18:09:15Z Enrique C. Gabrick Paulo R. Protachevicz Antonio M. Batista Kelly C. Iarosz Silvio L. T. de Souza Alexandre C. L. Almeida José D. Szezech Michele Mugnaine Iberê L. Caldas 10.1016/j.physa.2022.127258 http://arxiv.org/abs/2208.13069v1 2022-08-27T18:20:11Z

For linear non-uniform cellular automata (NUCA) over an arbitrary universe, we introduce and investigate their dual linear NUCA. Generalizing results for linear CA, we show that dynamical properties namely pre-injectivity, resp. injectivity, resp. stably injectivity, resp. invertibility of a linear NUCA is equivalent to surjectivity, resp. post-surjectivity, resp. stably post-surjectivity, resp. invertibility of the dual linear NUCA. However, while bijectivity is a dual property for linear CA, it is no longer the case for linear NUCA. We prove that for linear NUCA, stable injectivity and stable post-surjectivity are precisely characterized respectively by left invertibility and right invertibility and that a linear NUCA is invertible if and only if it is pre-injective and stably post-surjective. Moreover, we show that linear NUCA satisfy the important shadowing property. Applications on the dual surjunctivity are also obtained.

2022-08-27T18:20:11Z Xuan Kien Phung http://arxiv.org/abs/1906.11916v2 2022-08-24T19:44:04Z

Bus rapid transit (BRT) systems are a cost-effective public transportation solution moving millions of passengers every day. To optimize their operation, it is usual to implement macroscopic models that neglect the microscopic details of bus motion. In this work we show that the docking bay assignment (DBA) for the bus services at the stations, one of those disregarded microscopic details, has a large impact on the overall BRT performance. To evaluate the variations in the system's performance upon changes on the DBA, we have simulated the entire operation of a simplified BRT system using a cellular automaton microsimulation scheme. We find that the critical service frequency, above which bus queues appear, strongly depends on the DBA at the busiest stations in the system, leading to significant performance differences. Smaller critical frequencies, and poorer performance, are observed as the service demand for the services sharing a docking bay increases. By approximating the frequency optimization problem, we show that, due to the limitations imposed to the optimal frequencies by the critical frequency, the service frequencies that minimize the total cost depend on the DBA at the busiest stations. This correlation becomes stronger as the passenger demand increases and as more importance is given to the passenger time in the total cost. Our results suggest that the frequency optimization problem in BRT systems must include the docking bay assignment at the busiest stations as an additional operation variable.

2019-06-27T19:11:47Z Transportation Research Record (2022) M. A. Uribe-Laverde W. F. Oquendo-Patiño 10.1177/03611981221112943 http://arxiv.org/abs/2208.09444v1 2022-08-19T16:50:39Z

John H. Conway's Game of Life, as well as cellular automata in the larger family of Life-like CA, are discrete: the cells have a binary state space and the birth and survival transition rules are 9-bits apiece. Inspired by Life, several projects have developed continuously-valued cellular automata frameworks in 2 dimensions. These CA systems are necessarily imperfect approximations of ideal continuous systems when they are implemented in a digital computer, and this inevitably leads to discretization errors. As we know since at least the time of Poincairé's work on the three-body problem, arbitrarily small errors in a complex dynamic system can lead to substantial behavioral deviation over time. This outline of intent is based on observations in cellular automata that, in certain cases, errors are not only well-tolerated, but are essential for self-organization. This manuscript describes a set of experiments to investigate the importance of discretization in approximating continuously valued dynamic systems, how and when discretization is required for self-organization to occur, and the relevance the results might have with respect to emergent agency and analogies for consciousness.

2022-08-19T16:50:39Z Q. Tyrell Davis http://arxiv.org/abs/2109.09709v2 2022-08-12T07:57:08Z

Why does time appear to pass irreversibly? To investigate, we introduce a class of partitioned cellular automata (PCAs) whose cellwise evolution is based on the chaotic baker's map. After imposing a suitable initial condition and restricting to a macroscopic view, we are left with a stochastic PCA (SPCA). When the underlying PCA's dynamics are reversible, the corresponding SPCA serves as a model of emergent time-reversal asymmetry. Specifically, we prove that its transition probabilities are homogeneous in space and time, as well as Markov relative to a Pearlean causal graph with timelike future-directed edges. Consequently, SPCAs satisfy generalizations of the second law of thermodynamics, which we term the Resource and Memory Laws. By subjecting information-processing agents (e.g., human experimenters) to these laws, we clarify issues regarding the Past Hypothesis, Landauer's principle, Boltzmann brains, scientific induction, and the so-called psychological arrow of time. Finally, by describing a theoretical agent powered by data compression, we argue that the algorithmic entropy takes conceptual precedence over both the Shannon-Gibbs and Boltzmann entropies.

2021-09-16T10:04:02Z 64 pages, LaTeX; substantial revision with clearer exposition Aram Ebtekar http://arxiv.org/abs/2208.00746v1 2022-08-01T11:08:50Z

There is evidence that biological systems, such as the brain, work at a critical regime robust to noise, and are therefore able to remain in it under perturbations. In this work, we address the question of robustness of critical systems to noise. In particular, we investigate the robustness of stochastic cellular automata (CAs) at criticality. A stochastic CA is one of the simplest stochastic models showing criticality. The transition state of stochastic CA is defined through a set of probabilities. We systematically perturb the probabilities of an optimal stochastic CA known to produce critical behavior, and we report that such a CA is able to remain in a critical regime up to a certain degree of noise. We present the results using error metrics of the resulting power-law fitting, such as Kolmogorov-Smirnov statistic and Kullback-Leibler divergence. We discuss the implication of our results in regards to future realization of brain-inspired artificial intelligence systems.

2022-08-01T11:08:50Z 11 pages and 7 figures Physica D: Nonlinear Phenomena 441 (2022) Sidney Pontes-Filho Pedro Lind Stefano Nichele 10.1016/j.physd.2022.133507 http://arxiv.org/abs/2109.06031v2 2022-07-15T08:11:54Z

Cancer development is a multistep process often starting with a single cell in which a number of epigenetic and genetic alterations have accumulated thus transforming it into a tumor cell. The progeny of such a single benign tumor cell expands in the tissue and can at some point progress to malignant tumor cells until a detectable tumor is formed. The dynamics from the early phase of a single cell to a detectable tumor with billions of tumor cells are complex and still not fully resolved, not even for the well-known prototype of multistage carcinogenesis, the adenoma-adenocarcinoma sequence of colorectal cancer. Mathematical models of such carcinogenesis are frequently tested and calibrated based on reported age-specific incidence rates of cancer, but they usually require calibration of four or more parameters due to the wide range of processes these models aim to reflect. We present a cell-based model, which focuses on the competition between wild-type and tumor cells in colonic crypts, with which we are able reproduce epidemiological incidence rates of colon cancer. Additionally, the fraction of cancerous tumors with precancerous lesions predicted by the model agree with clinical estimates. The correspondence between model and reported data suggests that the fate of tumor development is majorly determined by the early phase of tumor growth and progression long before a tumor becomes detectable. Due to the focus on the early phase of tumor development, the model has only a single fit parameter, the time scale set by an effective replacement rate of stem cells in the crypt. We find this effective rate to be considerable smaller than the actual replacement rate, which implies that the time scale is limited by the processes succeeding clonal conversion of crypts.

2021-09-04T10:03:46Z 28 pages, 13 figures PLoS Comput Biol 18(8): e1010403 (2022) Steffen Lange Richard Mogwitz Denis Hünniger Anja Voss-Böhme 10.1371/journal.pcbi.1010403