scholarly journals TRANSITIVE BEHAVIOR IN REVERSIBLE ONE-DIMENSIONAL CELLULAR AUTOMATA WITH A WELCH INDEX 1

2002 ◽  
Vol 13 (06) ◽  
pp. 837-855 ◽  
Author(s):  
JUAN CARLOS SECK TUOH MORA

The problem of knowing and characterizing the transitive behavior of a given cellular automaton is a very interesting topic. This paper provides a matrix representation of the global dynamics in reversible one-dimensional cellular automata with a Welch index 1, i.e., those where the ancestors differ just at one end. We prove that the transitive closure of this matrix shows diverse types of transitive behaviors in these systems. Part of the theorems in this paper are reductions of well-known results in symbolic dynamics. This matrix and its transitive closure were computationally implemented, and some examples are presented.

Complexity ◽  
2018 ◽  
Vol 2018 ◽  
pp. 1-15
Author(s):  
Irving Barragan-Vite ◽  
Juan C. Seck-Tuoh-Mora ◽  
Norberto Hernandez-Romero ◽  
Joselito Medina-Marin ◽  
Eva S. Hernandez-Gress

We present a distributed control modeling approach for an automated manufacturing system based on the dynamics of one-dimensional cellular automata. This is inspired by the fact that both cellular automata and manufacturing systems are discrete dynamical systems where local interactions given among their elements (resources) can lead to complex dynamics, despite the simple rules governing such interactions. The cellular automaton model developed in this study focuses on two states of the resources of a manufacturing system, namely, busy or idle. However, the interaction among the resources such as whether they are shared at different stages of the manufacturing process determines the global dynamics of the system. A procedure is shown to obtain the local evolution rule of the automaton based on the relationships among the resources and the material flow through the manufacturing process. The resulting distributed control of the manufacturing system appears to be heterarchical, and the evolution of the cellular automaton exhibits a Class II behavior for some given disordered initial conditions.


2014 ◽  
Vol 2014 ◽  
pp. 1-8 ◽  
Author(s):  
Zujie Bie ◽  
Qi Han ◽  
Chao Liu ◽  
Junjian Huang ◽  
Lepeng Song ◽  
...  

Wolfram divided the 256 elementary cellular automata rules informally into four classes using dynamical concepts like periodicity, stability, and chaos. Rule 24, which is Bernoulliστ-shift rule and is member of Wolfram’s class II, is said to be simple as periodic before. Therefore, it is worthwhile studying dynamical behaviors of four rules, whether they possess chaotic attractors or not. In this paper, the complex dynamical behaviors of rule 24 of one-dimensional cellular automata are investigated from the viewpoint of symbolic dynamics. We find that rule 24 is chaotic in the sense of both Li-Yorke and Devaney on its attractor. Furthermore, we prove that four rules of global equivalenceε52of cellular automata are topologically conjugate. Then, we use diagrams to explain the attractor of rule 24, where characteristic function is used to describe the fact that all points fall into Bernoulli-shift map after two iterations under rule 24.


2011 ◽  
Vol 2011 ◽  
pp. 1-16 ◽  
Author(s):  
Pabitra Pal Choudhury ◽  
Sudhakar Sahoo ◽  
Mithun Chakraborty

Dynamics of a nonlinear cellular automaton (CA) is, in general asymmetric, irregular, and unpredictable as opposed to that of a linear CA, which is highly systematic and tractable, primarily due to the presence of a matrix handle. In this paper, we present a novel technique of studying the properties of the State Transition Diagram of a nonlinear uniform one-dimensional cellular automaton in terms of its deviation from a suggested linear model. We have considered mainly elementary cellular automata with neighborhood of size three, and, in order to facilitate our analysis, we have classified the Boolean functions of three variables on the basis of number and position(s) of bit mismatch with linear rules. The concept of deviant and nondeviant states is introduced, and hence an algorithm is proposed for deducing the State Transition Diagram of a nonlinear CA rule from that of its nearest linear rule. A parameter called the proportion of deviant states is introduced, and its dependence on the length of the CA is studied for a particular class of nonlinear rules.


2011 ◽  
Vol 21 (05) ◽  
pp. 1265-1279 ◽  
Author(s):  
XU XU ◽  
STEPHEN P. BANKS ◽  
MAHDI MAHFOUF

It is well-known that binary-valued cellular automata, which are defined by simple local rules, have the amazing feature of generating very complex patterns and having complicated dynamical behaviors. In this paper, we present a new type of cellular automaton based on real-valued states which produce an even greater amount of interesting structures such as fractal, chaotic and hypercyclic. We also give proofs to real-valued cellular systems which have fixed points and periodic solutions.


2011 ◽  
Vol 22 (04) ◽  
pp. 419-439 ◽  
Author(s):  
GENARO J. MARTÍNEZ ◽  
ANDREW ADAMATZKY ◽  
CHRISTOPHER R. STEPHENS ◽  
ALEJANDRO F. HOEFLICH

Gliders in one-dimensional cellular automata are compact groups of non-quiescent and non-ether patterns (ether represents a periodic background) translating along automaton lattice. They are cellular automaton analogous of localizations or quasi-local collective excitations traveling in a spatially extended nonlinear medium. They can be considered as binary strings or symbols traveling along a one-dimensional ring, interacting with each other and changing their states, or symbolic values, as a result of interactions. We analyze what types of interaction occur between gliders traveling on a cellular automaton "cyclotron" and build a catalog of the most common reactions. We demonstrate that collisions between gliders emulate the basic types of interaction that occur between localizations in nonlinear media: fusion, elastic collision, and soliton-like collision. Computational outcomes of a swarm of gliders circling on a one-dimensional torus are analyzed via implementation of cyclic tag systems.


2004 ◽  
Vol 15 (03) ◽  
pp. 409-425
Author(s):  
FRANCISCO JIMÉNEZ-MORALES ◽  
MARCO TOMASSINI

Using a genetic algorithm a population of one-dimensional binary cellular automata is evolved to perform a computational task for which the best evolved rules cause the concentration to display a period-three oscillation. One run is studied in which the final state reached by the best evolved rule consists of a regular pattern or domain Λ, plus some propagating particles. It is shown that globally synchronized period-three oscillations can be obtained if the lattice size L is a multiple of the spatial periodicity S(Λ) of the domain. When L=m.S(Λ)-1 there is a cyclic particle reaction that keeps the system in two different phases and the concentration has a temporal periodicity that depends on the lattice size. The effects of random noise on the evolved cellular automata has also been investigated.


2018 ◽  
Vol 4 (1) ◽  
Author(s):  
Nicolai Lang ◽  
Hans Peter Büchler

Active quantum error correction on topological codes is one of the most promising routes to long-term qubit storage. In view of future applications, the scalability of the used decoding algorithms in physical implementations is crucial. In this work, we focus on the one-dimensional Majorana chain and construct a strictly local decoder based on a self-dual cellular automaton. We study numerically and analytically its performance and exploit these results to contrive a scalable decoder with exponentially growing decoherence times in the presence of noise. Our results pave the way for scalable and modular designs of actively corrected one-dimensional topological quantum memories.


2021 ◽  
Vol 30 (2) ◽  
pp. 187-203
Author(s):  
Sukanta Das ◽  
◽  
Mihir K. Chakraborty ◽  

This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.


2014 ◽  
Vol 25 (03) ◽  
pp. 1350098 ◽  
Author(s):  
Shigeru Ninagawa ◽  
Andrew Adamatzky

An elementary cellular automaton (ECA) is a one-dimensional, synchronous, binary automaton, where each cell update depends on its own state and states of its two closest neighbors. We attempt to uncover correlations between the following measures of ECA behavior: compressibility, sensitivity and diversity. The compressibility of ECA configurations is calculated using the Lempel–Ziv (LZ) compression algorithm LZ78. The sensitivity of ECA rules to initial conditions and perturbations is evaluated using Derrida coefficients. The generative morphological diversity shows how many different neighborhood states are produced from a single nonquiescent cell. We found no significant correlation between sensitivity and compressibility. There is a substantial correlation between generative diversity and compressibility. Using sensitivity, compressibility and diversity, we uncover and characterize novel groupings of rules.


Sign in / Sign up

Export Citation Format

Share Document