Abstract
In this paper, we study Grover’s search algorithm focusing on continuous-time quantum walk on graphs. We propose an alternative optimization approach to Grover’s algorithm on graphs that can be summarized as follows: Instead of finding specific graph topologies convenient for the related quantum walk, we fix the graph topology and vary the underlying graph Laplacians. As a result, we search for the most appropriate analytical structure on graphs endowed with fixed topologies yielding better search outcomes. We discuss strategies to investigate the optimality of Grover’s algorithm and provide an example with an easy tunable graph Laplacian to investigate our ideas.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Quantum search algorithms on graphs have a subtle relationship to the connectivity of the graph. Completely connected graphs and topologies with bridges between completely connected components provided configuration space for efficient quantum search [32] realizations. Search based on joined complete graphs can be realized with atomic systems interacting with an environment bringing such scheme closer to reality [49]. In a recent work, Pan et al., have shown that classical electric circuits perform on par with graph-based quantum search algorithm [43]. The electrical circuit-based approach can be generalized to perform search on multiple sites simultaneously[28]. In this work, we consider a different family of weighted graphs with self-similar structure for the configuration space quantum search algorithms. Advances in development of fractal configurations in physical systems suggest ways to implement quantum walk propagation on fractal graphs. For example, Fusco et al. [24] realized fractal geometries in photonic metamaterials, and on such lattices, it may be possible to implement a quantum walk protocol developed by Kitagawa et al. [31] to perform Grover’s search.
The theory of quantum algorithms has been an active area of study over the last three decades, see [16, 38, 39, 44] and references therein. In several applications, quantum algorithms have been shown to outperform their classical counterparts, hence leading to a speedup in performance [26, 46]. In this paper, we revisit Grover’s search algorithm [1, 9, 10, 17, 20, 26, 45, 48], focusing on the continuous-time quantum walk approach developed by [15, 23]. The Childs–Goldstone approach is very versatile and can be realized on quantum systems of different geometrical or topological arrangements. This feature appeared in [18, 34, 35] where it was established that a certain class of fractal-type graphs demonstrates favorable topological properties to implement perfect quantum state transfer. The feature is also present in [2], where Grover’s search algorithm was analyzed on databases with different topological arrangements. In this latter case, the (analytical and numerical) investigations of quantum walk on several graphs, such as the dual Sierpinski gaskets, T-fractals and hierarchical structures like Cayley trees, illustrate the dependency of Grover’s algorithm on the topological structure of these graphs.
In this paper, we propose an alternative optimization approach to Grover’s algorithm on graphs. In particular, instead of finding specific graph topologies convenient for the related quantum walk, we fix the graph topology and vary the underlying graph Laplacians. As a result, we search for the most appropriate analytical structure on graphs endowed with fixed topologies yielding better outcomes in Grover’s search algorithm. To describe our approach’s main ideas, we first introduce some basic terminology and notation. We perform a Grover’s search on a database modeled by a finite (possibly directed) graph \(G=(V,E)\). Let \(\{p(x,y)\}_{(x,y) \in E}\) be a sequence of weights assigned to the edges, where we regard the edge (x, y) as pointing from the vertex x to y and p(x, y) as a transition probability of a quantum walker from x to y. We impose the following conditions
and associate with such a sequence a probabilistic graph Laplacian on G, defined by
We assume there exists a Hilbert space \(\big ({\mathcal {H}}, \langle .,.\rangle \big )\) such that \(\Delta _{G}\) is self-adjoint (Hermitian),
We refer to [37] for more details and for examples of such Hilbert spaces on certain graphs. We associate each item in the database with a vertex \(x \in V\) or equivalently the corresponding normalized Dirac function
and denote the target vertex in Grover’s search algorithm by \(w \in V\). Note that \(\mu : V \rightarrow (0,\infty )\), \(\mu (x):=\langle \delta _{x}, \delta _{x} \rangle \) defines a measure on the set of vertices V. The volume of the graph G is then given by
To perform the search, one needs a driving Hamiltonian H of the quantum system. In this work, we use (see [2, 15])
where \(\gamma \) is a tunable parameter in \((0,\infty )\). The potential operator \(V_w\) is also called the oracle Hamiltonian. As the initial state of the search, we choose the ground state of \(\Delta _{G}\)
and the goal is to evolve s continuously to the target state \(e_w\). The success probability of finding the target vertex w at the time t is then given by
Our main contribution is summarized as follows. Rather than investigating a family of Hamiltonians \(\{H_{\gamma }\}_{\gamma \in (0,\infty )}\) on graphs of different topologies, we fix the (topology on) graph G and vary the transition probabilities (1) of a quantum walker on G. By doing so, we are effectively varying \(\Delta _G\) in (2). As such, we are led to the following question: “Can we construct examples for which this approach improves Grover’s search outcomes?”. In Sect. 3, we provide an example with an easy tunable parameter to answering this question.
The rest of the paper is organized as follows: In Sect. 2, we will discuss strategies to investigate the optimality of Grover’s search algorithm. We recall that the algorithm is implemented using a family of Hamiltonians \(\{H_{\gamma }\}_{\gamma \in (0,\infty )}\) for which one is led to determine in a systematic manner the value \(\gamma _{opt}\) for which \(H_{\gamma _{opt}}\) leads to optimal search outcomes, i.e., \(\pi _{w}^{\gamma _{opt}}(t)\) is maximal in the shortest time possible (see (33) for the definition of \(\gamma _{opt}\)). In [15], Childs and Goldstone elaborated on the interplay between the success probability (6) and the overlap probabilities
where \(\psi _0\) (resp. \(\psi _1\)) refer to the ground (resp. first excited) state of \(H_{\gamma }\). As such, we focus on a better understanding of these overlap probabilities resulting in our first main contribution Theorem 2.3. This result provides conditions (15) under which we can approximate and relate the \(\psi _0\)-eigenvalue \(E_0\) (resp. \(\psi _1\)-eigenvalue \(E_1\)) with the square root of the graph’s volume, i.e.,
We point out that for the complete graph on N vertices the eigenvalues are given by
and the sufficient conditions Theorem 2.3 are satisfied. Furthermore, in this case we have \(\langle \delta _w, \delta _w \rangle =1\) for all \(w \in V\) and \(vol(G)=N\) is nothing else but the number of vertices.
In practice, it might be difficult to verify (15) for general graphs. Therefore, we introduced the parameter \(\gamma _E\) in (14) for which the corresponding success probability \(\pi _{w}^{\gamma _E}(t)\) takes the simple form (25). In fact, for a complete graph on N vertices we have \(\gamma _E=\gamma _{opt}\) holds for all N, and hence, the corresponding optimal success probability is easily computed using (25) and given by
These observations have led us to the second part of this work: Does the equality \(\gamma _{opt}=\gamma _E\) hold for other graphs? Or more specifically, is it possible to construct a graph such that the following properties hold:
In Sect. 3, we introduce a hypercubic lattice as a Cartesian product of directed path graphs. To keep the discussion simple, we assume that the path graph has four vertices and that the transition probabilities of a quantum walker between these vertices are given via a parameter p, see Figs. 1 and 2. This parameter p can be interpreted as quantifying the database homogeneity/non-homogeneity and will play the role of the tuning parameter of the graph volume vol(G). Despite the simplicity of this model, we obtain interesting results when investigating the properties (11).
Our work is part of a long term study of mathematical physics on fractals and self-similar graphs [3,4,5,6,7,8, 21, 27, 40,41,42], in which novel features of quantum processes on fractals can be associated with the unusual spectral and geometric properties of fractals compared to regular graphs and smooth manifolds.
2 Continuous-time quantum walk on finite graphs
We start this section with some preliminary results that will be needed later for the proof of Proposition 2.2 and Theorem 2.3. Let \(E_a\) and \(\psi _a\) denote the eigenvalues and eigenvectors of \(H_{\gamma }\), respectively. We assume that \(\{\psi _a \}_{E_a \in \sigma (H_{\gamma })}\) is an orthonormal basis and in this notation, \(E_0\) and \(\psi _0\) refer to the ground state, \(E_1\) and \(\psi _1\) refer to the first excited state, and so on. For ease of discussion, we will assume in this work that \(E_0\) and \(E_1\) are non-degenerate. For \(\gamma >0\) and \(z \in \rho (\gamma \Delta _{G})\), the resolvent set of \(\gamma \Delta _{G}\), we consider the following Green function
Let \(\{ \phi _{\lambda } \ \vert \ \lambda \in \sigma (\Delta _{G}) \ \}\) be an orthonormal basis of eigenvectors of \(\Delta _{G}\), and write
where the sum takes the eigenvalue multiplicities into account. The following result whose proof we omit is elementary.
Lemma 2.1
The following statements hold.
-
1.
If \(E_a \notin \sigma (\gamma \Delta _{G})\), then \(\langle e_w,\psi _a \rangle \ne 0\).
-
2.
If \(E_a \notin \sigma (\gamma \Delta _{G})\), then \(G_{\gamma }(E_a,w,w) =1\).
-
3.
If \(E_a \notin \sigma (\gamma \Delta _{G})\), then \(\langle e_w, ( \gamma \Delta _{G} - E_a )^{-1} \psi _a \rangle = \frac{1}{\langle \psi _a,e_w \rangle }\).
-
4.
If \(z \in \rho (\gamma \Delta _{G})\), then
$$\begin{aligned} {\left\{ \begin{array}{ll} G_{\gamma }(z,w,w) = \sum _{\lambda \in \sigma (\Delta _{G})} \frac{\vert a_{w,\lambda }\vert ^2}{\gamma \lambda - z} \\ G_{\gamma }'(z,w,w) = \frac{d}{dz} G_{\gamma }(z,w,w) = \sum _{\lambda \in \sigma (\Delta _{G})} \frac{\vert a_{w,\lambda }\vert ^2}{(\gamma \lambda - z)^2} = \langle e_w,(\gamma \Delta _{G}-z)^{-2} e_w \rangle . \end{array}\right. } \end{aligned}$$
Next, for general finite graphs we derive formulas for the overlap probabilities.
Proposition 2.2
(Overlap probabilities) Suppose that \(E_a \notin \sigma (\gamma \Delta _{G})\). Then we have
-
1.
\(\vert \langle e_w,\psi _a\rangle \vert ^2 =\frac{1}{G_{\gamma }'(E_a,w,w)}\).
-
2.
\(\vert \langle s, \psi _a \rangle \vert ^2 = \frac{ \langle \delta _w, \delta _w \rangle }{vol(G) E_a^2 G_{\gamma }'(E_a,w,w)}\).
Proof
The proof uses Lemma 2.1.
-
1.
Given that \(\psi _a = \langle e_w, \psi _a \rangle (\gamma \Delta _{G} - E_a )^{-1} e_w\), we have
$$\begin{aligned} 1=\langle \psi _a, \psi _a\rangle =\overline{\langle e_w, \psi _a \rangle } \langle e_w,\psi _a \rangle \langle e_w,(\gamma \Delta _{G} - E_a )^{-2} e_w \rangle \\ =\langle e_w,(\gamma \Delta _{G} - E_a )^{-2} e_w \rangle \vert \langle e_w,\psi _a \rangle \vert ^2 \end{aligned}$$The statement follows by Lemma 2.1(4).
-
2.
Recalling that \(\Delta _{G}s=0\), we see that
$$\begin{aligned} - E_a \langle s,\psi _a \rangle = \langle s, ( \gamma \Delta _{G} - E_a ) \psi _a \rangle = \langle s,V_w\psi _a \rangle = \langle s,e_w \rangle \langle e_w,\psi _a \rangle . \end{aligned}$$Hence, \(\vert \langle s,\psi _a \rangle \vert ^2 = \frac{\vert \langle s,e_w \rangle \vert ^2 \ \vert \langle e_w,\psi _a \rangle \vert ^2}{E_a^2}\) and the result follows by \(\vert \langle s,e_w\rangle \vert ^2 = \frac{ \langle \delta _w, \delta _w \rangle }{vol(G)}\) and part (1).
\(\square \)
To study the question of which parameter \(\gamma \) the Hamiltonian \(H_{\gamma }\) leads to optimal search outcomes, we will consider the following parameters with the assumption that each of the sets below is non-empty
The following theorem establishes a relationship between the overlap probabilities and the eigenvalues \(E_0\), \(E_1\) and provides sufficient conditions to approximate these eigenvalues by the square root of the graph’s volume.
Theorem 2.3
Assume that there exist \(\gamma \in (0, \infty )\) and \(\epsilon >0\) such that
Then
Similarly, if the inequality (15) holds for \(\psi _1\), then
Proof
By Proposition 2.2(2), we have
where in the second equality, we used \(1=G_{\gamma }'(E_a,w,w)\vert \langle e_w,\psi _a\rangle \vert ^2 \) (see Proposition 2.2(1)), and in the last equality, we used Proposition 2.2(2). The result follows from the following computations. First, we note that Lemma 2.1(4), \(E_0 <0\) and \(\sigma (\Delta _{G}) \subset [0,2]\) show
Moreover, Proposition 2.2 (2) shows
\(\square \)
Complete graphs are examples for which the hypotheses of Theorem 2.3 are satisfied. In fact, if we consider the probabilistic graph Laplacian of a complete graph of N vertices
and set \(\gamma = \frac{N-1}{N}\), then a direct computation of the overlap probabilities gives
It follows that (15) holds for any \(\epsilon > 0\), the eigenvalues are given by (9), and that, by definition, we have \(\gamma _E = \frac{N-1}{N}\). We remark that the Hamiltonian in [2, 15] is defined using the graph Laplacian \(D-A\), where D (resp. A) is the degree (resp. adjacency) matrix of the graph. By the regularity of complete graphs, the probabilistic graph Laplacian (22) coincides with the graph Laplacian up to a multiple constant, i.e., \((N-1)\Delta =(D-A)\). Using either operators has no impact on the analysis since
where \(\gamma = (N-1){\tilde{\gamma }}\). In particular, \(\gamma = \gamma _E = \frac{N-1}{N}\) if and only if \({\tilde{\gamma }}=\frac{1}{N}\), in which case, as proved in [15], a quantum search on complete graphs recovers the optimal quadratic speedup. Therefore, for complete graphs, Theorem 2.3 implies that \(E_0=-E_1\). The following result gives the consequences of assuming that \(E_0=-E_1\) for a given graph with a fixed topology.
Proposition 2.4
Suppose that there exists \(\gamma \in (0,\infty )\) such that \(E_0=-E_1\), then
Consequently, we have \( \overline{\langle \psi _1,s\rangle } \langle e_w, \psi _0 \rangle = - e^{i 2 \theta } \overline{ \langle \psi _0,s \rangle } \langle e_w, \psi _1 \rangle \) for some phase \( \theta \in [0,\pi )\). Moreover, the success probability reduces to
where C and R(t) are given by
with
Proof
The first result follows by Proposition 2.2 (1) & (2). To prove the second result, we use \(\langle e_w, \exp (-itH_{\gamma }) s \rangle = A(t) + r(t)\) and compute
Using the first result, we add the second and third terms together
\(\square \)
3 Hypercubic lattices
In this section, we introduce a one-parameter family of Laplacians on the hypercubic lattice and investigate Grover’s search algorithm numerically when using these Laplacians. Given a finite directed path graph \(G=(V,E)\) with the vertices \(V:=\{0,1,2,3\}\) and the edges \(E: = \{(x,y) \in V \times V \ \vert \ |x-y|=1 \} \). We consider a quantum walk on G, where the transition probabilities \(\{p(x,y)\}_{(x,y) \in V \times V }\) and the corresponding probabilistic graph Laplacian \(\Delta _{G}\) are given for some \(p \in (0,1)\) in Fig. 1. Note that \(\Delta _{G}\) generates a quantum walk on G with reflecting boundaries. This class of Laplacians was first investigated in [47] and arises naturally when studying the unit interval endowed with a particular fractal measure. For more on this Laplacian and some related work, we refer to [11, 13, 14, 19, 36].
Graph \(G_2=G' \times G''\), where \(G' =G'' = G\) and G is the graph in Fig. 1. The transition probabilities are given by \(\Delta _{G_2}\)
We equip the vertices set V with a measure, \(\mu :V \rightarrow [0,\infty )\) and assume that it satisfies the Kolmogorov’s cycle condition [22, 25, 29, 30], i.e.,
One can easily verify that \(\Delta _{G}\) is self-adjoint (Hermitian) with respect to the inner product
where \(f, g \in {\mathcal {H}}_G:=span\{ \ \delta _x \ \vert \ x \in V\}\). A d-dimensional hypercubic lattice is constructed as the d-fold Cartesian product of finite directed path graphs \(G_{d} = G' \times G'' \times .. \), where \(G'=G''=\hdots =G\). For simplicity, we restrict our illustration to products of two graphs as the extension to higher-dimensional products is straightforward. We follow [12] and denote by a prime anything having to do with the first graph and by a double prime anything having to do with the second graph. We recall that a Cartesian product of two graphs \(G'=(V',E')\) and \(G''=(V'',E'')\) is a graph \(G_{2} = G' \times G''\) with the set of vertices \(V(G_{2}) = \{(x', x'') \ \vert \ x' \in V', x'' \in V'' \ \}\), where two vertices \({\bar{x}}=(x', x'')\) and \({\bar{y}}=(y', y'')\) are adjacent, i.e., \(({\bar{x}},{\bar{y}}) \in E(G_{2})\) if and only if \((x',y') \in E' \ \text { and } x''=y''\) or \((x'',y'') \in E'' \ \text { and } x'=y'\). We define a Laplacian on \(G_2\) as a (normalized) Kronecker sum of \(\Delta _{G'}\) and \(\Delta _{G''}\), i.e.,
where I is an identity matrix. An example of the quantum walk generated by \(\Delta _{G_2}\) is illustrated in Fig. 2. We associate each vertex \({\bar{x}}=(x', x'') \in V(G_{2}) \) with \(\delta _{{\bar{x}}}:= \delta _{x'} \otimes \delta _{x''}\), the tensor product \( \delta _{x'} \) and \( \delta _{x''}\). It follows that \(\Delta _{G_2}\) is self-adjoint on the Hilbert space \({\mathcal {H}}_{G_2}=span\{ \ \delta _{{\bar{x}}} \vert \ {\bar{x}}=(x', x'') \in V(G_{2}) \ \}\) equipped with the inner product
3.1 Homogeneous versus non-homogeneous structures
When \(p=\frac{1}{2}\), then \(\Delta _{G_d}\) recovers the standard probabilistic graph Laplacian as a generator of a symmetric quantum walk on \(G_d\). In this case, it easy to compute that the symmetrizing measure (31) is the degree of the vertex, i.e.,
where \({\bar{x}}=(x_1,\dots , x_d) \in V(G_{d})\) is a non-boundary vertex. In particular, the measure is constant on the interior vertices, and as such, we say that \(G_d\) homogeneous. On the other hand, when \(p\ne \frac{1}{2}\), then \(\Delta _{G_d}\) generates an asymmetric quantum walk on \(G_d\). Consequently, the measure is vertex-dependent and varies on the interior vertices. In this case, we say \(G_d\) is non-homogeneous. For an interpretation from a physics viewpoint and the relation to fractal media, the reader is referred to the introduction of [14].
3.2 Numerical results
In this section, we present some numerical results on the Grover’s search algorithm on the graph \(G_5\) and provide the python codes in [33]. Note that the number of vertices is \(\vert V(G_5)\vert = 1024\). The target vertex \(w \in V(G_5)\) is assumed to be one of the corners of \(G_5\). Our focus is to analyze the search algorithm based on the homogeneity versus non-homogeneity of the database, i.e., \(p=1/2\) versus \(p\ne 1/2\). To this end, we plot the overlap probabilities and the eigenvalues \(E_0\), \(E_1\) as functions of \(\gamma \), after which we determine and discuss their intersections at the points \(\gamma _s\), \(\gamma _w\) and \(\gamma _E\). Before proceeding, it is worth mentioning that for the complete graph of N vertices, where \(N\ge 2\), we have \(\gamma _s \le \gamma _E \le \gamma _w\). When \(N=2\), we have \(\gamma _s=0\) and \(\gamma _{w}={\infty }\), while for large N, we see that
In the case of \(G_5\), the plots of the overlap probabilities are depicted for several p in Fig. 3. The case \(p=0.91\) (top left panel in Fig. 3) is particularly interesting and is qualitatively similar to the results for the complete graphs; see [15, Figure 1] for a comparison. We determine \(\gamma _s\), \(\gamma _w\) and \(\gamma _E\) in Table 1, and observe that in all cases
where for larger p, \(\gamma _E\) is increasingly squeezed between \(\gamma _s\) and \(\gamma _w\).
We also compute the success probability \(\pi _{w}^{\gamma }(t)\) as a function of the time t and \(\gamma \), see Fig. 4. Then we determine for which values \((t,\gamma )\) the success probability \(\pi _{w}^{\gamma }(t)\) is optimal, i.e.,
We observe that for \(p = 0.91\), we have \(\gamma _{opt} \approx \gamma _{E} \approx \gamma _{s} \approx \gamma _{w}\), see Table 1. (Note that for the complete graph of N vertices, we have \(\gamma _{opt} = \gamma _E \) for any \(N \ge 2\).) Subsequently, we determine \(E_0\) and \(E_1\) as the eigenvalues of the ground and first excited state of \(H_{\gamma _{opt}}\). For comparison, we also compute \(\sqrt{\frac{\langle \delta _w, \delta _w \rangle }{vol(G_{5})}}\) using
Note that \(\langle \delta _w, \delta _w \rangle =1\) for w located at one of the corners of \(G_5\). Again, the results for \(E_0\) and \(E_1\) are in better agreement with \(\sqrt{\frac{\langle \delta _w, \delta _w \rangle }{vol(G_{5})}}\) the larger we choose p. We plot the success probability \(\pi _{w}^{\gamma }(t)\) as a function of t, where we set \(\gamma =\gamma _{opt}\), see Fig. 5. Concerning the observation that \(\gamma _{opt} \approx \gamma _E\) for \(p=0.91\), we note that the graph in the top left panel in Fig. 5 is in very good agreement with the analytical formula (25), i.e.,
where the value of \(E_1\) is given in Table 2. In contrast to the complete graphs where \(\gamma _{opt} = \gamma _E \) holds for any number of vertices, we observe in \(G_{5}\) that the deviation of \(\gamma _E\) from \(\gamma _{opt}\) increases for smaller values of p. In this case, formula (25) is less suitable for analyzing of \(\pi _{w}^{\gamma _{opt}}(t)\). Indeed, Fig. 5 (bottom right panel) illustrates how \(\pi _{w}^{\gamma _{opt}}(t)\) for \(p=0.1\) exhibits a more irregular and oscillatory behavior.
Finally, we observe that \(t_{opt}\) decreases with (large) p and is comparable to \(\frac{\pi }{2}\sqrt{\frac{vol(G_{5})}{\langle \delta _w, \delta _w \rangle }}\), see Table 2. For example, \(\pi _{w}^{\gamma _{opt}}(t)\) for \(p=0.91\) attains its maximum at \(t_{opt} \approx 4380\), which is not practical for searching a database of 1024 elements. On the other hand, Fig. 6 seems to suggest that choosing smaller p might improve the optimal time of Grover’s search algorithm. For example, when \(p=0.4\), we observe a slight improvement from the homogeneous case \(p=0.5\), see the corresponding \(t_{opt}\) values in Table 2. However, it seems that this improvement in Grover’s optimal time is lost when p get smaller, e.g., see the case \(p=0.1\) in Table 2.
4 Conclusions
In this paper, we discussed strategies for the application of Childs–Goldstone approach [15] to Grover’s quantum walk on graphs. A database is modeled by a finite (possibly directed) graph G, and the search algorithm is implemented using the family of Hamiltonians \(\{H_{\gamma }\}_{\gamma \in (0,\infty )}\) in (4). Theorem 2.3 provides conditions (15) on the overlaps probabilities that are sufficient to approximate and relate the eigenvalues \(E_0\), \(E_1 \) with the square root of the graph’s volume. Complete graphs are examples for which the conditions (15) hold for \(\gamma = \frac{N-1}{N}\) and any \(\epsilon >0\), but this is not the case for the hypercubic lattices, see, for instance, the top right panel in Fig. 3 (the homogeneous case \(p=0.5\)). On the other hand, we were able to tune the overlap probabilities on hypercubic lattices by inducing non-homogeneity measured by the parameter p. Indeed, the top left panel in Fig. 3 evidences for \(p=0.91\) the existence of \(\gamma \) for which we have
To deal with graphs for which it might be unfeasible to check (15), we introduced \(\gamma _E\) (14) resulting in a simplified formula for the corresponding success probability \(\pi _{w}^{\gamma _E}(t)\) (25). In particular, to understand \(\pi _{w}^{\gamma _E}(t)\), we need to analyze the following quantities: \(E_1\), R(t) and the overlap probabilities
This can be done rigorously for the complete graph of N vertices, where \(\gamma _E=\frac{N-1}{N}\) and \(\pi _{w}^{\gamma _E}(t)\) is given by (10). Furthermore, complete graphs are particularly interesting as \(\gamma _E=\gamma _{opt}\), i.e., \(H_{\gamma _E}\) leads to optimal search outcomes. We then ask whether equality \(\gamma _{opt}=\gamma _E\) hold for other graphs, or whether we can construct a graph for which the properties (11) hold.
For this, we propose an approach for optimizing Grover’s algorithm on hypercubic lattice graphs. In particular, in Sect. 3, we fix the graph topology (as hypercubic lattices) and instead vary the analysis structure on these graphs; this is done by varying the considered Laplacians. The main ideas of this approach are numerically demonstrated on hypercubic lattices. We restricted our investigation on \(G_5\) and focus on graph homogeneity/non-homogeneity effects on Grover’s quantum walk. In upcoming work, we will extend our investigation to effects related to varying d and the location of the target vertex w.
In summary, we observe that the results for larger p resemble those of the complete graphs qualitatively, in particular \(\gamma _{opt} \approx \gamma _E\), and the corresponding success probability is well approximated by (25). On the other hand, Grover’s optimal times grow exponentially with p in a pattern similar to the graph volume increase in Fig. 6. Choosing smaller p, like \(p=0.4\), leads to a slight improvement in Grover’s optimal time compared to the homogeneous case \(p=0.5\). But this improvement does not continue with a further decrease of p as the case \(p=0.1\) in the bottom right panel in Fig. 5 shows.
Data availability
The manuscript has no associated data.
References
Aaronson, S., Ambainis, A.: Quantum search of spatial regions. Theory Comput. 1, 47–79 (2005)
Agliari, E., Blumen, A., Mülken, O.: Quantum-walk approach to searching on fractal structures. Phys. Rev. A 82, 012305 (2010)
Akkermans, E.: Statistical mechanics and quantum fields on fractals. In: Fractal Geometry and Dynamical Systems in Pure and Applied Mathematics. II. Fractals in Applied Mathematics. Contemp. Math., vol. 601, pp. 1-21. Amer. Math. Soc., Providence, RI (2013)
Akkermans, E., Dunne, G., Teplyaev, A.: Physical consequences of complex dimensions of fractals. EPL 88(4), 40007 (2009)
Akkermans, E., Dunne, G., Teplyaev, A.: Thermodynamics of photons on fractals. Phys. Rev. Lett. 105, 230407 (2010)
Akkermans, E., Benichou, O., Dunne, G., Teplyaev, A., Voituriez, R.: Spatial log-periodic oscillations of first-passage observables in fractals. Phys. Rev. E 86, 061125 (2012)
Akkermans, E., Chen, J., Dunne, G., Rogers, L., Teplyaev, A.: Chapter 18. Fractal AC circuits and propagating waves on fractals. Analysis, Probability and Mathematical Physics on Fractals, pp. 557–567 (2020)
Alonso-Ruiz, P., Kelleher, D., Teplyaev, A.: Energy and Laplacian on Hanoi-type fractal quantum graphs. J. Phys. A 49(16), 165206–36 (2016)
Ambainis, A.: Quantum search algorithms. SIGACT News 35(2), 22–35 (2004)
Ambainis, A., Kempe, J., Rivosh, A.: Coins make quantum walks faster. In: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1099–1108. ACM, New York (2005)
Bird, E., Ngai, S., Teplyaev, A.: Fractal Laplacians on the unit interval. Ann. Sci. Math. Quebec 27(2), 135–168 (2003)
Bockelman, B., Strichartz, R.: Partial differential equations on products of Sierpinski gaskets. Indiana Univ. Math. J. 56(3), 1361–1375 (2007)
Chan, J., Ngai, S., Teplyaev, A.: One-dimensional wave equations defined by fractal Laplacians. J. Anal. Math. 127, 219–246 (2015)
Chen, J., Teplyaev, A.: Singularly continuous spectrum of a self-similar Laplacian on the half-line. J. Math. Phys. 57(5), 052104–10 (2016)
Childs, A., Goldstone, J.: Spatial search by quantum walk. Phys. Rev. A 70, 022314 (2004)
Childs, A., van Dam, W.: Quantum algorithms for algebraic problems. Rev. Mod. Phys. 82(1), 1–52 (2010)
Childs, A., Farhi, E., Gutmann, S.: An example of the difference between quantum and classical random walks. Quantum Inf. Process. 1(1–2), 35–43 (2002)
Derevyagin, M., Dunne, G., Mograby, G., Teplyaev, A.: Perfect quantum state transfer on diamond fractal graphs. Quantum Inf. Process. 19(9), 328 (2020)
Derfel, G., Grabner, P., Vogl, F.: Laplace operators on fractals and related functional equations. J. Phys. A 45(46), 463001–34 (2012)
Dowling, J.: To compute or not to compute? Nature 439(7079), 919–920 (2006)
Dunne, G.: Heat kernels and zeta functions on fractals. J. Phys. A 45(37), 374016–22 (2012)
Durrett, R.: Probability - theory and Examples. Cambridge Series in Statistical and Probabilistic Mathematics, vol. 49, p. 419 (2019)
Farhi, E., Gutmann, S.: Quantum computation and decision trees. Phys. Rev. A 58, 915–928 (1998)
Fusco, Z., Rahmani, M., Tran-Phu, T., Ricci, C., Kiy, A., Kluth, P., Della Gaspera, E., Motta, N., Neshev, D., Tricoli, A.: Photonic fractal metamaterials: a metal-semiconductor platform with enhanced volatile compound sensing performance. Adv. Mater. 32(50), 2002471 (2020)
Grigoryan, A.: Introduction to Analysis on Graphs. University Lecture Series, vol. 71, p. 150. American Mathematical Society, Providence, RI (2018)
Grover, L.: Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79, 325–328 (1997)
Hinz, M., Meinert, M.: On the viscous Burgers equation on metric graphs and fractals. J. Fractal Geom. 7(2), 137–182 (2020)
Ji, T., Pan, N., Chen, T., Zhang, X.: Fast quantum search of multiple vertices based on electric circuits. Quantum Inf. Process. 21(5), 172 (2022)
Keller, M., Lenz, D., Wojciechowski, R.: Graphs and Discrete Dirichlet Spaces. Grundlehren der mathematischen Wissenschaften, vol. 358, p. 668. Springer (2021)
Kelly, F.: Reversibility and Stochastic Networks. Cambridge Mathematical Library, p. 230 (2011)
Kitagawa, T., Broome, M., Fedrizzi, A., Rudner, M., Berg, E., Kassal, I., Aspuru-Guzik, A., Demler, E., White, A.: Observation of topologically protected bound states in photonic quantum walks. Nat. Commun. 3(1), 882 (2012)
Meyer, D., Wong, T.: Connectivity is a poor indicator of fast quantum search. Phys. Rev. Lett. 114, 110503 (2015)
Mograby, G.: Python codes used for the numerical analysis (2022). https://github.com/gmograby/GroverWalkHyperCube/blob/main/Hamiltonian
Mograby, G., Derevyagin, M., Dunne, G., Teplyaev, A.: Hamiltonian systems, Toda lattices, solitons, Lax pairs on weighted \({\mathbb{Z} }\)-graded graphs. J. Math. Phys. 62(4), 042204–19 (2021)
Mograby, G., Derevyagin, M., Dunne, G., Teplyaev, A.: Spectra of perfect state transfer Hamiltonians on fractal-like graphs. J. Phys. A: Math. Theor. 54(12), 125301 (2021)
Mograby, G., Balu, R., Okoudjou, K., Teplyaev, A.: Spectral decimation of a self-similar version of almost Mathieu-type operator. J. Math. Phys. 63(5), 053501 (2022)
Mograby, G., Balu, R., Okoudjou, K., Teplyaev, A.: Spectral decimation of piecewise centrosymmetric Jacobi operators on graphs. J. Spectr. Theory 13(3), 903–935 (2023)
Mosca, M.: Quantum algorithms. arXiv:0808.0369 (2008)
Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information, p. 676. Cambridge University Press, Cambridge (2000)
Okoudjou, K., Strichartz, R.: Weak uncertainty principles on fractals. J. Fourier Anal. Appl. 11(3), 315–331 (2005)
Okoudjou, K., Strichartz, R.: Asymptotics of eigenvalue clusters for Schrödinger operators on the Sierpinski gasket. Proc. Am. Math. Soc. 135(8), 2453–2459 (2007)
Okoudjou, K., Saloff-Coste, L., Teplyaev, A.: Weak uncertainty principle for fractals, graphs and metric measure spaces. Trans. Am. Math. Soc. 360(7), 3857–3873 (2008)
Pan, N., Chen, T., Sun, H., Zhang, X.: Electric-circuit realization of fast quantum search. Research 2021, 9793071 (2021)
Santha, M.: Quantum walk based search algorithms. In: Theory and Applications of Models of Computation. Lecture Notes in Comput. Sci., vol. 4978, pp. 31–46. Springer (2008)
Shenvi, N., Kempe, J., Whaley, K.: Quantum random-walk search algorithm. Phys. Rev. A 67, 052307 (2003)
Shor, P.: Algorithms for quantum computation: discrete logarithms and factoring. In: 35th Annual Symposium on Foundations of Computer Science (Santa Fe. NM, 1994), pp. 124–134. IEEE Comput. Soc. Press, Los Alamitos, CA (1994)
Teplyaev, A.: Spectral zeta functions of fractals and the complex dynamics of polynomials. Trans. Am. Math. Soc. 359(9), 4339–4358 (2007)
Tulsi, A.: Faster quantum-walk algorithm for the two-dimensional spatial search. Phys. Rev. A 78, 012310 (2008)
Zhang, R., Chen, T.: Fast quantum search driven by environmental engineering. Commun. Theor. Phys. 74(4), 045101 (2022)
Acknowledgements
The work of G. Mograby and K. Okoudjou was supported by ARO Grant W911NF1910366. K. Okoudjou was additionally supported by NSF DMS-1814253. A. Teplyaev was partially supported by NSF DMS Grant 1950543 and by the Simons Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mograby, G., Balu, R., Okoudjou, K.A. et al. Quantitative approach to Grover’s quantum walk on graphs. Quantum Inf Process 23, 27 (2024). https://doi.org/10.1007/s11128-023-04212-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-023-04212-w