Uncertainty quantification for stationary and time-dependent PDEs subject to Gevrey regular random domain deformations
Pith reviewed 2026-05-23 02:25 UTC · model grok-4.3
The pith
Randomly shifted lattice QMC rules deliver dimension-independent linear convergence for PDE expectations under Gevrey random domains
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper shows that randomly shifted lattice quasi-Monte Carlo cubature rules achieve dimension-independent, essentially linear convergence rates for the expected solution of Poisson and heat equations when the random domain deformation is modeled by a Gevrey-class random field; the analysis incorporates dimension truncation and finite element errors.
What carries the argument
Randomly shifted lattice quasi-Monte Carlo cubature rules for the expectation integral over the parameter domain of the Gevrey random field
If this is right
- Convergence rates remain dimension-independent for both stationary and time-dependent problems.
- Total error is controlled by summing cubature, truncation, and discretization contributions.
- Theoretical rates are observed in numerical experiments on the model problems.
Where Pith is reading between the lines
- The Gevrey model may cover domain uncertainties arising in applications without a natural finite-parametric form.
- The QMC technique could be extended to other time-dependent or nonlinear PDEs with comparable regularity.
- High-dimensional integration costs may stay manageable for problems requiring many truncation terms.
Load-bearing premise
The random field parameterizing the domain deformation lies in a Gevrey smoothness class.
What would settle it
Numerical computation of the cubature error for increasing dimensions or reduced smoothness showing a breakdown of the linear rate or emergence of dimension dependence.
Figures
read the original abstract
We study uncertainty quantification for partial differential equations subject to domain uncertainty. We parameterize the random domain using the model recently considered by Chernov and Le (2024) as well as Harbrecht, Schmidlin, and Schwab (2024) in which the input random field is assumed to belong to a Gevrey smoothness class. This approach has the advantage of being substantially more general than models which assume a particular parametric representation of the input random field such as a Karhunen-Loeve series expansion. We consider both the Poisson equation as well as the heat equation and design randomly shifted lattice quasi-Monte Carlo (QMC) cubature rules for the computation of the expected solution under domain uncertainty. We show that these QMC rules exhibit dimension-independent, essentially linear cubature convergence rates in this framework. In addition, we complete the error analysis by taking into account the approximation errors incurred by dimension truncation of the random input field and finite element discretization. Numerical experiments are presented to confirm the theoretical rates.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops uncertainty quantification for the Poisson and heat equations on domains deformed by Gevrey-regular random fields (following Chernov-Le and Harbrecht-Schmidlin-Schwab). Randomly shifted lattice QMC rules are constructed for the expectation of the solution; the central claim is that these rules achieve dimension-independent convergence of order O(N^{-1+ε}) once the integrand is shown to lie in a suitable weighted Sobolev space. The analysis is completed by adding dimension-truncation and finite-element discretization errors, with numerical experiments confirming the rates.
Significance. If the regularity-transfer argument holds with d-uniform constants, the result meaningfully extends QMC theory beyond Karhunen-Loève parameterizations to a broader class of domain perturbations while treating both stationary and parabolic problems. The explicit inclusion of all three error sources (QMC, truncation, discretization) is a strength.
major comments (2)
- [§4] §4 (heat-equation analysis) and the proof of the weighted Sobolev norm bound: the argument that the solution map inherits Gevrey regularity with constants independent of truncation dimension d must be verified explicitly. The Duhamel integral or implicit time-stepping may introduce factors that grow with d or the Gevrey index, which would invalidate the claimed d-uniform bound on the mixed first derivatives needed for the QMC rate.
- [Theorem 3.3] Theorem 3.3 (or equivalent statement of the QMC error): the constant C in the O(N^{-1+ε}) bound is asserted to be independent of d, but the proof sketch relies on the input Gevrey assumption without an intermediate lemma showing that the PDE solution operator preserves the required decay |∂^α f(y)| ≤ C ∏ β_j^{α_j} with ∑ β_j < ∞ uniformly in d.
minor comments (2)
- [§2] Notation for the random field mapping (e.g., the precise definition of the Gevrey class and the domain perturbation operator) should be collected in a single preliminary section for readability.
- [§5] Figure captions for the numerical convergence plots should state the observed slopes and the precise values of the Gevrey index and truncation dimension used.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The two major points raised concern the explicit verification of d-uniform Gevrey regularity transfer for the heat equation and the intermediate step establishing d-independent constants in the QMC error bound. Both can be addressed by adding clarifying lemmas and expanded proof details without altering the main claims.
read point-by-point responses
-
Referee: [§4] §4 (heat-equation analysis) and the proof of the weighted Sobolev norm bound: the argument that the solution map inherits Gevrey regularity with constants independent of truncation dimension d must be verified explicitly. The Duhamel integral or implicit time-stepping may introduce factors that grow with d or the Gevrey index, which would invalidate the claimed d-uniform bound on the mixed first derivatives needed for the QMC rate.
Authors: We agree that the transfer of Gevrey regularity through the heat-equation solution operator requires an explicit intermediate statement. In the revision we will insert a new Lemma 4.3 that bounds the mixed derivatives of the solution via the Duhamel formula, using the fact that the Gevrey class is closed under the relevant time integrals and that the constants remain uniform in the truncation dimension d because the underlying domain-deformation regularity assumption is itself d-uniform. For the implicit Euler discretization we add a short paragraph showing that the stability constants are independent of d by the same Gevrey decay. These additions make the d-uniformity fully rigorous while leaving the overall convergence statement unchanged. revision: yes
-
Referee: [Theorem 3.3] Theorem 3.3 (or equivalent statement of the QMC error): the constant C in the O(N^{-1+ε}) bound is asserted to be independent of d, but the proof sketch relies on the input Gevrey assumption without an intermediate lemma showing that the PDE solution operator preserves the required decay |∂^α f(y)| ≤ C ∏ β_j^{α_j} with ∑ β_j < ∞ uniformly in d.
Authors: The referee correctly identifies that the passage from the Gevrey assumption on the domain deformation to the weighted Sobolev regularity of the integrand is only sketched. We will add Lemma 3.5 (placed immediately before Theorem 3.3) that derives the precise decay |∂^α u(y)| ≤ C ∏ β_j^{α_j} with ∑ β_j < ∞ and C independent of d, by applying the chain rule to the solution map and invoking the already-established Gevrey bounds on the domain map. This lemma directly supplies the hypothesis needed for the QMC error estimate, confirming that the constant in Theorem 3.3 is indeed d-independent. revision: yes
Circularity Check
No significant circularity; derivation relies on external Gevrey model and standard QMC analysis
full rationale
The paper adopts its core Gevrey regularity assumption on the random domain deformation directly from two external 2024 references whose author lists do not overlap with the present team. The claimed dimension-independent QMC rates are asserted to follow from this imported model plus standard weighted Sobolev-space QMC theory applied to the PDE solution map; the abstract and provided text give no equations or steps in which a fitted parameter, self-defined quantity, or self-citation chain is renamed as a prediction. Truncation and FE errors are treated separately. Because every load-bearing modeling choice is externally sourced and no internal reduction of the target convergence statement to its own inputs is exhibited, the derivation chain remains non-circular.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Random domain deformations are parameterized by a Gevrey-regular random field as in Chernov-Le (2024) and Harbrecht et al. (2024).
Forward citations
Cited by 3 Pith papers
-
Transcoders Trace Visual Grounding and Hallucinations in Vision-Language Models
Transcoders decompose MLP layers in Gemma 3-4B-IT to trace visual grounding more effectively than SAEs and predict hallucinations from circuit graph features at AUC 0.68.
-
Neural Shape Operator Surrogates -- Expression Rate Bounds
Neural and spectral operators can approximate shape-to-solution maps for families of elliptic and parabolic PDEs and BIEs with provable uniform error bounds derived from parametric holomorphy on a reference domain.
-
The Root Theorem of Context Engineering
The Root Theorem states that context engineering is governed by maximizing signal-to-token ratio inside finite, lossy channels, which forces homeostatic architectures of accumulate-compress-rewrite-shed and external v...
Reference graph
Works this paper leans on
-
[1]
Castrill´ on-Cand´ as, J.E., Nobile, F., Tempone, R.F.: Analytic regularity and collocation approximation for elliptic PDEs with random domain deforma tions. Comput. Math. Appl. 71(6), 1173–1197 (2016)
work page 2016
-
[2]
Castrill´ on-Cand´ as, J.E., Xu, J.: A stochastic colloca tion approach for parabolic PDEs with random domain deformations. Comput. Math. Appl. 93, 32–49 (2021)
work page 2021
-
[3]
Chernov, A., Lˆ e, T.: Analytic and Gevrey class regularit y for parametric elliptic eigen- value problems and applications. SIAM J. Numer. Anal. 4(62), 1874–1900 (2024)
work page 1900
-
[4]
Chernov, A., Lˆ e, T.: Analytic and Gevrey class regularit y for parametric semilinear reaction-diffusion problems and applications in uncertain ty quantification. Comput. Math. Appl. 164, 116–130 (2024)
work page 2024
-
[5]
Church, L., Djurdjevac, A., Elliot, C.M.: A domain mappin g approach for elliptic equa- tions posed on random bulk and surface domains. Numer. Math. 146, 1–49 (2020)
work page 2020
-
[6]
Cohen, A., DeVore, R., Schwab, C.: Convergence rates of be st N -term Galerkin approx- imations for a class of elliptic sPDEs. Found. Comput. Math. 10, 615–646 (2010)
work page 2010
-
[7]
Cools, R., Kuo, F.Y., Nuyens, D.: Constructing embedded l attice rules for multivariate integration. SIAM J. Sci. Comput. 28, 2162–2188 (2006)
work page 2006
-
[8]
Corrado, C., Roney, C.H., Razeghi, O., Lemus, J.A.S., Cov eney, S., Sim, I., Williams, S.E., O’Neill, M.D., Wilkinson, R.D., Clayton, R.H., Niede rer, S.A.: Quantifying the impact of shape uncertainty on predicted arrhythmias. Comp ut. Biol. Med. 153, 106528 (2023)
work page 2023
-
[9]
Dick, J., Kritzer, P., Pillichshammer, F.: Lattice Rules : Numerical Integration, Approx- imation, and Discrepancy. Springer (2022)
work page 2022
-
[10]
Dick, J., Kuo, F.Y., Sloan, I.H.: High-dimensional inte gration: the quasi-Monte Carlo way. Acta Numer. 22, 133–288 (2013)
work page 2013
-
[11]
Djurdjevac, A.: Linear parabolic problems in random mov ing domains. SIAM/ASA J. Uncertain. Quantif. 9(2), 848–879 (2021)
work page 2021
-
[12]
D¨ olz, J., Harbrecht, H., Jerez-Hanckes, C., Multerer,M.: Isogeometric multilevel quadra- ture for forward and inverse random acoustic scattering. Co mput. Methods Appl. Mech. Engrg. 388, 114242 (2022)
work page 2022
-
[13]
Ern, A., Guermond, J.L.: Finite Elements III: First-Ord er and Time-Dependent PDEs. Springer (2021)
work page 2021
-
[14]
American Mathematical Soci- ety, Providence, Rhode Island (2010)
Evans, L.C.: Partial Differential Equations, second edn . American Mathematical Soci- ety, Providence, Rhode Island (2010)
work page 2010
-
[15]
Graham, I.G., Kuo, F.Y., Nichols, J.A., Scheichl, R., Sc hwab, C., Sloan, I.H.: Quasi- Monte Carlo finite element methods for elliptic PDEs with log normal random coeffi- cients. Numer. Math. 131(2), 329–368 (2015)
work page 2015
-
[16]
Graham, I.G., Kuo, F.Y., Nuyens, D., Scheichl, R., Sloan , I.H.: Quasi-Monte Carlo methods for elliptic PDEs with random coefficients and applic ations. J. Comput. Phys. 230(10), 3668–3694 (2011)
work page 2011
-
[17]
Guth, P., Kaarnioja, V.: Generalized dimension truncat ion error analysis for high- dimensional numerical integration: lognormal setting and beyond. SIAM J. Numer. Anal. 62(2), 872–892 (2024)
work page 2024
-
[18]
Hakula, H., Harbrecht, H., Kaarnioja, V., Kuo, F.Y., Slo an, I.H.: Uncertainty quan- tification for random domains using periodic random variabl es. Numer. Math. 156, 273–317 (2024)
work page 2024
-
[19]
Harbrecht, H., Peters, M., Siebenmorgen, M.: Analysis o f the domain mapping method for elliptic diffusion problems on random domains. Numer. Ma th. 134(4), 823–856 (2016)
work page 2016
-
[20]
Harbrecht, H., Schmidlin, M., Schwab, C.: The Gevrey cla ss implicit mapping theorem with application to UQ of semilinear elliptic PDEs. Math. Mo dels Methods Appl. Sci. 34(5), 881–917 (2024)
work page 2024
-
[21]
Harbrecht, H., Schneider, R., Schwab, C.: Sparse second moment analysis for elliptic problems in stochastic domains. Numer. Math. 109(3), 385–414 (2008)
work page 2008
-
[22]
Hardy, G.H., Littlewood, J.E., P´ olya, G.: Inequalitie s. Cambridge University Press, Cambridge, UK (1934) Uncertainty quantification for Gevrey regular random domai n deformations 39
work page 1934
-
[23]
Herrmann, L., Schwab, C.: QMC integration for lognormal -parametric, elliptic PDEs: local supports and product weights. Numer. Math. 141(1), 63–102 (2019)
work page 2019
-
[24]
Hiptmair, R., Scarabosio, L., Schillings, C., Schwab, C .: Large deformation shape un- certainty quantification in acoustic scattering. Adv. Comp ut. Math. 44, 1475–1518 (2018)
work page 2018
-
[25]
Preprint arXiv:2405 .03529 [math.NA] (2024)
Kaarnioja, V., Schillings, C.: Quasi-Monte Carlo for Ba yesian design of experiment problems governed by parametric PDEs. Preprint arXiv:2405 .03529 [math.NA] (2024)
work page 2024
-
[26]
Kunoth, A., Schwab, C.: Analytic regularity and GPC appr oximation for control prob- lems constrained by linear parametric elliptic and parabol ic PDEs. SIAM J. Control. Optim. 51(3), 2442–2471 (2013)
work page 2013
-
[27]
https://people.cs.kuleuven.be/~dirk.nuyens/qmc4pde/
Kuo, F.Y., Nuyens, D.: QMC4PDE software. https://people.cs.kuleuven.be/~dirk.nuyens/qmc4pde/
-
[28]
Kuo, F.Y., Nuyens, D.: Application of quasi-Monte Carlo methods to elliptic PDEs with random diffusion coefficients: a survey of analysis and implem entation. Found. Comput. Math. 16, 1631–1696 (2016)
work page 2016
-
[29]
Kuo, F.Y., Nuyens, D.: Application of quasi-Monte Carlo methods to PDEs with random coefficients – an overview and tutorial. In: A.B. Owen, P.W. Gl ynn (eds.) Monte Carlo and Quasi-Monte Carlo Methods 2016, pp. 53–71. Stanford, CA , August 14–19 (2018)
work page 2016
-
[30]
Kuo, F.Y., Schwab, C., Sloan, I.H.: Quasi-Monte Carlo fin ite element methods for a class of elliptic partial differential equations with rando m coefficients. SIAM J. Numer. Anal. 50(6), 3351–3374 (2012)
work page 2012
-
[31]
Wiley & Sons Ltd, Hoboken, New Jersey (2019)
Magnus, J.R., Neudecker, H.: Matrix Differential Calcul us with Applications in Statis- tics and Econometrics, third edn. Wiley & Sons Ltd, Hoboken, New Jersey (2019)
work page 2019
-
[32]
Meidner, D., Vexler, B.: A priori error estimates for spa ce-time finite element discretiza- tion of parabolic optimal control problems part I: problems without control constraints. SIAM J. Control Optim. 47(3), 1150–1177 (2008)
work page 2008
-
[33]
Nuyens, D., Cools, R.: Fast algorithms for component-by -component construction of rank-1 lattice rules in shift-invariant reproducing kerne l Hilbert spaces. Math. Comp. 75, 903–920 (2006)
work page 2006
-
[34]
Petkovˇ sek, M., Wilf, H.S., Zeilberger, D.: A = B. CRC Press (1996)
work page 1996
-
[35]
Quaintance, J., Gould, H.W.: Combinatorial Identities for Stirling Numbers: The Un- published Notes of H. W. Gould. W orld Scientific Publishing C ompany, River Edge, NJ (2015)
work page 2015
-
[36]
Savits, T.H.: Some statistical applications of Faa di Br uno. J. Multivariate Anal. 97(10), 2131–2140 (2006)
work page 2006
-
[37]
Schwab, C., Stevenson, R.: Space-time adaptive wavelet methods for parabolic evolution problems. Math. Comp. 78(267), 1293–1318 (2009)
work page 2009
-
[38]
CIRP An nals 66(1), 281–284 (2017)
Tekkaya, A.E., Ben Khalifa, N., Hering, O., Meya, R., Mys licki, S., W alther, F.: Forming- induced damage and its effects on product properties. CIRP An nals 66(1), 281–284 (2017)
work page 2017
-
[39]
Xiu, D., Tartakovsky, D.M.: Numerical methods for differ ential equations in random domains. SIAM J. Sci. Comput. 28(3), 1167–1185 (2006)
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.