English
Related papers

Related papers: Reversible Causal Graph Dynamics

200 papers

We extend the theory of Cellular Automata to arbitrary, time-varying graphs. In other words we formalize, and prove theorems about, the intuitive idea of a labelled graph which evolves in time - but under the natural constraint that…

Discrete Mathematics · Computer Science 2012-05-09 Pablo Arrighi , Gilles Dowek

Consider a graph having quantum systems lying at each node. Suppose that the whole thing evolves in discrete time steps, according to a global, unitary causal operator. By causal we mean that information can only propagate at a bounded…

Discrete Mathematics · Computer Science 2021-11-04 Pablo Arrighi , Simon Martiel

Causal Graph Dynamics generalize Cellular Automata, extending them to bounded degree, time varying graphs. The dynamics rewrite the graph at each time step with respect to two physics-like symmetries: causality (bounded speed of…

Discrete Mathematics · Computer Science 2016-02-04 Simon Martiel , Bruno Martin

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 a point; and the fact that they have a well-defined notion of…

Discrete Mathematics · Computer Science 2014-05-22 Pablo Arrighi , Simon Martiel , Vincent Nesme

We extend Cellular Automata to time-varying discrete geometries. In other words we formalize, and prove theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does…

Discrete Mathematics · Computer Science 2018-07-17 Pablo Arrighi , Clément Chouteau , Stefano Facchini , Simon Martiel

Causal graph dynamics are transformations over graphs that capture two important symmetries of physics, namely causality and homogeneity. They can be equivalently defined as continuous and translation invariant transformations or functions…

Discrete Mathematics · Computer Science 2013-09-06 Simon Martiel , Bruno Martin

A cellular automata approach using a Directed Cyclic Graph is used to model interrelationships of fluctuating time, state and space. This model predicts phenomena including a constant and maximum speed at which any moving entity can travel,…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Daniel Brown

This paper studies directional dynamics in cellular automata, a formalism previously introduced by the third author. The central idea is to study the dynamical behaviour of a cellular automaton through the conjoint action of its global rule…

Discrete Mathematics · Computer Science 2010-08-23 Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier

Cellular automata (CA) consist of an array of identical cells, each of which may take one of a finite number of possible states. The entire array evolves in discrete time steps by iterating a global evolution G. Further, this global…

Discrete Mathematics · Computer Science 2015-03-18 Pablo Arrighi , Renan Fargetton , Vincent Nesme , Eric Thierry

We consider a graph with a single quantum system at each node. The entire compound system evolves in discrete time steps by iterating a global evolution $U$. We require that this global evolution $U$ be unitary, in accordance with quantum…

Quantum Physics · Physics 2017-08-29 Pablo Arrighi , Vincent Nesme , Reinhard Werner

We introduce and study cellular automata whose cell spaces are left-homogeneous spaces. Examples of left-homogeneous spaces are spheres, Euclidean spaces, as well as hyperbolic spaces acted on by isometries; uniform tilings acted on by…

Group Theory · Mathematics 2017-06-27 Simon Wacker

The theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite…

Quantum Physics · Physics 2021-07-09 Paolo Perinotti

Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward time directions. This notion, found in physical theories, has…

Discrete Mathematics · Computer Science 2010-12-08 Andrés Moreira , Anahi Gajardo

Reversible Cellular Automata (RCA) are a physics-like model of computation consisting of an array of identical cells, evolving in discrete time steps by iterating a global evolution G. Further, G is required to be shift-invariant (it acts…

Discrete Mathematics · Computer Science 2012-01-27 Pablo Arrighi , Vincent Nesme

Gauge-invariance is a fundamental concept in physics---known to provide the mathematical justification for all four fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts, directly in…

Formal Languages and Automata Theory · Computer Science 2018-07-03 Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon

One-dimensional cellular automata are discrete dynamical systems that operate on an infinite lattice of sites and are characterized by the locality and uniformity of their update rule. Permutations of the state set and isometric…

Cellular Automata and Lattice Gases · Physics 2025-12-10 Martin Schaller , Karl Svozil

Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates…

Quantum Physics · Physics 2019-09-09 Pablo Arrighi

Finite cellular automata (FCA) are widely used in simulating nonlinear complex systems, and their reversibility is closely related to information loss during the evolution. However, only a relatively small portion of their reversibility…

Cellular Automata and Lattice Gases · Physics 2024-11-04 Chen Wang , Junchi Ma , Chao Wang , Defu Lin , Weilin Chen

Consider a network that evolves according to a reversible, nearest neighbours dynamics. Is the dynamics allowed to vary the size of the network? On the one hand it seems that, being the principal carriers of information, nodes cannot be…

Discrete Mathematics · Computer Science 2025-06-23 Pablo Arrighi , Amélia Durbec , Aurélien Emmanuel

Cellular automata (CA) are discrete-time dynamical systems with local update rules on a lattice. Despite their elementary definition, CA support a wide spectrum of macroscopic phenomena central to statistical physics: equilibrium and…

Statistical Mechanics · Physics 2026-03-31 Mihir Metkar , Neha Sah , Yichen Zhou
‹ Prev 1 2 3 10 Next ›