SlideShare a Scribd company logo
1 of 10
Download to read offline
Accelerating Pseudo-Marginal MCMC
using Gaussian Processes
Matt Moores
joint work with Chris Drovandi (QUT) and Richard Boys (Newcastle)
October 28, 2016
Matt Moores Algorithms Seminar October 28, 2016 1 / 10
Grouped independence Metropolis-Hastings (GIMH)
Auxiliary variable algorithms (pseudo-marginal, exchange, ABC)
have two main components:
1 Primary chain targets the posterior π(θ | y)
2 Auxiliary chain constructs unbiased, non-negative estimates of the
intractable likelihood ˆp(y | θ)
Algorithm 1 GIMH
Input: θ(t−1) ∈ Θ, φ
(t−1)
N = ˆp(y | θ(t−1))
1: Propose θ ∼ q(· | θ(t−1))
2: Simulate x1, . . . , xN
iid
∼ q(x)
3: Estimate φN = 1
N
N
i=1
p(y|xi,θ )p(xi|θ )
q(xi)
4: Calculate α = 1 ∧
φN p(θ ) q(θ(t−1)|θ )
φt−1 p(θt−1) q(θ |θt−1)
Output: return (θ , φN) with probability α, else return (θ(t−1), φ
(t−1)
N )
Matt Moores Algorithms Seminar October 28, 2016 2 / 10
Beaumont (Genetics, 2003)
Andrieu & Roberts (Ann. Stat., 2009)
Bayesian indirect likelihood (BIL)
Construct an auxiliary model, ˆpBIL(y | ψ(θ))
Reuse previous values of φ
(t)
N (or auxiliary variables x1, . . . , xN)
Enable local adaptation of q(· | θ) (Sejdinovic et al., 2014)
Optional precomputation step:
Utilise massively parallel hardware to simulate from q(x)
Explore parameter space Θ more efficiently:
Monte Carlo within Metropolis (MCWM)
Wang-Landau
(Bornn et al., 2013; Jacob & Ryder, 2014)
Bayesian optimisation
(Gutmann & Corander, 2016)
Locate region of high posterior support (Wilkinson, 2014)
Can then invert ˆpBIL(y | ψ(θ)) to initialise the primary chain with a
“warm start.”
Matt Moores Algorithms Seminar October 28, 2016 3 / 10
Drovandi, Pettitt & Lee (Statist. Sci., 2015)
Which auxiliary model to use?
Importance sampling
(Liang, Jin, Song & Liu, 2016)
Piecewise linear
(Moores, Drovandi, Mengersen & Robert, 2015)
k-nearest neighbour
(Sherlock, Golightly & Henderson, 2015)
Gaussian process (GP)
(Wilkinson, 2014; Meeds & Welling, 2014; Järvenpää et al., 2016)
Local polynomials or GP with compact support
(Conrad, Marzouk, Pillai & Smith, 2016)
Kernel methods
(Sejdinovic et al., 2014; Strathmann et al., 2015)
Matt Moores Algorithms Seminar October 28, 2016 4 / 10
Gaussian Processes (GPs)
Multivariate normal with mean function m(θ) and covariance c(θ, θ ):
− log {p(y | θ)} ∼ N m(θ), c(θ, θ ) (1)
Under certain assumptions:
π(θ | y) is a compact Hilbert space with finite dimension, d
Boundary ∂π(θ | y) satisfies the cone condition
c(θ, θ ) is a squared exponential or Matérn covariance
Training points θ1, . . . , θJ ∈ Θ are on a regular lattice
a GP is a consistent approximation to the negative log-likelihood
(Stuart & Teckentrup, 2016)
Can use output of precomp. step to test assumptions empirically
(Ratmann et al. 2013) or for Bayesian model choice (Järvenpää et al.
2016)
Matt Moores Algorithms Seminar October 28, 2016 5 / 10
Multiplicative Noise
Can’t evaluate p(y|θ) pointwise, but by lognormal CLT:
φ
(t)
N = W p y | θ(t)
(2)
E[W] = 1 (3)
log{W}
d
−−−−→
N→∞
N −
1
2
σ2
, σ2
(4)
when x1, . . . , xN are generated from a particle filter
(Bérard, Del Moral & Doucet, 2014)
We can account for this noise by adding a nugget term to our GP:
− log ˆφ
(j)
N ∼ N mβ(θ) +
δ
2
, cγ(θ, θ ) + δI (5)
where θ(j), φ
(j)
N
J
j=1
are obtained from the precomputation step
Matt Moores Algorithms Seminar October 28, 2016 6 / 10
Delayed Acceptance (DA)
Algorithm 2 BIL with DA
Input: θ(t−1) ∈ Θ, φ
(t−1)
N = ˆp(y | θ(t−1))
1: Propose θ ∼ q(· | θ(t−1))
2: Calculate αBIL = 1 ∧ ˆpBIL(y|ψ(θ )) p(θ ) q(θ(t−1)|θ )
ˆpBIL(y|ψ(θ(t−1))) p(θ(t−1)) q(θ |θ(t−1))
Output: return (θ(t−1), φ
(t−1)
N ) with probability 1 − α, else
3: Obtain φN as per Alg. 1
4: Calculate αDA = 1 ∧
φN ˆpBIL(y|ψ(θ(t−1)))
φ
(t−1)
N ˆpBIL(y|ψ(θ ))
Output: return (θ , φN) with probability αDA, else return (θ(t−1), φ
(t−1)
N )
Matt Moores Algorithms Seminar October 28, 2016 7 / 10
Christen & Fox (JCGS, 2005)
Sherlock, Golightly & Henderson (arXiv:1509.00172 [stat.CO])
Mixture of Markov kernels
Algorithm 3 Adaptive BIL
Input: θ(t−1), ˆφ
(t−1)
N
1: Propose θ ∼ q(· | θ(t−1))
2: Evaluate uncertainty of aux. model, ψΣ(θ )
3: if ψΣ(θ ) is within tolerance then
4: ˆφN = ˆpBIL(y | ψ(θ ))
5: else
6: Obtain φN as per Alg. 1
7: Update ψ(θ ) using φN
8: end if
9: ˆα ≈ 1 ∧
ˆφN p(θ ) q(θ(t−1)|θ )
ˆφ
(t−1)
N p(θ(t−1)) q(θ |θ(t−1))
Output: return (θ , ˆφN) with probability ˆα, else return (θ(t−1), ˆφ
(t−1)
N )
Matt Moores Algorithms Seminar October 28, 2016 8 / 10
Summary
BIL can improve elapsed runtime and scalability of
pseudo-marginal methods:
Extrapolate between previous estimates of ˆp(y|θ)
Parallel precomputation step
DA preserves the exact posterior
Threshold for ψΣ(θ ) enables tradeoff between
accuracy and computational cost
Matt Moores Algorithms Seminar October 28, 2016 9 / 10
For Further Reading
C. C. Drovandi, M. Moores & R. Boys
Accelerating Pseudo-Marginal MCMC using Gaussian Processes.
Tech. Rep., QLD Univ. of Tech., 2015.
M. Moores, C. C. Drovandi, K. Mengersen & C. P. Robert
Pre-processing for approximate Bayesian computation in image analysis.
Statistics & Computing 25(1): 23–33, 2015.
C. C. Drovandi, A. N. Pettitt & A. Lee
Bayesian indirect inference using a parametric auxiliary model.
Statist. Sci. 30(1): 72–95, 2015.
M. Moores, A. N. Pettitt & K. Mengersen
Scalable Bayesian inference for the inverse temperature of a hidden Potts model.
arXiv:1503.08066 [stat.CO], 2015.
C. C. Drovandi, A. N. Pettitt & M. J. Faddy
Approximate Bayesian computation using indirect inference.
J. R. Stat. Soc. Ser. C 60(3): 317–337, 2011.
Matt Moores Algorithms Seminar October 28, 2016 10 / 10

More Related Content

What's hot

prior selection for mixture estimation
prior selection for mixture estimationprior selection for mixture estimation
prior selection for mixture estimationChristian Robert
 
Computational Information Geometry on Matrix Manifolds (ICTP 2013)
Computational Information Geometry on Matrix Manifolds (ICTP 2013)Computational Information Geometry on Matrix Manifolds (ICTP 2013)
Computational Information Geometry on Matrix Manifolds (ICTP 2013)Frank Nielsen
 
SIAM - Minisymposium on Guaranteed numerical algorithms
SIAM - Minisymposium on Guaranteed numerical algorithmsSIAM - Minisymposium on Guaranteed numerical algorithms
SIAM - Minisymposium on Guaranteed numerical algorithmsJagadeeswaran Rathinavel
 
Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...Valentin De Bortoli
 
Unbiased Bayes for Big Data
Unbiased Bayes for Big DataUnbiased Bayes for Big Data
Unbiased Bayes for Big DataChristian Robert
 
On learning statistical mixtures maximizing the complete likelihood
On learning statistical mixtures maximizing the complete likelihoodOn learning statistical mixtures maximizing the complete likelihood
On learning statistical mixtures maximizing the complete likelihoodFrank Nielsen
 
Graph kernels
Graph kernelsGraph kernels
Graph kernelsLuc Brun
 
Continuous and Discrete-Time Analysis of SGD
Continuous and Discrete-Time Analysis of SGDContinuous and Discrete-Time Analysis of SGD
Continuous and Discrete-Time Analysis of SGDValentin De Bortoli
 
short course at CIRM, Bayesian Masterclass, October 2018
short course at CIRM, Bayesian Masterclass, October 2018short course at CIRM, Bayesian Masterclass, October 2018
short course at CIRM, Bayesian Masterclass, October 2018Christian Robert
 

What's hot (19)

prior selection for mixture estimation
prior selection for mixture estimationprior selection for mixture estimation
prior selection for mixture estimation
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
Computational Information Geometry on Matrix Manifolds (ICTP 2013)
Computational Information Geometry on Matrix Manifolds (ICTP 2013)Computational Information Geometry on Matrix Manifolds (ICTP 2013)
Computational Information Geometry on Matrix Manifolds (ICTP 2013)
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
SIAM - Minisymposium on Guaranteed numerical algorithms
SIAM - Minisymposium on Guaranteed numerical algorithmsSIAM - Minisymposium on Guaranteed numerical algorithms
SIAM - Minisymposium on Guaranteed numerical algorithms
 
Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...Maximum likelihood estimation of regularisation parameters in inverse problem...
Maximum likelihood estimation of regularisation parameters in inverse problem...
 
Unbiased Bayes for Big Data
Unbiased Bayes for Big DataUnbiased Bayes for Big Data
Unbiased Bayes for Big Data
 
ABC-Gibbs
ABC-GibbsABC-Gibbs
ABC-Gibbs
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 
On learning statistical mixtures maximizing the complete likelihood
On learning statistical mixtures maximizing the complete likelihoodOn learning statistical mixtures maximizing the complete likelihood
On learning statistical mixtures maximizing the complete likelihood
 
QMC: Operator Splitting Workshop, Perturbed (accelerated) Proximal-Gradient A...
QMC: Operator Splitting Workshop, Perturbed (accelerated) Proximal-Gradient A...QMC: Operator Splitting Workshop, Perturbed (accelerated) Proximal-Gradient A...
QMC: Operator Splitting Workshop, Perturbed (accelerated) Proximal-Gradient A...
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 
Graph kernels
Graph kernelsGraph kernels
Graph kernels
 
002 ray modeling dynamic systems
002 ray modeling dynamic systems002 ray modeling dynamic systems
002 ray modeling dynamic systems
 
Continuous and Discrete-Time Analysis of SGD
Continuous and Discrete-Time Analysis of SGDContinuous and Discrete-Time Analysis of SGD
Continuous and Discrete-Time Analysis of SGD
 
short course at CIRM, Bayesian Masterclass, October 2018
short course at CIRM, Bayesian Masterclass, October 2018short course at CIRM, Bayesian Masterclass, October 2018
short course at CIRM, Bayesian Masterclass, October 2018
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
QMC Program: Trends and Advances in Monte Carlo Sampling Algorithms Workshop,...
 

Similar to Accelerating Pseudo-Marginal MCMC using Gaussian Processes

Workshop in honour of Don Poskitt and Gael Martin
Workshop in honour of Don Poskitt and Gael MartinWorkshop in honour of Don Poskitt and Gael Martin
Workshop in honour of Don Poskitt and Gael MartinChristian Robert
 
Patch Matching with Polynomial Exponential Families and Projective Divergences
Patch Matching with Polynomial Exponential Families and Projective DivergencesPatch Matching with Polynomial Exponential Families and Projective Divergences
Patch Matching with Polynomial Exponential Families and Projective DivergencesFrank Nielsen
 
MAPE regression, seminar @ QUT (Brisbane)
MAPE regression, seminar @ QUT (Brisbane)MAPE regression, seminar @ QUT (Brisbane)
MAPE regression, seminar @ QUT (Brisbane)Arnaud de Myttenaere
 
Hamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsHamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsGuillaume Costeseque
 
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...Chiheb Ben Hammouda
 
Bayesian phylogenetic inference_big4_ws_2016-10-10
Bayesian phylogenetic inference_big4_ws_2016-10-10Bayesian phylogenetic inference_big4_ws_2016-10-10
Bayesian phylogenetic inference_big4_ws_2016-10-10FredrikRonquist
 
A One-Pass Triclustering Approach: Is There any Room for Big Data?
A One-Pass Triclustering Approach: Is There any Room for Big Data?A One-Pass Triclustering Approach: Is There any Room for Big Data?
A One-Pass Triclustering Approach: Is There any Room for Big Data?Dmitrii Ignatov
 
Tensor train to solve stochastic PDEs
Tensor train to solve stochastic PDEsTensor train to solve stochastic PDEs
Tensor train to solve stochastic PDEsAlexander Litvinenko
 
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMS
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMSSOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMS
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMSTahia ZERIZER
 

Similar to Accelerating Pseudo-Marginal MCMC using Gaussian Processes (20)

PMED Transition Workshop - A Bayesian Model for Joint Longitudinal and Surviv...
PMED Transition Workshop - A Bayesian Model for Joint Longitudinal and Surviv...PMED Transition Workshop - A Bayesian Model for Joint Longitudinal and Surviv...
PMED Transition Workshop - A Bayesian Model for Joint Longitudinal and Surviv...
 
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
MUMS Opening Workshop - An Overview of Reduced-Order Models and Emulators (ED...
 
MUMS Undergraduate Workshop - A Biased Introduction to Global Sensitivity Ana...
MUMS Undergraduate Workshop - A Biased Introduction to Global Sensitivity Ana...MUMS Undergraduate Workshop - A Biased Introduction to Global Sensitivity Ana...
MUMS Undergraduate Workshop - A Biased Introduction to Global Sensitivity Ana...
 
Workshop in honour of Don Poskitt and Gael Martin
Workshop in honour of Don Poskitt and Gael MartinWorkshop in honour of Don Poskitt and Gael Martin
Workshop in honour of Don Poskitt and Gael Martin
 
Patch Matching with Polynomial Exponential Families and Projective Divergences
Patch Matching with Polynomial Exponential Families and Projective DivergencesPatch Matching with Polynomial Exponential Families and Projective Divergences
Patch Matching with Polynomial Exponential Families and Projective Divergences
 
MAPE regression, seminar @ QUT (Brisbane)
MAPE regression, seminar @ QUT (Brisbane)MAPE regression, seminar @ QUT (Brisbane)
MAPE regression, seminar @ QUT (Brisbane)
 
QMC: Operator Splitting Workshop, Proximal Algorithms in Probability Spaces -...
QMC: Operator Splitting Workshop, Proximal Algorithms in Probability Spaces -...QMC: Operator Splitting Workshop, Proximal Algorithms in Probability Spaces -...
QMC: Operator Splitting Workshop, Proximal Algorithms in Probability Spaces -...
 
Hamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsHamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow models
 
Triggering patterns of topology changes in dynamic attributed graphs
Triggering patterns of topology changes in dynamic attributed graphsTriggering patterns of topology changes in dynamic attributed graphs
Triggering patterns of topology changes in dynamic attributed graphs
 
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...
MCQMC 2020 talk: Importance Sampling for a Robust and Efficient Multilevel Mo...
 
MUMS Opening Workshop - Model Uncertainty in Data Fusion for Remote Sensing -...
MUMS Opening Workshop - Model Uncertainty in Data Fusion for Remote Sensing -...MUMS Opening Workshop - Model Uncertainty in Data Fusion for Remote Sensing -...
MUMS Opening Workshop - Model Uncertainty in Data Fusion for Remote Sensing -...
 
Finite frequency H∞ control for wind turbine systems in T-S form
Finite frequency H∞ control for wind turbine systems in T-S formFinite frequency H∞ control for wind turbine systems in T-S form
Finite frequency H∞ control for wind turbine systems in T-S form
 
the ABC of ABC
the ABC of ABCthe ABC of ABC
the ABC of ABC
 
QMC: Operator Splitting Workshop, Incremental Learning-to-Learn with Statisti...
QMC: Operator Splitting Workshop, Incremental Learning-to-Learn with Statisti...QMC: Operator Splitting Workshop, Incremental Learning-to-Learn with Statisti...
QMC: Operator Splitting Workshop, Incremental Learning-to-Learn with Statisti...
 
Bayesian phylogenetic inference_big4_ws_2016-10-10
Bayesian phylogenetic inference_big4_ws_2016-10-10Bayesian phylogenetic inference_big4_ws_2016-10-10
Bayesian phylogenetic inference_big4_ws_2016-10-10
 
Presentation.pdf
Presentation.pdfPresentation.pdf
Presentation.pdf
 
A One-Pass Triclustering Approach: Is There any Room for Big Data?
A One-Pass Triclustering Approach: Is There any Room for Big Data?A One-Pass Triclustering Approach: Is There any Room for Big Data?
A One-Pass Triclustering Approach: Is There any Room for Big Data?
 
CDT 22 slides.pdf
CDT 22 slides.pdfCDT 22 slides.pdf
CDT 22 slides.pdf
 
Tensor train to solve stochastic PDEs
Tensor train to solve stochastic PDEsTensor train to solve stochastic PDEs
Tensor train to solve stochastic PDEs
 
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMS
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMSSOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMS
SOLVING BVPs OF SINGULARLY PERTURBED DISCRETE SYSTEMS
 

More from Matt Moores

Bayesian Inference and Uncertainty Quantification for Inverse Problems
Bayesian Inference and Uncertainty Quantification for Inverse ProblemsBayesian Inference and Uncertainty Quantification for Inverse Problems
Bayesian Inference and Uncertainty Quantification for Inverse ProblemsMatt Moores
 
bayesImageS: an R package for Bayesian image analysis
bayesImageS: an R package for Bayesian image analysisbayesImageS: an R package for Bayesian image analysis
bayesImageS: an R package for Bayesian image analysisMatt Moores
 
Exploratory Analysis of Multivariate Data
Exploratory Analysis of Multivariate DataExploratory Analysis of Multivariate Data
Exploratory Analysis of Multivariate DataMatt Moores
 
R package bayesImageS: Scalable Inference for Intractable Likelihoods
R package bayesImageS: Scalable Inference for Intractable LikelihoodsR package bayesImageS: Scalable Inference for Intractable Likelihoods
R package bayesImageS: Scalable Inference for Intractable LikelihoodsMatt Moores
 
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...Matt Moores
 
Approximate Bayesian computation for the Ising/Potts model
Approximate Bayesian computation for the Ising/Potts modelApproximate Bayesian computation for the Ising/Potts model
Approximate Bayesian computation for the Ising/Potts modelMatt Moores
 
Importing satellite imagery into R from NASA and the U.S. Geological Survey
Importing satellite imagery into R from NASA and the U.S. Geological SurveyImporting satellite imagery into R from NASA and the U.S. Geological Survey
Importing satellite imagery into R from NASA and the U.S. Geological SurveyMatt Moores
 
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...Matt Moores
 
Bayesian modelling and computation for Raman spectroscopy
Bayesian modelling and computation for Raman spectroscopyBayesian modelling and computation for Raman spectroscopy
Bayesian modelling and computation for Raman spectroscopyMatt Moores
 
Final PhD Seminar
Final PhD SeminarFinal PhD Seminar
Final PhD SeminarMatt Moores
 
Precomputation for SMC-ABC with undirected graphical models
Precomputation for SMC-ABC with undirected graphical modelsPrecomputation for SMC-ABC with undirected graphical models
Precomputation for SMC-ABC with undirected graphical modelsMatt Moores
 
Pre-computation for ABC in image analysis
Pre-computation for ABC in image analysisPre-computation for ABC in image analysis
Pre-computation for ABC in image analysisMatt Moores
 
Variational Bayes
Variational BayesVariational Bayes
Variational BayesMatt Moores
 
Informative Priors for Segmentation of Medical Images
Informative Priors for Segmentation of Medical ImagesInformative Priors for Segmentation of Medical Images
Informative Priors for Segmentation of Medical ImagesMatt Moores
 

More from Matt Moores (16)

Bayesian Inference and Uncertainty Quantification for Inverse Problems
Bayesian Inference and Uncertainty Quantification for Inverse ProblemsBayesian Inference and Uncertainty Quantification for Inverse Problems
Bayesian Inference and Uncertainty Quantification for Inverse Problems
 
bayesImageS: an R package for Bayesian image analysis
bayesImageS: an R package for Bayesian image analysisbayesImageS: an R package for Bayesian image analysis
bayesImageS: an R package for Bayesian image analysis
 
Exploratory Analysis of Multivariate Data
Exploratory Analysis of Multivariate DataExploratory Analysis of Multivariate Data
Exploratory Analysis of Multivariate Data
 
R package bayesImageS: Scalable Inference for Intractable Likelihoods
R package bayesImageS: Scalable Inference for Intractable LikelihoodsR package bayesImageS: Scalable Inference for Intractable Likelihoods
R package bayesImageS: Scalable Inference for Intractable Likelihoods
 
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...
bayesImageS: Bayesian computation for medical Image Segmentation using a hidd...
 
Approximate Bayesian computation for the Ising/Potts model
Approximate Bayesian computation for the Ising/Potts modelApproximate Bayesian computation for the Ising/Potts model
Approximate Bayesian computation for the Ising/Potts model
 
Importing satellite imagery into R from NASA and the U.S. Geological Survey
Importing satellite imagery into R from NASA and the U.S. Geological SurveyImporting satellite imagery into R from NASA and the U.S. Geological Survey
Importing satellite imagery into R from NASA and the U.S. Geological Survey
 
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...
R package 'bayesImageS': a case study in Bayesian computation using Rcpp and ...
 
Bayesian modelling and computation for Raman spectroscopy
Bayesian modelling and computation for Raman spectroscopyBayesian modelling and computation for Raman spectroscopy
Bayesian modelling and computation for Raman spectroscopy
 
Final PhD Seminar
Final PhD SeminarFinal PhD Seminar
Final PhD Seminar
 
Precomputation for SMC-ABC with undirected graphical models
Precomputation for SMC-ABC with undirected graphical modelsPrecomputation for SMC-ABC with undirected graphical models
Precomputation for SMC-ABC with undirected graphical models
 
Intro to ABC
Intro to ABCIntro to ABC
Intro to ABC
 
Pre-computation for ABC in image analysis
Pre-computation for ABC in image analysisPre-computation for ABC in image analysis
Pre-computation for ABC in image analysis
 
Variational Bayes
Variational BayesVariational Bayes
Variational Bayes
 
Parallel R
Parallel RParallel R
Parallel R
 
Informative Priors for Segmentation of Medical Images
Informative Priors for Segmentation of Medical ImagesInformative Priors for Segmentation of Medical Images
Informative Priors for Segmentation of Medical Images
 

Recently uploaded

PROJECTILE MOTION-Horizontal and Vertical
PROJECTILE MOTION-Horizontal and VerticalPROJECTILE MOTION-Horizontal and Vertical
PROJECTILE MOTION-Horizontal and VerticalMAESTRELLAMesa2
 
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingBase editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingNetHelix
 
well logging & petrophysical analysis.pptx
well logging & petrophysical analysis.pptxwell logging & petrophysical analysis.pptx
well logging & petrophysical analysis.pptxzaydmeerab121
 
trihybrid cross , test cross chi squares
trihybrid cross , test cross chi squarestrihybrid cross , test cross chi squares
trihybrid cross , test cross chi squaresusmanzain586
 
User Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationUser Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationColumbia Weather Systems
 
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdf
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdfPests of Blackgram, greengram, cowpea_Dr.UPR.pdf
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdfPirithiRaju
 
CHROMATOGRAPHY PALLAVI RAWAT.pptx
CHROMATOGRAPHY  PALLAVI RAWAT.pptxCHROMATOGRAPHY  PALLAVI RAWAT.pptx
CHROMATOGRAPHY PALLAVI RAWAT.pptxpallavirawat456
 
Introduction of Human Body & Structure of cell.pptx
Introduction of Human Body & Structure of cell.pptxIntroduction of Human Body & Structure of cell.pptx
Introduction of Human Body & Structure of cell.pptxMedical College
 
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...Universidade Federal de Sergipe - UFS
 
《Queensland毕业文凭-昆士兰大学毕业证成绩单》
《Queensland毕业文凭-昆士兰大学毕业证成绩单》《Queensland毕业文凭-昆士兰大学毕业证成绩单》
《Queensland毕业文凭-昆士兰大学毕业证成绩单》rnrncn29
 
Microphone- characteristics,carbon microphone, dynamic microphone.pptx
Microphone- characteristics,carbon microphone, dynamic microphone.pptxMicrophone- characteristics,carbon microphone, dynamic microphone.pptx
Microphone- characteristics,carbon microphone, dynamic microphone.pptxpriyankatabhane
 
Observational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsObservational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsSérgio Sacani
 
Four Spheres of the Earth Presentation.ppt
Four Spheres of the Earth Presentation.pptFour Spheres of the Earth Presentation.ppt
Four Spheres of the Earth Presentation.pptJoemSTuliba
 
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...D. B. S. College Kanpur
 
FREE NURSING BUNDLE FOR NURSES.PDF by na
FREE NURSING BUNDLE FOR NURSES.PDF by naFREE NURSING BUNDLE FOR NURSES.PDF by na
FREE NURSING BUNDLE FOR NURSES.PDF by naJASISJULIANOELYNV
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPirithiRaju
 
Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024AyushiRastogi48
 
Manassas R - Parkside Middle School 🌎🏫
Manassas R - Parkside Middle School 🌎🏫Manassas R - Parkside Middle School 🌎🏫
Manassas R - Parkside Middle School 🌎🏫qfactory1
 
Harmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms PresentationHarmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms Presentationtahreemzahra82
 

Recently uploaded (20)

PROJECTILE MOTION-Horizontal and Vertical
PROJECTILE MOTION-Horizontal and VerticalPROJECTILE MOTION-Horizontal and Vertical
PROJECTILE MOTION-Horizontal and Vertical
 
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editingBase editing, prime editing, Cas13 & RNA editing and organelle base editing
Base editing, prime editing, Cas13 & RNA editing and organelle base editing
 
well logging & petrophysical analysis.pptx
well logging & petrophysical analysis.pptxwell logging & petrophysical analysis.pptx
well logging & petrophysical analysis.pptx
 
trihybrid cross , test cross chi squares
trihybrid cross , test cross chi squarestrihybrid cross , test cross chi squares
trihybrid cross , test cross chi squares
 
User Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather StationUser Guide: Capricorn FLX™ Weather Station
User Guide: Capricorn FLX™ Weather Station
 
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdf
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdfPests of Blackgram, greengram, cowpea_Dr.UPR.pdf
Pests of Blackgram, greengram, cowpea_Dr.UPR.pdf
 
CHROMATOGRAPHY PALLAVI RAWAT.pptx
CHROMATOGRAPHY  PALLAVI RAWAT.pptxCHROMATOGRAPHY  PALLAVI RAWAT.pptx
CHROMATOGRAPHY PALLAVI RAWAT.pptx
 
Introduction of Human Body & Structure of cell.pptx
Introduction of Human Body & Structure of cell.pptxIntroduction of Human Body & Structure of cell.pptx
Introduction of Human Body & Structure of cell.pptx
 
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...
REVISTA DE BIOLOGIA E CIÊNCIAS DA TERRA ISSN 1519-5228 - Artigo_Bioterra_V24_...
 
《Queensland毕业文凭-昆士兰大学毕业证成绩单》
《Queensland毕业文凭-昆士兰大学毕业证成绩单》《Queensland毕业文凭-昆士兰大学毕业证成绩单》
《Queensland毕业文凭-昆士兰大学毕业证成绩单》
 
Microphone- characteristics,carbon microphone, dynamic microphone.pptx
Microphone- characteristics,carbon microphone, dynamic microphone.pptxMicrophone- characteristics,carbon microphone, dynamic microphone.pptx
Microphone- characteristics,carbon microphone, dynamic microphone.pptx
 
Observational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive starsObservational constraints on mergers creating magnetism in massive stars
Observational constraints on mergers creating magnetism in massive stars
 
Four Spheres of the Earth Presentation.ppt
Four Spheres of the Earth Presentation.pptFour Spheres of the Earth Presentation.ppt
Four Spheres of the Earth Presentation.ppt
 
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...
Fertilization: Sperm and the egg—collectively called the gametes—fuse togethe...
 
FREE NURSING BUNDLE FOR NURSES.PDF by na
FREE NURSING BUNDLE FOR NURSES.PDF by naFREE NURSING BUNDLE FOR NURSES.PDF by na
FREE NURSING BUNDLE FOR NURSES.PDF by na
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
 
Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024Vision and reflection on Mining Software Repositories research in 2024
Vision and reflection on Mining Software Repositories research in 2024
 
Manassas R - Parkside Middle School 🌎🏫
Manassas R - Parkside Middle School 🌎🏫Manassas R - Parkside Middle School 🌎🏫
Manassas R - Parkside Middle School 🌎🏫
 
Let’s Say Someone Did Drop the Bomb. Then What?
Let’s Say Someone Did Drop the Bomb. Then What?Let’s Say Someone Did Drop the Bomb. Then What?
Let’s Say Someone Did Drop the Bomb. Then What?
 
Harmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms PresentationHarmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms Presentation
 

Accelerating Pseudo-Marginal MCMC using Gaussian Processes

  • 1. Accelerating Pseudo-Marginal MCMC using Gaussian Processes Matt Moores joint work with Chris Drovandi (QUT) and Richard Boys (Newcastle) October 28, 2016 Matt Moores Algorithms Seminar October 28, 2016 1 / 10
  • 2. Grouped independence Metropolis-Hastings (GIMH) Auxiliary variable algorithms (pseudo-marginal, exchange, ABC) have two main components: 1 Primary chain targets the posterior π(θ | y) 2 Auxiliary chain constructs unbiased, non-negative estimates of the intractable likelihood ˆp(y | θ) Algorithm 1 GIMH Input: θ(t−1) ∈ Θ, φ (t−1) N = ˆp(y | θ(t−1)) 1: Propose θ ∼ q(· | θ(t−1)) 2: Simulate x1, . . . , xN iid ∼ q(x) 3: Estimate φN = 1 N N i=1 p(y|xi,θ )p(xi|θ ) q(xi) 4: Calculate α = 1 ∧ φN p(θ ) q(θ(t−1)|θ ) φt−1 p(θt−1) q(θ |θt−1) Output: return (θ , φN) with probability α, else return (θ(t−1), φ (t−1) N ) Matt Moores Algorithms Seminar October 28, 2016 2 / 10 Beaumont (Genetics, 2003) Andrieu & Roberts (Ann. Stat., 2009)
  • 3. Bayesian indirect likelihood (BIL) Construct an auxiliary model, ˆpBIL(y | ψ(θ)) Reuse previous values of φ (t) N (or auxiliary variables x1, . . . , xN) Enable local adaptation of q(· | θ) (Sejdinovic et al., 2014) Optional precomputation step: Utilise massively parallel hardware to simulate from q(x) Explore parameter space Θ more efficiently: Monte Carlo within Metropolis (MCWM) Wang-Landau (Bornn et al., 2013; Jacob & Ryder, 2014) Bayesian optimisation (Gutmann & Corander, 2016) Locate region of high posterior support (Wilkinson, 2014) Can then invert ˆpBIL(y | ψ(θ)) to initialise the primary chain with a “warm start.” Matt Moores Algorithms Seminar October 28, 2016 3 / 10 Drovandi, Pettitt & Lee (Statist. Sci., 2015)
  • 4. Which auxiliary model to use? Importance sampling (Liang, Jin, Song & Liu, 2016) Piecewise linear (Moores, Drovandi, Mengersen & Robert, 2015) k-nearest neighbour (Sherlock, Golightly & Henderson, 2015) Gaussian process (GP) (Wilkinson, 2014; Meeds & Welling, 2014; Järvenpää et al., 2016) Local polynomials or GP with compact support (Conrad, Marzouk, Pillai & Smith, 2016) Kernel methods (Sejdinovic et al., 2014; Strathmann et al., 2015) Matt Moores Algorithms Seminar October 28, 2016 4 / 10
  • 5. Gaussian Processes (GPs) Multivariate normal with mean function m(θ) and covariance c(θ, θ ): − log {p(y | θ)} ∼ N m(θ), c(θ, θ ) (1) Under certain assumptions: π(θ | y) is a compact Hilbert space with finite dimension, d Boundary ∂π(θ | y) satisfies the cone condition c(θ, θ ) is a squared exponential or Matérn covariance Training points θ1, . . . , θJ ∈ Θ are on a regular lattice a GP is a consistent approximation to the negative log-likelihood (Stuart & Teckentrup, 2016) Can use output of precomp. step to test assumptions empirically (Ratmann et al. 2013) or for Bayesian model choice (Järvenpää et al. 2016) Matt Moores Algorithms Seminar October 28, 2016 5 / 10
  • 6. Multiplicative Noise Can’t evaluate p(y|θ) pointwise, but by lognormal CLT: φ (t) N = W p y | θ(t) (2) E[W] = 1 (3) log{W} d −−−−→ N→∞ N − 1 2 σ2 , σ2 (4) when x1, . . . , xN are generated from a particle filter (Bérard, Del Moral & Doucet, 2014) We can account for this noise by adding a nugget term to our GP: − log ˆφ (j) N ∼ N mβ(θ) + δ 2 , cγ(θ, θ ) + δI (5) where θ(j), φ (j) N J j=1 are obtained from the precomputation step Matt Moores Algorithms Seminar October 28, 2016 6 / 10
  • 7. Delayed Acceptance (DA) Algorithm 2 BIL with DA Input: θ(t−1) ∈ Θ, φ (t−1) N = ˆp(y | θ(t−1)) 1: Propose θ ∼ q(· | θ(t−1)) 2: Calculate αBIL = 1 ∧ ˆpBIL(y|ψ(θ )) p(θ ) q(θ(t−1)|θ ) ˆpBIL(y|ψ(θ(t−1))) p(θ(t−1)) q(θ |θ(t−1)) Output: return (θ(t−1), φ (t−1) N ) with probability 1 − α, else 3: Obtain φN as per Alg. 1 4: Calculate αDA = 1 ∧ φN ˆpBIL(y|ψ(θ(t−1))) φ (t−1) N ˆpBIL(y|ψ(θ )) Output: return (θ , φN) with probability αDA, else return (θ(t−1), φ (t−1) N ) Matt Moores Algorithms Seminar October 28, 2016 7 / 10 Christen & Fox (JCGS, 2005) Sherlock, Golightly & Henderson (arXiv:1509.00172 [stat.CO])
  • 8. Mixture of Markov kernels Algorithm 3 Adaptive BIL Input: θ(t−1), ˆφ (t−1) N 1: Propose θ ∼ q(· | θ(t−1)) 2: Evaluate uncertainty of aux. model, ψΣ(θ ) 3: if ψΣ(θ ) is within tolerance then 4: ˆφN = ˆpBIL(y | ψ(θ )) 5: else 6: Obtain φN as per Alg. 1 7: Update ψ(θ ) using φN 8: end if 9: ˆα ≈ 1 ∧ ˆφN p(θ ) q(θ(t−1)|θ ) ˆφ (t−1) N p(θ(t−1)) q(θ |θ(t−1)) Output: return (θ , ˆφN) with probability ˆα, else return (θ(t−1), ˆφ (t−1) N ) Matt Moores Algorithms Seminar October 28, 2016 8 / 10
  • 9. Summary BIL can improve elapsed runtime and scalability of pseudo-marginal methods: Extrapolate between previous estimates of ˆp(y|θ) Parallel precomputation step DA preserves the exact posterior Threshold for ψΣ(θ ) enables tradeoff between accuracy and computational cost Matt Moores Algorithms Seminar October 28, 2016 9 / 10
  • 10. For Further Reading C. C. Drovandi, M. Moores & R. Boys Accelerating Pseudo-Marginal MCMC using Gaussian Processes. Tech. Rep., QLD Univ. of Tech., 2015. M. Moores, C. C. Drovandi, K. Mengersen & C. P. Robert Pre-processing for approximate Bayesian computation in image analysis. Statistics & Computing 25(1): 23–33, 2015. C. C. Drovandi, A. N. Pettitt & A. Lee Bayesian indirect inference using a parametric auxiliary model. Statist. Sci. 30(1): 72–95, 2015. M. Moores, A. N. Pettitt & K. Mengersen Scalable Bayesian inference for the inverse temperature of a hidden Potts model. arXiv:1503.08066 [stat.CO], 2015. C. C. Drovandi, A. N. Pettitt & M. J. Faddy Approximate Bayesian computation using indirect inference. J. R. Stat. Soc. Ser. C 60(3): 317–337, 2011. Matt Moores Algorithms Seminar October 28, 2016 10 / 10