Conceptual

Kullback-Leibler Divergence

KL(q||p) = E_q[log q - log p], the expected log-ratio measuring how one distribution diverges from another; it is nonnegative, zero only at equality, and asymmetric — the direction chosen in variational inference is what causes variance underestimation.