English
Related papers

Related papers: Rule-Based Optimization of Reversible Circuits

200 papers

We present two new constructions for the Toffoli gate which substantially reduce resource costs in fault-tolerant quantum computing. The first contribution is a Toffoli gate requiring Clifford operations plus only four $T =…

Quantum Physics · Physics 2013-03-18 Cody Jones

This work shows that minimizing the depth of a quantum circuit composed of commuting operations reduces to a vertex coloring problem on an appropriately constructed graph, where gates correspond to vertices and edges encode…

Quantum Physics · Physics 2026-02-11 Hochang Lee , Kyung Chul Jeong , Panjin Kim

Existing quantum compilers optimize quantum circuits by applying circuit transformations designed by experts. This approach requires significant manual effort to design and implement circuit transformations for different quantum devices,…

Programming Languages · Computer Science 2022-05-03 Mingkuan Xu , Zikun Li , Oded Padon , Sina Lin , Jessica Pointing , Auguste Hirth , Henry Ma , Jens Palsberg , Alex Aiken , Umut A. Acar , Zhihao Jia

Controlled commands -- computations whose execution depends on a separate input -- play a central role in reversible Boolean circuits and quantum circuits. However, existing formalisms typically treat control only implicitly, entangled with…

Logic in Computer Science · Computer Science 2026-05-04 Chris Heunen , Robin Kaarsgaard , Louis Lemonnier

IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. Furthermore, in the recent years reversible logic has emerged as a promising computing…

Hardware Architecture · Computer Science 2007-11-19 Himanshu Thapliyal , Hamid R. Arabnia , Rajnish Bajpai , Kamal K. Sharma

A reversible logic has application in quantum computing. A reversible logic design needs resources such as ancilla and garbage qubits to reconfigure circuit functions or gate functions. The removal of garbage qubits and ancilla qubits are…

Quantum Physics · Physics 2016-08-04 Jayashree HV , Himanshu Thapliyal , Hamid R. Arabnia , V K Agrawal

The implementation of fault-tolerant quantum gates on encoded logic qubits is considered. It is shown that transversal implementation of logic gates based on simple geometric control ideas is problematic for realistic physical systems…

Quantum Physics · Physics 2009-10-30 R. Nigmatullin , S. G. Schirmer

Reversible computing has attracted the attention of researchers due to its low power consumption and less heat dissipation compared to conventional computing. A number of reversible gates have been proposed by different researchers and…

Emerging Technologies · Computer Science 2015-01-08 Shubham Gupta

In the noisy intermediate-scale quantum era, mid-circuit measurement and reset operations facilitate novel circuit optimization strategies by reducing a circuit's qubit count in a method called resizing. This paper introduces two such…

Quantum Physics · Physics 2023-11-23 Siyuan Niu , Akel Hashim , Costin Iancu , Wibe Albert de Jong , Ed Younis

In this paper we present a method for minimizing reversible quantum circuits using the Quantum Operator Form (QOF); a new representation of quantum circuit and of quantum-realized reversible circuits based on the CNOT, CV and CV$^\dagger$…

Quantum Physics · Physics 2017-01-10 Martin Lukac , Michitaka Kameyama , Marek Perkowski , Pawel Kerntopf

The end of Moore's law for CMOS technology has prompted the search for low-power computing alternatives, resulting in several promising proposals based on magnetic logic[1-8]. One approach aims at tailoring arrays of nanomagnetic islands in…

Mesoscale and Nanoscale Physics · Physics 2021-09-08 Pieter Gypens , Jonathan Leliaert , Massimiliano Di Ventra , Bartel Van Waeyenberge , Daniele Pinna

This PhD dissertation investigates garbage-free reversible computing systems from abstract design to physical gate-level implementation. Designed in reversible logic, we propose a ripple-block carry adder and work towards a reversible…

Programming Languages · Computer Science 2023-09-22 Michael Kirkedal Thomsen

Power dissipation is known as the most notable limiting factor in all nano-electronic design techniques including Quantum-dot Cellular Automata (QCA). The familiar reversible computing approach is used as a reasonably reliable solution,…

Emerging Technologies · Computer Science 2019-12-11 Moein Sarvaghad-Moghaddam , Ali A. Orouji , Zeinab Ramezani , Iraj Sadegh Amiri , Alireza Mahdavi Nejad

We develop a framework for resource efficient compilation of higher-level programs into lower-level reversible circuits. Our main focus is on optimizing the memory footprint of the resulting reversible networks. This is motivated by the…

Quantum Physics · Physics 2015-10-02 Alex Parent , Martin Roetteler , Krysta M. Svore

We present a method for optimizing quantum control in experimental systems, using a subset of randomized benchmarking measurements to rapidly infer error. This is demonstrated to improve single- and two-qubit gates, minimize gate…

This paper studies the adaptive optimal stationary control of continuous-time linear stochastic systems with both additive and multiplicative noises, using reinforcement learning techniques. Based on policy iteration, a novel off-policy…

Systems and Control · Electrical Eng. & Systems 2021-12-07 Bo Pang , Zhong-Ping Jiang

We present an efficient algorithm to reduce the number of non-Clifford gates in quantum circuits and the number of parametrized rotations in parametrized quantum circuits. The method consists in finding rotations that can be merged into a…

Quantum Physics · Physics 2024-07-11 Vivien Vandaele , Simon Perdrix , Christophe Vuillot

Quantum controlled-logic gates, including controlled NOT gate and Toffoli gate, play critical roles in lots of quantum information processing schemes. We design and experimentally demonstrate deterministic Toffoli gate by utilizing…

Quantum Physics · Physics 2021-02-17 Shihao Ru , Yunlong Wang , Min An , Feiran Wang , Pei Zhang , Fuli Li

Inverse optimization (Inverse optimal control) is the task of imputing a cost function such that given test points (trajectories) are (nearly) optimal with respect to the discovered cost. Prior methods in inverse optimization assume that…

Optimization and Control · Mathematics 2025-10-21 Filip Bečanović , Jared Miller , Vincent Bonnet , Kosta Jovanović , Samer Mohammed

Optimal control techniques are applied for the decomposition of unitary quantum operations into a sequence of single-qubit gates and entangling operations. To this end, we modify a gradient-ascent algorithm developed for systems of coupled…

Quantum Physics · Physics 2009-01-15 V. Nebendahl , H. Haffner , C. F. Roos