Multi-Order Monte Carlo IMEX hierarchies for uncertainty quantification in multiscale hyperbolic systems
Pith reviewed 2026-05-18 20:25 UTC · model grok-4.3
The pith
A new Multi-Order Monte Carlo method reduces both error and variance for uncertainty quantification in multiscale hyperbolic systems while preserving asymptotic consistency.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The novel Multi-Order Monte Carlo approach achieves substantial reduction of both error and variance while maintaining asymptotic consistency in the asymptotic limit.
What carries the argument
The Multi-Order Monte Carlo hierarchy obtained by varying both spatial and temporal discretization orders within the Monte Carlo framework, using IMEX Runge-Kutta integrators to enforce the asymptotic-preserving property across orders.
If this is right
- The method enables efficient uncertainty quantification for hyperbolic systems with stiff relaxation without the computational overhead of re-meshing at each level.
- Asymptotic consistency is preserved across the different orders of accuracy in the hierarchy.
- The framework extends naturally to kinetic equations and low Mach number flows where standard Multi-Level Monte Carlo encounters difficulties.
- Variance reduction occurs while the scheme automatically adapts to the multiple scales present in the problem.
Where Pith is reading between the lines
- The same order-variation idea could be tested on non-hyperbolic multiscale problems such as parabolic or dispersive systems.
- Combining the Multi-Order hierarchy with other variance-reduction techniques like antithetic sampling might yield further efficiency gains.
- The approach may prove especially useful in high-dimensional parameter spaces where re-meshing costs become prohibitive.
- Implementation on adaptive meshes could be examined to see whether the absence of explicit re-meshing still holds.
Load-bearing premise
Varying both spatial and temporal discretization orders inside the Monte Carlo framework combined with IMEX Runge-Kutta integrators produces an effective variance-reduction hierarchy that preserves the asymptotic-preserving property across orders without needing costly hierarchical re-meshing.
What would settle it
A concrete numerical test on a stiff hyperbolic relaxation system in which increasing the discretization orders inside the Monte Carlo hierarchy fails to reduce variance or breaks asymptotic consistency in the stiff limit would falsify the central claim.
Figures
read the original abstract
We introduce a novel Multi-Order Monte Carlo approach for uncertainty quantification in the context of multiscale time-dependent partial differential equations. The new framework leverages Implicit-Explicit Runge-Kutta time integrators to satisfy the asymptotic-preserving property across different discretization orders of accuracy. In contrast to traditional Multi-Level Monte Carlo methods, which require costly hierarchical re-meshing, our method constructs a multi-order hierarchy by varying both spatial and temporal discretization orders within the Monte Carlo framework. This enables efficient variance reduction while naturally adapting to the multiple scales inherent in the problem ensuring asymptotic consistency. The proposed method is particularly well-suited for hyperbolic systems with stiff relaxation, kinetic equations, and low Mach number flows, where standard Multi-Level Monte Carlo techniques often encounter computational challenges. Numerical experiments demonstrate that the novel Multi-Order Monte Carlo approach achieves substantial reduction of both error and variance while maintaining asymptotic consistency in the asymptotic limit.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a Multi-Order Monte Carlo (MOMC) framework for uncertainty quantification in multiscale time-dependent hyperbolic PDEs with stiff relaxation. It employs IMEX Runge-Kutta integrators to enforce the asymptotic-preserving property while constructing a hierarchy by varying both spatial and temporal discretization orders inside the Monte Carlo sampling loop. This is positioned as an alternative to traditional Multi-Level Monte Carlo, avoiding costly hierarchical re-meshing. The central claims are that the resulting estimator achieves substantial error and variance reduction while remaining asymptotically consistent with the macroscopic limit as the relaxation parameter tends to zero. Numerical experiments are asserted to confirm these properties for hyperbolic systems, kinetic equations, and low-Mach flows.
Significance. If the consistency of the combined estimator and the reported reductions hold under rigorous verification, the approach could provide a practical route to efficient UQ for stiff multiscale problems by replacing mesh-refinement hierarchies with order variation. The explicit use of IMEX schemes to carry the asymptotic-preserving property across orders is a targeted strength for the intended application class.
major comments (2)
- [§3] §3 (MOMC estimator construction): the telescoping differences between IMEX schemes of differing orders are asserted to preserve asymptotic consistency, yet no uniform bound or commutativity argument with the stiff limit operator is supplied. A lower-order IMEX scheme may converge to a distinct discrete equilibrium, so the correction terms need not vanish as ε → 0; this directly affects the central claim that the full hierarchy remains asymptotically consistent.
- [§4] §4 (Numerical experiments): the abstract states that experiments demonstrate error and variance reduction together with asymptotic consistency, but the reported results lack explicit quantitative metrics (e.g., observed orders, variance decay rates versus number of samples, or direct comparison of the MOMC estimator against the macroscopic limit for a sequence of ε values). Without these data the support for the performance claims cannot be verified.
minor comments (2)
- [§2–3] Clarify the precise definition of the multi-order hierarchy (e.g., which orders are paired and how the Monte Carlo estimator is assembled) with an explicit equation reference.
- [§2] Add a short table summarizing the IMEX Runge-Kutta schemes employed, their orders, and the corresponding asymptotic-preserving properties.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major point below and indicate the revisions we will make.
read point-by-point responses
-
Referee: [§3] §3 (MOMC estimator construction): the telescoping differences between IMEX schemes of differing orders are asserted to preserve asymptotic consistency, yet no uniform bound or commutativity argument with the stiff limit operator is supplied. A lower-order IMEX scheme may converge to a distinct discrete equilibrium, so the correction terms need not vanish as ε → 0; this directly affects the central claim that the full hierarchy remains asymptotically consistent.
Authors: We thank the referee for this observation. Each IMEX Runge-Kutta scheme employed in the hierarchy is constructed to be asymptotic-preserving, so that, for fixed spatial and temporal orders, the scheme converges to a consistent discretization of the macroscopic limit as ε → 0. Because the same limit equation is recovered independently of the order, the telescoping differences between schemes of different orders vanish in the stiff limit. We will add a clarifying paragraph in §3 that makes this reasoning explicit and cites the relevant literature on asymptotic-preserving IMEX schemes. A full uniform-in-ε bound on the estimator is not derived in the present work, whose primary focus is the algorithmic construction and numerical demonstration; such an analysis would constitute a separate theoretical contribution. revision: partial
-
Referee: [§4] §4 (Numerical experiments): the abstract states that experiments demonstrate error and variance reduction together with asymptotic consistency, but the reported results lack explicit quantitative metrics (e.g., observed orders, variance decay rates versus number of samples, or direct comparison of the MOMC estimator against the macroscopic limit for a sequence of ε values). Without these data the support for the performance claims cannot be verified.
Authors: We agree that additional quantitative metrics will strengthen the numerical section. In the revised manuscript we will insert new tables and figures in §4 that report: (i) observed convergence orders of the MOMC estimator, (ii) measured variance decay rates plotted against the number of samples, and (iii) direct comparisons of the MOMC solution against the macroscopic limit for a sequence of successively smaller ε values. These additions will supply the explicit verification requested by the referee. revision: yes
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper introduces a novel Multi-Order Monte Carlo framework that varies spatial and temporal discretization orders inside an IMEX Runge-Kutta Monte Carlo hierarchy for asymptotic-preserving uncertainty quantification. All performance claims (error/variance reduction and asymptotic consistency) are presented as outcomes of numerical experiments on the explicitly constructed method rather than as mathematical derivations that reduce to fitted inputs, self-definitions, or unverified self-citations. The asymptotic-preserving property is achieved by deliberate choice of IMEX integrators across orders; this is an engineering design decision, not a tautological result. No load-bearing step equates a claimed prediction to a quantity defined by the method itself.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption IMEX Runge-Kutta integrators satisfy the asymptotic-preserving property for the chosen discretization orders in multiscale hyperbolic systems with stiff relaxation.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The MOMC estimator reads E[u](x,t)≈EML[uL]−αL(EML[uL−1]−EML−1[uL−1]) (Eq. 6); AP-MOMC uses IMEX RK schemes to retain asymptotic-preserving property across orders
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Recursive MOMC hierarchy and error bound ∥E[u]−Eα∗L[unL]∥≤C̃∑ξlσlM−1/2l+CL(ΔxL+ΔtL) (Prop. 4.1)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
N. Z. A. Barth, C. Schwab. Multi-level Monte Carlo Finite Element method for elliptic PDEs with stochastic coefficients. Numerische Mathematik, 119:123–161, 2011
work page 2011
-
[2]
U. M. Ascher, S. J. Ruuth, and R. J. Spiteri. Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations. Applied Numerical Mathematics , 25:151– 167, 1997. 22
work page 1997
-
[3]
J. Beck, L. Tamellini, and R. Tempone. IGA-based multi-index stochastic collocation for random PDEs on arbitrary domains. Computer Methods in Applied Mechanics and Engineering, 351:330–350, 2019
work page 2019
-
[4]
G. Bertaglia, V. Caleffi, L. Pareschi, and A. Valiani. Uncertainty quantification of vis- coelastic parameters in arterial hemodynamics with the a-FSI blood flow model. Journal of Computational Physics , 430:110102, 2021
work page 2021
-
[5]
G. Bertaglia, V. Caleffi, and A. Valiani. Modeling blood flow in viscoelastic vessels: the 1d augmented fluid–structure interaction system. Computer Methods in Applied Mechanics and Engineering, 360:112772, 2020
work page 2020
-
[6]
G. Bertaglia and L. Pareschi. Multiscale constitutive framework of one-dimensional blood flow modeling: Asymptotic limits and numerical methods. Multiscale Modeling & Simu- lation, 21:1237–1267, 2023
work page 2023
-
[7]
G. Bertaglia, L. Pareschi, and R. E. Caflisch. Gradient-based Monte Carlo methods for relaxation approximations of hyperbolic conservation laws. Journal of Scientific Com- puting, 100:60, 2024
work page 2024
-
[8]
P. Blondeel, P. Robbe, C. V. hoorickx, S. Fran¸ cois, G. Lombaert, and S. Vandewalle. p-Refined Multilevel Quasi-Monte Carlo for Galerkin Finite Element Methods with Ap- plications in Civil Engineering. Algorithms, 13:110, 2020
work page 2020
-
[9]
S. Boscarino, L. Pareschi, and G. Russo. A unified IMEX Runge–Kutta approach for hyperbolic systems with multiscale relaxation. SIAM Journal on Numerical Analysis , 55:2085–2109, 2017
work page 2085
-
[10]
S. Boscarino, L. Pareschi, and G. Russo. Implicit-Explicit Methods for Evolutionary Par- tial Differential Equations. Society for Industrial and Applied Mathematics, Philadelphia, PA, 2024
work page 2024
-
[11]
W. Boscheri, M. Tavelli, and C. E. Castro. An all Froude high order IMEX scheme for the shallow water equations on unstructured Voronoi meshes. Applied Numerical Mathematics, 185:311–335, 2023
work page 2023
-
[12]
R. E. Caflisch. Monte Carlo and quasi-Monte Carlo methods. Acta Numerica, 7:1–49, 1998
work page 1998
-
[13]
P. Chen, A. Quarteroni, and G. Rozza. Simulation-based uncertainty quantification of human arterial network hemodynamics. International Journal for Numerical Methods in Biomedical Engineering, 29:698–721, 2013
work page 2013
-
[14]
M. J. Colebank and N. C. Chesler. Efficient uncertainty quantification in a spatially multiscale model of pulmonary arterial and venous hemodynamics. Biomechanics and Modeling in Mechanobiology, 2024
work page 2024
-
[15]
G. Dimarco, L. Liu, L. Pareschi, and X. Zhu. Multi-fidelity methods for uncertainty propagation in kinetic equations. Panoramas et Synth` eses, Soci´ et´ e Math´ ematique de France, to appear, 2024. 23
work page 2024
-
[16]
G. Dimarco and L. Pareschi. Numerical methods for kinetic equations. Acta Numerica, 23:369–520, 2014
work page 2014
-
[17]
G. Dimarco and L. Pareschi. Multi-scale control variate methods for uncertainty quan- tification in kinetic equations. Journal of Computational Physics , 388:63–89, 2019
work page 2019
-
[18]
M. Dumbser and E. F. Toro. A simple extension of the Osher Riemann solver to non- conservative hyperbolic systems. Journal of Scientific Computing , 48:70–88, 2011
work page 2011
-
[19]
J. D¨ urrw¨ achter, A. Beck, and C.-D. Munz. Data-integrated uncertainty quantification for the performance prediction of iced airfoils. Preprint ArXiv, 2023
work page 2023
-
[20]
C. M. Fleeter, G. Geraci, D. E. Schiavazzi, A. M. Kahn, and A. L. Marsden. Multilevel and multifidelity uncertainty quantification for cardiovascular hemodynamics. Computer Methods in Applied Mechanics and Engineering , 365:113030, 2020
work page 2020
-
[21]
H. Gao, X. Zhu, and J. X. Wang. A bi-fidelity surrogate modeling approach for uncer- tainty propagation in three-dimensional hemodynamic simulations. Computer Methods in Applied Mechanics and Engineering , 366:113047, 2020
work page 2020
-
[22]
M. B. Giles. Multilevel Monte Carlo Path Simulation. Operations Research, 56:607–617, 2008
work page 2008
-
[23]
M. J. Grote, S. Michel, and F. Nobile. Uncertainty quantification by Multilevel Monte Carlo and Local Time-Stepping for wave propagation. SIAM/ASA Journal on Uncer- tainty Quantification, 10(4):1601–1628, 2022
work page 2022
- [24]
-
[25]
E. Iacomini and L. Pareschi. Multi-fidelity and multi-level Monte Carlo methods for kinetic models of traffic flow. Preprint ArXiv:2501.15967, 2025
-
[26]
S. Jin. Asymptotic-preserving schemes for multiscale physical problems. Acta Numerica, 31:415–489, 2021
work page 2021
- [27]
- [28]
-
[29]
S. Jin, D. Xiu, and X. Zhu. Asymptotic-preserving methods for hyperbolic and transport equations with random inputs and diffusive scalings. Journal of Computational Physics , 289:35–52, 2015
work page 2015
-
[30]
S. Jin, D. Xiu, and X. Zhu. A well-balanced stochastic Galerkin method for scalar hyper- bolic balance laws with random inputs.Journal of Scientific Computing, 67(3):1198–1218, 2016
work page 2016
- [31]
-
[32]
F. Menhorn, G. Geraci, D. T. Seidl, Y. M. Marzouk, M. S. Eldred, and H.-J. Bungartz. Multilevel Monte Carlo estimators for derivative-free optimization under uncertainty. International Journal for Uncertainty Quantification , 14:21–65, 2024
work page 2024
-
[33]
S. Mishra and C. Schwab. Sparse tensor multi-level monte carlo finite volume methods for hyperbolic conservation laws with random initial data. Mathematics of Computation, 81:1979–2018, 2012
work page 1979
- [34]
-
[35]
M. Motamed. A Multi-Fidelity Neural Network surrogate sampling method for uncer- tainty quantification. International Journal for Uncertainty Quantification , 10:601–626, 2020
work page 2020
-
[36]
M. Motamed and D. Appel¨ o. A MultiOrder Discontinuous Galerkin Monte Carlo method for hyperbolic problems with stochastic parameters. SIAM Journal on Numerical Anal- ysis, 56:448–468, 2018
work page 2018
-
[37]
C. Mouhot and L. Pareschi. Fast algorithms for computing the boltzmann collision operator. Mathematics of Computation , 75:1833–1852, 2006
work page 2006
- [38]
-
[39]
L. Pareschi and G. Russo. Implicit-explicit Runge-Kutta schemes and applications to hyperbolic systems with relaxation. Journal of Scientific Computing , 25:129–155, 2005
work page 2005
-
[40]
L. Pareschi and G. Toscani. Interacting Multiagent Systems, Kinetic Equations And Monte Carlo Methods . Oxford University Press, 2013
work page 2013
-
[41]
L. Pareschi, T. Trimborn, and M. Zanella. Mean-field control variate methods for kinetic equations with uncertainties and applications to socioeconomic sciences. International Journal for Uncertainty Quantification , 12:61–84, 2022
work page 2022
-
[42]
B. Peherstorfer, K. Willcox, and M. Gunzburger. Optimal model management for multifi- delity monte carlo estimation. SIAM Journal on Scientific Computing , 38:A3163–A3194, 2016
work page 2016
-
[43]
B. Peherstorfer, K. Willcox, and M. Gunzburger. Survey of multifidelity methods in uncertainty propagation, inference, and optimization. SIAM Review, 60:550–591, 2018
work page 2018
-
[44]
W. Rudin. Real and complex analysis, 3rd ed. McGraw-Hill, Inc., USA, 1987
work page 1987
- [45]
-
[46]
D. Xiu. Numerical Methods for Stochastic Computations . Princeton University Press, 2010. 25
work page 2010
-
[47]
J. ˇSukys, S. Mishra, and C. Schwab. Multi-level monte carlo finite difference and finite volume methods for stochastic linear hyperbolic systems. In J. Dick, F. Kuo, G. Pe- ters, and I. Sloan, editors, Monte Carlo and Quasi-Monte Carlo Methods 2012. Springer Proceedings in Mathematics & Statistics , volume 65, pages 649–666. Springer, 2013. 26
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.