论文标题
ROS：量子计算机的资源受限的甲骨文合成
ROS: Resource-constrained Oracle Synthesis for Quantum Computers
论文作者
论文摘要
我们为Oracle功能提供了一个完全自动的合成框架，这是许多量子算法中的中心部分。 资源约束甲骨文合成（ROS）的提议的框架是一种基于LUT的层次结构方法，其中每个步骤都专门针对解决硬件资源约束。 ROS嵌入了一个旨在简化连续合成步骤的LUT映射器，根据其相应的量子电路所使用的资源使每个LUT成本。 此外，该框架利用了基于SAT的量子垃圾管理技术。 这两个特征使ROS具有量子数和操作数量的最新分层方法的能力。框架的效率通过合成Grover算法的量子甲骨文来证明。
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.
