Measurement-based uncomputation of quantum circuits for modular arithmetic
Measurement-based uncomputation (MBU) is a technique used to perform probabilistic uncomputation of quantum circuits. We formalize this technique for the case of single-qubit registers, and we show applications to modular arithmetic. Using MBU, we reduce Toffoli count and depth by 10% to 15% for modular adders based on the architecture of [1], and by almost 25% for modular adders based on the architecture of [2]. Our results have the potential to improve other circuits for modular arithmetic, such as modular multiplication and modular exponentiation, and can find applications in quantum cryptanalysis.
Authors
- Alessandro Luongo (ORCID: https://orcid.org/0000-0002-5746-3167)
- Antonio Michele Miti
- Varun Narasimhachar
- Adithya Sireesh
Institutions
- Agency for Science, Technology and Research (SG)
- Centre for Quantum Technologies (SG)
- Sapienza University of Rome (IT)
- University of Edinburgh (GB)
Publication Details
- Published
- 2025-06-22
- DOI
- https://doi.org/10.1109/dac63849.2025.11132981
- Citations
- 1
- Primary Topic
- Quantum Computing Algorithms and Architecture
- Type
- article
- Field-Weighted Citation Impact
- 2.48
Funders
- Istituto Nazionale di Alta Matematica "Francesco Severi"
- Università degli Studi di Milano
- European Commission
- National Research Foundation
- National Research Foundation Singapore
- Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni