Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1303.4652 · Physical Review A

Causal fermions in discrete space-time

Terry Farrelly, Anthony J. Short

Published Jan 3, 2014• 31 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physreva.89.012302

Related papers

Insights from Quantum Information into Fundamental Physics

Terry Farrelly

This thesis is split into two parts, which are united in the sense that they involve applying ideas from quantum information to fundamental physics. The first part is focused on examining discrete-time models in quantum computation (discrete-time quantum walks and quantum cellular automata) as discretized models of relativistic systems. One of the results here is a theorem demonstrating that a large class of discrete-time quantum walks have relativistic dynamics in the continuum limit. Additionally, the problem of fermion doubling for these models is investigated, and it is seen that the problem can be circumvented in two dimensional space. This was already known for one dimensional systems. Another result involves taking the limits of causal free field theories in discrete spacetime to recover continuum field theories, something that is not straightforward because of the nontrivial nature of the vacuum in quantum field theory. Additionally, it is shown that general systems of fermions evolving causally in discrete spacetime can be represented by quantum cellular automata, which makes them efficiently simulable by quantum computers. A related result is that quantum cellular automata composed of fermions are equivalent to regular quantum cellular automata. In the second part of this thesis, the focus is on the foundations of statistical physics. The main result of this part is a general bound on the time it takes a quantum system to effectively reach equilibrium. The discussion also includes a practical definition of equilibration that takes our measurement capabilities into account. Finally, the nature of the equilibrium state is also discussed, with a focus on initial state independence, which relates to the important question of when the equilibrium state is a Gibbs state.

arXiv:1708.08897•Aug 29, 2017•10 citations

Quantum causal graph dynamics

Pablo J. Arrighi, Simon Martiel

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.

arXiv:1607.06700•Physical review. D/Physical review. D.•Jul 18, 2017•27 citations

An overview of Quantum Cellular Automata

Pablo J. Arrighi

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.

arXiv:1904.12956•Apr 29, 2019•2 citations

Does causal dynamics imply local interactions?

Zoltán Zimborás, Terry Farrelly, Szilárd Farkas +1 more

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.

arXiv:2006.10707•Quantum•Jun 29, 2022•11 citations

The Dirac equation as a quantum walk: higher dimensions, observational convergence

Pablo J. Arrighi, Vincent Nesme, Marcelo Forets

The Dirac equation can be modelled as a quantum walk (QW), whose main features are being: discrete in time and space (i.e. a unitary evolution of the wave-function of a particle on a lattice); homogeneous (i.e. translation-invariant and time-independent) and causal (i.e. information propagates at a bounded speed, in a strict sense). This link, which was proposed already by Succi and Benzi, Bialynicki-Birula and Meyer, is shown to hold for Bargmann–Wigner equations and symmetric hyperbolic systems in general. We then analytically prove the convergence of the solution of the QW to the solution of the Cauchy problem for the Dirac equation. We do so by adapting a powerful method from standard numerical analysis, which is of general interest to the field of quantum simulation. At the practical level, this result provides precise error bounds and convergence rates, thereby validating the QW as a quantum simulation scheme. At the theoretical level, it reinforces the status of this QW as a simple, discrete toy model of relativistic particles.

arXiv:1307.3524•Journal of Physics A Mathematical and Theoretical•Nov 4, 2014•89 citations

A quantum walk with both a continuous-time and a continuous-spacetime limit

Giuseppe Di Molfetta, Pablo J. Arrighi

Nowadays, quantum simulation schemes come in two flavours. Either they are continuous-time discrete-space models (a.k.a Hamiltonian-based), pertaining to non-relativistic quantum mechanics. Or they are discrete-spacetime models (a.k.a Quantum Walks or Quantum Cellular Automata-based) enjoying a relativistic continuous spacetime limit. We provide a first example of a quantum simulation scheme that unifies both approaches. The proposed scheme supports both a continuous-time discrete-space limit, leading to lattice fermions, and a continuous-spacetime limit, leading to the Dirac equation. The transition between the two can be thought of as a general relativistic change of coordinates, pushed to an extreme. As an emergent by-product of this procedure, we obtain a Hamiltonian for lattice-fermions in curved spacetime with synchronous coordinates.

arXiv:1906.04483•Jun 11, 2019•5 citations
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.
This thesis is split into two parts, which are united in the sense that they involve applying ideas from quantum information to fundamental physics. The first part is focused on examining discrete-time models in quantum computation (discrete-time quantum walks and quantum cellular automata) as discretized models of relativistic systems. One of the results here is a theorem demonstrating that a large class of discrete-time quantum walks have relativistic dynamics in the continuum limit. Additionally, the problem of fermion doubling for these models is investigated, and it is seen that the problem can be circumvented in two dimensional space. This was already known for one dimensional systems. Another result involves taking the limits of causal free field theories in discrete spacetime to recover continuum field theories, something that is not straightforward because of the nontrivial nature of the vacuum in quantum field theory. Additionally, it is shown that general systems of fermions evolving causally in discrete spacetime can be represented by quantum cellular automata, which makes them efficiently simulable by quantum computers. A related result is that quantum cellular automata composed of fermions are equivalent to regular quantum cellular automata. In the second part of this thesis, the focus is on the foundations of statistical physics. The main result of this part is a general bound on the time it takes a quantum system to effectively reach equilibrium. The discussion also includes a practical definition of equilibration that takes our measurement capabilities into account. Finally, the nature of the equilibrium state is also discussed, with a focus on initial state independence, which relates to the important question of when the equilibrium state is a Gibbs state.
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.
The Dirac equation can be modelled as a quantum walk (QW), whose main features are being: discrete in time and space (i.e. a unitary evolution of the wave-function of a particle on a lattice); homogeneous (i.e. translation-invariant and time-independent) and causal (i.e. information propagates at a bounded speed, in a strict sense). This link, which was proposed already by Succi and Benzi, Bialynicki-Birula and Meyer, is shown to hold for Bargmann–Wigner equations and symmetric hyperbolic systems in general. We then analytically prove the convergence of the solution of the QW to the solution of the Cauchy problem for the Dirac equation. We do so by adapting a powerful method from standard numerical analysis, which is of general interest to the field of quantum simulation. At the practical level, this result provides precise error bounds and convergence rates, thereby validating the QW as a quantum simulation scheme. At the theoretical level, it reinforces the status of this QW as a simple, discrete toy model of relativistic particles.
Nowadays, quantum simulation schemes come in two flavours. Either they are continuous-time discrete-space models (a.k.a Hamiltonian-based), pertaining to non-relativistic quantum mechanics. Or they are discrete-spacetime models (a.k.a Quantum Walks or Quantum Cellular Automata-based) enjoying a relativistic continuous spacetime limit. We provide a first example of a quantum simulation scheme that unifies both approaches. The proposed scheme supports both a continuous-time discrete-space limit, leading to lattice fermions, and a continuous-spacetime limit, leading to the Dirac equation. The transition between the two can be thought of as a general relativistic change of coordinates, pushed to an extreme. As an emergent by-product of this procedure, we obtain a Hamiltonian for lattice-fermions in curved spacetime with synchronous coordinates.