{"id":"arxiv/2610.39491","url":"https://arxiv.org/abs/2610.39491","tags":["cs.PL","cs.LO","quant-ph"],"score":0,"title":"Automated Verification of Hamiltonian Simulation by Quantum Signal Processing","domain":"cs.PL","source":"arxiv","authors":["Min Lai","Yu-Fang Chen","Shih-Han Hung"],"reviews":0,"subject":"cs.PL","summary":"We present, to the best of our knowledge, the first fully automated verification framework for QSP-based Hamiltonian simulation. Our framework exploits the structure of the simulation algorithm: Hamiltonians are given as weighted sums of Pauli strings, embedded into larger unitaries through block encodings, and transformed into time-evolution operators by quantum signal processing (QSP). Using a symbolic Pauli-sum semantics for ancilla-indexed circuit blocks, our verifier proves that the distinguished all-zero ancilla block is proportional to the target Hamiltonian and infers the…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}