发表机构
The University of Edinburgh; The University of Chicago; The Hong Kong University of Science and Technology; Northwestern University; University of Wisconsin–Madison; The Chinese University of Hong Kong; Open Quantum Intelligence Co., Ltd.（爱丁堡大学; 芝加哥大学; 香港科技大学; 西北大学; 威斯康星大学麦迪逊分校; 香港中文大学; 量子智能有限公司）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究提出保留空间拓扑的编译器 GadIR，以泡利 gadgets 为中间表示优化量子多体系统哈密顿量编译，在四种量子架构上显著降低了编译开销。
AI 中文摘要
模拟量子多体系统是量子计算最重要的应用之一。对于模拟而言，物理系统的哈密顿量会被编译为量子硬件原生指令的量子程序。在以往的工作中，哈密顿量被表示为泡利字符串，随后基于量子电路模型进行编译和优化。这种表示范式忽略了原始物理模型的空间拓扑，而该信息对于降低多体系统哈密顿量的编译开销至关重要。为解决这一问题，我们提出了一种用于量子多体模拟的空间拓扑保持编译器。我们采用泡利 gadgets 作为哈密顿量的表示，引入了中间表示 GadIR，以保留原始物理模型的空间拓扑信息。编译器前端基于泡利 gadget 模型执行组约简算法，这是一种与硬件无关的优化；编译器后端对泡利 gadgets 执行 Trotter 化和调度，随后将泡利 gadgets 合成为硬件原生量子程序。我们在所有经典量子多体系统模型上对该编译器进行了评估，在四种主要量子架构的编译开销上实现了显著降低。总体而言，我们的空间拓扑保持中间表示可拓展量子多体系统哈密顿量的编译优化空间。
英文摘要
Simulating quantum many-body systems has been one of the most important applications of quantum computation. For simulation, the Hamiltonian of a physical system is compiled into quantum programs with native instructions for quantum hardware. In previous works, the Hamiltonian is represented as Pauli strings, then compiled and optimized based on the quantum circuit model. Such representation paradigm neglects the spatial topology of original physical models, which is vital information to reducing the overhead of compiling many-body systems Hamiltonians. To address such neglect, we introduce a spatial-topology preserving compiler for quantum many-body simulation. Using Pauli gadgets as the representations of the Hamiltonian, we introduce our intermediate representation -- GadIR, to preserve the spatial-topology information of original physical models. Our compiler frontend performs the group reduction algorithm based on Pauli gadget model, which is a hardware-independent optimization. Our compiler backend performs trotterization and scheduling on Pauli gadgets, then synthesizes the Pauli gadgets into hardware-native quantum programs. We evaluate our compiler on all the canonical quantum many-body system models, while achieving a significant reduction on compilation overhead regarding four major quantum architectures. Overall, our spatial-topology preserving IR exploits the compilation optimization space for quantum many-body systems Hamiltonian.
Comments59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)
