Variational inference approximates an intractable posterior
p(z∣x) with a tractable distribution
q(z∣x) via the evidence lower bound (ELBO). Exact decomposition of the log-evidence:
logp(x)=ELBO(q)+DKL(q(z∣x)∥p(z∣x)), where
ELBO(q)=Eq(z∣x)[logq(z∣x)p(x,z)]=Eq[logp(x,z)]+H(q)=Eq[logp(x∣z)]−DKL(q(z∣x)∥p(z)). The bound is constructed via Jensen: since
log is concave,
logp(x)=logEq[q(z∣x)p(x,z)]≥Eq[logq(z∣x)p(x,z)]=ELBO(q); expanding
Eq[logp(x)]=ELBO+Eq[logp(z∣x)q] yields the exact decomposition, with equality iff
q=p(z∣x), where the KL gap is 0 and ELBO reaches
logp(x).