https://arxiv.org/api/vso2isFDtdqq4x9y2x5oEgoKPk4 2026-06-21T09:17:51Z 1676 540 15 http://arxiv.org/abs/1904.03344v1 2019-04-06T02:48:51Z

Percolation phenomena are pervasive in nature, ranging from capillary flow, crack propagation, ionic transport, fluid permeation, etc. Modeling percolation in highly-branched media requires the use of numerical solutions, as problems can quickly become intractable due to the number of pathways available. This becomes even more challenging in dynamic scenarios where the generation of pathways can quickly become a combinatorial problem. In this work, we develop a new constriction percolation paradigm, using cellular automata to predict the transport of oxygen through a stochastically cracked Zr oxide layer within a coupled diffusion-reaction framework. We simulate such branching trees by generating a series porosity-controlled media. Additionally, we develop an analytical criterion based on compressive yielding for bridging the transition state in corrosion regime, where the percolation threshold has been achieved. Our model extends Dijkstras shortest path method to constriction pathways and predicts the arrival rate of oxygen ions at the oxide interface. This is a critical parameter to predict oxide growth in the so-called post-transition regime, when bulk diffusion is no longer the rate-limiting phenomenon.

2019-04-06T02:48:51Z 16 pages, 14 figures Asghar Aryanfar William A. Goddard Jaime Marian http://arxiv.org/abs/1712.05500v3 2019-03-28T09:36:47Z

Cellular automata (CA) are dynamical systems on symbolic configurations on the lattice. They are also used as models of massively parallel computers. As dynamical systems, one would like to understand the effect of small random perturbations on the dynamics of CA. As models of computation, they can be used to study the reliability of computation against noise. We consider various families of CA (nilpotent, permutive, gliders, CA with a spreading symbol, surjective, algebraic) and prove that they are highly unstable against noise, meaning that they forget their initial conditions under slightest positive noise. This is manifested as the ergodicity of the resulting probabilistic CA. The proofs involve a collection of different techniques (couplings, entropy, Fourier analysis), depending on the dynamical properties of the underlying deterministic CA and the type of noise.

2017-12-15T01:29:49Z 38 pages, 10 figures; Improved presentation in few places, added to bibliography, corrected the statement of Lemma 4.5 Electronic Journal of Probability, Volume 24 (2019), paper no. 41, 44 pp Irène Marcovici Mathieu Sablik Siamak Taati 10.1214/19-EJP297 http://arxiv.org/abs/1903.11761v1 2019-03-28T02:23:14Z

An exact characterization of the different dynamical behavior that exhibit the space phase of a reversible and conservative cellular automaton, the so called Q2R model, is shown in this paper. Q2R is a cellular automaton which is a dynamical variation of the Ising model in statistical physics and whose space of configurations grows exponentially with the system size. As a consequence of the intrinsic reversibility of the model, the phase space is composed only by configurations that belong to a fixed point or a limit cycle. In this work we classify them in four types accordingly to well differentiated topological characteristics. Three of them, which we call of type S-I, S-II and S-III, share a symmetry property, while the fourth, which we call of type AS, does not. Specifically, we prove that any configuration of Q2R belongs to one of the four previous limit cycles. Moreover, at a combinatorial level, we are able to determine the number of limit cycles for some small periods which are almost always present in the Q2R. Finally, we provide a general overview of the resulting decomposition of the arbitrary size Q2R phase space, in addition, we realize an exhaustive study of a small Ising system 4x4 which is fully analyzed under this new framework.

2019-03-28T02:23:14Z Marco Montalva-Medel Sergio Rica Felipe Urbina 10.1016/j.chaos.2020.109618 http://arxiv.org/abs/1903.11319v1 2019-03-27T09:58:04Z

A bottleneck can largely deteriorate the flow, such as a traffic light or an on-ramp at a road. To alleviate bottleneck situations, one of the important strategies is to control the input rate to suit the state of the road. In this study, we propose an effective velocity control of traveling particles, in which the particle velocity depends on the state of a bottleneck. To analyze our method, we modify the totally asymmetric simple exclusion process (TASEP) and introduce a slow-to-start rule, which we refer to as controlled TASEP in the present paper. Flow improvement is verified in numerical simulations and theoretical analyses by using controlled TASEP.

2019-03-27T09:58:04Z 22 pages, 20 figures, 1 table J. Stat. Mech. 2017, 043204 (2017) Hiroki Yamamoto Daichi Yanagisawa Katsuhiro Nishinari 10.1088/1742-5468/aa5a73 http://arxiv.org/abs/1711.02456v2 2019-03-21T03:33:19Z

In this paper we explore several fundamental relations between formal systems, algorithms, and dynamical systems, focussing on the roles of undecidability, universality, diagonalization, and self-reference in each of these computational frameworks. Some of these interconnections are well-known, while some are clarified in this study as a result of a fine-grained comparison between recursive formal systems, Turing machines, and Cellular Automata (CAs). In particular, we elaborate on the diagonalization argument applied to distributed computation carried out by CAs, illustrating the key elements of Gödel's proof for CAs. The comparative analysis emphasizes three factors which underlie the capacity to generate undecidable dynamics within the examined computational frameworks: (i) the program-data duality; (ii) the potential to access an infinite computational medium; and (iii) the ability to implement negation. The considered adaptations of Gödel's proof distinguish between computational universality and undecidability, and show how the diagonalization argument exploits, on several levels, the self-referential basis of undecidability.

2017-11-07T13:37:38Z 25 pages Mikhail Prokopenko Michael Harré Joseph Lizier Fabio Boschetti Pavlos Peppas Stuart Kauffman 10.1016/j.plrev.2018.12.003 http://arxiv.org/abs/1903.05790v1 2019-03-14T02:14:27Z

While there has been a keen interest in studying computation at the edge of chaos for dynamical systems undergoing a phase transition, this has come under question for cellular automata. We show that for continuously deformed cellular automata there is an enhancement of computation capabilities as the system moves towards cellular automata with chaotic spatiotemporal behavior. The computation capabilities are followed by looking into the Shannon entropy rate and the excess entropy, which allows identifying the balance between unpredictability and complexity. Enhanced computation power shows as an increase of excess entropy while the system entropy density has a sudden jump to values near one. The analysis is extended to a system of non-linear locally coupled oscillators that have been reported to exhibit spatiotemporal diagrams similar to cellular automata.

2019-03-14T02:14:27Z Accepted in CHAOS Chaos 29, 043105 (2019) E. Estevez-Rams D. Estevez-Moya K. Garcia-Medina R. Lora-Serrano 10.1063/1.5062364 http://arxiv.org/abs/1903.02392v1 2019-03-05T06:57:50Z

By introducing a simple model based on two-dimensional cellular automata, we reveal the relationship between the routing strategies of individual vehicles and the global behavior of transportation networks. Specifically, we characterize the routing strategies by a single parameter called path-greediness, which corresponds to the tendency for individuals to travel via a shortest path to the destination. Remarkably, when vehicles tend to travel via the shortest path, a congested-flow state emerges between the conventional free-flow and congested states, where traffic flow increases slowly with vehicle density in the presence of congestion. We also found that a high individual tendency to travel via the shortest path does not necessarily shorten the average journey time, as the system may benefit from less greedy routing strategies in congested situations. Finally, we show that adaptive routing strategies outperform controlled strategies in the free-flow state, but not in the congested state, implying that controlled strategies may increase coordination among vehicles and are beneficial for suppressing traffic congestion.

2019-03-05T06:57:50Z Phys. Rev. E 100, 012311 (2019) Tak Shing Tai Chi Ho Yeung 10.1103/PhysRevE.100.012311 http://arxiv.org/abs/1711.01432v2 2019-02-26T07:04:38Z

The Hegselmann-Krause (HK) model is a typical self-organizing system with local rule dynamics. In spite of its widespread use and numerous extensions, the underlying theory of its synchronization induced by noise still needs to be developed. In its original formulation, as a model first proposed to address opinion dynamics, its state-space was assumed to be bounded, and the theoretical analysis of noise-induced synchronization for this particular situation has been well established. However, when system states are allowed to exist in an unbounded space, mathematical difficulties arise whose theoretical analysis becomes non-trivial and is as such still lacking. In this paper, we completely resolve this problem by exploring the topological properties of HK dynamics and by employing the theory of independent stopping time. The associated result in full statespace provides a solid interpretation of the randomness-induced synchronization of self-organizing systems

2017-11-04T13:00:41Z Wei Su Jin Guo Xianzhong Chen Ge Chen http://arxiv.org/abs/1902.02784v1 2019-02-07T15:36:07Z

Individual-based model (IBM) has been used to simulate and to design control strategies for dynamic systems that are subject to stochasticity and heterogeneity, such as infectious diseases. In the IBM, an individual is represented by a set of specific characteristics that may change dynamically over time. This feature allows a more realistic analysis of the spread of an epidemic. This paper presents a literature survey of IBM applied to biomedical and epidemiology research. The main goal is to present existing techniques, advantages and future perspectives in the development of the model. We evaluated 89 articles, which mostly analyze interventions aimed at endemic infections. In addition to the review, an overview of IBM is presented as an alternative to complement or replace compartmental models, such as the SIR (Susceptible-Infected-Recovered) model. Numerical simulations also illustrate the capabilities of IBM, as well as some limitations regarding the effects of discretization. We show that similar side-effects of discretization scheme for compartmental models may also occur in IBM, which requires careful attention.

2019-02-07T15:36:07Z Journal of Biomedical Research and Reviews, vol. 1, no. 1, pp. 11-24, 2018 E. G. Nepomuceno D. F. Resende M. J. Lacerda http://arxiv.org/abs/1902.02303v1 2019-02-06T17:56:51Z

Cellular self-assembly and organization are fundamental steps for the development of biological tissues. In this paper, within the framework of a cellular automata model, we address how an ordered tissue pattern spontaneously emerges from a randomly migrating single cell population without the influence of any external cues. This model is based on the active motility of cells and their ability to reorganize due to cell-cell cohesivity as observed in experiments. Our model successfully emulates the formation of nascent clusters and also predicts the temporal evolution of aggregates that leads to the compact tissue structures. Moreover, the simulations also capture several dynamical properties of growing aggregates, such as, the rate of cell aggregation and non-monotonic growth of the aggregate area which show a good agreement with the existing experimental observations. We further investigate the time evolution of the cohesive strength, and the compactness of aggregates, and also study the ruggedness of the growing structures by evaluating the fractal dimension to get insights into the complexity of tumorous tissue growth which were hitherto unexplored.

2019-02-06T17:56:51Z Physical Biology, Volume 16, Page 46006-46015 (2019) Debangana Mukhopadhyay Rumi De 10.1088/1478-3975/ab1e76 http://arxiv.org/abs/1710.00084v2 2019-01-31T08:03:47Z

In this article we study a class of shift-invariant and positive rate probabilistic cellular automata (PCA) on rooted d-regular trees $\mathbb{T}^d$. In a first result we extend the results of [10] on trees, namely we prove that to every stationary measure $ν$ of the PCA we can associate a space-time Gibbs measure $μ_ν$ on $\mathbb{Z} \times \mathbb{T}^d$. Under certain assumptions on the dynamics the converse is also true. A second result concerns proving sufficient conditions for ergodicity and non-ergodicity of our PCA on d-ary trees for $d\in \{ 1,2,3\}$ and characterizing the invariant product Bernoulli measures.

2017-09-29T20:37:30Z 17 pages Bruno Kimura Wioletta Ruszel Cristian Spitoni http://arxiv.org/abs/1901.06058v1 2019-01-18T02:15:16Z

We investigate dynamical properties of traffic flow using the stochastic car-following model with modified optimal velocity on circular road. The safety distance following the two-second rule and autonomous vehicles, acting as agents, obeying simple requirements are incorporated into the model. The dynamic safety distance increases in a light traffic condition where the average driving velocity is high, while decreases in a dense traffic condition in anticipation of slower traffic motion. The results show that the presence of the agents can enhance overall velocity and traffic current of the system, and postpone the traffic congestion. In a particular phase region, imposing a speed limit enables the system to leave the congested flow phase. The density-dependent speed limit in agent-free condition is obtained to achieve the optimal traffic flow.

2019-01-18T02:15:16Z 7 pages, 5 figures Manit Klawtanong Surachate Limkumnerd 10.1016/j.physa.2019.123412 http://arxiv.org/abs/1901.00845v1 2019-01-03T18:50:34Z

We study the statistical properties of the long-time dynamics of the rule 54 reversible cellular automaton (CA), driven stochastically at its boundaries. This CA can be considered as a discrete-time and deterministic version of the Fredrickson-Andersen kinetically constrained model (KCM). By means of a matrix product ansatz, we compute the exact large deviation cumulant generating functions for a wide range of time-extensive observables of the dynamics, together with their associated rate functions and conditioned long-time distributions over configurations. We show that for all instances of boundary driving the CA dynamics occurs at the point of phase coexistence between competing active and inactive dynamical phases, similar to what happens in more standard KCMs. We also find the exact finite size scaling behaviour of these trajectory transitions, and provide the explicit "Doob-transformed" dynamics that optimally realises rare dynamical events.

2019-01-03T18:50:34Z main text 6 pages, supplemental material 8 pages Phys. Rev. E 100, 020103 (2019) Berislav Buča Juan P. Garrahan Tomaž Prosen Matthieu Vanicat 10.1103/PhysRevE.100.020103 http://arxiv.org/abs/1812.11597v1 2018-12-30T20:02:19Z

Cellular automata are fully-discrete, spatially-extended dynamical systems that evolve by simultaneously applying a local update function. Despite their simplicity, the induced global dynamic produces a stunning array of richly-structured, complex behaviors. These behaviors present a challenge to traditional closed-form analytic methods. In certain cases, specifically when the local update is additive, powerful techniques may be brought to bear, including characteristic polynomials, the ergodic theorem with Fourier analysis, and endomorphisms of compact Abelian groups. For general dynamics, though, where such analytics generically do not apply, behavior-driven analysis shows great promise in directly monitoring the emergence of structure and complexity in cellular automata. Here we detail a surprising connection between generalized symmetries in the spacetime fields of configuration orbits as revealed by the behavior-driven local causal states, invariant sets of spatial configurations, and additive subdynamics which allow for closed-form analytic methods.

2018-12-30T20:02:19Z 24 pages, 9 figures, 5 tables; http://csc.ucdavis.edu/~cmg/compmech/pubs/ssisad.htm Adam Rupe James P. Crutchfield http://arxiv.org/abs/1812.03882v1 2018-12-10T15:43:20Z

In this paper, we investigate the halting problem for deterministic cellula automata in the pentagrid. We prove that the problem is decidable when the cellular automaton starts its computation from a finite configuration and when it has at most two states, one of them being a quiescent state.

2018-12-10T15:43:20Z 18 pages, 10 figures Maurice Margenstern