Bayesian Experimental Design with Stochastic Epidemic Models
Download
1 / 30

Bayesian Experimental Design with Stochastic Epidemic Models Gavin J Gibson & Alex Cook - PowerPoint PPT Presentation


  • 68 Views
  • Uploaded on

Bayesian Experimental Design with Stochastic Epidemic Models Gavin J Gibson & Alex Cook School of Mathematical & Computer Sciences and Maxwell Institute for Mathematical Sciences, Heriot-Watt University, Edinburgh, UK Chris Gilligan Department of Plant Sciences, Cambridge University, UK

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Bayesian Experimental Design with Stochastic Epidemic Models Gavin J Gibson & Alex Cook ' - kevyn


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  • Bayesian Experimental Design with Stochastic Epidemic Models

  • Gavin J Gibson & Alex Cook

  • School of Mathematical & Computer Sciences and Maxwell Institute for Mathematical Sciences, Heriot-Watt University, Edinburgh, UK

  • Chris Gilligan

  • Department of Plant Sciences, Cambridge University, UK

  • Acknowledgements: BBSRC

  • Bayesian inference for stochastic epidemic models

  • The design problem

  • The need for approximation

  • Application to the design of microcosm experiments

  • Future work


History of individual i.

time

S

E

I

R

?

?

?

?

susceptible

exposed

infective

removed

Epidemics: Observable and unobservable processes

Consider SEIR model for an epidemic in a closed population that mixes homogeneously.

Diagnostic tests:

  • Limited frequency of tests

  • Certain states indistinguishable (e.g. S & E)

  • False negative and positive results


Stochastic model:

S E: If j is in state S at time t, then

Pr(j is exposed in (t, t+dt)) = bI(t)dt

E I: (random time in E)

I R: (random time in I)

Parameters: q = (b, qE, qI)

How can we estimate the parameters from the observations?


Likelihood and Bayesian inference in a nutshell…

Given observations y (from model M with unknown parameters, q) likelihood principle says all evidence about q contained in likelihood

L(q|y) = Pr(y|q) “the probability of the observations given q”.

Bayesian approach. Represent prior beliefs re q as density p(q). Update in light of y using Bayes’ Theorem

p(q|y)  p(q)L(q|y).

When q multivariate, inference on individual components made using marginal posterior density.


  • Bayesian inference for epidemic models

  • Let y represent observed data (incomplete), z represent complete data (times and nature of all events).

  • Problem is that Pr(z|q) usually tractable, but

  • Solution: Consider ‘hidden’ aspects, x, of the data as additional unknown parameters. Investigate the joint posterior density p(q, x |y). Make inference on q by marginalisation.

  • Now, by Bayes’ Theorem

  • p(q, x |y)  p(q)p(x, y|q)

Integrate over all z consistent with y

Likelihood for

augmented data

(tractable)


Using Markov chain methods we cangenerate samples {(qi, xi)} from p(q, x|y), where

p(q, x |y)  p(q)p(x, y|q)

Construct Markov chain with this stationary distribution which iterates by proposing & accepting/rejecting changes to the current state (qi, xi) to obtain (qi+1, xi+1).

Updates to (some components of) q can often be carried out by Gibb’s steps.

Updates to x, usually requires M-H and RJ type approaches.

Algorithms of this type have been developed and applied to the analysis of data (see e.g. GJG (1997), GJG & ER (1998, 2001), GS & GJG (2004a, 2004b), O’Neill & Roberts (1999), O’Neill & Becker (2001), Forrester et al. (2006))


Example. Epidemics of R solani in radish (with Plant Sciences, Cambridge)

Population size 50 (with and without added T. viride).

No Trichoderma

Trichoderma added


A simple model for this is the SEI with primary, secondary infection + quenching (Gibson et al., PNAS, 2004)

For any susceptible individual at time t, the probability of becoming exposed in the time interval [t, t+dt) is given by

R(t) = (rp + rsI(t))exp{-at}.

Exposed individuals become infectious at fixed time m after exposure.

Using vague uniform priors over finite windows we obtain the following posteriors for the model parameters, suggesting that Trichodermaacts on primary infection process.


SECONDARY ( infection + quenching (Gibson rs)

PRIMARY (rp)

QUENCHING (a)

LATENT PERIOD (m)


Statisticians (like me) have tended to focus on analyses of infection + quenching (Gibson particular data sets, often historical to illustrate the value of the Bayesian approach. Emphasis placed on tackling the complexity arising from partial observation and the need to respect the likelihood principle.

Experimental design requires us to address the uncertainty in future realisations of a process and the range of ways in which it could be observed.

To address these two sources of complexity simultaneously in the context of epidemic models (stochastic, spatial, nonlinear) is a major challenge.


Experimental design with stochastic epidemic models: infection + quenching (Gibson

Propose to use Bayesian framework (Muller et al., 1999) for identifying optimal designs.

q ~ p(q) represents current belief regarding q.

z ~ p(z | q) – ‘complete’ future realisation of process.

d(z ) – censored/filtered version of z arising from design d chosen from some suitable space of designs.

U(d(z )) utility function quantifying information in d(z), and or cost of the experiment.

Aim: Select d to maximise the expectation of U(d(z ))


Identifying optimal designs infection + quenching (Gibson

‘Trick’ is to treat the design, d, as an additional variable and assign joint distribution to (q, z, d) so that the joint density is,

f(q, z, d) p(q)p(z|q)U(d(z))

Integrating w.r.t.z, we obtain f(d|q) E(U(d)|q), the expectation of U conditional on q.

Integrating with respect to q we find that f(d) E(U(d)). Hence, identifying the optimal design for future experiment given current belief re q is equivalent to identifying the mode of f(d).In theory we could investigate f using MCMC methods.


Looks simple – infection + quenching (Gibson where do the difficulties arise?

If you’re a Bayesian then you should base your utility on the posterior density you obtain in an experiment.

One sensible(?) measure would be Kullback-Leibler divergence between prior and posterior. Let y = d(z)

Then U(d(z)) =

However, the posterior p(q|y) is usually difficult to obtain.

Therefore we will have to use approximations to it.

Go back to the R solani system.

May be nasty!


Example infection + quenching (Gibson . Epidemics of R solani in radish (with Plant Sciences, Cambridge)


I infection + quenching (Gibson (t)

t3

t2

t1

Let’s look at problem of selecting a sparse set of m observation times for microcosm experiments. We focus on a simpler model in which the latent period is assumed to be zero.

e.g. m = 3

For this experiment y = (I(t1), I(t2), I(t3)), q = (rp, rs, a).

We wish to approximate


First approximation: infection + quenching (Gibson Approximate the prior with a discrete uniform prior by drawing a random sample from p.

Second approximation: Approximate the likelihood L(q) using moment-closure methods (e.g. Krishnarajah et al., 2005)

Basic idea: L(q) = P(I(t1) = y1|q)×P(I(t2) = y2 | I(t1) = y1, q)

× P(I(tk) = yk | I(tk-1) = yk-1,q) …….

Approximate each term individually using moment-closure.

First suppose a = 0. Now, for t > tk, let n0 = N – I(tk),

C = rp + rsI(tk), J(t) = I(t) – I(tk).

Remaining

susceptibles

Effective primary

infection rate

Infections after tk


Idea of MC is to approximate the evolution of infection + quenching (Gibson moments of population variables by a system of differential equations.

For our simple model:

Pr(J(t+dt) – J(t) = 1) = (C(n0-J(t)) + rsJ(t)(n0-J(t))dt

= {Cn0 + ( rsn0 - C)J(t) – rsJ2(t)}dt

E(J(t)) = Cn0 + (rsn0 - C)E(J(t)) – rsE(J2(t))

This equation involves the 2nd moment of J(t).


  • Pr( infection + quenching (Gibson J2(t+dt) – J2(t) = 2J(t) + 1) = (C(n0-J(t)) + rsJ(t)(n0-J(t))dt

  • = {Cn0 + ( rsn0 - C)J(t) – rsJ2(t)}dt

  • E(J(t+dt)-J(t)|J(t)) =

    (2J(t) + 1){Cn0 + (rsn0 - C)E(J(t)) – rsE(J2(t)}dt

     E(J2(t)) = Cn0 + (rsn0 + 2Cn0 – C)E(J(t))

    - (2n0rs – rs -2C)E(J2(t)) – 2CE(J3(t))

Unfortunately, 3rd moment appears on r.h.s.! In general, equation for kth moment includes terms in (k+1)th moment.


Solution: infection + quenching (Gibson Close the system of equations by assuming that J(t) has a particular distribution. Here we assume that

J(t) ~ BetaBin(n0, a(t), b(t)).

a(t) and b(t) are determined by the first two moments. E(J3(t)) is then a function of a(t) and b(t), and hence the first two moments. Substituting this function into the differential equation for E(J2(t)) allows the system to be closed and solved using Euler’s method.

Previous work (Krishnarajah et al., BMB 2005) indicates that the BetaBin distribution provides a good approximation to the distribution of J(t).


Comparison of moment-closure with exact probability function.

No Trichoderma

Trichoderma

t = 1

t = 5

t = 15


Estimating function.L(rp, rs, a)

I(t3)

I(t)

I(t2)

L = p1p2p3

I(t1)

t1

t2

t3

Integrate ODE to get

distribution for I(t1),

given I(0) = 0.

Integrate ODE to get

distribution for I(t2),

given I(t1).

Integrate ODE to get

distribution for I(t3),

I(t2).


Full algorithm for experimental design function.

Recall we wish to draw from joint density

f(q, z, d) p(q)p(z|q)U(d(z))

where d represents a set of m distinct sampling times arranged between t = 0 and tmax.

q = (rp, rs, a) and is a priori uniform over a finite set of points (random sample from continuous p).

z represents complete process and comprises the infection times for all individuals in the population.


  • Outline of steps for updating function. (qi, zi, di)

  • Propose new (q′, z′) by drawing q′ from the prior and simulating realisation z′ from the model.

  • Accept with probability min{1, U(di(z′))/U(di(zi))}, otherwise reject.

  • Propose changes to sampling times e.g. using M-H methods. Proposed d′ can be di with perturbation applied to one of sampling times.

t1

t2

tj

tm

di

d′

Accept with prob. min{1, U(d′(zi+1))/U(di(zi+1))}


  • Note: function.

  • The algorithm identifies optimal design for a single-replicate experiment. Optimal designs for multi-replicate experiments look broadly similar.

  • The utility can be ‘sharpened’ by adapting the algorithm to propose k independent (q, z) combinations. Now f(d)  [E(U(d(z))]k.

We illustrate some optimal designs for the unquenched SI model. (See Cook et al., in prep.)


Now a more practically relevant situation – designing experiments for the R solani system (without Trichoderma).

rp

rs

a

Sample from joint posterior gives new prior, p′.


We consider 2 situations: experiments for the

Progressive design: How should you repeat experiment to maximise expected information change w.r.t. p′? (Uses p′ to propose new z’s and p′ as prior in utility calculation.)

Confirmatory (pedagogic) design: How should you repeat experiment to maximise expected information change w.r.t. p? (Uses p′ to propose new z’s and p as prior in utility calculation.)

Designs constrained to be subset of sampling times in original experiment.


pedagogic experiments for the

rp

progressive

rs

a

Results: Designs and their application to analysis of original data. Posteriors shown are for pedagogic designs.


  • Further work: experiments for the

  • Designs for imperfect diagnostic tests

  • Adaptive designs

  • Extension to spatio-temporal modelling – designs include location of host or inoculum.

  • Non-Markovian systems.

  • Efficient approximation of intractable likelihoods is key to all of these problems.


ad