-
On complexity of colloid cellular automata
Authors:
Andrew Adamatzky,
Nic Roberts,
Raphael Fortulan,
Noushin Raeisi Kheirabadi,
Panagiotis Mougkogiannis,
Michail-Antisthenis Tsompanas,
Genaro J. Martinez,
Georgios Ch. Sirakoulis,
Alessandro Chiolerio
Abstract:
The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microsphe…
▽ More
The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microspheres and crystals of thermal abiotic proteins), and combinations thereof to electrical stimulation. To extract Boolean circuits from colloids, we send all possible configurations of two-, four-, and eight-bit binary strings, encoded as electrical potential values, to the colloids, record their responses, and thereby infer the Boolean functions they implement. We map the discovered functions onto the cell-state transition rules of cellular automata (arrays of binary state machines that update their states synchronously according to the same rule) -- the colloid cellular automata. We then analyse the phenomenology of the space-time configurations of the automata and evaluate their complexity using measures such as compressibility, Shannon entropy, Simpson diversity, and expressivity. A hierarchy of phenomenological and measurable space-time complexity is constructed.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Computing with Modular Robots
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Ricardo Q. Figueroa,
Eric Schweikardt,
Dmitry A. Zaitsev,
Ivan Zelinka,
Luz N. Oliva-Moreno
Abstract:
Propagating patterns are used to transfer and process information in chemical and physical prototypes of unconventional computing devices. Logical values are represented by fronts of traveling diffusive, trigger or phase waves. We apply this concept of pattern based computation to develop experimental prototypes of computing circuits implemented in small modular robots. In the experimental prototy…
▽ More
Propagating patterns are used to transfer and process information in chemical and physical prototypes of unconventional computing devices. Logical values are represented by fronts of traveling diffusive, trigger or phase waves. We apply this concept of pattern based computation to develop experimental prototypes of computing circuits implemented in small modular robots. In the experimental prototypes the modular robots Cubelets are concatenated into channels and junction. The structures developed by Cubelets propagate signals in parallel and asynchronously. The approach is illustrated with a working circuit of a one-bit full adder. Complementarily a formalization of these constructions are developed across Sleptsov nets. Finally, a perspective to swarm dynamics is discussed.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
A Survey of Passive Sensing in the Workplace
Authors:
Subigya Nepal,
Gonzalo J. Martinez,
Arvind Pillai,
Koustuv Saha,
Shayan Mirjafari,
Vedant Das Swain,
Xuhai Xu,
Pino G. Audia,
Munmun De Choudhury,
Anind K. Dey,
Aaron Striegel,
Andrew T. Campbell
Abstract:
As emerging technologies increasingly integrate into all facets of our lives, the workplace stands at the forefront of potential transformative changes. A notable development in this realm is the advent of passive sensing technology, designed to enhance both cognitive and physical capabilities by monitoring human behavior. This paper reviews current research on the application of passive sensing t…
▽ More
As emerging technologies increasingly integrate into all facets of our lives, the workplace stands at the forefront of potential transformative changes. A notable development in this realm is the advent of passive sensing technology, designed to enhance both cognitive and physical capabilities by monitoring human behavior. This paper reviews current research on the application of passive sensing technology in the workplace, focusing on its impact on employee wellbeing and productivity. Additionally, we explore unresolved issues and outline prospective pathways for the incorporation of passive sensing in future workplaces.
△ Less
Submitted 30 March, 2024; v1 submitted 9 January, 2022;
originally announced January 2022.
-
On Wave-Based Majority Gates with Cellular Automata
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Shigeru Ninagawa,
Kenichi Morita
Abstract:
We demonstrate a discrete implementation of a wave-based majority gate in a chaotic Life-like cellular automaton. The gate functions via controlling of patterns' propagation into stationary channels. The gate presented is realisable in many living and non-living substrates that show wave-like activity of its space-time dynamics or pattern propagation. In the gate a symmetric pattern represents a b…
▽ More
We demonstrate a discrete implementation of a wave-based majority gate in a chaotic Life-like cellular automaton. The gate functions via controlling of patterns' propagation into stationary channels. The gate presented is realisable in many living and non-living substrates that show wave-like activity of its space-time dynamics or pattern propagation. In the gate a symmetric pattern represents a binary value 0 while a non-symmetric pattern represents a binary value 1. Origination of the patterns and their symmetry type are encoded by the particle reactions at the beginning of computation. The patterns propagate in channels of the gate and compete for the space at the intersection of the channels. We implement 3-inputs majority gates using a W topology showing additional implementations of 5-inputs majority gates and one tree (cascade) majority gate.
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
Following the spacial dynamics of COVID-19 in Mexico and some notes
Authors:
Genaro J. Martínez,
Magali Cárdenas Tapia,
Ricardo Antonio Tena Núñez,
Adriana de la Paz Sánchez Moreno
Abstract:
Actually, after one year it is recognized that the evolution of COVID-19 is different in each country or region around the world. In this paper, we do a revision to the date about COVID-19 evolution in Mexico, we explain where the main epicenter and states with most high impact. Mexico has a particular geographical position in the American continent because it is a natural bridge between the USA a…
▽ More
Actually, after one year it is recognized that the evolution of COVID-19 is different in each country or region around the world. In this paper, we do a revision to the date about COVID-19 evolution in Mexico, we explain where the main epicenter and states with most high impact. Mexico has a particular geographical position in the American continent because it is a natural bridge between the USA and Latin America, that represents a special point of propagation because between other facts this virus is transported by people of different nationalities migrating to the USA. The research in this paper helps to understand why Mexico is one of the countries with the most high mortality impact by this new virus and how the lockdown works in the population. Finally, we give a practical perspective as this evolution is a complex system.
△ Less
Submitted 30 October, 2021; v1 submitted 11 September, 2021;
originally announced September 2021.
-
Visualization of the Computation Process of a Universal Register Machine
Authors:
Shigeru Ninagawa,
Genaro J. Martinez
Abstract:
Universal register machine, a formal model of computation, can be emulated on the array of the Game of Life, a two-dimensional cellular automaton. We perform spectral analysis on the computation dynamical process of the universal register machine on the Game of Life. The array is divided into small sectors and the power spectrum is calculated from the evolution in each sector. The power spectrum c…
▽ More
Universal register machine, a formal model of computation, can be emulated on the array of the Game of Life, a two-dimensional cellular automaton. We perform spectral analysis on the computation dynamical process of the universal register machine on the Game of Life. The array is divided into small sectors and the power spectrum is calculated from the evolution in each sector. The power spectrum can be classified into four categories by its shape; null, white noise, sharp peaks, and power law. By representing the shape of power spectrum by a mark, we can visualize the activity of the sector during the computation process. For example, the track of pulse moving between components of the universal register machine and the position of frequently modified registers can be identified. This method can expose the functional difference in each region of computing machine.
△ Less
Submitted 22 May, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Random Expansion Method for the Generation of Complex Cellular Automata
Authors:
Juan Carlos Seck-Tuoh-Mora,
Norberto Hernandez-Romero,
Joselito Medina-Marin,
Genaro J. Martinez,
Irving Barragan-Vite
Abstract:
The emergence of complex behaviors in cellular automata is an area that has been widely developed in recent years with the intention to generate and analyze automata that produce space-moving patterns or gliders that interact in a periodic background. Frequently, this type of automata has been found through either an exhaustive search or a meticulous construction of the evolution rule. In this stu…
▽ More
The emergence of complex behaviors in cellular automata is an area that has been widely developed in recent years with the intention to generate and analyze automata that produce space-moving patterns or gliders that interact in a periodic background. Frequently, this type of automata has been found through either an exhaustive search or a meticulous construction of the evolution rule. In this study, the specification of cellular automata with complex behaviors was obtained by utilizing randomly generated specimens. In particular, it proposed that a cellular automaton of $n$ states should be specified at random and then extended to another automaton with a higher number of states so that the original automaton operates as a periodic background where the additional states serve to define the gliders. Moreover, this study presented an explanation of this method. Furthermore, the random way of defining complex cellular automata was studied by using mean-field approximations for various states and local entropy measures. This specification was refined with a genetic algorithm to obtain specimens with a higher degree of complexity. With this methodology, it was possible to generate complex automata with hundreds of states, demonstrating that randomly defined local interactions with multiple states can construct complexity.
△ Less
Submitted 20 September, 2020;
originally announced September 2020.
-
On complex dynamics from reversible cellular automata
Authors:
Juan Carlos Seck-Tuoh-Mora,
Genaro J. Martinez,
Norberto Hernandez-Romero,
Joselito Medina-Marin,
Irving Barragan-Vite
Abstract:
Complexity has been a recurrent research topic in cellular automata because they represent systems where complex behaviors emerge from simple local interactions. A significant amount of previous research has been conducted proposing instances of complex cellular automata; however, most of the proposed methods are based on a careful search or a meticulous construction of evolution rules.
This pap…
▽ More
Complexity has been a recurrent research topic in cellular automata because they represent systems where complex behaviors emerge from simple local interactions. A significant amount of previous research has been conducted proposing instances of complex cellular automata; however, most of the proposed methods are based on a careful search or a meticulous construction of evolution rules.
This paper presents the emergence of complex behaviors based on reversible cellular automata. In particular, this paper shows that reversible cellular automata represent an adequate framework to obtain complex behaviors adding only new random states.
Experimental results show that complexity can be obtained from reversible cellular automata appending a proportion of about two times more states at random than the original number of states in the reversible automaton. Thus, it is possible to obtain complex cellular automata with dozens of states. Complexity appears to be commonly obtained from reversible cellular automata, and using other operations such as permutations of states or row and column permutations in the evolution rule. The relevance of this paper is to present that reversibility can be a useful structure to implement complex behaviors in cellular automata.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Jointly Predicting Job Performance, Personality, Cognitive Ability, Affect, and Well-Being
Authors:
Pablo Robles-Granda,
Suwen Lin,
Xian Wu,
Sidney D'Mello,
Gonzalo J. Martinez,
Koustuv Saha,
Kari Nies,
Gloria Mark,
Andrew T. Campbell,
Munmun De Choudhury,
Anind D. Dey,
Julie Gregg,
Ted Grover,
Stephen M. Mattingly,
Shayan Mirjafari,
Edward Moskal,
Aaron Striegel,
Nitesh V. Chawla
Abstract:
Assessment of job performance, personalized health and psychometric measures are domains where data-driven and ubiquitous computing exhibits the potential of a profound impact in the future. Existing techniques use data extracted from questionnaires, sensors (wearable, computer, etc.), or other traits, to assess well-being and cognitive attributes of individuals. However, these techniques can neit…
▽ More
Assessment of job performance, personalized health and psychometric measures are domains where data-driven and ubiquitous computing exhibits the potential of a profound impact in the future. Existing techniques use data extracted from questionnaires, sensors (wearable, computer, etc.), or other traits, to assess well-being and cognitive attributes of individuals. However, these techniques can neither predict individual's well-being and psychological traits in a global manner nor consider the challenges associated to processing the data available, that is incomplete and noisy. In this paper, we create a benchmark for predictive analysis of individuals from a perspective that integrates: physical and physiological behavior, psychological states and traits, and job performance. We design data mining techniques as benchmark and uses real noisy and incomplete data derived from wearable sensors to predict 19 constructs based on 12 standardized well-validated tests. The study included 757 participants who were knowledge workers in organizations across the USA with varied work roles. We developed a data mining framework to extract the meaningful predictors for each of the 19 variables under consideration. Our model is the first benchmark that combines these various instrument-derived variables in a single framework to understand people's behavior by leveraging real uncurated data from wearable, mobile, and social media sources. We verify our approach experimentally using the data obtained from our longitudinal study. The results show that our framework is consistently reliable and capable of predicting the variables under study better than the baselines when prediction is restricted to the noisy, incomplete data.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
On patterns and dynamics of Rule 22 cellular automaton
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Rolf Hoffmann,
Dominique Deserable,
Ivan Zelinka
Abstract:
Rule 22 elementary cellular automaton (ECA) has a 3--cell neighborhood, binary cell states, where a cell takes state `1' if there is exactly one neighbor, including the cell itself, in state `1'. In Boolean terms the cell-state transition is a XOR function of three cell states. In physico--chemical terms the rule might be seen as describing propagation of self-inhibiting quantities/species. Space-…
▽ More
Rule 22 elementary cellular automaton (ECA) has a 3--cell neighborhood, binary cell states, where a cell takes state `1' if there is exactly one neighbor, including the cell itself, in state `1'. In Boolean terms the cell-state transition is a XOR function of three cell states. In physico--chemical terms the rule might be seen as describing propagation of self-inhibiting quantities/species. Space-time dynamics of Rule 22 demonstrates non-trivial patterns and quasi-chaotic behavior. We characterize the phenomena observed in this rule using mean field theory, attractors, de Bruijn diagrams, subset diagrams, filters, fractals and memory.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Computational universality of fungal sandpile automata
Authors:
Eric Goles,
Michail-Antisthenis Tsompanas,
Andrew Adamatzky,
Martin Tegelaar,
Han A. B. Wosten,
Genaro J. Martinez
Abstract:
Hyphae within the mycelia of the ascomycetous fungi are compartmentalised by septa. Each septum has a pore that allows for inter-compartmental and inter-hyphal streaming of cytosol and even organelles. The compartments, however, have special organelles, Woronin bodies, that can plug the pores. When the pores are blocked, no flow of cytoplasm takes place. Inspired by the controllable compartmentali…
▽ More
Hyphae within the mycelia of the ascomycetous fungi are compartmentalised by septa. Each septum has a pore that allows for inter-compartmental and inter-hyphal streaming of cytosol and even organelles. The compartments, however, have special organelles, Woronin bodies, that can plug the pores. When the pores are blocked, no flow of cytoplasm takes place. Inspired by the controllable compartmentalisation within the mycelium of the ascomycetous fungi we designed two-dimensional fungal automata. A fungal automaton is a cellular automaton where communication between neighbouring cells can be blocked on demand. We demonstrate computational universality of the fungal automata by implementing sandpile cellular automata circuits there. We reduce the Monotone Circuit Value Problem to the Fungal Automaton Prediction Problem. We construct families of wires, cross-overs and gates to prove that the fungal automata are P-complete.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Fungal Automata
Authors:
Andrew Adamatzky,
Eric Goles,
Genaro J. Martinez,
Michail-Antisthenis Tsompanas,
Martin Tegelaar,
Han A. B. Wosten
Abstract:
We study a cellular automaton (CA) model of information dynamics on a single hypha of a fungal mycelium. Such a filament is divided in compartments (here also called cells) by septa. These septa are invaginations of the cell wall and their pores allow for flow of cytoplasm between compartments and hyphae. The septal pores of the fungal phylum of the Ascomycota can be closed by organelles called Wo…
▽ More
We study a cellular automaton (CA) model of information dynamics on a single hypha of a fungal mycelium. Such a filament is divided in compartments (here also called cells) by septa. These septa are invaginations of the cell wall and their pores allow for flow of cytoplasm between compartments and hyphae. The septal pores of the fungal phylum of the Ascomycota can be closed by organelles called Woronin bodies. Septal closure is increased when the septa become older and when exposed to stress conditions. Thus, Woronin bodies act as informational flow valves. The one dimensional fungal automata is a binary state ternary neighbourhood CA, where every compartment follows one of the elementary cellular automata (ECA) rules if its pores are open and either remains in state `0' (first species of fungal automata) or its previous state (second species of fungal automata) if its pores are closed. The Woronin bodies closing the pores are also governed by ECA rules. We analyse a structure of the composition space of cell-state transition and pore-state transitions rules, complexity of fungal automata with just few Woronin bodies, and exemplify several important local events in the automaton dynamics.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
Universal One-Dimensional Cellular Automata Derived for Turing Machines and its Dynamical Behaviour
Authors:
Sergio J. Martinez,
Ivan M. Mendoza,
Genaro J. Martinez,
Shigeru Ninagawa
Abstract:
Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, t…
▽ More
Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, they are: binary sum, rule 110 and a universal reversible Turing machine.
△ Less
Submitted 6 July, 2019;
originally announced July 2019.
-
Brief Notes and History Computing in Mexico during 50 years
Authors:
Genaro J. Martinez,
Juan C. Seck-Tuoh-Mora,
Sergio V. Chapa-Vergara,
Christian Lemaitre
Abstract:
The history of computing in Mexico can not be thought without the name of Prof. Harold V. McIntosh (1929-2015). For almost 50 years, in Mexico he contributed to the development of computer science with wide international recognition. Approximately in 1964, McIntosh began working in the Physics Department of the Advanced Studies Center (CIEA) of the National Polytechnic Institute (IPN), now called…
▽ More
The history of computing in Mexico can not be thought without the name of Prof. Harold V. McIntosh (1929-2015). For almost 50 years, in Mexico he contributed to the development of computer science with wide international recognition. Approximately in 1964, McIntosh began working in the Physics Department of the Advanced Studies Center (CIEA) of the National Polytechnic Institute (IPN), now called CINVESTAV. In 1965, at the National Center of Calculus (CeNaC), he was a founding member of the Master in Computing, first in Latin America. With the support of Mario Baez Camargo and Enrique Melrose, McIntosh continues his research of Martin-Baltimore Computer Center and University of Florida at IBM 709.
△ Less
Submitted 17 May, 2019;
originally announced May 2019.
-
Logical Gates via Gliders Collisions
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Kenichi Morita
Abstract:
An elementary cellular automaton with memory is a chain of finite state machines (cells) updating their state simultaneously and by the same rule. Each cell updates its current state depending on current states of its immediate neighbours and a certain number of its own past states. Some cell-state transition rules support gliders, compact patterns of non-quiescent states translating along the cha…
▽ More
An elementary cellular automaton with memory is a chain of finite state machines (cells) updating their state simultaneously and by the same rule. Each cell updates its current state depending on current states of its immediate neighbours and a certain number of its own past states. Some cell-state transition rules support gliders, compact patterns of non-quiescent states translating along the chain. We present designs of logical gates, including reversible Fredkin gate and controlled NOT gate, implemented via collisions between gliders.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
Simple networks on complex cellular automata: From de Bruijn diagrams to jump-graphs
Authors:
Genaro J. Martínez,
Andrew Adamatzky,
Bo Chen,
Fangyue Chen,
Juan C. S. T. Mora
Abstract:
We overview networks which characterise dynamics in cellular automata. These networks are derived from one-dimensional cellular automaton rules and global states of the automaton evolution: de Bruijn diagrams, subsystem diagrams, basins of attraction, and jump-graphs. These networks are used to understand properties of spatially-extended dynamical systems: emergence of non-trivial patterns, self-o…
▽ More
We overview networks which characterise dynamics in cellular automata. These networks are derived from one-dimensional cellular automaton rules and global states of the automaton evolution: de Bruijn diagrams, subsystem diagrams, basins of attraction, and jump-graphs. These networks are used to understand properties of spatially-extended dynamical systems: emergence of non-trivial patterns, self-organisation, reversibility and chaos. Particular attention is paid to networks determined by travelling self-localisations, or gliders.
△ Less
Submitted 5 February, 2018;
originally announced February 2018.
-
On plant roots logical gates
Authors:
Andrew Adamatzky,
Georgios Sirakoulis,
Genaro J. Martinez,
Frantisek Baluska,
Stefano Mancuso
Abstract:
Theoretical constructs of logical gates implemented with plant roots are morphological computing asynchronous devices. Values of Boolean variables are represented by plant roots. A presence of a plant root at a given site symbolises the logical {\sc True}, an absence the logical {\sc False}. Logical functions are calculated via interaction between roots. Two types of two-inputs-two-outputs gates a…
▽ More
Theoretical constructs of logical gates implemented with plant roots are morphological computing asynchronous devices. Values of Boolean variables are represented by plant roots. A presence of a plant root at a given site symbolises the logical {\sc True}, an absence the logical {\sc False}. Logical functions are calculated via interaction between roots. Two types of two-inputs-two-outputs gates are proposed: a gate $\langle x, y \rangle \rightarrow \langle xy, x+y \rangle$ where root apexes are guided by gravity and a gate $\langle x, y \rangle \rightarrow \langle \overline{x}y, x \rangle$ where root apexes are guided by humidity. We propose a design of binary half-adder based on the gates.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
A Computation in a Cellular Automaton Collider Rule 110
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Harold V. McIntosh
Abstract:
A cellular automaton collider is a finite state machine build of rings of one-dimensional cellular automata. We show how a computation can be performed on the collider by exploiting interactions between gliders (particles, localisations). The constructions proposed are based on universality of elementary cellular automaton rule 110, cyclic tag systems, supercolliders, and computing on rings.
A cellular automaton collider is a finite state machine build of rings of one-dimensional cellular automata. We show how a computation can be performed on the collider by exploiting interactions between gliders (particles, localisations). The constructions proposed are based on universality of elementary cellular automaton rule 110, cyclic tag systems, supercolliders, and computing on rings.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Logic gates and complex dynamics in a hexagonal cellular automaton: the Spiral rule
Authors:
Rogelio Basurto,
Paulina A. León,
Genaro J. Martínez,
Juan C. Seck-Tuoh-Mora
Abstract:
In previous works, hexagonal cellular automata (CA) have been studied as a variation of the famous Game of Life CA, mainly for spiral phenomena simulations; where the most interesting constructions are related to the Belousov-Zhabotinsky reaction. In this paper, we analyse a special kind of hexagonal CA, {\it Spiral rule}. Such automaton shows a non-trivial complex behaviour related to discrete mo…
▽ More
In previous works, hexagonal cellular automata (CA) have been studied as a variation of the famous Game of Life CA, mainly for spiral phenomena simulations; where the most interesting constructions are related to the Belousov-Zhabotinsky reaction. In this paper, we analyse a special kind of hexagonal CA, {\it Spiral rule}. Such automaton shows a non-trivial complex behaviour related to discrete models of reaction-diffusion chemical media, dominated by spiral guns which easily emerge from random initial conditions. The computing capabilities of this automaton are shown by means of logic gates. These are defined by collisions between mobile localizations. Also, an extended classification of complex self-localisation patterns is presented, including some self-organised patterns.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
Complete Characterization of Structure of Rule 54
Authors:
Genaro J. Martínez,
Andrew Adamatzky,
Harold V. McIntosh
Abstract:
The dynamics of rule 54 one-dimensional two-state cellular automaton (CA) are a discrete analog of a space-time dynamics of excitations in nonlinear active medium with mutual inhibition. A cell switches its state 0 to state 1 if one of its two neighbors is in state 1 (propagation of a perturbation) and a cell remains in state 1 only if its two neighbors are in state 0. A lateral inhibition is beca…
▽ More
The dynamics of rule 54 one-dimensional two-state cellular automaton (CA) are a discrete analog of a space-time dynamics of excitations in nonlinear active medium with mutual inhibition. A cell switches its state 0 to state 1 if one of its two neighbors is in state 1 (propagation of a perturbation) and a cell remains in state 1 only if its two neighbors are in state 0. A lateral inhibition is because a 1-state neighbor causes a 1-state cell to switch to state 0. The rule produces a rich spectrum of space-time dynamics, including gliders and glider guns just from four primitive gliders. We construct a catalogue of gliders and describe them by tiles. We calculate a subset of regular expressions $Ψ_{R54}$ to encode gliders. The regular expressions are derived from de Bruijn diagrams, tile-based representation of gliders, and cycle diagrams sometimes. We construct an abstract machine that recognizes regular expressions of gliders in rule 54 and validate $Ψ_{R54}$. We also propose a way to code initial configurations of gliders to depict any type of collision between the gliders and explore self-organization of gliders, formation of larger tiles, and soliton-like interactions of gliders and computable devices.
△ Less
Submitted 12 October, 2014;
originally announced October 2014.
-
Designing Complex Dynamics in Cellular Automata with Memory
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Ramon Alonso-Sanz
Abstract:
Since their inception at {\it Macy conferences} in later 1940s complex systems remain the most controversial topic of inter-disciplinary sciences. The term `complex system' is the most vague and liberally used scientific term. Using elementary cellular automata (ECA), and exploiting the CA classification, we demonstrate elusiveness of `complexity' by shifting space-time dynamics of the automata fr…
▽ More
Since their inception at {\it Macy conferences} in later 1940s complex systems remain the most controversial topic of inter-disciplinary sciences. The term `complex system' is the most vague and liberally used scientific term. Using elementary cellular automata (ECA), and exploiting the CA classification, we demonstrate elusiveness of `complexity' by shifting space-time dynamics of the automata from simple to complex by enriching cells with {\it memory}. This way, we can transform any ECA class to another ECA class --- without changing skeleton of cell-state transition function --- and vice versa by just selecting a right kind of memory. A systematic analysis display that memory helps `discover' hidden information and behaviour on trivial --- uniform, periodic, and non-trivial --- chaotic, complex --- dynamical systems.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Complexity Analysis in Cyclic Tag System Emulated by Rule 110
Authors:
Shigeru Ninagawa,
Genaro J. Martínez
Abstract:
It is known that elementary cellular automaton rule 110 is capable of supporting universal computation by emulating cyclic tag system. Since the whole information necessary to perform computation is stored in the configuration, it is reasonable to investigate the complexity of configuration for the analysis of computing process. In this research we employed Lempel-Ziv complexity as a measure of co…
▽ More
It is known that elementary cellular automaton rule 110 is capable of supporting universal computation by emulating cyclic tag system. Since the whole information necessary to perform computation is stored in the configuration, it is reasonable to investigate the complexity of configuration for the analysis of computing process. In this research we employed Lempel-Ziv complexity as a measure of complexity and calculated it during the evolution of emulating cyclic tag system by rule 110. As a result, we observed the stepwise decline of complexity during the evolution. That is caused by the transformation from table data to moving data and the elimination of table data by a rejector.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
A Note on Elementary Cellular Automata Classification
Authors:
Genaro J. Martinez
Abstract:
We overview and compare classifications of elementary cellular automata, including Wolfram's, Wuensche's, Li and Packard, communication complexity, power spectral, topological, surface, compression, lattices, and morphological diversity classifications. This paper summarises several classifications of elementary cellular automata (ECA) and compares them with a newly proposed one, that induced by e…
▽ More
We overview and compare classifications of elementary cellular automata, including Wolfram's, Wuensche's, Li and Packard, communication complexity, power spectral, topological, surface, compression, lattices, and morphological diversity classifications. This paper summarises several classifications of elementary cellular automata (ECA) and compares them with a newly proposed one, that induced by endowing rules with memory.
△ Less
Submitted 27 June, 2013; v1 submitted 24 June, 2013;
originally announced June 2013.
-
Bio-imitaiton of Mexican migration routes to the USA with slime mould on 3D terrains
Authors:
Andrew Adamatzky,
Genaro J. Martinez
Abstract:
Plasmodium of Physarum polycephalum is a large single cell visible by unaided eye. It shows sophisticated behavioural traits in foraging for nutrients and develo** an optimal transport network of protoplasmic tubes spanning sources of nutrients. When placed in an environment with distributed sources of nutrients the cell 'computes' an optimal graph spanning the nutrients by growing a network of…
▽ More
Plasmodium of Physarum polycephalum is a large single cell visible by unaided eye. It shows sophisticated behavioural traits in foraging for nutrients and develo** an optimal transport network of protoplasmic tubes spanning sources of nutrients. When placed in an environment with distributed sources of nutrients the cell 'computes' an optimal graph spanning the nutrients by growing a network of protoplasmic tubes. P. polycephalum imitates development of man-made transport networks of a country when configuration of nutrients represents major urban areas. We employ this feature of the slime mould to imitate mexican migration to USA. The Mexican migration to USA is the World's largest migration system. We bio-physically imitate the migration using slime mould P. polycephalum. In laboratory experiments with 3D Nylon terrains of USA we imitated development of migratory routes from Mexico-USA border to ten urban areas with high concentration of Mexican migrants. From results of laboratory experiments we extracted topologies of migratory routes, and highlighted a role of elevations in sha** the human movement networks.
△ Less
Submitted 1 May, 2013;
originally announced May 2013.
-
Computation and Universality: Class IV versus Class III Cellular Automata
Authors:
Genaro J. Martinez,
Juan C. Seck-Tuoh-Mora,
Hector Zenil
Abstract:
This paper examines the claim that cellular automata (CA) belonging to Class III (in Wolfram's classification) are capable of (Turing universal) computation. We explore some chaotic CA (believed to belong to Class III) reported over the course of the CA history, that may be candidates for universal computation, hence spurring the discussion on Turing universality on both Wolfram's classes III and…
▽ More
This paper examines the claim that cellular automata (CA) belonging to Class III (in Wolfram's classification) are capable of (Turing universal) computation. We explore some chaotic CA (believed to belong to Class III) reported over the course of the CA history, that may be candidates for universal computation, hence spurring the discussion on Turing universality on both Wolfram's classes III and IV.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
-
On Soliton Collisions between Localizations in Complex Elementary Cellular Automata: Rules 54 and 110 and Beyond
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Fangyue Chen,
Leon Chua
Abstract:
In this paper we present a single-soliton two-component cellular automata (CA) model of waves as mobile self-localizations, also known as: particles, waves, or gliders; and its version with memory. The model is based on coding sets of strings where each chain represents a unique mobile self-localization. We will discuss briefly the original soliton models in CA proposed with {\it filter automata},…
▽ More
In this paper we present a single-soliton two-component cellular automata (CA) model of waves as mobile self-localizations, also known as: particles, waves, or gliders; and its version with memory. The model is based on coding sets of strings where each chain represents a unique mobile self-localization. We will discuss briefly the original soliton models in CA proposed with {\it filter automata}, followed by solutions in elementary CA (ECA) domain with the famous universal ECA {\it Rule 110}, and reporting a number of new solitonic collisions in ECA {\it Rule 54}. A mobile self-localization in this study is equivalent a single soliton because the collisions of these mobile self-localizations studied in this paper satisfies the property of solitonic collisions. We also present a specific ECA with memory (ECAM), the ECAM Rule $φ_{R9maj:4}$, that displays single-soliton solutions from any initial codification (including random initial conditions) for a kind of mobile self-localization because such automaton is able to adjust any initial condition to soliton structures.
△ Less
Submitted 26 January, 2013;
originally announced January 2013.
-
Expressiveness of Elementary Cellular Automata
Authors:
Markus Redeker,
Andrew Adamatzky,
Genaro J. Martínez
Abstract:
We investigate expressiveness, a parameter of one-dimensional cellular automata, in the context of simulated biological systems. The development of elementary cellular automata is interpreted in terms of biological systems, and biologically inspired parameters for biodiversity are applied to the configurations of cellular automata.
This article contains a survey of the Elementary Cellular Automa…
▽ More
We investigate expressiveness, a parameter of one-dimensional cellular automata, in the context of simulated biological systems. The development of elementary cellular automata is interpreted in terms of biological systems, and biologically inspired parameters for biodiversity are applied to the configurations of cellular automata.
This article contains a survey of the Elementary Cellular Automata in terms of their expressiveness and an evaluation whether expressiveness is a meaningful term in the context of simulated biology.
△ Less
Submitted 6 April, 2013; v1 submitted 12 December, 2012;
originally announced December 2012.
-
How to make dull cellular automata complex by adding memory: Rule 126 case study
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Juan C. Seck-Tuoh-Mora,
Ramon Alonso-Sanz
Abstract:
Using Rule 126 elementary cellular automaton (ECA) we demonstrate that a chaotic discrete system --- when enriched with memory -- hence exhibits complex dynamics where such space exploits on an ample universe of periodic patterns induced from original information of the ahistorical system. First we analyse classic ECA Rule 126 to identify basic characteristics with mean field theory, basins, and d…
▽ More
Using Rule 126 elementary cellular automaton (ECA) we demonstrate that a chaotic discrete system --- when enriched with memory -- hence exhibits complex dynamics where such space exploits on an ample universe of periodic patterns induced from original information of the ahistorical system. First we analyse classic ECA Rule 126 to identify basic characteristics with mean field theory, basins, and de Bruijn diagrams. In order to derive this complex dynamics, we use a kind of memory on Rule 126; from here interactions between gliders are studied for detecting stationary patterns, glider guns and simulating specific simple computable functions produced by glider collisions.
△ Less
Submitted 1 December, 2012;
originally announced December 2012.
-
Wolfram's Classification and Computation in Cellular Automata Classes III and IV
Authors:
Genaro J. Martinez,
J. C. Seck-Tuoh-Mora,
Hector Zenil
Abstract:
We conduct a brief survey on Wolfram's classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wolfram's classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be "too hot" in practice to be controlled and programmed. We show that systems in Class III are indeed capa…
▽ More
We conduct a brief survey on Wolfram's classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wolfram's classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be "too hot" in practice to be controlled and programmed. We show that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing-completness.
△ Less
Submitted 29 August, 2012; v1 submitted 12 August, 2012;
originally announced August 2012.
-
Complex dynamics of elementary cellular automata emerging from chaotic rules
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Ramon Alonso-Sanz
Abstract:
We show techniques of analyzing complex dynamics of cellular automata (CA) with chaotic behaviour. CA are well known computational substrates for studying emergent collective behaviour, complexity, randomness and interaction between order and chaotic systems. A number of attempts have been made to classify CA functions on their space-time dynamics and to predict behaviour of any given function. Ex…
▽ More
We show techniques of analyzing complex dynamics of cellular automata (CA) with chaotic behaviour. CA are well known computational substrates for studying emergent collective behaviour, complexity, randomness and interaction between order and chaotic systems. A number of attempts have been made to classify CA functions on their space-time dynamics and to predict behaviour of any given function. Examples include mechanical computation, λ and Z-parameters, mean field theory, differential equations and number conserving features. We aim to classify CA based on their behaviour when they act in a historical mode, i.e. as CA with memory. We demonstrate that cell-state transition rules enriched with memory quickly transform a chaotic system converging to a complex global behaviour from almost any initial condition. Thus just in few steps we can select chaotic rules without exhaustive computational experiments or recurring to additional parameters. We provide analysis of well-known chaotic functions in one-dimensional CA, and decompose dynamics of the automata using majority memory exploring glider dynamics and reactions.
△ Less
Submitted 27 March, 2012;
originally announced March 2012.
-
Are motorways rational from slime mould's point of view?
Authors:
Andrew Adamatzky,
Selim Akl,
Ramon Alonso-Sanz,
Wesley van Dessel,
Zuwairie Ibrahim,
Andrew Ilachinski,
Jeff Jones,
Anne V. D. M. Kayem,
Genaro J. Martinez,
Pedro de Oliveira,
Mikhail Prokopenko,
Theresa Schubert,
Peter Sloot,
Emanuele Strano,
Xin-She Yang
Abstract:
We analyse the results of our experimental laboratory approximation of motorways networks with slime mould Physarum polycephalum. Motorway networks of fourteen geographical areas are considered: Australia, Africa, Belgium, Brazil, Canada, China, Germany, Iberia, Italy, Malaysia, Mexico, The Netherlands, UK, USA. For each geographical entity we represented major urban areas by oat flakes and inocul…
▽ More
We analyse the results of our experimental laboratory approximation of motorways networks with slime mould Physarum polycephalum. Motorway networks of fourteen geographical areas are considered: Australia, Africa, Belgium, Brazil, Canada, China, Germany, Iberia, Italy, Malaysia, Mexico, The Netherlands, UK, USA. For each geographical entity we represented major urban areas by oat flakes and inoculated the slime mould in a capital. After slime mould spanned all urban areas with a network of its protoplasmic tubes we extracted a generalised Physarum graph from the network and compared the graphs with an abstract motorway graph using most common measures. The measures employed are the number of independent cycles, cohesion, shortest paths lengths, diameter, the Harary index and the Randic index. We obtained a series of intriguing results, and found that the slime mould approximates best of all the motorway graphs of Belgium, Canada and China, and that for all entities studied the best match between Physarum and motorway graphs is detected by the Randic index (molecular branching index).
△ Less
Submitted 13 March, 2012;
originally announced March 2012.
-
Computation with competing patterns in Life-like automaton
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Kenichi Morita,
Maurice Margenstern
Abstract:
We study a Life-like cellular automaton rule $B2/S2345$ where a cell in state `0' takes state `1' if it has exactly two neighbors in state `1' and the cell remains in the state `1' if it has between two and five neighbors in state `1.' This automaton is a discrete analog spatially extended chemical media, combining both properties of sub-excitable and precipitating chemical media. When started fro…
▽ More
We study a Life-like cellular automaton rule $B2/S2345$ where a cell in state `0' takes state `1' if it has exactly two neighbors in state `1' and the cell remains in the state `1' if it has between two and five neighbors in state `1.' This automaton is a discrete analog spatially extended chemical media, combining both properties of sub-excitable and precipitating chemical media. When started from random initial configuration B2/S2345 automaton exhibits chaotic behavior. Configurations with low density of state `1' show emergence of localized propagating patterns and stationary localizations. We construct basic logical gates and elementary arithmetical circuits by simulating logical signals with mobile localizations reaction propagating geometrically restricted by stationary non-destructible localizations. Values of Boolean variables are encoded into two types of patterns --- symmetric (False) and asymmetric (True) patterns --- which compete for the `empty' space when propagate in the channels. Implementations of logical gates and binary adders are illustrated explicitly.
△ Less
Submitted 15 June, 2011;
originally announced June 2011.
-
Cellular automaton supercolliders
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Christopher R. Stephens,
Alejandro F. Hoeflich
Abstract:
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 travelling in a spatially extended non-linear medium. They can be considered as binary strings or symbols travelling along a…
▽ More
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 travelling in a spatially extended non-linear medium. They can be considered as binary strings or symbols travelling along a one-dimensional ring, interacting with each other and changing their states, or symbolic values, as a result of interactions. We analyse what types of interaction occur between gliders travelling 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 non-linear media: fusion, elastic collision, and soliton-like collision. Computational outcomes of a swarm of gliders circling on a one-dimensional torus are analysed via implementation of cyclic tag systems.
△ Less
Submitted 22 May, 2011;
originally announced May 2011.
-
Approximating Mexican highways with slime mould
Authors:
Andrew Adamatzky,
Genaro J. Martinez,
Sergio V. Chapa-Vergara,
Rene Asomoza-Palacio,
Christopher R. Stephens
Abstract:
Plasmodium of Physarum polycephalum is a single cell visible by unaided eye. During its foraging behavior the cell spans spatially distributed sources of nutrients with a protoplasmic network. Geometrical structure of the protoplasmic networks allows the plasmodium to optimize transport of nutrients between remote parts of its body. Assuming major Mexican cities are sources of nutrients how much s…
▽ More
Plasmodium of Physarum polycephalum is a single cell visible by unaided eye. During its foraging behavior the cell spans spatially distributed sources of nutrients with a protoplasmic network. Geometrical structure of the protoplasmic networks allows the plasmodium to optimize transport of nutrients between remote parts of its body. Assuming major Mexican cities are sources of nutrients how much structure of Physarum protoplasmic network correspond to structure of Mexican Federal highway network? To find an answer undertook a series of laboratory experiments with living Physarum polycephalum. We represent geographical locations of major cities by oat flakes, place a piece of plasmodium in Mexico city area, record the plasmodium's foraging behavior and extract topology of nutrient transport networks. Results of our experiments show that the protoplasmic network formed by Physarum is isomorphic, subject to limitations imposed, to a network of principle highways. Ideas and results of the paper may contribute towards future developments in bio-inspired road planning.
△ Less
Submitted 4 October, 2010;
originally announced October 2010.
-
Localization dynamics in a binary two-dimensional cellular automaton: the Diffusion Rule
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Harold V. McIntosh
Abstract:
We study a two-dimensional cellular automaton (CA), called Diffusion Rule (DR), which exhibits diffusion-like dynamics of propagating patterns. In computational experiments we discover a wide range of mobile and stationary localizations (gliders, oscillators, glider guns, puffer trains, etc), analyze spatio-temporal dynamics of collisions between localizations, and discuss possible applications…
▽ More
We study a two-dimensional cellular automaton (CA), called Diffusion Rule (DR), which exhibits diffusion-like dynamics of propagating patterns. In computational experiments we discover a wide range of mobile and stationary localizations (gliders, oscillators, glider guns, puffer trains, etc), analyze spatio-temporal dynamics of collisions between localizations, and discuss possible applications in unconventional computing.
△ Less
Submitted 6 August, 2009;
originally announced August 2009.
-
Complex dynamics emerging in Rule 30 with majority memory
Authors:
Genaro J. Martinez,
Andrew Adamatzky,
Ramon Alonso-Sanz,
J. C. Seck-Touh-Mora
Abstract:
In cellular automata with memory, the unchanged maps of the conventional cellular automata are applied to cells endowed with memory of their past states in some specified interval. We implement Rule 30 automata with a majority memory and show that using the memory function we can transform quasi-chaotic dynamics of classical Rule 30 into domains of travelling structures with predictable behaviou…
▽ More
In cellular automata with memory, the unchanged maps of the conventional cellular automata are applied to cells endowed with memory of their past states in some specified interval. We implement Rule 30 automata with a majority memory and show that using the memory function we can transform quasi-chaotic dynamics of classical Rule 30 into domains of travelling structures with predictable behaviour. We analyse morphological complexity of the automata and classify dynamics of gliders (particles, self-localizations) in memory-enriched Rule 30. We provide formal ways of encoding and classifying glider dynamics using de Bruijn diagrams, soliton reactions and quasi-chemical representations.
△ Less
Submitted 12 February, 2009;
originally announced February 2009.
-
On logical gates in precipitating medium: cellular automaton model
Authors:
Genaro Juarez Martinez,
Andrew Adamatzky,
Ben De Lacy Costello
Abstract:
We study a two-dimensional semi-totalistic binary cell-state cellular automaton, which imitates a reversible precipitation in an abstract chemical medium. The systems exhibits a non-trivial growth and nucleation. We demonstrate how basic computational operation can be realized in the system when the propagation of the growing patterns is self-restricted by stationary localizations. We show that…
▽ More
We study a two-dimensional semi-totalistic binary cell-state cellular automaton, which imitates a reversible precipitation in an abstract chemical medium. The systems exhibits a non-trivial growth and nucleation. We demonstrate how basic computational operation can be realized in the system when the propagation of the growing patterns is self-restricted by stationary localizations. We show that precipitating patterns of different morphology compete between each other and thus implement serial and non-serial logical gates.
△ Less
Submitted 26 February, 2008;
originally announced February 2008.
-
Determining a regular language by glider-based structures called phases fi_1 in Rule 110
Authors:
Genaro Juarez Martinez,
Harold V. McIntosh,
Juan C. Seck Tuoh Mora,
Sergio V. Chapa Vergara
Abstract:
Rule 110 is a complex elementary cellular automaton able of supporting universal computation and complicated collision-based reactions between gliders. We propose a representation for coding initial conditions by means of a finite subset of regular expressions. The sequences are extracted both from de Bruijn diagrams and tiles specifying a set of phases fi_1 for each glider in Rule 110. The subs…
▽ More
Rule 110 is a complex elementary cellular automaton able of supporting universal computation and complicated collision-based reactions between gliders. We propose a representation for coding initial conditions by means of a finite subset of regular expressions. The sequences are extracted both from de Bruijn diagrams and tiles specifying a set of phases fi_1 for each glider in Rule 110. The subset of regular expressions is explained in detail.
△ Less
Submitted 22 June, 2007;
originally announced June 2007.