Quantum Software Engineering in Practice: FPGA and AI Integration for Quantum Certification
📄 arXiv:2607.07597 · 📥 PDF · 2026-07-08 · quant-ph
Authors: Marcos Guillermo Lammers [arXiv · scholar] , José Manuel Suárez [arXiv · scholar] , Adrián Pousa [arXiv · scholar] , Luis Mariano Bibbó [arXiv · scholar] , Alejandro Fernández [arXiv · scholar]
🕰 Orloj analysis
Tento článek představuje QAccCert, hybridní framework pro certifikaci kvantových počítačů, který integruje FPGAs a umělou inteligenci s principy kvantového softwarového inženýrství. Framework demonstruje certifikaci provázanosti pomocí porušení CHSH nerovnosti v simulacích, dosahující 99.94% teoretického maxima díky optimalizaci řízené LLM.
💡 Jde o solidní inženýrskou studii, která ukazuje slibnou integraci moderních technologií pro praktickou certifikaci kvantových systémů, i když výsledky jsou zatím pouze simulační.
✓ modest_claims, falsifiable, limit_reductions
⚠ Výsledky jsou pouze ze simulací, praktická aplikace na reálném NISQ hardwaru je budoucí práce., Chybí explicitní chybové úsečky pro uvedené výkonnostní metriky., Podrobnosti o implementaci a robustnosti optimalizace řízené LLM by mohly být rozšířeny.
📄 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.