English
Related papers

Related papers: Generating reversible circuits from higher-order f…

200 papers

Quantum circuit Born machines are generative models which represent the probability distribution of classical dataset as quantum pure states. Computational complexity considerations of the quantum sampling problem suggest that the quantum…

Quantum Physics · Physics 2018-12-21 Jin-Guo Liu , Lei Wang

Reversible computing is a paradigm of computation that reflects physical reversibility, one of the fundamental microscopic laws of Nature. In this survey, we discuss topics on reversible logic elements with memory (RLEM), which can be used…

Formal Languages and Automata Theory · Computer Science 2013-09-06 Kenichi Morita

Large language models (LLMs) can generate structured artifacts, but using them as dependable optimizers for scientific design requires a mechanism for iterative improvement under black-box evaluation. Here, we cast quantum circuit synthesis…

Quantum Physics · Physics 2026-02-13 Adriano Macarone-Palmieri , Rosario Lo Franco

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

We present a pedagogical, hands-on tutorial on \emph{replica tensor-network} techniques for random quantum circuits. At its core, the method recasts circuit-averaged observables acting on multiple copies of the system as the contraction of…

Quantum Physics · Physics 2026-05-13 Xhek Turkeshi

Reversible distributed programs have the ability to abort unproductive computation paths and backtrack, while unwinding communication that occurred in the aborted paths. While it is natural to assume that reversibility implies full state…

Programming Languages · Computer Science 2016-02-12 Geoffrey Brown , Amr Sabry

Reversible single-target gates are a generalization of Toffoli gates which are a helpful formal representation for the description of synthesis algorithms but are too general for an actual implementation based on some technology. There is…

Emerging Technologies · Computer Science 2014-08-19 Mathias Soeken , Nabila Abdessaied , Rolf Drechsler

We develop a method for generating pseudorandom binary sequences using the Bernoulli map on cubic algebraic integers. The distinguishing characteristic of our generator is that it generates chaotic true orbits of the Bernoulli map by exact…

Number Theory · Mathematics 2018-11-14 Asaki Saito , Akihiro Yamaguchi

We give a procedure for "reverse engineering" a closed, simply connected, Riemannian manifold with bounded local geometry from a sparse chain complex over $\mathbb{Z}$. Applying this procedure to chain complexes obtained by "lifting"…

Differential Geometry · Mathematics 2021-06-22 Michael Freedman , Matthew B. Hastings

Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other applications. In the recent years, the scalable synthesis of…

Hardware Architecture · Computer Science 2022-12-13 Smaran Adarsh , Lukas Burgholzer , Tanmay Manjunath , Robert Wille

Reversible computing has emerged as a possible low cost alternative to conventional computing in terms of speed, power consumption and computing capability. In order to achieve reliable circuits in reversible computing, provision for fault…

Emerging Technologies · Computer Science 2015-01-19 Anugrah Jain

The intrinsic random nature of quantum physics offers novel tools for the generation of random numbers, a central challenge for a plethora of fields. Bell non-local correlations obtained by measurements on entangled states allow for the…

Common quantum algorithms make heavy use of ancillae: scratch qubits that are initialized at some state and later returned to that state and discarded. Existing quantum circuit languages let programmers assert that a qubit has been returned…

Logic in Computer Science · Computer Science 2019-01-30 Robert Rand , Jennifer Paykin , Dong-Ho Lee , Steve Zdancewic

Unlike fixed designs, programmable circuit designs support an infinite number of operators. The functionality of a programmable circuit can be altered by simply changing the angle values of the rotation gates in the circuit. Here, we…

Quantum Physics · Physics 2012-12-27 Anmer Daskin , Ananth Grama , Giorgos Kollias , Sabre Kais

In this paper an algorithm is designed which generates in-equivalent Boolean functions of any number of variables from the four Boolean functions of single variable. The grammar for such set of Boolean function is provided. The Turing…

Logic in Computer Science · Computer Science 2008-02-29 Birendra Kumar Nayak , Sudhakar Sahoo

Over the past decade, a number of quantum processes have been proposed which are logically consistent, yet feature a cyclic causal structure. However, there is no general formal method to construct a process with an exotic causal structure…

Quantum Physics · Physics 2025-12-03 Augustin Vanrietvelde , Nick Ormrod , Hlér Kristjánsson , Jonathan Barrett

We describe a high-speed physical random number generator based on a hybrid Boolean network with autonomous and clocked logic gates, realized on a reconfigurable chip. The autonomous logic gates are arranged in a bidirectional ring topology…

Chaotic Dynamics · Physics 2013-04-30 David P. Rosin , Damien Rontani , Daniel J. Gauthier

Backtracking (i.e., reverse execution) helps the user of a debugger to naturally think backwards along the execution path of a program, and thinking backwards makes it easy to locate the origin of a bug. So far backtracking has been…

Programming Languages · Computer Science 2013-09-23 Jooyong Yi

In this paper we consider circuit synthesis for n-wire linear reversible circuits using the C-NOT gate library. These circuits are an important class of reversible circuits with applications to quantum computation. Previous algorithms,…

Quantum Physics · Physics 2015-04-21 K. N. Patel , I. L. Markov , J. P. Hayes

Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals. But real-life systems are often described using…

Formal Languages and Automata Theory · Computer Science 2018-09-14 Ayrat Khalimov , Benedikt Maderbacher , Roderick Bloem