Driven Topological Systems in the Classical Limit

2017-02-16T17:41:27Z

Periodically-driven quantum systems can exhibit topologically non-trivial behaviour, even when their quasi-energy bands have zero Chern numbers. Much work has been conducted on non-interacting quantum-mechanical models where this kind of behaviour is present. However, the inclusion of interactions in out-of-equilibrium quantum systems can prove to be quite challenging. On the other hand, the classical counterpart of hard-core interactions can be simulated efficiently via constrained random walks. The non-interacting model proposed by Rudner et al. [Phys. Rev. X 3, 031005 (2013)], has a special point for which the system is equivalent to a classical random walk. We consider the classical counterpart of this model, which is exact at a special point even when hard-core interactions are present, and show how these quantitatively affect the edge currents in a strip geometry. We find that the interacting classical system is well described by a mean-field theory. Using this we simulate the dynamics of the classical system, which show that the interactions play the role of Markovian, or time dependent disorder. By comparing the evolution of classical and quantum edge currents in small lattices, we find regimes where the classical limit considered gives good insight into the quantum problem.

Local Scale-Invariance of the 2+1 dimensional Kardar-Parisi-Zhang model

2017-02-02T09:53:50Z

Local Scale-Invariance theory is tested by extensive dynamical simulations of the driven dimer lattice gas model, describing the surface growth of the 2+1 dimensional Kardar-Parisi-Zhang surfaces. Very precise measurements of the universal autoresponse function enabled us to perform nonlinear fitting with the scaling forms, suggested by local scale-invariance (LSI). While the simple LSI ansatz does not seem to work, forms based on logarithmic extension of LSI provide satisfactory description of the full (measured) time evolution of the autoresponse function.

'Viral' Turing Machines, Computation from Noise and Combinatorial Hierarchies

2017-01-31T11:02:37Z

The interactive computation paradigm is reviewed and a particular example is extended to form the stochastic analog of a computational process via a transcription of a minimal Turing Machine into an equivalent asynchronous Cellular Automaton with an exponential waiting times distribution of effective transitions. Furthermore, a special toolbox for analytic derivation of recursive relations of important statistical and other quantities is introduced in the form of an Inductive Combinatorial Hierarchy.

A Language for Particle Interactions in One-dimensional Cellular Automata

2017-01-29T13:37:05Z

This is a study of localised structures in one-dimensional cellular automata, with the elementary cellular automaton Rule 54 as a guiding example. A formalism for particles on a periodic background is derived, applicable to all one-dimensional cellular automata. One can compute which particles collide and in how many ways. One can also compute the fate of a particle after an unlimited number of collisions - whether they only produce other particles, or the result is a growing structure that destroys the background pattern. For Rule 54, formulas for the four most common particles are given and all two-particle collisions are found. We show that no other particles arise, which particles are stable and which can be created, provided that only two particles interact at a time. More complex behaviour of Rule 54 requires therefore multi-particle collisions.

Construction of local structure maps for cellular automata

2017-01-12T15:16:37Z

The paper formalizes and extends the idea of local structure approximation for cellular automata originally proposed by Gutowitz et. al. We start with a review of the construction of a probability measure on the set of bi-infinite strings over a finite alphabet of $N$ symbols. We then demonstrate that for a shift-invariant probability measure, probabilities of all blocks of length up to $k$ can be expressed by $(N-1)N^{k-1}$ linearly independent block probabilities. Two choices of these independent blocks are discussed in detail, one in which we choose the longest possible blocks ("long form") and one in which we choose the shortest possible blocks ("short form"). We then proceed to review the method which allows to approximate probabilities of blocks longer than $k$ by blocks of length $k$ or less. This approximation, known as Bayesian extension or Markov measure, is then used to construct approximate orbits of shift-invariant probability measures under the action of probabilistic or deterministic cellular automaton. We show that the aforementioned approximate orbit is completely determined by an $(N-1)N^{k-1}$-dimensional map. When the short form of block probabilities is used, this map takes particularly simple form, often revealing important features of a particular cellular automaton.

Quantum models as classical cellular automata

2017-01-09T16:50:04Z

A synopsis is offered of the properties of discrete and integer-valued, hence "natural", cellular automata (CA). A particular class comprises the "Hamiltonian CA" with discrete updating rules that resemble Hamilton's equations. The resulting dynamics is linear like the unitary evolution described by the Schrödinger equation. Employing Shannon's Sampling Theorem, we construct an invertible map between such CA and continuous quantum mechanical models which incorporate a fundamental discreteness scale $l$. Consequently, there is a one-to-one correspondence of quantum mechanical and CA conservation laws. We discuss the important issue of linearity, recalling that nonlinearities imply nonlocal effects in the continuous quantum mechanical description of intrinsically local discrete CA - requiring locality entails linearity. The admissible CA observables and the existence of solutions of the $l$-dependent dispersion relation for stationary states are mentioned, besides the construction of multipartite CA obeying the Superposition Principle. We point out problems when trying to match the deterministic CA here to those envisioned in 't Hooft's CA Interpretation of Quantum Mechanics.

Dynamics of Panic Pedestrians in Evacuation

2017-01-05T08:05:15Z

A modified lattice gas model is proposed to study pedestrian evacuation from a single room. The payoff matrix in this model represents the complicated interactions between selfish individuals, and the mean force imposed on an individual is given by considering the impacts of neighborhood payoff, walls, and defector herding. Each passer-by moves to his selected location according to the Fermi function, and the average velocity of pedestrian flow is defined as a function of the motion rule. Two pedestrian types are included: cooperators, who adhere to the evacuation instructions; and defectors, who ignore the rules and act individually. It is observed that the escape time increases with the panic level, and the system remains smooth for a low panic level, but exhibits three stages for a high panic level. We prove that the panic level determines the dynamics of this system, and the initial density of cooperators has a negligible impact. The system experiences three phases, a single phase of cooperator, a mixed two-phase pedestrian, and a single phase of defector sequentially as the panic level upgrades. The phase transition has been proven basically robust to the changes of empty site contribution, wall's pressure, and noise amplitude in the motion rule. It is further shown that pedestrians derive the greatest benefit from overall cooperation, but are trapped in the worst situation if they are all defectors.

An Overview of Recent Solutions to and Lower Bounds for the Firing Synchronization Problem

2017-01-04T15:19:51Z

Complex systems in a wide variety of areas such as biological modeling, image processing, and language recognition can be modeled using networks of very simple machines called finite automata. Connecting subsystems modeled using finite automata into a network allows for more computational power. One such network, called a cellular automaton, consists of an n-dimensional array for n > 1 with a single finite automaton located at each point of the array. One of the oldest problems associated with cellular automata is the firing synchronization problem, originally proposed by John Myhill in 1957. As with any long-standing problem, there are a large number of solutions to the firing synchronization problem. Our goal, and the contribution of this work, is to summarize recent solutions to the problem. We focus primarily on solutions to the original problem, that is, the problem where the network is a one-dimensional array and there is a single initiator located at one of the ends. We summarize both minimal-time and non-minimal-time solutions, with an emphasis on solutions that were published after 1998. We also focus on solutions that minimize the number of states required by the finite automata. In the process we also identify open problems that remain in terms of finding minimal-state solutions to the firing synchronization problem.

The Braess Paradox in a network of totally asymmetric exclusion processes

2016-12-23T10:17:15Z

We study the Braess paradox in the transport network as originally proposed by Braess with totally asymmetric exclusion processes (TASEPs) on the edges. The Braess paradox describes the counterintuitive situation in which adding an edge to a road network leads to a user optimum with higher travel times for all network users. Travel times on the TASEPs are nonlinear in the density, and jammed states can occur due to the microscopic exclusion principle, leading to a more realistic description of trafficlike transport on the network than in previously studied linear macroscopic mathematical models. Furthermore, the stochastic dynamics allows us to explore the effects of fluctuations on network performance. We observe that for low densities, the added edge leads to lower travel times. For slightly higher densities, the Braess paradox occurs in its classical sense. At intermediate densities, strong fluctuations in the travel times dominate the system's behavior due to links that are in a domain-wall state. At high densities, the added link leads to lower travel times. We present a phase diagram that predicts the system's state depending on the global density and crucial path-length ratios.

Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems

2016-12-18T07:15:34Z

Open-ended evolution (OEE) is relevant to a variety of biological, artificial and technological systems, but has been challenging to reproduce in silico. Most theoretical efforts focus on key aspects of open-ended evolution as it appears in biology. We recast the problem as a more general one in dynamical systems theory, providing simple criteria for open-ended evolution based on two hallmark features: unbounded evolution and innovation. We define unbounded evolution as patterns that are non-repeating within the expected Poincare recurrence time of an equivalent isolated system, and innovation as trajectories not observed in isolated systems. As a case study, we implement novel variants of cellular automata (CA) in which the update rules are allowed to vary with time in three alternative ways. Each is capable of generating conditions for open-ended evolution, but vary in their ability to do so. We find that state-dependent dynamics, widely regarded as a hallmark of life, statistically out-performs other candidate mechanisms, and is the only mechanism to produce open-ended evolution in a scalable manner, essential to the notion of ongoing evolution. This analysis suggests a new framework for unifying mechanisms for generating OEE with features distinctive to life and its artifacts, with broad applicability to biological and artificial systems.

X-Rule's Precursor is also Logically Universal

2016-11-27T12:12:49Z

We re-examine the isotropic Precursor-Rule (of the anisotropic X-Rule) and show that it is also logically universal. The Precursor-Rule was selected from a sample of biased cellular automata rules classified by input-entropy. These biases followed most "Life-Like" constraints --- in particular isotropy, but not simple birth/survival logic. The Precursor-Rule was chosen for its spontaneously emergent mobile and stable patterns, gliders and eaters/reflectors, but glider-guns, originally absent, have recently been discovered, as well as other complex structures from the Game-of-Life lexicon. We demonstrate these newly discovered structures, and build the logical gates required for universality in the logical sense.

A traffic model with an absorbing-state phase transition

2016-11-16T15:10:47Z

We consider a modified Nagel-Schreckenberg (NS) model in which drivers do not decelerate if their speed is smaller than the headway (number of empty sites to the car ahead). (In the original NS model, such a reduction in speed occurs with probability $p$, independent of the headway, as long as the current speed is greater than zero.) In the modified model the free-flow state (with all vehicles traveling at the maximum speed, $v_{max}$) is {\it absorbing} for densities $ρ$ smaller than a critical value $ρ_c = 1/(v_{max} + 2)$. The phase diagram in the $ρ- p$ plane is reentrant: for densities in the range $ρ_{c,<} < ρ< ρ_c$, both small and large values of $p$ favor free flow, while for intermediate values, a nonzero fraction of vehicles have speeds $< v_{max}$. In addition to representing a more realistic description of driving behavior, this change leads to a better understanding of the phase transition in the original model. Our results suggest an unexpected connection between traffic models and stochastic sandpiles.

Limiting behavior of 3-color excitable media on arbitrary graphs

2016-10-24T08:08:38Z

Fix a simple graph $G=(V,E)$ and choose a random initial 3-coloring of vertices drawn from a uniform product measure. The 3-color cycle cellular automaton is a process in which at each discrete time step in parallel, every vertex with color $i$ advances to the successor color $(i+1)$ mod 3 if in contact with a neighbor with the successor color, and otherwise retains the same color. In the Greenberg-Hastings Model, the same update rule applies only to color 0, while other two colors automatically advance. The limiting behavior of these processes has been studied mainly on the integer lattices. In this paper, we introduce a monotone comparison process defined on the universal covering space of the underlying graph, and characterize the limiting behavior of these processes on arbitrary connected graphs. In particular, we establish a phase transition on the Erdös-Rényi random graph. On infinite trees, we connect the rate of color change to the cloud speed of an associated tree-indexed walk. We give estimates of the cloud speed by generalizing known results to trees with leaves.

Three phase classification of an uninterrupted traffic flow: a $k$-means clustering study

2016-10-21T00:51:51Z

We investigate the speed time series of the vehicles recorded by a camera at a section of a highway in the city of Isfahan, Iran. Using $k$-means clustering algorithm, we find that the natural number of clustering for this set of data is $3$. This is in agreement with the three-phase theory of uninterrupted traffic flows. According to this theory, the three traffic phases are categorized as {\em free flow} (F), {\em synchronized} (S) and {\em wide moving jam} (J). We obtain the transition speeds and densities at F-S and also S-J transitions. We also apply the Shannon entropy analysis on the speed time series over finite windows, which equips us to monitor in areal time the instant state of a traffic flow.

Traffic gridlock on a honeycomb city

2016-10-20T17:45:18Z

As a clear signature of modern urban design concepts, urban street networks in dense populated zones are evolving nowadays towards grid-like layouts with rectangular shapes, and most studies on traffic flow assume street networks as square lattices. However, ideas from forgotten design schools bring unexplored alternatives that might improve traffic flow in many circumstances. Inspired on an old and almost in oblivion urban plan, we report the behavior of the Biham-Middleton-Levine model (BML) \-- a paradigm for studying phase transitions of traffic flow \-- on a hypothetical city with a perfect honeycomb street network. In contrast with the original BML model on a square lattice, the same model on a honeycomb does not show any anisotropy or intermediate states, but a single continuous phase transition between free and totally congested flow, a transition that can be completely characterized by the tools of classical percolation. Although the transition occurs at a lower density than for the conventional BML, simple modifications, like randomly stopping the cars with a very small probability or increasing the traffic light periods, drives the model to perform better on honeycomb lattices. As traffic lights and disordered perturbations are inherent to real traffic, these results question the actual role of the square grid-like designs and suggests the honeycombs as an interesting alternative for urban planning in real cities.