Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for proving and discovering convergence acceleration formulas. This paper presents a structural description of all possible rational such forms, which can be viewed as an additive analog of the classical Ore-Sato theorem. Based on this analog, we show a structural decomposition of so-called multivariate hyperarithmetic expressions, which extend multivariate hypergeometric terms to the additive setting. (c) 2025 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http:// creativecommons.org/licenses/by/4.0/).
In uncertainty quantification for parametric partial differential equations (PDEs), it is common to model uncertain random field inputs using countably infinite sequences of independent and identically distributed random variables. The lognormal random field is a prime example of such a model. While there have been many studies assessing the error in the PDE response that occurs when an infinite-dimensional random field input is replaced with a finite-dimensional random field, there do not seem to be any analyses in the existing literature discussing the sharpness of these bounds. This work seeks to remedy the situation. Specifically, we investigate two model problems where the existing dimension truncation error rates can be shown to be sharp.
