6 papers
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…
A relativistic discrete spacetime formulation of 3+1 QED
Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico +1
This work provides a relativistic, digital quantum simulation scheme for both and dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation o…
Quantum networks theory
Pablo Arrighi, Amélia Durbec, Matt Wilson
The formalism of quantum theory over discrete systems is extended in two significant ways. First, quantum evolutions are generalized to act over entire network configurations, so t…
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…