kwonminki / Asyrp_official

official repo for Asyrp : Diffusion Models already have a Semantic Latent Space (ICLR2023)
MIT License
249 stars 20 forks source link

Proof of Theorem 1 #18

Open fkcptlst opened 4 months ago

fkcptlst commented 4 months ago

Hello authors, thanks for your insightful work.

I have some questions regarding proof of theorem 1:

image

Eq. 16 says $\Delta x_t$ is negligible. Why exactly is this the case? Since $\Delta \epsilon_t$ is not negligible and $\frac{\sqrt{1 - \alpha_t - \beta_t} - \sqrt{1 - \alpha_t}}{\sqrt{1 - \beta_t}}$ is not necessarily zero.