Where Jensen's inequality is tight
symbolic▲▲△Derive the ELBO from Jensen’s inequality, and state exactly when the inequality is an equality. Then check the condition for the model of I.13.B01: show that takes the same value at every , and find it.
Hint
The logarithm is strictly concave, so only when is constant.
Solution
Write with . Its mean is , so by Jensen’s inequality (Jensen's inequality 0.IT.05)
Because is strictly concave, equality holds exactly when is the same number for every that can draw. Then , and normalising gives , the posterior. The constant is .
For the linear model, with the posterior, is , which by Bayes’ rule is at every . The script evaluates at , , and and gets each time, the log-evidence.
For any other the ratio varies with , and the spread of is what Jensen’s inequality charges. The first derivation in proposition 2 shows that the charge is exactly .