Core Concepts
EVOSOPS, an evolutionary framework, discovers stochastic distributed algorithms that achieve mathematically specified collective behaviors in self-organizing particle systems, outperforming existing theory-based algorithms.
Abstract
The paper presents EVOSOPS, an evolutionary framework that searches landscapes of stochastic distributed algorithms to discover those that achieve a mathematically specified target behavior in self-organizing particle systems (SOPS). SOPS consist of computationally restricted particles that move over a discrete lattice and execute the same distributed algorithm, which maps their current neighborhood configuration to a movement probability.
The key highlights are:
EVOSOPS genome representation: Genomes are lists of integer-valued probabilities indexed by coarse-grained extended neighborhood configurations, improving evolutionary search efficiency.
Fitness evaluation: Fitness rewards algorithms that achieve the target behavior scalably (across SOPS sizes) and robustly (across random initializations and executions).
Application to four collective behaviors: Aggregation, phototaxing, separation, and object coating. EVOSOPS discovers algorithms that outperform existing theory-based approaches by 4.2-15.3% in fitness.
Scalability and robustness: The best-fitness EVOSOPS algorithms retain high performance when scaled to much larger SOPS sizes than their fitness evaluations considered.
Diversity of solutions: Repeated EVOSOPS runs for the same behavior explore diverse regions of genome space, revealing differences in behavior complexity.
Insights from high-fitness genomes: Analysis of the best aggregation genomes provides design insights that inspire a new, exceptionally simple yet high-performing algorithm.
Overall, EVOSOPS effectively discovers local, memoryless algorithms that drive the desired collective behavior from the bottom up, showcasing the potential of evolutionary search to aid future theoretical and practical investigations of computationally restricted agents.
Stats
The number of lattice edges in the optimally aggregated configuration on n particles.
The average particle height in the (near-)optimal phototaxing configuration on n particles.
The number of lattice edges in the (near-)optimal separated configuration on n particles and c color classes.
The reciprocal of the sum of particle-to-object distances in the optimal object coating configuration on n particles.