Deterministic Search on Complete Bipartite Graphs by Continuous Time Quantum Walk

Honghong Lin,Yun Shang
2024-05-10
Abstract:This paper presents a deterministic search algorithm on complete bipartite graphs. Our algorithm adopts the simple form of alternating iterations of an oracle and a continuous-time quantum walk operator, which is a generalization of Grover's search algorithm. We address the most general case of multiple marked states, so there is a problem of estimating the number of marked states. To this end, we construct a quantum counting algorithm based on the spectrum structure of the search operator. To implement the continuous-time quantum walk operator, we perform Hamiltonian simulation in the quantum circuit model. We achieve simulation in constant time, that is, the complexity of the quantum circuit does not scale with the evolution time.
Quantum Physics,Data Structures and Algorithms
What problem does this paper attempt to address?
The paper mainly addresses two core issues: 1. **Deterministic Search Algorithm**: A new algorithm for deterministic search on complete bipartite graphs is proposed. This algorithm is based on continuous-time quantum walk and is implemented by alternately iterating an oracle operator and a continuous-time quantum walk operator. Compared to previous work, this algorithm can achieve a 100% success probability and is applicable to scenarios with multiple marked vertices. 2. **Quantum Counting Algorithm**: To implement the aforementioned search algorithm, it is necessary to estimate the number of marked vertices. Therefore, the paper also proposes a quantum counting algorithm, which is based on the spectral structure of the search operator and uses the quantum phase estimation (QPE) algorithm to estimate the number of marked vertices. This method provides a non-trivial example of quantum counting, applicable to spatial search problems. In summary, the main contribution of this paper lies in the development of a new deterministic search algorithm and its accompanying quantum counting algorithm, which can efficiently operate on a specific type of graph, the complete bipartite graph. Additionally, the paper discusses how to implement these algorithms in the quantum circuit model to ensure they can run on actual quantum computers.