Quantum Pattern Detection: Accurate State- and Circuit-based Analyses
arXiv:2501.15895 · doi:10.1109/Q-SE66736.2025.00008
Abstract
Quantum computers have the potential to solve certain problems faster than classical computers by exploiting quantum mechanical effects such as superposition. However, building high-quality quantum software is challenging due to the fundamental differences between quantum and traditional programming and the lack of abstraction mechanisms. To mitigate this challenge, researchers have introduced quantum patterns to capture common high-level design solutions to recurring problems in quantum software engineering. In order to utilize patterns as an abstraction level for implementation, a mapping between the theoretical patterns and the source code is required, which has only been addressed to a limited extent. To close this gap, we propose a framework for the automatic detection of quantum patterns using state- and circuit-based code analysis. Furthermore, we contribute a dataset for benchmarking quantum pattern detection approaches. In an empirical evaluation, we show that our framework is able to detect quantum patterns very accurately and that it outperforms existing quantum pattern detection approaches in terms of detection accuracy.
10 pages, accepted at Q-SE 2025 (ICSE workshop) and to be published in ICSE-Companion, this is a preprint version before submission
References in corpus (9)
- Evaluation: from precision, recall and F-measure to ROC, informedness, markedness and correlation
- Synthesis of Quantum Logic Circuits
- Quantum-state preparation with universal gate decompositions
- Resource-Aware Quantum Programming with General Recursion and Quantum Control
- Quantum Circuits for Isometries
- Decompositions of general quantum gates
- Quantum linear systems algorithms: a primer
- Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
- Q-PAC: Automated Detection of Quantum Bug-Fix Patterns