English
Related papers

Related papers: Automatic synthesis of quantum circuits for point …

200 papers

This paper presents an automated software toolchain for synthesizing hardware-implementable analog circuits that solve constrained optimization problems. The proposed toolchain supports nonlinear objective functions with linear and…

Systems and Control · Electrical Eng. & Systems 2026-04-22 Sachin Khoja , Kamlesh Sawant , Palak Jain , Sairaj Dhople , Jason Poon

This paper presents a deep reinforcement learning approach for synthesizing unitaries into quantum circuits. Unitary synthesis aims to identify a quantum circuit that represents a given unitary while minimizing circuit depth, total gate…

We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and…

Logic in Computer Science · Computer Science 2011-11-09 Guowu Yang , William N. N. Hung , Xiaoyu Song , Marek Perkowski

We present two classical algorithms for the simulation of universal quantum circuits on $n$ qubits constructed from $c$ instances of Clifford gates and $t$ arbitrary-angle $Z$-rotation gates such as $T$ gates. Our algorithms complement each…

Quantum Physics · Physics 2022-06-27 Hakop Pashayan , Oliver Reardon-Smith , Kamil Korzekwa , Stephen D. Bartlett

The steadily growing research interest in quantum computing - together with the accompanying technological advances in the realization of quantum hardware - fuels the development of meaningful real-world applications, as well as…

We present improved quantum circuit for modular exponentiation of a constant, which is the most expensive operation in Shor's algorithm for integer factorization. While previous work mostly focuses on minimizing the number of qubits or the…

Quantum Physics · Physics 2023-11-28 Xia Liu , Huan Yang , Li Yang

This work presents a precise connection between Clifford circuits, Shor's factoring algorithm and several other famous quantum algorithms with exponential quantum speed-ups for solving Abelian hidden subgroup problems. We show that all…

Quantum Physics · Physics 2014-09-18 Juan Bermejo-Vega , Cedric Yen-Yu Lin , Maarten Van den Nest

Functional validation is necessary to detect any errors during quantum computation. There are promising avenues to debug quantum circuits using runtime assertions. However, the existing approaches rely on the expertise of the verification…

Quantum Physics · Physics 2023-03-03 Hasini Witharana , Daniel Volya , Prabhat Mishra

CNOT circuits are a common building block of general quantum circuits. The problem of synthesizing and optimizing such circuits has received a lot of attention in the quantum computing literature. This problem is especially challenging for…

Quantum Physics · Physics 2024-08-09 Nir Gavrielov , Alexander Ivrii , Shelly Garion

In this paper, we present Clifford+T gates based quantum circuit design of integer division having $n$ ancillary qubits. The proposed quantum circuit is based on restoring division algorithm. The proposed quantum circuit of integer division…

Quantum Physics · Physics 2016-09-06 Himanshu Thapliyal , T. S. S. Varun , Edgard Munoz-Coreas

The progress in building quantum computers to execute quantum algorithms has recently been remarkable. Grover's search algorithm in a binary quantum system provides considerable speed-up over classical paradigm. Further, Grover's algorithm…

Quantum Physics · Physics 2022-08-24 Amit Saha , Ritajit Majumdar , Debasri Saha , Amlan Chakrabarti , Susmita Sur-Kolay

Quantum circuits for mathematical functions such as division are necessary to use quantum computers for scientific computing. Quantum circuits based on Clifford+T gates can easily be made fault-tolerant but the T gate is very costly to…

Quantum Physics · Physics 2018-09-27 Himanshu Thapliyal , Edgard Muñoz-Coreas , T. S. S. Varun , Travis S. Humble

Cat qubits provide appealing building blocks for quantum computing. They exhibit a tunable noise bias yielding an exponential suppression of bit flips with the average photon number and a protection against the remaining phase errors can be…

Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding…

Quantum Physics · Physics 2025-07-15 Alan Bu , Evan Fan , Robert Sanghyeon Joo

Quantum computation is traditionally expressed in terms of quantum bits, or qubits. In this work, we instead consider three-level qu$trits$. Past work with qutrits has demonstrated only constant factor improvements, owing to the $\log_2(3)$…

The discrete logarithm problem (DLP) over finite fields, commonly used in classical cryptography, has no known polynomial-time algorithm on classical computers. However, Shor has provided its polynomial-time algorithm on quantum computers.…

Quantum Physics · Physics 2025-10-06 Kaito Kishi , Junpei Yamaguchi , Tetsuya Izu , Noboru Kunihiro

At the moment, quantum circuits are created mainly by manually placing logic elements on lines that symbolize quantum bits. The purpose of creating Quantum Circuit Synthesizer "Naginata" was due to the fact that even with a slight increase…

Quantum Physics · Physics 2022-09-22 Cesar Borisovich Pronin , Andrey Vladimirovich Ostroukh

In this note we consider optimised circuits for implementing Shor's quantum factoring algorithm. First I give a circuit for which none of the about 2n qubits need to be initialised (though we still have to make the usual 2n measurements…

Quantum Physics · Physics 2007-05-23 Christof Zalka

Precise suites of benchmarks are required to assess the progress of early fault-tolerant quantum computers at economically impactful applications such as cryptanalysis. Appropriate challenges exist for factoring but those for elliptic curve…

Quantum Physics · Physics 2026-03-27 Pierre-Luc Dallaire-Demers , William Doyle , Timothy Foo

We identify a sub-class of BQP that captures certain structural commonalities among many quantum algorithms including Shor's algorithms. This class does not contain all of BQP (e.g. Grover's algorithm does not fall into this class). Our…

Computational Complexity · Computer Science 2015-03-20 Richard J. Lipton , Kenneth W. Regan , Atri Rudra