Quantum computation has extraordinary capabilities for solving complicated problems. As quantum computations are reversible by nature, reversible circuits are important for the development of quantum computation techniques. Designing an effective and efficient method for synthesizing reversible circuits to reduce costs and stabilize circuit efficiency is crucial. The traditional synthesis methods of solving reversible circuits focus on the conversion efficiency rather than discussing the properties of the reversible function. Thus, this paper aims to propose a novel synthesis method that directly and efficiently optimizes reversible circuit synthesis with the properties of the reversible circuit. The proposed method converts the reversible function into a hypercube, allowing visual observations of the overall circuit. Two new indicators, the adjacent Hamming distance (AHD) and total cycle distance (TCD), aid in effective decision-making, generating shorter circuits. Furthermore, we use the generalized Toffoli gate set, which without requiring any additional ancilla bits and has applications in error correction and fault tolerance. The experimental results show that our method can find better solutions than traditional methods, significantly reducing the gate count, while the hypercube assists in synthesizing the reversible circuit.
Quantum computation has extraordinary capabilities for solving complicated problems. As quantum computations are reversible by nature, reversible circuits are important for the development of quantum computation techniques. Designing an effective and efficient method for synthesizing reversible circuits to reduce costs and stabilize circuit efficiency is crucial. The traditional synthesis methods of solving reversible circuits focus on the conversion efficiency rather than discussing the properties of the reversible function. Thus, this paper aims to propose a novel synthesis method that directly and efficiently optimizes reversible circuit synthesis with the properties of the reversible circuit. The proposed method converts the reversible function into a hypercube, allowing visual observations of the overall circuit. Two new indicators, the adjacent Hamming distance (AHD) and total cycle distance (TCD), aid in effective decision-making, generating shorter circuits. Furthermore, we use the generalized Toffoli gate set, which without requiring any additional ancilla bits and has applications in error correction and fault tolerance. The experimental results show that our method can find better solutions than traditional methods, significantly reducing the gate count, while the hypercube assists in synthesizing the reversible circuit.
Quantum logic reversible synthesis is a fundamental operation in quantum computing. One of the most challenging issues in this field resides in navigating the immense search space to synthesize the most compact circuit configurations, which are critical for realizing reliable, noise-free, and error-free quantum computing systems. To address this challenge, this study proposes a novel hypercube-encoded quantum-inspired optimization framework to formulate the synthesis task as a trajectory-finding process. This structure-informed domain knowledge transformation delivers exceptional search direction guidance, moving away from blind, black-box exploration. Specifically, by mapping the reversible functions onto the hypercube architecture, the framework embeds explicit dual Hamming-distance (HMD) guidance metrics into a global-best guided quantum-inspired tabu search (GQTS) engine. To minimize computational cost and enhance search efficiency, the framework incorporates a domain-informed initialization and couples a streamlined two-particle configuration with a global-best mechanism, thereby amplifying the efficiency of the underlying quantum-inspired updating mechanism to escape local optima and rapidly converge once a successfully synthesized superior path is locked. Under an online step relaxation mechanism, the framework preserves exceptional structural optimization flexibility without altering the underlying hypercube representation. The framework’s significance is rigorously evaluated against both rigid hypercube rule-based methods and generic randomized search-based heuristics, using gate count and exact-optimality as primary evaluation metrics. Extensive ablation studies first validate the individual and synergistic contributions of each core algorithmic component. Experimental results demonstrate that for the complete set of 3-bit reversible functions, the proposed HMD-guided GQTS (HMD-GQTS) framework achieves over 98% exact-optimal circuits in a single fine-tuned sweep, with selective retries attaining 100% exhaustive optimal coverage. Furthermore, for typical 4-bit benchmark instances, the method consistently delivers competitive gate counts, matching or improving upon previous hypercube-based outcomes. Through the seamless integration of structure-informed guidance and coordinated optimization mechanisms, the framework preserves exceptional structural flexibility and algorithmic robustness, offering an effective, low-cost, and highly scalable avenue for reversible circuit synthesis.
In the last decade, the synthesis of reversible logic circuits has become a trending topic because of its future necessity and importance. Many methods have been studied and proposed, for instance, transformation-based, search-based, cycle-based, ESOP-based and BDD-based methods. Each of them has its limitation related to time processing, ancilla and garbage line, quantum cost. This study develops an algorithm that could synthesize quantum circuits based on mixed-polarity Toffoli gate and a variant of binary decision diagram (BDD) called reduced-ordered-complemented edge-bdd (ROCBDD). It is an optimized method of BDD to reduce nodes in the representation of Boolean functions, which leads to adding more lines and quantum gates in the reversible circuit. First, the differences between synthesis using ROCBDD, the traditional BDD and others methods are introduced. Then, we define a new structure consisting of mixed-polarity Toffoli gates relied on nodes of ROCBDD. An efficient algorithm to match BDD representation to the reversible logic circuit is also mentioned. Finally, the experimental results show that our algorithm has better synthesizing costs than previous BDD-based methods.
Quantum computing is a newly emerging computing environment that has recently attracted intense research interest in improving the output fidelity, fully utilizing its high computing power from both hardware and software perspectives. In particular, several attempts have been made to reduce the errors in quantum computing algorithms through the efficient synthesis of quantum circuits. In this study, we present an application of an optimization model for synthesizing quantum circuits with minimum implementation costs to lower the error rates by forming a simpler circuit. Our model has a unique structure that combines the arc-subset selection problem with a conventional multi-commodity network flow model. The model targets the circuit synthesis with multiple control Toffoli gates to implement Boolean reversible functions that are often used as a key component in many quantum algorithms. Compared to previous studies, the proposed model has a unifying yet straightforward structure for exploiting the operational characteristics of quantum gates. Our computational experiment shows the potential of the proposed model, obtaining quantum circuits with significantly lower quantum costs compared to prior studies. The proposed model is also applicable to various other fields where reversible logic is utilized, such as low-power computing, fault-tolerant designs, and DNA computing. In addition, our model can be applied to network-based problems, such as logistics distribution and time-stage network problems.
In light of the rapid advancements in quantum computing, the synthesis of quantum circuits has drawn significant attention. Quantum circuits are required to be reversible owing to their inherent physical characteristics. However, synthesizing such circuits and optimizing their performance present substantial challenges. In this paper, we proposed to adopt reinforcement learning for synthesizing the reversible circuits involving NOT, CNOT, Toffoli, and other relevant gates and, in doing so, minimize the quantum computational costs of the resulting circuits. The experimental results demonstrated that the reversible circuits generated using the proposed method outperform the prior methods in both the gate counts and the total cost.
The quantum circuit is the prime factor to realize quantum computation. This paper proposes a novel quantum-inspired evolutionary computation method to synthesize quantum circuits effectively and efficiently. Recently, the Clifford+T gate library has become popular, as the T gate has a better fault-tolerant and error correction efficacy, which is essential to near-term quantum computation. The proposed quantum-inspired evolutionary computation is more flexible in constructing diverse solutions than the classical synthesis method. The entangled local search mechanism further enhances the ability to discover the optimal solutions on an efficient frontier. The encoding can be slightly changed to achieve various gate libraries circuit synthesis in the quantum or reversible Boolean circuits. The experiments demonstrate that our proposed method can be more effective in composing a compact quantum circuit than the state-of-the-art method. Meanwhile, the T-depth can attain an optimal value without ancilla bits. Furthermore, we provide an illustration to construct the function equivalent quantum circuit with the NOT, CNOT, Controlled-Square-Root-of-NOT quantum gate library (NCV). We also conduct exhaustion to prove that our synthesized circuit is an optimal solution, requiring far fewer resources in time and evaluation than exhaustion.
Quantum computing is inherently reversible, with reversible Boolean logic gates forming the basis of most quantum circuits. This paper introduces a game-inspired visualization platform for learning and synthesizing such circuits through multi-dimensional swaps on the hypercube. The proposed system enables users to intuitively explore and construct reversible circuits with fewer gates, supporting both self-guided learning and classroom instruction, enhancing conceptual understanding and synthesis efficiency. A case study illustrates the system's effectiveness, reducing a circuit from 12 gates to just 3 through higherdimensional swapping. Real-time visual feedback, combined with interactive game-like features, fosters user engagement and makes the platform well-suited for quantum computing education and research exploration.