arXiv Science⌕ Search

arXiv subjects

Josef Dick

Publications and source records attributed to Josef Dick.

At least 19 recordsLinked to original sources
arXiv2026

Spherical Cap $L_2$ Discrepancy -- Blessing of Dimensionality and a Distance-Kernel Variant

We prove a dimension-explicit upper bound for the information-complexity (also called the inverse of the discrepancy) of the classical spherical cap $L_2$ discrepancy on the $d$-dimensional sphere $\mathbb{S}^d$. For every fixed $\varepsilon\in(0,1)$, this bound implies that a single point suffices in all sufficiently large dimensions, which shows a ``blessing of dimensionality'' for the associated numerical integration problem. We then introduce a one-parameter family of distance reproducing kernels for the Sobolev space $H^{(d+1)/2}(\mathbb{S}^d)$. For the balanced kernel $K(\boldsymbol{x},\boldsymbol{y})=1-\tfrac{1}{\sqrt{2}}\|\boldsymbol{x}-\boldsymbol{y}\|$, a lower bound together with a random-point upper bound shows that the normalized information-complexity is $Θ_\varepsilon(d)$ for every fixed $\varepsilon\in(0,1)$. Thus its dependence on $d$ is determined up to constants depending only on $\varepsilon$. Finally, we study the one-sided spherical cap discrepancy obtained by restricting the height parameter to $[0,1]$. We derive its kernel and Stolarsky's invariance principle explicitly. A sharp mean-distance inequality, attained by regular simplices, determines its normalized information-complexity exactly in all sufficiently large dimensions and proves strong polynomial tractability with optimal $\varepsilon$-exponent two.

math.NA↗
arXiv2026

Randomly shifted lattice rules for SDEs with constant diffusion: error bounds uniform in time discretization and dimension

We study randomly shifted rank-1 lattice rules for computing $\mathbb{E}[g(\mathbf{X}_T)]$, where $\mathbf{X}_T$ is the terminal state of a stochastic differential equation (SDE) with constant diffusion matrix. Discretizing the SDE by the Euler--Maruyama scheme with $m$ uniform time steps turns the expectation into an integral whose dimension grows with $m$ and whose integrand has a nested composition structure; both complicate the lattice rule error analysis. We generate the Brownian path by the Brownian bridge construction and handle the nested structure using the multivariate Faà di Bruno formula and a rooted-tree expansion. Under suitable regularity and growth conditions, we prove that an $N$-point randomly shifted lattice rule with a uniformly random generating vector achieves a mean absolute sampling error of $O(N^{-1+\varepsilon})$ for every $\varepsilon\in(0,1/2)$ and every prime $N$, with the implied constant independent of $m$. To improve stability and control higher error moments, the median lattice estimator is used. The estimator takes the median of $R=2k-1$ independent lattice estimates and achieves an $L^q$ error of $O(N^{-1+\varepsilon})$ for every $1\le q<k/(1-\varepsilon)$. We further establish error bounds independent of both the state dimension and the Brownian path dimension under an additional summability condition on the columns of the diffusion matrix. Numerical experiments show that median lattice estimators converge faster than Monte Carlo estimators and remain stable as the number of time steps $m$ grows. For models satisfying the additional summability condition, stability is also observed as the state and Brownian path dimensions increase.

math.NA↗
arXiv2026

Worst-case $L_p$-approximation of periodic functions using median lattice algorithms

We study the worst-case approximation of multivariate periodic functions from the weighted Korobov space $H_{d,α,\boldsymbolγ}$ with smoothness $α>1/2$ and weights $\boldsymbolγ$ in the Lebesgue norm $L_p([0,1]^d)$ for $1\le p\le\infty$. We analyze a \emph{median lattice algorithm} that reconstructs a truncated Fourier series by approximating the coefficients on a hyperbolic-cross-type index set using $R$ rank-1 lattice sampling rules with independent randomly chosen generating vectors, and then aggregating the resulting coefficient estimators via the componentwise median. For an odd number of repetitions $R$ and an odd prime lattice size $N$, where $R$ depends logarithmically on $N$, we prove high-probability error bounds in both $L_\infty$ and $L_2$. Interpolation then yields the result for all $ p \in [1,\infty]$. In particular, with high probability, the worst-case $L_p$-error satisfies, for any $β>0$, an upper bound of the following form \[ \ C_{d,α,β,\boldsymbolγ,τ,p}\,R^{\frac{1}{2}+(\frac12 - \frac1p)_+} N^{- α+ (\frac12 - \frac1p)_+ + β}, \] where $(x)_+ = \max\{x, 0\}$, and the constant $C_{d,α,β,\boldsymbolγ,τ,p}$ is independent of $N$ and $R$. For $p=\infty$, $C_{d,α,β,\boldsymbolγ,τ,\infty}$ is dimension-independent under the summability condition $\sum_{j=1}^\infty γ_j^{1/(2α)}<\infty$. These results extend recent analyses of median-based lattice approximation in $L_2$ and complement related multiple-shift lattice approaches, showing that median aggregation yields nearly optimal $L_p$-approximation rates (up to logarithmic factors and an arbitrarily small loss) in weighted Korobov spaces.

math.NA↗
arXiv2026

Fixed-Horizon Error Rates for Array-RQMC Metropolis-Hastings

This paper studies randomised quasi-Monte Carlo (RQMC) methods for Metropolis--Hastings (MH) algorithms, whose accept--reject discontinuity complicates RQMC analysis. To circumvent some of these complications, we study Array-RQMC for MH, with $N$ replicated chains evolved over a fixed time horizon $T$, where we make use of Hilbert sorting for joint multidimensional updates at each step. For one-dimensional MH and bounded-variation test functions, we prove a sampling mean squared error bound of $\mathcal O_T(N^{-4/3})$ relative to the finite-horizon expectation. For product targets, coordinatewise Array-RQMC Metropolis-within-Gibbs retains this exponent for additive marginal bounded-variation tests, with constants that may depend on dimension. With Gaussian random-walk proposals, the bounds extend to scalar and additive marginal polynomials with an additional factor $(\log N)^\ell$, where $\ell$ is the maximum polynomial degree. For joint updates in state dimension $p$ using $p$ proposal uniforms, we provide a conditional $\mathcal O_T(N^{-1-1/(p+2)})$ framework under regularity assumptions that are not verified for the joint multidimensional examples. Numerical experiments support the verified one-dimensional theory and demonstrate variance reduction for joint Hilbert-sorted updates, including Bayesian logistic regression, while illustrating the limitations of these gains as dimension increases.

stat.ME↗
arXiv2026

Optimal Polynomial Tractability Exponents for the Inverse Star Discrepancy

The inverse of the star discrepancy $n^\ast(d, \varepsilon)$ satisfies \[ d \varepsilon^{-1} \lesssim n^{\ast}(d,\varepsilon)\lesssim d\varepsilon^{-2} \] for all $d \in \mathbb{N}$ and $0 < \varepsilon < \varepsilon_0$. The upper bound was established by Heinrich, Novak, Wasilkowski and Woźniakowski (2001), while the lower bound is due to Hinrichs (2004). Steinerberger (2023) subsequently gave an elementary proof of the latter result. These bounds imply that the inverse of the star discrepancy depends linearly on the dimension, but the exact exponent of $\varepsilon^{-1}$ had remained open. In this paper we prove a lower bound which shows that the exponent $2$ of $\varepsilon^{-1}$ in the upper bound cannot be improved. More precisely, for every $0<α<1$ and fixed $0 0$ and $\varepsilon_{α,A}>0$ such that, for every $0<\varepsilon<\varepsilon_{α,A}$ and every integer $d$ satisfying \[ A\varepsilon^{-α}\le d\le B\varepsilon^{-α}, \] one has \[ n^\ast(d,\varepsilon) \ge c_{α,B}\,d\,\varepsilon^{-(2-α)}. \] Along these polynomial strips the right-hand side is of order $\varepsilon^{-2}$. Consequently, every uniform polynomial upper estimate $n^{\ast}(d,\varepsilon)\le C d^q\varepsilon^{-p}$ must satisfy $p\ge2$. Together with the lower bound of Hinrichs (2004), which forces $q\ge1$, this proves that the exponents $p=2$ and $q=1$ in the Heinrich--Novak--Wasilkowski--Woźniakowski upper bound are individually optimal. In particular, the optimal exponent $p^\ast = 2$.

math.NA↗
arXiv2026

The $L\log L$-Luxemburg Discrepancy for Nonnegative Weights Suffers from the Curse of Dimensionality

We study the normalized discrepancy in the Luxemburg norm generated by $Φ(s)=s\log(1+s)$. For arbitrary nonnegative quadrature weights, we prove that the associated information complexity suffers from the curse of dimensionality: for every $\varepsilon\in(0,1)$, there exist constants $c_\varepsilon>0$ and $d_0=d_0(\varepsilon)\in\mathbb{N}$ such that \[N_{Φ,+}(\varepsilon,d)\ge c_{\varepsilon} d^{-1}(1.07735\ldots)^d \qquad \mbox{for all } d\ge d_0. \] The result therefore also applies to equal-weight quasi-Monte Carlo rules.

math.NA↗
arXiv2026

The curse of dimensionality for geometric $L_1$-discrepancies with nonnegative weights

We prove that the normalized star, extreme, and periodic $L_1$-discrepancies with arbitrary nonnegative weights suffer from the curse of dimensionality. A single elementary lemma is used in all three cases: after normalizing the target and every one-dimensional kernel to probability densities, a uniform square-root-affinity gap tensorizes over the coordinates. For every $d\in \mathbb{N}$ and $0<\varepsilon<1$, the normalized information complexities have lower bounds of the form \[ \frac{(1-\varepsilon)^2}{1+\varepsilon}\,q^d, \] with \[ q_{\mathrm{star}}=\frac12+\frac1{\sqrt3},\qquad q_{\mathrm{ext}}=\frac{75(9+4\sqrt2)}{784},\qquad q_{\mathrm{per}}=\frac{25}{16}. \] All three constants are larger than one. The argument uses only nonnegativity, product integration, the elementary inequalities for the square root, and Cauchy--Schwarz.

math.NA↗
arXiv2026

High Probability Derivative Bounds for Random tanh Neural Networks on a Hypercube

We establish high-probability bounds for mixed input derivatives of wide random neural networks whose activation derivatives satisfy a factorial growth bound. Our main result specializes these estimates to $\tanh$ networks with Xavier initialization. A direct deterministic analysis based on Euclidean operator norms of the weight matrices yields derivative bounds that generally grow exponentially with the depth. We show that this growth can be substantially improved for sufficiently wide Gaussian networks by isolating the term that is linear in the highest-order derivative and controlling the corresponding tangent directions by measurable finite nets. For scalar-output $\tanh$ networks with Gaussian weights and Xavier initialization, we prove that there exist constants $C,C_0,C_1>0$ such that, whenever the common hidden width satisfies $n \geq C\left(L^3n_0^2(1+\log n_0)+L^2\left(1+\log(L/η)\right)\right)$, then, with probability at least $1-η$, the estimate $\left|D^u\mathcal{R}_{Φ^{(L)}}(x)\right| \leq C_0 |u|! (C_1L)^{|u|-1}\prod_{j\in u}β_j(η,n_0)$ holds simultaneously for every non-empty $u\subseteq[n_0]$ and every $x\in[0,1]^{n_0}$. Thus, the first-order derivative bound is independent of the depth, while a square-free mixed derivative of order $|u|$ grows at most polynomially as $L^{|u|-1}$, apart from the coordinate factors. As consequences, we obtain high-probability bounds for the Euclidean Lipschitz constant and for weighted Sobolev norms of the network realization. The latter connect the derivative estimates to quasi-Monte Carlo integration and indicate how such regularity can enter the analysis of QMC-based training.

cs.LG↗
arXiv2026

Erratum to "Higher order scrambled digital nets achieve the optimal rate of the root mean square error for smooth integrands"

This note corrects several statements and proof steps in J.~Dick, \emph{Annals of Statistics} \textbf{39} (2011), 1372--1398, DOI: 10.1214/11-AOS880, arXiv:1007.0842 v4. The principal smooth-function result remains valid: an order-$d$ nested-uniformly scrambled digital $(t,m,ds)$-net has root mean square integration error $O(N^{-\min(α,d)-1/2+\varepsilon})$ for every $\varepsilon>0$ for functions in the unanchored Sobolev space with square-integrable mixed partial derivatives up to order $α$ in each variable. The finite-difference variation introduced in the paper neither coincides with the displayed Sobolev norm nor directly controls the finite differences used in Appendix~B; the claimed theorem for that variation is therefore withdrawn here. In addition, the variance bound in Theorem~10 is missing a square, and the proof for $d>α$ does not prove the logarithmic power printed in the theorem. We give a direct Sobolev proof, and a corrected logarithmic factor.

math.NA↗
arXiv2026

A lattice algorithm with multiple shifts for function approximation in Korobov spaces

In this paper, we propose a novel algorithm for function approximation in a weighted Korobov space based on shifted rank-1 lattice rules. To mitigate aliasing errors inherent in lattice-based Fourier coefficient estimation, we employ $\mathcal{O}((\log N)^{2d-1})$ shifted copies of a single rank-1 lattice and recover each Fourier coefficient via a least-squares procedure. Writing $p$ for the total number of function evaluations, we show that the resulting approximation achieves the optimal convergence rate for the $L_{\infty}$-approximation error in the worst-case setting, namely $\mathcal{O}(p^{-α+1/2+\varepsilon})$ for arbitrarily small $\varepsilon>0$. Moreover, by incorporating random shifts, the algorithm attains the optimal rate for the $L_{2}$-approximation error in the randomized setting, which is $\mathcal{O}(p^{-α+\varepsilon})$. Numerical experiments illustrate the practical performance of the algorithms and the qualitative behavior predicted by the theoretical analysis.

math.NA↗
arXiv2026

A deterministic multiple-shift lattice algorithm for function approximation in Korobov and half-period Cosine spaces

Approximating multivariate periodic functions in weighted Korobov spaces via rank-1 lattices is fundamentally limited by frequency aliasing. Existing optimal-rate methods rely on randomized constructions or large pre-computations. We propose a fully deterministic multiple-shift lattice algorithm without pre-computation. First, we develop a simplified multiple shift framework for aliased frequency fibers that reduces sampling costs. Second, leveraging the Chinese Remainder Theorem and the Weil bound, we introduce an adaptive hybrid construction that algebraically guarantees the full rank and bounded condition number of the reconstruction matrix. We rigorously prove that this deterministic method maintains the optimal convergence rate in the worst-case setting. Furthermore, we extend this framework to non-periodic, half-period cosine spaces via the tent transformation. By establishing a strict projection equivalence, we prove that the algorithm attains optimal $L_2$ and $L_\infty$ approximation orders in the half-period cosine space, successfully resolving an open theoretical problem posed by Suryanarayana et al. (2016). This mathematically also validates the proposed algorithm as a generic meshless spectral solver for high-dimensional boundary value problems, such as the Poisson equation with Neumann conditions. Numerical experiments corroborate the theoretical bounds, demonstrating an order-of-magnitude reduction in sampling complexity over probabilistic baselines while ensuring absolute deterministic stability.

math.NA↗
arXiv2026

The star discrepancy of a union of randomly digitally shifted Korobov polynomial lattice point sets depends polynomially on the dimension

The star discrepancy is a quantitative measure of the uniformity of a point set in the unit cube. A central quantity of interest is the inverse of the star discrepancy, $N(\varepsilon, s)$, defined as the minimum number of points required to achieve a star discrepancy of at most~$\varepsilon$ in dimension~$s$. It is known that $N(\varepsilon, s)$ depends only linearly on the dimension~$s$. All known proofs of this result are non-constructive. Finding explicit point set constructions that achieve this optimal linear dependence on the dimension remains a major open problem. In this paper, we make progress on this question by analyzing point sets constructed from a multiset union of digitally shifted Korobov polynomial lattice point sets. Specifically, we show the following two results. A union of randomly generated Korobov polynomial lattice point sets shifted by a random digital shift of depth $m$ can achieve a star discrepancy whose inverse depends only linearly on $s$. The second result shows that a union of all Korobov polynomial lattice point sets, each shifted by a different random digital shift, achieves the same star discrepancy bound. While our proof relies on a concentration result (Bennett's inequality) and is therefore non-constructive, it significantly reduces the search space for such point sets from a continuum of possibilities to a finite set of candidates, marking a step towards a fully explicit construction.

math.NA↗
arXiv2026

On the quasi-uniformity properties of quasi-Monte Carlo point sets and sequences -- Part II: digital nets and sequences

We study the quasi-uniformity properties of digital nets, a class of quasi-Monte Carlo point sets. Quasi-uniformity is a space-filling property used for instance in experimental designs and radial basis function approximation. However, it has not been investigated so far whether common low-discrepancy digital nets are quasi-uniform, with the exception of the two-dimensional Sobol' sequence, which has recently been shown not to be quasi-uniform. In this paper, with the goal of constructing quasi-uniform low-discrepancy digital nets, we introduce the notion of well-separated point sets and provide an algebraic criterion to determine whether a given sequence of digital nets is well-separated. Using this criterion, we present an example of a two-dimensional digital net which has low-discrepancy and is quasi-uniform. Additionally, we provide several counterexamples of low-discrepancy digital nets that are not quasi-uniform.

math.NT↗
arXiv2026

On the quasi-uniformity properties of quasi-Monte Carlo point sets and sequences -- Part I: Lattices and Kronecker sequences

The discrepancy of a point set quantifies how well the points are distributed, with low-discrepancy point sets demonstrating exceptional uniform distribution properties. Such sets are integral to quasi-Monte Carlo methods, which approximate integrals over the unit cube for integrands of bounded variation. In contrast, quasi-uniform point sets are characterized by optimal separation and covering radii, making them well-suited for applications such as radial basis function approximation. This paper explores the quasi-uniformity properties of quasi-Monte Carlo point sets constructed from lattices and also Kronecker sequences. Specifically, we analyze rank-1 lattice point sets, Fibonacci lattice point sets, Frolov point sets, and Kronecker sequences (also referred to as $(n \boldsymbolα)$-sequences), providing insights into their potential for use in applications that require both low-discrepancy and quasi-uniform distribution. As an example, we show that the $(n \boldsymbolα)$-sequence with $α_j = 2^{j/(d+1)}$ for $j \in \{1, 2, \ldots, d\}$ is quasi-uniform and has low-discrepancy. The quasi-uniformity properties of quasi-Monte Carlo digital nets and sequences will be studied in a companion paper.

math.NT↗
arXiv2026

A median QMC method for unbounded integrands over $\mathbb{R}^{s}$ in weighted unanchored Sobolev spaces

This paper investigates quasi-Monte Carlo (QMC) integration of Lebesgue integrable functions with respect to a density function over $\mathbb{R}^s$. We extend the construction-free median QMC rule proposed by Goda and L'ecuyer (SIAM J. Sci. Comput., 2022) to the weighted unanchored Sobolev space of functions defined over $\mathbb{R}^s$ introduced by Nichols and Kuo (J. Complexity, 2014). By taking the median of $k = \mathcal{O}(\log N)$ independent randomized QMC estimators, we prove that for any $ε\in (0,r-\frac{1}{2}]$, our method achieves a mean absolute error bound of $\mathcal{O}(N^{-r+ε})$, where $N$ is the number of points and $r>\frac{1}{2}$ is a parameter determined by the function space. This rate matches the rate of randomly shifted lattice rules obtained via a component-by-component (CBC) construction, while our approach requires no specific CBC constructions or prior knowledge of the space's weight structure. Numerical experiments demonstrate that our method attains an accuracy comparable to the CBC construction based method, and outperforms the Monte Carlo method.

math.NA↗
arXiv2026

The inverse of the star discrepancy of a union of randomly shifted Korobov rank-1 lattice point sets depends polynomially on the dimension

The inverse of the star discrepancy, $N(ε, s)$, defined as the minimum number of points required to achieve a star discrepancy of at most $ε$ in dimension $s$, is known to depend linearly on $s$. However, explicit constructions achieving this optimal linear dependence remain elusive. Recently, Dick and Pillichshammer (2025) made significant progress by showing that a multiset union of randomly digitally shifted Korobov polynomial lattice point sets almost achieve the optimal dimension dependence with high probability. In this paper, we investigate the analog of this result in the setting of classical integer arithmetic using Fourier analysis. We analyze point sets constructed as multiset unions of Korobov rank-1 lattice point sets modulo a prime $N$. We provide a comprehensive analysis covering four distinct construction scenarios, combining either random or fixed integer generators with either continuous torus shifts or discrete grid shifts. We prove that in all four cases, the star discrepancy is bounded by a term of order $O(s \log(N_{tot}) / \sqrt{N_{tot}})$ with high probability, where $N_{tot}$ is the total number of points. This implies that the inverse of the star discrepancy for these structured sets depends quadratically on the dimension $s$. While the proofs are probabilistic, our results significantly reduce the search space for optimal point sets from a continuum to a finite set of candidates parameterized by integer generators and random shifts.

math.NA↗
arXiv2026

QMC integration based on arbitrary (t,m,s)-nets yields optimal convergence rates on several scales of function spaces

We study the integration problem over the $s$-dimensional unit cube on four types of Banach spaces of integrands. First we consider Haar wavelet spaces, consisting of functions whose Haar wavelet coefficients exhibit a certain decay behavior measured by a parameter $α>0$. We study the worst case error of integration over the norm unit ball and provide upper error bounds for quasi-Monte Carlo (QMC) cubature rules based on arbitrary $(t,m,s)$-nets as well as matching lower error bounds for arbitrary cubature rules. These results show that using arbitrary $(t,m,s)$-nets as sample points yields the best possible rate of convergence. Afterwards we study spaces of integrands of fractional smoothness $α\in (0,1)$ and state a sharp Koksma-Hlawka-type inequality. More precisely, we show that on those spaces the worst case error of integration is equal to the corresponding fractional discrepancy. Those spaces can be continuously embedded into tensor product Bessel potential spaces, also known as Sobolev spaces of dominated mixed smoothness, with the same set of parameters. The latter spaces can be embedded into suitable Besov spaces of dominating mixed smoothness $α$, which in turn can be embedded into the Haar wavelet spaces with the same set of parameters. Therefore our upper error bounds on Haar wavelet spaces for QMC cubatures based on $(t,m,s)$-nets transfer (with possibly different constants) to the corresponding spaces of integrands of fractional smoothness and to Sobolev and Besov spaces of dominating mixed smoothness. Moreover, known lower error bounds for periodic Sobolev and Besov spaces of dominating mixed smoothness show that QMC integration based on arbitrary $(t,m,s)$-nets yields the best possible convergence rate on periodic as well as on non-periodic Sobolev and Besov spaces of dominating smoothness.

math.NA↗
arXiv2025

A decomposition-based robust training of physics-informed neural networks for nearly incompressible linear elasticity

Due to divergence instability, the accuracy of low-order conforming finite element methods for nearly incompressible elasticity equations deteriorates as the Lamé coefficient $λ\to\infty$, or equivalently as the Poisson ratio $ν\to1/2$. This phenomenon, known as locking or non-robustness, remains not fully understood despite extensive investigation. In this work, we illustrate first that an analogous instability arises when applying the popular Physics-Informed Neural Networks (PINNs) to nearly incompressible elasticity problems, leading to significant loss of accuracy and convergence difficulties. Then, to overcome this challenge, we propose a robust decomposition-based PINN framework that reformulates the elasticity equations into balanced subsystems, thereby eliminating the ill-conditioning that causes locking. Our approach simultaneously solves the forward and inverse problems to recover both the decomposed field variables and the associated external conditions. We will also perform a convergence analysis to further enhance the reliability of the proposed approach. Moreover, through various numerical experiments, including constant, variable and parametric Lamé coefficients, we illustrate the efficiency of the proposed methodology.

math.NA↗