-
Information integration in elementary cellular automata
Authors:
Kátia K. Cassiano,
Valmir C. Barbosa
Abstract:
We study the emergence of information integration in cellular automata (CA) with respect to states in the long run. Information integration is in this case quantified by applying the information-theoretic measure known as total correlation to the long-run distribution of CA states. Total correlation is the amount by which the total uncertainty associated with cell states surpasses the uncertainty…
▽ More
We study the emergence of information integration in cellular automata (CA) with respect to states in the long run. Information integration is in this case quantified by applying the information-theoretic measure known as total correlation to the long-run distribution of CA states. Total correlation is the amount by which the total uncertainty associated with cell states surpasses the uncertainty of the CA state taken as a whole. It is an emergent property, in the sense that it can only be ascribed to how the cells interact with one another, and has been linked to the rise of consciousness in the brain. We investigate total correlation in the evolution of elementary CA for all update rules that are unique with respect to negation or reflection. For each rule we consider the usual, deterministic CA behavior, assuming that the initial state is chosen uniformly at random, and also the probabilistic variant in which every cell, at all time steps and independently of all others, disobeys the rule's prescription with a fixed probability. We have found rules that generate as much total correlation as possible, or nearly so, particularly in Wolfram classes 2 and 3. We conjecture that some of these rules can be used as CA models of information integration.
△ Less
Submitted 28 October, 2014;
originally announced October 2014.
-
Error-prone cellular automata as metaphors of immunity as computation
Authors:
Kátia K. Cassiano,
Valmir C. Barbosa
Abstract:
Modeling the immune system so that its essential functionalities stand out without the need for every molecular or cellular interaction to be taken into account has been challenging for many decades. Two competing approaches have been the clonal selection theory and the idiotypic-network theory, each stemming from a relatively separate set of principles. One recent perspective holding the promise…
▽ More
Modeling the immune system so that its essential functionalities stand out without the need for every molecular or cellular interaction to be taken into account has been challenging for many decades. Two competing approaches have been the clonal selection theory and the idiotypic-network theory, each stemming from a relatively separate set of principles. One recent perspective holding the promise of unification is that of immunity as computation, that is, of immunity as the process of computing the state of the body so that protection can be effected, as well as boosted through learning. Here we investigate the use of cellular automata (CA) as the core abstraction supporting this new perspective. Our choice of CA for this role is based on the potential variety of basins in a CA attractor field. Associating each basin with a consistent set of body states, and moreover providing for the noisy evolution of the CA in time so that jumping between basins is possible, have provided the necessary backdrop. Given a CA rule to be followed by all cells synchronously, our model is based on a probability with which each cell, at each time step, independently updates its own state differently than the rule mandates. Setting up and solving the corresponding Markov chain for its stationary probabilities have revealed that already in the context of elementary CA there exist rules that, while allowing transitions between basins, display remarkable resiliency in terms of basin occupation. For these rules, the long-run probability that the CA is found in a given basin is practically the same as in the deterministic case when the initial CA state is chosen uniformly at random. We argue that, consequently, our single-parameter CA model may be a suitable abstraction of immunity as computation.
△ Less
Submitted 14 January, 2014;
originally announced January 2014.
-
The predecessor-existence problem for k-reversible processes
Authors:
Leonardo I. L. Oliveira,
Valmir C. Barbosa,
Fábio Protti
Abstract:
For k>=1, we consider the graph dynamical system known as a k-reversible process. In such process, each vertex in the graph has one of two possible states at each discrete time. Each vertex changes its state between the present time and the next if and only if it currently has at least k neighbors in a state different than its own. Given a k-reversible process and a configuration of states assigne…
▽ More
For k>=1, we consider the graph dynamical system known as a k-reversible process. In such process, each vertex in the graph has one of two possible states at each discrete time. Each vertex changes its state between the present time and the next if and only if it currently has at least k neighbors in a state different than its own. Given a k-reversible process and a configuration of states assigned to the vertices, the Predecessor Existence problem consists of determining whether this configuration can be generated by the process from another configuration within exactly one time step. We can also extend the problem by asking for the number of configurations from which a given configuration is reachable within one time step. Predecessor Existence can be solved in polynomial time for k=1, but for k>1 we show that it is NP-complete. When the graph in question is a tree we show how to solve it in O(n) time and how to count the number of predecessor configurations in O(n^2) time. We also solve Predecessor Existence efficiently for the specific case of 2-reversible processes when the maximum degree of a vertex in the graph is no greater than 3. For this case we present an algorithm that runs in O(n) time.
△ Less
Submitted 27 July, 2013;
originally announced July 2013.
-
The conduciveness of CA-rule graphs
Authors:
Valmir C. Barbosa
Abstract:
Given two subsets A and B of nodes in a directed graph, the conduciveness of the graph from A to B is the ratio representing how many of the edges outgoing from nodes in A are incoming to nodes in B. When the graph's nodes stand for the possible solutions to certain problems of combinatorial optimization, choosing its edges appropriately has been shown to lead to conduciveness properties that prov…
▽ More
Given two subsets A and B of nodes in a directed graph, the conduciveness of the graph from A to B is the ratio representing how many of the edges outgoing from nodes in A are incoming to nodes in B. When the graph's nodes stand for the possible solutions to certain problems of combinatorial optimization, choosing its edges appropriately has been shown to lead to conduciveness properties that provide useful insight into the performance of algorithms to solve those problems. Here we study the conduciveness of CA-rule graphs, that is, graphs whose node set is the set of all CA rules given a cell's number of possible states and neighborhood size. We consider several different edge sets interconnecting these nodes, both deterministic and random ones, and derive analytical expressions for the resulting graph's conduciveness toward rules having a fixed number of non-quiescent entries. We demonstrate that one of the random edge sets, characterized by allowing nodes to be sparsely interconnected across any Hamming distance between the corresponding rules, has the potential of providing reasonable conduciveness toward the desired rules. We conjecture that this may lie at the bottom of the best strategies known to date for discovering complex rules to solve specific problems, all of an evolutionary nature.
△ Less
Submitted 27 April, 2012;
originally announced April 2012.
-
Cell-centric heuristics for the classification of cellular automata
Authors:
V. C. Barbosa,
F. M. N. Miranda,
M. C. M. Agostini
Abstract:
We study the classification of cellular-automaton update rules into Wolfram's four classes. We start with the notion of the input entropy of a spatiotemporal block in the evolution of a cellular automaton, and build on it by introducing two novel entropy measures, one that is also based on inputs to the cells, the other based on state transitions by the cells. Our two new entropies are both targ…
▽ More
We study the classification of cellular-automaton update rules into Wolfram's four classes. We start with the notion of the input entropy of a spatiotemporal block in the evolution of a cellular automaton, and build on it by introducing two novel entropy measures, one that is also based on inputs to the cells, the other based on state transitions by the cells. Our two new entropies are both targeted at the classification of update rules by parallel machines, being therefore mindful of the necessary communications requirements; we call them cell-centric input entropy and cell-centric transition entropy to reflect this fact. We report on extensive computational experiments on both one- and two-dimensional cellular automata. These experiments allow us to conclude that the two new entropies possess strong discriminatory capabilities, therefore providing valuable aid in the classification process.
△ Less
Submitted 6 August, 2004;
originally announced August 2004.