Diffusion Model Step Function Notation Math Meaning Product