Microsoft

Integrate Automatic Oracle Synthesis into QDK for Resource Estimation

This project aimed to make quantum programming easier by automatically compiling classical code in Q# into quantum-equivalent operations in QIR for subsequent use with Azure Quantum Resource Estimation. One barrier to using automatic resource estimation tools is the requirement for a scalable quantum algorithm as input. Few scalable applications are readily available to download, and it is not easy to write them from scratch. Automatic oracle synthesis is one way to lower this barrier and works well for applications that have a large classical part, e.g., optimization algorithms on top of Grover search. For these the most difficult part is to implement the classical oracle that is used in the Grover Iteration. Since these oracles describe classical functions, one can leverage automatic so-called oracle synthesis algorithms that given a classical description of the function generate a quantum operation. Some of the techniques even allow to take objective functions into account and can yield various implementations which allow for a design space exploration.