Analysis of quantum walks with time-varying coin on d-dimensional lattices

In this paper, we present a study of discrete time quantum walks whose underlying graph is a d-dimensional lattice. The dynamical behavior of these systems is of current interest because of their applications in quantum information theory as tools to design quantum algorithms. We assume that, at each step of the walk evolution, the coin transformation is allowed to change so that we can use it as a control variable to drive the evolution in a desired manner. We give an exact description of the possible evolutions and of the set of possible states that can be achieved with such a system. In particular, we show that it is possible to go from a state where there is probability 1 for the walker to be found in a vertex to a state where all the vertices have equal probability. We also prove a number of properties of the set of admissible states in terms of the number of steps needed to obtain them. We provide explicit algorithms for state transfer in low dimensional cases as well as results that allow to reduce algorithms on two-dimensional lattices to algorithms on the one-dimensional lattice, the cycle.