Abstract
In quantum computing, the quantum walk search algorithm is designed for locating fixed marked nodes within a graph. However, when multiple marked nodes exist, the conventional search algorithm lacks the capacity to simultaneously amplify the marked nodes as well as identify the correct chronological ordering between the marked nodes, if any. To address this limitation, we explore a potential extension of the algorithm by introducing additional quantum states to label the marked nodes. The labels resolve the ambiguity of simultaneous amplification of the marked nodes. Additionally, by associating the label states with a chronological ordering, we can extend the algorithm to track a moving particle on a two-dimensional surface. Our algorithm efficiently searches for the trajectory of the particle and is supported by a proposed quantum circuit. This concept holds promise for a range of applications, from real-time object tracking to network management and routing.
Similar content being viewed by others
Introduction
Quantum computers are engineered with the purpose of surpassing the computational capabilities of conventional computers through the execution of quantum algorithms1,2,3. These quantum algorithms have a wide range of practical applications from cryptography, search and optimization, and quantum system simulation to the resolution of extensive sets of linear equations4,5,6,7,8,9,10,11,12,13,14,15. Notably, Grover’s search algorithm stands out as a widely recognized quantum algorithm capable of searching unsorted databases with a quadratic speed advantage over its classical counterparts16. Grover’s algorithm, combined with quantum walk, has motivated the foundation and development of the commonly known research venture of “Quantum walk search algorithms” for searching and sorting unstructured spatial data5,17,18,19.
Unlike classical random walks, quantum walks20,21 represent the walker by a quantum state, thus allowing a probabilistic interpretation of the particle’s dynamics. Quantum walks are a successful framework for modeling controlled dynamics in quantum systems22,23,24,25,26,27, building quantum algorithms and shown to constitute a universal model of quantum computation21,28,29,30. Depending on the premise and specific applications being addressed, there are two classes of quantum walks viz. discrete-time quantum walks (DTQWs) and continuous-time quantum walks (CTQWs) that are broadly employed.
The Hilbert space of DTQWs comprises two components: coin space and position space. Coin space represents the internal state of the walker, while position space defines the lattice structure in which the walker moves. The evolution of a particle in a DQTWs is governed by a sequence of unitary operators, each composed of a coin operator and a shift operator. The coin operator manipulates the internal state of the walker, while the shift operator displaces the walker to an adjacent vertex on the lattice, conditioned by the walker’s internal state20,31. In contrast, CTQWs describes the state evolution as a continuous function of time by associating a Hamiltonian to the unitary operator \(U=\exp (-i H t)\)20.
Quantum walk-based search algorithms (QWSA) have diverse applications across fields such as optimization, machine learning, cryptography, and network analysis32. Quantum search algorithms have an asymptotic quadratic acceleration in terms of oracle calls unlike their classical cousins17,21.
Quantum-walk search with multiple points has been extensively studied in previous literature33,34,35,36,37,38. While the algorithm can locate multiple nodes within a graph, however not all the marked points are equally amplified. Further, a chronological ordering of the marked nodes, if there exists any, is completely ignored by the algorithm. These drawbacks make the algorithm unsuitable for sorting dynamical data. In the present work, we specifically address these issues regarding the QWSA. To resolve this, we associate a label to each of the marked nodes in the form of additional quantum bits. While this increases the dimension of the associated Hilbert space, we secure an extra handle that can be used to distinguish the ordering of marked nodes. We study the specific case of QSWA in finite two-dimension lattice with open and periodic boundary conditions, i.e. the open grid and the torus. In addition, we also consider the instances where the labels can be static or dynamic, as explained diagrammatically in Fig. 1.
The distinction between static and dynamic labeling relies on whether there is a flow of probability between various sheets. Our refined algorithm can address a variety of applications, including real-time object tracking, trajectory prediction, financial market analysis, dynamic optimization problems, and network management and routing that includes dynamical components. The labeling concept is not new and has been applied to element distinctness problems in quantum algorithms. However, to our knowledge, we are not aware of the application of the labeling concept in the context of quantum search algorithms. As a concrete illustration of the scope of applicability of our algorithm, we consider a particle moving in two-dimensional lattice with time and show that the algorithm is capable of detecting the coordinates of the particle as it moves with time. Further, to properly connect with the idea of integrating our QWSA with state-of-the-art quantum hardware, we construct an equivalent quantum circuit that can implement the algorithm. The rest of the paper is organized as follows:
In “Quantum walk search algorithms”, we briefly introduce the quantum walk-based search algorithm. In particular, we give an explicit formulation for finite two-dimensional lattices with open and periodic boundary conditions. In “QWSA for ordered marked nodes”, we introduce a formulation to incorporate category to each marked point, which requires extra label states. We consider cases where there can be probability flow between layer states or categories. In “Quantum tracking problem”, we use our previous formulation to design an algorithm for particle tracking. In “Quantum circuit implementation”, we propose quantum circuit implementation of the quantum algorithm and study the complexity scaling of the algorithm. We conclude in “Discussion and conclusion” with conclusions and future directions.
Quantum walk search algorithm
Let \(G = (V,E)\) be a finite d-regular graph, where V is a set of vertices (nodes), E is the set of edges connecting the nodes, and \(N = |V|\) is the number of vertices. The labels of the vertices are 0 to \(N-1\), and the labels of the edges are 0 to \(d-1\). A discrete-time quantum walk on the graph G generates a unitary evolution operator in the Hilbert space \(\mathcal {H}_U=\mathcal {H}_{\text {pos}}\otimes \mathcal {H}_{\text {coin}}\): the position space \(\mathcal {H}_\text {pos}\) and the coin space \(\mathcal {H}_\text {coin}\). \(\mathcal {H}_\text {pos}\) is spanned by {\(|v\rangle \): \(0 \le v \le N-1\)}, while \(\mathcal {H}_\text {coin}\) is spanned by \(\{|a\rangle : 0\le a\le d-1\}\) represents the internal states (often called “coin states”) associated with each node. At any time t, the state can be represented by
Each step of the DTQW is generated by a unitary operator consisting of coin operation C on the internal degrees of freedom followed by a conditional position shift operation S on the configuration space. Therefore, the state at time t and \((t+\tau )\) (where \(\tau \) is the time required to implement one step of the walk) satisfies the relation,
whereby imposing the operator form of the evolution operator \(U=S(C\otimes I)\). With this information, we are set to address the QWSA. Consider that the walker starts from an initial state, which is a uniform superposition of all states over internal and external degrees of freedom,
where \(|\psi _c^{(d)}\rangle \) is uniform superposition state in coin space. The idea behind the QWSA is starting with (3), can we define a unitary operator that localizes the state to a certain point (say \(|v_0\rangle \)) on the grid. This operation is mathematically represented as
The mathematical equation above states simply that after t such operations of a unitary operator \(U'\), the wave function localizes at the point \(|v_0\rangle \) where the time t is related to the size of the grid and the marked node configuration. The probability of success is the maximal probability for locating the node \(|v_0\rangle \) and is related to the number of times t, the \(U'\) operator has been applied on the initial state. For a single marked node, the operator \(U'\) is related to the unitary operator for the DTQW \(U=S\cdot (C\otimes I)\) by the relation,
where R is called “Search Oracle” and contains the information about the marked node(s). In essence, it is a phase shift operator that reverses the phase of all but one node (i.e. the marked node) by \(e^{i\pi }\). For a single marked node, the Search Oracle has a simple functional form19,38
Without the coin state, this form coincides with the Grover Search Oracle39
The search oracle R can be easily generalized for multiple marked nodes,
where M is set of marked multiple marked node. To illustrate the concrete structure of the algorithm, we will consider a finite two-dimensional lattice with open and periodic boundary conditions.
Finite two-dimensional lattice
Consider the quantum-walk search algorithm in the \(\sqrt{N}\times \sqrt{N}\) square lattice. We will consider both open and periodic boundary conditions. The quantum state spanned by \( \{|i,j\rangle \otimes |x,y\rangle : i,j\in [0,1] \ \& \ 0\le x,y\le \sqrt{N}-1\} \) where \(|i,j\rangle \) represents coin state, and \(|x,y\rangle \) represents position state. The shift operator S is the flip-flop shift operator given by
The flip-flop shift operator invert the coin state as it shift the position state. This inversion in the con state is important for speeding up search algorithms on the two-dimensional lattice19,38. In explicit notation, we can write coin state as
In this notation, the flip-flop ship operator for the periodic boundary condition given by
where superscript in \(S_c^{(2)}\) is to emphasize that there are two directions of motion. In periodic boundary condition, the position state obey the cyclic property \(|x+\sqrt{N}\rangle = |x\rangle \) and \(|y+\sqrt{N} \rangle = |y\rangle \). Therefore, the geometry of two-dimensional lattice with periodic boundary condition is equivalent to torus as shown in Fig. 2. For open boundary condition, the shift operator is defined as the sum of interior term (see Fig. 3)
and boundary (exterior)
as \(S_\text{o}^{(2)} = S_\text {int}^{(2)} + S_\text {ext}^{(2)}\). The explicity form of \(S_\text {int}^{(2)}\) and \(S_\text {ext}^{(2)}\) is chosen so that the shift operator \(S_\text{o}^{(2)}\) is unitary i.e. \( S_{{\text{o}}}^{{(2)}} (S_{{\text{o}}}^{{(2)}} )^{\dag } = (S_{{\text{o}}}^{{(2)}} )^{\dag } S_{{\text{o}}}^{{(2)}} = I \) (see supplementary material). The coin operator in the quantum-walk search is chosen to be the Grover diffusion operator40,41
The state is initialized as an equal superposition in coin and position space, given by
The modified unitary operator in Eq. (5) is applied optimal time \(t_\text {op}\) times to initial state
which amplifies the probability amplitude of target states. For the two-dimensional lattice, the complexity of the algorithm is given by \(\mathcal {O}(\ln N)\). The running time is \(t_\text {op}= \mathcal {O}(\sqrt{N\ln N})\) and the success probability is \(p_\text {succ} = \mathcal {O}(1/\ln N)\)19.
Results
QWSA for ordered marked nodes
In previous literature33,34,35,36,37,38, quantum-walk search with multiple marked points has been extensively studied. In a general QWSA, multiple marked points can indeed exist on the graph, and there is no inherent (chronological) ordering associated with these marked points. The algorithm’s objective is to efficiently locate any one of these marked points without any preference for their order. In this section, we consider that there is an additional (and preferably a chronological) ordering associated with marked points, and devise a refined algorithm that addresses this ordering. More generally, our refined algorithm will address the case where we have multiple marked points belonging to different categories and we will be searching for the point along with its category.
For starters, consider a total of m different categories \(\eta _z\) where \(z = 0,1,2,\ldots ,m-1\). Further, we assume that a particular category \(\eta _z\) has a unique marked point. To represent this system, we introduce additional label states \(|\eta _z\rangle \) with \(0\le z\le m-1\), adding an extra dimension to the Hilbert space. We consider a finite two-dimensional lattice, although our method can be easily generalized to arbitrary graphs and dimensions. Figure 4 shows the schematic diagram of Hilbert space for the search algorithm, which shows replicated layers of the 2d lattice representing different categories \(\eta _z\). Depending on whether the motion between different layers (categories) is allowed or not, we have two different scenarios: static labeling and dynamic labeling.
Static labelling
Consider the case where the walker is not allowed to move between the layers. The Hilbert space is spanned by basis \( \{|i,j\rangle \otimes |x,y\rangle \otimes |\eta _z\rangle : i,j \in [0,1]\ \& \ 0\le x,y\le N-1\ \& \ 0\le z\le m-1\}\). The oracle can be written as
where \(M_z\) is set of marked nodes in layer z, and \(\mathscr {X} \equiv (x,y)\) to unclutter the notations. Since the walker does not move between the layers, the shift and coin operator are the same as the unordered marked case as described in “Quantum walk search algorithms”. Note that the Hilbert space for this case is reducible to a direct sum of Hilbert spaces associated with different layers. Therefore, the algorithm boils down to a set of independent reduced QWSA on each layer. Following the reducibility of the Hilbert space, we can write the evolution operator as a direct sum of evolution operators of individual layers
where \(U_z = S_z(C_z\otimes I)\) and
The initial state is an equal superposition in coin, position, and label space, given by
The modified operator \(U'\) is applied \(t_\text {op}\) times to the state, which amplifies the marked points and their associated labels. To illustrate the algorithm, we perform a numerical simulation of the algorithm on \(16\times 16\) grid under both open and periodic boundary conditions. The simulation includes four marked nodes at position \(\{(6,8),(8,9),(12,5),(15,5)\}\), which necessitates four layers or label states.
Figure 5 shows the probability of finding a labeled marked node as a function of the number of steps taken by the algorithm. Figure 6 displays the probability distribution at the optimal time step. For the periodic boundary condition, we observe that the probabilities of finding each marked node coincide. This results from the translational symmetry inherent in the toroidal geometry of the lattice. In contrast, under the open boundary condition, the probability of finding a marked node generally depends on its location due to boundary effects. Increasing the system size would lead us to anticipate the disappearance of boundary effects. Consequently, we expect the two probability distributions to converge as the number of nodes N approaches infinity.
As a consequence of separability of algorithm to independent QWSA on each layer, the optimal time \(t_\text {op}\) is the same as that for a conentional QWSA. Although, since the probability weight of wavefunction on each layer is scaled down by the factor of number of layers, as a result the success probability \(p_\text {succ}\) is also scaled down by the number of the same factor. Therefore, the success probability associated with each layer is \(\mathcal {O}(1/(m\ln N))\).
Dynamic labelling
For the dynamical labeling, where we allow for inter-layer transition, the coin space includes an additional direction to facilitate such motion (along the direction of the labels). The corresponding Hilbert space is spanned by a basis \( \{|i,j,k\rangle \otimes |x,y\rangle \otimes |\eta _l\rangle : i,j,k \in [0,1]\ \& \ 0\le x,y\le N-1\ \& \ 0\le k\le m-1\}\) which has dimension \(8mN^2\). The Grover diffusion operator \(G_3\) is elevated to a three-qubit operator. There can be further analogous extensions to open and periodic boundary conditions along the label direction, but we will stick to open boundary along the label direction. Similarly, the shift operator becomes,
The modified unitary evolution for the search given by
where the search oracle is given by
The initial state is a uniform superposition in Hilbert space. The modified operator \(U'\) is applied \(t_\text {op}\) times on this state, which amplifies the marked point along with labels.
We demonstrate the amplification due to dynamic labeling for the case of the open grid and torus with the same parameters as static case in Fig. 7, and probability distribution at optimal time-step in Fig. 8. Note that in this case, the torus (as in the case of static labeling) has a unique \(t_\text {op}\). While the open grid performs much better than the static labeling and possesses a close to unique \(t_\text {op}\) where all the marked nodes are simultaneously amplified.
Scaling
This section investigates how the success probability of our search algorithm scales with the lattice size. We illustrate this by considering the algorithm with two marked nodes, \(\{[0,0],[1,1]\}\), on lattices of varying sizes. In Fig. 9 presents the success probability of individual marked points and the collective success probability (sum of all individual success probabilities) for both static and dynamical cases. We fit the curve \(a/\log (bN)\), which indicating that the algorithm exhibits similar scaling behavior as the conventional QWSA in two-dimensional lattices19. Therefore, the collective sucess probability of our search algorithm scales as \(\mathcal {O}(1/\ln (N))\), while the success probability of individual marked point scales as \(\mathcal {O}(1/m\ln (N))\).
Quantum tracking problem
So far, we have examined our refined QWSA for searches on 2d surfaces using open and periodic boundary conditions. We have established that in most cases, the algorithm works better for simultaneous amplification of multiple marked nodes at a unique time \(t_\text {op}\). In simple terms, this implies that there exists a unitary operator U such that \(U^{t_\text {op}}\) acting on a maximally superposed initial state can maximize the probability of the marked nodes. In this section we demonstrate a practical application of the algorithm introduced in *QWSA for ordered marked nodes” for tracking a particle moving in real-time.
We consider a particle moving on a 2d surface and the time taken by the particle to move one step is \(\delta t\). Let us assume that position of particle at an instance of time \(t_z = z\delta t\) with \(z = 0,1,2,\ldots \) is \(\mathcal {X}_z = (x_z,y_z)\). Our aim is to find the trajectory of the particle i.e. \(\mathcal {X}_z\).
A two-dimensional lattice represents the particle’s configuration space and labels represent time steps. For example \(\mathcal {X}_z=(x_z,y_z)\) represents the coordinates of the particle at time \(t=z\delta t\). However, it would seem that associating labels with time has an obvious disadvantage in terms of resources, since the time variable continues to increase and so does the labels, hinting at a requirement of potentially infinite resource well. This in turn makes our labelling algorithm practically inapplicable owing to our limited resources. To overcome this problem, we will recycle our labels. Let’s understand this in more detail. Let us define layers \(l_0,l_1,l_2,\ldots \) representing the configuration space of a particle at time \(0,\delta t,2\delta t,\ldots \). Furthermore, we assume that the probability amplification takes computational time (\(s_i\)) such that \(s_0,s_1,s_2,\ldots \ll O(T)\). In general, the maximum time of amplification T is greater than the time step \(\delta t\). Therefore, the information about the particle’s appearance must remain in the constructed oracle for at most time T. Let us define m as \(m = [ T/\delta t]\) which is the number of steps that particles take in time T which is the least number of layers required. Therefore, we can write the oracle as
where \(f(x,y) = \Theta (x) - \Theta (y)\), and \(\Theta (x)\) is Heaviside step function. The shift-operator is used in accord with boundary conditions, and the coin-operator is the Grover diffusion operator \(G_2\) as we are considering single-layer amplification. The time profile of probability distribution for different layers is provided in supplementary material.
Methods
Quantum circuit implementation
In this section, we will propose quantum circuit implementation for quantum walk search for ordered marked nodes as well as quantum tracking problems that have a similar structure. In Fig. 10, we show a schematic of a quantum circuit for quantum walk search. The qubits \(q_0,q_1,\ldots ,q_D\) represents position space so that \(2^D = N\), and \(c_1,c_2\) represents coin space. The initial state which is a uniform superposition in position and coin space is constructed through the Hadamard operator. The modified unitary operator is then applied \(t_\text {op}\) times which gives probability amplitude amplification for marked points.
For our QWSA with labelled marked points, we introduce extra qubits for the layers. Figure 11 represents a schematic of a quantum circuit for static labelling with additional \(Q_1,Q_2,\ldots ,Q_{D'}\) qubits for \(2^{D'} = m\) layers (or labels). The circuit for dynamic labelling is similar except we have three qubits for coin space. The equivalent circuit for quantum tracking is also similar to that for QWSA with static labelling. The specific structure of the oracle and other elements depends on configurations of marked points and turns out to be control unitary operations. We construct the coin, shift and the oracle operator, explicitly below.
Coin-operator
The explicit implementation of coin and shift operator, and complexity in the discrete-time quantum walk has been previously done in42,43,44,45. In QWSA, the coin operator is a Grover diffusion operator in two qubits. The optimal circuit construction for a qubit real unitary operator requires at most 2 CNOT and 12 one-qubit gates46. Although, the Grover diffusion operator can be implemented with 1 CNOT and 4 one-qubits gates (see Fig. 12).
Another way to implement the Grover diffusion operator is to write it in Hadmard basis, in which, it is given by47
Implementing the operator A as a quantum circuit becomes straightforward by incorporating ancilla qubits. These ancilla qubits serve to verify whether the input comprises entirely of 0’s, allowing for the inversion of the phase if it does not.
Shift-operator
The flip-flop shift operator is a conditional incrementor over position space qubits. To explicitly implement this, we start with mapping computational basis associated with position \(x = 0,1,2,\ldots ,\sqrt{N}-1\) into qubit basis by representing state \(|x\rangle \) into its binary representation (similar for y direction). As discussed in44, we can construct an incrementor circuit as shown in Fig. 13 using a series of multi-qubit CNOT gates. A n-qubit CNOT gate can be decompose into \(\approx 16n\) Toffoli gates, achieving \(\mathcal {O}(n)\) bound48. An analogous circuit of decrementor can also be constructed using a multi-qubit CNOT gate by changing the control qubits as shown in Fig. 13. We can, therefore, construct a flip-flop shift operator using a conditional operator over coin qubits as shown in Fig. 14.
In case of multiple layers, the translation operator couples with qubit representing layers depending on static or dynamic labelling. As we seen in “QWSA for ordered marked nodes”, the algorithm decouples for static labelling, therefore the shift operator remains the same. In case of dynamic labelling, we add an extra coin-qubit to allow inter-layer flow, as shown in Fig. 14.
Oracle
Finally, consider the oracle R which we claim to be a controlled Grover diffusion operator (up to a phase), where control qubits are marked states. To prove this, consider the form of oracle in Eq. (8). This operator acts trivially (as identity) on the states which does not belong to set of marked nodes M, while it acts as \(I\otimes (I - 2|\psi _c^{(d)}\rangle \langle \psi _c^{(d)}|) \) if the state belongs to M. The operator \(I - 2|\psi _c^{(d)}\rangle \langle \psi _c^{(d)}|= -G^{(d)}\) is Grover diffusion operator up to a phase of \(e^{i\pi }\). This is results follows for the case of multilayer search oracle except the control operation is over state \(|x,y,\eta _z\rangle \) where \((x,y) \in M_z\).
To illustrate this result, consider a quantum-walk search on \(2\times 2\) lattice with a marked point chosen to be (0, 0) without the loss of generality. We map the position states in qubit states as shown in Fig. 15. The oracle can be written as
The first term does not affect the state and the second term only contributes when the position state is a marked state \(|00\rangle \). More explicitly,
Therefore, it’s a control operation over marked state \(|00\rangle \) with controlled operation \(-G^{(2)}\). Figure 15 shows the quantum circuit implementation of this Oracle. Consider the case of ordered marked points with two categories, therefore, we require one additional qubit for two layers. Further, we assume that the two categories contain marked points \(|00\rangle \) and \(|11\rangle \) (see Fig. 16). The oracle operator R can be written as
where we assumed static labelling (but easily generalized to dynamic case). Following the similar argument as before, the oracle operator only acts non-trivially to marked labelled states which belong to set \(M_z\), in this case, \(|000\rangle \) and \(|111\rangle \). More explicitly,
where \(|x,y,\eta _z\rangle = |000\rangle , |111\rangle \). As before, this is controlled Grover diffusion operator over marked position states acting on coin state.
The complexity scaling
In this section, we analyze the complexity scaling (resource required) of the quantum algorithm both with system size. We will focus on quantum-walk search with ordered marked points from which the complexity of the quantum tracking problem can easily be derived.
As we previously seen the Hilbert space dimensions of single and multi-layer amplification algorithms are 4mN and 8mN respectively, where N is the number of lattice points and m is the number of categories or layers. Therefore, the qubit requirement scale is \(\mathcal {O}(\log (mN))\) with system size. The major cost of the operator in the algorithm comes from the flip-flop shift operator. We can find how many Toffoli gates required for the flip-flop shift operator for single-layer amplification
which is \(\mathcal {O}(4D^2)\). For the multi-layer amplification case, this modifies to \(\approx 4(D^2 + D) + 8D'(D'+1) \) due to the additional operator needed for hopping between layers. The n-qubit Toffoli gate requires at least 2n CNOT gates49, therefore, the number of CNOT gates required is approximately of order \(\mathcal {O}(8D^2)\). The construction of the oracle requires control operation of Grover’s diffusion operator as many times as the number of marked points. For a large data set and a small number of marked points, we expect the cost due to shift operator to dominate, and therefore resource requirement is polynomial in the number of gates required for a single step. Therefore, the complete algorithm requires at least \(\approx t_\text {op} \mathcal {O}(D^2)\) CNOT gates.
Discussion and conclusion
The conventional QWSA is aimed at finding a marked node in a graph but lacks the ability to characterize the nodes when more than one is present. We propose a modification that locates multiple marked nodes and characterizes them with respect to an existing (chronological) ordering. Clearly, our algorithm can also be extended to cases where the categorization of marked nodes is based on some attribute other than temporal. This involves the introduction of extra qubits associated with categories. We give an explicit form of oracle in two separate cases depending upon whether there’s an inter-flow of probability between categories. As a concrete application, we used our formulation for particle tracking in real-time. Finally, we also construct an equivalent quantum circuit for the algorithm, with the prospect of integration with the contemporary quantum hardware. However, this is a beginning step, where we have just scratched the tip of the iceberg, and a lot more needs to be amended in the algorithm before it gets market-ready. We will point out some immediate follow-up questions that we intend to resolve and extend the scope of the algorithm:
-
More generic geometries: we have considered the algorithm on a simple two-dimensional lattice w/o boundary conditions. The immediate generalization would be to consider more generic and perhaps non-trivial geometries with intricacies. For example, we would consider a percolation lattice in 2d with different weighted edges and on-site potentials. These geometries represent various scenarios in real-time systems. Another direction worth pursuing is the search on graphs themselves. A part of the problem is already addressed in “Quantum tracking problem” where we considered the simpler version of50 where the authors discuss searches on temporal (time-varying) graphs. We would like to see if our algorithm can be extended to address multiple temporal graphs with intersecting vertices. This would be helpful in elevating the predictability of the algorithm from a tracking to a tracking-intercepting algorithm.
-
Localization and quantum state transfer: These two concepts are seemingly disconnected. Localization explains how particle propagation (plane waves) can be restricted (localized distribution) in the presence of disorder in the media51. In particular, it is demonstrated in the context of DTQW in various settings52,53,54. Quantum State transfer concerns the propagation of a specific quantum state from one node (origin) to another (target) through a complex network (e.g., a spin chain)55,56. These two ideas are not quite connected with each other and are more disconnected from the QWSA. The question, however, is whether we can establish a connection between the search algorithm and the localization aspect by thinking of the search oracle as a disorder in an otherwise non-chaotic media. Similarly, instead of taking a complete superposition for an initial state, can we single out the marked nodes with any biased (a specific) initial state? The real question in both scenarios is to interpret the “Search Oracle” R as a disorder operator from the physics point of view, which in turn can help understand the search oracle better and amend it for other purposes based on insights from physics.
Data availibility
The datasets generated and analysed during the current study are publicly available via q-search repository, https://github.com/Kmax-art/q-search. The supplementary material contains a .gif movie for tracking problem.
References
Bacon, D. & van Dam, W. Recent progress in quantum algorithms. Commun. ACM 53, 84–93. https://doi.org/10.1145/1646353.1646375 (2010).
Montanaro, A. Quantum algorithms: An overview. NPJ Quantum Inf. 2, 15023. https://doi.org/10.1038/npjqi.2015.23 (2016).
Ladd, T. D. et al. Quantum computers. Nature 464, 45–53. https://doi.org/10.1038/nature08812 (2010).
Gisin, N., Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phys. 74, 145–195. https://doi.org/10.1103/RevModPhys.74.145 (2002).
Magniez, F., Nayak, A., Roland, J. & Santha, M. Search via quantum walk. In Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing 575–584 (2007). https://doi.org/10.1145/1250790.1250874.
Cerezo, M. et al. Variational quantum algorithms. Nat. Rev. Phys. 3, 625–644. https://doi.org/10.1038/s42254-021-00348-9 (2021).
Shor, P. Algorithms for quantum computation: Discrete logarithms and factoring. In Proceedings 35th Annual Symposium on Foundations of Computer Science, 124–134. https://doi.org/10.1109/SFCS.1994.365700 (1994).
Lloyd, S. Universal quantum simulators. Science 273, 1073–1078. https://doi.org/10.1126/science.273.5278.1073 (1996).
Harrow, A. W., Hassidim, A. & Lloyd, S. Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103, 150502. https://doi.org/10.1103/PhysRevLett.103.150502 (2009).
Childs, A. M. & van Dam, W. Quantum algorithms for algebraic problems. Rev. Mod. Phys. 82, 1–52. https://doi.org/10.1103/RevModPhys.82.1 (2010).
Jordan, S. P., Lee, K. S. M. & Preskill, J. Quantum algorithms for quantum field theories. Science 336, 1130–1133. https://doi.org/10.1126/science.1217069 (2012).
Bauer, B., Bravyi, S., Motta, M. & Chan, G.K.-L. Quantum algorithms for quantum chemistry and quantum materials science. Chem. Rev. 120, 12685–12717. https://doi.org/10.1021/acs.chemrev.9b00829 (2020).
Ambainis, A. Quantum search algorithms. ACM SIGACT News 35, 22–35. https://doi.org/10.1145/992287.992296 (2004).
Georgescu, I. M., Ashhab, S. & Nori, F. Quantum simulation. Rev. Mod. Phys. 86, 153–185. https://doi.org/10.1103/RevModPhys.86.153 (2014).
Trabesinger, A. Quantum simulation. Nat. Phys. 8, 263–263. https://doi.org/10.1038/nphys2258 (2012).
Grover, L. K. A fast quantum mechanical algorithm for database search. In Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, 212–219. https://doi.org/10.1145/237814.237866 (1996).
Santos, R. A. M. Szegedy’s quantum walk with queries. Quantum Inf. Process. 15, 4461–4475. https://doi.org/10.1007/s11128-016-1427-4 (2016).
Santha, M. Quantum walk based search algorithms. In Theory and Applications of Models of Computation (eds Agrawal, M. et al.) 31–46 (Springer, 2008). https://doi.org/10.1007/978-3-540-79228-4_3.
Portugal, R. Quantum Walks and Search Algorithms (Springer, 2013).
Venegas-Andraca, S. E. Quantum walks: A comprehensive review. Quantum Inf. Process. 11, 1015–1106. https://doi.org/10.1007/s11128-012-0432-5 (2012).
Ambainis, A. Quantum walks and their algorithmic applications. Int. J. Quantum Inf. 01, 507–518. https://doi.org/10.1142/S0219749903000383 (2003).
Oka, T., Konno, N., Arita, R. & Aoki, H. Breakdown of an electric-field driven system: A mapping to a quantum walk. Phys. Rev. Lett. 94, 100602. https://doi.org/10.1103/PhysRevLett.94.100602 (2005).
Engel, G. S. et al. Evidence for wavelike energy transfer through quantum coherence in photosynthetic systems. Nature 446, 782–786. https://doi.org/10.1038/nature05678 (2007).
Mohseni, M., Rebentrost, P., Lloyd, S. & Aspuru-Guzik, A. Environment-assisted quantum walks in photosynthetic energy transfer. J. Chem. Phys. 129, 174106. https://doi.org/10.1063/1.3002335 (2008).
Chandrashekar, C. M. & Laflamme, R. Quantum phase transition using quantum walks in an optical lattice. Phys. Rev. A 78, 022314. https://doi.org/10.1103/PhysRevA.78.022314 (2008).
Chandrashekar, C. M. Disordered-quantum-walk-induced localization of a Bose-Einstein condensate. Phys. Rev. A 83, 022320. https://doi.org/10.1103/PhysRevA.83.022320 (2011).
Kitagawa, T., Rudner, M. S., Berg, E. & Demler, E. Exploring topological phases with quantum walks. Phys. Rev. A 82, 033429. https://doi.org/10.1103/PhysRevA.82.033429 (2010).
Shenvi, N., Kempe, J. & Whaley, K. B. Quantum random-walk search algorithm. Phys. Rev. A 67, 052307. https://doi.org/10.1103/PhysRevA.67.052307 (2003).
Childs, A. M., Cleve, R., Deotto, E., Farhi, E. et al. Exponential algorithmic speedup by a quantum walk. Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, 59–68. https://doi.org/10.1145/780542.780552 (2003).
Ambainis, A., Kempe, J. & Rivosh, A. Coins make quantum walks faster. In Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 1099–1108 (2005).
Chandrashekar, C. M. Discrete-Time Quantum Walk—Dynamics and Applications. https://doi.org/10.48550/arXiv.1001.5326 (2010). arXiv:1001.5326 [quant-ph].
Kadian, K., Garhwal, S. & Kumar, A. Quantum walk and its application domains: A systematic review. Comput. Sci. Rev. 41, 100419. https://doi.org/10.1016/j.cosrev.2021.100419 (2021).
Xu, Y., Zhang, D. & Li, L. Robust quantum walk search without knowing the number of marked vertices. Physi. Rev. A 106, 052207. https://doi.org/10.1103/PhysRevA.106.052207 (2022).
Wong, T. G. & Santos, R. A. M. Exceptional quantum walk search on the cycle. Quantum Inf. Process. 16, 154. https://doi.org/10.1007/s11128-017-1606-y (2017).
Abhijith, J. & Patel, A. Spatial search using flip-flop quantum walk. Quantum Inf. Comput. 18, 1295–1331. https://doi.org/10.26421/QIC18.15-16-3 (2018).
Li, M. & Shang, Y. Generalized exceptional quantum walk search. N. J. Phys. 22, 123030. https://doi.org/10.1088/1367-2630/abca5d (2020).
Glos, A., Nahimovs, N., Balakirev, K. & Khadiev, K. Upperbounds on the probability of finding marked connected components using quantum walks. Quantum Inf. Process. 20, 6. https://doi.org/10.1007/s11128-020-02939-4 (2021).
Bezerra, G. A., Lugão, P. H. G. & Portugal, R. Quantum-walk-based search algorithms with multiple marked vertices. Phys. Rev. A 103, 062202. https://doi.org/10.1103/PhysRevA.103.062202 (2021).
Kaye, P. et al. An Introduction to Quantum Computing (Oxford University Press, 2006).
Tregenna, B., Flanagan, W., Maile, R. & Kendon, V. Controlling discrete quantum walks: Coins and initial states. New J. Phys. 5, 83. https://doi.org/10.1088/1367-2630/5/1/383 (2003).
Watabe, K., Kobayashi, N., Katori, M. & Konno, N. Limit distributions of two-dimensional quantum walks. Phys. Rev. A 77, 062331. https://doi.org/10.1103/PhysRevA.77.062331 (2008).
Fillion-Gourdeau, F., MacLean, S. & Laflamme, R. Algorithm for the solution of the Dirac equation on digital quantum computers. Phys. Rev. A 95, 042343. https://doi.org/10.1103/PhysRevA.95.042343 (2017).
HuertaAlderete, C. et al. Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer. Nat. Commun. 11, 3720. https://doi.org/10.1038/s41467-020-17519-4 (2020).
Puengtambol, W., Prechaprapranwong, P. & Taetragool, U. Implementation of quantum random walk on a real quantum computer. J. Phys. Conf. Ser. 1719, 012103. https://doi.org/10.1088/1742-6596/1719/1/012103 (2021).
Bhattacharya, A., Sahu, H., Zahed, A. & Sen, K. Complexity for 1d discrete time quantum walk circuits. https://doi.org/10.48550/arXiv.2307.13450 (2023). arXiv:2307.13450 [quant-ph].
Vatan, F. & Williams, C. Optimal quantum circuits for general two-qubit gates. Phys. Rev. A 69, 032315. https://doi.org/10.1103/PhysRevA.69.032315 (2004).
Aaronson, S. Introduction to Quantum Information Science. https://www.scottaaronson.com/. Accessed 01-12-2023 (2016).
Gidney, C. Constructing Large Controlled Nots (2015).
Shende, V. V. & Markov, I. L. On the CNOT-cost of TOFFOLI gates. Quantum Inf. Comput. 9, 461–486 (2009).
Chakraborty, S., Novo, L., Di Giorgio, S. & Omar, Y. Optimal quantum spatial search on random temporal networks. Phys. Rev. Lett. 119, 220503. https://doi.org/10.1103/PhysRevLett.119.220503 (2017).
Anderson, P. W. Absence of diffusion in certain random lattices. Phys. Rev. 109, 1492–1505. https://doi.org/10.1103/PhysRev.109.1492 (1958).
Zeng, M. & Yong, E. H. Discrete-time quantum walk with phase disorder: Localization and entanglement entropy. Sci. Rep. 7, 12024. https://doi.org/10.1038/s41598-017-12077-0 (2017).
Derevyanko, S. Anderson localization of a one-dimensional quantum walker. Sci. Rep. 8, 1795. https://doi.org/10.1038/s41598-017-18498-1 (2018).
Sen, K. Exploring \$2d\$ localization with a step dependent coin. https://doi.org/10.48550/arXiv.2303.06769 (2023). arXiv:2303.06769 [cond-mat, physics:hep-th, physics:math-ph, physics:quant-ph].
Cirac, J. I., Zoller, P., Kimble, H. J. & Mabuchi, H. Quantum state transfer and entanglement distribution among distant nodes in a quantum network. Phys. Rev. Lett. 78, 3221–3224. https://doi.org/10.1103/PhysRevLett.78.3221 (1997).
Christandl, M., Datta, N., Ekert, A. & Landahl, A. J. Perfect state transfer in quantum spin networks. Phys. Rev. Lett. 92, 187902. https://doi.org/10.1103/PhysRevLett.92.187902 (2004).
Acknowledgements
H.S. thanks Kanad Sengupta for the discussion on part of the quantum circuit. K.S. was partially supported by São Paulo Funding Agency FAPESP Grants 2021/02304-3 and 2019/24277-8. The authors thank Prof. Urbasi Sinha for discussions and useful comments on the work.
Author information
Authors and Affiliations
Contributions
K.S. conceived the research problem. K.S. and H.S. jointly formulated the quantum algorithms and conducted independent numerical experiments. H.S. proposed the quantum circuit with guidance and support from K.S. H.S. took the lead in manuscript preparation with assistance from K.S.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
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
Sahu, H., Sen, K. Quantum-walk search in motion. Sci Rep 14, 2815 (2024). https://doi.org/10.1038/s41598-024-51709-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-024-51709-0
- Springer Nature Limited