🤖 AI Summary
This work addresses the challenge of efficiently generating valid entangled states on noisy intermediate-scale quantum (NISQ) devices, which is hindered by hardware imperfections, noise, and decoherence. To tackle this, the authors propose QAccCert, a hybrid certification framework that uniquely integrates FPGA acceleration, artificial intelligence, and quantum software engineering methodologies. The framework leverages large language models to guide parameter optimization and employs violation of the CHSH inequality for entanglement verification. Experimental results demonstrate that, under ideal simulation conditions using Qiskit AerSimulator, the approach achieves 99.94% of the theoretical maximum Bell value (2√2), significantly outperforming random search in efficiency. These findings substantiate the feasibility and superiority of QAccCert for scalable and efficient certification of quantum devices.
📝 Abstract
The emergence of Quantum Software Engineering (QSE) responds to the need for systematic, disciplined, and quantifiable approaches to the development, operation, and maintenance of quantum software. Within this context, quantum computer certification represents a significant challenge: verifying that quantum devices produce valid entangled states despite hardware imperfections, noise, and decoherence. This paper presents QAccCert, a hybrid certification framework developed following QSE principles, demonstrating how heterogeneous technologies like FPGAs and Artificial Intelligence can be integrated for quantum processing. The framework implements entanglement certification through CHSH inequality violation in ideal quantum simulations using Qiskit AerSimulator. Through LLM-guided optimization, the system achieves 99.94% of the theoretical maximum of $2\sqrt{2}$, evidencing more efficient parameter space exploration than random search. These simulated results illustrate how QSE methodologies, combined with strategic technology interconnection, can be applied for practical and scalable quantum certification on real NISQ hardware in future work. This study provides a concrete case study of systematic quantum software development.