A quantum pattern detector using state-based and circuit-based analysis achieves perfect recall and high precision on a new 20-algorithm benchmark, but the benchmark is author-constructed.
Static Entanglement Analysis of Quantum Programs
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Quantum entanglement plays a crucial role in quantum computing. Entangling information has important implications for understanding the behavior of quantum programs and avoiding entanglement-induced errors. Entanglement analysis is a static code analysis technique that determines which qubit may entangle with another qubit and establishes an entanglement graph to represent the whole picture of interactions between entangled qubits. This paper presents the first static entanglement analysis method for quantum programs developed in the practical quantum programming language Q\#. Our method first constructs an interprocedural control flow graph (ICFG) for a Q\# program and then calculates the entanglement information not only within each module but also between modules of the program. The analysis results can help improve the reliability and security of quantum programs.
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
contest 1representative citing papers
citing papers explorer
-
Quantum Pattern Detection: Accurate State- and Circuit-based Analyses
A quantum pattern detector using state-based and circuit-based analysis achieves perfect recall and high precision on a new 20-algorithm benchmark, but the benchmark is author-constructed.