Author-reviewedEvidence: highv1.0.2

Convergence

Convergence is the point at which an MCMC run or other iterative simulation settles on a stable result as the number of iterations increases.

Last reviewed byDr Darrin Baines

Concept Architecture

Convergence in Health Economic Models and Bayesian Evidence Synthesis

In a health economic analysis, a result has converged when running more iterations, more probabilistic draws or more simulated patients would no longer change it by an amount that matters for the decision. The question arises in Bayesian evidence synthesis, probabilistic sensitivity analysis and patient-level simulation, and in estimation and calibration routines. It matters because the NICE technology appraisal manual (PMG36) asks for enough model simulations to minimise Monte Carlo error, and the NICE Decision Support Unit's guidance on network meta-analysis asks for particular care in checking MCMC convergence. Convergence says nothing about whether the model is right, since a chain can converge to the posterior of a misspecified model.

Two different questions behind the same word

The word covers two problems that are easily confused. In Markov chain Monte Carlo (MCMC), each draw depends on the one before and the chain only gradually forgets its starting values. Gelman and Rubin describe the draws as coming from a sequence of distributions that converge to the target distribution, so the question is whether the chains have reached it.

In a probabilistic sensitivity analysis, parameter sets are drawn independently, so there is no starting point to forget. The question there is precision, whether the average of a finite number of runs is close enough to the long-run value.

An MCMC run that has converged can still carry too much Monte Carlo error if too few draws are kept.

Checking MCMC convergence with multiple chains

The standard check compares chains. Gelman and Rubin recommend several independent sequences with starting points drawn from an overdispersed distribution, and NICE DSU Technical Support Document 2 (TSD 2) suggests at least three chains from widely different but sensible initial values, checking that each chain then samples from the same posterior.

The potential scale reduction factor

The usual diagnostic is the potential scale reduction factor, written R^\hat{R}. In the current textbook form, each chain is split in half after warm-up, so the statistic tests stationarity within chains as well as mixing between them.

R^=var^+W,var^+=n−1nW+1nB\hat{R} = \sqrt{\frac{\widehat{\mathrm{var}}^{+}}{W}}, \qquad \widehat{\mathrm{var}}^{+} = \frac{n-1}{n}W + \frac{1}{n}B

where mm is the number of split chains, nn is the number of retained draws in each, WW is the average of the within-chain variances, BB is n/(m−1)n/(m-1) times the sum of squared deviations of the chain means from their overall mean, and var^+\widehat{\mathrm{var}}^{+} is a pooled estimate of the posterior variance. Before convergence, WW understates the posterior variance because no chain has yet covered the whole distribution, so R^\hat{R} sits above 1 and declines towards 1 as the chains run longer.

The threshold for "near 1" has tightened. Gelman and colleagues, in Bayesian Data Analysis, describe 1.1 as a threshold they have generally been satisfied with. Vehtari and colleagues later showed that the traditional statistic can miss chains with heavy tails or unequal variances, and proposed a rank-normalised version. They recommend using the sample only when R^\hat{R} is below 1.01, with at least four chains and a rank-normalised effective sample size above 400. They also report a separate tail effective sample size, because chains often resolve the centre of a distribution better than its tails.

Warm-up, run length and Monte Carlo error

Early draws reflect the starting values, so they are discarded. Bayesian Data Analysis calls this phase warm-up rather than burn-in and by default discards the first half of each chain. TSD 2 asks for the burn-in and the retained sample to be conservatively large, with both reported, and cites a guideline that the Monte Carlo error should be no more than 5% of the posterior standard deviation of each parameter of interest. Autocorrelated draws carry less information than independent ones, which the effective sample size measures.

Illustrative calculation of the potential scale reduction factor

Hypothetically, a Bayesian network meta-analysis estimates a log odds ratio with two chains, each split in half after warm-up, giving m=4m = 4 split chains of n=500n = 500 draws. Every split chain has a within-chain variance of 0.010, so W=0.010W = 0.010.

Run 1, one split chain out of line. The split-chain means are −0.52-0.52, −0.48-0.48, −0.50-0.50 and −0.30-0.30, with an overall mean of −0.45-0.45. The squared deviations are 0.0049, 0.0009, 0.0025 and 0.0225, which sum to 0.0308, so B=(500/3)×0.0308=5.1333B = (500/3) \times 0.0308 = 5.1333.

var^+=499500×0.010+5.1333500=0.0202\widehat{\mathrm{var}}^{+} = \frac{499}{500} \times 0.010 + \frac{5.1333}{500} = 0.0202

where 0.010 is WW and 5.1333 is BB.

R^=0.02020.010=1.42\hat{R} = \sqrt{\frac{0.0202}{0.010}} = 1.42

where 0.0202 is the pooled variance and 0.010 is WW. The value is far above 1.1 and 1.01, so the draws should not be pooled. The analyst would inspect the outlying chain, try other starting values or a reparameterisation, and run longer.

Run 2, chains mixed. After a longer run the split-chain means are −0.47-0.47, −0.45-0.45, −0.44-0.44 and −0.44-0.44, again with an overall mean of −0.45-0.45. The squared deviations sum to 0.0006, so B=(500/3)×0.0006=0.1B = (500/3) \times 0.0006 = 0.1.

var^+=499500×0.010+0.1500=0.01018\widehat{\mathrm{var}}^{+} = \frac{499}{500} \times 0.010 + \frac{0.1}{500} = 0.01018

where the inputs are as before, giving R^=1.018=1.009\hat{R} = \sqrt{1.018} = 1.009. This passes the 1.01 rule, but the draws are usable only if effective sample size checks also pass for every parameter that feeds the economic model.

Monte Carlo error and the number of probabilistic simulations

The NICE manual (PMG36, section 4.7.11) states that a probabilistic analysis should use enough model simulations to minimise the effect of Monte Carlo error, and that reviewing the variance around net benefits or ICERs as the number of simulations increases is a way of judging whether more runs are needed. Hatswell and colleagues note that guidance asking for a sufficient number of simulations, or for convergence, seldom defines what convergence means, and propose judging convergence from the variance of cost-effectiveness outcomes as a function of the number of simulations.

Because the parameter sets are independent, the precision of an average follows the usual standard error formula.

MCSE(xˉ)=sN,MCSE(p^)=p^(1−p^)N\mathrm{MCSE}(\bar{x}) = \frac{s}{\sqrt{N}}, \qquad \mathrm{MCSE}(\hat{p}) = \sqrt{\frac{\hat{p}(1-\hat{p})}{N}}

where xˉ\bar{x} is the mean of an output such as incremental net monetary benefit over NN runs, ss is the standard deviation of that output across runs, and p^\hat{p} is an estimated proportion such as the probability that a strategy is cost-effective. Quadrupling the number of runs halves the standard error. The standard error of a proportion is largest when p^\hat{p} is 0.5, so the cost-effectiveness acceptability curve is least precise near the threshold where the curves cross.

The expected value of perfect information is harder still, because its per-run gain is zero whenever the strategy chosen on current information is also best, so the estimate rests on the runs where the choice would change. ICERs become unstable when incremental QALYs are near zero, which is one reason to monitor net benefit instead.

Sizing a probabilistic analysis for a decision

In this illustrative example, a cohort model compares a new treatment with standard care at a threshold of GBP 20,000 per QALY. After 1,000 probabilistic runs, mean incremental net monetary benefit is GBP 1,500, its standard deviation across runs is GBP 12,000, and the new treatment is cost-effective in 55% of runs.

  1. Standard error of mean net benefit. MCSE=12,000/1,000=379.47\mathrm{MCSE} = 12{,}000 / \sqrt{1{,}000} = 379.47, so about GBP 379.
  2. Interval for the mean. The 95% half-width is h=1.96×379.47=743.8h = 1.96 \times 379.47 = 743.8, giving roughly GBP 756 to GBP 2,244. The whole interval is positive, so more runs are unlikely to change the sign of mean net benefit.
  3. Probability of cost-effectiveness. 0.55×0.45/1,000=0.0157\sqrt{0.55 \times 0.45 / 1{,}000} = 0.0157, so the 55% figure has a standard error of about 1.6 percentage points.
  4. A closer decision. If mean net benefit had been GBP 300 with the same spread, the interval at 1,000 runs would run from about minus GBP 444 to GBP 1,044 and the sign would be uncertain. For the half-width h=1.96×12,000/Nh = 1.96 \times 12{,}000 / \sqrt{N} to fall below 300, N\sqrt{N} must exceed 78.4, so NN must exceed 6,146.56, meaning 6,147 runs or more.
  5. A precision target. To bring the standard error of mean net benefit down to GBP 100 needs N=(12,000/100)2=14,400N = (12{,}000 / 100)^2 = 14{,}400 runs.

The number of runs therefore depends on how close the decision is and which output is reported, not on a round number chosen in advance.

Patient-level simulation adds a second layer

Individual patient simulation has sampling error from the variation between simulated patients, which NICE DSU Technical Support Document 15 calls first-order uncertainty and which falls as more patients are simulated. A probabilistic analysis then usually needs two nested loops, an inner loop over patients and an outer loop over parameter sets.

TSD 15 states that its authors know of no widely used algorithm in health economics for choosing the number of patients, expects modellers to justify the number chosen, and suggests plotting incremental costs, QALYs and the cost per QALY with error bars against the number simulated, then checking that results are comparable under different random number seeds. It reports a result from O'Hagan and colleagues that, for models without patient interaction where the only aim is the mean, one patient per parameter set with as many parameter sets as possible is the most efficient use of computing time, although acceptability curves still need a reasonable number of patients.

Convergence of estimation and calibration routines

Fitting a parametric survival model by maximum likelihood estimation often uses a routine such as the Newton-Raphson method, and a message that the optimiser has converged means only that its stopping rule was met. A flat likelihood or a parameter on its boundary can still return estimates, so a fit is worth repeating from different starting values.

Calibration raises the same issue. Vanni and colleagues set out calibration in seven steps and treat the criteria for accepting a parameter set as a good fit, which they call convergence criteria, separately from the stopping rule that ends the search. A 2025 scoping review of 117 studies of cancer simulation models by Zhang and colleagues found that acceptance criteria were reported in 53 studies and a stopping rule in 46, so many published calibrations do not say why the search stopped.

What convergence does and does not establish

Convergence describes the computation and says nothing about whether the model is right. A chain can converge to the posterior of a misspecified model. Apparent convergence can also mislead, and TSD 2 gives an example in which one set of starting values converges, but to a different posterior. More iterations reduce Monte Carlo error, but they do not narrow the posterior itself, which reflects the evidence and the prior. In a cohort model, the movement of the trace towards an absorbing or stationary state is a property of the Markov chain, unrelated to whether a probabilistic analysis has run long enough.

Common errors when reporting convergence

Most errors treat one summary as proof. A report is easier to check when it names the diagnostic, its threshold, the number of chains or runs and the output tested.

  • One chain only. One chain cannot show that another start would settle elsewhere.
  • The old threshold alone. An R^\hat{R} below 1.1 can appear before convergence, hence the newer 1.01 rule with effective sample size checks.
  • A round number of runs with no check. The variance of net benefit should be shown to be small relative to the decision.
  • Checking the mean only. Stable mean costs and QALYs do not imply a stable acceptability probability or EVPI.
  • Reading an optimiser message as validation. A converged fit or calibration may still be implausible or externally invalid.

Sources

Library

Publications

5
  • Report

    NICE DSU Technical Support Document 2: a generalised linear modelling framework for pairwise and network meta-analysis of randomised controlled trials — Dias S, Welton NJ, Sutton AJ, Ades AE, 2011 (Decision Support Unit, ScHARR, University of Sheffield)

    Report listed in the Sources of the HealthEconomics.wiki Concept Architecture article on Convergence, where it is cited as a reference for that concept.

  • Journal article

    Probabilistic sensitivity analysis in cost-effectiveness models: determining model convergence in cohort models — Hatswell AJ, Bullement A, Briggs A, Paulden M, Stevenson MD, Vol. 36, No. 12, pp. 1421-1426 ed., 2018 (PharmacoEconomics)

    Journal article listed in the Sources of the HealthEconomics.wiki Concept Architecture article on Convergence, where it is cited as a reference for that concept.

  • Journal article

    Rank-normalization, folding, and localization: an improved $\hat{R}$ for assessing convergence of MCMC — Vehtari A, Gelman A, Simpson D, Carpenter B, Bürkner PC, Vol. 16, No. 2, pp. 667-718 ed., 2021 (Bayesian Analysis)

    Journal article listed in the Sources of the HealthEconomics.wiki Concept Architecture article on Convergence, where it is cited as a reference for that concept.

  • Journal article

    A scoping review on calibration methods for cancer simulation models — Zhang Y, Lipa N, Alagoz O, Vol. 45, No. 8, pp. 965-975 ed., 2025 (Medical Decision Making)

    Journal article listed in the Sources of the HealthEconomics.wiki Concept Architecture article on Convergence, where it is cited as a reference for that concept.

  • Journal article

    Inference from iterative simulation using multiple sequences — Gelman A, Rubin DB, Vol. 7, No. 4, pp. 457-472 ed., 1992 (Statistical Science)

    Journal article listed in the Sources of the HealthEconomics.wiki Concept Architecture article on Convergence, where it is cited as a reference for that concept.

Tools & Resources

1
  • OtherFeatured

    SAVI — Sheffield Accelerated Value of Information — Mark Strong, Jeremy Oakley & Penny Breeze (University of Sheffield), Web application ed., 2024 (University of Sheffield)

    A free, open-access web calculator that computes value-of-information measures (EVPI, partial EVPI/EVPPI and EVSI) directly from a model’s probabilistic sensitivity analysis output — no need to re-run the model. Also reports payer strategy-specific and uncertainty burden.

Frequently Asked Questions (6)

  • What is convergence?

    Convergence is the point at which an MCMC run or other iterative simulation settles on a stable result as the number of iterations increases.

    Source: Gelman & Rubin 1992

  • Why does a simulation need to reach convergence before its output is used?

    An iterative simulation such as a Markov chain Monte Carlo run begins from an arbitrary starting point and only gradually settles into producing values that represent the target distribution. Convergence is that settled state, and output taken before it is reached reflects the starting point rather than the answer sought. Using such early, unconverged output biases the result, which is why the run must be shown to have converged before its samples are trusted. Reaching convergence is a precondition for a valid estimate. Gelman and colleagues (2013) describe this.

    Source: Gelman et al. 2013

  • How is convergence of a Markov chain assessed?

    Convergence of a Markov chain is assessed by diagnostics that check whether the chain has settled into sampling from the target distribution, such as running several chains from different starting points and comparing the variance within and between them, as in the Gelman-Rubin diagnostic, which should approach a value indicating agreement. Trace plots are inspected for stability, and the discarded initial burn-in is judged. These checks give evidence, though not proof, that the chain has converged and its later draws represent the target distribution.

    Source: Gelman & Rubin 1992

  • Why does convergence matter in simulation?

    Convergence matters because the validity of results from an iterative process depends on it: a Markov chain that has not converged is not yet sampling from the target distribution, so its draws give biased estimates, and an optimisation that has not converged has not reached the solution. Relying on unconverged output can mislead. Checking convergence therefore protects against drawing conclusions from a process that has not stabilised, which is why convergence diagnostics accompany Markov chain Monte Carlo and iterative numerical methods.

    Source: Gelfand & Smith 1990

  • What is the difference between convergence and burn-in?

    Burn-in is the initial portion of a Markov chain run, from the starting point until the chain reaches the target distribution, which is discarded because it does not represent that distribution, whereas convergence is the property of having reached that stable, target-sampling state. Burn-in is removed so that only post-convergence draws are used for inference. So convergence is the condition the chain attains, and burn-in is the early, pre-convergence stretch set aside; assessing convergence guides how much burn-in to discard.

    Source: Gelman & Rubin 1992

  • What are the limitations of convergence diagnostics?

    Convergence diagnostics can indicate a lack of convergence but cannot prove convergence has occurred, since a chain may appear stable yet have failed to explore the whole target distribution, for instance if it is stuck in one region of a multimodal distribution. Different diagnostics can disagree, and passing them is necessary but not sufficient. These limitations mean convergence is assessed with several checks and judgement, treating diagnostics as evidence rather than guarantees that the chain represents the target distribution.

    Source: Gelman & Rubin 1992

Trust Record

Verified by Dr Darrin Baines

British health economist

Professional identity: darrinbaines.org

Verification date: 20 Oct 2026

Content version: 1.0.2

Canonical Identity

Term code
HE-EM-UA-014

Stable URI · Machine-readable · Resolvable · CC BY 4.0