Provable Separations between Memorization and Generalization in Diffusion Models