ABC Methods for Bayesian Model Choice

ABC Methods for Bayesian Model Choice ABC Methods for Bayesian Model Choice Christian P. Robert Universit´ e Paris-Dauphine, IuF, & CREST http://www....
Author: Coral Bennett
13 downloads 0 Views 1MB Size
ABC Methods for Bayesian Model Choice

ABC Methods for Bayesian Model Choice Christian P. Robert Universit´ e Paris-Dauphine, IuF, & CREST http://www.ceremade.dauphine.fr/~xian

Bayes-250, Edinburgh, September 6, 2011

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Approximate Bayesian computation

Approximate Bayesian computation ABC for model choice Gibbs random fields Generic ABC model choice

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Regular Bayesian computation issues

When faced with a non-standard posterior distribution π(θ|y) ∝ π(θ)L(θ|y) the standard solution is to use simulation (Monte Carlo) to produce a sample θ1 , . . . , θ T from π(θ|y) (or approximately by Markov chain Monte Carlo methods) [Robert & Casella, 2004]

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Untractable likelihoods

Cases when the likelihood function f (y|θ) is unavailable and when the completion step Z f (y|θ) = f (y, z|θ) dz Z

is impossible or too costly because of the dimension of z c MCMC cannot be implemented!

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Untractable likelihoods

c MCMC cannot be implemented!

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

The ABC method Bayesian setting: target is π(θ)f (x|θ)

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

The ABC method Bayesian setting: target is π(θ)f (x|θ) When likelihood f (x|θ) not in closed form, likelihood-free rejection technique:

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

The ABC method Bayesian setting: target is π(θ)f (x|θ) When likelihood f (x|θ) not in closed form, likelihood-free rejection technique:

ABC algorithm For an observation y ∼ f (y|θ), under the prior π(θ), keep jointly simulating θ0 ∼ π(θ) , z ∼ f (z|θ0 ) , until the auxiliary variable z is equal to the observed value, z = y. [Tavar´e et al., 1997]

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

A as approximative

When y is a continuous random variable, equality z = y is replaced with a tolerance condition, %(y, z) ≤  where % is a distance

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

A as approximative

When y is a continuous random variable, equality z = y is replaced with a tolerance condition, %(y, z) ≤  where % is a distance Output distributed from π(θ) Pθ {%(y, z) < } ∝ π(θ|%(y, z) < )

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

ABC algorithm

Algorithm 1 Likelihood-free rejection sampler for i = 1 to N do repeat generate θ0 from the prior distribution π(·) generate z from the likelihood f (·|θ0 ) until ρ{η(z), η(y)} ≤  set θi = θ0 end for where η(y) defines a (maybe in-sufficient) statistic

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Output The likelihood-free algorithm samples from the marginal in z of: π(θ)f (z|θ)IA,y (z) , A,y ×Θ π(θ)f (z|θ)dzdθ

π (θ, z|y) = R

where A,y = {z ∈ D|ρ(η(z), η(y)) < }.

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

Output The likelihood-free algorithm samples from the marginal in z of: π(θ)f (z|θ)IA,y (z) , A,y ×Θ π(θ)f (z|θ)dzdθ

π (θ, z|y) = R

where A,y = {z ∈ D|ρ(η(z), η(y)) < }. The idea behind ABC is that the summary statistics coupled with a small tolerance should provide a good approximation of the posterior distribution: Z π (θ|y) = π (θ, z|y)dz ≈ π(θ|y) .

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

MA example

Consider the MA(q) model xt = t +

q X

ϑi t−i

i=1

Simple prior: uniform prior over the identifiability zone, e.g. triangle for MA(2)

ABC Methods for Bayesian Model Choice Approximate Bayesian computation

MA example (2) ABC algorithm thus made of 1. picking a new value (ϑ1 , ϑ2 ) in the triangle 2. generating an iid sequence (t )−q