论文标题
Microsoft的量子开发套件中使用QIR和LLVM Passes的自动甲骨文生成
Automatic oracle generation in Microsoft's Quantum Development Kit using QIR and LLVM passes
论文作者
论文摘要
自动甲骨文生成技术可以找到量子算法中经典组件的优化量子电路。但是，大多数Oracle生成技术的实现都要求经典组件以常规逻辑表示（例如逻辑网络，真相表或决策图）表示。我们实现了LLVM通行证，可以自动生成代表经典Q＃函数的QIR函数的QIR代码，以量子实现此类函数。为此，我们使用的是基于XOR和图形的最先进的逻辑优化和Oracle生成技术。这不仅可以在更高的抽象水平上对量子算法进行更自然的描述，而且还可以使甲状管的技术依赖性或特定于应用的生成。
Automatic oracle generation techniques can find optimized quantum circuits for classical components in quantum algorithms. However, most implementations of oracle generation techniques require that the classical component is expressed in terms of a conventional logic representation such as logic networks, truth tables, or decision diagrams. We implemented LLVM passes that can automatically generate QIR functions representing classical Q# functions into QIR code implementing such functions quantumly. We are using state-of-the-art logic optimization and oracle generation techniques based on XOR-AND graphs 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.
