Operator Calculus for Population-Based Optimization: Modular Convergence and Finite-Population Guarantees

Population-based optimizers combine update rules such as mutation, selection, and recombination. When one rule changes, it is often unclear which convergence guarantees survive or how the new combination should be assessed. We develop an operator calculus: an operator is a population-update rule, an