Convergence of Adaptive and Interacting MCMC algorithms
Convergence of Adaptive and Interacting MCMC algorithms
Gersende FORT
LTCI / CNRS - TELECOM ParisTech, France
Convergence of Adaptive and Interacting MCMC algorithms Gersende - - PowerPoint PPT Presentation
Convergence of Adaptive and Interacting MCMC algorithms Convergence of Adaptive and Interacting MCMC algorithms Gersende FORT LTCI / CNRS - TELECOM ParisTech, France Joint work with E. Moulines (LTCI, France) and P. Priouret (LPMA, France)
Convergence of Adaptive and Interacting MCMC algorithms
LTCI / CNRS - TELECOM ParisTech, France
Convergence of Adaptive and Interacting MCMC algorithms
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC
1
2
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Adaptive Metropolis
[Haario et al. (1999)]
X ⊆ Rd, density w.r.t. the Lebesgue measure
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Adaptive Metropolis
[Haario et al. (1999)]
X ⊆ Rd, density w.r.t. the Lebesgue measure
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Adaptive Metropolis
transition kernel of a HM algo with Gaussian proposal with covariance matrix ∝ θn
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Adaptive Metropolis
transition kernel of a HM algo with Gaussian proposal with covariance matrix ∝ θn
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
[Kou et al. (2006)]
−6 −4 −2 2 4 6 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 Hastings−Metropolis −10 −8 −6 −4 −2 2 4 6 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 Processus auxiliaire −8 −6 −4 −2 2 4 6 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 Equi Energy, avec selection −8 −6 −4 −2 2 4 6 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 Equi Energy, sans selection
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
(β ∈ (0, 1))
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
(β ∈ (0, 1))
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
(β ∈ (0, 1))
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
n
k=0
A
and α(x, y) defined such that πPθ⋆ = π where θ⋆ = limn θn ∝ π1−β
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC The Equi-Energy sampler (simplified)
n
k=0
A
and α(x, y) defined such that πPθ⋆ = π where θ⋆ = limn θn ∝ π1−β
Convergence of Adaptive and Interacting MCMC algorithms Examples of adaptive MCMC Conclusion
k=1 f(Xk) a.s.
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Sketch of the proof
θn−N f(Xn−N)
θn−N f(Xn−N) − πθn−N (f)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Sketch of the proof
θn−N f(Xn−N)
θn−N f(Xn−N) − πθn−N (f)
f,|f|≤1
θ f(x) − πθ(f)| ≤ Cθ ρn θ V (x)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Sketch of the proof
θn−N f(Xn−N)
θn−N f(Xn−N) − πθn−N (f)
֒ → [B] condition on the adaptation mecanism since
θn−N f(Xn−N)
N−1
j=1
x
TV
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Sketch of the proof
θn−N f(Xn−N)
θn−N f(Xn−N) − πθn−N (f)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Sketch of the proof
θn−r(n)f(Xn−r(n))
θn−r(n)f(Xn−r(n)) − πθn−r(n)(f)
f,|f|≤1
θ f(x) − πθ(f)| ≤ Cθ ρn θ V (x)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Main result
[Fort et al. 2010]
n→∞ E
θn−rǫ(n)(Xn−rǫ(n), ·) − πθn−rǫ(n)
TV
n→∞ rǫ(n)−1
j=0
x
TV
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Comparison with the literature
pioneering work by [Roberts & Rosenthal, 2007]
f,|f|≤1
θ f(x) − πθ(f)| ≤ Cθ ρn θ V (x)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the marginals for adaptive MCMC samplers Comparison with the literature
pioneering work by [Roberts & Rosenthal, 2007]
f,|f|≤1
θ f(x) − πθ(f)| ≤ Cθ ρn θ V (x)
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers
n
a.s.
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Sketch of the proof
n
k=1
n
k=1
n
k=1
a.s.
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Sketch of the proof
n
k=1
n
k=1
n
k=1
n
k=1
n
k=1
sum of martingale increments
n
Rest due to the adaptation
n
Rest
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Sketch of the proof
n
k=1
n
k=1
n
k=1
n
k=1
n
k=1
sum of martingale increments
n
Rest due to the adaptation
n
Rest
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Sketch of the proof
n
k=1
n
k=1
n
k=1
n
k=1
n
k=1
sum of martingale increments
n
Rest due to the adaptation
n
Rest
n :֒
n : ֒
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Main result
[Fort et al. 2010]
θ (x, ·) − πθV ≤ Cθ ρn θ V (x)
k
k
x
f,|f|≤V
a.s.
k=1 f(Xk) a.s.
Convergence of Adaptive and Interacting MCMC algorithms Law of large numbers for adaptive MCMC samplers Comparison with the literature
[Atchad´ e & Rosenthal (2005), Andrieu & Moulines (2006), Roberts & Rosenthal (2007), Saksman & Vihola (2008), Vihola (2009), Atchad´ e & Fort (2010), Atchad et al. (2010) · · · ]
(neither the state space X nor the parameter space Θ have to be compact/countable/finite)
(for example, adaptation based on a stochastic approximation dynamic: “θn = θn−1 + γnHn(θn, Wn+1)” is OK)
for example in the finite dimensional case, control of the form “lim supn n−τ |θn| < +∞ a.s. for τ > 0” is OK (at
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
n Pθn(ω)(x, A) = Pθ⋆(x, A)
n πθn(ω)(f) = πθ⋆(f) .
well, we have even a stronger result, Ω⋆ does not depend upon f
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
θnf(x)
θnf(x) − P k θ⋆f(x)
θ⋆f(x) − πθ⋆(f)
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
θnf(x)
θnf(x) − P k θ⋆f(x)
θ⋆f(x) − πθ⋆(f)
θnf(x) − P k θ⋆f(x) =
θ⋆
θn
θ⋆
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
n Pθn(ω)(x, A) = Pθ⋆(x, A) .
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
n Pθn(ω)(x, A) = Pθ⋆(x, A) .
n Pθn(ω)(x, ·) w
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
n Pθn(ω)(x, A) = Pθ⋆(x, A) .
n Pθn(ω)(x, ·) w
n Pθn(ω)(x, ·) w
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
n Pθn(ω)(x, A) = Pθ⋆(x, A) .
n Pθn(ω)(x, ·) w
n Pθn(ω)(x, ·) w
n P k θn(ω)(x, ·) w
θ⋆(x, ·) ,
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
[Fort et al. 2010]
w
a.s.
Convergence of Adaptive and Interacting MCMC algorithms Convergence of the stationary distributions πθn
[Fort et al. 2010]
w
a.s.
Convergence of Adaptive and Interacting MCMC algorithms Applications
θn ∨ (1 − λθn)−1
Convergence of Adaptive and Interacting MCMC algorithms Applications
θn ∨ (1 − λθn)−1
Convergence of Adaptive and Interacting MCMC algorithms Applications
θn ∨ (1 − λθn)−1
Convergence of Adaptive and Interacting MCMC algorithms Applications Adaptive MCMC
1
contemporaneous work by (Bai et al., 2010) 2
pioneering work by (Saksman & Vihola, 2009); we use many ideas
Convergence of Adaptive and Interacting MCMC algorithms Applications Convergence of the (simplified) Equi-Energy sampler
1
2
extensions of the works by (Atchad´ e, 2007), (Andrieu et al. 2009)
Convergence of Adaptive and Interacting MCMC algorithms Applications Convergence of the (simplified) Equi-Energy sampler