Table of Contents
Fetching ...

Higher-order spring-coupled multilevel Monte Carlo method for invariant measures

Sankarasubramanian Ragunathan, Håkon Andreas Hoel

TL;DR

The paper tackles the challenge of computing weak approximations of invariant measures for SDEs with non-contractive drifts by introducing a higher-order change-of-measure MLMC framework that uses a spring-coupled, order-1.5 Itô--Taylor scheme. Central contributions include rigorous $L^p$-stability and convergence results for the coupled fine/coarse paths, explicit bounds for the Radon–Nikodym derivatives, and sharp MSE–cost estimates distinguishing Lipschitz and discontinuous payoffs. The study demonstrates linear-in-time variance growth and achieves near-optimal computational costs: $\mathcal{O}(\epsilon^{-2} |\log \epsilon|^{3/2} (\log|\log \epsilon|)^{1/2})$ for Lipschitz payoffs and $\mathcal{O}(\epsilon^{-2} |\log \epsilon|^{5/3+\xi})$ for discontinuous ones, with experimental validation in 1D, 2D, and 3D systems. Overall, the method provides a robust, efficient tool for ergodic sampling in non-globally dissipative SDEs with wide potential applications in physics, biology, and beyond.

Abstract

A higher-order change-of-measure multilevel Monte Carlo (MLMC) method is developed for computing weak approximations of the invariant measures of SDE with drift coefficients that do not satisfy the contractivity condition. This is achieved by introducing a spring term in the pairwise coupling of the MLMC trajectories employing the order 1.5 strong Itô--Taylor method. Through this, we can recover the contractivity property of the drift coefficient while still retaining the telescoping sum property needed for implementing the MLMC method. We show that the variance of the change-of-measure MLMC method grows linearly in time $T$ for all $T > 0$, and for all sufficiently small timestep size $h > 0$. For a given error tolerance $ε> 0$, we prove that the method achieves a mean-square-error accuracy of $O(ε^2)$ with a computational cost of $O(ε^{-2} \big\vert \log ε\big\vert^{3/2} (\log \big\vert \log ε\big\vert)^{1/2})$ for uniformly Lipschitz continuous payoff functions and $O \big( ε^{-2} \big\vert \log ε\big\vert^{5/3 + ξ} \big)$ for discontinuous payoffs, respectively, where $ξ> 0$. We also observe an improvement in the constant associated with the computational cost of the higher-order change-of-measure MLMC method, marking an improvement over the Milstein change-of-measure method in the aforementioned seminal work by M. Giles and W. Fang. Several numerical tests were performed to verify the theoretical results and assess the robustness of the method.

Higher-order spring-coupled multilevel Monte Carlo method for invariant measures

TL;DR

The paper tackles the challenge of computing weak approximations of invariant measures for SDEs with non-contractive drifts by introducing a higher-order change-of-measure MLMC framework that uses a spring-coupled, order-1.5 Itô--Taylor scheme. Central contributions include rigorous -stability and convergence results for the coupled fine/coarse paths, explicit bounds for the Radon–Nikodym derivatives, and sharp MSE–cost estimates distinguishing Lipschitz and discontinuous payoffs. The study demonstrates linear-in-time variance growth and achieves near-optimal computational costs: for Lipschitz payoffs and for discontinuous ones, with experimental validation in 1D, 2D, and 3D systems. Overall, the method provides a robust, efficient tool for ergodic sampling in non-globally dissipative SDEs with wide potential applications in physics, biology, and beyond.

Abstract

A higher-order change-of-measure multilevel Monte Carlo (MLMC) method is developed for computing weak approximations of the invariant measures of SDE with drift coefficients that do not satisfy the contractivity condition. This is achieved by introducing a spring term in the pairwise coupling of the MLMC trajectories employing the order 1.5 strong Itô--Taylor method. Through this, we can recover the contractivity property of the drift coefficient while still retaining the telescoping sum property needed for implementing the MLMC method. We show that the variance of the change-of-measure MLMC method grows linearly in time for all , and for all sufficiently small timestep size . For a given error tolerance , we prove that the method achieves a mean-square-error accuracy of with a computational cost of for uniformly Lipschitz continuous payoff functions and for discontinuous payoffs, respectively, where . We also observe an improvement in the constant associated with the computational cost of the higher-order change-of-measure MLMC method, marking an improvement over the Milstein change-of-measure method in the aforementioned seminal work by M. Giles and W. Fang. Several numerical tests were performed to verify the theoretical results and assess the robustness of the method.
Paper Structure (11 sections, 9 theorems, 264 equations, 8 figures, 1 algorithm)

This paper contains 11 sections, 9 theorems, 264 equations, 8 figures, 1 algorithm.

Key Result

Proposition 1

Let Assumptions asmp:lipschitz_a and asmp:aD_lipschitz hold. Then, there exists a constant $\widehat{L} > 0$ such that

Figures (8)

  • Figure 1: Plots associated to the SDE considered in Section \ref{['subsec:1d_triplewell']}: Probability density function of the triple-well potential (top left), Curve fit to compute the parameters $\mu^{\star}$ and $\lambda^{\star}$ (top right), Variance growth rate of the MLMC estimator w.r.t terminal time on level $\ell = 1$ (bottom).
  • Figure 2: Numerical results for the problem considered in Section \ref{['subsec:1d_triplewell']} at the terminal time, $T = 10$: strong error (top left), variance rate (top right), kurtosis (bottom left), divergence probability (bottom right)
  • Figure 3: Change-of-measure MLMC scheme results for the problem considered in Section \ref{['subsec:1d_triplewell']}: computational cost (top left), mean squared error (top right), asymptotic computational cost (bottom)
  • Figure 4: The logarithm of the probability density function of the SDE considered in Section \ref{['subsec:doublewell_2d_mixing']}.
  • Figure 5: Numerical results for the problem considered in Section \ref{['subsec:doublewell_2d_mixing']} at the terminal time, $T = 10$: strong error (top left), variance rate (top right), kurtosis (bottom left), divergence probability (bottom right)
  • ...and 3 more figures

Theorems & Definitions (12)

  • Proposition 1: uniformly Lipschitz continuity of $\mathcal{A}$
  • proof
  • Theorem 1: Stability of numerical solution
  • Theorem 2: Stability of numerical solution without the spring term
  • Theorem 3: $L^{p}(\Omega)$-norm pairwise coupled trajectories difference
  • Remark
  • Theorem 4: $L^{p}(\Omega)$-norm Radon--Nikodym derivative
  • Theorem 5: Multilevel estimator moments - uniformly Lipschitz continuous payoff
  • Lemma 1: Probability of distance measure
  • proof
  • ...and 2 more