https://arxiv.org/api//RZZQfAcd6u4YB76LrM8NXiDZwI 2026-06-10T23:51:49Z 1671 330 15 http://arxiv.org/abs/2204.00136v1 2022-03-31T23:44:13Z

The prediction of the behavior of the disease, the level of affectation in a population and the ways to control it are the most important aspects studied by epidemiology using tools such as historical data and mathematical models. So, our objective is (1) to provide a tool capable of analyzing epidemiological phenomena starting from the most common social interactions within a group of individuals. (2) To provide a methodology to build epidemiological models from patterns and logical rules. (3) Determine the impact of social interactions on the spread of a disease. This paper describes the logical construction of two epidemiological models in cellular automata together with two of their variations based on topological and dynamical principles.

2022-03-31T23:44:13Z Jorge Andrés Ibáñez Huertas Carlos Isaac Zainea Maya http://arxiv.org/abs/2112.01778v2 2022-03-26T20:28:59Z

We establish new connections between percolation, bootstrap percolation, probabilistic cellular automata and deterministic ones. Surprisingly, by juggling with these in various directions, we effortlessly obtain a number of new results in these fields. In particular, we prove the sharpness of the phase transition of attractive absorbing probabilistic cellular automata, a class of bootstrap percolation models and kinetically constrained models. We further show how to recover a classical result of Toom on the stability of cellular automata w.r.t. noise and, inversely, how to deduce new results in bootstrap percolation universality from his work.

2021-12-03T08:25:40Z 22 pages, improved presentation J. Stat. Phys. 187 (2022), 21 Ivailo Hartarsky 10.1007/s10955-022-02922-6 http://arxiv.org/abs/2203.13703v1 2022-03-25T15:18:04Z

Based on the concept of ontological states and their dynamical evolution by permutations, as assumed in the Cellular Automaton Interpretation (CAI) of quantum mechanics, we address the issue whether quantum-classical hybrids can be described consistently in this framework. We consider chains of 'classical' two-state Ising spins and their discrete deterministic dynamics as an ontological model with an unitary evolution operator generated by pair exchange interactions. A simple error mechanism is identified, which turns them into quantum mechanical objects, chains of qubits. Consequently, an interaction between a quantum mechanical and a 'classical' chain can be introduced and its consequences for this quantum-classical hybrid be studied. We find that such hybrid character of composites, generally, does not persist under interactions and, therefore, cannot be upheld consistently, or even as a fundamental notion as in Kopenhagen interpretation, within CAI.

2022-03-25T15:18:04Z 13 pages, 3 figures; prepared and accepted for publication in Universe Universe 8 (2022) 207 Hans-Thomas Elze 10.3390/universe8040207 http://arxiv.org/abs/2111.12040v2 2022-03-16T18:18:31Z

We show an efficient algorithm for generating geodesic regular tree structures for periodic hyperbolic and Euclidean tessellations and experimentally verify its performance on tessellations.

2021-11-23T17:50:19Z Dorota Celińska-Kopczyńska Eryk Kopczyński http://arxiv.org/abs/2203.05236v1 2022-03-10T08:49:32Z

In this paper, we mainly study linear one-dimensional and two-dimensional elementary cellular automata that generate symmetrical spatio-temporal patterns. For spatio-temporal patterns of cellular automata from the single site seed, we normalize the number of nonzero states of the patterns, take the limits, and give one-variable functions for the limit sets. We can obtain a one-variable function for each limit set and show that the resulting functions are singular functions, which are non-constant, are continuous everywhere, and have a zero derivative almost everywhere. We show that for Rule 90, a one-dimensional elementary cellular automaton (CA), and a two-dimensional elementary CA, the resulting functions are Salem's singular functions. We also discuss two nonlinear elementary CAs, Rule 22, and Rule 126. Although their spatio-temporal patterns are different from that of Rule 90, their resulting functions from the number of nonzero states equal the function of Rule 90.

2022-03-10T08:49:32Z 26 pages, 16 figures Akane Kawaharada 10.1016/j.physd.2022.133428 http://arxiv.org/abs/2004.11202v2 2022-03-09T13:32:09Z

In this paper we consider the problem of estimating emissions due to vehicular traffic on complex networks, and minimizing their effect by regulating traffic at junctions. For the traffic evolution, we consider a Generic Second Order Model, which encompasses the majority of two-equations (i.e. second-order) models available in the literature, and extend it to road networks with merge and diverge junctions. The dynamics on the whole network is determined by selecting a solution to the Riemann Problems at junctions, i.e. the Cauchy problems with constant initial data on each incident road. The latter are solved assuming the maximization of the flow and assigning a traffic distribution coefficient for outgoing roads of diverges, and a priority rule for incoming roads of merges. A general emission model is considered and its parameters are tuned to the NOx emission rate. The minimization of emissions is then formulated in terms of the traffic distribution and priority parameters, taking into account travel times. A comparison is provided between roundabouts with optimized parameters and traffic lights, which correspond to time-varying traffic priorities. Our approach can be adapted to manage traffic in complex networks in order to reduce emissions while keeping travel time at acceptable levels.

2020-04-20T09:49:26Z 24 pages, 11 figures Caterina Balzotti Maya Briani Benedetto Piccoli http://arxiv.org/abs/2107.09385v2 2022-03-09T06:02:51Z

Anderson localization confines the wave function of a quantum particle in a one-dimensional random potential to a volume of the order of the localization length $ξ$. Nonlinear add-ons to the wave dynamics mimic many-body interactions on a mean field level, and result in escape from the Anderson cage and in unlimited subdiffusion of the interacting cloud. We address quantum corrections to that subdiffusion by (i) using the ultrafast unitary Floquet dynamics of discrete-time quantum walks, (ii) an interaction strength ramping to speed up the subdiffusion, and (iii) an action discretization of the nonlinear terms. We observe the saturation of the cloud expansion of $N$ particles to a volume $\sim Nξ$. We predict and observe a universal intermediate logarithmic expansion regime which connects the mean-field diffusion with the final saturation regime and is entirely controlled by particle number $N$. The temporal window of that regime grows exponentially with the localization length $ξ$.

2021-07-20T10:06:19Z 7 pages, 4 figures. Similar to the published version. Comments are welcome Physical Review A Letter 105, L020202 (2022) Arindam Mallick Sergej Flach 10.1103/PhysRevA.105.L020202 http://arxiv.org/abs/2101.12682v3 2022-03-05T16:20:38Z

Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite perturbation of a valid configuration, the cellular automaton must eventually fall back into the space of valid configurations where it remains still. We allow the cellular automaton to use extra symbols, but in that case, the extra symbols can also appear in the initial finite perturbation. For several classes of local constraints (e.g., $k$-colourings with $k\neq 3$, and North-East deterministic constraints), we provide efficient self-stabilising cellular automata with or without additional symbols that wash out finite perturbations in linear or quadratic time, but also show that there are examples of local constraints for which the self-stabilisation problem is inherently hard. We note that the optimal self-stabilisation speed is the same for all local constraints that are isomorphic to one another. We also consider probabilistic cellular automata rules and show that in some cases, the use of randomness simplifies the problem. In the deterministic case, we show that if finite perturbations are corrected in linear time, then the cellular automaton self-stabilises even starting from a random perturbation of a valid configuration, that is, when errors in the initial configuration occur independently with a sufficiently low density.

2021-01-29T16:53:01Z 56 pages, 28 figures Fundamenta Informaticae, Volume 185, Issue 1 (March 10, 2022) fi:7178 Nazim Fatès Irène Marcovici Siamak Taati 10.3233/FI-222103 http://arxiv.org/abs/2202.11224v1 2022-02-22T22:52:45Z

Motivated by recent experimental studies in microbiology, we suggest a modification of the classic ballistic deposition model of surface growth, where the memory of a deposition at a site induces more depositions at that site or its neighbors. By studying the statistics of surfaces in this model, we obtain three independent critical exponents: the growth exponent $β=5/4$, the roughening exponent $α= 2$, and the new (size) exponent $γ= 1/2$. The model requires a modification to the Family-Vicsek scaling, resulting in the dynamical exponent $z = \frac{α+γ}β = 2$. This modified scaling collapses the surface width vs time curves for various lattice sizes. This is a previously unobserved universality class of surface growth that could describe surface properties of a wide range of natural systems.

2022-02-22T22:52:45Z Ahmed Roman Ruomin Zhu Ilya Nemenman http://arxiv.org/abs/2202.02499v1 2022-02-05T06:50:15Z

We analyze a stochastic particle system of 5 neighbors. Considering eigenvalue problem of transition matrix, we propose a conjecture that asymptotic distribution of the system is determined by the number of specific local patterns in the asymptotic solution. Based on the conjecture, mean flux which depends of a pair of the conserved quantities is derived theoretically. Moreover, we obtain mean flux in the deterministic case through the limit of stochastic parameter.

2022-02-05T06:50:15Z 10 pages Kazushige Endo http://arxiv.org/abs/2111.05960v2 2022-02-04T09:58:40Z

Most of the lattice Boltzmann methods simulate an approximation of the sharp interface problem of dissolution and precipitation. In such studies the curvature-driven motion of interface is neglected in the Gibbs-Thomson condition. In order to simulate those phenomena with or without curvature-driven motion, we propose a phase-field model which is derived from a thermodynamic functional of grand-potential. Compared to the free energy, the main advantage of the grand-potential is to provide a theoretical framework which is consistent with the equilibrium properties such as the equality of chemical potentials. The model is composed of one equation for the phase-field φ coupled with one equation for the chemical potential μ. In the phase-field method, the curvature-driven motion is always contained in the phase-field equation. For canceling it, a counter term must be added in the φ-equation. For reason of mass conservation, the μ-equation is written with a mixed formulation which involves the composition c and the chemical potential. The closure relationship between c and μ is derived by assuming quadratic free energies of bulk phases. The anti-trapping current is also considered in the composition equation for simulations with null solid diffusion. The lattice Boltzmann schemes are implemented in LBM_saclay, a numerical code running on various High Performance Computing architectures. Validations are carried out with analytical solutions representative of dissolution and precipitation. Simulations with or without counter term are compared on the shape of porous medium characterized by microtomography. The computations have run on a single GPU-V100.

2021-11-08T14:48:07Z 25 pages, 20 figures, 4 tables Téo Boutin Werner Verdier Alain Cartalade http://arxiv.org/abs/2202.00431v1 2022-02-01T14:38:35Z

Predictions of emergent phenomena, appearing on the macroscopic layer of a complex system, can fail if they are made by a microscopic model. This study demonstrates and analyses this claim on a well-known complex system, Conway's Game of Life. Straightforward macroscopic mean-field models are easily capable of predicting such emergent properties after they are fitted to simulation data in an after-the-fact way. Thus, these predictions are macro-to-macro only. However, a micro-to-macro model significantly fails to predict correctly, as does the obvious mesoscopic modeling approach. This suggests that some macroscopic system properties in a complex dynamic system should be interpreted as examples of phenomena (properties) arising from "strong emergence", due to the lack of ability to build a consistent micro-to-macro model, that could explain these phenomena in a before-the-fact way. The root cause for this inability to predict this in a micro-to-macro way is identified as the pattern formation process, a phenomenon that is usually classified as being of "weak emergence". Ultimately, this suggests that it may be in principle impossible to discriminate between such distinct categories of "weak" and "strong" emergence, as phenomena of both types can be part of the very same feedback loop that mainly governs the system's dynamics.

2022-02-01T14:38:35Z 15 pages, 10 figures, 5 tables Thomas Schmickl 10.1155/2022/9956885 http://arxiv.org/abs/1908.06751v4 2022-01-26T10:02:31Z

This paper studies three classes of cellular automata from a computational point of view: freezing cellular automata where the state of a cell can only decrease according to some order on states, cellular automata where each cell only makes a bounded number of state changes in any orbit, and finally cellular automata where each orbit converges to some fixed point. Many examples studied in the literature fit into these definitions, in particular the works on cristal growth started by S. Ulam in the 60s. The central question addressed here is how the computational power and computational hardness of basic properties is affected by the constraints of convergence, bounded number of change, or local decreasing of states in each cell. By studying various benchmark problems (short-term prediction, long term reachability, limits) and considering various complexity measures and scales (LOGSPACE vs. PTIME, communication complexity, Turing computability and arithmetical hierarchy) we give a rich and nuanced answer: the overall computational complexity of such cellular automata depends on the class considered (among the three above), the dimension, and the precise problem studied. In particular, we show that all settings can achieve universality in the sense of Blondel-Delvenne-Kůrka, although short term predictability varies from NLOGSPACE to P-complete. Besides, the computability of limit configurations starting from computable initial configurations separates bounded-change from convergent cellular automata in dimension~1, but also dimension~1 versus higher dimensions for freezing cellular automata. Another surprising dimension-sensitive result obtained is that nilpotency becomes decidable in dimension~ 1 for all the three classes, while it stays undecidable even for freezing cellular automata in higher dimension.

2019-08-19T12:39:10Z Nicolas Ollinger LIFO Guillaume Theyssier I2M http://arxiv.org/abs/2004.03656v2 2022-01-24T09:51:49Z

Gauge-invariance is a fundamental concept in Physics -- known to provide mathematical justification for the fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts directly in terms of Cellular Automata. More precisely, the notions of gauge-invariance and gauge-equivalence in Cellular Automata are formalized. A step-by-step gauging procedure to enforce this symmetry upon a given Cellular Automaton is developed, and three examples of gauge-invariant Cellular Automata are examined.

2020-04-07T19:20:26Z This article supersedes arXiv:1802.07644 and arXiv:1908.01229 Pablo Arrighi Giuseppe Di Molfetta Nathanaël Eon 10.1007/s11047-022-09879-1 http://arxiv.org/abs/2201.09521v1 2022-01-24T08:29:00Z

This paper presents a probabilistic extension of the well-known cellular automaton, Game of Life. In Game of Life, cells are placed in a grid and then watched as they evolve throughout subsequent generations, as dictated by the rules of the game. In our extension, called ProbLife, these rules now have probabilities associated with them. Instead of cells being either dead or alive, they are denoted by their chance to live. After presenting the rules of ProbLife and its underlying characteristics, we show a concrete implementation in ProbLog, a probabilistic logic programming system. We use this to generate different images, as a form of rule-based generative art.

2022-01-24T08:29:00Z This paper was presented at BNAIC 2021 Simon Vandevelde Joost Vennekens