A Quantum Walk (QW) simulating the flat $(1 + 2)$D Dirac Eq.\ on a spatial polar grid is constructed. Because fermions are represented by spinors, which do not constitute a representation of the rotation group, but rather of its double cover, the QW can only be defined globally on an extended spacetime where the polar angle extends from $0$ to $4 π$. The coupling of the QW with arbitrary electromagnetic fields is also presented. Finally, the cylindrical relativistic Landau levels of the Dirac Eq.\ are computed explicitly and simulated by the QW.
It is proved by a functional method that the conventional expression for the Dirac current is the only conserved 4-vector implied by the Dirac equation that is a function of just the quantum state. The demonstration is extended to derive the unique conserved currents implied by the coupled Maxwell-Dirac equations and the Klein-Gordon equation. The uniqueness of the usual Pauli and Schrodinger currents follows by regarding these as the non-relativistic limits of the Dirac and Klein-Gordon currents, respectively. The existence and properties of further conserved vectors that are not functions of…
It is shown that the hypercomplex Dirac equation describes the system of connected fields: 4-scalar, 4-pseudoscalar, 4-vector, 4-pseudo-vector and antisymmetric 4-tensor second rank field. If mass is assumed to be zero this system splits into two subsystems. Equations containing tensor, scalar and pseudoscalar fields coincide with Maxwell equations complemented by scalar and pseudoscalar fields. This system describes the electrodynamics of non-conserved charges. The scalar and pseudoscalar fields are generated only by the non-conserved charges - electric and hypothetical magnetic. The influenc…
In this paper, we present a detailed study on discrete-time Dirac quantum walks (DQWs) on triangular and honeycomb lattices. At the continuous limit, these DQWs coincide with the Dirac equation. Their differences in the discrete regime are analyzed through the dispersion relations, with special emphasis on Zitterbewegung. An extension which couples these walks to arbitrary discrete electromagnetic field is also proposed and the resulting Bloch oscillations are discussed.
Any positive-energy state of a free Dirac particle that is initially highly-localized, evolves in time by spreading at speeds close to the speed of light. This general phenomenon is explained by the fact that the Dirac evolution can be approximated arbitrarily closely by a quantum random walk, where the roles of coin and walker systems are naturally attributed to the spin and position degrees of freedom of the particle. Initially entangled and spatially localized spin-position states evolve with asymptotic two-horned distributions of the position probability, familiar from earlier studies of q…
The quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range of quantum algorithms. Here we present the circuit-based implementation of a discrete-time quantum walk in position space on a five-qubit trapped-ion quantum processor. We encode the space of walker positions in particular multi-qubit states and program the system to operate with different quantum walk parameters, experimentally realizing a Dirac cellular au…
The problem of simulating through quantum walks Dirac fermions in arbitrary curved space-times and coordinates is revisited, taking (1 + 1)D space-times as an example. A new shift or translation operator on the grid is introduced, to take into account arbitrary geometries. The new, generalised quantum walks built with this operator can simulate Dirac fermions in arbitrary curved space-times and coordinates, and their wave functions have exactly the same number of components as standard Dirac spinors, and not twice that number, as previously believed. In particular, in $(1 + 1)$D space-times, o…
A quantum walk whose continuous limit coincides with Dirac equation is usually called a Dirac Quantum Walk (DQW). A new systematic method to build DQWs coupled to electromagnetic (EM) fields is introduced and put to test on several examples of increasing difficulty. It is first used to derive the EM coupling of a well-known $3D$ walk on the cubic lattice. Recently introduced DQWs on the triangular and honeycomb lattice are then re-derived, showing for the first time that these are the only DQWs that can be defined with spinors living on the vertices of these lattices. As a third example of the…
This paper is an investigation of the class of real classical Markov processes without a birth process that will generate the Dirac equation in 1+1 dimensions. The Markov process is assumed to evolve in an extra (ordinal) time dimension. The derivation requires that occupation by the Dirac particle of a space-time lattice site is encoded in a 4 state classical probability vector. Disregarding the state occupancy, the resulting Markov process is a homogeneous and almost isotropic binary random walk in Dirac space and Dirac time (including Dirac time reversals). It then emerges that the Dirac wa…
In this paper we consider quantum walks whose evolution converges to the Dirac equation one in the limit of small wave-vectors. We show exact Fast Fourier implementation of the Dirac quantum walks in one, two and three space dimensions. The behaviour of particle states, defined as states smoothly peaked in some wave-vector eigenstate of the walk, is described by an approximated dispersive differential equation that for small wave-vectors gives the usual Dirac particle and antiparticle kinematics. The accuracy of the approximation is provided in terms of a lower bound on the fidelity between th…
From the unitary operator used for implementing two-state discrete-time quantum walk on one-, two- and three- dimensional lattice we obtain a two-component Dirac-like Hamiltonian. In particular, using different pairs of Pauli basis as position translation states we obtain three different form of Hamiltonians for evolution on one-dimensional lattice. We extend this to two- and three-dimensional lattices using different Pauli basis states as position translation states for each dimension and show that the external coin operation, which is necessary for one-dimensional walk is not a necessary req…
We investigate a connection between a property of the distribution and a conserved quantity for the reversible cellular automaton derived from a discrete-time quantum walk in one dimension. As a corollary, we give a detailed information of the quantum walk.
Numerical methods for the 1-D Dirac equation based on operator splitting and on the quantum lattice Boltzmann (QLB) schemes are reviewed. It is shown that these discretizations fall within the class of quantum walks, i.e. discrete maps for complex fields, whose continuum limit delivers Dirac-like relativistic quantum wave equations. The correspondence between the quantum walk dynamics and these numerical schemes is given explicitly, allowing a connection between quantum computations, numerical analysis and lattice Boltzmann methods. The QLB method is then extended to the Dirac equation in curv…
A quantum walk describes the discrete unitary evolution of a quantum particle on a discrete graph. Some quantum walks, referred to as the Weyl and Dirac quantum walks, provide a description of the free evolution of relativistic quantum fields in a regime where the wave-vectors involved in the particle state are small. The clash between the intrinsic discreteness of quantum walks and the symmetries of special relativity can be resolved by rethinking the notion of a change of inertial reference frame. We give here a definition of the latter that avoids a pre-defined space-time geometry, in terms…
We study the dynamics of discrete-time quantum walk using quantum coin operations, $\hat{C}(θ_1)$ and $\hat{C}(θ_2)$ in time-dependent periodic sequence. For the two-period quantum walk with the parameters $θ_1$ and $θ_2$ in the coin operations we show that the standard deviation [$σ_{θ_1, θ_2} (t)$] is the same as the minimum of standard deviation obtained from one of the one-period quantum walks with coin operations $θ_1$ or $θ_2$, $σ_{θ_1, θ_2}(t) = \min \{σ_{θ_1}(t), σ_{θ_2}(t) \}$. Our numerical result is analytically corroborated using the dispersion relation obtained from the continuum …
Quantum walks are not only algorithmic tools for quantum computation but also not trivial models which describe various physical processes. The paper compares one-dimensional version of the free particle Dirac equation with discrete time quantum walk (DTQW). We show that the discretized Dirac equation when compared with DTQW results in interesting relations. It is also shown that two relativistic effects associated with the Dirac equation, namely Zitterbewegung (quivering motion) and Klein's paradox, are present in DTQW, which can be implemented within non-relativistic quantum mechanics.
Quantum walk (QW) provides a versatile tool to study fundamental physics and also to make a variety of practical applications. We here start with the recent idea of {\it nonlinear} QW and show that introducing {\it nonlinearity} to QW can lead to a wealth of remarkable possibilities, e.g., simulating nonlinear quantum dynamics thus enhancing the applicability of QW above the existing level for a universal quantum simulator. As an illustration, we show that the dynamics of a nonlinear Dirac particle can be simulated on an optical nonlinear QW platform implemented with a measurement-based-feedfo…
We show that the Dirac quantum cellular automaton [Ann. Phys. 354 (2015) 244] 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, which plays a similar role to the coin angle in the quantum walk. The Dirac Hamiltonian is recovered under a suitable limit. …
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 familiar PDEs (e.g. the Dirac equation). Recently it was discovered that prior grouping and encoding allows for more general continuum limit equations (e.g. the Dirac equation in $(1+1)$ curved spacetime). In this paper, we extend these results to arbitrary space dimension and internal degree of freedom. We recover an entire class of PDEs encompassing the massive Dirac equation in $(3+1)$ curved spacetime. …
We extend our programme of representing the quantum state through exact stand-alone trajectory models to the Dirac equation. We show that the free Dirac equation in the angular coordinate representation is a continuity equation for which the real and imaginary parts of the wavefunction, angular versions of Majorana spinors, define conserved densities. We hence deduce an exact formula for the propagation of the Dirac spinor derived from the self-contained first-order dynamics of two sets of trajectories in 3-space together with a mass-dependent evolution operator. The Lorentz covariance of the …
We show that probability is locally conserved in discrete time quantum walks, corresponding to a particle evolving in discrete space and time. In particular, for a spatial structure represented by an arbitrary directed graph, and any unitary evolution of a particle which respects that locality structure, we can define probability currents which also respect the locality structure and which yield the correct final probability distribution.
It is shown that the components of Pryce's spin operator of Dirac's theory are $SU(2)$ generators of a representation carried by the space of Pauli's spinors determining the polarization of the plane wave solutions of Dirac's equation. These operators are conserved via Noether theorem such that new conserved polarization operators can be defined for various polarizations. The corresponding one-particle operators of quantum theory are derived showing how these are related to the isometry generators of the massive Dirac fermions of any polarization, including momentum-dependent ones. In this man…
The Schr\" odinger picture of the Dirac quantum mechanics is defined in charts with spatially flat Robertson-Walker metrics and Cartesian coordinates. The main observables of this picture are identified, including the interacting part of the Hamiltonian operator produced by the minimal coupling with the gravitational field. It is shown that in this approach new Dirac quantum modes on de Sitter spacetimes may be found analytically solving the Dirac equation.
Dirac particle represents a fundamental constituent of our nature. Simulation of Dirac particle dynamics by a controllable quantum system using quantum walks will allow us to investigate the non-classical nature of dynamics in its discrete form. In this work, starting from a modified version of one-spatial dimensional general inhomogeneous split-step discrete quantum walk we derive an effective Hamiltonian which mimics a single massive Dirac particle dynamics in curved $(1+1)$ space-time dimension coupled to $U(1)$ gauge potential---which is a forward step towards the simulation of the unifica…
We consider the problem of searching a general $d$-dimensional lattice of $N$ vertices for a single marked item using a continuous-time quantum walk. We demand locality, but allow the walk to vary periodically on a small scale. By constructing lattice Hamiltonians exhibiting Dirac points in their dispersion relations and exploiting the linear behaviour near a Dirac point, we develop algorithms that solve the problem in a time of $O(\sqrt N)$ for $d>2$ and $O(\sqrt N \log N)$ in $d=2$. In particular, we show that such algorithms exist even for hypercubic lattices in any dimension. Unlike previo…
A particular family of time- and space-dependent discrete-time quantum walks (QWs) is considered in one dimensional physical space. The continuous limit of these walks is defined through a new procedure and computed in full detail. In this limit, the walks coincide with the propagation of a massless Dirac fermion in an arbitrary gravitational field. A QW mimicking the radial propagation of a fermion outside and inside the event horizon of a Schwarzschild black hole is explicitly constructed and simulated numerically. Finally, the limiting procedure and the main result itself are carefully disc…
Discrete-time quantum walks can be regarded as quantum dynamical simulators since they can simulate spatially discretized Schrödinger, massive Dirac, and Klein-Gordon equations. Here, two different types of Fibonacci discrete-time quantum walks are studied analytically. The first is the Fibonacci coin sequence with a generalized Hadamard coin and demonstrates six-step periodic dynamics. The other model is assumed to have three- or six-step periodic dynamics with the Fibonacci sequence. We analytically show that these models have ballistic transportation properties and continuous limits identic…
We consider the problem of searching a d-dimensional lattice of N sites for a single marked location. We present a Hamiltonian that solves this problem in time of order sqrt(N) for d>2 and of order sqrt(N) log(N) in the critical dimension d=2. This improves upon the performance of our previous quantum walk search algorithm (which has a critical dimension of d=4), and matches the performance of a corresponding discrete-time quantum walk algorithm. The improvement uses a lattice version of the Dirac Hamiltonian, and thus requires the introduction of spin (or coin) degrees of freedom.
A massless Dirac particle is considered, moving along the x-axis while Pauli-coupled by its anomalous magnetic moment to a piecewise constant magnetic field along the same axis, with stochastically varying sign. The motion is approximated as a quantum walk with unitary noise, for which the evolution can be found exactly. Initially ballistic, the motion approaches a classical diffusion on a time-scale determined by the speed of light, the size of the magnetic moment, the strength of the field and the time interval between changes in its direction. It is suggested that a process of this type cou…
We present and amplify some of our previous statements on non-canonical interrelations between the solutions to free Dirac equation (DE) and Klein-Gordon equation (KGE). We demonstrate that all the solutions to the DE (possessing point- or string-like singularities) can be obtained via differentiation of a corresponding pair of the KGE solutions for a doublet of scalar fields. On this way we obtain a "spinor analogue" of the mesonic Yukawa potential and previously unknown chains of solutions to DE and KGE, as well as an exceptional solution to the KGE and DE with a finite value of the field ch…
The weak convergence theorems of the one- and two-dimensional simple quantum walks, SQW$^{(d)}, d=1,2$, show a striking contrast to the classical counterparts, the simple random walks, SRW$^{(d)}$. The limit distributions have novel structures such that they are inverted-bell shaped and the supports of them are bounded. In the present paper we claim that these properties of the SQW$^{(d)}$ can be explained by the theory of relativistic quantum mechanics. We show that the Dirac equation with a proper ultraviolet cutoff can provide a quantum walk model in three dimensions, where the walker has a…
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. The former is of interest in the study of graphene-like materials. The latter, we argue, opens the door for a generalization of the …
The spatial search problem on regular lattice structures in integer number of dimensions $d\geq2$ has been studied extensively, using both coined and coinless quantum walks. The relativistic Dirac operator has been a crucial ingredient in these studies. Here we investigate the spatial search problem on fractals of non-integer dimensions. Although the Dirac operator cannot be defined on a fractal, we construct the quantum walk on a fractal using the flip-flop operator that incorporates a Klein-Gordon mode. We find that the scaling behavior of the spatial search is determined by the spectral (an…
The Dirac equation can be modelled as a quantum walk, with the quantum walk being: discrete in time and space (i.e. a unitary evolution of the wave-function of a particle on a lattice); homogeneous (i.e. translation-invariant and time-independent), and causal (i.e. information propagates at a bounded speed, in a strict sense). This quantum walk model was proposed independently by Succi and Benzi, Bialynicki-Birula and Meyer: we rederive it in a simple way in all dimensions and for hyperbolic symmetric systems in general. We then prove that for any time t, the model converges to the continuous …
By pursuing the deep relation between the one-dimensional Dirac equation and quantum walks, the physical role of quantum interference in the latter is explained. It is shown that the time evolution of the probability density of a quantum walker, initially localized on a lattice, is directly analogous to relativistic wave-packet spreading. Analytic wave-packet solutions reveal a striking connection between the discrete and continuous time quantum walks.
Quantum walk models have been used as an algorithmic tool for quantum computation and to describe various physical processes. This paper revisits the relationship between relativistic quantum mechanics and the quantum walks. We show the similarities of the mathematical structure of the decoupled and coupled form of the discrete-time quantum walk to that of the Klein-Gordon and Dirac equations, respectively. In the latter case, the coin emerges as an analog of the spinor degree of freedom. Discrete-time quantum walk as a coupled form of the continuous-time quantum walk is also shown by transfor…
A relativistic Wigner function for free Discrete Time Quantum Walks (DTQWs) on the square $2D$ space-time lattice is defined. Useful concepts such as discrete derivatives and discrete distributions are also introduced. The transport equation obeyed by the relativistic Wigner function is obtained and degenerates at the continuous limit into the transport equation obeyed by the Wigner function of $2D$ Dirac fermions. The first corrections to the continuous equation induced by the discreteness of the lattice are also computed.
The notion of fidelity susceptibility, introduced within the context of quantum metric tensor, has been an important quantity to characterize the criticality near quantum phase transitions. We demonstrate that for topological phase transitions in Dirac models, provided the momentum space is treated as the manifold of the quantum metric, the fidelity susceptibility coincides with the curvature function whose integration gives the topological invariant. Thus the quantum criticality of the curvature function near a topological phase transition also describes the criticality of the fidelity suscep…
Simulations of one quantum system by an other has an implication in realization of quantum machine that can imitate any quantum system and solve problems that are not accessible to classical computers. One of the approach to engineer quantum simulations is to discretize the space-time degree of freedom in quantum dynamics and define the quantum cellular automata (QCA), a local unitary update rule on a lattice. Different models of QCA are constructed using set of conditions which are not unique and are not always in implementable configuration on any other system. Dirac Cellular Automata (DCA) …
Propagation in quantum walks is revisited by showing that very general 1D discrete-time quantum walks with time- and space-dependent coefficients can be described, at the continuous limit, by Dirac fermions coupled to electromagnetic fields. Short-time propagation is also established for relativistic diffusions by presenting new numerical simulations of the Relativistic Ornstein-Uhlenbeck Process. A geometrical generalization of Fick's law is also obtained for this process. The results suggest that relativistic diffusions may be realistic models of decohering or random quantum walks. Links wit…
We investigate the spatial search problem on the two-dimensional square lattice, using the Dirac evolution operator discretised according to the staggered lattice fermion formalism. $d=2$ is the critical dimension for the spatial search problem, where infrared divergence of the evolution operator leads to logarithmic factors in the scaling behaviour. As a result, the construction used in our accompanying article \cite{dgt2search} provides an $O(\sqrt{N}\log N)$ algorithm, which is not optimal. The scaling behaviour can be improved to $O(\sqrt{N\log N})$ by cleverly controlling the massless Dir…
Decoupling a vectorial PDE consists in solving the system for each component, thereby obtaining scalar PDEs that prescribe the evolution of each component independently. We present a general approach to decoupling of Quantum Walks, again defined as a procedure to obtain an evolution law for each scalar component of the QW, in such a way that it does not depend on the other components. In particular, the method is applied to show the relation between the Dirac (or Weyl) Quantum Walk in three space dimensions with (or without) mass term, and the Klein-Gordon (or wave) equation.
We formalize a notion of discrete Lorentz transforms for Quantum Walks (QW) and Quantum Cellular Automata (QCA), in (1 + 1)-dimensional discrete spacetime. The theory admits a diagrammatic representation in terms of a few local, circuit equivalence rules. Within this framework, we show the first-order-only covariance of the Dirac QW. We then introduce the Clock QW and the Clock QCA, and prove that they are exactly discrete Lorentz covariant. The theory also allows for non-homogeneous Lorentz transforms, between non-inertial frames.
We construct a quantum random walk algorithm, based on the Dirac operator instead of the Laplacian. The algorithm explores multiple evolutionary branches by superposition of states, and does not require the coin toss instruction of classical randomised algorithms. We use this algorithm to search for a marked vertex on a hypercubic lattice in arbitrary dimensions. Our numerical and analytical results match the scaling behaviour of earlier algorithms that use a coin toss instruction.
Introducing a Kondo-type interaction to the model of quantum walkers
The University of Tokyo（东京大学）；RIKEN Center for Quantum Computing, RIKEN（理化学研究所量子计算中心）；Institute of Industrial Science, The University of Tokyo（东京大学工业科学研究所）；Institute for Solid State Physics, University of Tokyo（东京大学固体物理研究所）；The University of Osaka（大阪大学）；Kanagawa University（神奈川大学）；Physics Department, The University of Michigan（密歇根大学物理系）；Department of Applied Physics, Hokkaido University（北海道大学应用物理系）
A Quantum Walk Inspired Qubit Lattice Algorithm for Simulating Electromagnetic Wave Propagation and Scattering in Conservative and Dissipative Magnetized Plasmas
We propose a scheme for the realization of a quantum walker and a quantum simulator for the Dirac equation with ultracold spinor atoms in driven optical lattices. A precise control of the dynamics of the atomic matter wave can be realized using time-dependent external forces. If the force depends on the spin state of the atoms, the dynamics will entangle the inner and outer degrees of freedom which offers unique opportunities for quantum information and quantum simulation. Here, we introduce a method to realize a quantum walker based on the state-dependent transport of spinor atoms and a coher…
