Efficient Compilation for Hamiltonian Simulation via Global Binary Symplectic Form Simplification
Symphony is presented, a holistic compilation approach built on the binary symplectic form (BSF) representation of Pauli strings that comprehensively exploits simultaneous simplification and commutativity opportunities, achieving efficient global optimization without relying on computationally expensive heuristics or l...