Скачать или смотреть [PLDI'25] MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum(…)

MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation (Video, PLDI 2025)
Xiuqi Cao, Junyu Zhou, Yuhao Liu, Yunong Shi, and Gushu Li
(University of Pennsylvania, USA; University of Pennsylvania, USA; University of Pennsylvania, USA; AWS Quantum Technologies, USA; University of Pennsylvania, USA)

Abstract: Quantum Hamiltonian simulation, fundamental in quantum algorithm design, extends far beyond its foundational roots, powering diverse quantum computing applications. However, optimizing the compilation of quantum Hamiltonian simulation poses significant challenges. Existing approaches fall short in reconciling deterministic and randomized compilation, lack appropriate intermediate representations, and struggle to guarantee correctness. Addressing these challenges, we present MarQSim, a novel compilation framework. MarQSim leverages a Markov chain-based approach, encapsulated in the Hamiltonian Term Transition Graph, adeptly reconciling deterministic and randomized compilation benefits. Furthermore, we formulate a Minimum-Cost Flow model that can tune transition matrices to enforce correctness while accommodating various optimization objectives. Experimental results demonstrate MarQSim's superiority in generating more efficient quantum circuits for simulating various quantum Hamiltonians while maintaining precision.

Article: https://doi.org/10.1145/3729269

Supplementary archive: https://doi.org/10.5281/zenodo.15258728 (Badges: Artifacts Available, Artifacts Evaluated — Reusable)

ORCID: https://orcid.org/0000-0002-5149-9871, https://orcid.org/0009-0007-5564-8401, https://orcid.org/0009-0005-2822-0448, https://orcid.org/0000-0002-0824-6107, https://orcid.org/0000-0002-6233-0334

Video Tags: Quantum Computing, Hamiltonian Simulation, Markov Chain, Minimum-Cost Flow Model, pldi25main-p135-p, doi:10.1145/3729269, doi:10.5281/zenodo.15258728, orcid:0000-0002-5149-9871, orcid:0009-0007-5564-8401, orcid:0009-0005-2822-0448, orcid:0000-0002-0824-6107, orcid:0000-0002-6233-0334, Artifacts Available, Artifacts Evaluated — Reusable

Presentation at the PLDI 2025 conference, June 16–20, 2025, https://pldi25.sigplan.org/
Sponsored by ACM SIGPLAN,