What is ELBO?
Just another chain-of-thought on understanding and remembering ELBO.
Let be data samples , and be the latent variables . Consider a scenario wherein we wish to determine the posterior . Now, as per Bayes' theorem:
However, (aka the evidence) is intractable. One alternative is to look at variational inference to compute a proxy distribution that is close enough to the posterior . One appropriate measure of closeness here would be the Kullback-Leibler divergence, :
Kullback-Leibler (KL) divergence
Now, minimizing the KL divergence would look like this:
Enter, ELBO
We are back to square one: is intractable. However, there is one thing we can do: we can compute KL divergence up to a constant. To do this, let us define the evidence lower bound (ELBO) as the remaining terms in :
Note the reversal of the terms in ELBO between and .
Now, becomes:
In , is a constant, and is non-negative. This essentially means:
Now for the grand reveal: the log of the evidence, is lower bounded by . What this means is that maximizing minimizes !