English
Related papers

Related papers: Synthesis and Optimization of Reversible Circuits …

200 papers

Tensor factorizations are computationally hard problems, and in particular, are often significantly harder than their matrix counterparts. In case of Boolean tensor factorizations -- where the input tensor and all the factors are required…

Numerical Analysis · Computer Science 2016-09-19 Saskia Metzler , Pauli Miettinen

The Quantum Fourier Transform (QFT) is a fundamental component of many quantum computing algorithms. In this paper, we present an alternative method for factoring this transformation. Inspired by this approach, we introduce a new quantum…

Quantum Physics · Physics 2025-07-30 Juan M. Romero , Emiliano Montoya-González , Guillermo Cruz , Roberto C. Romero

Nonlinear boolean equation systems play an important role in a wide range of applications. Grover's algorithm is one of the best-known quantum search algorithms in solving the nonlinear boolean equation system on quantum computers. In this…

Quantum Physics · Physics 2024-10-16 Xiang Li , Hanxiang Shen , Weiguo Gao , Yingzhou Li

We give new quantum algorithms for evaluating composed functions whose inputs may be shared between bottom-level gates. Let $f$ be an $m$-bit Boolean function and consider an $n$-bit function $F$ obtained by applying $f$ to conjunctions of…

Quantum Physics · Physics 2021-09-22 Mark Bun , Robin Kothari , Justin Thaler

Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in gate count) and are termed as exact, while others are…

Emerging Technologies · Computer Science 2017-02-27 Rajarshi Ray , Arup Deka , Kamalika Datta

In this paper we study the complexity of quantum query algorithms computing the value of Boolean function and its relation to the degree of algebraic polynomial representing this function. We pay special attention to Boolean functions with…

Quantum Physics · Physics 2012-03-24 Alina Dubrovska Vasilieva , Taisija Mischenko-Slatenkova

One of the challenges in quantum computing is the synthesis of unitary operators into quantum circuits with polylogarithmic gate complexity. Exact synthesis of generic unitaries requires an exponential number of gates in general. We propose…

Quantum Physics · Physics 2020-11-24 Daan Camps , Roel Van Beeumen

A brief description of the relations between the factorization method in quantum mechanics, self-similar potentials, integrable systems and the theory of special functions is given. New coherent states of the harmonic oscillator related to…

Quantum Physics · Physics 2021-04-14 V. P. Spiridonov

We devise greedy heuristics tailored for synthesizing quantum circuits that implement a specified set of Pauli rotations. Our heuristics are designed to minimize either the count of entangling gates or the depth of entangling gates, and…

Quantum Physics · Physics 2024-04-05 Timothée Goubault de Brugière , Simon Martiel

A Boolean function is a function that produces a Boolean value output by logical calculation of Boolean inputs. It plays key roles in programing algorithms and design of circuits. Minimization of Boolean function is able to optimize the…

Other Computer Science · Computer Science 2014-10-07 Jiangbo Huang

In this paper we propose a tokenization algorithm of Reversible Hybrid type, as defined in PCI DSS guidelines for designing a tokenization solution, based on a block cipher with a secret key and (possibly public) additional input. We…

Cryptography and Security · Computer Science 2019-04-26 Riccardo Longo , Massimiliano Sala , Riccardo Aragona

While the ability to build quantum computers is improving dramatically, developing quantum algorithms is limited and relies on human insight and ingenuity. Although a number of quantum programming languages have been developed, it is…

Software Engineering · Computer Science 2022-10-07 Kentaro Murakami , Jianjun Zhao

Multiplier circuits play an important role in reversible computation, which is helpful in diverse areas such as low power CMOS design, optical computing, DNA computing and bioinformatics. Here we propose a new reversible multiplier circuit…

Quantum Physics · Physics 2009-07-21 Anindita Banerjee , Anirban Pathak

This research applies concepts from algorithmic probability to Boolean and quantum combinatorial logic circuits. A tutorial-style introduction to states and various notions of the complexity of states are presented. Thereafter, the…

Quantum Physics · Physics 2023-04-06 Bao Gia Bach , Akash Kundu , Tamal Acharya , Aritra Sarkar

In this article we will apply the first- and second-order supersymmetric quantum mechanics to obtain new exactly-solvable real potentials departing from the inverted oscillator potential. This system has some special properties; in…

Quantum Physics · Physics 2016-12-12 David Bermudez , David J. Fernandez C

A myriad of authentication mechanisms embody a continuous evolution from verbal passwords in ancient times to contemporary multi-factor authentication. Nevertheless, digital asset heists and numerous identity theft cases illustrate the…

Cryptography and Security · Computer Science 2024-06-27 Marwa Mouallem , Ittay Eyal

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

The most important way to achieve higher performance in computer systems is through heterogeneous computing, i.e., by adopting hardware platforms containing more than one type of processor, such as CPUs, GPUs, and FPGAs. Several types of…

Software Engineering · Computer Science 2020-05-19 Hugo Andrade , Ivica Crnkovic , Jan Bosch

Compiling quantum circuits to account for hardware restrictions is an essential part of the quantum computing stack. Circuit compilation allows us to adapt algorithm descriptions into a sequence of operations supported by real quantum…

Quantum Physics · Physics 2025-10-14 Alejandro Villoria , Henning Basold , Alfons Laarman

Canalizing functions have important applications in physics and biology. For example, they represent a mechanism capable of stabilizing chaotic behavior in Boolean network models of discrete dynamical systems. When comparing the class of…

Mathematical Physics · Physics 2009-11-10 Winfried Just , Ilya Shmulevich , John Konvalina