Published In
Scientific Reports
Document Type
Article
Publication Date
10-13-2024
Subjects
Diffusion Operators
Abstract
A controlled-diffusion operator for Boolean oracles is designed as a new approach for Grover’s algorithm to search for solutions for arbitrary logical structures of such oracles, since the Grover diffusion operator is not able to find correct solutions for some logical structures of Boolean oracles. We also show that the Phase oracles do not work sometimes correctly using the Grover diffusion operator. Our proposed controlled-diffusion operator relies on the states of output qubit, as the reflection of Boolean decisions from a Boolean oracle without relying on the phase kickback. We prove that on many examples of Boolean and Phase oracles the Grover diffusion operator is not working correctly. The oracles in these examples are constructed using different structures of POS, SOP, ESOP, CSP-SAT, and XOR-SAT. Our mathematical models and experiments prove that the proposed controlled-diffusion operator successfully searches for all solutions for all Boolean oracles regardless of their different logical structures.
Rights
This article is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License, which permits any non-commercial use, sharing, 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 license, and indicate if you modified the licensed material. You do not have permission under this licence to share adapted material derived from this article or parts of it. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license 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-nc-nd/4.0/.
© The Author(s) 2024
Locate the Document
DOI
10.1038/s41598-024-74587-y
Persistent Identifier
https://archives.pdx.edu/ds/psu/42625
Citation Details
Al-Bayaty, A., & Perkowski, M. (2024). A concept of controlling Grover diffusion operator: a new approach to solve arbitrary Boolean-based problems. Scientific Reports, 14(1).