Non-invertible transformations and spatiotemporal randomness

We generalize the exact solution to the Bernoulli shift map. Under certain conditions, the generalized functions can produce unpredictable dynamics. We use the properties of the generalized functions to show that certain dynamical systems can generate random dynamics. For instance, the chaotic Chua's circuit coupled to a circuit with a non-invertible I-V characteristic can generate unpredictable dynamics. In general, a nonperiodic time-series with truncated exponential behavior can be converted into unpredictable dynamics using non-invertible transformations. Using a new theoretical framework for chaos and randomness, we investigate some classes of coupled map lattices. We show that, in some cases, these systems can produce completely unpredictable dynamics. In a similar fashion, we explain why some wellknown spatiotemporal systems have been found to produce very complex dynamics in numerical simulations. We discuss real physical systems that can generate random dynamics.Comment: Accepted in International Journal of Bifurcation and Chao

Celulární automat a CML systémy

The main aim of this thesis is the study of cellular automata and discrete dynamical systems on a lattice. Both tools, cellular automata as well as dynamical systems on a lattice are introduced and elementary properties described. The relation between cellular automata and dynamical system on lattice is derived. The main goal of the thesis is also the use of the cellular automata as that mathematical tool of evolution visualization of discrete dynamical systems. The theory of cellular automata is applied to the discrete dynamical systems on a lattice Laplacian type and implemented in Java language.Hlavním cílem práce je studium vztahu celulárních automatů a diskrétních dynamických systémů na mřížce. Oba nástroje, jak celulární automat tak dynamický systém na mřížce, jsou zavedeny a jejich základní vlastnosti popsány. Vztah mezi celulárními automaty a dynamickými systémy na mřížce je podrobně popsán. Hlavním cílem práce je dále použití nástroje celulárního automatu jako matematického vizualizačního prostředku evoluce diskrétních dynamických systémů. Teorie celulárních automatů je použita na dynamické systémy na mřížce Lamplaceova typu a implementována v prostředí Java.470 - Katedra aplikované matematikyvelmi dobř

On Undecidable Dynamical Properties of Reversible One-Dimensional Cellular Automata

Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according to the states of the cell's neighbors on each step of the computation. This work focuses on reversible one-dimensional cellular automata in which the cells are arranged in a two-way in_nite line and the computation is reversible, that is, the previous states of the cells can be derived from the current ones. In this work it is shown that several properties of reversible one-dimensional cellular automata are algorithmically undecidable, that is, there exists no algorithm that would tell whether a given cellular automaton has the property or not. It is shown that the tiling problem of Wang tiles remains undecidable even in some very restricted special cases. It follows that it is undecidable whether some given states will always appear in computations by the given cellular automaton. It also follows that a weaker form of expansivity, which is a concept of dynamical systems, is an undecidable property for reversible one-dimensional cellular automata. It is shown that several properties of dynamical systems are undecidable for reversible one-dimensional cellular automata. It shown that sensitivity to initial conditions and topological mixing are undecidable properties. Furthermore, non-sensitive and mixing cellular automata are recursively inseparable. It follows that also chaotic behavior is an undecidable property for reversible one-dimensional cellular automata.Siirretty Doriast

Decidability and Universality in Symbolic Dynamical Systems

Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. Universality of a system is defined as undecidability of a model-checking problem. For Turing machines, counter machines and tag systems, our definition coincides with the classical one. It yields, however, a new definition for cellular automata and subshifts. Our definition is robust with respect to initial condition, which is a desirable feature for physical realizability. We derive necessary conditions for undecidability and universality. For instance, a universal system must have a sensitive point and a proper subsystem. We conjecture that universal systems have infinite number of subsystems. We also discuss the thesis according to which computation should occur at the `edge of chaos' and we exhibit a universal chaotic system.Comment: 23 pages; a shorter version is submitted to conference MCU 2004 v2: minor orthographic changes v3: section 5.2 (collatz functions) mathematically improved v4: orthographic corrections, one reference added v5:27 pages. Important modifications. The formalism is strengthened: temporal logic replaced by finite automata. New results. Submitte

Revisiting the Edge of Chaos: Evolving Cellular Automata to Perform Computations

We present results from an experiment similar to one performed by Packard (1988), in which a genetic algorithm is used to evolve cellular automata (CA) to perform a particular computational task. Packard examined the frequency of evolved CA rules as a function of Langton's lambda parameter (Langton, 1990), and interpreted the results of his experiment as giving evidence for the following two hypotheses: (1) CA rules able to perform complex computations are most likely to be found near ``critical'' lambda values, which have been claimed to correlate with a phase transition between ordered and chaotic behavioral regimes for CA; (2) When CA rules are evolved to perform a complex computation, evolution will tend to select rules with lambda values close to the critical values. Our experiment produced very different results, and we suggest that the interpretation of the original results is not correct. We also review and discuss issues related to lambda, dynamical-behavior classes, and computation in CA. The main constructive results of our study are identifying the emergence and competition of computational strategies and analyzing the central role of symmetries in an evolutionary system. In particular, we demonstrate how symmetry breaking can impede the evolution toward higher computational capability.Comment: 38 pages, compressed .ps files (780Kb) available ONLY thru anonymous ftp. (Instructions available via `get 9303003' .

Complex networks derived from cellular automata

We propose a method for deriving networks from one-dimensional binary cellular automata. The derived networks are usually directed and have structural properties corresponding to the dynamical behaviors of their cellular automata. Network parameters, particularly the efficiency and the degree distribution, show that the dependence of efficiency on the grid size is characteristic and can be used to classify cellular automata and that derived networks exhibit various degree distributions. In particular, a class IV rule of Wolfram's classification produces a network having a scale-free distribution.Comment: 10 pages, 8 figure