English
Related papers

Related papers: Flat Holonomies on Automata Networks

200 papers

An automata network is a finite graph where each node holds a state from some finite alphabet and is equipped with an update function that changes its state according to the configuration of neighboring states. More concisely, it is given…

Computational Complexity · Computer Science 2020-04-28 Florian Bridoux , Maximilien Gadouleau , Guillaume Theyssier

A (fully) dynamic graph algorithm is a data structure that supports edge insertions, edge deletions, and answers specific queries pertinent to the problem at hand. In this work, we address the fully dynamic edge orientation problem, also…

Data Structures and Algorithms · Computer Science 2024-07-18 Ernestine Großmann , Henrik Reinstädtler , Christian Schulz , Fabian Walliser

Heteroclinic connections are trajectories that link invariant sets for an autonomous dynamical flow: these connections can robustly form networks between equilibria, for systems with flow-invariant spaces. In this paper we examine the…

Dynamical Systems · Mathematics 2019-09-04 Peter Ashwin , Sofia Castro , Alexander Lohse

This note demonstrates how both the concept of distance and the concept of holonomy can be constructed from a suitable network with directed edges (and no lengths). The number of different edge types depends on the signature of the metric…

Geometric Topology · Mathematics 2009-02-16 Stuart Armstrong , Jussi Westergren

A new framework to perform routing at the Autonomous System level is proposed in this paper. This mechanism, called Chain Routing, uses complete orders as its main topological unit. Since complete orders are acyclic digraphs that possess a…

Networking and Internet Architecture · Computer Science 2012-01-25 P. David Arjona-Villicaña , Costas C. Constantinou , Alexander S. Stepanenko

This paper (parts I and II) provides an expository introduction to monotone and near-monotone dynamical systems associated to biochemical networks, those whose graphs are consistent or near-consistent. Many conclusions can be drawn from…

Molecular Networks · Quantitative Biology 2007-05-23 Eduardo D. Sontag

Control of complex processes is a major goal of network analyses. Most approaches to control nonlinearly coupled systems require the network topology and/or network dynamics. Unfortunately, neither the full set of participating nodes nor…

Molecular Networks · Quantitative Biology 2014-12-23 Jason Shulman , Frank Malatino , Alexander Mo , Killian Ryan , Gemunu H. Gunaratne

In these notes we study synchronizability of dynamical processes defined on complex networks as well as its interplay with network topology. Building from a recent work by Barahona and Pecora [Phys. Rev. Lett. 89, 054101 (2002)], we use a…

Disordered Systems and Neural Networks · Physics 2007-05-23 Luca Donetti , Pablo I. Hurtado , Miguel A. Munoz

We define and study a few properties of a class of random automata networks. While regular finite one-dimensional cellular automata are defined on periodic lattices, these automata networks, called randomized cellular automata, are defined…

Cellular Automata and Lattice Gases · Physics 2009-11-13 Nino Boccara

The homological scaffold leverages persistent homology to construct a topologically sound summary of a weighted network. However, its crucial dependency on the choice of representative cycles hinders the ability to trace back global…

Algebraic Topology · Mathematics 2021-01-05 Marco Guerra , Alessandro De Gregorio , Ulderico Fugacci , Giovanni Petri , Francesco Vaccarino

We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty…

Group Theory · Mathematics 2015-08-27 Attila Egri-Nagy , Chrystopher L. Nehaniv

When we focus on finite dynamical systems from both the computability/complexity and the modelling standpoints, automata networks seem to be a particularly appropriate mathematical model on which theory shall be developed. In this paper,…

Discrete Mathematics · Computer Science 2023-04-20 Kévin Perrot , Sylvain Sené , Léah Tapin

The aim of this paper is to analyze a class of consensus algorithms with finite-time or fixed-time convergence for dynamic networks formed by agents with first-order dynamics. In particular, in the analyzed class a single evaluation of a…

The theory of finite automata concerns itself with words in a free monoid together with concatenation and without further structure. There are, however, important applications which use alphabets which are structured in some sense. We…

Formal Languages and Automata Theory · Computer Science 2026-02-11 Hugo Bazille , Uli Fahrenberg

Automata networks can be seen as bare finite dynamical systems, but their growing theory has shown the importance of the underlying communication graph of such networks. This paper tackles the question of what dynamics can be realized up to…

Computational Complexity · Computer Science 2025-11-17 Julio Aracena , Florian Bridoux , Maximilien Gadouleau , Pierre Guillon , Kévin Perrot , Adrien Richard , Guillaume Theyssier

Automata networks are a versatile model of finite discrete dynamical systems composed of interacting entities (the automata), able to embed any directed graph as a dynamics on its space of configurations (the set of vertices, representing…

Discrete Mathematics · Computer Science 2025-09-24 Aliénor Goubault-Larrecq , Kévin Perrot

Automata over infinite alphabets have emerged as a convenient computational model for processing structures involving data, such as nonces in cryptographic protocols or data values in XML documents. We introduce active learning methods for…

Formal Languages and Automata Theory · Computer Science 2026-03-27 Florian Frank , Stefan Milius , Jurriaan Rot , Henning Urbat

This paper (parts I and II) provides an expository introduction to monotone and near-monotone dynamical systems associated to biochemical networks, those whose graphs are consistent or near-consistent. Many conclusions can be drawn from…

Molecular Networks · Quantitative Biology 2007-05-23 Eduardo D. Sontag

This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node…

Dynamical Systems · Mathematics 2014-04-08 Pietro DeLellis , Mario di Bernardo , Davide Liuzza

Eilenberg's holonomy decomposition is useful to ascertain the structural properties of automata. Using this method, Egri-Nagy and Nehaniv characterized the absence of certain types of cycles in automata. In the direction of studying the…

Formal Languages and Automata Theory · Computer Science 2013-06-12 Shubh Narayan Singh , K. V. Krishna