Generating Boolean Functions on Totalistic Automata Networks

by   Eric Goles, et al.

We consider the problem of studying the simulation capabilities of the dynamics of arbitrary networks of finite states machines. In these models, each node of the network takes two states 0 (passive) and 1 (active). The states of the nodes are updated in parallel following a local totalistic rule, i.e., depending only on the sum of active states. Four families of totalistic rules are considered: linear or matrix defined rules (a node takes state 1 if each of its neighbours is in state 1), threshold rules (a node takes state 1 if the sum of its neighbours exceed a threshold), isolated rules (a node takes state 1 if the sum of its neighbours equals to some single number) and interval rule (a node takes state 1 if the sum of its neighbours belong to some discrete interval). We focus in studying the simulation capabilities of the dynamics of each of the latter classes. In particular, we show that totalistic automata networks governed by matrix defined rules can only implement constant functions and other matrix defined functions. In addition, we show that t by threshold rules can generate any monotone Boolean functions. Finally, we show that networks driven by isolated and the interval rules exhibit a very rich spectrum of boolean functions as they can, in fact, implement any arbitrary Boolean functions. We complement this results by studying experimentally the set of different Boolean functions generated by totalistic rules on random graphs.


page 31

page 38

page 40


Exploring Semi-bent Boolean Functions Arising from Cellular Automata

Semi-bent Boolean functions are interesting from a cryptographic standpo...

Partial Order on the set of Boolean Regulatory Functions

Logical models have been successfully used to describe regulatory and si...

Descriptive complexity for neural networks via Boolean networks

We investigate the descriptive complexity of a class of neural networks ...

The Dynamics of Canalizing Boolean Networks

Boolean networks are a popular modeling framework in computational biolo...

On fixable families of Boolean networks

The asynchronous dynamics associated with a Boolean network f : {0,1}^n ...

Representation Theorem for Matrix Product States

In this work, we investigate the universal representation capacity of th...

Freezing sandpiles and Boolean threshold networks: equivalence and complexity

The NC versus P-hard classification of the prediction problem for sandpi...

Please sign up or login with your details

Forgot password? Click here to reset