arxiv: v4 [quant-ph] 25 Sep 2017

Transcription

1 Grover Search with Lackadaisical Quantum Walks Thomas G Wong Faculty of Computing, University of Latvia, Raiņa ulv. 9, Rīga, LV-586, Latvia twong@lu.lv arxiv: v4 [quant-ph] 5 Sep 07. Introduction Astract. The lazy random walk, where the walker has some proaility of staying put, is a useful tool in classical algorithms. We propose a quantum analogue, the lackadaisical quantum walk, where each vertex is given l self-loops, and we investigate its effects on Grover s algorithm when formulated as search for a marked vertex on the complete graph of N vertices. For the discrete-time quantum walk using the phase flip coin, adding a self-loop to each vertex oosts the success proaility from / to. Additional self-loops, however, decrease the success proaility. Using instead the Shenvi, Kempe, and Whaley 003) coin, adding self-loops simply slows down the search. These coins also differ in that the first is faster than classical when l scales less than N, while the second requires that l scale less than N. Finally, continuous-time quantum walks differ from oth of these discrete-time examples the self-loops make no difference at all. These ehaviors generalize to multiple marked vertices. PACS numers: Ac Random walks, or Markov chains, are the asis for a variety of classical algorithms []. One typically wants the random walker to move readily, ut there are some scenarios when it is desirale for the walker to e lazy, meaning it has some proaility of staying put. For example, if a normal non-lazy) random walker starts in one of the two vertex sets of a ipartite graph, then at each time step, the walker will only e in one vertex set. By making the walk lazy, however, the walker can have proaility of eing in oth vertex sets, improving its coverage of the graph. Such lazy random walks equate to adding self-loops to the vertices of the graph with appropriate weight, and they have een utilized in a variety of classical algorithms, including PageRank [], graph covering [3], and image processing [4]. Given the success of lazy random walks in the classical regime, we propose in this paper a quantum analogue called lackadaisical quantum walks, defined to e a standard quantum walk [5, 6, 7] on a graph with the addition of l self-loops to each vertex of the graph. So the greater l is, the more the walker prefers to stay put. Note this differs from the lazy quantum walk proposed y [8], hence our choice of a different name. It also generalizes three-state lazy quantum walks on the line [9, 0,, ], which only have one self-loop at each vertex. Since there exist oth discrete- and continuous-time

2 Grover Search with Lackadaisical Quantum Walks l l a a l l a) l ) l Figure. a) The complete graph with N = 6 vertices. A vertex is marked, as indicated y a doule circle. Identically evolving vertices are identically colored and laeled, and the laels indicate the suspace asis vectors that the vertices elong to. ) With l self-loops at each vertex. varieties of quantum walks [7], we will consider oth in our investigation of lackadaisical quantum walks. In particular, we explore the addition of self-loops to one of the est-known prolems in computing: unstructured search, whose famous quantum solution is Grover s algorithm [3]. To review, given a dataase with entries,,..., N, and an oracle fx) that outputs for a particular marked entry w and 0 otherwise, a classical computer expects to query the oracle N/ = ΘN) times efore finding w, since it could e the first guess or the last. In the quantum setting,,,..., N are computational asis states, and the oracle R w = ) fx) acts y flipping the phase of a marked asis state w while leaving the rest unchanged, i.e., R w w = w and R w x = x, x w. This reflection through w can e written as R w = I w w. Grover s algorithm [3] finds w in only Θ N) queries, which is a quadratic speedup over the classical ΘN), and it does so y initializing the system in an equal superposition s = N N i= i over the asis states and repeatedly applying R s R w, where R s = s s I is a reflection through s. Applying these two reflections N/4 times, the state is rotated from s to w with proaility near. As a graph prolem, we formulate this unstructured search prolem as search on the complete graph of N vertices for a particular marked vertex, an example of which is shown in figure a. Since each vertex is connected to every other, there is no structure demanding an order to which we visit the vertices. Thus a classical random walk that jumps from vertex to vertex, checking at each step if it has found w, expects to make ΘN) such steps and checks to find the marked vertex. A quantum walk, on the other hand, searches in Grover s Θ N), and we explicitly show this in the next two sections )

3 Grover Search with Lackadaisical Quantum Walks 3 in oth discrete and continuous time [4]. Then we add l self-loops to each vertex, as shown in figure, and show how the lackadaisical walk affects the search algorithms. For the discrete-time quantum walk, we get an improvement in the success proaility of the algorithm with a particular coin with l =. Additional self-loops, or search with a different coin, hurts the algorithm. The continuous-time algorithm, on the other hand, is not affected y the self-loops at all. Finally, we generalize the results to multiple marked vertices.. Grover s Algorithm as a Discrete-Time Quantum Walk We egin y analyzing quantum walk search on the complete graph with no self-loops, in discrete-time in this section and continuous-time in the next. For oth discrete- and continuous-time quantum walks, the quantum walker jumps from vertex to vertex, and the vertices of the graph lael computational asis states of an N-dimensional vertex Hilert space C N. For discrete-time quantum walks, however, this is insufficient to define a local unitary operator [5, 6], so we necessarily include an additional d-dimensional coin Hilert space C d supported y the directions/edges that the particle can jump along from each vertex. For the complete graph, each vertex is connected to the other N vertices, so d = N. Let s v and s c e equal superpositions over each space: s v = N N i= i, s c = d d i. Then the system ψ egins in the equal superposition over the entire C N C d Hilert space: ψ 0 = s v s c. The quantum walk is defined y repeated applications of U 0 = S I N C 0 ), where C 0 is the Grover diffusion coin [7] C 0 = s c s c I d, and S is the flip-flop shift [8] that causes a particle to hop and then turn around, e.g., a particle at vertex that points towards vertex will, after an application of S, e at vertex and point towards vertex : S ) =. Note that ψ 0 is the equilirium distriution of this walk, so U 0 ψ 0 = ψ 0. To turn this into a search algorithm, we apply a different coin C to the marked vertex and still use C 0 on the unmarked vertices [7], so the search operator is i= U = S [I N w w ) C 0 + w w C ]. ) Two choices for C are common [8]. The first is C flip = C 0, which causes U to ecome U = S [I N w w ) C 0 ]

4 Grover Search with Lackadaisical Quantum Walks 4 = S I N C 0 ) I }{{} N w w ) I }{{} d U 0 R w = U 0 R w I d ). 3) Note R w is the phase flip in Grover s algorithm, so this applies a phase flip to the marked vertex followed y a step of the quantum walk. The second common choice for C is C SKW = I d, which was first introduced y Shenvi, Kempe, and Whaley [7] to solve search on the hypercue, and later used y Amainis, Kempe, and Rivosh [8] to solve search on aritrary dimensional periodic square lattices. With either of these coins, the system evolves such that there are only two types of vertices, as shown in figure a. In particular, the marked red a vertex evolves differently from the identically-evolving unmarked white vertices. Since the a vertex can only point towards vertices, and the vertices can either point towards the a vertex or other vertices, the system evolves in a 3D suspace, and we take equal superpositions of these vertices/directions as the asis vectors: a = a a N a = = a N. N N In this { a, a, } asis, the initial state is ψ 0 = a + a + ) N. N In general, the search operator ) is different for C flip and C SKW. But for the complete graph, they are identical; with either coin, the search operator is 0 cos θ sin θ U = sin θ cos θ, 4) where cos θ = N 3 N, and sin θ = N N. Repeatedly applying this operator to the initial state, the success proaility evolves as shown in figure for N = 04 and 048 vertices. We see that the success proaility reaches /, and the runtime i.e., numer of applications of U to reach the maximum success proaility) scales less than linear i.e., classical) since douling N results in a runtime that is less than doule. In particular, we expect it to scale as Θ N) to e a formulation of Grover s algorithm.

5 Grover Search with Lackadaisical Quantum Walks Figure. Success proaility as a function of the numer of discrete-time applications of U with either the C flip or C SKW coins) for search on the complete graph with N = 04 solid lack) and 048 dashed red) vertices. To prove this ehavior and find the precise runtime, we first find the eigenvectors and eigenvalues of U. They are [ ] + cos θ +cos θ cos θ i 3 + cos θ [ ] ψ + = 3 + cos θ +cos θ cos θ + i 3 + cos θ, E + = e iφ [ ] + cos θ +cos θ cos θ + i 3 + cos θ [ ] ψ = 3 + cos θ +cos θ cos θ i 3 + cos θ, E = e iφ +cos θ cos θ cos θ ψ = 3 + cos θ, E = +cos θ cos θ where φ is defined such that cos φ = + cos θ cos θ)3 + cos θ), and sin φ =. Now we express the initial state in terms of the eigenvectors of U. Consider ψ + + ψ ) = + cos θ 3 + cos θ cos θ +cos θ cos θ +cos θ For large N, sin θ / N implies that θ / N, so the first two components of this are cos θ + cos θ θ / θ = 4 = θ, N.

6 Grover Search with Lackadaisical Quantum Walks 6 which means the last term dominates for large N. That is, ψ + + ψ ). Since ψ 0, the system after t applications of U is When φt = /, i.e., U t ψ 0 U t ψ + + U t ψ ) = e iφt ψ + + e iφt ψ ). t = φ = sin cos θ)3+cos θ) the state of the system is approximately ) i ψ + i ψ ) = + cos θ 3 + cos θ sin θ/ ) N, 3+cos θ +cos θ 3+cos θ +cos θ 0 =. 0 So the system roughly evolves from to eing half in a and half in a, which from the a component gives a success proaility of /. This agrees with figure ; the success proaility reaches / after 04/ 36 and 048/ 50 applications of U. Repeating the algorithm an expected constant numer of times to oost the success proaility near, the algorithm still finds the marked vertex in Θ N) applications of U, which is the same scaling as Grover s algorithm. This explicit proof that the success proaility reaches / in N/ applications of U seems original, even though it is well-known that the success proaility reaches in continuous-time [4] which we review next), or in discretetime with one self-loop per vertex [8] which we review later). Note that the first discrete-time quantum walk search algorithm [7] was search on the hypercue, not the complete graph. 3. Grover s Algorithm as a Continuous-Time Quantum Walk In continuous-time, quantum walk search on the complete graph with no self-loops l = 0) was previously investigated y [4], and we review the results here. Continuoustime quantum walks do not require the coin space, so they walk in the N-dimensional Hilert space C N supported y the vertices of the graph. The system egins in the equal superposition over the vertices: ψ0) = s v, and evolves y Schrödinger s equation i d ψ = H ψ dt with Hamiltonian H = γa w w,

7 Grover Search with Lackadaisical Quantum Walks Figure 3. Success proaility as a function of time for continuous-time search on the complete graph with N = 04 solid lack) and 048 dashed red) vertices, at the critical γ = /N. where γ is the jumping rate i.e., amplitude per time), A is the adjacency matrix of the graph A ij = if i and j are adjacent and 0 otherwise), and w is the marked vertex we are looking for. The first term effects a quantum walk [4] while the second term acts as an oracle [9], with γ setting their relative strength. As shown in figure a, there are only two types of vertices: the marked vertex and the unmarked vertices. So we take equal superpositions of them to e asis vectors of a D suspace: a = red = i. N i white In this { a, } asis, the initial state is ψ0) = s v = N a + N N, and the Hamiltonian is H = γ ) N γ N N. 5) When γ takes its critical value of /N [4, 0, ], evolving y Schrödinger s equation with this Hamiltonian yields the success proaility shown in figure 3. We see that it reaches a maximum value of, and the runtime which should e Grover s Θ N)) scales etter than linear classical) since douling N less than doules the runtime. To show this analytically, note that the eigenvectors of the Hamiltonian with γ = /N are ψ ± s v a with corresponding eigenvalues E ± = ± / N + /N. Then the initial state is ψ0) = ψ + + ψ ) /, and the marked vertex is a = ψ + + ψ ) /. Since the Hamiltonian is time-independent, solving Schrödinger s equation yields ψt) = e iht ψ0)

8 Grover Search with Lackadaisical Quantum Walks 8 = e iht ψ + + ψ ) = e ie + t ψ + + e ie t ψ ) = e ie t e i Et ψ + + ψ ), where E = E + E. When E t =, i.e., t = E = N, this ecomes ψt) = e ie / E ψ + + ψ ) = e ie / E a. Thus the system evolves to the marked vertex with proaility in time N/, which agrees with figure 3 with N = 04 and 048; as expected, the success proaility reaches at time 04/ and 048/ Discrete-Time Quantum Walk With Self-Loops Now we include l > 0 self-loops at each vertex, as shown in figure. As efore, there are only two types of vertices, a and. But now the a vertex can also point towards itself, so the system evolves in a 4D suspace spanned y equal superpositions of the vertices/directions: aa = a l a a a = a a N a = = a N. N N + l In this { aa, a, a, } asis, the initial state is ψ 0 = NN + l ) l aa + N a + N a + ) N )N + l ). With self-loops, the C flip = C 0 and C SKW = I d coins now result in different search operators ) and evolutions, which we analyze separately. With C flip = C 0, [8] showed that with this coin and l = self-loop at each vertex, two applications of the search operator 3) corresponds exactly to Grover s iterate ) on the vertex space. Reproducing their argument, the vertex and coin spaces have equal dimension N in this case. Then C 0 = R s = s s I N is

9 Grover Search with Lackadaisical Quantum Walks Figure 4. Success proaility as a function of the numer of discrete-time applications of U with the C flip coin for search on the complete graph with N vertices and l self-loops at each vertex. The solid lack, dashed red, and dotted green curves correspond to N = 04 with l =,, and 3, respectively, and the dot-dashed lue curve corresponds to N = 048 with l =. the reflection aout the equal superposition s over the N-dimensional computational asis in Grover s algorithm. With this sustitution, the search operator 3) ecomes U = S I N R s ) R w I N ). Acting y this on the initial equal superposition state ψ 0 = s s, we get U ψ 0 = SR w s R s s ) = R s s R w s. Acting a second time, U ψ 0 = SR w R s s R s R w s ) = R s R w s R w R s s, which is precisely Grover s iterate ) on the first tensor factor. Thus the success proaility reaches in N/ applications of U, which is an improvement over the success proaility of / without any self-loops. To find the ehavior of the algorithm for general l > 0, consider the search operator ) or 3), which in the { aa, a, a, } asis is cos θ sin θ cos φ sin φ U = sin θ cos θ 0 0, 6) 0 0 sin φ cos φ where θ is defined such that cos θ = N l N + l and φ is defined such that ln ), and sin θ = N + l, N + l, and sin φ = N + l. cos φ = N + l 3 N + l Repeatedly applying this to the initial state, the success proaility evolves as shown in figure 4. Beyond l =, additional self-loops causes the uildup of success proaility to stall, resulting in a lower maximum success proaility. The figure also reveals that the maximum success proaility only depends on l, which is reasonale since the l = 0 and l = cases achieve success proailities of / and, independent of N.

10 Grover Search with Lackadaisical Quantum Walks 0 To find the precise ehavior of the algorithm, we find the eigenvalues and eigenvectors of the search operator U. The eigenvalues are where,, e iα, e iα, cos θ + cos φ cos α = = N N + l, + cos θ + cos φ) cos θ cos φ) N + l 3)l + ) sin α = =, N + l and the corresponding unnormalized) eigenvectors are φ = sin θ + cos φ + cos θ sin φ, + cos φ + cos φ, sin φ φ = + cos θ ) sin φ sin θ + cos φ, sin φ + cos φ, sin φ + cos φ, Then sin θ φ α = φ +α = cos θ cos φ, sin φ sin φ sin θ cos θ cos φ, sin φ sin φ + cos φ sin θ + cos θ sin φ φ + φ +α + φ α = 0, cos α sin φ, cos α cos α, 4 sin φ cos φ ) sin φ, + i sin α cos θ cos φ, i sin α sin φ sin φ ) sin φ, i sin α cos θ cos φ, + i sin α sin φ sin φ sin φ, is dominated y the last term ecause sin φ φ in the denominator of the second and third terms is small for large N, which implies that cos φ φ / in denominator of the last term. Thus if we normalize it to leading-order, cos φ 4 cos α) + cos φ + cos θ ) ). ) sin θ sin φ φ + φ +α + φ α 0, 0, 0, ) =. Note that the initial state ψ 0. Then after t applications of U, the system is in the state U t ψ 0 cos φ + cos φ ) sin θ 4 cos α) + cos θ sin φ φ + e iαt φ +α + e iαt φ α. We choose t such that αt =, i.e., the runtime is N l = on) t = l+) ) α / sin cc+) l = cn c+ l = ωn)

11 Grover Search with Lackadaisical Quantum Walks for large N. At this runtime, the state of the system is U t ψ 0 cos φ + cos φ ) sin θ 4 cos α) + cos θ sin φ φ φ +α φ α = cos φ 4 sin θ 3 cos θ + cos φ,, 4 cos α) sin φ sin φ ) 3 cos θ + cos φ cos θ + cos φ,. sin φ cos φ Then the success proaility p is given y the sum of the squares of the first two terms: ) cos φ) 6 sin θ + 3 cos θ + cos φ) p = 6 cos α) sin. φ Plugging in for cos α, sin φ, cos φ, sin θ, and cos θ, this is 4l 6lN ) + 3l l+) ) 6+9c p = 4l + ) N + l ) 4cc+) N 9 4l l = on) l = cn l = ωn) for large N. These expressions for t and p agree with figure 4; for search with N = 04 vertices and l =,, 3, the runtimes are respectively 04/ l + ) 50, 4, 36 with corresponding success proailities 4l/l+) =, 0.889, With N = 048 and l =, the runtime is 048/ + ) 58 with success proaility 4)/ + ) These results indicate that the maximum success proaility decreases as l increases. Even so, there is still an improvement over the loopless success proaility of /, so long as l 5. For l eyond this, the success proaility is less than /, ut if l is any constant, the overall runtime is still Grover s Θ N). When l scales greater than a constant, the quadratic quantum speedup is lost due to the classical repetitions of the algorithm needed to oost the success proaility. Despite this, when l = on), we still otain an improvement over the classical algorithm s ΘN) runtime. Finally, when l = ΩN), the success proaility fails to increase eyond its initial scaling of Θ/N), and so the quantum algorithm is no etter than the classical one. Now consider C SKW = I d. The search operator ) in the { aa, a, a, } asis is cos θ sin θ U = 0 0 0, 7) 0 0 sin θ cos θ where cos θ = N + l 3 N + l, and sin θ = N + l N + l. Clearly, aa is an eigenvector of U with eigenvalue. The remaining part of U corresponding to a, a, and takes the same form as U for the l = 0 case 4).

12 Grover Search with Lackadaisical Quantum Walks Figure 5. Success proaility as a function of the numer of discrete-time applications of U with the C SKW coin for search on the complete graph with N = 04 vertices and l self-loops at each vertex. The solid lack, dashed red, dotted green, and dot-dashed lue curves correspond to l = 0, N = 3, N = 048, and N 3/ = 3768, respectively. Since θ is small for large N, those results carry over: the success proaility reaches / in t = ) sin cos θ)3+cos θ) applications of U. The scaling of this with N depends on the scaling of l. In particular, for large N, N l = on) t = c+ N l = cn. l l = ωn) An example of this evolution is shown in figure 5, with the success proaility reaching the expected / at time 04/ 36 for oth l = 0 and l = N = 3, time + 04/ 6 for l = N = 048, and time 3768/ 0 for l = N 3/ = With this coin, self-loops cause the success proaility to take longer to reach /. As long as the numer of self loops scales less than or equal to N i.e., l = ON)), the runtime still scales as Grover s Θ N). Furthermore, there is still a speedup over the classical algorithm so long as l scales less than N i.e., l = on )). Compared to the C flip coin, which otains Grover s Θ N) runtime when l = Θ) and a speedup over classical so long as l = on), this C SKW coin is in some sense more roust to self-loops; it takes more of them for the walk to lose its quantum speedup. 5. Continuous-Time Quantum Walk With Self-Loops Let us see how the continuous-time quantum walk algorithm is affected y the presence of l self-loops at each vertex. If we count each self-loop to contriute to the diagonal

13 Grover Search with Lackadaisical Quantum Walks 3 of the full N-dimensional adjacency matrix so that A ii = l at vertex i, then in the two-dimensional suspace spanned y { a, }, the Hamiltonian is γ H = γ + l ) N. N N + l Note this is simply the Hamiltonian with no self-loops 5) plus li. Adding a multiple of the identity matrix to the Hamiltonian in this manner constitutes a rezeroing of energy or an overall phase, so it has no oservale effects. Thus the self-loops do not change the evolution at all; with or without self-loops, at the critical γ = /N, the success proaility reaches at time N/. Thus the continuous-time quantum walk algorithm is completely roust to lackadaisical errors in our model using l self-loops at each vertex. 6. Generalization to Multiple Marked Vertices All of these results are straightforward to generalize to the case of k marked vertices. We assume that k = on) since the numer of marked vertices cannot scale more than the numer of vertices, and if k = cn, then one can classically find a marked vertex in a constant numer of guesses. The classical search would take an expected ΘN/k) time to find one of the k marked vertices on the complete graph of N vertices. As for the quantum walk, let us consider each of the cases aove. Beginning with discrete-time quantum walks, with k > marked vertices and l self-loops at each vertex, the system evolves in a 4D suspace spanned y { aa, a, a, }. With the C flip = C 0 coin, the search operator ) or 3) is cos θ sin θ cos φ sin φ U = sin θ cos θ 0 0, 0 0 sin φ cos φ where θ is defined such that cos θ = N k l +, and sin θ = N k)k + l ) N + l N + l and φ is defined such that cos φ = N k + l N + l, and sin φ = kn k + l ). N + l This has the same form as the case of one marked vertex 6), and since φ is small for large N, the solutions carry over: define α such that cos α = cos θ + cos φ = N k N + l Note that some treatments count each self-loop as in the adjacency matrix, which would result in A ii = l, ut it makes no difference to our result.

14 Grover Search with Lackadaisical Quantum Walks Figure 6. For search on the complete graph with N = 04 vertices, k = 6 marked vertices, and l self-loops at each vertex, the success proaility as a function of the numer of discrete-time applications of U with the C flip coin. The solid lack and dashed red curves are respectively l = and 3. Then after + cos θ + cos φ) cos θ cos φ) sin α = N k + l )k + l ) =. N + l N l = on) t = k+l ) ) α / sin cc+) l = cn c+ l = ωn) applications of U, the success proaility reaches a maximum value of ) cos φ) 6 sin θ + 3 cos θ + cos φ) p = 6 cos α) sin φ = k [6Nk + l ) + 9l ) 4kl ) k ] 4k + l ) N k + l ) 4kk+l ) l = on) k+l ) 6+9c k 4cc+) N l = cn. l = ωn) 9k 4l This is shown in figure 6, where the success proaility reaches at 04/ and )/ ) at 04/ applications of U, as expected. With the C SKW = I d coin, the search operator ) in this asis is cos θ sin θ U = 0 0 0, 0 0 sin θ cos θ

15 Grover Search with Lackadaisical Quantum Walks Figure 7. Success proaility as a function of the numer of discrete-time applications of U with the C flip coin for search on the complete graph with N = 04 vertices, k = 6 marked vertices, and l self-loops at each vertex. The solid lack and dashed red curves are respectively l = and 3. where cos θ = N k + l N + l, and sin θ = kn k + l ). N + l This has the same form as the case of one marked vertex 7), and since θ is small for large N, the solutions carry over: we reach a success proaility of / in k N l = on) t = ) = c+ sin cos θ)3+cos θ) k N l = cn l l = ωn) k applications of U. This is shown in figure 7, where the success proaility reaches / at 04/ 6 9 and + 04/ 6 5 applications of U, as expected. Finally for the continuous-time quantum walk, the Hamiltonian is γ H = γ + k + l ) kn k). kn k) N k + l This simply adds li to the Hamiltonian with no self-loops [], which is a rezeroing of energy or gloal phase, so it has no oservale effects. 7. Conclusion We have proposed a quantum analogue of classical lazy random walks, called lackadaisical quantum walks, where the quantum walker has some preference to stay put y introducing l self-loops at each vertex of the graph. We have investigated the consequences of this for quantum search on the complete graph, showing the self-loops can have vastly different effects on quantum search depending on the type of quantum walk. For discrete-time quantum walks with the C flip coin, one self-loop per vertex oosts the success proaility, ut additional self-loops hinders it. With the C SKW coin,

16 Grover Search with Lackadaisical Quantum Walks 6 however, rather than hindering the maximum success proaility, the self-loops slow down its uildup. This hindrance is less potent, eliminating all speedup over classical search when l = ωn ) compared to the first coin s l = ωn). Continuous-time quantum walks, on the other hand, are not affected at all y the self-loops. All of these results extend to multiple marked vertices. Acknowledgments This work was supported y the European Union Seventh Framework Programme FP7/007-03) under the QALGO Grant Agreement No ) project, and the ERC Advanced Grant MQC. References [] Norris J R 998 Markov Chains Camridge Series in Statistical and Proailistic Mathematics Camridge University Press) ISBN [] Andersen R, Chung F and Lang K 006 Local graph partitioning using pagerank vectors Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science FOCS 06 Washington, DC, USA: IEEE Computer Society) pp [3] Avin C, Koucký M and Lotker Z 008 How to explore a fast-changing world cover time of a simple random walk on evolving graphs) Automata, Languages and Programming Lecture Notes in Computer Science vol 55) ed Aceto L, Damgård I, Golderg L A, Halldórsson M M, Ingólfsdóttir A and Walukiewicz I Springer Berlin Heidelerg) pp 3 [4] Shen J, Du Y, Wang W and Li X 04 IEEE Trans. Image Process [5] Aharonov Y, Davidovich L and Zagury N 993 Phys. Rev. A 48) [6] Amainis A 003 Int. J. Quantum Inf [7] Kempe J 003 Contemp. Phys [8] Childs A M 00 Comm. Math. Phys [9] Inui N, Konno N and Segawa E 005 Phys. Rev. E 75) 056 [0] Falkner S and Boettcher S 04 Phys. Rev. A 90) 0307 [] Štefaňák M, Bezděková I and Jex I 04 Phys. Rev. A 90) 034 [] Dan L, Gettrick M M, Wei-Wei Z and Ke-Jia Z 05 Chin. Phys. B [3] Grover L K 996 A fast quantum mechanical algorithm for dataase search Proceedings of the 8th Annual ACM Symposium on Theory of Computing STOC 96 New York, NY, USA: ACM) pp 9 [4] Childs A M and Goldstone J 004 Phys. Rev. A 70) 034 [5] Meyer D A 996 J. Stat. Phys [6] Meyer D A 996 Phys. Lett. A [7] Shenvi N, Kempe J and Whaley K B 003 Phys. Rev. A 675) [8] Amainis A, Kempe J and Rivosh A 005 Coins make quantum walks faster Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms SODA 05 Philadelphia, PA, USA: SIAM) pp [9] Mochon C 007 Phys. Rev. A 754) 0433 [0] Janmark J, Meyer D A and Wong T G 04 Phys. Rev. Lett. ) 050 [] Wong T G 05 Quantum Inf. Process [] Wong T G 05 arxiv: [quant-ph]

17 Corrigendum: Grover Search with Lackadaisical Quantum Walks Thomas G Wong Department of Physics, Creighton University, 500 California Plaza, Omaha, Neraska 6878, USA thomaswong@creighton.edu Astract. We correct an analytical proof that the continuous-time quantum walk searches the complete graph of N vertices with certainty in N/ time. In Section 3 of [], it was shown that the eigenvectors and eigenvalues of the Hamiltonian for the continuous-time quantum walk searching the complete graph of N vertices for a unique marked vertex are ψ ± s v a, E ± = ± N + N, where s v = N N i= i is the initial uniform state over the vertices, and a is the marked vertex. So ψ corresponds to the ground state, and ψ + corresponds to the excited state. From this, [] claimed that s v = ψ + + ψ ), and a = ψ + + ψ ). This claim is incorrect, however, since it implies that ψ ± = s v a )/. actuality, the normalized eigenstates are N ψ ± = s v a ). N In Using this, the correct proof that the system evolves from s v to a up to a gloal phase) in time N/ is as follows. First note that N N s v = + ψ + ψ +. N N Then the state of the system at time t is N N e iht s v = + e ie t ψ + e ie+t ψ + N N N N = e ie t + ψ + e i Et ψ +, N N

18 Corrigendum: Grover Search with Lackadaisical Quantum Walks where E = E + E = / N is the energy gap. Now consider when t = / E. Then N N e ih/ E s v = e ie / E + ψ ψ + N N = [ e ie / E s v + a ) ] s v a ) = e ie / E a. Thus, the system evolves from s v to a, up to a gloal phase, in time / E = N/. References [] Wong T G 05 Grover search with lackadaisical quantum walks J. Phys. A: Math. Theor. 4843)