Fermion Doubling in Dirac Quantum Walks
Chaitanya Gupta, Anthony J. Short
TL;DR
The paper investigates fermion doubling and pseudo-doubling in Dirac quantum walks (QWs) and their second-quantized quantum cellular automata (QCAs). It introduces a parametrized family of Dirac walks in $1+1$-D and $3+1$-D that allows a nonzero on-site stay probability and uses projection-based constructions with a tunable angle $\theta$ to suppress doublers while preserving the Dirac continuum limit. In the $1+1$-D case, for $\theta \neq 0$ the model yields Dirac dynamics with no doublers or pseudo-doublers; in $3+1$-D, appropriate choices of $\theta$ can eliminate both, though some extraneous low-energy modes remain. The work further discusses second-quantized QCAs, gauge-invariant extensions to the Schwinger model, and the implications for interacting quantum simulations and vacuum stability, highlighting potential avenues for scattering calculations and higher-dimensional generalizations.
Abstract
We consider discrete spacetime models known as quantum walks, which can be used to simulate Dirac particles. In particular we look at fermion doubling in these models, in which high momentum states yield additional low energy solutions which behave like Dirac particles. The presence of doublers carries over to the `second quantised' version of the walks represented by quantum cellular automata, which may lead to spurious solutions when introducing interactions. Moreover, we also consider pseudo-doublers, which have high energy but behave like low energy Dirac particles, and cause potential problems regarding the stability of the vacuum. To address these issues, we propose a family of quantum walks, that are free of these doublers and pseudo-doublers, but still simulate the Dirac equation in the continuum limit. However, there remain a small number of additional low energy solutions which do not directly correspond to Dirac particles. While the conventional Dirac walk always has a zero probability for the walker staying at the same point, we obtain the family of walks by allowing this probability to be non-zero.
