From Laplace to BIC

post by johnswentworth · 2019-07-19T16:52:58.087Z · LW · GW · 2 comments

Contents

  BIC Derivation
  When Does BIC Work?
None
2 comments

The previous post [LW · GW] outlined Laplace approximation, one of the most common tools used to approximate hairy probability integrals. In this post, we'll use Laplace approximation to derive the Bayesian Information Criterion (BIC), a popular complexity penalty method for comparing models with more free parameters to models with fewer free parameters.

The BIC is pretty simple:

• Start with the maximum log likelihood $lnP\left[data|{\theta }_{max}\right]$
• Subtract $\frac{k}{2}lnN$ to penalize for complexity, where N is the number of data points and k is the number of free parameters (i.e. dimension of $\theta$).

Thus: $lnP\left[data|{\theta }_{max}\right]-\frac{k}{2}lnN$. Using this magic number, we compare any two models we like.

Let's derive that.

BIC Derivation

As usual, we'll start from $P\left[data|model\right]$. (Caution: don't forget that what we really care about is $P\left[model|data\right]$; we can jump to $P\left[data|model\right]$ only as long as our priors are close enough to be swamped by the evidence.) This time, we'll assume that we have N independent data points $x_i$, all with the same unobserved parameters - e.g. N die rolls with the same unobserved biases. In that case, we have

$P\left[data|model\right]={\int }_{\theta }P\left[data|\theta \right]dP\left[\theta \right]={\int }_{\theta }{\prod }_{i=1}^{N}P\left[x_i|\theta \right]p\left[\theta \right]d\theta$

Next, apply Laplace approximation and take the log.

$lnP\left[data|model\right]\approx {\sum }_{i}lnP\left[x_i|{\theta }_{max}\right]+lnp\left[{\theta }_{max}\right]+\frac{k}{2}ln\left(2\pi \right)-\frac{1}{2}lndet\left(H\right)$

where the Hessian matrix H is given by

$H=\frac{d^2}{d{\theta }^2}lnP\left[data|\theta \right]{|}_{{\theta }_{max}}={\sum }_i\frac{d^2}{d{\theta }^2}lnP\left[x_i|\theta \right]{|}_{{\theta }_{max}}$

Now for the main trick: how does each term scale as the number of data points N increases?

• The max log likelihood ${\sum }_{i}P\left[x_i|{\theta }_{max}\right]$ is a sum over data points, so it should scale roughly proportionally to N.
• The prior density and the $\frac{k}{2}ln\left(2\pi \right)$ are constant with respect to N.
• H is another sum over data points, so it should also scale roughly proportionally to N.

Let's go ahead and write H as $N\ast \left(\frac{1}{N}H\right)$, to pull out the N-dependence. Then, if we can remember how determinants scale:

$lndet(N\ast (\frac{1}{N}H\left)\right)=lndet\left(\frac{1}{N}H\right)+k\ast lnN$

so we can re-write our Laplace approximation as $lnP\left[data|model\right]\approx {\sum }_{i}lnP\left[x_i|{\theta }_{max}\right]+p\left[{\theta }_{max}\right]+\frac{k}{2}ln\left(2\pi \right)-\frac{1}{2}lndet\left(\frac{1}{N}H\right)-\frac{k}{2}lnN=lnP\left[data|{\theta }_{max}\right]-\frac{k}{2}lnN+O\left(1\right)$

where $O\left(1\right)$ contains all the terms which are roughly constant with respect to N. The first two terms are the BIC.

In other words, the BIC is just the Laplace approximation, but ignoring all the terms which don't scale up as the number of data points increases.

When Does BIC Work?

What conditions need to hold for BIC to work? Let's go back through the derivation and list out the key assumptions behind our approximations.

• First, in order to jump from $P\left[model|data\right]$ to $P\left[data|model\right]$, our models should have roughly similar prior probabilities $P\left[model\right]$ - i.e. within a few orders of magnitude.
• Second, in order for any point approximation to work, the posterior parameter distribution needs to be pointy and unimodal - most of the posterior probability mass must be near ${\theta }_{max}$. In other words, we need enough data to get a precise estimate of the unobserved parameters.
• Third, we must have N large enough that $\frac{k}{2}lnN$ (the smallest term we're keeping) is much larger than the $O\left(1\right)$ terms we're throwing away.

That last condition is the big one. BIC is a large-N approximation, so N needs to be large for it to work. How large? That depends how big $lndet\left(\frac{1}{N}H\right)$ is - N needs to be exponentially larger than that. We'll see an example in the next post.

Next post will talk more about relative advantages of BIC, Laplace, and exact calculation for comparing models. We'll see a concrete example of when BIC works/fails.

2 comments

Comments sorted by top scores.