https://arxiv.org/api/DQxbPkVtzV08bqSCou3jJvPL7FM 2026-04-09T22:58:54Z 1651 480 15 http://arxiv.org/abs/1911.07581v1 2019-11-18T12:21:18Z

We introduce and study a non-conserving sandpile model, the autonomously adapting sandpile (AAS) model, for which a site topples whenever it has two or more grains, distributing three or two grains randomly on its neighboring sites, respectively with probability $p$ and $(1-p)$. The toppling process is independent of the actual number of grains $z_i$ of the toppling site, as long as $z_i\ge2$. For a periodic lattice the model evolves into an inactive state for small $p$, with the number of active sites becoming stationary for larger values of $p$. In one and two dimensions we find that the absorbing phase transition occurs for $p_c\!\approx\!0.717$ and $p_c\!\approx\!0.275$. The symmetry of bipartite lattices allows states in which all active sites are located alternatingly on one of the two sublattices, A and B, respectively for even and odd times. We show that the AB-sublattice symmetry is spontaneously broken for the AAS model, an observation that holds also for the Manna model. One finds that a metastable AB-symmetry conserving state is transiently observable and that it has the potential to influence the width of the scaling regime, in particular in two dimensions. The AAS model mimics the behavior of integrate-and-fire neurons which propagate activity independently of the input received, as long as the threshold is crossed. Abstracting from regular lattices, one can identify sites with neurons and consider quenched networks of neurons connected to a fixed number $G$ of other neurons, with $G$ being drawn from a suitable distribution. The neuronal activity is then propagated to $G$ other neurons. The AAS model is hence well suited for theoretical studies of nearly critical brain dynamics. We also point out that the waiting-time distribution allows an avalanche-free experimental access to criticality.

2019-11-18T12:21:18Z Journal of Physics A: Mathematical and Theoretical, in press Marvin Göbel Claudius Gros 10.1088/1751-8121/ab59ad http://arxiv.org/abs/1808.08074v6 2019-11-03T05:59:52Z

The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.

2018-08-24T10:14:40Z 27 pages, 4 figures. Accepted for publication in Journal of Statistical Physics Atsuo Kuniba Hanbaek Lyu 10.1007/s10955-019-02417-x http://arxiv.org/abs/1906.08249v2 2019-10-31T13:37:45Z

We investigate sets of Mutually Orthogonal Latin Squares (MOLS) generated by Cellular Automata (CA) over finite fields. After introducing how a CA defined by a bipermutive local rule of diameter $d$ over an alphabet of $q$ elements generates a Latin square of order $q^{d-1}$, we study the conditions under which two CA generate a pair of orthogonal Latin squares. In particular, we prove that the Latin squares induced by two Linear Bipermutive CA (LBCA) over the finite field $\mathbb{F}_q$ are orthogonal if and only if the polynomials associated to their local rules are relatively prime. Next, we enumerate all such pairs of orthogonal Latin squares by counting the pairs of coprime monic polynomials with nonzero constant term and degree $n$ over $\mathbb{F}_q$. Finally, we present a construction of MOLS generated by LBCA with irreducible polynomials and prove the maximality of the resulting sets, as well as a lower bound which is asymptotically close to their actual number.

2019-06-19T17:49:16Z 25 pages, 3 figures Luca Mariot Maximilien Gadouleau Enrico Formenti Alberto Leporati 10.1007/s10623-019-00689-8 http://arxiv.org/abs/1910.10882v1 2019-10-24T02:16:43Z

In this paper we study the family of freezing cellular automata (FCA) in the context of asynchronous updating schemes. A cellular automaton is called freezing if there exists an order of its states, and the transitions are only allowed to go from a lower to a higher state. A cellular automaton is asynchronous if at each time-step only one cell is updated. Given configuration, we say that a cell is unstable if there exists a sequential updating scheme that changes its state. In this context, we define the problem AsyncUnstability, which consists in deciding if a cell is unstable or not. In general AsyncUnstability is in NP, and we study in which cases we can solve the problem by a more efficient algorithm. We begin showing that AsyncUnstability is in NL for any one-dimensional FCA. Then we focus on the family of life-like freezing CA (LFCA), which is a family of two-dimensional two-state FCA that generalize the freezing version of the game of life, known as life without death. We study the complexity of AsyncUnstability for all LFCA in the triangular and square grids, showing that almost all of them can be solved in NC, except for one rule for which the problem is NP-complete.

2019-10-24T02:16:43Z Eric Goles Diego Maldonado Pedro Montealegre Martín Ríos-Wilson http://arxiv.org/abs/1910.08236v1 2019-10-18T03:18:56Z

A one-dimensional two-state number-conserving cellular automaton (NCCA) is a cellular automaton whose states are 0 or 1 and where cells take states 0 and 1 and updated their states by the rule which keeps overall sum of states constant. It can be regarded as a kind of particle based modeling of physical systems and has another intuitive representation, motion representation, based on the movement of each particle. We introduced a kind of hierarchical interpretation of motion representations to understand the necessary pattern size to each motion. We show any NCCA of its neighborhood size n can be hierarchically represented by NCCAs of their neighborhood size from n-1 to 1.

2019-10-18T03:18:56Z 7 pages, 5 figures Gil-Tak Kong Katsunobu Imai Toru Nakanashi http://arxiv.org/abs/1906.08121v2 2019-10-02T20:07:55Z

We present a lattice-gas (generalised Ising) model for liquid droplets on solid surfaces. The time evolution in the model involves two processes: (i) Single-particle moves which are determined by a kinetic Monte Carlo algorithm. These incorporate into the model particle diffusion over the surface and within the droplets and also evaporation and condensation, i.e. the exchange of particles between droplets and the surrounding vapour. (ii) Larger-scale collective moves, modelling advective hydrodynamic fluid motion, determined by considering the dynamics predicted by a thin-film equation. The model enables us to relate how macroscopic quantities such as the contact angle and the surface tension depend on the microscopic interaction parameters between the particles and with the solid surface. We present results for droplets joining, spreading, sliding under gravity, dewetting, the effects of evaporation, the interplay of diffusive and advective dynamics, and how all this behaviour depends on the temperature and other parameters.

2019-06-19T14:43:53Z 19 pages, 15 figures Phys. Rev. Fluids 4, 104006 (2019) Mounirah Areshi Dmitri Tseluiko Andrew J. Archer 10.1103/PhysRevFluids.4.104006 http://arxiv.org/abs/1909.12137v1 2019-09-25T15:19:51Z

Hurwitz orbits are the orbits of the braid group action on the powers of a rack. Hurwitz orbits for the action of the braid group on three strands are used in \cite{21} and \cite{22} for the classification of Nichols algebras. This classification is based on a combinatorial invariant called plague on the Hurwitz orbits. The method to calculate plagues on the Hurwitz orbits is formulated in \cite{22} by using a cellular automaton on the Hurwitz orbits and their quotients. By using this cellular automaton-based method we estimate the minimal plagues on the Hurwitz orbits.

2019-09-25T15:19:51Z arXiv admin note: text overlap with arXiv:1212.4330 by other authors Naqeeb ur Rehman 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