arrow
Return

A Quantum Algorithm for System Specifications Verification

delete2024-07-15
delete3
delete
OA
AI
M
Mohammed Zidan *
A
Ahmed M. Eisa
M
Montasir Qasymeh
M
Mahmoud A. Ismail Shoman
DOI:10.1109/JIOT.2024.3383034delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Verifying system specifications is a crucial requirement in science and technology, as it improves accuracy and efficiency in systems engineering. However, traditional computers are time-consuming and cannot efficiently check the consistency of system specifications for classical and quantum systems due to exponential complexity costs. Currently, there is no quantum approach available for verifying consistency in quantum systems. This article introduces a novel quantum algorithm that utilizes the virtual degree of entanglement to efficiently check the consistency of unknown system specifications represented by m oracles. The proposed algorithm has a time complexity of O(m epsilon(-2)), which is independent of the input size n and depends only on a predetermined error margin epsilon, providing exponential speedup compared to the classical approach with a time complexity of O(m2(n)). Moreover, the proposed algorithm can handle weighted superposition input states, which are impossible for classical computers to handle. Thus, the algorithm has the potential to check the consistency of both quantum and classical system specifications. The proposed algorithm is realized experimentally using IBM's Aer simulator with an input size of n = 12. The experimental results closely aligned with the theoretical predictions, demonstrating the algorithm's efficiency in checking the consistency of system specifications. Specifically, the proposed algorithm achieved a quantum supremacy ratio of 300% to 3100% compared to the classical algorithm, highlighting its significant advantage in terms of time complexity. Additionally, the simulation results confirmed the efficiency of the proposed algorithm in checking the consistency of the quantum system's specifications.
Keywords:
Quantum computing
Quantum entanglement
Computers
Qubit
Quantum algorithm
Quantum system
Prediction algorithms
Concurrence
entanglement
quantum algorithms
quantum computing
sensors
systems engineering

Journal

IEEE Internet of Things Journal cover
IEEE Internet of Things Journal
IF:
8.9
Papers:
1.4W
Citations:
7.8W

Organization

A
Abu Dhabi University
Scholars:
1.2K
Papers: 1.3K
Citations: 1.7K
S
south valley university egypt
Scholars:
1.2K
Papers: 1.1K
Citations: 0
E
egyptian knowledge bank (ekb)
Scholars:
11.6W
Papers: 9.3W
Citations: 84
researcher View more organizations