arrow
Return

A Quantum Algorithm for Boolean Functions Processing

delete2024-01-01
delete0
delete
OA
AI
F
Fahad Aljuaydi
A
Abdelazim, Samar
M
Mohamed Darwish
M
Mohammed Zidan *
DOI:10.1109/ACCESS.2024.3486333delete
deleteOriginal
deleteShare
deleteSave
Abstract

Abstract

En 中文
Detecting junta variables is a critical issue in Boolean function analysis, circuit design optimization, and machine learning feature selection. In this paper, we investigate a novel quantum computation algorithm based on the Mz operator. The algorithm takes in an unknown oracle concealing a Boolean function with n variables and an unknown input state, which can be quantum or classical. The input state can be complete or incomplete quantum basis states, and it can be a weighted or uniform superposition of basis states. The proposed approach determines whether a given variable is a junta with a time cost of O (2 /& varepsilon; (2) ) and a memory cost of 2n+ 6. The algorithm is analyzed and experimentally implemented using the Qiskit simulator and IBM's real quantum computer. Experimental results show that the proposed approach achieved a quantum supremacy ratio 6300% higher than that of the classical method when verifying junta variables for Boolean functions with 12 variables. The results suggest that the proposed quantum method can verify junta variables in scenarios beyond the capabilities of current classical or quantum methods.
Keywords:
Quantum computing
Boolean functions
Qubit
Computational modeling
Quantum entanglement
Machine learning
Costs
Testing
Computer science
Time complexity
Quantum algorithm
junta problem
Mz
entanglement

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
35.4W

Organization

A
Assiut University
Scholars:
196
Papers: 98
Citations: 1.9K
U
University of Tabuk
Scholars:
363
Papers: 185
Citations: 1.9K
E
egyptian knowledge bank (ekb)
Scholars:
11.6W
Papers: 9.3W
Citations: 9.8W
P
prince sattam bin abdulaziz university
Scholars:
380
Papers: 221
Citations: 4.2K
researcher View more organizations
Cited Papers

Cited Papers

errShare
errSave
Factoring semi-primes with (quantum) SAT-solvers
err2022-05-14
err12
errOAAI
errMosca, Michele; Verschoor, Sebastian R.
errShare
errSave
errShare
errSave
Tight bounds on quantum searching
err1998-06-01
err750
errOAAI
errBoyer, M; Brassard, G; Hoyer, P; Tapp, A
errShare
errSave
Quantum Internet-Applications, Functionalities, Enabling Technologies, Challenges, and Research Directions
err2021-01-01
err58
errOAAI
errSingh, Amoldeep; Dev, Kapal; Siljak, Harun; Joshi, Hem Dutt; Magarini, Maurizio
errShare
errSave
researcher View more