Automatic oracle generation in Microsoft’s Quantum Development Kit using QIR and LLVM passes
TimeThursday, July 14th10:52am - 11:15am PDT
Location3003, Level 3
Special Session (Research)
DescriptionAutomatic oracle generation techniques can find optimized quantum circuits for classical components in quantum algorithms. However, most implementation of oracle generation techniques require that the classical component is expressed in terms of a conventional logic representation such as logic network, truth tables, or decision diagrams. We implemented LLVM passes that can automatically generate QIR functions that represent classical Q# functions into QIR code that implements such functions quantumly. State-of-the-art logic optimization and oracle generation techniques based on XOR-And graphs are leveraged for this purpose. This enables not only a more natural description of the quantum algorithm on a higher level of abstraction, but also enables technology dependent or application specific generation of the oracles.