library(posterior)
library(bayesplot)
ggplot2::theme_set(bayesplot::theme_default(base_family = "sans"))

Use of posterior package for convergence diagnostics

In the Metropolis assignment it is likely that you have used a for loop for the Metropolis algorithm. Here the Metropolis algorithm has been replaced with independent draws from a normal distribution.

First illustration with a single chain

S <- 1000 # number of draws
D <- 2 # number of parameters
# 2-D matrix with dimensions ‘"iteration"’, and ‘"variable"’
thetas <- matrix(nrow=S, ncol=2)
colnames(thetas) <- c("theta1","theta2")
# Fill the matrix
for (s in 1:S) {
  thetas[s,] <- rnorm(n=2, mean=0, sd=1)
}

We can quickly get several useful summaries including Rank-normalized-Rhat and ESS-bulk and ESS-tail

summarise_draws(thetas)
## # A tibble: 2 × 10
##   variable    mean   median    sd   mad    q5   q95  rhat ess_bulk ess_tail
##   <chr>      <num>    <num> <num> <num> <num> <num> <num>    <num>    <num>
## 1 theta1   -0.0133 -0.00861 0.964 0.940 -1.62  1.59 1.00     1128.     908.
## 2 theta2    0.0122  0.0410  1.01  1.01  -1.69  1.62 0.999     905.     944.

To compute the basic (split) Rhat and basic ESS as presented in the lecture we can use additionl arguments

summarise_draws(thetas, Rhat=rhat_basic, ESS=ess_basic)
## # A tibble: 2 × 3
##   variable  Rhat   ESS
##   <chr>    <num> <num>
## 1 theta1   0.999 1130.
## 2 theta2   0.999  905.

Compute mean and 5%- and 95%-quantiles and corresponding MCSE’s

summarise_draws(thetas, mean, mcse_mean,
                ~quantile(.x, probs = c(0.05, 0.95)),
                ~mcse_quantile(.x, probs = c(0.05, 0.95)))
## # A tibble: 2 × 7
##   variable    mean mcse_mean  `5%` `95%` mcse_q5 mcse_q95
##   <chr>      <num>     <num> <num> <num>   <num>    <num>
## 1 theta1   -0.0133    0.0287 -1.62  1.59  0.0752   0.0795
## 2 theta2    0.0122    0.0335 -1.69  1.62  0.0678   0.0705

summarise_draws() function coerced the R matrix to a posterior object behind the scenes, but we can also convert it explicitlu to draws object that is better aware of number of iterations and chains. For example, CmdStanR returns posterior draws objects. posterior package provides several functions that make manipulating posterior objects easier than plain R matrix and array types.

thetas <- as_draws_df(thetas)

Illustration with several chains

N <- 1000 # number of iterations per chain
M <- 4 # number of chains
D <- 2 # number of parameters
# 3-D array with dimensions ‘"iteration"’, ‘"chain"’, and ‘"variable"’
thetas <- array(dim=c(N,M,D))
# Fill the array
for (m in 1:M) { # loop over chains
  for (n in 1:N) { # loop over iterations
    thetas[n,m,] <- rnorm(n=2, mean=0, sd=1)
  }
}

We can quickly get several useful summaries including Rank-normalized-Rhat and ESS-bulk and ESS-tail

summarise_draws(thetas)
## # A tibble: 2 × 10
##   variable   mean  median    sd   mad    q5   q95  rhat ess_bulk ess_tail
##   <chr>     <num>   <num> <num> <num> <num> <num> <num>    <num>    <num>
## 1 ...1     0.0200 0.00900 0.989 0.984 -1.62  1.66  1.00    3974.    3914.
## 2 ...2     0.0304 0.0275  0.993 0.974 -1.61  1.72  1.00    4001.    4065.

To compute the basic (split) Rhat and basic ESS as presented in the lecture we can use additionl arguments

summarise_draws(thetas, Rhat=rhat_basic, ESS=ess_basic)
## # A tibble: 2 × 3
##   variable  Rhat   ESS
##   <chr>    <num> <num>
## 1 ...1      1.00 3978.
## 2 ...2      1.00 4003.

Compute mean and 5%- and 95%-quantiles and corresponding MCSE’s

summarise_draws(thetas, mean, mcse_mean,
                ~quantile(.x, probs = c(0.05, 0.95)),
                ~mcse_quantile(.x, probs = c(0.05, 0.95)))
## # A tibble: 2 × 7
##   variable   mean mcse_mean  `5%` `95%` mcse_q5 mcse_q95
##   <chr>     <num>     <num> <num> <num>   <num>    <num>
## 1 ...1     0.0200    0.0157 -1.62  1.66  0.0259   0.0437
## 2 ...2     0.0304    0.0157 -1.61  1.72  0.0411   0.0266

summarise_draws() function coerced the R 3-D array to a posterior object behind the scenes, but we can also convert it explicitlu to draws object that is better aware of number of iterations and chains. For example, CmdStanR returns posterior draws objects. posterior package provides several functions that make manipulating posterior objects easier than plain R matrix and array types.

thetas <- as_draws_df(thetas)
variables(thetas) <- c("theta1","theta2")

bayesplot package provides Some useful plots to analyse your MCMC draws. You don’t need to include all of these in your assignment or project reports, but they are shown as seeing the plo for your own Metropolis algorithm helps to gain better understanding.

Trace plots

mcmc_trace(thetas)

Autocorrelation plots

mcmc_acf(thetas)
## Warning: The `facets` argument of `facet_grid()` is deprecated as of ggplot2 2.2.0.
## ℹ Please use the `rows` argument instead.
## ℹ The deprecated feature was likely used in the bayesplot package.
##   Please report the issue at <https://github.com/stan-dev/bayesplot/issues/>.
## This warning is displayed once every 8 hours.
## Call `lifecycle::last_lifecycle_warnings()` to see where this warning was
## generated.

Density plots with separate density for each chain

mcmc_dens_overlay(thetas)

Density plots using all chains

mcmc_dens(thetas)

Density plots with median and 50% central interval (see ?mcmc_areas for more options)

mcmc_areas(thetas)

Scatter plots and histograms (works also for more than two variables)

mcmc_pairs(thetas)

LS0tCnRpdGxlOiAiQmF5ZXNpYW4gZGF0YSBhbmFseXNpcyBkZW1vIDExLjUiCmF1dGhvcjogIkFraSBWZWh0YXJpIgpkYXRlOiAiYHIgZm9ybWF0KFN5cy5EYXRlKCkpYCIKb3V0cHV0OgogIGh0bWxfZG9jdW1lbnQ6CiAgICB0aGVtZTogcmVhZGFibGUKICAgIGNvZGVfZG93bmxvYWQ6IHRydWUKLS0tCgpgYGB7ciBzZXR1cCwgbWVzc2FnZT1GQUxTRSwgZXJyb3I9RkFMU0UsIHdhcm5pbmc9RkFMU0V9CmxpYnJhcnkocG9zdGVyaW9yKQpsaWJyYXJ5KGJheWVzcGxvdCkKZ2dwbG90Mjo6dGhlbWVfc2V0KGJheWVzcGxvdDo6dGhlbWVfZGVmYXVsdChiYXNlX2ZhbWlseSA9ICJzYW5zIikpCmBgYAoKIyMgVXNlIG9mIHBvc3RlcmlvciBwYWNrYWdlIGZvciBjb252ZXJnZW5jZSBkaWFnbm9zdGljcwoKSW4gdGhlIE1ldHJvcG9saXMgYXNzaWdubWVudCBpdCBpcyBsaWtlbHkgdGhhdCB5b3UgaGF2ZSB1c2VkIGEgZm9yCmxvb3AgZm9yIHRoZSBNZXRyb3BvbGlzIGFsZ29yaXRobS4gSGVyZSB0aGUgTWV0cm9wb2xpcyBhbGdvcml0aG0KaGFzIGJlZW4gcmVwbGFjZWQgd2l0aCBpbmRlcGVuZGVudCBkcmF3cyBmcm9tIGEgbm9ybWFsCmRpc3RyaWJ1dGlvbi4KCkZpcnN0IGlsbHVzdHJhdGlvbiB3aXRoIGEgc2luZ2xlIGNoYWluCgpgYGB7ciB9ClMgPC0gMTAwMCAjIG51bWJlciBvZiBkcmF3cwpEIDwtIDIgIyBudW1iZXIgb2YgcGFyYW1ldGVycwojIDItRCBtYXRyaXggd2l0aCBkaW1lbnNpb25zIOKAmCJpdGVyYXRpb24i4oCZLCBhbmQg4oCYInZhcmlhYmxlIuKAmQp0aGV0YXMgPC0gbWF0cml4KG5yb3c9UywgbmNvbD0yKQpjb2xuYW1lcyh0aGV0YXMpIDwtIGMoInRoZXRhMSIsInRoZXRhMiIpCiMgRmlsbCB0aGUgbWF0cml4CmZvciAocyBpbiAxOlMpIHsKICB0aGV0YXNbcyxdIDwtIHJub3JtKG49MiwgbWVhbj0wLCBzZD0xKQp9CmBgYAoKV2UgY2FuIHF1aWNrbHkgZ2V0IHNldmVyYWwgdXNlZnVsIHN1bW1hcmllcyBpbmNsdWRpbmcKUmFuay1ub3JtYWxpemVkLVJoYXQgYW5kIEVTUy1idWxrIGFuZCBFU1MtdGFpbAoKYGBge3IgfQpzdW1tYXJpc2VfZHJhd3ModGhldGFzKQpgYGAKClRvIGNvbXB1dGUgdGhlIGJhc2ljIChzcGxpdCkgUmhhdCBhbmQgYmFzaWMgRVNTIGFzIHByZXNlbnRlZCBpbiB0aGUKbGVjdHVyZSB3ZSBjYW4gdXNlIGFkZGl0aW9ubCBhcmd1bWVudHMKCmBgYHtyIH0Kc3VtbWFyaXNlX2RyYXdzKHRoZXRhcywgUmhhdD1yaGF0X2Jhc2ljLCBFU1M9ZXNzX2Jhc2ljKQpgYGAKCkNvbXB1dGUgbWVhbiBhbmQgNSUtIGFuZCA5NSUtcXVhbnRpbGVzIGFuZCBjb3JyZXNwb25kaW5nIE1DU0UncwoKYGBge3IgfQpzdW1tYXJpc2VfZHJhd3ModGhldGFzLCBtZWFuLCBtY3NlX21lYW4sCiAgICAgICAgICAgICAgICB+cXVhbnRpbGUoLngsIHByb2JzID0gYygwLjA1LCAwLjk1KSksCiAgICAgICAgICAgICAgICB+bWNzZV9xdWFudGlsZSgueCwgcHJvYnMgPSBjKDAuMDUsIDAuOTUpKSkKYGBgCgpzdW1tYXJpc2VfZHJhd3MoKSBmdW5jdGlvbiBjb2VyY2VkIHRoZSBSIG1hdHJpeCB0byBhIHBvc3RlcmlvcgpvYmplY3QgYmVoaW5kIHRoZSBzY2VuZXMsIGJ1dCB3ZSBjYW4gYWxzbyBjb252ZXJ0IGl0IGV4cGxpY2l0bHUgdG8KZHJhd3Mgb2JqZWN0IHRoYXQgaXMgYmV0dGVyIGF3YXJlIG9mIG51bWJlciBvZiBpdGVyYXRpb25zIGFuZApjaGFpbnMuIEZvciBleGFtcGxlLCBDbWRTdGFuUiByZXR1cm5zIHBvc3RlcmlvciBkcmF3cyBvYmplY3RzLgpwb3N0ZXJpb3IgcGFja2FnZSBwcm92aWRlcyBzZXZlcmFsIGZ1bmN0aW9ucyB0aGF0IG1ha2UgbWFuaXB1bGF0aW5nCnBvc3RlcmlvciBvYmplY3RzIGVhc2llciB0aGFuIHBsYWluIFIgbWF0cml4IGFuZCBhcnJheSB0eXBlcy4KCmBgYHtyIH0KdGhldGFzIDwtIGFzX2RyYXdzX2RmKHRoZXRhcykKYGBgCgpJbGx1c3RyYXRpb24gd2l0aCBzZXZlcmFsIGNoYWlucwoKYGBge3IgfQpOIDwtIDEwMDAgIyBudW1iZXIgb2YgaXRlcmF0aW9ucyBwZXIgY2hhaW4KTSA8LSA0ICMgbnVtYmVyIG9mIGNoYWlucwpEIDwtIDIgIyBudW1iZXIgb2YgcGFyYW1ldGVycwojIDMtRCBhcnJheSB3aXRoIGRpbWVuc2lvbnMg4oCYIml0ZXJhdGlvbiLigJksIOKAmCJjaGFpbiLigJksIGFuZCDigJgidmFyaWFibGUi4oCZCnRoZXRhcyA8LSBhcnJheShkaW09YyhOLE0sRCkpCiMgRmlsbCB0aGUgYXJyYXkKZm9yIChtIGluIDE6TSkgeyAjIGxvb3Agb3ZlciBjaGFpbnMKICBmb3IgKG4gaW4gMTpOKSB7ICMgbG9vcCBvdmVyIGl0ZXJhdGlvbnMKICAgIHRoZXRhc1tuLG0sXSA8LSBybm9ybShuPTIsIG1lYW49MCwgc2Q9MSkKICB9Cn0KYGBgCgpXZSBjYW4gcXVpY2tseSBnZXQgc2V2ZXJhbCB1c2VmdWwgc3VtbWFyaWVzIGluY2x1ZGluZwpSYW5rLW5vcm1hbGl6ZWQtUmhhdCBhbmQgRVNTLWJ1bGsgYW5kIEVTUy10YWlsCgpgYGB7ciB9CnN1bW1hcmlzZV9kcmF3cyh0aGV0YXMpCmBgYAoKVG8gY29tcHV0ZSB0aGUgYmFzaWMgKHNwbGl0KSBSaGF0IGFuZCBiYXNpYyBFU1MgYXMgcHJlc2VudGVkIGluIHRoZQpsZWN0dXJlIHdlIGNhbiB1c2UgYWRkaXRpb25sIGFyZ3VtZW50cwoKYGBge3IgfQpzdW1tYXJpc2VfZHJhd3ModGhldGFzLCBSaGF0PXJoYXRfYmFzaWMsIEVTUz1lc3NfYmFzaWMpCmBgYAoKQ29tcHV0ZSBtZWFuIGFuZCA1JS0gYW5kIDk1JS1xdWFudGlsZXMgYW5kIGNvcnJlc3BvbmRpbmcgTUNTRSdzCgpgYGB7ciB9CnN1bW1hcmlzZV9kcmF3cyh0aGV0YXMsIG1lYW4sIG1jc2VfbWVhbiwKICAgICAgICAgICAgICAgIH5xdWFudGlsZSgueCwgcHJvYnMgPSBjKDAuMDUsIDAuOTUpKSwKICAgICAgICAgICAgICAgIH5tY3NlX3F1YW50aWxlKC54LCBwcm9icyA9IGMoMC4wNSwgMC45NSkpKQpgYGAKCnN1bW1hcmlzZV9kcmF3cygpIGZ1bmN0aW9uIGNvZXJjZWQgdGhlIFIgMy1EIGFycmF5IHRvIGEgcG9zdGVyaW9yCm9iamVjdCBiZWhpbmQgdGhlIHNjZW5lcywgYnV0IHdlIGNhbiBhbHNvIGNvbnZlcnQgaXQgZXhwbGljaXRsdSB0bwpkcmF3cyBvYmplY3QgdGhhdCBpcyBiZXR0ZXIgYXdhcmUgb2YgbnVtYmVyIG9mIGl0ZXJhdGlvbnMgYW5kCmNoYWlucy4gRm9yIGV4YW1wbGUsIENtZFN0YW5SIHJldHVybnMgcG9zdGVyaW9yIGRyYXdzIG9iamVjdHMuCnBvc3RlcmlvciBwYWNrYWdlIHByb3ZpZGVzIHNldmVyYWwgZnVuY3Rpb25zIHRoYXQgbWFrZSBtYW5pcHVsYXRpbmcKcG9zdGVyaW9yIG9iamVjdHMgZWFzaWVyIHRoYW4gcGxhaW4gUiBtYXRyaXggYW5kIGFycmF5IHR5cGVzLgoKYGBge3IgfQp0aGV0YXMgPC0gYXNfZHJhd3NfZGYodGhldGFzKQp2YXJpYWJsZXModGhldGFzKSA8LSBjKCJ0aGV0YTEiLCJ0aGV0YTIiKQpgYGAKCmJheWVzcGxvdCBwYWNrYWdlIHByb3ZpZGVzIFNvbWUgdXNlZnVsIHBsb3RzIHRvIGFuYWx5c2UgeW91ciBNQ01DCmRyYXdzLiAgWW91IGRvbid0IG5lZWQgdG8gaW5jbHVkZSBhbGwgb2YgdGhlc2UgaW4geW91ciBhc3NpZ25tZW50Cm9yIHByb2plY3QgcmVwb3J0cywgYnV0IHRoZXkgYXJlIHNob3duIGFzIHNlZWluZyB0aGUgcGxvIGZvciB5b3VyCm93biBNZXRyb3BvbGlzIGFsZ29yaXRobSBoZWxwcyB0byBnYWluIGJldHRlciB1bmRlcnN0YW5kaW5nLgoKVHJhY2UgcGxvdHMKCgpgYGB7ciB9Cm1jbWNfdHJhY2UodGhldGFzKQpgYGAKCgpBdXRvY29ycmVsYXRpb24gcGxvdHMKCgpgYGB7ciB9Cm1jbWNfYWNmKHRoZXRhcykKYGBgCgoKRGVuc2l0eSBwbG90cyB3aXRoIHNlcGFyYXRlIGRlbnNpdHkgZm9yIGVhY2ggY2hhaW4KCgpgYGB7ciB9Cm1jbWNfZGVuc19vdmVybGF5KHRoZXRhcykKYGBgCgoKRGVuc2l0eSBwbG90cyB1c2luZyBhbGwgY2hhaW5zCgoKYGBge3IgfQptY21jX2RlbnModGhldGFzKQpgYGAKCgpEZW5zaXR5IHBsb3RzIHdpdGggbWVkaWFuIGFuZCA1MCUgY2VudHJhbCBpbnRlcnZhbCAoc2VlID9tY21jX2FyZWFzCmZvciBtb3JlIG9wdGlvbnMpCgoKYGBge3IgfQptY21jX2FyZWFzKHRoZXRhcykKYGBgCgoKU2NhdHRlciBwbG90cyBhbmQgaGlzdG9ncmFtcyAod29ya3MgYWxzbyBmb3IgbW9yZSB0aGFuIHR3byB2YXJpYWJsZXMpCgoKYGBge3IgfQptY21jX3BhaXJzKHRoZXRhcykKYGBgCgo=