In this (bonus) lecture, we discuss distributed, spatially explicit models of computation that come from the complex systems community. We start with a brief introduction to interacting particle systems (IPS), with a specific focus on the voter model. The voter model is simultaneously a model of neutral evolution (genetic drift leading to fixation) and a basic model of consensus/agreement in opinion dynamics. We discuss the voter model in 1, 2, and 3+ dimensions. To analyze this case, we introduce a dual model of the voter model that focuses on "contact tracing" of opinion provenance, which leads to a time-reversed set of coalescing Markov chains. From this perspective, studying the probability of consensus is equivalent to studying the probability of Markov chains intersecting (Polya's theorem). This implies that while 1D and 2D voter models are guaranteed to come to consensus, this cannot be said of 3D or higher. After this result, we pivot to introducing cellular automata, and specifically 1D elementary cellular automata (ECA). We discuss how ECA's are named and operate, we highlight several key ECA rules and their properties, and we close by using lessons learned from ECA's to connect back to niching methods for GA's we introduced in our first unit. Interactive demonstrations referenced in this lecture can be found at:
- Voter Model (and Consensus Dynamics) Explorer: https://tpavlic.github.io/asu-bioinspired-ai-and-optimization/cellular_automata/voter_model.html
- Elementary Cellular Automaton Explorer: https://tpavlic.github.io/asu-bioinspired-ai-and-optimization/cellular_automata/eca_explorer.html