相关论文: Existence of Life in Lenia
Lenia is a continuous extension of Conway's Game of Life that exhibits rich pattern formations including self-propelling structures called gliders. In this paper, we focus on Asymptotic Lenia, a variant formulated as partial differential…
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properties of differential equations on Banach spaces (the…
Central to the artificial life endeavour is the creation of artificial systems spontaneously generating properties found in the living world such as autopoiesis, self-replication, evolution and open-endedness. While numerous models and…
We report experimental extensions of Lenia, a continuous cellular automata family capable of producing lifelike self-organizing autonomous patterns. The rule of Lenia was generalized into higher dimensions, multiple kernels, and multiple…
Understanding complexity in fluid mechanics is a major problem that has attracted the attention of physicists and mathematicians during the last decades. Using the concept of renormalization in dynamics, we show the existence of a locally…
The design of complex self-organising systems producing life-like phenomena, such as the open-ended evolution of virtual creatures, is one of the main goals of artificial life. Lenia, a family of cellular automata (CA) generalizing Conway's…
We report a new system of artificial life called Lenia (from Latin lenis "smooth"), a two-dimensional cellular automaton with continuous space-time-state and generalized local rule. Computer simulations show that Lenia supports a great…
Recent work with Lenia, a continuously-valued cellular automata (CA) framework, has yielded $\sim$100s of compelling, bioreminiscent and mobile patterns. Lenia can be viewed as a continuously-valued generalization of the Game of Life, a…
This research project investigates Lenia, an artificial life platform that simulates ecosystems of digital creatures. Lenia's ecosystem consists of simple, artificial organisms that can move, consume, grow, and reproduce. The platform is…
Loewner Theory, based on dynamical viewpoint, is a powerful tool in Complex Analysis, which plays a crucial role in such important achievements as the proof of famous Bieberbach's conjecture and well-celebrated Schramm's Stochastic Loewner…
In this paper we provide a complete analogy between the Cauchy-Lipschitz and the DiPerna-Lions theories for ODE's, by developing a local version of the DiPerna-Lions theory. More precisely, we prove existence and uniqueness of a maximal…
The classical "game of life" (GOL) due to Conway is a famous mathematical game constructed as a two-dimensional cellular automaton in which each cell is either alive or dead. A set of evolutionary rules determines whether a cell dies,…
We investigate the quantum dynamics of a spin chain that implements a quantum analog of Conway's game of life. We solve the time-dependent Schr\"odinger equation starting with initial separable states and analyse the evolution of quantum…
The Eulerian perfect-fluid theory is reformulated from its action principle in a pure field-theoretic manner. Conservation of the convective current is no longer imposed by Lin's constraints, but rather adopted as the central idea of the…
We study a class of discontinuous vector fields brought to our attention by multi-legged animal locomotion. Such vector fields arise not only in biomechanics, but also in robotics, neuroscience, and electrical engineering, to name a few…
Differential equations are derived which show how generalized Euler vector representations of the Euler rotation axis and angle for a rigid body evolve in time; the Euler vector is also known as a rotation vector or axis-angle vector. The…
Arnold showed that the Euler equations of an ideal fluid describe geodesics on the Lie algebra of incompressible vector fields. We generalize this to fluids with dissipation and Gaussian random forcing. The dynamics is determined by the…
We consider steady solutions to the incompressible Euler equations in a two-dimensional channel with rigid walls. The flow consists of two periodic layers of constant vorticity separated by an unknown interface. Using global bifurcation…
Well-posedness for the two dimensional Euler system with given initial vorticity is known since the works of Judovi\v{c}. In this paper we show existence of solutions in the case where we allowed the fluid to enter in and exit from the…
Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled,…