The existence of localization for the Grover walk on the multi-dimensional lattice is known. This paper gives some conditions for the existence of localization for the space-homogeneous quantum walks. We also prove that localization does not occur for the Fourier walk on the multi-dimensional lattice.
In this paper, we consider discrete-time quantum walks with moving shift (MS) and flip-flop shift (FF) on two-dimensional lattice Z2 and torus πN2=(Z/N)2. Weak limit theorems for the Grover walks on Z2 with MS and FF were given by Watabe et al. and Higuchi et al., respectively. The existence of localization of the Grover walks on Z2 with MS and FF was shown by Inui et al. and Higuchi et al., respectively. Non-existence of localization of the Fourier walk with MS on Z2 was proved by Komatsu and Tate. Here our simple argument gave non-existence of localization of the Fourier walk with both MS and FF. Moreover we calculate eigenvalues and the corresponding eigenvectors of the (k1,k2)-space of the Fourier walks on πN2 with MS and FF for some special initial conditions. The probability distributions are also obtained. Finally, we compute amplitudes of the Grover and Fourier walks on π22.
The Grover walk, which is related to Grover's search algorithm on a quantum computer, is one of the typical discrete time quantum walks. However, a localization of the two-dimensional Grover walk starting from a fixed point is strikingly different from other types of quantum walks. The present paper explains the reason why the walker who moves according to the degree-four Grover operator can remain at the starting point with a high probability. It is shown that the key factor for the localization is due to the degeneration of eigenvalues of the time evolution operator. In fact, the global time evolution of the quantum walk on a large lattice is mainly determined by the degree of degeneration. The dependence of the localization on the initial state is also considered by calculating the wave function analytically.
Abstract We propose a general framework for quantum walks on d-dimensional spaces. We investigate asymptotic behavior of these walks. We prove that every homogeneous walks with finite degree of freedom have limit distribution. This theorem can also be applied to every crystal lattice. In this theorem, it is not necessary to assume that the support of the initial unit vector is finite. We also pay attention on 1-cocycles, which is related to Heisenberg representation of time evolution of observables. For homogeneous walks with finite degree of freedom, convergence of averages of 1-cocycles associated with the position observable is also proved.
We analyze the role of dimensionality in the time evolution of discrete-time quantum walks through the example of the three-state walk on a two-dimensional triangular lattice. We show that the three-state Grover walk does not lead to trapping (localization) or recurrence to the origin, in sharp contrast to the Grover walk on the two-dimensional square lattice. We determine the power-law scaling of the probability at the origin with the method of stationary phase. We prove that only a special subclass of coin operators can lead to recurrence, and there are no coins that lead to localization. The propagation for the recurrent subclass of coins is quasi-one dimensional.