GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation
Abstract
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.
Related
- Distributed Phase Tags: A Locality-Preserving Realification Compiler for Misty-State Quantum Programs
- QBX: A Compiler for 2-local Qubit Hamiltonian Simulation on Quantum Chiplets
- Minimal representations of topology-preserving quantum-like states
- Operator-Algebraic Methods for Asymptotic-Preserving Quantum Simulation of Open Systems
- Spatial Discretization Error for Quantum Chemistry Simulation
BibTeX
@misc{ren2026gadir,
title = {{GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation}},
author = {Xiangyu Ren and Yuexun Huang and Zhaohui Yang and Yuchen Zhu and Tsung-Wei Huang and Tsung-Yi Ho and Zhiding Liang and Antonio Barbalace},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.01771},
eprint = {2609.01771},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.01771},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - GadIR: A Spatial-Topology Preserving Compiler for Quantum Many-Body Systems Simulation
AU - Xiangyu Ren
AU - Yuexun Huang
AU - Zhaohui Yang
AU - Yuchen Zhu
AU - Tsung-Wei Huang
AU - Tsung-Yi Ho
AU - Zhiding Liang
AU - Antonio Barbalace
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.01771
UR - https://arxiv.org/abs/2609.01771
AB - 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.
ER -