The paper presents a new optimization model for designing minimum-cost quantum circuits using Multiple-Control Toffoli (MCT) gates. The key contributions are:
The paper first provides the necessary terminology and problem description. It then introduces the new optimization model, which uses network flows to model the state transitions caused by the quantum circuit. Symmetry-breaking constraints are also presented to further improve the solving time.
Computational experiments are conducted on well-known benchmarks from RevLib. The results demonstrate the significant performance improvements of the new model compared to prior work, especially when using the CP solver. The new model is able to solve all instances with up to seven gates, and finds several new best-known circuits for larger instances up to 15 gates. The benefits of the symmetry-breaking constraints are also highlighted.
Finally, a comparative analysis is provided that shows the new optimization-based approach outperforms various heuristic and exact methods from the literature in terms of solution quality, while still requiring more computation time.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Jihye Jung,K... at arxiv.org 04-23-2024
https://arxiv.org/pdf/2404.14384.pdfDeeper Inquiries