🌀 Automates cellulaires cycliques

Le modèle de Greenberg-Hastings, introduit par James Greenberg et Stuart Hastings en 1978, est un automate cellulaire conçu pour capturer la dynamique essentielle des milieux excitables. Chaque cellule traverse un état excité, une période réfractaire, puis revient à un état de repos prêt à être excité à nouveau — directement analogue à un neurone qui décharge puis récupère. La règle de seuil du CCA est une version discrète simplifiée de ce cadre où le nombre d'états N contrôle la longueur de la période réfractaire par rapport à l'excitation.

Le CCA est un modèle discret de milieux excitables, capturant la dynamique de la réaction chimique oscillante de Belousov-Zhabotinsky (qui produit des spirales colorées rotatives visibles dans une boîte de Petri), la réentrée d'ondes en spirale dans le muscle cardiaque (impliquée dans la fibrillation ventriculaire), les ondes de signalisation calcique dans les cellules, et la dépression envahissante rétinienne. La correspondance mathématique est suffisamment étroite pour que les simulations CCA soient utilisées en biologie théorique pour étudier comment les ondes en spirale se forment et se dissipent.

Une idée reçue courante est que les spirales sont directement amorcées par l'état initial aléatoire — qu'une configuration initiale spéciale est nécessaire. En fait, pratiquement toute condition initiale aléatoire (pour un N et un seuil faibles) s'auto-organisera en spirales en quelques dizaines de générations. Les spirales sont un attracteur de la dynamique, pas une propriété de l'état initial. Une autre idée reçue est que la simulation nécessite un code complexe : la règle entière tient dans une seule ligne de logique appliquée uniformément à chaque cellule.

L'étude systématique du CCA en tant qu'objet mathématique a été initiée par David Griffeath et Janko Gravner à l'Université du Wisconsin-Madison à la fin des années 1980 et dans les années 1990. Le site web Primordial Soup Kitchen de Griffeath (à partir de 1994) a été une ressource en ligne précoce popularisant le CCA. Leurs travaux s'appuyaient sur le modèle de milieu excitable de Greenberg-Hastings (1978) et sur les études de Winfree (1972) sur les ondes en spirale dans la réaction de Belousov-Zhabotinsky, unifiant ces approches en un cadre rigoureux d'automates cellulaires probabilistes.

Les simulations étroitement liées comprennent le Jeu de la vie de Conway (CA à état binaire), Brian's Brain (CA excitable à 3 états), le simulateur de réaction de Belousov-Zhabotinsky (réaction-diffusion continue), et le modèle en réseau de Greenberg-Hastings. Sur ce site, l'Agrégation limitée par diffusion explore une autre forme d'émergence de motifs à partir de règles locales, tandis que les Champs d'écoulement et l'Explorateur de l'ensemble de Mandelbrot démontrent différentes classes de motifs génératifs. Les systèmes de réaction-diffusion de Turing produisent des spirales et des ondes cibles similaires par un mécanisme fondamentalement différent (EDP continue).

Les modèles de milieux excitables inspirés du CCA informent la conception des protocoles de défibrillation — les ondes en spirale cardiaques (arythmies réentrantes) provoquent la fibrillation ventriculaire, et comprendre comment les briser ou les prévenir est une application clinique directe. En ingénierie, la dynamique du CCA a été appliquée à l'informatique parallèle (circuits auto-cadencés propageant des signaux sous forme d'ondes), à la coordination de robots distribués (algorithmes d'essaim basés sur la stigmergie), et au traitement d'image (segmentation par propagation d'onde). L'implémentation GPGPU utilisée dans cette simulation — calculant des milliers de cellules en parallèle sur le GPU — reflète la façon dont les simulations de réaction-diffusion sont exécutées en calcul scientifique.

Les domaines de recherche actifs incluent le CCA tridimensionnel (ondes en volute et filaments noués, pertinents pour le tissu cardiaque 3D), le CCA stochastique (ajout de bruit pour étudier la robustesse de la formation des spirales), et les milieux excitables hétérogènes (seuil variable à travers la grille, modélisant l'inhomogénéité tissulaire). En physique, le lien entre le CCA et les classes d'universalité de la percolation dirigée reste une question ouverte. Les chercheurs en calcul neuromorphique étudient si la dynamique des milieux excitables peut mettre en œuvre un calcul à base d'ondes économe en énergie sur du matériel dédié, faisant écho aux premières propositions d'automates cellulaires de von Neumann et Codd.