论文标题

ARLINE基准测试:量子编译器的自动基准测试平台

Arline Benchmarks: Automated Benchmarking Platform for Quantum Compilers

论文作者

Kharkov, Y., Ivanova, A., Mikhantiev, E., Kotelnikov, A.

论文摘要

在嘈杂的中间量子量子(NISQ)设备的时代,量子算法的有效汇编至关重要。尽管有多个开源量子汇编和电路优化框架,例如IBM Qiskit,CQC TKET,Google CIRQ,Rigetti Quilc,pyzx,量子程序员并不总是清楚其相对性能。量子电路汇编算法的复杂性和多样性的增长创造了对量子汇编堆栈内部工作流程进行交叉基准和分析的专用工具的需求。我们提供了一个开源软件包ARLINE基准测试,该软件包旨在执行量子编译器的自动基准测试,重点是NISQ应用程序。 “ Arline”这个名字是为了纪念Arline Greenbaum Feynman,他是量子计算的先驱Richard Feynman的第一任妻子。我们根据一组重要的指标进行了比较了几个量子汇编框架,例如优化门计数,电路深度,与硬件相关的电路成本函数,编译器运行时间等,对每个编译阶段的指标进行了详细分析。我们对几种流行的量子硬件体系结构进行了多种编译器测试(VQE,Trotter分解,Grover搜索,通过振幅估计值)进行了多种编译器测试(VQE,Trotter分解,Grover搜索,选项定价)。利用ARLINE的跨平台功能,我们提出了一个复合汇编管道的概念,该概念将编译器特异性电路优化子例程组合在单个编译堆栈中,并找到了优化的编译序列。通过对量子编译器的编译流提供详细的见解,ARLINE基准测试为量子计算研究人员和软件开发人员提供了有价值的工具包,以获得对编译器特征的更多见解。

Efficient compilation of quantum algorithms is vital in the era of Noisy Intermediate-Scale Quantum (NISQ) devices. While multiple open-source quantum compilation and circuit optimization frameworks are available, e.g. IBM Qiskit, CQC Tket, Google Cirq, Rigetti Quilc, PyZX, their relative performance is not always clear to a quantum programmer. The growth of complexity and diversity of quantum circuit compilation algorithms creates a demand for a dedicated tool for cross-benchmarking and profiling of inner workflow of the quantum compilation stack. We present an open-source software package, Arline Benchmarks, that is designed to perform automated benchmarking of quantum compilers with the focus on NISQ applications. The name "Arline" was given in honour of Arline Greenbaum Feynman, the first wife of Richard Feynman, the pioneer of quantum computing. We compared several quantum compilation frameworks based on a set of important metrics such as post-optimization gate counts, circuit depth, hardware-dependent circuit cost function, compiler run time etc. with a detailed analysis of metrics for each compilation stage. We performed a variety of compiler tests for random circuits and structured quantum algorithms (VQE, Trotter decomposition, Grover search, Option Pricing via Amplitude Estimation) for several popular quantum hardware architectures. Leveraging cross-platform functionality of Arline, we propose a concept of composite compilation pipeline that combines compiler-specific circuit optimization subroutines in a single compilation stack and finds an optimized sequence of compilation passes. By providing detailed insights into the compilation flow of quantum compilers, Arline Benchmarks offers a valuable toolkit for quantum computing researchers and software developers to gain additional insights into compilers' characteristics.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源