Reversible logic is fundamental to quantum circuit design, as quantum operations are inherently information-preserving and reversible. While most quantum synthesis methods rely on binary logic, quaternary reversible computing can increase data density, reduce circuit width, and potentially lead to more efficient realizations. We introduce a genetic-algorithm-based approach for designing compact quaternary reversible comparator circuits, which are important components in quantum architectures. This technique utilizes a gate library based on extended Shift and Muthukrishnan–Stroud gates tailored to quaternary systems. Chromosomes encode sequences of quaternary gates, and evolutionary operators search for configurations with minimal quantum cost. Although demonstrated on comparator circuits, the approach applies to any quaternary reversible circuit defined by its truth table. The synthesis process occurs in two phases: candidate circuits first evolve toward correct behavior; then correct circuits are optimized to obtain compact implementations. We evaluate the approach on comparators performing lower-than, greater-than, and equality operations, as well as on a 1-qudit full comparator. The method achieves average quantum cost improvements of about 30% for restoring and 58% for non-restoring configurations compared to existing designs. These reductions support more efficient and more error-resilient quantum circuits, showing that this approach is a strong candidate for quaternary quantum systems.

(2026). Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing [journal article - articolo]. In ACM TRANSACTIONS ON QUANTUM COMPUTING. Retrieved from https://hdl.handle.net/10446/326705

Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing

Taheri Monfared, Asma;Bombarda, Andrea;Gargantini, Angelo;
2026-05-13

Abstract

Reversible logic is fundamental to quantum circuit design, as quantum operations are inherently information-preserving and reversible. While most quantum synthesis methods rely on binary logic, quaternary reversible computing can increase data density, reduce circuit width, and potentially lead to more efficient realizations. We introduce a genetic-algorithm-based approach for designing compact quaternary reversible comparator circuits, which are important components in quantum architectures. This technique utilizes a gate library based on extended Shift and Muthukrishnan–Stroud gates tailored to quaternary systems. Chromosomes encode sequences of quaternary gates, and evolutionary operators search for configurations with minimal quantum cost. Although demonstrated on comparator circuits, the approach applies to any quaternary reversible circuit defined by its truth table. The synthesis process occurs in two phases: candidate circuits first evolve toward correct behavior; then correct circuits are optimized to obtain compact implementations. We evaluate the approach on comparators performing lower-than, greater-than, and equality operations, as well as on a 1-qudit full comparator. The method achieves average quantum cost improvements of about 30% for restoring and 58% for non-restoring configurations compared to existing designs. These reductions support more efficient and more error-resilient quantum circuits, showing that this approach is a strong candidate for quaternary quantum systems.
articolo
13-mag-2026
13-mag-2026
Inglese
online
1
36
Settore IINF-05/A - Sistemi di elaborazione delle informazioni
CCS Concepts; Theory of computation; Logic; Reversible logic; Quantum technologies; Computing methodologies;
   ANTHEM - AdvaNced Technologies for Human-centrEd Medicine
   ANTHEM
   MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV

   SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems
   SAFEST
   MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV
   20224AJBLJ_01

   Security in Modern Information Management Infrastructures
   SMIMI
   Università degli Studi di MILANO
Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele; Ciriani, Valentina
info:eu-repo/semantics/article
open
(2026). Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing [journal article - articolo]. In ACM TRANSACTIONS ON QUANTUM COMPUTING. Retrieved from https://hdl.handle.net/10446/326705
Non definito
4
1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
262
File allegato/i alla scheda:
File Dimensione del file Formato  
3815787.pdf

accesso aperto

Versione: postprint - versione referata/accettata senza referaggio
Licenza: Creative commons
Dimensione del file 503.13 kB
Formato Adobe PDF
503.13 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/326705
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact