CNN: A Vision of Complexity

1997 ◽  
Vol 07 (10) ◽  
pp. 2219-2425 ◽  
Author(s):  
Leon O. Chua

CNN is an acronym for either Cellular Neural Network when used in the context of brain science, or Cellular Nonlinear Network when used in the context of coupled dynamical systems. A CNN is defined by two mathematical constructs: 1. A spatially discrete collection of continuous nonlinear dynamical systems called cells, where information can be encrypted into each cell via three independent variables called input, threshold, and initial state. 2. A coupling law relating one or more relevant variables of each cell Cij to all neighbor cells Ckl located within a prescribed sphere of influence Sij(r) of radius r, centered at Cij. In the special case where the CNN consists of a homogeneous array, and where its cells have no inputs, no thresholds, and no outputs, and where the sphere of influence extends only to the nearest neighbors (i.e. r = 1), the CNN reduces to the familiar concept of a nonlinear lattice. The bulk of this three-part exposition is devoted to the standard CNN equation [Formula: see text] where xij, yij, uij and zij are scalars called state, output, input, and threshold of cell Cij; akl and bkl are scalars called synaptic weights, and Sij(r) is the sphere of influence of radius r. In the special case where r = 1, a standard CNN is uniquely defined by a string of "19" real numbers (a uniform thresholdzkl = z, nine feedback synaptic weights akl, and nine control synaptic weights bkl) called a CNN gene because it completely determines the properties of the CNN. The universe of all CNN genes is called the CNN genome. Many applications from image processing, pattern recognition, and brain science can be easily implemented by a CNN "program" defined by a string of CNN genes called a CNN chromosome. The first new result presented in this exposition asserts that every Boolean function of the neighboring-cell inputs can be explicitly synthesized by a CNN chromosome. This general theorem implies that every cellular automata (with binary states) is a CNN chromosome. In particular, a constructive proof is given which shows that the game-of-life cellular automata can be realized by a CNN chromosome made of only three CNN genes. Consequently, this "game-of-life" CNN chromosome is a universal Turing machine, and is capable of self-replication in the Von Neumann sense [Berlekamp et al., 1982]. One of the new concepts presented in this exposition is that of a generalized cellular automata (GCA), which is outside the framework of classic cellular (Von Neumann) automata because it cannot be defined by local rules: It is simply defined by iterating a CNN gene, or chromosome, in a "CNN DO LOOP". This new class of generalized cellular automata includes not only global Boolean maps, but also continuum-state cellular automata where the initial state configuration and its iterates are real numbers, not just a finite number of states as in classical (von Neumann) cellular automata. Another new result reported in this exposition is the successful implementation of an analog input analog output CNN universal machine, called a CNN universal chip, on a single silicon chip. This chip is a complete dynamic array stored-program computer where a CNN chromosome (i.e. a CNN algorithm or flow chart) can be programmed and executed on the chip at an extremely high speed of 1 Tera (1012) analog instructions per second (based on a 100 × 100 chip). The CNN universal chip is based entirely on nonlinear dynamics and therefore differs from a digital computer in its fundamental operating principles. Part II of this exposition is devoted to the important subclass of autonomous CNNs where the cells have no inputs. This class of CNNs can exhibit a great variety of complex phenomena, including pattern formation, Turing patterns, knots, auto waves, spiral waves, scroll waves, and spatiotemporal chaos. It provides a unified paradigm for complexity, as well as an alternative paradigm for simulating nonlinear partial differential equations (PDE's). In this context, rather than regarding the autonomous CNN as an approximation of nonlinear PDE's, we advocate the more provocative point of view that nonlinear PDE's are merely idealizations of CNNs, because while nonlinear PDE's can be regarded as a limiting form of autonomous CNNs, only a small class of CNNs has a limiting PDE representation. Part III of this exposition is rather short but no less significant. It contains in fact the potentially most important original results of this exposition. In particular, it asserts that all of the phenomena described in the complexity literature under various names and headings (e.g. synergetics, dissipative structures, self-organization, cooperative and competitive phenomena, far-from-thermodynamic equilibrium phenomena, edge of chaos, etc.) are merely qualitative manifestations of a more fundamental and quantitative principle called the local activity dogma. It is quantitative in the sense that it not only has a precise definition but can also be explicitly tested by computing whether a certain explicitly defined expression derived from the CNN paradigm can assume a negative value or not. Stated in words, the local activity dogma asserts that in order for a system or model to exhibit any form of complexity, such as those cited above, the associated CNN parameters must be chosen so that either the cells or their couplings are locally active.

2010 ◽  
Vol 20 (08) ◽  
pp. 2253-2425 ◽  
Author(s):  
LEON O. CHUA ◽  
GIOVANNI E. PAZIENZA

Over the past eight years, we have studied one of the simplest, yet extremely interesting, dynamical systems; namely, the one-dimensional binary Cellular Automata. The most remarkable results have been presented in a series of papers which is concluded by the present article. The final stop of our odyssey is devoted to the analysis of the second half of the 30 Bernoulli στ-shift rules, which constitute the largest among the six groups in which we classified the 256 local rules. For all these 15 rules, we present the basin-tree diagrams obtained by using each bit string with L ≤ 8 as initial state, a summary of the characteristics of their ω-limit orbits, and the space-time patterns generated from the superstring. Also, in the last section we summarize the main results we obtained by means of our "nonlinear dynamics perspective".


Author(s):  
D. E. Edmunds ◽  
W. D. Evans

This chapter is concerned with closable and closed operators in Hilbert spaces, especially with the special classes of symmetric, J-symmetric, accretive and sectorial operators. The Stone–von Neumann theory of extensions of symmetric operators is treated as a special case of results for compatible adjoint pairs of closed operators. Also discussed in detail is the stability of closedness and self-adjointness under perturbations. The abstract results are applied to operators defined by second-order differential expressions, and Sims’ generalization of the Weyl limit-point, limit-circle characterization for symmetric expressions to J-symmetric expressions is proved.


2009 ◽  
Vol 08 (05) ◽  
pp. 601-615
Author(s):  
JOHN D. LAGRANGE

If {Ri}i ∈ I is a family of rings, then it is well-known that Q(Ri) = Q(Q(Ri)) and Q(∏i∈I Ri) = ∏i∈I Q(Ri), where Q(R) denotes the maximal ring of quotients of R. This paper contains an investigation of how these results generalize to the rings of quotients Qα(R) defined by ideals generated by dense subsets of cardinality less than ℵα. The special case of von Neumann regular rings is studied. Furthermore, a generalization of a theorem regarding orthogonal completions is established. Illustrative example are presented.


Energies ◽  
2021 ◽  
Vol 14 (9) ◽  
pp. 2471
Author(s):  
Tommaso Bradde ◽  
Samuel Chevalier ◽  
Marco De Stefano ◽  
Stefano Grivet-Talocia ◽  
Luca Daniel

This paper develops a predictive modeling algorithm, denoted as Real-Time Vector Fitting (RTVF), which is capable of approximating the real-time linearized dynamics of multi-input multi-output (MIMO) dynamical systems via rational transfer function matrices. Based on a generalization of the well-known Time-Domain Vector Fitting (TDVF) algorithm, RTVF is suitable for online modeling of dynamical systems which experience both initial-state decay contributions in the measured output signals and concurrently active input signals. These adaptations were specifically contrived to meet the needs currently present in the electrical power systems community, where real-time modeling of low frequency power system dynamics is becoming an increasingly coveted tool by power system operators. After introducing and validating the RTVF scheme on synthetic test cases, this paper presents a series of numerical tests on high-order closed-loop generator systems in the IEEE 39-bus test system.


Author(s):  
Roman Ger

Abstract  We deal with an alienation problem for an Euler–Lagrange type functional equation $$\begin{aligned} f(\alpha x + \beta y) + f(\alpha x - \beta y) = 2\alpha ^2f(x) + 2\beta ^2f(y) \end{aligned}$$ f ( α x + β y ) + f ( α x - β y ) = 2 α 2 f ( x ) + 2 β 2 f ( y ) assumed for fixed nonzero real numbers $$\alpha ,\beta ,\, 1 \ne \alpha ^2 \ne \beta ^2$$ α , β , 1 ≠ α 2 ≠ β 2 , and the classic quadratic functional equation $$\begin{aligned} g(x+y) + g(x-y) = 2g(x) + 2g(y). \end{aligned}$$ g ( x + y ) + g ( x - y ) = 2 g ( x ) + 2 g ( y ) . We were inspired by papers of Kim et al. (Abstract and applied analysis, vol. 2013, Hindawi Publishing Corporation, 2013) and Gordji and Khodaei (Abstract and applied analysis, vol. 2009, Hindawi Publishing Corporation, 2009), where the special case $$g = \gamma f$$ g = γ f was examined.


1993 ◽  
Vol 03 (02) ◽  
pp. 293-321 ◽  
Author(s):  
JÜRGEN WEITKÄMPER

Real cellular automata (RCA) are time-discrete dynamical systems on ℝN. Like cellular automata they can be obtained from discretizing partial differential equations. Due to their structure RCA are ideally suited to implementation on parallel computers with a large number of processors. In a way similar to the Hénon mapping, the system we consider here embeds the logistic mapping in a system on ℝN, N>1. But in contrast to the Hénon system an RCA in general is not invertible. We present some results about the bifurcation structure of such systems, mostly restricting ourselves, due to the complexity of the problem, to the two-dimensional case. Among others we observe cascades of cusp bifurcations forming generalized crossroad areas and crossroad areas with the flip curves replaced by Hopf bifurcation curves.


2005 ◽  
Vol 08 (02n03) ◽  
pp. 169-192 ◽  
Author(s):  
NILS A. BAAS ◽  
TORBJØRN HELVIK

We introduce a class of dynamical systems called Higher Order Cellular Automata (HOCA). These are based on ordinary CA, but have a hierarchical, or multi-level, structure and/or dynamics. We present a detailed formalism for HOCA and illustrate the concepts through four examples. Throughout the article we emphasize the principles and ideas behind the construction of HOCA, such that these easily can be applied to other types of dynamical systems. The article also presents new concepts and ideas for describing and studying hierarchial dynamics in general.


2015 ◽  
Vol 39 (7) ◽  
pp. 2003-2024 ◽  
Author(s):  
Ugur Sahin ◽  
Selman Uguz ◽  
Hasan Akın ◽  
Irfan Siap

1998 ◽  
Vol 18 (2) ◽  
pp. 471-486 ◽  
Author(s):  
T. B. WARD

We show that for almost every ergodic $S$-integer dynamical system the radius of convergence of the dynamical zeta function is no larger than $\exp(-\frac{1}{2}h_{\rm top})<1$. In the arithmetic case almost every zeta function is irrational.We conjecture that for almost every ergodic $S$-integer dynamical system the radius of convergence of the zeta function is exactly $\exp(-h_{\rm top})<1$ and the zeta function is irrational.In an important geometric case (the $S$-integer systems corresponding to isometric extensions of the full $p$-shift or, more generally, linear algebraic cellular automata on the full $p$-shift) we show that the conjecture holds with the possible exception of at most two primes $p$.Finally, we explicitly describe the structure of $S$-integer dynamical systems as isometric extensions of (quasi-)hyperbolic dynamical systems.


Sign in / Sign up

Export Citation Format

Share Document