https://arxiv.org/api/qy0CTWrk0NTcPfe/3MSSCdymtUI 2026-06-21T08:02:48Z 1676 525 15 http://arxiv.org/abs/1703.09030v2 2019-06-27T22:47:30Z

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.

2017-03-27T12:32:26Z 22 pages, 9 figures, 2 appendices Chaos 29, 063120 (2019) Peter Banda John Caughman Martin Cenek Christof Teuscher 10.1063/1.5089889 http://arxiv.org/abs/1903.09419v2 2019-06-22T17:26:36Z

This paper proposes a method of auto-generation of a centerline graph from a geometrically complex roadmap of real-world traffic systems by using a hierarchical quadtree for cellular automata simulations. Our method is summarized as follows. First, we store the binary values of the monochrome image of target roadmap (one and zero represent the road and the other areas, respectively) in the two-dimensional square map. Second, we recursively divide the square map into sub-leafs by a quadtree until the summed-up value of pixels included inside the leaf becomes equal to or less than one. Third, we gradually remove the distal leaves that are adjacent to the leaves whose depths are shallower than the distal leaf. After that, we trace the remaining distal leaves of the tree using Morton's space-filling curve, while selecting the leaves that keep a certain distance among the previously selected leaves as the nodes of the graph. Finally, each selected node searches the neighboring nodes and stores them as the edges of the graph. We demonstrate our method by generating a centerline graph from a complex roadmap of a real-world airport and by carrying out a typical network analysis using Dijkstra's method.

2019-03-22T09:34:55Z Information Sciences, Vol.504, pp.161-177 (2019) Satori Tsuzuki Daichi Yanagisawa Katsuhiro Nishinari 10.1016/j.ins.2019.07.049 http://arxiv.org/abs/1609.09470v3 2019-06-12T01:28:10Z

To help mitigate road congestion caused by the unrelenting growth of traffic demand, many transit authorities have implemented managed lane policies. Managed lanes typically run parallel to a freeway's standard, general-purpose (GP) lanes, but are restricted to certain types of vehicles. It was originally thought that managed lanes would improve the use of existing infrastructure through incentivization of demand-management behaviors like carpooling, but implementations have often been characterized by unpredicted phenomena that is often to detrimental system performance. This paper presents several macroscopic traffic modeling tools we have used for study of freeways equipped with managed lanes, or "managed lane-freeway networks." The proposed framework is based on the widely-used first-order kinematic wave theory. In this model, the GP and the managed lanes are modeled as parallel links connected by nodes, where certain type of traffic may switch between GP and managed lane links. Two types of managed lane topologies are considered: full-access, where vehicles can switch between the GP and the managed lanes anywhere; and separated, where such switching is allowed only at certain locations called gates. We also describe methods to incorporate in three phenomena into our model that are particular to managed lane-freeway networks. The inertia effect reflects drivers' inclination to stay in their lane as long as possible and switch only if this would obviously improve their travel condition. The friction effect reflects the empirically-observed driver fear of moving fast in a managed lane while traffic in the adjacent GP lanes moves slowly due to congestion. The smoothing effect describes how managed lanes can increase throughput at bottlenecks by reducing lane changes. We present simple models for each of these phenomena that fit within the general macroscopic theory.

2016-09-29T19:18:58Z The above abstract is slightly abbreviated, please see the document for the full abstract Matthew A. Wright Roberto Horowitz Alex A. Kurzhanskiy http://arxiv.org/abs/1904.07411v2 2019-05-24T10:00:22Z

The two-state Gacs-Kurdyumov-Levin (GKL) cellular automaton has been a staple model in the study of complex systems due to its ability to classify binary arrays of symbols according to their initial density. We show that a class of modified GKL models over extended neighborhoods, but still involving only three cells at a time, achieves comparable density classification performance but in some cases reach consensus more than twice as fast. Our results suggest the time to consensus (relative to the length of the CA) as a complementary measure of density classification performance.

2019-04-16T02:28:23Z Short note, 3 pages, 1 table, 2 composite figures, 18 references Physics Letters A 383 (19), 2264-2266 (2019) J. Ricardo G. Mendonça 10.1016/j.physleta.2019.04.033 http://arxiv.org/abs/1905.11204v1 2019-05-23T17:41:32Z

We introduce here a multi-type bootstrap percolation model, which we call T-Bootstrap Percolation (T-BP), and apply it to study information propagation in social networks. In this model, a social network is represented by a graph G whose vertices have different labels corresponding to the type of role the person plays in the network (e.g. a student, an educator, etc.). Once an initial set of vertices of G is randomly selected to be carrying a gossip (e.g. to be infected), the gossip propagates to a new vertex provided it is transmitted by a minimum threshold of vertices with different labels. By considering random graphs, which have been shown to closely represent social networks, we study different properties of the T-BP model through numerical simulations, and describe its implications when applied to rumour spread, fake news, and marketing strategies.

2019-05-23T17:41:32Z 9 pages, 9 figures Proceedings of the Royal Society A 2020 Rinni Bhansali Laura P. Schaposnik 10.1098/rspa.2019.0826 http://arxiv.org/abs/1903.10590v2 2019-05-20T19:39:14Z

In this paper we study the statistical properties of a reversible cellular automaton in two out-of-equilibrium settings. In the first part we consider two instances of the initial value problem, corresponding to the inhomogeneous quench and the local quench. Our main result is an exact matrix product expression of the time evolution of the probability distribution, which we use to determine the time evolution of the density profiles analytically. In the second part we study the model on a finite lattice coupled with stochastic boundaries. Once again we derive an exact matrix product expression of the stationary distribution, as well as the particle current and density profiles in the stationary state. The exact expressions reveal the existence of different phases with either ballistic or diffusive transport depending on the boundary parameters.

2019-03-25T20:35:36Z SciPost Phys. 6, 074 (2019) Marko Medenjak Vladislav Popkov Tomaž Prosen Eric Ragoucy Matthieu Vanicat 10.21468/SciPostPhys.6.6.074 http://arxiv.org/abs/1905.07527v1 2019-05-18T03:23:59Z

The history of computing in Mexico can not be thought without the name of Prof. Harold V. McIntosh (1929-2015). For almost 50 years, in Mexico he contributed to the development of computer science with wide international recognition. Approximately in 1964, McIntosh began working in the Physics Department of the Advanced Studies Center (CIEA) of the National Polytechnic Institute (IPN), now called CINVESTAV. In 1965, at the National Center of Calculus (CeNaC), he was a founding member of the Master in Computing, first in Latin America. With the support of Mario Baez Camargo and Enrique Melrose, McIntosh continues his research of Martin-Baltimore Computer Center and University of Florida at IBM 709.

2019-05-18T03:23:59Z 13 pages, 1 figure Journal of Parallel, Emergent and Distributed Systems, 2019 Genaro J. Martinez Juan C. Seck-Tuoh-Mora Sergio V. Chapa-Vergara Christian Lemaitre 10.1080/17445760.2019.1608990 http://arxiv.org/abs/1905.08729v1 2019-05-12T13:58:53Z

Complex systems are described with high-dimensional data that is hard to visualise. Inselberg's parallel coordinates are one representation technique for visualising high-dimensional data. Here we generalise Inselberg's approach, and use it for visualising trajectories through high dimensional state spaces. We introduce two geometric projections of parallel coordinate representations -- 'plan tuple plots' and 'side tuple plots' -- and demonstrate a link between state space and ordinary space representations. We provide examples from many domains to illustrate use of the approach, including Cellular Automata, Random Boolean Networks, coupled logistic maps, reservoir computing, search algorithms, Turing Machines, and flocking.

2019-05-12T13:58:53Z 40 pages, 47 colour figures Susan Stepney http://arxiv.org/abs/1812.05433v3 2019-05-04T11:20:44Z

We report a new system of artificial life called Lenia (from Latin lenis "smooth"), a two-dimensional cellular automaton with continuous space-time-state and generalized local rule. Computer simulations show that Lenia supports a great diversity of complex autonomous patterns or "lifeforms" bearing resemblance to real-world microscopic organisms. More than 400 species in 18 families have been identified, many discovered via interactive evolutionary computation. They differ from other cellular automata patterns in being geometric, metameric, fuzzy, resilient, adaptive, and rule-generic. We present basic observations of the system regarding the properties of space-time and basic settings. We provide a broad survey of the lifeforms, categorize them into a hierarchical taxonomy, and map their distribution in the parameter hyperspace. We describe their morphological structures and behavioral dynamics, propose possible mechanisms of their self-propulsion, self-organization and plasticity. Finally, we discuss how the study of Lenia would be related to biology, artificial life, and artificial intelligence.

2018-12-13T13:58:24Z 49 pages, 20 figures, 7 tables; accepted by Complex Systems Complex Systems, 2019, 28(3), 251-286 Bert Wang-Chak Chan 10.25088/ComplexSystems.28.3.251 http://arxiv.org/abs/1902.06541v2 2019-05-03T04:33:46Z

The bounded rationality plays a vital role in the collective behavior of the evacuation process. Also investigating human behavior in such an extreme situation is a continuing concern within social psychology. In this paper, we construct a cellular automaton (CA) model for the escape dynamics, and the bounded rational behavior induced by heterogeneous information is introduced. The non-trivial behavior shows in the replicator dynamics method with mean field approximation, where people's perception of the distribution of population and velocity is reduced to an average value in a certain direction. Analyzing the escape efficiency shows that under the premise of rationality, the bounded rational strategy can get higher performance. Interestingly, a quantifiable meta-stable state appears in the escape process, and the escape time is power-law dependent on system size.

2019-02-18T12:32:31Z 11 pages, 10 figures. Some corrections in the text were made. Submitted to Physica A Lingxiao Wang Yin Jiang 10.1016/j.physa.2019.121777 http://arxiv.org/abs/1812.06760v2 2019-04-24T15:33:26Z

Antifragility is a property that enhances the capability of a system in response to external perturbations. Although the concept has been applied in many areas, a practical measure of antifragility has not been developed yet. Here we propose a simply calculable measure of antifragility, based on the change of "satisfaction" before and after adding perturbations, and apply it to random Boolean networks (RBNs). Using the measure, we found that ordered RBNs are the most antifragile. Also, we demonstrated that seven biological systems are antifragile. Our measure and results can be used in various applications of Boolean networks (BNs) including creating antifragile engineering systems, identifying the genetic mechanism of antifragile biological systems, and developing new treatment strategies for various diseases.

2018-12-17T13:40:39Z 15 pages, 7 figures Complexity, 2019:10 Omar K. Pineda Hyobin Kim Carlos Gershenson 10.1155/2019/3728621 http://arxiv.org/abs/1904.07735v1 2019-04-15T09:55:17Z

Controllability is one of the central concepts of modern control theory that allows a good understanding of a system's behaviour. It consists in constraining a system to reach the desired state from an initial state within a given time interval. When the desired objective affects only a sub-region of the domain, the control is said to be regional. The purpose of this paper is to study a particular case of regional control using cellular automata models since they are spatially extended systems where spatial properties can be easily defined thanks to their intrinsic locality. We investigate the case of boundary controls on the target region using an original approach based on graph theory. Necessary and sufficient conditions are given based on the Hamiltonian Circuit and strongly connected component. The controls are obtained using a preimage approach.

2019-04-15T09:55:17Z International Journal of Parallel, Emergent and Distributed Systems 35, 499-513 (2019) Sara Dridi Samira El Yacoubi Franco Bagnoli Allyx Fontaine 10.1080/17445760.2019.1608442 http://arxiv.org/abs/1904.01062v2 2019-04-14T19:33:30Z

Context. Astrobiological evolution of the Milky Way (or the shape of its "astrobiological landscape") has emerged as one of the key research topics in recent years. In order to build precise, quantitative models of the Galactic habitability, we need to account for two opposing tendencies of life and intelligence in the most general context: the tendency to spread to all available ecological niches (conventionally dubbed "colonization") and the tendency to succumb to various types of existential catastrophes ("catastrophism"). These evolutionary tendencies have become objects of study in fields such as ecology, macroevolution, risk analysis, and futures studies, while a serious astrobiological treatment has been lacking so far. Aims. Our aim is to numerically investigate the dynamics of opposed processes of expansion (panspermia, colonization) and extinction (catastrophic mechanisms) of life in the Galaxy. Methods. We employ a new type of numerical simulation based on 1D probabilistic cellular automaton with very high temporal resolution, in order to study astrobiological dynamics. Results. While the largest part of the examined parameter space shows very low habitability values, as expected, the remaining part has some observationally appealing features that imply, among other things, a reduction in the amount of fine-tuning necessary for resolving the Fermi paradox. Conclusions. Advanced aspects of Galactic habitability are amenable to precision studies using massive parallel computer simulations. There are regions of parameter space corresponding to a quasi-stationary state satisfying observable constraints and possessing viable SETI targets.

2019-04-01T18:45:34Z Language corrected version, to appear in Astronomy & astrophysics A&A 625, A98 (2019) Vladimir Đošović Branislav Vukotić Milan M. Ćirković 10.1051/0004-6361/201834588 http://arxiv.org/abs/1904.05231v1 2019-04-10T15:00:12Z

We study a random walk infiltration (RWI) model, in homogeneous and in fractal media, with localized sources at their boundaries. The particles released at a source, which is maintained at a constant density, execute unbiased random walks over a lattice; it represents solute infiltration by diffusion into a medium in contact with a reservoir. A scaling approach shows that the infiltrated length, area, or volume evolves in time as the number of distinct sites visited by a single random walker in the same medium. This is consistent with simulations of the lattice model and exact and numerical solutions of the corresponding diffusion equation. In a Sierpinski carpet, the infiltrated area is expected to evolve as t^{D_F/D_W} (Alexander-Orbach relation), where D_F is the fractal dimension of the medium and D_W is the random walk dimension; the numerical integration of the diffusion equation supports this relation and improves results of lattice random walk simulations. In a Menger sponge in which D_F>D_W (a fractal with a dimension close to 3), a linear time increase of the infiltrated volume is predicted and confirmed numerically. Thus, no evidence of fractality can be observed in infiltrated volumes or masses in media where random walks are not recurrent, although the tracer diffusion is anomalous. We compare our results with a fluid infiltration model in which the pressure head is constant at the source and the front displacement is driven by the local gradient of that head. Exact or numerical solutions in two and three dimensions and in a carpet show that this type of fluid infiltration is in the same universality class of RWI, with an equivalence between the head and the particle concentration. These results set a relation between different infiltration processes with localized sources and the recurrence properties of random walks in the same media.

2019-04-10T15:00:12Z 11 pages, 12 figures included Phys. Rev. E 99, 042111 (2019) Fabio D. A. Aarao Reis Vaughan R. Voller 10.1103/PhysRevE.99.042111 http://arxiv.org/abs/1904.03988v1 2019-04-08T12:17:08Z

We develop a modified version of the totally asymmetric simple exclusion process (TASEP) and use it to reproduce flow on an escalator with two distinct lanes of pedestrian traffic. The model is used to compare strategies with two standing lanes and a standing lane with a walking lane, using theoretical analysis and numerical simulations. The results show that two standing lanes are better for smoother overall transportation, while a mixture of standing and walking is advantageous only in limited cases that have a small number of pedestrians. In contrast, with many pedestrians, the individual travel time of the first several entering particles is always shorter with distinct standing and walking lanes than it is with two standing lanes.

2019-04-08T12:17:08Z 18 pages, 17 figures, 4 tables Hiroki Yamamoto Daichi Yanagisawa Katsuhiro Nishinari 10.1016/j.physa.2020.124571