探究量子编译器的可重定向性声明
量子物理
2026-01-26 v1 软件工程
摘要
在 NISQ 时代，各种硬件制造商正在构建量子计算机。每个公司可能为其机器选择不同的方法和硬件架构。这给量子软件工程带来了一个问题：量子程序在不同硬件平台之间的可重定向性变得具有挑战性。针对这一问题，科学文献中提出了各种可重定向量子编译器，承诺能够为不同硬件平台编译软件，从而实现量子软件的可重定向性。本文开发并应用一种衡量量子编译器可重定向性的指标。我们开发并运行了一项研究，以分析有关编译器 Tket、Qiskit 和 ProjectQ 可重定向性的关键方面。我们的发现表明，Tket 显示出最高水平的可重定向性，紧随其后的是 Qiskit，而 ProjectQ 则落后于人们。这些结果为量子软件开发人员在选择适用于其用例的编译器提供了见解，并为量子编译器的改进领域提供了提示。
引用
@article{arxiv.2601.16779,
title = {Investigating Retargetability Claims for Quantum Compilers},
author = {Luke Southall and Joshua Ammermann and Rinor Kelmendi and Domenik Eichhorn and Ina Schaefer},
journal= {arXiv preprint arXiv:2601.16779},
year = {2026}
}
备注
This paper was submitted and accepted at the at the Q-STAV 2026