https://arxiv.org/api/Embfzgmfk2nbNkc+zuKUp1qFGt0 2026-04-09T11:17:26Z 1651 360 15 http://arxiv.org/abs/2107.02035v1 2021-07-05T13:52:39Z

Chalcogenide phase change materials (PCMs) have been extensively applied in data storage, and they are now being proposed for high resolution displays, holographic displays, reprogrammable photonics, and all-optical neural networks. These wide-ranging applications all exploit the radical property contrast between the PCMs different structural phases, extremely fast switching speed, long-term stability, and low energy consumption. Designing PCM photonic devices requires an accurate model to predict the response of the device during phase transitions. Here, we describe an approach that accurately predicts the microstructure and optical response of phase change materials during laser induced heating. The framework couples the Gillespie Cellular Automata approach for modelling phase transitions with effective medium theory and Fresnel equations. The accuracy of the approach is verified by comparing the PCM optical response and microstructure evolution with the results of nanosecond laser switching experiments. We anticipate that this approach to simulating the switching response of PCMs will become an important component for designing and simulating programmable photonics devices. The method is particularly important for predicting the multi-level optical response of PCMs, which is important for all-optical neural networks and PCM-programmable perceptrons.

2021-07-05T13:52:39Z 26 pages, 6 figures Yunzheng Wang Jing Ning Li Lu Michel Bosman Robert E. Simpson 10.1038/s41524-021-00655-w http://arxiv.org/abs/2009.12522v2 2021-07-02T01:17:27Z

We systematically analyze the tensorial structure of the lattice pressure tensors for a class of multi-phase lattice Boltzmann models (LBM) with multi-range interactions. Due to lattice discrete effects, we show that the built-in isotropy properties of the lattice interaction forces are not necessarily mirrored in the corresponding lattice pressure tensor. This finding opens a different perspective for constructing forcing schemes, achieving the desired isotropy in the lattice pressure tensors via a suitable choice of multi-range potentials. As an immediate application, the obtained LBM forcing schemes are tested via numerical simulations of non-ideal equilibrium interfaces and are shown to yield weaker and less spatially extended spurious currents with respect to forcing schemes obtained by forcing isotropy requirements only. From a general perspective, the proposed analysis yields an approach for implementing forcing symmetries, never explored so far in the framework of the Shan-Chen method for LBM. We argue this will be beneficial for future studies of non-ideal interfaces.

2020-09-26T05:56:53Z 14 pages + Appendix, 8 figures; updated to published version: added figures and text Phys. Rev. E 103, 063309 (2021) Matteo Lulli Luca Biferale Giacomo Falcucci Mauro Sbragaglia Xiaowen Shan 10.1103/PhysRevE.103.063309 http://arxiv.org/abs/2106.13591v1 2021-06-24T17:03:26Z

A survey is given of approaches to the problem of distributed consensus, focusing particularly on methods based on cellular automata and related systems. A variety of new results are given, as well as a history of the field and an extensive bibliography. Distributed consensus is of current relevance in a new generation of blockchain-related systems.

2021-06-24T17:03:26Z Stephen Wolfram http://arxiv.org/abs/2106.10301v1 2021-06-18T18:06:34Z

Mean and diam-mean equicontinuity are dynamical properties that have been of use in the study of non-periodic order. We show that the Pacman automaton is not almost diam-mean equicontinuous (it is already known that it is almost mean equicontinuous).

2021-06-18T18:06:34Z In Proceedings of the 27th International Workshop on Cellular Automata and Discrete Complex Systems. arXiv admin note: substantial text overlap with arXiv:2106.09641 Luguis de los Santos Baños Felipe García-Ramos http://arxiv.org/abs/2106.09638v1 2021-06-17T16:34:49Z

The initial majority identification task is a fundamental test problem in cellular automaton research. To pass the test, an automaton must evolve to a uniform configuration consisting of the state that was in the majority for any initial configuration, employing only its internal, local dynamics. It is known that no two-state automaton can perform the majority task perfectly. Thus, it is a matter of continuing interest to identify and analyze new automata with improved majority identification capability. Here, we show that a coarsened version of one of the best majority identifiers can out-perform its parent automaton while simultaneously reducing the associated computational costs.

2021-06-17T16:34:49Z 9 pages, 5 figures Complex Systems, 2022 David Peak Charles G. Torre Jenny R. Whiteley 10.25088/ComplexSystems.31.2.191 http://arxiv.org/abs/2105.11552v1 2021-05-24T21:51:56Z

Although traditional models of epidemic spreading focus on the number of infected, susceptible and recovered individuals, a lot of attention has been devoted to integrate epidemic models with population genetics. Here we develop an individual-based model for epidemic spreading on networks in which viruses are explicitly represented by finite chains of nucleotides that can mutate inside the host. Under the hypothesis of neutral evolution we compute analytically the average pairwise genetic distance between all infecting viruses over time. We also derive a mean-field version of this equation that can be added directly to compartmental models such as SIR or SEIR to estimate the genetic evolution. We compare our results with the inferred genetic evolution of SARS-CoV-2 at the beginning of the epidemic in China and found good agreement with the analytical solution of our model. Finally, using genetic distance as a proxy for different strains, we use numerical simulations to show that the lower the connectivity between communities, e.g., cities, the higher the probability of reinfection.

2021-05-24T21:51:56Z 19 pages, 8 figures PLoS ONE 16(7) (2021) e0255438 Vitor M. Marquioni Marcus A. M. de Aguiar 10.1371/journal.pone.0255438 http://arxiv.org/abs/2103.16543v2 2021-05-13T08:58:14Z

We review recent results on an exactly solvable model of nonequilibrium statistical mechanics, specifically the classical Rule 54 reversible cellular automaton and some of its quantum extensions. We discuss the exact microscopic description of nonequilibrium dynamics as well as the equilibrium and nonequilibrium stationary states. This allows us to obtain a rigorous handle on the corresponding emergent hydrodynamic description, which is treated as well. Specifically, we focus on two different paradigms of Rule 54 dynamics. Firstly, we consider a finite chain driven by stochastic boundaries, where we provide exact matrix product descriptions of the nonequilibrium steady state, most relevant decay modes, as well as the eigenvector of the tilted Markov chain yielding exact large deviations for a broad class of local and extensive observables. Secondly, we treat the explicit dynamics of macro-states on an infinite lattice and discuss exact closed form results for dynamical structure factor, multi-time-correlation functions and inhomogeneous quenches. Remarkably, these results prove that the model, despite its simplicity, behaves like a regular fluid with coexistence of ballistic (sound) and diffusive (heat) transport. Finally, we briefly discuss quantum interpretation of Rule 54 dynamics and explicit results on dynamical spreading of local operators and operator entanglement.

2021-03-30T17:50:07Z Review paper, 70 pages, 17 figures. To appear in JSTAT special issue 2021 "Emergent Hydrodynamics in Integrable Many-body Systems"; v2 minor modifications to improve presentation J. Stat. Mech. (2021) 074001 Berislav Buča Katja Klobas Tomaž Prosen 10.1088/1742-5468/ac096b http://arxiv.org/abs/2105.04010v1 2021-05-09T19:55:33Z

We study a simple deterministic map that leads a fully connected network to Heider balance. The map is realized by an algorithm that updates all links synchronously in a way depending on the state of the entire network. We observe that the probability of reaching a balanced state increases with the system size N. Jammed states become less frequent for larger N. The algorithm generates also limit cycles, mostly of length $2$, but also of length 3, 4, 6, 12 or 14. We give a simple argument to estimate the mean size of basins of attraction of balanced states and discuss symmetries of the system including the automorphism group as well as gauge invariance of triad configurations. We argue that both the symmetries play an essential role in the occurrence of cycles observed in the synchronous dynamics realized by the algorithm.

2021-05-09T19:55:33Z Malgorzata J. Krawczyk Krzysztof Kulakowski Zdzislaw Burda 10.1103/PhysRevE.104.024307 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