Uniform semiclassical observable error bound of Trotterization without the Egorov theorem: a simple algebraic proof. - Di Fang 003; Conrad Qu (CoRR, 2025)