English
Related papers

Related papers: Automated Quantum Circuit Generation for Computing…

200 papers

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

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function…

Logic in Computer Science · Computer Science 2016-03-29 Benoit Valiron

Designing quantum processors is a complex task that demands advanced verification methods to ensure their correct functionality. However, traditional methods of comprehensively verifying quantum devices, such as quantum process tomography,…

Quantum Physics · Physics 2025-08-04 Keren Li , Peng Yan , Hanru Jiang , Nengkun Yu

The synthesis approaches for quantum circuits typically aim at minimizing the number of lines or gates. Given the tight restrictions on those logical resources in physical implementations, we propose to view the problem fundamentally…

Emerging Technologies · Computer Science 2023-02-03 Niels Gleinig , Tobias Rohner , Torsten Hoefler

cryptographic hash function is a deterministic procedure that compresses an arbitrary block of numerical data and returns a fixed-size bit string. There exist many hash functions: MD5, HAVAL, SHA, ... It was reported that these hash…

Cryptography and Security · Computer Science 2011-11-23 Rene Ndoundam , Juvet Karnel Sadie

Quantum computers exhibit an inherent randomness, so it seems natural to consider them for procedural content generation. In this work, a quantum version of the famous (classical) wave function collapse algorithm is proposed. This quantum…

Quantum Physics · Physics 2024-11-05 Raoul Heese

Reversible logic synthesis is a crucial component in quantum electronic design automation. While rule-based methodologies have gained prominence in reversible circuit optimization, the completeness of the transformation rule systems is a…

Quantum Physics · Physics 2026-02-16 Shiguang Feng , Lvzhou Li

We present a garbling scheme for quantum circuits, thus achieving a decomposable randomized encoding scheme for quantum computation. Specifically, we show how to compute an encoding of a given quantum circuit and quantum input, from which…

Quantum Physics · Physics 2020-11-10 Zvika Brakerski , Henry Yuen

Optimal synthesis of reversible functions is a non-trivial problem. One of the major limiting factors in computing such circuits is the sheer number of reversible functions. Even restricting synthesis to 4-bit reversible functions results…

Quantum Physics · Physics 2012-08-21 Oleg Golubitsky , Dmitri Maslov

As quantum computing technology advances, the complexity of quantum algorithms increases, necessitating a shift from low-level circuit descriptions to high-level programming paradigms. This paper addresses the challenges of developing a…

Quantum Physics · Physics 2025-03-04 Israel Reichental , Ravid Alon , Lior Preminger , Matan Vax , Amir Naveh

Experiments with superconducting quantum processors have successfully demonstrated the basic functions needed for quantum computation and evidence of utility, albeit without a sizable array of error-corrected qubits. The realization of the…

Quantum algorithm design usually assumes access to a perfect quantum computer with ideal properties like full connectivity, noise-freedom and arbitrarily long coherence time. In Noisy Intermediate-Scale Quantum (NISQ) devices, however, the…

Quantum Physics · Physics 2020-09-11 Xiangzhen Zhou , Sanjiang Li , Yuan Feng

Reversible sequential circuits are going to be the significant memory blocks for the forthcoming computing devices for their ultra low power consumption. Therefore design of various types of latches has been considered a major objective for…

Emerging Technologies · Computer Science 2014-07-29 Md. Selim Al Mamun , David Menville

Many quantum algorithms make use of oracles which evaluate classical functions on a superposition of inputs. In order to facilitate implementation, testing, and resource estimation of such algorithms, we present quantum circuits for…

Quantum Physics · Physics 2018-06-01 Thomas Häner , Martin Roetteler , Krysta M. Svore

In the today's era, reversible logics are the promising technology for the designing of low power digital logic system having major application in the field of nanotechnology, quantum computation, DNA and other low power digital circuits.…

Other Computer Science · Computer Science 2013-06-12 Pradeep Singla , Aakash Gupta , Ashutosh Bhardwaj , Pulkit Basia

Few of the known quantum algorithms can be reliably executed on a quantum computer. Therefore, as an extension, we propose a Parallel Quantum Hough transform (PQHT) algorithm that we execute on a quantum computer. We give its implementation…

Image and Video Processing · Electrical Eng. & Systems 2023-11-21 Frank Klefenz , Nico Wittrock , Frank Feldhoff

We describe a family of recursive methods for the synthesis of qubit permutations on quantum computers with limited qubit connectivity. Two objectives are of importance: circuit size and depth. In each case we combine a scalable heuristic…

Quantum Physics · Physics 2023-08-25 Cynthia Chen , Bruno Schmitt , Helena Zhang , Lev S. Bishop , Ali Javadi-Abhari

High-fidelity and robust quantum manipulation is the key for scalable quantum computation. Therefore, due to the intrinsic operational robustness, quantum manipulation induced by geometric phases is one of the promising candidates. However,…

Quantum Physics · Physics 2020-09-23 Tao Chen , Pu Shen , Zheng-Yuan Xue

In this work, we consider error detection via simulation for reversible circuit architectures. We rigorously prove that reversibility augments the performance of this simple error detection protocol to a considerable degree. A single…

Hardware Architecture · Computer Science 2023-01-11 Lukas Burgholzer , Robert Wille , Richard Kueng

As in classical reversible computing, Quantum Arithmetic is typically seen as a set of tools that process binary data encoded into a quantum register to set the value of another quantum register. This article presents another approach to…

Quantum Physics · Physics 2025-06-19 Robin Ollive , Stephane Louise