基于哈尔小波的Bansal-Jiang拟蒙特卡罗算法的更简单分析

中文摘要 AI 辅助

数值积分——通过n个点的函数值计算来近似函数f的积分——是科学与工程领域的核心任务。该问题的两种主要范式，蒙特卡罗（MC）方法与拟蒙特卡罗（QMC）方法，各有优劣，而一个基本问题是设计一种能结合两者优势的方法。依托偏差理论的最新算法进展，Bansal和Jiang在文献[BJ25a]中提出了一种随机QMC方法，它自然衔接了MC与QMC的误差保证。该方法还较QMC方法的经典Koksma-Hlawka不等式取得了惊人改进：它达到了误差界\\(\widetilde{O}(\sigma_{\mathsf{SO}}(f)/n)\\)，其中\\(\sigma_{\mathsf{SO}}(f)\\)是他们提出的一种新型“平滑变异”概念，且该概念被证明远小于支配经典误差界的Hardy-Krause变异。然而，文献[BJ25a]中的分析相当复杂：它必须仔细利用二进分解的结构，以及算法在Hlawka-Zaremba公式足够精细离散化内的随机性，以实现函数f的傅里叶分解中高频分量的抵消。本文的贡献有二：(1) 我们根据f的哈尔-贝索半范数给出了\\(\sigma_{\mathsf{SO}}(f)\\)的等价表征，将这种新型平滑变异概念与经典量联系起来；(2) 通过该表征，我们借助哈尔分解对Bansal-Jiang QMC方法提供了一种概念上更简单、更直接的分析，绕过了文献[BJ25a]中大量利用二进分解结构的Hlawka-Zaremba公式、傅里叶分解及精细抵消论证。

英文摘要

Numerical integration---approximating the integral of a function $f$ using $n$ point evaluations---is a central task in science and engineering. The two main paradigms for this problem, the Monte Carlo and quasi-Monte Carlo methods, have distinct strengths and limitations, and a fundamental question is to design a method that combines the benefits of both. \smallskip Building on recent algorithmic advances in discrepancy theory, Bansal and Jiang \cite{BJ25a} gave a randomized QMC method that naturally bridges the MC and QMC error guarantees. Their method also achieves a surprising improvement over the classical Koksma--Hlawka inequality for QMC methods: it attains an error bound of $\widetilde{O}(σ_{\mathsf{SO}}(f)/n)$, where $σ_{\mathsf{SO}}(f)$ is a new notion of \emph{smoothed-out variation} that they introduced and showed to be substantially smaller than the Hardy--Krause variation governing the classical bound. \smallskip However, the analysis in \cite{BJ25a} is quite involved: it must carefully exploit the structure of the dyadic decomposition and the randomness of the algorithm inside a sufficiently fine discretization of the Hlawka--Zaremba formula to obtain cancellations among the high-frequency components in the Fourier decomposition of $f$. The contribution of this article is twofold: (1) We give an equivalent characterization of $σ_{\mathsf{SO}}(f)$ in terms of the Haar--Besov seminorm of $f$, relating this new notion of smoothed-out variation to classical quantities. (2) Through this characterization, we provide a conceptually simpler and more direct analysis of the Bansal--Jiang QMC method via Haar decomposition, bypassing the use of the Hlawka--Zaremba formula, Fourier decomposition, and the delicate cancellation arguments of \cite{BJ25a} that heavily exploit the structure of dyadic decomposition.

发表机构

• University of Chicago（芝加哥大学）

机构由 AI 辅助整理，请以论文原文为准。