On the optimality of spatial search by continuous-time quantum walk
arXiv:2004.12686 · doi:10.1103/PhysRevA.102.032214
Abstract
One of the most important algorithmic applications of quantum walks is to solve spatial search problems. A widely used quantum algorithm for this problem, introduced by Childs and Goldstone [Phys. Rev. A 70, 022314 (2004)], finds a marked node on a graph of nodes via a continuous-time quantum walk. This algorithm is said to be optimal if it can find any of the nodes in time. However, given a graph, no general conditions for the optimality of the algorithm are known and previous works demonstrating optimal quantum search for certain graphs required an instance-specific analysis. In fact, the demonstration of necessary and sufficient conditions a graph must fulfill for quantum search to be optimal has been a long-standing open problem. In this work, we make significant progress towards solving this problem. We derive general expressions, depending on the spectral properties of the Hamiltonian driving the walk, that predict the performance of this quantum search algorithm provided certain spectral conditions are fulfilled. Our predictions are valid, for example, for (normalized) Hamiltonians whose spectral gap is considerably larger than . This allows us to derive necessary and sufficient conditions for optimal quantum search in this regime, as well as provide new examples of graphs where quantum search is sub-optimal. In addition, by extending this analysis, we are also able to show the optimality of quantum search for certain graphs with very small spectral gaps, such as graphs that can be efficiently partitioned into clusters. Our results imply that, to the best of our knowledge, all prior results analytically demonstrating the optimality of this algorithm for specific graphs can be recovered from our general results.
This manuscript is a significantly expanded version of the sections on the performance of the Childs and Goldstone algorithm for spatial search presented in arXiv:1807.05957v1 and arXiv:1807.05957v2, along with several additional results. Comments are welcome
References in corpus (31)
- Ising formulations of many NP problems
- Quantum Amplitude Amplification and Estimation
- Quantum random walks - an introductory overview
- Universal computation by quantum walk
- Spatial search by quantum walk
- Universal computation by multi-particle quantum walk
- Search via Quantum Walk
- Spatial search by quantum walk is optimal for almost all graphs
- Spatial search and the Dirac equation
- Global Symmetry is Unnecessary for Fast Quantum Search
- Systematic Dimensionality Reduction for Quantum Walks: Optimal Spatial Search and Transport on Non-Regular Graphs
- Connectivity is a Poor Indicator of Fast Quantum Search
- Quantum walks can find a marked element on any graph
- Laplacian versus Adjacency Matrix in Quantum Walk Search
- Optimal quantum spatial search on random temporal networks
- Spatial search by continuous-time quantum walks on crystal lattices
- Quantum circuit implementation of the Hamiltonian versions of Grover's algorithm
- Finding spin-glass ground states using quantum walks
- Quantum search on graphene lattices
- Continuous-Time Quantum Search on Balanced Trees
- Quantum Walk Search on the Complete Bipartite Graph
- Finding a marked node on any graph by continuous-time quantum walk
- Quantum Walk Search on Johnson Graphs
- Continuous Time Quantum Walks in finite Dimensions
- Vertices cannot be hidden from quantum spatial search for almost all random graphs
- Quantum Walk Search on Kronecker Graphs
- Engineering the Success of Quantum Walk Search Using Weighted Graphs
- Optimal Quantum Walk Search on Kronecker Graphs with Dominant or Fixed Regular Initiators
- Quantum Walk Search through Potential Barriers
- Impact of global and local interaction on quantum spatial search on chimera graph
- Evaluation of Spectral Zeta-Functions with the Renormalization Group
Cited by in corpus (29)
- Quadratic speedup for spatial search by continuous-time quantum walk
- Review on Quantum Walk Computing: Theory, Implementation, and Application
- Complex Quantum Networks: a Topical Review
- Implementing any Linear Combination of Unitaries on Intermediate-term Quantum Computers
- Finding a marked node on any graph by continuous-time quantum walk
- Quantum spatial search in two-dimensional waveguide arrays
- Analog quantum algorithms for the mixing of Markov chains
- Quantum-classical distance as a tool to design optimal chiral quantum walk
- Feedback-assisted quantum search by continuous-time quantum walks
- Deterministic spatial search using alternating quantum walks
- Ion Trap Long-Range XY Model for Quantum State Transfer and Optimal Spatial Search
- Floquet engineering of continuous-time quantum walks: towards the simulation of complex and next-to-nearest neighbor couplings
- Improved Upper Bounds for the Hitting Times of Quantum Walks
- Quantum walk based state transfer algorithms on the complete M-partite graph
- Spatial search by continuous-time quantum walks on renormalized Internet networks
- Identifying network topologies via quantum walk distributions
- Multiparameter estimation of continuous-time Quantum Walk Hamiltonians through Machine Learning
- Quantum search in many-body interacting system with long-range interaction
- A framework for optimal quantum spatial search using alternating phase-walks
- Multimarked Spatial Search by Continuous-Time Quantum Walk
- Optimal spatial searches with long-range tunneling
- Unstructured Adiabatic Quantum Optimization: Optimality with Limitations
- Quantum search by continuous-time quantum walk on t-designs
- No Infinite Tail Beats Optimal Spatial Search
- Temporal nonclassicality in continuous-time quantum walks
- Optimal quantum spatial search with one-dimensional long-range interactions
- Universality of the fully connected vertex in Laplacian continuous-time quantum walk problems
- Perturbed graphs achieve unit transport efficiency without environmental noise
- Application of graph theory in quantum computer science