This work provides a relativistic, digital quantum simulation scheme for both 2 + 1 and 3 + 1 dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step Δ t = Δ x . Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.
This work provides a relativistic, digital quantum simulation scheme for both 2 + 1 and 3 + 1 dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step Δ t = Δ x . Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.
Non-abelian quantum cellular automata: 1+1-dimensional SU(2) Yang--Mills with fermions
This work provides a digital quantum simulation scheme for 1+1-dimensional SU(2) Yang--Mills theory with Dirac fermions. It takes the form of a quantum circuit, infinitely repeating across space and time with Δt=Δx=ε, whose wires follow lightlike propagation. The construction mirrors the logic of the standard quantum field theory approach, transposed to the discrete setting. Namely, we start from the Dirac quantum walk, restore SU(2) gauge symmetry by introducing the gauge field, lift the walk to a multi-particle QCA while preserving fermionic anticommutation, and equip the gauge field with its own dynamics. Rather than relying on Clebsch--Gordan decompositions, we use the pointwise-product structure of gauge-link updates, which yields self-contained proofs of unitarity and gauge covariance in quantum-computing notation. The construction provides an explicit algorithmic formulation of the theory, whose continuum limit we discuss.
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.
A family of discrete-time quantum walks (DTQWs) on the line with an exact discrete U(N) gauge invariance is introduced. It is shown that the continuous limit of these DTQWs, when it exists, coincides with the dynamics of a Dirac fermion coupled to usual U(N) gauge fields in two-dimensional spacetime. A discrete generalization of the usual U(N) curvature is also constructed. An alternate interpretation of these results in terms of superimposed U(1) Maxwell fields and SU(N) gauge fields is discussed in the Appendix. Numerical simulations are also presented, which explore the convergence of the DTQWs towards their continuous limit and which also compare the DTQWs with classical (i.e., nonquantum) motions in classical SU(2) fields. The results presented in this paper constitute a first step towards quantum simulations of generic Yang-Mills gauge theories through DTQWs.
A particular example is produced to prove that quantum walks can be used to simulate full-fledged discrete gauge theories. A new family of 2D walks is introduced and its continuous limit is shown to coincide with the dynamics of a Dirac fermion coupled to arbitrary electromagnetic fields. The electromagnetic interpretation is extended beyond the continuous limit by proving that these DTQWs exhibit an exact discrete local U(1) gauge invariance and possess a discrete gauge-invariant conserved current. A discrete gauge-invariant electromagnetic field is also constructed and that field is coupled to the conserved current by a discrete generalization of Maxwell equations. The dynamics of the DTQWs under crossed electric and magnetic fields is finally explored outside the continuous limit by numerical simulations. Bloch oscillations and the so-called E×B drift are recovered in the weak-field limit. Localization is observed for some values of the gauge fields.
A particular example is produced to prove that quantum walks can be used to simulate full-fledged discrete gauge theories. A family of two-dimensional walks is introduced and its continuous limit is shown to coincide with the dynamics of a Dirac fermion coupled to arbitrary electromagnetic fields. The electromagnetic interpretation is extended beyond the continuous limit by proving that these discrete-time quantum walks (DTQWs) exhibit an exact discrete local U(1) gauge invariance and possess a discrete gauge-invariant conserved current. A discrete gauge-invariant electromagnetic field is also constructed and that field is coupled to the conserved current by a discrete generalization of Maxwell equations. The dynamics of the DTQWs under crossed electric and magnetic fields is finally explored outside the continuous limit by numerical simulations. Bloch oscillations and the so-called $\mathbf{E}\ifmmode\times\else\texttimes\fi{}\mathbf{B}$ drift are recovered in the weak-field limit. Localization is observed for some values of the gauge fields.
A quantum computer, i.e. utilizing the resources of quantum physics, superposition of states and entanglement, could furnish an exponential gain in computing time. A simulation using such resources is called a quantum simulation. The advantage of quantum simulations over classical ones is well established at the theoretical, i.e. software level. Their practical benefit requires their implementation on a quantum hardware. The quantum computer, i.e. the universal one (see below), has not seen the light of day yet, but the efforts in this direction are both growing and diverse. Also, quantum simulation has already been illustrated by numerous experimental proofs of principle, thanks too small-size and specific-task quantum computers or simulators. Quantum walks are particularly-studied quantum-simulation schemes, being elementary bricks to conceive any quantum algorithm, i.e. to achieve so-called universal quantum computation. The present thesis is a step more towards a simulation of quantum field theories based on discrete-time quantum walks (DTQWs). Indeed, it is shown, in certain cases, how DTQWs can simulate, in the continuum, the action of Yang-Mills gauge fields on fermionic matter, and the retroaction of the latter on the gauge-field dynamics. The suggested schemes preserve gauge invariance on the spacetime lattice, i.e. not only in the continuum. In the (1+2)-dimensional Abelian case, consistent lattice equivalents to both Maxwell's equations and the current conservation are suggested. In the (1+1)-dimensional non-Abelian case, a lattice version of the non-Abelian field strength is suggested. Moreover, it is shown how this fermionic matter based on DTQWs can be coupled to relativistic gravitational fields of the continuum, i.e. to curved spacetimes, in 1+2 dimensions.