Second, most optimizations (e.g., circuit rewriting [1]}, gate cancellation [2]}, template matching [3]}, qubit mapping [4]}) in today's quantum compilers [5]}, [6]}
are local program transformations at small scale.
However, these passes are designed for generic input program and fail to leverage the deeper optimization opportunities present in quantum simulation kernels which mainly arise from Pauli algebra, flexible synthesis of Pauli strings, and approximations.
