aiqbench analysis
This research proposes an alternating sequence of global and local Grover operators to reduce the expected circuit depth of quantum partial-search algorithms by over 20% compared to the standard GRK approach. By deriving exact success probabilities and asymptotically optimal parameters, the study establishes a critical boundary between depth-optimal and oracle-optimal regimes for practical implementation. This advancement directly addresses hardware constraints in near-term quantum devices where minimizing circuit depth is essential for maintaining coherence.
Circuit-depth optimization of quantum partial-search algorithms
arXiv:2609.28147v1 Announce Type: new Abstract: Grover's algorithm is optimal in terms of oracle queries. We can trade accuracy for speed, which gives rise to the quantum partial-search algorithm. The partial-search algorithm is implemented using two kinds of Grover operators, global and local, where the former is the standard Grover operator for full search and the latter has a diffusion operator acting on the search subspace. The global-local-global sequence, also known as the Grover-Radhakrishnan-Korepin (GRK) algorithm, has been proved optimal in the oracle-query metric. In this work, we show that the alternating sequence of global and local Grover operators, formed by repeatedly applying a fixed product of global and local Grover operators, can achieve a lower expected circuit depth than the GRK algorithm. Through systematic analysis, we obtain its exact success probability, expected depth, and asymptotically optimal parameters. We derive the boundary, characterized by the ratio between the depths of the oracle and the global diffusion operator, separating the depth-optimal and oracle-optimal partial-search algorithms. When the depths of the oracle and the global diffusion operator are comparable, our proposed alternating partial-search sequence can reduce the minimum expected circuit depth by more than 20\% compared with the GRK algorithm.
Abstract:Grover's algorithm is optimal in terms of oracle queries. We can trade accuracy for speed, which gives rise to the quantum partial-search algorithm. The partial-search algorithm is implemented using two kinds of Grover operators, global and local, where the former is the standard Grover operator for full search and the latter has a diffusion operator acting on the search subspace. The global-local-global sequence, also known as the Grover-Radhakrishnan-Korepin (GRK) algorithm, has been proved optimal in the oracle-query metric. In this work, we show that the alternating sequence of global and local Grover operators, formed by repeatedly applying a fixed product of global and local Grover operators, can achieve a lower expected circuit depth than the GRK algorithm. Through systematic analysis, we obtain its exact success probability, expected depth, and asymptotically optimal parameters. We derive the boundary, characterized by the ratio between the depths of the oracle and the global diffusion operator, separating the depth-optimal and oracle-optimal partial-search algorithms. When the depths of the oracle and the global diffusion operator are comparable, our proposed alternating partial-search sequence can reduce the minimum expected circuit depth by more than 20\% compared with the GRK algorithm.
arXiv:2609.28147 [quant-ph]
(or arXiv:2609.28147v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.28147 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 283 words
Related coverage

A brief history of quantum vs classical computational advantage
Quantum Journal · Sep 1, 2026
Nearly optimal quantum circuits for Boolean oracles
arXiv · Jul 31, 2026
A Bi-directional Multi-solution Scalable Grover Search Algorithm
arXiv · Aug 18, 2026

Quantum algorithms for general nonlinear dynamics based on the Carleman embedding
Quantum Journal · Oct 8, 2026