← notes

Variational Autoencoder

,

log⁡(p(x))=∫log⁡(p(x))qΦ(z∣x)dz∵∫qΦ(z∣x)dz=1=∫log⁡(p(x,z)p(z∣x))qΦ(z∣x)dz∵p(x)=p(x,z)p(z∣x)=∫log⁡(p(x,z)qΦ(z∣x)⋅qΦ(z∣x)p(z∣x))qΦ(z∣x)dz=∫log⁡(p(x,z)qΦ(z∣x))qΦ(z∣x)dz+∫log⁡(qΦ(z∣x)p(z∣x))qΦ(z∣x)dz\begin{align} \log(p(x)) & = \int \log(p(x))q_{\Phi}(z \vert x) dz & \because \int q_{\Phi} (z \vert x) dz = 1 \\ & = \int \log (\frac{p(x,z)}{p(z \vert x)}) q_{\Phi}(z \vert x)dz & \because p(x) = \frac{p(x,z)}{p(z \vert x)} \\ & = \int \log ( \frac{p(x,z)}{q_{\Phi}(z \vert x)} \cdot \frac{q_{\Phi}(z \vert x)}{p(z \vert x)}) q_{\Phi}(z \vert x) dz & \\ & = \int \log ( \frac{p(x,z)}{q_{\Phi}(z \vert x)}) q_{\Phi}(z \vert x) dz + \int \log (\frac{q_{\Phi}(z \vert x)}{p(z \vert x)}) q_{\Phi}(z \vert x) dz & \end{align} ∫log⁡(p(x,z)qΦ(z∣x))qΦ(z∣x)dz=∫log⁡(p(x∣z)p(z)qΦ(z∣x))qΦ(z∣x)dz=∫qΦ(z∣x)log⁡(p(x∣z))dz−∫qΦ(z∣x)log⁡(qΦ(z∣x)p(z))dz=EqΦlog⁡(p(x∣z))−KL(qΦ(z∣x)∥p(z))\begin{align} \int \log ( \frac{p(x,z)}{q_{\Phi}(z \vert x)}) q_{\Phi}(z \vert x) dz & = \int \log ( \frac{p(x \vert z) p(z)}{q_{\Phi}(z \vert x)}) q_{\Phi}(z \vert x) dz \\ & = \int q_{\Phi}(z \vert x) \log(p(x \vert z)) dz - \int q_{\Phi}(z \vert x) \log( \frac{q_{\Phi}(z \vert x)}{p( z)}) dz \\ & = E_{q_{\Phi}} \log(p(x \vert z)) - KL(q_{\Phi}(z \vert x ) \Vert p(z)) \end{align} z=μ+σ⋅ϵz = \mu + \sigma \cdot \epsilon

참고