https://arxiv.org/api/LzjI3ybILxZEJkdd2JdcGEru3Kw 2026-06-10T21:50:19Z 1671 300 15 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 http://arxiv.org/abs/2207.05446v1 2022-07-12T10:28:26Z

This work introduces a new problem, named as, affinity classification problem which is a generalization of the density classification problem. To solve this problem, we introduce temporally stochastic cellular automata where two rules are stochastically applied in each step on all cells of the automata. Our model is defined on 2-dimensional grid having affection capability. We show that this model can be used in several applications like modeling self-healing systems.

2022-07-12T10:28:26Z Kamalika Bhattacharjee Subrata Paul Sukanta Das http://arxiv.org/abs/2112.13930v2 2022-07-10T16:35:37Z

Magnetohydrodynamic (MHD) flow of liquid metals through conduits play an important role in the proposed systems for harnessing fusion energy, and various other engineering and scientific problems. The interplay between the magnetic fields and the fluid motion gives rise to complex flow physics, which depend on the electrical conductivity of the bounding walls. An effective approach to represent the latter is via the Shercliff boundary condition for thin conducting walls relating the induced magnetic field and its wall normal gradient at the boundary via a parameter referred to as the wall conductance ratio (Shercliff, JA, J. Fluid Mech. 1, 644 (1956)). Within the framework of the highly parallelizable lattice Boltzmann (LB) method, a lattice kinetic scheme for MHD involving a vector distribution function for the magnetic fields was proposed by Dellar (Dellar, PJ, J. Comp. Phys. 179, 95 (2002)). However, the prior LB algorithms only accounted for limiting special cases involving perfectly insulated boundaries and did not consider the finite conductivity effects. In this paper, we present two new boundary schemes that enforce the Shercliff boundary condition in the LB schemes for MHD. It allows for the specification of the wall conductance ratio to any desired value based on the actual conductivities and length scales of the container and the wall thicknesses. One approach is constructed using a link-based formulation involving a weighted combination of the bounce back and anti-bounce back of the distribution function for the magnetic field and the other approach involves an on-node moment-based implementation. Moreover, their extensions to representing moving walls are also presented. Numerical validations of the boundary schemes for body force or shear driven MHD flows for a wide range of the values of the wall conductance ratio and their second order grid convergence are demonstrated.

2021-12-27T22:55:17Z 49 pages, 16 figures Eman Yahia Kannan Premnath http://arxiv.org/abs/2207.04885v1 2022-07-08T15:48:38Z

The Global Cellular Automata (GCA) Model is a generalization of the Cellular Automata (CA) Model. The GCA model consists of a collection of cells which change their states depending on the states of their neighbors, like in the classical CA model. In generalization of the CA model, the neighbors are no longer fixed and local, they are variable and global. In the basic GCA model, a cell is structured into a data part and a pointer part. The pointer part consists of several pointers that hold addresses to global neighbors. The data rule defines the new data state, and the pointer rule define the new pointer states. The cell's state is synchronously or asynchronously updated using the new data and new pointer states. Thereby the global neighbors can be changed from generation to generation. Similar to the CA model, only the own cell's state is modified. Thereby write conflicts cannot occur, all cells can work in parallel which makes it a massively parallel model. The GCA model is related to the CROW (concurrent read owners write) model, a specific PRAM (parallel random access machine) model. Therefore many of the well-studied PRAM algorithms can be transformed into GCA algorithms. Moreover, the GCA model allows to describe a large number of data parallel applications in a suitable way. The GCA model can easily be implemented in software, efficiently interpreted on standard parallel architectures, and synthesized / configured into special hardware target architectures. This article reviews the model, applications, and hardware architectures.

2022-07-08T15:48:38Z 83 pages, 34 figures Rolf Hoffmann http://arxiv.org/abs/2201.07341v3 2022-07-07T00:49:32Z

We implement a divide-and-concur iterative projection approach to context-free grammar inference. Unlike most state-of-the-art models of natural language processing, our method requires a relatively small number of discrete parameters, making the inferred grammar directly interpretable -- one can read off from a solution how to construct grammatically valid sentences. Another advantage of our approach is the ability to infer meaningful grammatical rules from just a few sentences, compared to the hundreds of gigabytes of training data many other models employ. We demonstrate several ways of applying our approach: classifying words and inferring a grammar from scratch, taking an existing grammar and refining its categories and rules, and taking an existing grammar and expanding its lexicon as it encounters new words in new data.

2022-01-18T22:42:43Z Phys. Rev. E 105, 064303 (2022) Sean Deyo Veit Elser 10.1103/PhysRevE.105.064303 http://arxiv.org/abs/2206.15050v1 2022-06-30T06:27:47Z

We generalize the exact predictive regularity of symmetry groups to give an algebraic theory of patterns, building from a core principle of future equivalence. For topological patterns in fully-discrete one-dimensional systems, future equivalence uniquely specifies a minimal semiautomaton. We demonstrate how the latter and its semigroup algebra generalizes translation symmetry to partial and hidden symmetries. This generalization is not as straightforward as previously considered. Here, though, we clarify the underlying challenges. A stochastic form of future equivalence, known as predictive equivalence, captures distinct statistical patterns supported on topological patterns. Finally, we show how local versions of future equivalence can be used to capture patterns in spacetime. As common when moving to higher dimensions, there is not a unique local approach, and we detail two local representations that capture different aspects of spacetime patterns. A previously-developed local spacetime variant of future equivalence captures patterns as generalized symmetries in higher dimensions, but we show this representation is not a faithful generator of its spacetime patterns. This motivates us to introduce a local representation that is a faithful generator, but we demonstrate that it no longer captures generalized spacetime symmetries. Taken altogether, building on future equivalence, the theory defines and quantifies patterns present in a wide range of classical field theories.

2022-06-30T06:27:47Z Adam Rupe James P. Crutchfield 10.3390/sym14081636