A Local Stochastic Algorithm for Separation in Heterogeneous Self-Organizing Particle Systems

Sarah Cannon, Joshua J. Daymude, Cem Gökmen, Dana Randall, Andréa W. Richa, Michael Wagner
2019 International Workshop on Approximation Algorithms for Combinatorial Optimization  
We present and rigorously analyze the behavior of a distributed, stochastic algorithm for separation and integration in self-organizing particle systems, an abstraction of programmable matter. Such systems are composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational power. We consider heterogeneous particle systems of two different colors and prove that these systems can collectively separate into different color
more » ... or integrate, indifferent to color. We accomplish both behaviors with the same fully distributed, local, stochastic algorithm. Achieving separation or integration depends only on a single global parameter determining whether particles prefer to be next to other particles of the same color or not; this parameter is meant to represent external, environmental influences on the particle system. The algorithm is a generalization of a previous distributed, stochastic algorithm for compression (PODC '16) that can be viewed as a special case of separation where all particles have the same color. It is significantly more challenging to prove that the desired behavior is achieved in the heterogeneous setting, however, even in the bichromatic case we focus on. This requires combining several new techniques, including the cluster expansion from statistical physics, a new variant of the bridging argument of Miracle, Pascoe and Randall (RANDOM '11), the high-temperature expansion of the Ising model, and careful probabilistic arguments. ACM Subject Classification Mathematics of computing → Stochastic processes; Theory of computation → Random walks and Markov chains; Theory of computation → Self-organization Keywords and phrases Markov chains, Programmable matter, Cluster expansion Digital Object Identifier 10.4230/LIPIcs.APPROX-RANDOM.2019.54 Category RANDOM
doi:10.4230/lipics.approx-random.2019.54 dblp:conf/approx/CannonDGRR19 fatcat:nrpfumzlvvfe7hclwr7ybgyvyy