https://arxiv.org/api/Qmuy01f4YwtQIpwoTz8I/0krEm8 2026-06-11T04:27:00Z 1673 390 15 http://arxiv.org/abs/2102.06912v2 2021-05-08T10:00:58Z

Gauge symmetries play a fundamental role in Physics, as they provide a mathematical justification for the fundamental forces. Usually, one starts from a non-interactive theory which governs `matter', and features a global symmetry. One then extends the theory so as make the global symmetry into a local one (a.k.a gauge-invariance). We formalise a discrete counterpart of this process, known as gauge extension, within the Computer Science framework of Cellular Automata (CA). We prove that the CA which admit a relative gauge extension are exactly the globally symmetric ones (a.k.a the colour-blind). We prove that any CA admits a non-relative gauge extension. Both constructions yield universal gauge-invariant CA, but the latter allows for a first example where the gauge extension mediates interactions within the initial CA.

2021-02-13T12:05:00Z Pablo Arrighi Marin Costes Nathanaël Eon 10.4230/LIPIcs.MFCS.2021.9 http://arxiv.org/abs/2105.00725v1 2021-05-03T10:15:11Z

We consider reversible and surjective cellular automata perturbed with noise. We show that, in the presence of positive additive noise, the cellular automaton forgets all the information regarding its initial configuration exponentially fast. In particular, the state of a finite collection of cells with diameter n becomes indistinguishable from pure noise after O(log n) time steps. This highlights the seemingly unavoidable need for irreversibility in order to perform scalable reliable computation in the presence of noise.

2021-05-03T10:15:11Z To appear in the Proceedings of AUTOMATA 2021, published in the OASIcs series Siamak Taati 10.4230/OASIcs.AUTOMATA.2021.3 http://arxiv.org/abs/2104.04403v2 2021-04-28T16:00:10Z

A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current configuration of states. In this paper, we are interested in disjunctive networks, where each local function is simply the disjunction of a set of variables. As such, this network is somewhat homogeneous, though the number of variables may vary from entity to entity, thus yielding a generalised cellular automaton. The aim of this paper is to review some of the main results, derive some additional fundamental results, and highlight some open problems, on the dynamics of disjunctive networks. We first review the different defining characteristics of disjunctive networks and several ways of representing them using graphs, Boolean matrices, or binary relations. We then focus on three dynamical properties of disjunctive networks: their image points, their periodic points, and their fixed points. For each class of points, we review how they can be characterised and study how many they could be. The paper finishes with different avenues for future work on the dynamics of disjunctive networks and how to generalise them.

2021-04-09T14:43:55Z Maximilien Gadouleau http://arxiv.org/abs/2104.13066v1 2021-04-27T09:27:30Z

We examine adaptive strategies adopted by vehicles for route selection en-route in transportation networks. By studying a model of two-dimensional cellular automata, we model vehicles characterized by a parameter called path-greediness, which corresponds to the tendency for them to travel to their destinations via the shortest path. The path-greediness of each individual vehicle is updated based on the local traffic conditions, to either keep the vehicle travels via a shorter path in an un-congested region or to explore longer diverted paths in a congested region. We found that the optimal number of steps to trigger an update of path-greediness is dependent on the density of vehicles, and the magnitude of path-greediness increment affects the macroscopic traffic conditions of the system. To better coordinate vehicles in denser networks, the update on the tendency for vehicles to travel via the shorter paths should be gradual and less frequent.

2021-04-27T09:27:30Z T. S. Tai C. H. Yeung 10.1016/j.cjph.2021.07.024 http://arxiv.org/abs/2104.01008v1 2021-04-01T08:14:15Z

Emergent processes in complex systems such as cellular automata can perform computations of increasing complexity, and could possibly lead to artificial evolution. Such a feat would require scaling up current simulation sizes to allow for enough computational capacity. Understanding complex computations happening in cellular automata and other systems capable of emergence poses many challenges, especially in large-scale systems. We propose methods for coarse-graining cellular automata based on frequency analysis of cell states, clustering and autoencoders. These innovative techniques facilitate the discovery of large-scale structure formation and complexity analysis in those systems. They emphasize interesting behaviors in elementary cellular automata while filtering out background patterns. Moreover, our methods reduce large 2D automata to smaller sizes and enable identifying systems that behave interestingly at multiple scales.

2021-04-01T08:14:15Z Artificial Life Conference Proceedings 2020 (pp. 239-247). MIT Press Hugo Cisneros Josef Sivic Tomas Mikolov 10.1162/isal_a_00277 http://arxiv.org/abs/2007.00979v2 2021-03-25T13:28:47Z

We study seasonal epidemic spreading in a susceptible-infected-removed-susceptible (SIRS) model on smallworld graphs. We derive a mean-field description that accurately captures the salient features of the model, most notably a phase transition between annual and biennial outbreaks. A numerical scaling analysis exhibits a diverging autocorrelation time in the thermodynamic limit, which confirms the presence of a classical discrete time crystalline phase. We derive the phase diagram of the model both from mean-field theory and from numerics. Our work offers new perspectives by demonstrating that small-worldness and non-Markovianity can stabilize a classical discrete time crystal, and by linking recent efforts to understand such dynamical phases of matter to the century-old problem of biennial epidemics.

2020-07-02T09:24:54Z 7+4 pages, 4+1 figures; comments welcome Phys. Rev. Research 3, 013124 (2021) Daniel Malz Andrea Pizzi Andreas Nunnenkamp Johannes Knolle 10.1103/PhysRevResearch.3.013124 http://arxiv.org/abs/1508.00161v2 2021-03-24T21:33:03Z

The abelian sandpile model is a simple combinatorial model for critical behaviour which has the "abelian property" that the order in which we make moves does not change the final outcome of the game. This might seem to restrict the model's computational ability, but we show that, given three dimensions to work with, the sandpile is able to simulate a Turing machine. We use that to prove the undecidability of three halting problems.

2015-08-01T19:27:57Z 35 pages Hannah Cairns 10.1137/16M1091964 http://arxiv.org/abs/2103.13288v1 2021-03-24T16:01:07Z

We study the spread of a simulated epidemic in a network of individuals who may either contract a disease through sexual contact with an infected nearest neighbor or use safe sex practices under the influence of neighbors who are already adopting precautions. We show that both interaction between susceptible and infected individuals and the imitation of opinions concerning safe sex practices between individuals in favor of using such practices and those opposed to them leads to a phase transition. If the parameters of the epidemic are in the supercritical state, corresponding to an unlimited growth of infection, the interaction parameter of the sociological debate must also be in the supercritical state to control the spread of infection, and bring the system to criticality. Adopting a theoretical perspective like that of multilayer complex networks, we study the case where the epidemic network is under the influence of the above-mentioned sociological debate. We show that at criticality this debate generates clusters of individuals in favor of safe sex practices and clusters of individuals opposing their use. We study the influence of a sociological debate on whether to use safe sex or not, on the spreading of sexually transmitted infections. We show that due to this debate in the epidemic network a pattern mirroring the structures of the sociological network appears. Finally, we introduce a feedback of the epidemic network on the sociological network and prove that due to this feedback the sociological system undergoes a process of self-organization keeping it at criticality. We hope that these results have the effect of giving interesting suggestions to behavioral psychologists and information scientists actively involved in the analysis of the social debate on the moral issues connected to sexual activities.

2021-03-24T16:01:07Z Paolo Grigolini David Lambert Korosh Mahmoodi Nicola Piccinini http://arxiv.org/abs/2012.12256v3 2021-03-19T18:04:36Z

We study the out-of-equilibrium dynamics of the quantum cellular automaton known as "Rule 54". For a class of low-entangled initial states, we provide an analytic description of the effect of the global evolution on finite subsystems in terms of simple quantum channels, which gives access to the full thermalization dynamics at the microscopic level. As an example, we provide analytic formulae for the evolution of local observables and Rényi entropies. We show that, in contrast to other known examples of exactly solvable quantum circuits, Rule 54 does not behave as a simple Markovian bath on its own parts, and displays typical non-equilibrium features of interacting integrable many-body quantum systems such as finite relaxation rate and interaction-induced dressing effects. Our study provides a rare example where the full thermalization dynamics can be solved exactly at the microscopic level.

2020-12-22T18:53:33Z 9 (6+3) pages; v2 as appears in Phys. Rev. Lett Phys. Rev. Lett. 126, 160602 (2021) Katja Klobas Bruno Bertini Lorenzo Piroli 10.1103/PhysRevLett.126.160602 http://arxiv.org/abs/2005.01763v3 2021-03-16T01:40:40Z

Cellular automata are interacting classical bits that display diverse emergent behaviors, from fractals to random-number generators to Turing-complete computation. We discover that quantum cellular automata (QCA) can exhibit complexity in the sense of the complexity science that describes biology, sociology, and economics. QCA exhibit complexity when evolving under "Goldilocks rules" that we define by balancing activity and stasis. Our Goldilocks rules generate robust dynamical features (entangled breathers), network structure and dynamics consistent with complexity, and persistent entropy fluctuations. Present-day experimental platforms -- Rydberg arrays, trapped ions, and superconducting qubits -- can implement our Goldilocks protocols, making testable the link between complexity science and quantum computation exposed by our QCA.

2020-05-04T18:04:12Z 24 pages, 10 figures Quantum Sci. Technol. 6 (2021) 045017 Logan E. Hillberry Matthew T. Jones David L. Vargas Patrick Rall Nicole Yunger Halpern Ning Bao Simone Notarnicola Simone Montangero Lincoln D. Carr 10.1088/2058-9565/ac1c41 http://arxiv.org/abs/2103.04626v1 2021-03-08T09:24:22Z

In this paper, we come back on the notion of local simulation allowing to transform a cellular automaton into a closely related one with different local encoding of information. In a previous paper, we applied it to the Firing Squad Synchronization Problem. In this paper, we show that the approach is not tied to this problem by applying it to the class of Real-Time Sequence Generation problems. We improve in particular on the generation of n 3 sequence by using local mappings to obtain millions of 5state solution, one of them using 58 transitions. It is based on the solution of Kamikawa and Umeo that uses 6 states and 74 transitions. Then, we explain in which sense even bigger classes of problems can be considered.

2021-03-08T09:24:22Z Tien Nguyen LACL Luidnel Maignan LACL http://arxiv.org/abs/2102.12156v2 2021-03-04T09:40:11Z

In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function through the categorical notion of Kan extension. In fact, the two possible ways to do such an extension and the ingredients involved in their definition are related through Kan extensions in many ways. These relations provide additional links between computer science and category theory, and also give a new point of view on the famous Curtis-Hedlung theorem of cellular automata from the extended topological point of view provided by category theory. These relations provide additional links between computer science and category theory. No prior knowledge of category theory is assumed.

2021-02-24T09:24:40Z Alexandre Fernandez LACL Luidnel Maignan LACL Antoine Spicher LACL http://arxiv.org/abs/2008.11279v2 2021-03-01T13:25:57Z

To respect physics and nature, cellular automata (CA) models of self-organisation, emergence, computation and logical universality should be isotropic, having equivalent dynamics in all directions. We present a novel paradigm, the iso-rule, a concise expression for isotropic CA by the output table for each isotropic neighborhood group, allowing an efficient method of navigating and exploring iso-rule-space. We describe new functions and tools in DDLab to generate iso-groups and iso-rules, for multi-value as well as binary, in one, two and three dimensions. These methods include filing, filtering, mutating, analysing dynamics by input-frequency and entropy, identifying the critical iso-groups for glider-gun/eater dynamics, and automatically classifying iso-rule-space. We illustrate these ideas and methods for two dimensional CA on square and hexagonal lattices.

2020-08-25T21:25:20Z to appear in Journal of Cellular Automata, minor revisions, 32 pages, 31 figures Journal of CELLULAR AUTOMATA (JCA) ,Vol.15, No.5-6,439-470, 2021 Andrew Wuensche José Manuel Gómez Soto http://arxiv.org/abs/2102.07747v1 2021-02-15T18:42:37Z

Most heat transfer models for bulk crystal growth rely on the classical Stefan formulation to evaluate interface motion during phase change. However, when the interface is non-smooth the use of the classical Stefan formulation may lead to singularities. To address this problem, we propose a simulation model based on the weak formulation of the Stefan problem. Numerical solutions of the weak Stefan formulation are obtained using the finite volume method. This approach provides an energy conserving discretization scheme that accurately evaluates heat transfer around non-smooth interfaces. We apply the weak formulation to numerically simulate the solidification of silicon in the horizontal ribbon growth process. Results exhibit a limitation on the ribbon's pull speed, which previous classical Stefan models have failed to demonstrate. A comparison of heat transfer between radiation and gas cooling shows that gas cooling increases the pull speed limit for the same amount of heat removed.

2021-02-15T18:42:37Z 19 pages, 13 figures, 1 table Eyan P. Noronha B. Erik Ydstie http://arxiv.org/abs/2012.02179v2 2021-02-14T22:22:19Z

Recent experiments by Springer and Kenyon have shown that a deep neural network can be trained to predict the action of $t$ steps of Conway's Game of Life automaton given millions of examples of this action on random initial states. However, training was never completely successful for $t>1$, and even when successful, a reconstruction of the elementary rule ($t=1$) from $t>1$ data is not within the scope of what the neural network can deliver. We describe an alternative network-like method, based on constraint projections, where this is possible. From a single data item this method perfectly reconstructs not just the automaton rule but also the states in the time steps it did not see. For a unique reconstruction, the size of the initial state need only be large enough that it and the $t-1$ states it evolves into contain all possible automaton input patterns. We demonstrate the method on 1D binary cellular automata that take inputs from $n$ adjacent cells. The unknown rules in our experiments are not restricted to simple rules derived from a few linear functions on the inputs (as in Game of Life), but include all $2^{2^n}$ possible rules on $n$ inputs. Our results extend to $n=6$, for which exhaustive rule-search is not feasible. By relaxing translational symmetry in space and also time, our method is attractive as a platform for the learning of binary data, since the discreteness of the variables does not pose the same challenge it does for gradient-based methods.

2020-12-03T18:55:40Z 14 pages, 15 figures, new appendix with Game of Life results Phys. Rev. E 104, 034301 (2021) Veit Elser 10.1103/PhysRevE.104.034301