Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels
Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels
复制标题
DOI：
10.1145/3503222.3507715
复制
发表时间：
2021-09
期刊：
影响因子：
--
通讯作者：
Gushu Li;Anbang Wu;Yunong Shi;Ali Javadi-Abhari;Yufei Ding;Yuan Xie
中科院分区：
文献类型：
--
作者：
Gushu Li;Anbang Wu;Yunong Shi;Ali Javadi-Abhari;Yufei Ding;Yuan Xie
量子模拟内核是一个重要的子程序，在许多量子程序中以很长的门序列的形式出现。在本文中，我们提出了Paulihedral，一个基于块的编译器框架，它可以通过利用高级程序结构和优化机会来深入优化此子例程。Paulihedral首先采用了一种新的Pauli中间表示，它可以保持量子模拟核中的高级语义和约束。这自然使新的大规模优化成为可能，而这些优化很难在低门级实现。特别是，我们提出了两个与技术无关的指令调度通道和两个与技术相关的代码优化通道，它们协调了编译器的电路综合、门消除和量子位映射阶段。实验结果表明，Paulihedral在近期超导量子处理器和未来容错量子计算机上的广泛应用中都可以超越最先进的编译器基础设施。
The quantum simulation kernel is an important subroutine appearing as a very long gate sequence in many quantum programs. In this paper, we propose Paulihedral, a block-wise compiler framework that can deeply optimize this subroutine by exploiting high-level program structure and optimization opportunities. Paulihedral first employs a new Pauli intermediate representation that can maintain the high-level semantics and constraints in quantum simulation kernels. This naturally enables new large-scale optimizations that are hard to implement at the low gate-level. In particular, we propose two technology-independent instruction scheduling passes, and two technology-dependent code optimization passes which reconcile the circuit synthesis, gate cancellation, and qubit mapping stages of the compiler. Experimental results show that Paulihedral can outperform state-of-the-art compiler infrastructures in a wide-range of applications on both near-term superconducting quantum processors and future fault-tolerant quantum computers.