{"id":"arxiv/2608.11579","url":"https://arxiv.org/abs/2608.11579","tags":["quant-ph"],"score":0,"title":"Efficient Compilation for Hamiltonian Simulation via Global Binary Symplectic Form Simplification","domain":"quant-ph","source":"arxiv","authors":["Zhaohui Yang","Yuwei Han","Ruiyun Zhang","Dawei Ding","Jianxin Chen","Yuan Feng","Yuan Xie"],"reviews":0,"subject":"quant-ph","summary":"Hamiltonian simulation is a core quantum workload, underpinning variational quantum algorithms and Trotterized time evolution. Such programs are expressed as Pauli exponential sequences, exhibiting structural patterns that are highly amenable to high-level synthesis and optimization. Existing compilers, however, fail to fully unlock the optimization potential of their global algebraic structure, even when employing advanced graph- or tableau-based methods. We present Symphony, a holistic compilation approach built on the binary symplectic form (BSF) representation of Pauli strings. Unlike…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}