The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional lattice. Our walk is based on the construction proposed by Falk, which tessellates the lattice with squares of size $2\ifmmode\times\else\texttimes\fi{}2$. Our walk uses minimal memory, $O(\sqrt{NlogN})$ applications of the walk operator, and outputs the marked vertex with vanishing error probability. To accomplish this, we apply a self-loop to the marked vertex---a technique we adapt from interpolated walks. We prove that with our explicit choice of self-loop weight, this forces the action of the walk asymptotically into a single rotational space. We characterize this space and as a result show that our memoryless walk produces the marked vertex with a success probability asymptotically approaching one.
The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional lattice. Our walk is based on the construction proposed by Falk, which tessellates the lattice with squares of size 2\ifmmode×\else\texttimes\fi2. Our walk uses minimal memory, O(NlogN) applications of the walk operator, and outputs the marked vertex with vanishing error probability. To accomplish this, we apply a self-loop to the marked vertex---a technique we adapt from interpolated walks. We prove that with our explicit choice of self-loop weight, this forces the action of the walk asymptotically into a single rotational space. We characterize this space and as a result show that our memoryless walk produces the marked vertex with a success probability asymptotically approaching one.
The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph, and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional grid. Our walk is based on the construction proposed by Falk, which tessellates the grid with squares of size 2×2. Our walk uses minimal memory, O(NlogN) applications of the walk operator, and outputs the marked vertex with vanishing error probability. To accomplish this, we apply a selfloop to the marked vertex - a technique we adapt from interpolated walks. We prove that with our explicit choice of selfloop weight, this forces the action of the walk asymptotically into a single rotational space. We characterize this space and as a result, show that our memoryless walk produces the marked vertex with a success probability asymptotically approaching one.
Abstract The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) the walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker’s position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is 1/2 after taking π N / ( 2 2 ) steps, where N is the number of vertices of the Johnson graph.
The lackadaisical quantum walk is a quantum analogue of the lazy random walk obtained by adding a self-loop to each vertex in the graph. We analytically prove that lackadaisical quantum walks can find a unique marked vertex on any regular locally arc-transitive graph with constant success probability quadratically faster than the hitting time. This result proves several speculations and numerical findings in previous work, including the conjectures that the lackadaisical quantum walk finds a unique marked vertex with constant success probability on the torus, cycle, Johnson graphs, and other classes of vertex-transitive graphs. Our proof establishes and uses a relationship between lackadaisical quantum walks and quantum interpolated walks for any regular locally arc-transitive graph.
Spatial search is an important problem in quantum computation, which aims to find a marked vertex on a graph. We propose a novel approach for designing deterministic quantum search algorithms on a variety of graphs via alternating quantum walks. Our approach is universal because it does not require an instance-specific analysis for different graphs. We highlight the flexibility of our approach by proving that for Johnson graphs, rook graphs, complete-square graphs and complete bipartite graphs, our quantum algorithms can find the marked vertex with 100% success probability and achieve quadratic speedups over classical algorithms. This not only gives an alternative succinct way to prove the existing results, but also leads to new interesting findings on more general graphs.
The lackadaisical quantum walk, which is a quantum walk with a weighted self-loop at each vertex, has been shown to speed up dispersion on the line and improve spatial search on the complete graph and periodic square lattice. In these investigations, each self-loop had the same weight, owing to each graph's vertex transitivity. In this paper, we propose lackadaisical quantum walks where the self-loops have different weights. We investigate spatial search on the complete bipartite graph, which can be irregular with N1 and N2 vertices in each partite set, and this naturally leads to self-loops in each partite set having different weights l1 and l2, respectively. We analytically prove that for large N1 and N2, if the k marked vertices are confined to, say, the first partite set, then with the typical initial uniform state over the vertices, the success probability is improved from its nonlackadaisical value when l1=kN2/2N1 and ${N}_{2}>(3\ensuremath{-}2\sqrt{2}){N}_{1}$, regardless of l2. When the initial state is stationary under the quantum walk, however, then the success probability is improved when l1=kN2/2N1, now without a constraint on the ratio of N1 and N2, and again independent of l2. Next, when marked vertices lie in both partite sets, then for either initial state there are many configurations for which the self-loops yield no improvement in quantum search, no matter what weights they take.
Lackadaisical quantum walk (LQW) has been an efficient technique in searching for a target state in a database which is distributed in a two-dimensional lattice. We numerically study the quantum search algorithm based on the lackadaisical quantum walk in one and two dimensions. It is observed that specific values of the self-loop weight at each vertex of the graph is responsible for such a speedup of the algorithm. Searching for a target state in one-dimensional lattice with periodic boundary conditions is possible using lackadaisical quantum walk, which can find a target state with [Formula: see text] success probability after [Formula: see text] time steps. In two dimensions, our numerical simulation up to [Formula: see text] for specific sets of target states suggests that the lackadaisical quantum walk can search one of the [Formula: see text] target states in [Formula: see text] time steps.