The rate splits into information and a mismatch
probability▲▲△At the four points have encoder distributions , two corners at each sign. Find the average KL to the prior, the mutual information between the example and its code, and the KL from the aggregate posterior to the prior, and check that (I.13.9) holds. Compare the aggregate posterior with the prior at .
Hint
Two corners share each distribution, so the information between the example and the code equals the information between the sign and the code. That is (Mutual information 0.IT.04). The first entropy has no closed form; integrate it numerically.
Solution
Average KL. Every corner has and , so each KL is , and so is the average.
Information. The aggregate posterior is the mixture . Each component has entropy . Numerical integration of gives the mixture’s entropy, and the difference is
It is below , the most a binary sign could carry, because the two components overlap.
Mismatch. , and . Numerically it is .
The identity. , the average KL. Most of the rate pays for information about the example; about a sixth pays for the aggregate posterior not being the prior.
At . The mixture’s density is , and the prior’s is . The mixture has the prior’s variance but not its shape. Codes drawn from the prior near zero, which are the commonest, are codes the encoder produced less than half as often. That is a hole, and the second term of (I.13.9) is its price.