Work

ROS: Resource-constrained Oracle Synthesis for Quantum Computers

Year: 2020

Type: article

Abstract: 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.318.8

Authors: Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli

Institutions: École Polytechnique Fédérale de Lausanne, Microsoft (United States)

Language: English

Topic: Quantum Computing Algorithms and Architecture

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: National Science Foundation, Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Awards: G3592851222, G5874334204, MAJesty: Logic Synthesis with Majority-Inverter Graphs, G993971353