paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators

利用现代量子架构的规则结构编译与优化具有可交换算子的程序
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 1/10 · 该论文研究量子架构下的编译与优化,核心是利用可交换双比特门的顺序自由度降低量子电路深度/门数,与用户的 PL↔AI、静态分析、浮点程序分析、贝叶斯程序分析及 LLM/Agent 交叉方向基本无关。虽然涉及编译与程序优化,但面向量子硬件场景,不属于用户研究画像的核心或相关兴趣范围。引用 5 inbox
Yuwei Jin, Fei Hua, Yanhao Chen, Ari Hayes, Chi Zhang, Eddy Z. Zhang
crossref: 2026-09-12

AI 速览

一句话:提出结构化量子编译方法,利用可交换双比特门顺序自由度,在IBM/Google架构上降低深度与门数。

现代量子线路常包含可交换的双比特算子,其顺序灵活性为编译优化提供了额外空间,但也因自由度增加而带来显著挑战。本文提出一种通用方法,为可扩展量子硬件寻找结构化解决方案:将复杂的编译问题分解为两个可在小规模下求解的子问题。进一步,作者将该结构化方法适配到实际问题,处理输入问题图的稀疏性以及真实硬件的噪声变化。评估在IBM与Google架构的耦合图上进行,规模最高达1024个量子比特,结果在深度和门数上均优于基线:深度最多降低72%,门数最多降低66%。在IBM Mumbai上的真实实验表明,该方法能找到比当前最优基线更低的期望最小能量。

问题
量子线路中可交换双比特门的顺序灵活性带来优化机会,但也因额外自由度显著增加编译难度;如何为可扩展量子硬件有效编译和优化这类程序是核心问题。
方法
作者提出通用结构化方法,将复杂编译问题分解为两个小规模可解子问题,并进一步适配输入问题图稀疏性与真实硬件噪声变化。
评估
在IBM和Google架构耦合图上评估至1024量子比特,深度最高降低72%、门数最高降低66%;在IBM Mumbai真实实验中取得优于SOTA的期望最小能量。
原文摘要(Abstract)

A critical feature in today's quantum circuit is that they have permutable two-qubit operators. The flexibility in ordering the permutable two-qubit gates leads to more compiler optimization opportunities. However, it also imposes significant challenges due to the additional degree of freedom. Our Contributions are two-fold. We first propose a general methodology that can find structured solutions for scalable quantum hardware. It breaks down the complex compilation problem into two sub-problems that can be solved at small scale. Second, we show how such a structured method can be adapted to practical cases that handle sparsity of the input problem graphs and the noise variability in real hardware. Our evaluation evaluates our method on IBM and Google architecture coupling graphs for up to 1,024 qubits and demonstrate better result in both depth and gate count - by up to 72% reduction in depth, and 66% reduction in gate count. Our real experiments on IBM Mumbai show that we can find better expected minimal energy than the state-of-the-art baseline.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot10114,
  title = {Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators},
  author = {Yuwei Jin and Fei Hua and Yanhao Chen and Ari Hayes and Chi Zhang and Eddy Z. Zhang},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3623278.3624751}
}