0

Bayes Inference, Bayes Factor, Model Selection

 1 year ago
source link: https://iphysresearch.github.io/blog/post/ml_notes/bayes_inference_bayes_factor_model_selection/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
模型选择 (model selection) 是统计推断专题里一个很重要的话题,对于引力波数据处理,引力波天文学和多信使天文学来说,尤是如此。此文是于 2021.1.19 在 ITP-CAS 为 Journal Club 准备的一个整理与调研。算是自己对 model selection 在个人在当前理解程度上的一个记录。

Bayes Inference

A primary aim of modern Bayesian inference is to construct a posterior distribution p(θ|d) where θ is the set of model parameters and d is the data associated with a measurement1. The posterior distribution p(θ|d) is the probability density function for the continuous variable θ (i.e. 15 parameters describing a CBC) given the data d (strain data from a network of GW detectors). The probability that the true value of θ is between (θ′,θ′+dθ) is given by p(θ′|d)dθ′. It is normalised so that ∫dθp(θ|d)=1.

According to Bayes theorem, the posterior distribution for multimessenger astrophysics is given by p(θ∣d)=L(d∣θ)π(θ)Z where L(d∣θ) is the likelihood function of the data given the θ, π(θ) is the prior distribution of θ, and Z is a normalisation factor called the ‘evidence': Z≡∫dθL(d∣θ)π(θ).

The likelihood function is something that we choose. It is a description of the measurement. By writing down a likelihood, we implicitly introduce a noise model. For GW astronomy, we typically assume a Gaussian-noise likelihood function that looks something like this L(d∣θ)=12πσ2exp⁡(−12(d−μ(θ))2σ2), where μ(θ) is a template for the gravitational strain waveform given θ and σ is the detector noise. Note the π with no parantheses and no subscript is the mathematical constent, not a prior distribution. This likelihood function reflects our assumption that the noise in GW detctors is Gaussian. Note that the likelihood function is not normalised with respect the θ and so ∫dθL(d|θ)≠1.

In practical terms, the evidence is a single number. It usually does not mean anything by itself, but becomes useful when we compare one evidence with another evidence. Formally, the evidence is a likelihood function. Specifically, it is the completely marginalised likelihood function. It is therefore sometimes denoted L(d) with no θ dependence. However, we prefer to use Z to denote the fully marginalised likelihood function.


Bayes Factor

Recall from probability theory:

We wish to distinguish between two hypotheses: H1,H2.

Bayes’s theorm can be expressed in a form mare convenient for our pruposes by employing the completeness relationship. Using the completeness relation (note: P(H1)+P(H2)=1), we find that the probability that H1 is true given that d is true is P(H1∣d)=P(H1)P(d∣H1)P(d)=P(H1)P(d∣H1)P(d∣H1)P(H1)+P(d∣H2)P(H2)=Λ(H1∣d)Λ(H1∣d)+P(H2)/P(H1)=O(H1∣d)O(H1∣d)+1 where we have defined likelihood ratio Λ and odds ratio O: Λ(H1∣d):=P(d∣H1)P(d∣H0)O(H1∣d):=P(H1)P(H0)Λ(H1∣d)=P(H1)P(H0)P(d∣H1)P(d∣H0)

The ratio of the evidence for two different models is called the Bayes factor. For example, we can compare the evidence for a BBH waveform predicted by general relativity (model MA with parameters θ ) with a BBH waveform predicted by some other theory (model MB with parameters ν): ZA=∫dθL(d∣θ,MA)π(θ),ZB=∫dνL(d∣ν,MB)π(ν). The A/B Bayes factor is BFBA=ZAZB. Note that the number of parameters in ν can be different from the number of parameters in θ.

Formally, the correct metric to compare two models is not the Bayes factor, but rather the odds ratio. The odds ratio is the product of the Bayes factor with the prior odds πA/πB, which describes our likelihood of hypotheses A and B: OBA≡ZAZBπAπB=πAπBBFBA

In many practical applications, we set the prior odds ratio to unity, and so the odds ratio is the Bayes factor. This practice is sensible in many applications where our intuition tells us: until we do this measurement both hypotheses are equally likely.

There are some (fairly uncommon) examples where we might choose a different prior odds ratio. For example, we may construct a model in which general relativity (GR) is wrong. We may further suppose that there are multiple different ways in which it could be wrong, each corresponding to a different GR-is-wrong sub-hypothesis. If we calculated the odds ratio comparing one of these GR-is-wrong sub-hypotheses to the GR-is-right hypothesis, we would not assign equal prior odds to both hypotheses. Rather, we would assign at most 50% probability to the entire GR-is-wrong hypothesis, which would then have to be split among the various sub-hypotheses.


Model Selection

Bayesian evidence encodes two pieces of information:

  1. The likelihood tells us how well our model fits the data.
  2. The act of marginalisation tell us about the size of the volume of parameter space we used to carry out a fit.

This creates a sort of tension:

We want to get the best fit possible (high likelihood) but with a minimum prior volume.

A model with a decent fit and a small prior volume often yields a greater evidence than a model with an excellent fit and a huge prior volume.

In these cases, the Bayes factor penalises the more complicated model for being too complicated.

How to understand this comments?

We can obtain some insights into the model evidence by making a simple approximation to the integral over parameters:

  • Consider first the case of a model having a single parameter w. (N=1)
  • Assume that the posterior distribution is sharply peaked around the most probable value wMAP, with width Δwposterior, then we can approximate the in- tegral by the value of the integrand at its maximum times the width of the peak.
  • Assume that the prior is flat with width Δwprior so that π(w)=1/Δwprior.
A rough approximation to the model evidence if we assume that the posterior distribution over parameters is sharply peaked around its mode $w_\text{MAP}$ .
A rough approximation to the model evidence if we assume that the posterior distribution over parameters is sharply peaked around its mode wMAP .

then we have Z≡∫dwL(d∣w)π(w)≃L(d∣wMAP)Δwposterior Δwprior  and so taking logs we obtain (for a model having a set of N parameters) ln⁡Z(d)≃ln⁡L(d∣wMAP)+Nln⁡(Δwposterior Δwprior )

  • The first term: the fit to the data given by the most probable parameter values, and for a flat prior this would correspond to the log likelihood.
  • The second term (also called Occam factor) penalizes the model according to its complexity. Because Δwposterior<Δwprior this term is negative, and it increases in magnitude as the ratio Δwposterior/Δwprior gets smaller. Thus, if parameters are finely tuned to the data in the posterior distribution, then the penalty term is large.

Thus, in this very simple approximation, the size of the complexity penalty increases linearly with the number N of adaptive parameters in the model. As we increase the complexity of the model, the first term will typically decrease, because a more complex model is better able to fit the data, whereas the second term will increase due to the dependence on N. The optimal model complexity, as determined by the maximum evidence, will be given by a trade-off between these two competing terms. We shall later develop a more refined version of this approximation, based on a Gaussian approximation to the posterior distribution.

A further insight into Bayesian model comparison and understand how the marginal likelihood can favour models of intermediate complexity by considering the Figure below.

Schematic illustration of the distribution of data sets for three models of different complexity, in which $M_1$ is the simplest and $M_3$ is the most complex. Note that the distributions are normalized. In this example, for the particular observed data set $\mathcal{D}_0$, the model $M_2$ with intermediate complexity has the largest evidence (the area und curve) .
Schematic illustration of the distribution of data sets for three models of different complexity, in which M1 is the simplest and M3 is the most complex. Note that the distributions are normalized. In this example, for the particular observed data set D0, the model M2 with intermediate complexity has the largest evidence (the area und curve) . Here the horizontal axis is a one-dimensional representation of the space of possible data sets, so that each point on this axis corresponds to a specific data set. We now consider three models M1, M2 and M3 of successively increasing complexity. Imagine running these models generatively to produce example data sets, and then looking at the distribution of data sets that result. Any given model can generate a variety of different data sets since the parameters are governed by a prior probability distribution, and for any choice of the parameters there may be random noise on the target variables. To generate a particular data set from a specific model, we first choose the values of the parameters from their prior distribution π(w), and then for these parameter values we sample the data from L(D|w). Because the distributions L(D|Mi) are normalized, we see that the particular data set D0 can have the highest value of the evidence for the model of intermediate complexity. Essentially, the simpler model cannot fit the data well, whereas the more complex model spreads its predictive probability over too broad a range of data sets and so assigns relatively small probability to any one of them.

More insights:

  • If we compare two models where one model is a superset of the other—for example, we might compare GR and GR with non-tensor modes—and if the data are better explained by the simpler model, the log Bayes factor is typically modest, |log⁡BF|≈(1,2). Thus, it is difficult to completely rule out extensions to existing theories. We just obtain ever tighter constraints on the extended parameter space.

  • To make good use of Bayesian model comparison, we fully specify priors that are independent of the current data D.

  • The sensitivity of the marginal likelihood to the prior range depends on the shape of the prior and is much greater for a uniform prior than a scale-invariant prior (see e.g. Gregory, 2005b, 61).

  • In most instances we are not particularly interested in the Occam factor itself, but only in the relative probabilities of the competing models as expressed by the Bayes factors. Because the Occam factor arises automatically in the marginalisation procedure, its effects will be present in any model-comparison calculation.

  • No Occam factors arise in parameter-estimation problems. Parameter estimation can be viewed as model comparison where the competing models have the same complexity so the Occam penalties are identical and cancel out.

  • On average the Bayes factor will always favour the correct model.

    To see this, consider two models Mtrue and M1 in which the truth corresponds to Mtrue. We assume that the true posterior distribution from which the data are considered is contained within the set of models under consideration. For a given finite data, it is possible for the Bayes factor to be larger for the incorrect model. However, if we average the Bayes factor over the distribution of data sets, we obtain the expected Bayes factor in the form ∫Z(D∣Mtrue)ln⁡Z(D∣Mtrue)Z(D∣M1)dD where the average has been taken with respect to the true distribution of the data. This is an example of Kullback-Leibler divergence and satisfies the property of always being positive unless the two distributions are equal in which case it is zero. Thus on average the Bayes factor will always favour the correct model.

We have seen from Figure 1 that the model evidence can be sensitive to many aspects of the prior, such as the behaviour in the tails. Indeed, the evidence is not defined if the prior is improper, as can be seen by noting that an improper prior has an arbitrary scaling factor (in other words, the normalization coefficient is not defined because the distribution cannot be normalized). If we consider a proper prior and then take a suitable limit in order to obtain an improper prior (for example, a Gaussian prior in which we take the limit of infinite variance) then the evidence will go to zero, as can be seen Figure 1 and the equation below the Figure 1. It may, however, be possible to consider the evidence ratio between two models first and then take a limit to obtain a meaningful answer.

In a practical application, therefore, it will be wise to keep aside an independent test set of data on which to evaluate the overall performance of the final system.


Reference


  1. By referring to model parameters, we are implicitly acknowledging that we begin with some model. Some authors make this explicit by writing the posterior as p(θ|d,M), where M is the model. (Other authors sometimes use I to denote the model.) We find this notation clunky and unnecessary since it goes without saying that one must always assume some model. If/when we consider two distinct models, we add an additional variable to denote the model. ↩︎


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK