https://arxiv.org/api/0hRS4G5E7t7P9rsFUBQMpQTlAy0 2026-04-10T00:09:34Z 1651 495 15 http://arxiv.org/abs/1907.06012v1 2019-07-13T05:27:55Z

In this paper, we study reversibility of one-dimensional(1D) linear cellular automata(LCA) under null boundary condition, whose core problems have been divided into two main parts: calculating the period of reversibility and verifying the reversibility in a period. With existing methods, the time and space complexity of these two parts are still too expensive to be employed. So the process soon becomes totally incalculable with a slightly big size, which greatly limits its application. In this paper, we set out to solve these two problems using two efficient algorithms, which make it possible to solve reversible LCA of very large size. Furthermore, we provide an interesting perspective to conversely generate 1D LCA from a given period of reversibility. Due to our methods' efficiency, we can calculate the reversible LCA with large size, which has much potential to enhance security in cryptography system.

2019-07-13T05:27:55Z Xinyu Du Chao Wang Tianze Wang Zeyu Gao http://arxiv.org/abs/1908.07993v1 2019-07-09T15:57:26Z

Since the introduction of strong anticipation by D.~Dubois the numerous investigations of concrete systems have been proposed. In proposed paper the new examples of discrete dynamical systems with anticipation are considered. The mathematical formulation of problems, possible analytical formulas for solutions and numerical examples of presumable solutions are proposed. One of the most interesting properties in such systems is presumable multivaluedness of the solutions. It can be considered from the point of view of dynamical chaos and complex behavior. We represent examples of periodic and complex solutions, attractor's properties and presumable applications in self-organization. The main peculiarity is the strong anticipation property. General new possibilities are the presumable multivaluedness of the dynamics of automata. Possible interpretations of such behavior of cellular automata are discussed. Further prospects for development of automata theory and hyper computation are proposed.

2019-07-09T15:57:26Z 19 pages, 4 figures Kyamakya K. et al. (eds.) Recent Advances in Nonlinear Dynamics and Synchronization, Studies in Systems, Decision and Control 109, Springer, Cham, 2018 Alexander Makarenko 10.1007/978-3-319-58996-1_3 http://arxiv.org/abs/1907.04211v1 2019-07-06T20:12:13Z

Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, they are: binary sum, rule 110 and a universal reversible Turing machine.

2019-07-06T20:12:13Z 18 pages, 8 tables, 3 figures. https://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-14-number-2-2019/ijuc-14-2-p-121-138/ International Journal of Unconventional Computing 14(2) pages 121-138, 2019 Sergio J. Martinez Ivan M. Mendoza Genaro J. Martinez Shigeru Ninagawa http://arxiv.org/abs/1907.00636v1 2019-07-01T10:07:59Z

Dynamical universality classes are distinguished by their dynamical exponent $z$ and unique scaling functions encoding space-time asymmetry for, e.g. slow-relaxation modes or the distribution of time-integrated currents. So far the universality class of the Nagel-Schreckenberg (NaSch) model, which is a paradigmatic model for traffic flow on highways, was not known except for the special case $v_{\text{max}}=1$. Here the model corresponds to the TASEP (totally asymmetric simple exclusion process) that is known to belong to the superdiffusive Kardar-Parisi-Zhang (KPZ) class with $z=3/2$. In this paper, we show that the NaSch model also belongs to the KPZ class \cite{KPZ} for general maximum velocities $v_{\text{max}}>1$. Using nonlinear fluctuating hydrodynamics theory we calculate the nonuniversal coefficients, fixing the exact asymptotic solutions for the dynamical structure function and the distribution of time-integrated currents. Performing large-scale Monte-Carlo simulations we show that the simulation results match the exact asymptotic KPZ solutions without any fitting parameter left. Additionally, we find that nonuniversal early-time effects or the choice of initial conditions might have a strong impact on the numerical determination of the dynamical exponent and therefore lead to inconclusive results. We also show that the universality class is not changed by extending the model to a two-lane NaSch model with dynamical lane changing rules.

2019-07-01T10:07:59Z 10 pages, 10 figures Phys. Rev. E 100, 052111 (2019) Jan de Gier Andreas Schadschneider Johannes Schmidt Gunter M. Schütz 10.1103/PhysRevE.100.052111 http://arxiv.org/abs/1907.01635v1 2019-06-29T22:59:44Z

We propose some conjectures for asymptotic distribution of probabilistic Burgers cellular automaton (PBCA) which is defined by a simple motion rule of particles including a probabilistic parameter. Asymptotic distribution of configurations converges to a unique steady state for PBCA. We assume some conjecture on the distribution and derive the asymptotic probability expressed by GKZ hypergeometric function. If we take a limit of space size to infinity, a relation between density and flux of particles for infinite space size can be evaluated. Moreover, we propose two extended systems of PBCA of which asymptotic behavior can be analyzed as PBCA.

2019-06-29T22:59:44Z 21 pages, 12 figures Kazushige Endo 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