Abstract: 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.

Abstract: Bloch oscillations appear when an electric field is superimposed on a quantum particle that evolves on a lattice with a tight-binding Hamiltonian (TBH), i.e., evolves via what we call an electric TBH; this phenomenon will be referred to as TBH Bloch oscillations. A similar phenomenon is known to show up in so-called electric discrete-time quantum walks (DQWs) [C. Cedzich et al., Phys. Rev. Lett. 111, 160601 (2013);] this phenomenon will be referred to as DQW Bloch oscillations. This similarity is particularly salient when the electric field of the DQW is weak. For a wide, i.e., spatially extended, initial condition, one numerically observes semiclassical oscillations, i.e., oscillations of a localized particle, for both the electric TBH and the electric DQW. More precisely, the numerical simulations strongly suggest that the semiclassical DQW Bloch oscillations correspond to two counterpropagating semiclassical TBH Bloch oscillations. In this work it is shown that, under certain assumptions, the solution of the electric DQW for a weak electric field and a wide initial condition is well approximated by the superposition of two continuous-time expressions, which are counterpropagating solutions of an electric TBH whose hopping amplitude is the cosine of the arbitrary coin-operator mixing angle. In contrast, if one wishes the continuous-time approximation to hold for spatially localized initial conditions, one needs at least the DQW to be lazy, as suggested by numerical simulations and by the fact that this has been proven in the case of a vanishing electric field [F. W. Strauch, Phys. Rev. A 74, 030301(R) (2006)].

Abstract: A quantum walk (QW) simulating the flat (1+2)D Dirac equation on a spatial polar grid is constructed. Because fermions are represented by spinors, which do not constitute a representation of the rotation group SO(3), but rather of its double cover SU(2), the QW can only be defined globally on an extended spacetime where the polar angle extends from 0 to 4 pi. The coupling of the QW with arbitrary electromagnetic fields is also presented. Finally, the cylindrical relativistic Landau levels of the Dirac equation are computed explicitly and simulated by the QW.

Abstract: The aim of this paper is to build quantum circuits that implement discrete-time quantum walks having an arbitrary position-dependent coin operator. The position of the walker is encoded in base 2: with n wires, each corresponding to one qubit, we encode 2(n) position states. The data necessary to define an arbitrary position-dependent coin operator is therefore exponential in n. Hence, the exponentiality will necessarily appear somewhere in our circuits. We first propose a circuit implementing the position-dependent coin operator, that is naive, in the sense that it has exponential depth and implements sequentially all appropriate position-dependent coin operators. We then propose a circuit that “transfers” all the depth into ancillae, yielding a final depth that is linear in n at the cost of an exponential number of ancillae. Themain idea of this linear-depth circuit is to implement in parallel all coin operators at the different positions. Reducing the depth exponentially at the cost of having an exponential number of ancillae is a goal which has already been achieved for the problem of loading classical data on a quantum circuit (Araujo in Sci Rep 11:6329, 2021) (notice that such a circuit can be used to load the initial state of the walker). Here, we achieve this goal for the problem of applying a position-dependent coin operator in a discrete-time quantum walk. Finally, we extend the result of Welch (New J Phys 16:033040, 2014) from position-dependent unitaries which are diagonal in the position basis to position-dependent 2 x 2-block-diagonal unitaries: indeed, we show that for a position dependence of the coin operator (the block-diagonal unitary) which is smooth enough, one can find an efficient quantum-circuit implementation approximating the coin operator up to an error epsilon (in terms of the spectral norm), the depth and size of which scale as O(1/epsilon). A typical application of the efficient implementation would be the quantum simulation of a relativistic spin-1/2 particle on a lattice, coupled to a smooth external gauge field; notice that recently, quantum spatial-search schemes have been developed which use gauge fields as the oracle, to mark the vertex to be found (Zylberman in Entropy 23:1441, 2021), (Fredon arXiv:2210.13920). A typical application of the linear-depth circuit would be when there is spatial noise on the coin operator (and hence a non-smooth dependence in the position).