⚛️ lattice

Non-abelian quantum cellular automata: $1{+}1$ -dimensional $SU(2)$ Yang--Mills with fermions

This paper presents a digital quantum simulation scheme for $1{+}1$ -dimensional $SU(2)$ Yang--Mills theory with Dirac fermions, formulated as an infinitely repeating quantum circuit that derives gauge symmetry and dynamics from a Dirac quantum walk using a pointwise-product update structure to ensure unitarity and gauge covariance without relying on Clebsch--Gordan decompositions.

Original authors: Dogukan Bakircioglu, Pablo Arrighi

Published 2026-09-28

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Dogukan Bakircioglu, Pablo Arrighi

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The universe at its smallest scales is not a collection of solid marbles, but a seething foam of particles and forces that obey the strange rules of quantum mechanics. To describe how these particles interact, physicists rely on a framework called quantum field theory. This framework treats particles not as distinct objects, but as ripples in underlying fields that fill all of space. When these fields interact, they create the forces that hold atoms together or drive nuclear reactions. However, describing these interactions becomes incredibly difficult when the forces involved are complex and non-abelian, meaning the order in which you apply the forces matters. Calculating the behavior of such systems on a standard computer is often impossible because the number of possibilities grows so fast that it overwhelms even the most powerful supercomputers. To solve this, scientists have long dreamed of using quantum computers, which operate on the same principles as the systems they are trying to simulate, to act as a direct model of nature.

A major hurdle in this endeavor has been creating a digital blueprint for these complex interactions that a quantum computer can actually execute step-by-step. Most existing methods either break the fundamental symmetries of the universe or rely on mathematical shortcuts that are hard to verify. In a new development, researchers Dogukan Bakircioglu and Pablo Arrighi have constructed a precise, step-by-step digital simulation for a specific, complex theory known as SU(2) Yang–Mills theory with fermions. This theory describes how particles with a property called "color" interact with a force field in a simplified one-dimensional world. Their work provides the first complete, self-contained algorithm for this non-abelian gauge theory, offering a clear path for quantum computers to simulate these interactions without losing the essential rules of the physics.

The researchers began by tackling the movement of particles, known as fermions, across a grid. In a standard simulation, simply moving a particle from one point to the next often breaks the rules of the theory, specifically a property called gauge symmetry, which ensures the laws of physics look the same regardless of how you label the particles' internal states. To fix this, the team introduced a new kind of "link" between the grid points. Instead of just moving the particle, the simulation updates this link simultaneously. They designed this update using a simple mathematical structure based on multiplying values point-by-point, rather than relying on the complex, abstract sums often used in traditional physics textbooks. This choice allowed them to prove rigorously that the simulation remains perfectly balanced and follows the rules of the theory at every single step.

Once the movement of a single particle was secured, the team faced the challenge of scaling this up to many particles. In the quantum world, particles are indistinguishable and follow strict rules about how they can occupy space. The researchers showed how to take their single-particle rules and expand them to handle any number of particles without breaking the simulation's logic. They demonstrated that the complex behavior of many particles could be built from simple, local operations that a quantum computer can perform. This resulted in a complete set of instructions, or a quantum circuit, that repeats across space and time, mimicking the flow of the theory.

The final piece of the puzzle was to give the force field itself a life of its own. In this one-dimensional model, the force field is carried by the links between the grid points. The researchers added a step where these links evolve on their own, accumulating energy based on their state. They showed that this evolution respects the same symmetry rules as the particle movement. By combining the particle movement with the field's evolution, they created a full cycle of simulation that can be repeated indefinitely. They also explored what happens when the grid becomes infinitely fine, showing that their digital steps naturally smooth out to match the continuous equations physicists use to describe the real world.

This work is significant because it moves beyond abstract theory to provide a concrete, executable recipe for a quantum computer. The authors did not just suggest that such a simulation is possible; they built the specific gates and operations required to do it. They proved that their method preserves the fundamental symmetries of the theory and remains mathematically sound. While the simulation is currently limited to a one-dimensional space, which is a simplification of our three-dimensional reality, it serves as a crucial proof of concept. It demonstrates that the complex, non-abelian forces that govern the strong nuclear interaction can be tamed and simulated digitally. This opens the door for future work to extend these methods to higher dimensions and more complex theories, bringing us closer to using quantum computers to solve problems that are currently beyond the reach of classical science.

Technical Summary: Non-abelian Quantum Cellular Automata for 1+1-dimensional SU(2) Yang–Mills with Fermions

Problem Statement
Quantum Field Theories (QFTs), particularly non-abelian gauge theories like SU(2) Yang–Mills coupled to fermions, are notoriously difficult to formulate and simulate. Traditional discretization methods face significant hurdles:

Lagrangian approaches (Euclidean path integrals) suffer from the loss of Lorentzian symmetry and the "sign problem," rendering them intractable for classical Monte Carlo methods and not directly translatable to quantum algorithms.
Hamiltonian approaches (analog simulation) often treat time and space asymmetrically ( $\Delta t \ll \Delta x$ ), breaking relativistic symmetries and limiting the simulation to short-lived dynamics.
Existing Quantum Cellular Automata (QCA) have successfully modeled abelian theories (QED) and fermionic interactions, but a rigorous, unitary, and gauge-covariant QCA for non-abelian theories coupled to fermions has remained an open challenge.

Methodology
The authors propose a digital quantum simulation scheme formulated as a Quantum Cellular Automaton (QCA). The approach treats space and time on equal footing ( $\Delta t = \Delta x = \epsilon$ ) and constructs the dynamics as an infinitely repeating quantum circuit. The methodology diverges from standard QFT literature in two key ways:

Avoidance of Clebsch–Gordan Decompositions: Instead of relying on complex group-theoretic sums (Clebsch–Gordan coefficients) for the core dynamics, the construction utilizes the pointwise-product structure of gauge-link updates. This allows for self-contained, line-by-line proofs of unitarity and gauge covariance using standard quantum computing notation.
Lifting to Multi-particle Regime: The authors provide a rigorous framework to extend single-particle gates to the multi-particle sector while preserving fermionic anticommutation relations and gauge covariance, utilizing the theory of compound matrices.

Key Contributions and Results

1. Gauge-Covariant Fermionic Transfer
The central technical hurdle is ensuring that fermionic hopping commutes with local SU(2) gauge transformations.

The Problem: Standard hopping terms ( $\bar{b}^\dagger M^\dagger \bar{a}$ ) fail to be gauge-covariant because the gauge transformations at adjacent sites ( $G_x$ and $G_{x+1}$ ) do not cancel out.
The Solution: The authors promote the matrix $M$ to an operator $\hat{M}$ acting on the gauge field degrees of freedom, which reside in $L^2(SU(2))$ .
Mechanism: $\hat{M}$ is defined via the pointwise multiplication of Wigner modes (fundamental representations). Specifically, $\hat{M}$ acts as multiplication by the group element $g$ on the wavefunction.
Proof: The authors prove that under a gauge transformation $G$ , the operator transforms as $G(\hat{M}) = g_x^\dagger \hat{M} g_{x+1}$ . When combined with the transformation of fermionic operators, the inner gauge matrices cancel, restoring covariance: $G(TR) = TR$ .
Unitarity: The unitarity of the transport step is proven by showing $\hat{M}^\dagger \hat{M} = I$ and $\hat{M} \hat{M}^\dagger = I$ , relying on the property that $\det(g) = 1$ for $g \in SU(2)$ .

2. Multi-Particle Extension
To move from a single-particle Quantum Walk (QW) to a full QCA:

The authors establish that non-interacting multi-particle extensions of single-particle unitaries correspond to compound matrices (matrices of minors).
They demonstrate that the $K$ -particle sector evolution is given by the $K$ -th compound matrix of the single-particle evolution.
This structure ensures that unitarity and gauge covariance are preserved across all particle number sectors.
The resulting multi-particle operators ( $S, T, C$ ) are decomposed into local one- and two-qubit gates, making them implementable on quantum hardware.

3. Gauge Field Dynamics and Gauss Law

Electric Dynamics: In 1+1 dimensions, magnetic plaquettes do not exist. The gauge field dynamics are governed solely by the electric field energy (the quadratic Casimir operator). This is implemented via a diagonal phase gate $U_E$ acting on the link states $|jm\rangle|jn\rangle$ , applying a phase $e^{-i\theta_{YM} j(j+1)}$ .
Truncation: The authors discuss truncating the infinite-dimensional gauge link Hilbert space. They suggest a "q(p)-deformed" truncation scheme based on the periodicity of the electric phase, which naturally closes the algebra at a finite $j_{max}$ without losing unitarity (unlike naive cutoffs).
Gauss Law: The physical Hilbert space is defined by the gauge-invariant subspace where $G_x |\Psi\rangle = |\Psi\rangle$ . The authors derive the non-abelian discrete Gauss law, which constrains the color charge at a site to the adjacent link representations via Clebsch–Gordan coupling (specifically, the triangle inequality for angular momenta).

4. Continuum Limit
The paper sketches the continuum limit ( $\epsilon \to 0$ ) of the constructed QCA:

The discrete fermionic sector converges to the continuous Dirac equation coupled to a gauge field.
The discrete gauge sector converges to the standard flat connection representation.
The total Hamiltonian derived from the first-order expansion of the QCA step is:
$H = -i (\sigma_z \otimes I_2) D_x + m (\sigma_x \otimes I_2) + \int dx \frac{g_{YM}^2}{2} (\hat{E}_1^a(x))^2$
This matches the expected Hamiltonian for 1+1-dimensional SU(2) Yang–Mills theory minimally coupled to a massive Dirac fermion.

Significance and Claims
The authors claim this work provides the first QCA for an SU(2)-gauge Yang–Mills theory coupled to Dirac fermions. Its significance lies in:

Constructive Rigor: It offers an explicit, algorithmic formulation of the theory where unitarity and gauge covariance are proven constructively using quantum computing notation, avoiding the opaque reliance on Clebsch–Gordan sums found in traditional literature.
Digital Simulation: It presents a long-lived, error-correctable digital simulation scheme that respects relativistic symmetries ( $\Delta t = \Delta x$ ) unlike analog Hamiltonian approaches.
Foundational Step: It establishes the ability to model fermion-boson interactions in non-abelian theories within the QCA framework, serving as a potential numerical scheme and an alternative presentation of the theory itself.

The authors remain modest regarding the continuum limit, noting that while the first-order expansion yields the correct Hamiltonian, a rigorous convergence proof (including operator domains and topology) is left for future work. Similarly, the extension to higher dimensions (2+1, 3+1) and the handling of fermion doubling are identified as future perspectives.

Technical Summary: Non-abelian Quantum Cellular Automata for 1+1-dimensional SU(2) Yang–Mills with Fermions

More like this