Abstract: We show that the Dirac quantum cellular automaton [A. Bisio, G. M. D'Ariano, and A. Tosini, Ann. Phys. (N. Y.) 354, 244 (2015)] shares many properties in common with the discrete-time quantum walk. These similarities can be exploited to study the automaton as a unitary process that takes place at regular time steps on a one-dimensional lattice, in the spirit of general quantum cellular automata. In this way, it becomes an alternative to the quantum walk, with a dispersion relation that can be controlled by a parameter that plays a similar role to the coin angle in the quantum walk. The Dirac Hamiltonian is recovered under a suitable limit. We provide two independent analytical approximations to the long-term probability distribution. It is shown that, starting from localized conditions, the asymptotic value of the entropy of entanglement between internal and motional degrees of freedom overcomes the known limit that is approached by the quantum walk for the same initial conditions and is similar to the ones achieved by highly localized states of the Dirac equation.

Abstract: We consider the two-dimensional alternate quantum walk on a cylinder. We concentrate on the study of the motion along the open dimension, in the spirit of looking at the closed coordinate as a small or “hidden” extra dimension. If one starts from localized initial conditions on the lattice, the dynamics of the quantum walk that is obtained after tracing out the small dimension shows the contribution of several components which can be understood from the study of the dispersion relations for this problem. In fact, these components originate from the contribution of the possible values of the quasimomentum in the closed dimension. In the continuous space-time limit, the different components manifest as a set of Dirac equations, with each quasimomentum providing the value of the corresponding mass. We briefly discuss the possible link of these ideas to the simulation of high-energy physical theories that include extra dimensions. Finally, entanglement between the coin and spatial degrees of freedom is studied, showing that the entanglement entropy clearly overcomes the value reached with only one spatial dimension.

Abstract: A discrete-time quantum walk (QW) is essentially an operator driving the evolution of a single particle on the lattice, through local unitaries. Some QWs admit a continuum limit, leading to well-known physics partial differential equations, such as the Dirac equation. We show that these simulation results need not rely on the grid: the Dirac equation in (2 + 1) dimensions can also be simulated, through local unitaries, on the honeycomb or the triangular lattice, both of interest in the study of quantum propagation on the nonrectangular grids, as in graphene-like materials. The latter, in particular, we argue, opens the door for a generalization of the Dirac equation to arbitrary discrete surfaces.

Abstract: It is shown that discrete-time quantum walks can be used to digitize, i.e., to time discretize fermionic models of continuous-time lattice gauge theory. The resulting discrete-time dynamics is thus not only manifestly unitary, but also ultralocal, i.e., the particle's speed is upper bounded, as in standard relativistic quantum field theories. The lattice chiral symmetry of staggered fermions, which corresponds to a translational invariance, is lost after the requirement of ultralocality of the evolution; this fact is an instance of Meyer's 1996 no-go results stating that no nontrivial scalar quantum cellular automaton can be translationally invariant [D. A. Meyer, J. Stat. Phys. 85, 551 (1996); Phys. Lett. A 223, 337 (1996)]. All results are presented in a single-particle framework and for a (1+1)-dimensional space-time.

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).