Cellular automata over generalized Cayley graphs

  title={Cellular automata over generalized Cayley graphs},
  author={Pablo Arrighi and Simon Martiel and Vincent Nesme},
  journal={Mathematical Structures in Computer Science},
  pages={340 - 383}
It is well-known that cellular automata can be characterized as the set of translation-invariant continuous functions over a compact metric space; this point of view makes it easy to extend their definition from grids to Cayley graphs. Cayley graphs have a number of useful features: the ability to graphically represent finitely generated group elements and their relations; to name all vertices relative to an origin; and the fact that they have a well-defined notion of translation. We propose a… Expand
Causal dynamics of discrete manifolds
This work formalizes, and proves theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same. Expand
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
  • Pablo Arrighi, Simon Martiel, Simon Perdrix
  • Computer Science
  • Natural Computing
  • 2019
Causal Graph Dynamics extends Cellular Automata to arbitrary time-varying graphs of bounded degree by proving that the inverse of a causal graph dynamics is a causalGraph dynamics, and that these reversible graph dynamics can be represented as finite-depth circuits of local reversible gates. Expand
Dynamical Triangulation Induced by Quantum Walk
Numerical simulations show that the number of triangles and the local curvature grow as $\alpha$ and $\beta$ parametrize the way geometry changes upon the local density of the walker, and that, in the long run, flatness emerges. Expand
Reversibility vs local creation/destruction
This paper obtains reversible local node creation/destruction—in three relaxed settings, whose equivalence the authors prove for robustness, both by theoretical computer science considerations and theoretical physics concerns. Expand
Accretive Computation of Global Transformations of Graphs
An algorithm is presented which computes online the global transformation of a finite graph in an accretive manner and a local criterion is given for a rule system to extend to a graph global transformation. Expand
D C ] 1 7 M ar 2 02 1 Accretive Computation of Global Transformations of Graphs
The framework of global transformations aims at describing synchronous rewriting systems on a given data structure. In this work we focus on the data structure of graphs. Global transformations ofExpand
Accretive Computation of Global Transformations
Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure. In this work we focus on data structures thatExpand
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
This work gives category-theoretic axioms describing locally deterministic updates to finite objects describing what properties such a category should have and shows that every updating functor satisfying the authors' conditions is computable. Expand
Lindenmayer Systems and Global Transformations
Global transformations, a category-based formalism for capturing computing models which are simultaneously local, synchronous and deterministic, are introduced through the perspective ofExpand


Simulations Between Cellular Automata on Cayley Graphs
It is shown that cellular automata on any planar, modular graph are equivalent to cellular automaton on the grid Z2, and interpreted in terms of planar parallel machines. Expand
Causal graph dynamics
The theory of cellular automata is extended to arbitrary, time-varying graphs and the intuitive idea of a labelled graph which evolves in time is formalised - but under the natural constraint that information can only ever be transmitted at a bounded speed, with respect to the distance given by the graph. Expand
Hyperbolic Recognition by Graph Automata
Graph automata were first introduced by P. Rosenstiehl under the name of intelligent graphs, surely because a network of finite automata is able to know some properties about its own structure, and this hypothesis seems to be absolutely essential for the modelisation of the physical reality. Expand
Graph-Rewriting Automata as a Natural Extension of Cellular Automata
We introduce a framework called graph-rewriting automata to model evo- lution processes of networks. It is a natural extension of cellular automata in the sense that a fixed lattice space of cellularExpand
Reversible quantum cellular automata
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagationExpand
Graph automata: natural expression of self-reproduction
Abstract A variety of models of self-reproduction process have been proposed since von Neumann initiated this field with his self-reproducing automata. Almost all of them are described within theExpand
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations
It is shown that QCA always admit a two-layered block representation, and hence the inverse QCA is again a QCA, a striking result since the property does not hold for classical one-dimensional cellular automata as defined over such finite configurations. Expand
An Intrinsically Universal Family of Causal Graph Dynamics
This work presents an intrinsically universal family of Causal Graph Dynamics, and gives insight on why it seems impossible to improve this result to the existence of a unique intrinsically universal instance. Expand
Cellular Automata and Groups
Theorem: Finitely Generated Amenable Groups + Local Embeddability and Sofic Groups + Uniform Structures + Complements of Functional Analysis + Ultrafilters = 6. Expand
Relational Growth Grammars - A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure
Relational growth grammars (RGG) are a graph rewriting formalism which extends the notations and semantics of Lindenmayer systems and which allows the specification of dynamical processes onExpand