DeepAI AI Chat
Log In Sign Up

ROS: Resource-constrained Oracle Synthesis for Quantum Computers

by   Giulia Meuli, et al.

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.


page 1

page 2

page 3

page 4


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

Grover's algorithm is a well-known contribution to quantum computing. It...

Automatic Amortized Resource Analysis with the Quantum Physicist's Method

We present a novel method for working with the physicist's method of amo...

Mapping Surface Code to Superconducting Quantum Processors

In this paper, we formally describe the three challenges of mapping surf...

Solving Highly Constrained Search Problems with Quantum Computers

A previously developed quantum search algorithm for solving 1-SAT proble...

Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers

We describe a family of recursive methods for the synthesis of qubit per...

Quantum Search for Scaled Hash Function Preimages

We present the implementation of Grover's algorithm in a quantum simulat...

Universal resources for quantum computing

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