https://arxiv.org/api/XY8dpFKczAYl+PWMUIEiiFK+uQQ 2026-06-15T08:26:28Z 1674 510 15 http://arxiv.org/abs/1904.05101v2 2019-09-18T05:37:29Z

Smooth transportation has drawn the attention of many researchers and practitioners in several fields. In the present paper, we propose a modified model of a totally asymmetric simple exclusion process (TASEP), which includes multiple species of particles and takes into account the sequence in which the particles enter a lattice. We investigate the dependence of the transportation time on this `entering sequence' and show that for a given collection of particles group sequence in some cases minimizes the transportation time better than a random sequence. We also introduce the `sorting cost' necessary to transform a random sequence into a group sequence and show that when this is included a random sequence can become advantageous in some conditions. We obtain these results not only from numerical simulations but also by theoretical analyses that generalize the simulation results for some special cases.

2019-04-10T10:43:19Z 24 pages, 26 figures, 6 tables Phys. Rev. E 100, 042106 (2019) Hiroki Yamamoto Daichi Yanagisawa Katsuhiro Nishinari 10.1103/PhysRevE.100.042106 http://arxiv.org/abs/1909.06913v1 2019-09-15T23:47:31Z

We study cellular automata with randomly selected rules. Our setting are two-neighbor rules with a large number $n$ of states. The main quantity we analyze is the asymptotic probability, as $n \to \infty$, that the random rule has a periodic solution with given spatial and temporal periods. We prove that this limiting probability is non-trivial when the spatial and temporal periods are confined to a finite range. The main tool we use is the Chen-Stein method for Poisson approximation. The limiting probability distribution of the smallest temporal period for a given spatial period is deduced as a corollary and relevant empirical simulations are presented.

2019-09-15T23:47:31Z Janko Gravner Xiaochen Liu http://arxiv.org/abs/1908.01229v2 2019-09-13T16:29:17Z

Gauge-invariance is a mathematical concept that has profound implications in Physics---as it provides the justification of the fundamental interactions. It was recently adapted to the Cellular Automaton (CA) framework, in a restricted case. In this paper, this treatment is generalized to non-abelian gauge-invariance, including the notions of gauge-equivalent theories and gauge-invariants of configurations

2019-08-03T20:26:38Z Pablo Arrighi Giuseppe Di Molfetta Nathanaël Eon 10.1007/978-3-030-34500-6_15 http://arxiv.org/abs/1904.12209v2 2019-09-13T11:20:28Z

We introduce a tiling problem between bounded open convex polyforms $\hat{P}\subset\mathbb{R}^2$ with directed and uniquely colored edges. If there exists a tiling of the polyform $\hat{P}_2$ by $\hat{P}_1$, we show that one can construct a monomorphism from the sandpile group $G_{Γ_1}=\mathbb{Z}^{Γ_1}/Δ(\mathbb{Z}^{Γ_1})$ on the domain (graph) $Γ_1=\hat{P}_1\cap\mathbb{Z}^2$ to the respective group on $Γ_2=\hat{P}_2\cap\mathbb{Z}^2$. We provide several examples of infinite series of such tilings with polyforms converging to $\mathbb{R}^2$, and thus the first definition of scaling-limits for the sandpile group on the plane. Additional results include an exact sequence relating sandpile configurations to harmonic functions, an alternative formula for the order of the sandpile group based on a basis for the module of integer-valued harmonic functions, and three examples of how to prove the existence of (cyclic) subgroups for infinite families of sandpile groups by constructing appropriate integer-valued harmonic functions. The main open question concerns if the scaling-limits of the sandpile group for different sequences of polyforms converging to $\mathbb{R}^2$ are isomorphic.

2019-04-27T20:34:16Z Significantly extended and generalized version, now considering monomorphisms induced by solutions to a tiling problem as well as limits of the sandpile group on the plane. Completely rewritten for a mathematical audience. 25 pages, 7 figures Moritz Lang Mikhail Shkolnikov http://arxiv.org/abs/1909.04235v1 2019-09-10T01:57:13Z

We propose a max-plus equation which includes Conway's Game of Life (GoL) as a special case. There are some special solutions to the equation which include and unify those to GoL. Moreover, the multi-value extension of GoL is derived from the equation and the behavior of solutions is discussed.

2019-09-10T01:57:13Z Kotaro Sakata Yuta Tanaka Daisuke Takahashi http://arxiv.org/abs/1808.04483v2 2019-09-09T22:33:43Z

Agent-based (AB) or Cellular Automata (CA) models are rule based and are a relatively simple discrete method that can be used to simulate complex interactions of many agents or cells. The relative ease of implementing the computational model is often counterbalanced by the difficulty of performing rigorous analysis to determine emergent behaviors. In addition, without precise definitions of cell interactions, calculating existence of fixed points and their stability is not tractable from an analytical perspective and can become computationally expensive, involving potentially thousands of simulations. Through developing a precise definition of an off-lattice CA or AB model with a specified interaction neighborhood, we develop a general method to determine a Global Recurrence Rule (GRR). This allows estimates of the state densities in time, which can be easily calculated for a range of parameters in the model. The utility of this framework is tested on an Epidemiological Cellular Automata (E-CA) model where agents or cells correspond to people that are in the susceptible, infected, or recovered states. The interaction neighborhoods of cells are determined in a mathematical formulation that allows the GRR to accurately predict the long term behavior and steady states. The modeling framework outlined will be generally applicable to many areas and can be easily extended.

2018-08-13T22:35:40Z 32 pages, 7 figures Michael A. Yereniuk Sarah D. Olson http://arxiv.org/abs/1807.08748v4 2019-08-05T00:44:37Z

We establish quantitative spherical shape theorems for rotor-router aggregation and abelian sandpile growth on the graphical Sierpinski gasket ($SG$) when particles are launched from the corner vertex. In particular, the abelian sandpile growth problem is exactly solved via a recursive construction of self-similar sandpile tiles. We show that sandpile growth and patterns exhibit a $(2\cdot 3^n)$-periodicity as a function of the initial mass. Moreover, the cluster explodes---increments by more than 1 in radius---at periodic intervals, a phenomenon not seen on $\mathbb{Z}^d$ or trees. We explicitly characterize all the radial jumps, and use the renewal theorem to prove the scaling limit of the cluster radius, which satisfies a power law modulated by log-periodic oscillations. In the course of our proofs we also establish structural identities of the sandpile groups of subgraphs of $SG$ with two different boundary conditions, notably the corresponding identity elements conjectured by Fairchild, Haim, Setra, Strichartz, and Westura. Our main theorems, in conjunction with recent results of Chen, Huss, Sava-Huss, and Teplyaev, establish $SG$ as a positive example of a state space which exhibits "limit shape universality," in the sense of Levine and Peres, among the four Laplacian growth models: divisible sandpiles, abelian sandpiles, rotor-router aggregation, and internal diffusion-limited aggregation (IDLA). We conclude the paper with conjectures about radial fluctuations in IDLA on $SG$, possible extensions of limit shape universality to other state spaces, and related open problems.

2018-07-23T17:55:32Z 54 pages, 1 periodic table, 100+ pictures. Final version, to appear in Ann. Inst. Henri Poincare Comb. Phys. Interact. For the Python code used to simulate various cellular automata models on the Sierpinski gasket, see https://github.com/jkudlerflam/AutomataSG Ann. Inst. Henri Poincaré Comb. Phys. Interact. 7 (2020), 585-664 Joe P. Chen Jonah Kudler-Flam 10.4171/AIHPD/95 http://arxiv.org/abs/1901.01534v2 2019-07-21T13:35:11Z

We continue the study of asynchrony immunity in cellular automata (CA), which can be considered as a weaker version of correlation immunity in the context of vectorial Boolean functions. The property could have applications as a countermeasure for side-channel attacks in CA-based cryptographic primitives, such as S-boxes and pseudorandom number generators. We first give some theoretical results on the necessary conditions that a CA rule must satisfy in order to meet asynchrony immunity, the most important one being center permutivity. Next, we perform an exhaustive search of all asynchrony immune CA rules of neighborhood size up to $5$, leveraging on the discovered theoretical properties to greatly reduce the size of the search space.

2019-01-06T12:46:33Z 12 pages, 2 figures, extended version of the paper "Asynchrony Immune Cellular Automata" by L. Mariot presented at ACA 2016. Corrected small typos from previous version and added three bibliographical references Luca Mariot Luca Manzoni Alberto Dennunzio 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