5 papers · 1 filter
Size-varying reversible causal graph dynamics
Pablo Arrighi, Amélia Durbec, Aurélien Emmanuel
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, bein…
Graph subshifts
Pablo Arrighi, Amélia Durbec, Pierre Guillon
We propose a definition of graph subshifts of finite type that can be seen as extending both the notions of subshifts of finite type from classical symbolic dynamics and finitely p…
Space-time reversible graph rewriting
Pablo Arrighi, Marin Costes, Luidnel Maignan
In the mathematical tradition, reversibility requires that the evolution of a dynamical system be a bijective function. In the context of graph rewriting, however, the evolution is…
Space-time deterministic graph rewriting
Pablo Arrighi, Marin Costes, Gilles Dowek +1
We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. O…
Time arrow without past hypothesis: a toy model explanation
Pablo Arrighi, Gilles Dowek, Amélia Durbec
The laws of Physics are time-reversible, making no qualitative distinction between the past and the future -- yet we can only go towards the future. This apparent contradiction is…