Grover’s Model with Single Oracle Call and Log( N ) Different Diffusion Calls
- 1 Department of Engineering Technology, Savannah State University, Savannah, USA
Abstract
The author has recently presented the Single-Iteration Quantum Search Algorithm, which achieves amplitude-amplification with exactly one oracle call and one π/4 rotation [1] . For N = 2 n search spaces, the algorithm achieves success probability exactly 1/2 with one iteration of oracle operator and one π/4 rotation with log( N ) different diffusion calls, compared to O ( N ) iterations ( O ( N ) oracle calls and O ( N ) same diffusion calls) for Grover’s algorithm. This work presents a simpler and cleaner derivation for one oracle call and log( N ) diffusion calls, while the original proof was based on Cartan-Dieudonné theorem [1] . The standard lower bounds for unstructured quantum search still apply even though the number of oracle calls is reduced from O ( N ) to O (1) and the number of diffusion calls is reduced from O ( N ) to O (log N ).
- Liu, Y. (2026) The Single-Rotation Quantum Search Algorithm: Amplitude Amplification with One Oracle Call. Journal of Quantum Information Science , 16, 161-190. https://doi.org/10.4236/jqis.2026.162006
- Grover, L.K. (1996) A Fast Quantum Mechanical Algorithm for Database Search. Proceedings of the Twenty - Eighth Annual ACM Symposium on Theory of Computing , Philadelphia, 22-24 May 1996, 212-219. https://doi.org/10.1145/237814.237866
- Liu, Y. (2026) The Exponential Speedup Algorithm: o (Log N ) Amplitude Amplification via Geometric Series. Journal of Quantum Information Science , 16, 132-159. https://doi.org/10.4236/jqis.2026.161005
- Nielsen, M.A. and Chuang, I.L. (2010) Quantum Computation and Quantum Information. Cambridge University Press.
- Grover, L.K. (1997) Quantum Mechanics Helps in Searching for a Needle in a Haystack. Physical Review Letters , 79, 325-328. https://doi.org/10.1103/physrevlett.79.325
- Boyer, M., Brassard, G., Høyer, P. and Tapp, A. (1998) Tight Bounds on Quantum Searching. Fortschritte der Physik , 46, 493-505. https://doi.org/10.1002/(sici)1521-3978(199806)46:4/5<493::aid-prop493>3.0.co;2-p
- Ambainis, A. (2002) Quantum Lower Bounds by Quantum Arguments. Journal of Computer and System Sciences , 64, 750-767. https://doi.org/10.1006/jcss.2002.1826
- Hoyer, P., Lee, T. and Spalek, R. (2007) Negative Weights Make Adversaries Stronger. Proceedings of the Thirty - Ninth Annual ACM Symposium on Theory of Computing , San Diego, 11-13 June 2007, 526-535. https://doi.org/10.1145/1250790.1250867
- Zalka, C. (1999) Grover’s Quantum Searching Algorithm Is Optimal. Physical Review A , 60, 2746-2751. https://doi.org/10.1103/physreva.60.2746
- Brassard, G., Høyer, P., Mosca, M. and Tapp, A. (2002) Quantum Amplitude Amplification and Estimation. Contemporary Mathematics. arXiv:quant-ph/0005055.
- Shende, V.V., Bullock, S.S. and Markov, I.L. (2006) Synthesis of Quantum-Logic Circuits. IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems , 25, 1000-1010. https://doi.org/10.1109/tcad.2005.855930
- Childs, A.M. and Wiebe, N. (2012) Hamiltonian Simulation Using Linear Combinations of Unitary Operations. Quantum Information and Computation , 12, 901-924. https://doi.org/10.26421/qic12.11-12-1
- Gilyén, A., Su, Y., Low, G.H. and Wiebe, N. (2019) Quantum Singular Value Transformation and Beyond: Exponential Improvements for Quantum Matrix Arithmetics. Proceedings of the 51 st Annual ACM SIGACT Symposium on Theory of Computing , Phoenix, 23-26 June 2019, 193-204. https://doi.org/10.1145/3313276.3316366