DeepAI AI Chat
Log In Sign Up

ROS: Resource-constrained Oracle Synthesis for Quantum Computers

05/01/2020
by   Giulia Meuli, et al.
0

We present a completely automatic synthesis framework for oracle functions, a central part in many quantum algorithms. The proposed framework for resource-constrained oracle synthesis (ROS) is a LUT-based hierarchical method in which every step is specifically tailored to address hardware resource constraints. ROS embeds a LUT mapper designed to simplify the successive synthesis steps, costing each LUT according to the resources used by its corresponding quantum circuit. In addition, the framework exploits a SAT-based quantum garbage management technique. Those two characteristics give ROS the ability to beat the state-of-the-art hierarchical method both in number of qubits and in number of operations. The efficiency of the framework is demonstrated by synthesizing quantum oracles for Grover's algorithm.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/13/2023

Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification

Grover's algorithm is a well-known contribution to quantum computing. It...
06/26/2021

Automatic Amortized Resource Analysis with the Quantum Physicist's Method

We present a novel method for working with the physicist's method of amo...
11/26/2021

Mapping Surface Code to Superconducting Quantum Processors

In this paper, we formally describe the three challenges of mapping surf...
05/27/2011

Solving Highly Constrained Search Problems with Quantum Computers

A previously developed quantum search algorithm for solving 1-SAT proble...
07/13/2022

Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers

We describe a family of recursive methods for the synthesis of qubit per...
09/01/2020

Quantum Search for Scaled Hash Function Preimages

We present the implementation of Grover's algorithm in a quantum simulat...
03/07/2023

Universal resources for quantum computing

Unravelling the source of quantum computing power has been a major goal ...