Metraipolis › archive › dc_d60ea81ecb28

Retromorphic Testing of Quantum Compiler Passes — arXiv:2610.11195

Source: arXiv (en)
Original: https://arxiv.org/abs/2610.11195
License (as archived): CC0-1.0
Archived: 2026-10-09T06:26:44.647Z
SHA-256 of the archived text: 5c6b077c84a896bb55df4347baed8f6ad50b6fca86467be1b3c87fa5a4724f6a
Stable URL of this page: https://metraipolis.com/documento/dc_d60ea81ecb28

How to cite

Retromorphic Testing of Quantum Compiler Passes — arXiv:2610.11195 — arXiv (en), https://arxiv.org/abs/2610.11195 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_d60ea81ecb28 (Metraipolis archive dc_d60ea81ecb28, sha256 5c6b077c84a896bb55df4347baed8f6ad50b6fca86467be1b3c87fa5a4724f6a)

BibTeX

@misc{dcd60ea81ecb28,
  title = {Retromorphic Testing of Quantum Compiler Passes — arXiv:2610.11195},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2610.11195},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_d60ea81ecb28; sha256 5c6b077c84a896bb55df4347baed8f6ad50b6fca86467be1b3c87fa5a4724f6a},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2610.11195. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Quantum compilers play a critical role in transforming high-level quantum programs into optimized, hardware-compatible circuits. However, verifying the correctness of compiler passes remains challenging, as determining the expected output of large, deeply entangled quantum circuits is computationally intractable. This challenge is further amplified when compiler passes modify already complex circuit structures, making manual validation of transformed circuits impractical. In this work, we perform a systematic analysis of unit tests for quantum compiler passes in four quantum programming frameworks (PennyLane, Qiskit, Cirq, and pytket). Our findings indicate validation is dominated by program-content and program-metric assertions, and test circuits are generally small and shallow. Motivated by these observations, we introduce a testing methodology for automated validation of quantum compiler passes based on retromorphic testing and principles from the Hadamard test. This methodology analyzes a compiler pass, test circuit, and expected pass behavior to verify semantic preservation and intended structural modifications. We implement our methods in a framework, RetroQ, and apply it to compiler passes in PennyLane and Qiskit. Experimental evaluation reproduced several existing bugs as well as uncovered previously undetected defects, such as flawed symbolic parameter handling, incorrect commutation logic, failure to recognize self-adjointness of gates, and runtime crashes. These findings highlight the need for compiler-pass-specific testing methodologies to improve the reliability of the evolving quantum software stack.

Tema degli esploratori: calcolo e infrastrutture (elenco arXiv cs.SE, nuovi lavori del giorno).
Categorie arXiv: Quantum Physics (quant-ph) ; Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2610.11195 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-09T05:50:45.993Z dalla pagina https://arxiv.org/list/cs.SE/new (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).