Showing 1–8 of 8 results for author: Soto, J M G

The Ameyalli-Rule: Logical Universality in a 2D Cellular Automaton

Authors: José Manuel Gómez Soto, Andrew Wuensche

Abstract: We present a new spontaneously emergent glider-gun in a 2D Cellular Automaton and build the logical gates NOT, AND and OR required for logical universality. The Ameyalli-rule is not based on survival/birth logic but depends on 102 isotropic neighborhood groups making an iso-rule, which can drive an interactive input-frequency histogram for visualising iso-group activity and dependent functions for… ▽ More We present a new spontaneously emergent glider-gun in a 2D Cellular Automaton and build the logical gates NOT, AND and OR required for logical universality. The Ameyalli-rule is not based on survival/birth logic but depends on 102 isotropic neighborhood groups making an iso-rule, which can drive an interactive input-frequency histogram for visualising iso-group activity and dependent functions for filtering and mutation. Neutral inputs relative to logical gates are identified which provide an idealized striped-down form of the iso-rule. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 16 pages, 15 figures

Isotropic Cellular Automata: the DDLab iso-rule paradigm

Authors: Andrew Wuensche, José Manuel Gómez Soto

Abstract: To respect physics and nature, cellular automata (CA) models of self-organisation, emergence, computation and logical universality should be isotropic, having equivalent dynamics in all directions. We present a novel paradigm, the iso-rule, a concise expression for isotropic CA by the output table for each isotropic neighborhood group, allowing an efficient method of navigating and exploring iso-r… ▽ More To respect physics and nature, cellular automata (CA) models of self-organisation, emergence, computation and logical universality should be isotropic, having equivalent dynamics in all directions. We present a novel paradigm, the iso-rule, a concise expression for isotropic CA by the output table for each isotropic neighborhood group, allowing an efficient method of navigating and exploring iso-rule-space. We describe new functions and tools in DDLab to generate iso-groups and iso-rules, for multi-value as well as binary, in one, two and three dimensions. These methods include filing, filtering, mutating, analysing dynamics by input-frequency and entropy, identifying the critical iso-groups for glider-gun/eater dynamics, and automatically classifying iso-rule-space. We illustrate these ideas and methods for two dimensional CA on square and hexagonal lattices. △ Less

Submitted 1 March, 2021; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: to appear in Journal of Cellular Automata, minor revisions, 32 pages, 31 figures

Journal ref: Journal of CELLULAR AUTOMATA (JCA) ,Vol.15, No.5-6,439-470, 2021

The Variant-Rule, Another Logically Universal Rule

Authors: José Manuel Gómez Soto, Andrew Wuensche

Abstract: The Variant-rule derives from the Precursor-rule by interchanging two classes of its 28 isotropic map**s. Although this small mutation conserves most glider types and stable blocks, glider-gun engines are changed, as are most large scale pattern behaviors, illustrating both the robustness and fragility of evolution. We demonstrate these newly discovered structures and dynamics, and utilising two… ▽ More The Variant-rule derives from the Precursor-rule by interchanging two classes of its 28 isotropic map**s. Although this small mutation conserves most glider types and stable blocks, glider-gun engines are changed, as are most large scale pattern behaviors, illustrating both the robustness and fragility of evolution. We demonstrate these newly discovered structures and dynamics, and utilising two different glider types, build the logical gates required for universality in the logical sence. △ Less

Submitted 27 November, 2019; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: some minor corrections, 28 pages, 37 figures, to appear in JCA, Journal of Cellular Automata

Journal ref: Journal of Cellular Automata, Vol. 15, pp. 147-173, 2020

The packing number of the double vertex graph of the path graph

Authors: José Manuel Gómez Soto, Jesús Leaños, Luis Manuel Ríos-Castro, Luis Manuel Rivera

Abstract: Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane… ▽ More Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680. △ Less

Submitted 24 March, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: 21 pages, 7 figures. V2: 22 pages, more figures added. V3. minor corrections based on referee's comments. One figure corrected. The title "On an error correcting code problem" has been changed

MSC Class: 94B05; 94B65; 05C70; 05C76

Journal ref: Discrete Appl. Math, 247 (2018) 327-340

Minimal Glider-Gun in a 2D Cellular Automaton

Authors: José Manuel Gómez Soto, Andrew Wuensche

Abstract: To understand the underlying principles of self-organisation and computation in cellular automata, it would be helpful to find the simplest form of the essential ingredients, glider-guns and eaters, because then the dynamics would be easier to interpret. Such minimal components emerge spontaneously in the newly discovered Sayab-rule, a binary 2D cellular automaton with a Moore neighborhood and iso… ▽ More To understand the underlying principles of self-organisation and computation in cellular automata, it would be helpful to find the simplest form of the essential ingredients, glider-guns and eaters, because then the dynamics would be easier to interpret. Such minimal components emerge spontaneously in the newly discovered Sayab-rule, a binary 2D cellular automaton with a Moore neighborhood and isotropic dynamics. The Sayab-rule has the smallest glider-gun reported to date, consisting of just four live cells at its minimal phases. We show that the Sayab-rule can implement complex dynamical interactions and the gates required for logical universality. △ Less

Submitted 8 September, 2017; originally announced September 2017.

Comments: 14 pages, 21 figures

Journal ref: Complex Systems, vol 27, Issue 1, 2017

X-Rule's Precursor is also Logically Universal

Authors: José Manuel Gómez Soto, Andrew Wuensche

Abstract: 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 emerge… ▽ More 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. △ Less

Submitted 27 November, 2016; originally announced November 2016.

Comments: 29 pages, 46 figures

Journal ref: Journal of CELLULAR AUTOMATA (JCA), Vol.12, NO.o.6 (2017)

The X-rule: universal computation in a non-isotropic Life-like Cellular Automaton

Authors: José Manuel Gómez Soto, Andrew Wuensche

Abstract: We present a new Life-like cellular automaton (CA) capable of logic universality -- the X-rule. The CA is 2D, binary, with a Moore neighborhood and $λ$ parameter similar to the game-of-Life, but is not based on birth/survival and is non-isotropic. We outline the search method. Several glider types and stable structures emerge spontaneously within X-rule dynamics. We construct glider-guns based on… ▽ More We present a new Life-like cellular automaton (CA) capable of logic universality -- the X-rule. The CA is 2D, binary, with a Moore neighborhood and $λ$ parameter similar to the game-of-Life, but is not based on birth/survival and is non-isotropic. We outline the search method. Several glider types and stable structures emerge spontaneously within X-rule dynamics. We construct glider-guns based on periodic oscillations between stable barriers, and interactions to create logical gates. △ Less

Submitted 26 April, 2015; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 34 pages, 45 figures, to appear in "Journal of Cellular Automata"

Journal ref: Journal of CELLULAR AUTOMATA (JCA), Vol.10, No.3-4 (2015)

Exponential convergence to equilibrium in cellular automata asymptotically emulating identity

Authors: Henryk Fukś, José Manuel Gómez Soto

Abstract: We consider the problem of finding the density of 1's in a configuration obtained by $n$ iterations of a given cellular automaton (CA) rule, starting from disordered initial condition. While this problems is intractable in full generality for a general CA rule, we argue that for some sufficiently simple classes of rules it is possible to express the density in terms of elementary functions. Rules… ▽ More We consider the problem of finding the density of 1's in a configuration obtained by $n$ iterations of a given cellular automaton (CA) rule, starting from disordered initial condition. While this problems is intractable in full generality for a general CA rule, we argue that for some sufficiently simple classes of rules it is possible to express the density in terms of elementary functions. Rules asymptotically emulating identity are one example of such a class, and density formulae have been previously obtained for several of them. We show how to obtain formulae for density for two further rules in this class, 160 and 168, and postulate likely expression for density for eight other rules. Our results are valid for arbitrary initial density. Finally, we conjecture that the density of 1's for CA rules asymptotically emulating identity always approaches the equilibrium point exponentially fast. △ Less

Submitted 6 June, 2013; v1 submitted 5 June, 2013; originally announced June 2013.

Comments: 20 pages, 4 figures, 2 tables

Journal ref: Complex Systems 23, p. 1-26, 2014