A mathematical framework for quantum Hamiltonian simulation and duality