2020/05/01 by Giulia Meuli, Mathias Soeken, Martin Roetteler +1
Computer Science · Physics and Astronomy · #cs.ET #cs.LO #quant-ph
paper · pdf · doi:10.4204/eptcs.318.8
published as EPTCS 318, 2020, pp. 119-130 · In Proceedings QPL 2019, arXiv:2004.14750
arxiv created 2020/05/01 · arxiv updated 2020/05/04
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.