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 speed, with respect to the distance given by the graph. Suppose, moreover, that the graph itself is subject to the evolution, and may be driven to be in a quantum superposition of graphs---in accordance to the superposition principle. We show that these unitary causal operators must decompose as a finite-depth circuit of local unitary gates. This unifies a result on quantum cellular automata with another on reversible causal graph dynamics. Along the way we formalize a notion of causality which is valid in the context of quantum superpositions of time-varying graphs, and has a number of good properties. We discuss some of the implications for quantum gravity.
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 speed, with respect to the distance given by the graph. Suppose, moreover, that the graph itself is subject to the evolution, and may be driven to be in a quantum superposition of graphs---in accordance to the superposition principle. We show that these unitary causal operators must decompose as a finite-depth circuit of local unitary gates. This unifies a result on quantum cellular automata with another on reversible causal graph dynamics. Along the way we formalize a notion of causality which is valid in the context of quantum superpositions of time-varying graphs, and has a number of good properties. We discuss some of the implications for quantum gravity.
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 information at a bounded speed) and translation-invariant (it acts everywhere the same). Quantum cellular automata provide a model/architecture for distributed quantum computation. More generally, they encompass most of discrete-space discrete-time quantum theory. We give an overview of their theory, with particular focus on structure results; computability and universality results; and quantum simulation results.
We consider quantum systems with causal dynamics in discrete spacetimes, also known as quantum cellular automata (QCA). Due to time-discreteness this type of dynamics is not characterized by a Hamiltonian but by a one-time-step unitary. This can be written as the exponential of a Hamiltonian but in a highly non-unique way. We ask if any of the Hamiltonians generating a QCA unitary is local in some sense, and we obtain two very different answers. On one hand, we present an example of QCA for which all generating Hamiltonians are fully non-local, in the sense that interactions do not decay with the distance. We expect this result to have relevant consequences for the classification of topological phases in Floquet systems, given that this relies on the effective Hamiltonian. On the other hand, we show that all one-dimensional quasi-free fermionic QCAs have quasi-local generating Hamiltonians, with interactions decaying exponentially in the massive case and algebraically in the critical case. We also prove that some integrable systems do not have local, quasi-local nor low-weight constants of motion; a result that challenges the standard definition of integrability.
In this paper, we consider fermionic systems in discrete space-time evolving with a strict notion of causality, meaning they evolve unitarily and with a bounded propagation speed. First, we show that the evolution of these systems has a natural decomposition into a product of local unitaries, which also holds if we include bosons. Next, we show that causal evolution of fermions in discrete space-time can also be viewed as the causal evolution of a lattice of qubits, meaning these systems can be viewed as quantum cellular automata. Following this, we discuss some examples of causal fermionic models in discrete space-time that become interesting physical systems in the continuum limit: Dirac fermions in one and three spatial dimensions, Dirac fields, and briefly the Thirring model. Finally, we show that the dynamics of causal fermions in discrete space-time can be efficiently simulated on a quantum computer.
The formulation of quantum measurements compatible with relativistic causality is obstructed by the tension between the locality of observable algebras and the dynamical state transformations induced by measurement processes. We develop a local measurement theory for quantum cellular automata, lattices of finite-dimensional quantum systems with a causal reversible dynamics evolving in discrete time steps. Measurement processes are described by localized completely positive maps and organized into operational measurement protocols, finite non-adaptive sequences of local instruments distributed across the causal cone induced by the automaton local dynamics. Each protocol induces an effective measurement on the initial time slice, whose support is constrained by the causal structure generated by the automaton. Non-local measurement effects therefore arise through causal propagation and composition of local operations, rather than from primitive non-local interventions or instantaneous collapse prescriptions. We establish the corresponding spatial support bounds and characterize the resulting measurement architecture. As an explicit example, we construct a two-step protocol for a one-dimensional nearest-neighbour qubit automaton which, for suitable automaton parameters, realizes a Bell-basis projective measurement on two neighbouring sites after coarse-graining of the local outcomes. Away from this point, the same protocol generates a continuous family of deformed Bell measurements whose entanglement and stabilizer Rényi non-classicality can be quantified explicitly. The framework thus provides a causally consistent operator-algebraic mechanism for synthesizing spatially extended quantum measurements from strictly local operations.
A quantum cellular automaton (QCA) is a unitary discrete-time evolution of a quantum many-body system, which can be described as a dynamics system , where A is any matrix and is a unitary operator representing the global evolution of QCA. And QCAs are characterized by locality (or causality). Among them, quantum circuits are the special classes of QCAs, which use unitary operators to control and transform the initial quantum state of qubit into a final quantum state, quantum circuits are special and widely studied in quantum information. A group is a set of elements combined with an operation, which satisfies associativity, identity and invertibility. This article shows that group theory provides the right language for studying the relation between QCAs and quantum circuits among them.
This work develops a graph-theoretic and process-based foundation for indefinite causal order in quantum theory, demonstrating that causal indefiniteness is not an ad hoc or exotic phenomenon but an emergent structural property of quantum dynamics when the primitive unit of evolution is taken to be the П-такт (P-Tact) — a discrete quantum process composed of local unitary superposition and entangling unitary interaction. Building upon a sequence of previously published foundational works, this paper formulates indefinite causal order as a superposition of quantum process graphs, where each graph encodes a definite causal structure, and the quantum state corresponds to a coherent superposition over such graphs. Within this framework, causal order is not fundamental but arises only in coarse-grained or classical limits. We show that: Indefinite causal order naturally emerges from the superposition of process graphs, without invoking external control systems or higher-order operations. The quantum switch is reinterpreted as a special finite realization of a more general graph-superposition principle. Time and causality emerge as effective parameters in the infinite-graph (continuum) limit of discrete П-такт dynamics. The graph-theoretic formulation is fully compatible with — and structurally supports — the Everettian (Many-Worlds) interpretation, where branching corresponds to graph bifurcations rather than wavefunction collapse. Classical spacetime causality appears as a macroscopic ordering imposed on an underlying non-causal quantum substrate. This approach unifies quantum information, indefinite causal order, emergent temporality, and Everettian branching within a single formal framework based on discrete process units and their graph composition. The results close several open conceptual gaps in the interpretation of quantum switches, process matrices, and non-classical causal structures, offering a consistent ontology grounded in quantum dynamics itself. This paper directly builds upon and extends the following foundational works: Pavlov, M. (2026). Quantum Switch as an Emergent Process Structure from Discrete Process Tacts (П-такт). Zenodo.https://doi.org/10.5281/zenodo.18498181 Pavlov, M. (2026). Quantum Switch and Teleportation. Zenodo.https://doi.org/10.5281/zenodo.18509173 Pavlov, M. (2026). Emergence of Causality, Gravity, Time, and Three-Dimensional Space from Discrete P-Tact (П-такт) Dynamics. Zenodo.https://doi.org/10.5281/zenodo.18504244 Pavlov, M. (2026). P-Tact (П-такт) as the Primitive Unit of Quantum Theory. Zenodo.https://doi.org/10.5281/zenodo.18516711 Together, these works establish a coherent program aimed at demonstrating the universality of quantum mechanics, the absence of fundamental collapse, and the emergence of spacetime and causality from discrete quantum process dynamics.