The Hamiltonian route: tails and a constructive error

Continuous-time local Hamiltonian evolution generally has tails, unlike an exact bounded-range circuit. Lieb–Robinson theory supplies sharper volume-uniform bounds under suitable interaction assumptions BravyiHastingsVerstraete. We give a deliberately conservative finite-volume proof sufficient for this paper.