A Quantum Theory of Atomic Diffusion in a Model Crystal