Title: Existence of life in Lenia

Authors: Craig Calcaterra; Axel Boldt

Addresses: Department of Mathematics and Statistics, Metropolitan State University, Saint Paul, Minnesota, USA ' Department of Mathematics and Statistics, Metropolitan State University, Saint Paul, Minnesota, USA

Abstract: Lenia is a continuous generalisation of Conway's Game of Life. Bert Wang-Chak Chan has discovered and published many seemingly organic dynamics in his Lenia simulations since 2019. These simulations follow the Euler curve algorithm starting from function space initial conditions. The Picard-Lindelof theorem for the existence of integral curves to Lipschitz vector fields on Banach spaces fails to guarantee solutions, because the vector field associated with the integro-differential equation defining Lenia is discontinuous. However, we demonstrate the dynamic Chan is using to generate simulations is actually an arc field and not the traditional Euler method for the vector field derived from the integro-differential equation. Using arc field theory we prove the Euler curves converge to a unique flow which solves the original integro-differential equation. Extensions are explored and the modelling of entropy is discussed.

Keywords: arc fields; discontinuous vector fields; integro-differential equations; entropy models.

DOI: 10.1504/IJDSDE.2023.135023

International Journal of Dynamical Systems and Differential Equations, 2023 Vol.13 No.3, pp.218 - 230

Accepted: 26 Jun 2023
Published online: 27 Nov 2023 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article