We consider the Weyl quantum walk in 3+1 dimensions, that is a discrete-time walk describing a particle with two internal degrees of freedom moving on a Cayley graph of the group [Formula: see text], which in an appropriate regime evolves according to Weyl's equation. The Weyl quantum walk was recently derived as the unique unitary evolution on a Cayley graph of [Formula: see text] that is homogeneous and isotropic. The general solution of the quantum walk evolution is provided here in the position representation, by the analytical expression of the propagator, i.e. transition amplitude from a node of the graph to another node in a finite number of steps. The quantum nature of the walk manifests itself in the interference of the paths on the graph joining the given nodes. The solution is based on the binary encoding of the admissible paths on the graph and on the semigroup structure of the walk transition matrices.This article is part of the themed issue 'Second quantum revolution: foundational questions'.
The time-evolution equation of a one-dimensional quantum walker is exactly mapped to the three-dimensional Weyl equation for a zero-mass particle with spin
1∕2, in which each wave number
k of the walker's wave function is mapped to a point
q(k) in the three-dimensional momentum space and
q(k) makes a planar orbit as
k changes its value in $[\ensuremath{-}\ensuremath{\pi},\ensuremath{\pi})$. The integration over
k providing the real-space wave function for a quantum walker corresponds to considering an orbital state of a Weyl particle, which is defined as a superposition (curvilinear integration) of the energy-momentum eigenstates of a free Weyl equation along the orbit. Konno's novel distribution function of a quantum walker's pseudovelocities in the long-time limit is fully controlled by the shape of the orbit and how the orbit is embedded in the three-dimensional momentum space. The family of orbital states can be regarded as a geometrical representation of the unitary group U(2) and the present study will propose a new group-theoretical point of view for quantum-walk problems.