https://arxiv.org/api/SvNNGHLbKiv2fL7c+sBlnOHp/jk 2026-06-21T12:40:41Z 1676 585 15 http://arxiv.org/abs/1806.02047v1 2018-06-06T07:57:31Z

Based on the Nagel-Schreckenberg (NS) model with periodic boundary conditions, a modified model considered overtaking strategy (NSOS) has been proposed \cite{su2016occurrence,su2016the}. In this paper, we focus on the theoretical analysis of traffic flow for NSOS model by using mean-field method. In the special case of $v_{max}=1$ where vehicles can not overtake preceding ones, the features of stationary state can be obtained exactly. However, in the case of $v_{max}>1$ where overtaking happens, some approximative methods have to be took into account. The main results are that we find the reason why traffic flow is increased in the regime where densities exceed the maximum flow density, and the influence of traffic flow on the transition density is dominated by the braking probability $p$.

2018-06-06T07:57:31Z 13 pages, 5 figures Zhu Su Weibing Deng Jihui Han Wei Li Xu Cai 10.1088/1742-6596/1113/1/012008 http://arxiv.org/abs/1708.05704v3 2018-05-28T08:34:27Z

Motivated by multi-hop communication in unreliable wireless networks, we present a percolation theory for time-varying networks. We develop a renormalization group theory for a prototypical network on a regular grid, where individual links switch stochastically between active and inactive states. The question whether a given source node can communicate with a destination node along paths of active links is equivalent to a percolation problem. Our theory maps the temporal existence of multi-hop paths on an effective two-state Markov process. We show analytically how this Markov process converges towards a memory-less Bernoulli process as the hop distance between source and destination node increases. Our work extends classical percolation theory to the dynamic case and elucidates temporal correlations of message losses. Quantification of temporal correlations has implications for the design of wireless communication and control protocols, e.g. in cyber-physical systems such as self-organized swarms of drones or smart traffic networks.

2017-07-28T16:12:27Z 8 pages, 3 figures Scientific Reportsvolume 8, Article number: 8011 (2018) Jens Karschau Marco Zimmerling Benjamin M. Friedrich 10.1038/s41598-018-25363-2 http://arxiv.org/abs/1805.11532v1 2018-05-27T22:08:17Z

We introduce our GraftalLace Cellular Automaton in short GLCA which is a new one-dimensional cellular automaton on the regular square lattice. It makes a monochromatic infinite directed graph otherwise an octal number triangle or number trapezoid by partly influences the states of the neighbour cells with bit operations. We show new ways to make symmetric fractals like Sierpinski triangle and Pascal triangle modulo 3 and unknown complex patterns. We find reversible rules and show possibilities to represent and extend our automaton in different ways. 2D version of GLCA can be represented as a 3D digraph or a 2D animated tessellation which could be a closer relative of Conway's Game of Life.

2018-05-27T22:08:17Z 10 pages, 9 figures András Kaszanyitzky http://arxiv.org/abs/1805.07480v1 2018-05-19T00:12:28Z

We introduce a two-variable model to describe spatial polarization, radicalization, and conflict. Individuals in the model harbor a continuous belief variable as well as a discrete radicalization level expressing their tolerance to neighbors with different beliefs. A novel feature of our model is that it incorporates a bistable radicalization process to address memory-dependent social behavior. We demonstrate how bistable radicalization may explain contradicting observations regarding whether social segregation exacerbates or alleviates conflicts. We also extend our model by introducing a mechanism to include institutional influence, such as propaganda or education, and examine its effectiveness. In some parameter regimes, institutional influence may suppress the progression of radicalization and allow a population to achieve social conformity over time. In other cases, institutional intervention may exacerbate the spread of radicalization through a population of mixed beliefs. In such instances, our analysis implies that social segregation may be a viable option against sectarian conflict.

2018-05-19T00:12:28Z Quarterly of Applied Mathematics, 75(1): 19-37, 2017 Yao-Li Chuang Maria R. D'Orsogna Tom Chou 10.1090/qam/1446 http://arxiv.org/abs/1607.02291v3 2018-05-08T12:31:57Z

Cellular automata (CAs) are dynamical systems which exhibit complex global behavior from simple local interaction and computation. Since the inception of cellular automaton (CA) by von Neumann in 1950s, it has attracted the attention of several researchers over various backgrounds and fields for modelling different physical, natural as well as real-life phenomena. Classically, CAs are uniform. However, non-uniformity has also been introduced in update pattern, lattice structure, neighborhood dependency and local rule. In this survey, we tour to the various types of CAs introduced till date, the different characterization tools, the global behaviors of CAs, like universality, reversibility, dynamics etc. Special attention is given to non-uniformity in CAs and especially to non-uniform elementary CAs, which have been very useful in solving several real-life problems.

2016-07-08T09:51:34Z 43 pages; Under review in Natural Computing Natural Computing, Volume 19, 2020 Kamalika Bhattacharjee Nazma Naskar Souvik Roy Sukanta Das 10.1007/s11047-018-9696-8 http://arxiv.org/abs/1805.01931v1 2018-05-04T20:48:28Z

We explore the emergence of persistent infection in a closed region where the disease progression of the individuals is given by the SIRS model, with an individual becoming infected on contact with another infected individual within a given range. We focus on the role of synchronization in the persistence of contagion. Our key result is that higher degree of synchronization, both globally in the population and locally in the neighborhoods, hinders persistence of infection. Importantly, we find that early short-time asynchrony appears to be a consistent precursor to future persistence of infection, and can potentially provide valuable early warnings for sustained contagion in a population patch. Thus transient synchronization can help anticipate the long-term persistence of infection. Further we demonstrate that when the range of influence of an infected individual is wider, one obtains lower persistent infection. This counter-intuitive observation can also be understood through the relation of synchronization to infection burn-out.

2018-05-04T20:48:28Z 6 pages, 9 figures, accepted in EPL (March 2018) Promit Moitra Kanishk Jain Sudeshna Sinha 10.1209/0295-5075/121/60001 http://arxiv.org/abs/1803.10908v3 2018-05-03T03:30:47Z

The method of choice to study one-dimensional strongly interacting many body quantum systems is based on matrix product states and operators. Such method allows to explore the most relevant, and numerically manageable, portion of an exponentially large space. It also allows to describe accurately correlations between distant parts of a system, an important ingredient to account for the context in machine learning tasks. Here we introduce a machine learning model in which matrix product operators are trained to implement sequence to sequence prediction, i.e. given a sequence at a time step, it allows one to predict the next sequence. We then apply our algorithm to cellular automata (for which we show exact analytical solutions in terms of matrix product operators), and to nonlinear coupled maps. We show advantages of the proposed algorithm when compared to conditional random fields and bidirectional long short-term memory neural network. To highlight the flexibility of the algorithm, we also show that it can readily perform classification tasks.

2018-03-29T02:56:08Z 9+4 pages, 6+2 figures Phys. Rev. E 98, 042114 (2018) Chu Guo Zhanming Jie Wei Lu Dario Poletti 10.1103/PhysRevE.98.042114 http://arxiv.org/abs/1805.00059v1 2018-04-20T11:49:33Z

Cellular Automata have been used since their introduction as a discrete tool of modelization. In many of the physical processes one may modelize thus (such as bootstrap percolation, forest fire or epidemic propagation models, life without death, etc), each local change is irreversible. The class of freezing Cellular Automata (FCA) captures this feature. In a freezing cellular automaton the states are ordered and the cells can only decrease their state according to this "freezing-order". We investigate the dynamics of such systems through the questions of simulation and universality in this class: is there a Freezing Cellular Automaton (FCA) that is able to simulate any Freezing Cellular Automata, i.e. an intrinsically universal FCA? We show that the answer to that question is sensitive to both the number of changes cells are allowed to make, and geometric features of the space. In dimension 1, there is no universal FCA. In dimension 2, if either the number of changes is at least 2, or the neighborhood is Moore, then there are universal FCA. On the other hand, there is no universal FCA with one change and Von Neumann neighborhood. We also show that monotonicity of the local rule with respect to the freezing-order (a common feature of bootstrap percolation) is also an obstacle to universality.

2018-04-20T11:49:33Z Florent Becker LIFO Diego Maldonado LIFO Nicolas Ollinger LIFO Guillaume Theyssier I2M http://arxiv.org/abs/1804.06580v1 2018-04-18T07:23:26Z

We present modeling strategies that describe the motion and interaction of groups of pedestrians in obscured spaces. We start off with an approach based on balance equations in terms of measures and then we exploit the descriptive power of a probabilistic cellular automaton model. Based on a variation of the simple symmetric random walk on the square lattice, we test the interplay between population size and an interpersonal attraction parameter for the evacuation of confined and darkened spaces. We argue that information overload and coordination costs associated with information processing in small groups are two key processes that influence the evacuation rate. Our results show that substantial computational resources are necessary to compensate for incomplete information -- the more individuals in (information processing) groups the higher the exit rate for low population size. For simple social systems, it is likely that the individual representations are not redundant and large group sizes ensure that this non--redundant information is actually available to a substantial number of individuals. For complex social systems information redundancy makes information evaluation and transfer inefficient and, as such, group size becomes a drawback rather than a benefit. The effect of group sizes on outgoing fluxes, evacuation times and wall effects are carefully studied with a Monte Carlo framework accounting also for the presence of an internal obstacle.

2018-04-18T07:23:26Z Mathematical Models and Methods in Applied Sciences 28, pp. 1831-1856 (2018) A. Ciallella E. N. M. Cirillo P. L. Curseu A. Muntean 10.1142/S0218202518400079 http://arxiv.org/abs/1802.07644v2 2018-04-10T22:22:45Z

Gauge-invariance is a fundamental concept in physics---known to provide the mathematical justification for all four fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts, directly in terms of Cellular Automata. More precisely, we describe a step-by-step gauging procedure to enforce local symmetries upon a given Cellular Automaton. We apply it to a simple Reversible Cellular Automaton for concreteness. From a Computer Science perspective, discretized gauge theories may be applied to numerical analysis, quantum simulation, fault-tolerant (quantum) computation. From a mathematical perspective, discreteness provides a simple yet rigorous route straight to the core concepts.

2018-02-21T16:15:21Z 12 pages, 5 figures Pablo Arrighi Giuseppe Di Molfetta Nathanaël Eon 10.1007/978-3-319-92675-9_1 http://arxiv.org/abs/1804.02300v2 2018-04-10T21:33:52Z

We revisit the problem of Brownian diffusion with drift in order to study finite-size effects in the geometric Galton-Watson branching process. This is possible because of an exact mapping between one-dimensional random walks and geometric branching processes, known as the Harris walk. In this way, first-passage times of Brownian particles are equivalent to sizes of trees in the branching process (up to a factor of proportionality). Brownian particles that reach a distant boundary correspond to percolating trees, and those that do not correspond to non-percolating trees. In fact, both systems display a second-order phase transition between "insulating" and "conducting" phases, controlled by the drift velocity in the Brownian system. In the limit of large system size, we obtain exact expressions for the Laplace transforms of the probability distributions and their first and second moments. These quantities are also shown to obey finite-size scaling laws.

2018-04-06T14:34:25Z Phys. Rev. E 97, 062156 (2018) Alvaro Corral Rosalba Garcia-Millan Nicholas R. Moloney Francesc Font-Clos 10.1103/PhysRevE.97.062156 http://arxiv.org/abs/1802.07181v4 2018-04-05T19:49:22Z

Without loss of generalisation to other systems, including possibly non-deterministic ones, we demonstrate the application of methods drawn from algorithmic information dynamics to the characterisation and classification of emergent and persistent patterns, motifs and colliding particles in Conway's Game of Life (GoL), a cellular automaton serving as a case study illustrating the way in which such ideas can be applied to a typical discrete dynamical system. We explore the issue of local observations of closed systems whose orbits may appear open because of inaccessibility to the global rules governing the overall system. We also investigate aspects of symmetry related to complexity in the distribution of patterns that occur with high frequency in GoL (which we thus call motifs) and analyse the distribution of these motifs with a view to tracking the changes in their algorithmic probability over time. We demonstrate how the tools introduced are an alternative to other computable measures that are unable to capture changes in emergent structures in evolving complex systems that are often too small or too subtle to be properly characterised by methods such as lossless compression and Shannon entropy.

2018-02-18T00:54:21Z 18 pages + 1 sup page, 8 figures in total. Online complexity calculator: http://complexitycalculator.com/ Hector Zenil Narsis A. Kiani Jesper Tegnér http://arxiv.org/abs/1304.2816v4 2018-04-05T15:19:58Z

We study the asymptotic behaviour of symbolic computing systems, notably one-dimensional cellular automata (CA), in order to ascertain whether and at what rate the number of complex versus simple rules dominate the rule space for increasing neighbourhood range and number of symbols (or colours), and how different behaviour is distributed in the spaces of different cellular automata formalisms. Using two different measures, Shannon's block entropy and Kolmogorov complexity, the latter approximated by two different methods (lossless compressibility and block decomposition), we arrive at the same trend of larger complex behavioural fractions. We also advance a notion of asymptotic and limit behaviour for individual rules, both over initial conditions and runtimes, and we provide a formalisation of Wolfram's classification as a limit function in terms of Kolmogorov complexity.

2013-04-10T00:19:49Z 22 pages, 13 figures. As appeared in the International Journal of Bifurcation and Chaos with corrections to the definition of Wolfram class International Journal of Bifurcation and Chaos, vol. 13, no. 9, 2013 Hector Zenil 10.1142/S0218127413501599 http://arxiv.org/abs/1804.01089v1 2018-04-03T08:28:22Z

In this article, I propose a systematic method for the inverse ultra-discretization of cell automata using a functionally complete operation. We derive difference equations for the 256 kinds of elementary cellular automata(ECA) introduced Wolfram\cite{wolfram} by the proposed means of the inverse ultra-discretization. We show that the behaviors of ECAs can be completely reproduced by numerically solving the obtained difference equations.

2018-04-03T08:28:22Z Norihito Toyota http://arxiv.org/abs/1605.06937v3 2018-04-02T08:10:56Z

We present a diagrammatic method to build up sophisticated cellular automata (CAs) as models of complex physical systems. The diagrams complement the mathematical approach to CA modeling, whose details are also presented here, and allow CAs in rule space to be classified according to their hierarchy of layers. Since the method is valid for any discrete operator and only depends on the alphabet size, the resulting conclusions, of general validity, apply to CAs in any dimension or order in time, arbitrary neighborhood ranges and topology. We provide several examples of the method, illustrating how it can be applied to the mathematical modeling of the emergence of order out of disorder. Specifically, we show how the the majority CA rule can be used as a building block to construct more complex cellular automata in which separate domains (with substructures having different dynamical properties) are able to emerge out of disorder and coexist in a stable manner.

2016-05-23T08:50:00Z 26 pages, 8 figures, some few minor corrections introduced to match the final, published version Commun. Nonlinear Sci. Numer. Simulat. 63 (2018) 117 Vladimir García-Morales 10.1016/j.cnsns.2018.02.041