Code for A framework for quantum circuit optimization: comparators as a case study

Francisco Orts and Rodrigo Gil-Merino

This repository contains all the written code for the paper "A framework for quantum circuit optimization: comparators as a case study", written by Francisco Orts and Rodrigo Gil-Merino. It allows simplifying quantum arithmetic circuits and, in general, any quantum circuit that computes an operation between two bit strings $A$ and $B$ whose operation is based on Boolean algebra.

The code is written in Python. These libraries are necessary:

• qiskit
• collections

Files included:

• OptimizeConcatenatedCNOT.py: Replaces, as specified in the paper, controlled operations that can be simplified.
• QuantumCostAnalyzer.py: Quantum circuit metric calculator.
• RemoveCNOT.py: Replaces CNOT operations with unit operations.
• RemoveUnusedQubits.py: Eliminates all unused qubits from a circuit, obtaining an equivalent and ordered one.
• Example.py: Example of how to use the framework operations.
• comparator.qasm: Comparator obtained using the framework, as described in the paper.
• LiCENSE: Apache License 2.0.

How to cite:

Orts, F., & Gil-Merino, R. (2025). A Framework for Quantum Circuit Optimization: Comparators as a Case Study. IEEE Transactions on Computers, 75(2), 706-719.