1: \begin{abstract}

2:   We consider the Weyl quantum walk in $3+1$ dimensions, that is a discrete-time

3:   walk describing a particle with two internal degrees of freedom moving on a

4:   Cayley graph of the group $\Z^3$, that in an appropriate regime evolves

5:   according to Weyl's equation. The Weyl quantum walk was recently derived

6:   as the unique unitary evolution on a Cayley graph of $\Z^3$ that is

7:   homogeneous and isotropic. The general solution of the quantum walk evolution

8:   is provided here in the position representation, by the analytical expression of

9:   the propagator, i.e.~transition amplitude from a node of the graph to another node in a

10:   finite number of steps. The quantum nature of the walk manifests itself in the interference of

11:   the paths on the graph joining the given nodes. The solution is based on the binary

12:   encoding of the admissible paths on the graph and on the semigroup structure of the

13:   walk transition matrices.

14: \end{abstract}

15: