arXiv Science⌕ Search

arXiv subjects

Takashi Goda

Publications and source records attributed to Takashi Goda.

At least 19 recordsLinked to original sources
arXiv2026

Quasi-uniform designs from random candidates: optimal candidate complexity and farthest-point sampling

We study randomized constructions of quasi-uniform designs on a compact metric-measure space satisfying two-sided polynomial ball-growth conditions. Given integers $N\le M$, we first draw $M$ independent candidate points and then retain the first $N$ points of a farthest-point traversal of the candidate set. We prove probabilistic non-asymptotic bounds on the mesh ratio and show that $M=Θ(N\log N)$ is the sharp order of the candidate-pool size required for bounded mesh ratio: a sufficiently large multiple of $N\log(N/δ)$ suffices with probability at least $1-δ$, whereas, if $M=o(N\log N)$, the mesh ratio diverges in probability for every procedure that selects $N$ points from the same independent candidate pool. If $M/(N\log M)\to\infty$, the upper bound on the mesh ratio for the exact farthest-point sampling (FPS) tends to $2$. We also quantify the effect of approximate FPS and analyze direct and fast implementations in spaces of bounded doubling dimension. Finally, using a single infinite stream of candidate points and increasing candidate budgets, we construct an almost surely quasi-uniform nested sequence; under supercritical oversampling and exact FPS, or more generally when the approximation factors tend to $1$, its mesh-ratio limit superior equals $2$ for compact positive-volume subsets of Euclidean space.

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

Algebraic constructions of point sequences with quasi-uniform two-dimensional projections

Motivated by sequential space-filling designs for computer experiments, we study algebraic constructions of extensible point sets in the $d$-dimensional unit cube whose two-dimensional coordinate projections are all quasi-uniform. Our two constructions share a common parametrization in terms of finite configurations of distinct rational directions on the projective line $\mathbb{P}^1(\mathbb{Q})$. First, using a cubic number field, we construct explicit Kronecker sequences for which the mesh ratios of all two-dimensional coordinate projections remain uniformly bounded over every initial segment of length $N\ge 2$. Second, using a real quadratic field, a split prime, and a compatible $p$-adic embedding, we construct nested rank-1 lattice designs with the same uniform projection property at every nesting level. The proofs combine algebraic norm estimates with transference principles between simultaneous and dual Diophantine approximation, yielding lower bounds for the separation radii and upper bounds for the covering radii, both of optimal order in the number of points, uniformly over all coordinate pairs. We also investigate how the choice of rational projective coefficients affects the resulting mesh ratios. This leads to a minimax problem for finite configurations on $\mathbb{P}^1(\mathbb{Q})$, in which one seeks to minimize the maximum mesh ratio over all two-dimensional coordinate projections. These constructions provide extensible point sets with uniformly controlled bivariate geometry.

math.NT↗
arXiv2026

Multivariate integration and approximation in weighted Sobolev spaces of low fractional smoothness

The weighted half-period cosine space has often been employed in the theory of quasi-Monte Carlo methods for multivariate integration and approximation of non-periodic functions. For integer-order smoothness, its norm equivalence to certain weighted unanchored Sobolev spaces has been established in the literature. In this work, we extend this equivalence to fractional-order smoothness up to $2$. By introducing an explicit representation via Slobodeckij-type seminorms, we prove a norm equivalence between the half-period cosine spaces and the corresponding weighted unanchored Sobolev spaces. Our Sobolev norm representation clarifies how the fractional regularity dictates the presence or absence of boundary constraints and (non-)periodic structures. Furthermore, we investigate the limiting behavior of these fractional spaces as the smoothness parameter approaches integer boundaries, establishing a continuous bridge to the classical integer-order Sobolev spaces. These equivalence results enable us to transfer the near-optimal error bounds and tractability results for multivariate integration and function approximation from the half-period cosine settings to our newly introduced fractional Sobolev spaces.

math.NA↗
arXiv2026

Optimality of quasi-Monte Carlo methods and suboptimality of the sparse-grid Gauss--Hermite rule in Gaussian Sobolev spaces

Optimality of several quasi-Monte Carlo methods and suboptimality of the sparse-grid quadrature based on the univariate Gauss--Hermite rule is proved in the Sobolev spaces of mixed dominating smoothness of order $α$, where the optimality is in the sense of worst-case convergence rate. For sparse-grid Gauss--Hermite quadrature, lower and upper bounds are established, with rates coinciding up to a logarithmic factor. The dominant rate is found to be only $N^{-α/2}$ with $N$ function evaluations, although the optimal rate is known to be $N^{-α}(\ln N)^{(d-1)/2}$. The lower bound is obtained by exploiting the structure of the Gauss--Hermite nodes and is independent of the quadrature weights; consequently, no modification of the weights can improve the rate $N^{-α/2}$. In contrast, several quasi-Monte Carlo methods with a change of variables are shown to achieve the optimal rate, some up to, and one including, the logarithmic factor.

math.NA↗
arXiv2026

Quasi-Monte Carlo with a Hankel random digital net

This paper proposes a new randomized design of digital nets in which the generating matrices are chosen to be random Hankel matrices. Compared with previous randomized designs of digital nets, this approach simplifies the construction process and reduces the number of random variables required, while still achieving desirable convergence rates when combined with appropriate estimators. We analyze the properties of the proposed design, derive bounds for Walsh coefficients, and provide error analysis for both the median-of-means estimator and a newly proposed greedy selection estimator, i.e. the selection of the best design from a batch in terms of a worst-case error bound. Numerical experiments validate our theoretical findings and demonstrate the practical performance of the proposed methods.

math.NA↗
arXiv2026

Constructive quasi-uniform sequences over triangles

In this paper, we develop constructive algorithms for generating quasi-uniform point sets and sequences over arbitrary two-dimensional triangular domains. Our proposed method, called the \emph{Voronoi-guided greedy packing} algorithm, iteratively selects the point farthest from the current set among a finite candidate set determined by the Voronoi diagram of the triangle. Our main theoretical result shows that, after a finite number of iterations, the mesh ratio of the generated point set is at most~2, which is known to be optimal. We further analyze two existing triangular low-discrepancy point sets and prove that their mesh ratios are uniformly bounded, thereby establishing their quasi-uniformity. Finally, through a series of numerical experiments, we demonstrate that the proposed method provides an efficient and practical strategy for generating high-quality point sets on individual triangles.

math.NA↗
arXiv2026

A note on approximation in weighted Korobov spaces via multiple rank-1 lattices

This paper studies the multivariate approximation of functions in weighted Korobov spaces using multiple rank-1 lattice rules. It has been shown by Kämmerer and Volkmer (2019) that algorithms based on multiple rank-1 lattices achieve the optimal convergence rate for the $L_{\infty}$ error in Wiener-type spaces, up to logarithmic factors. While this result was translated to weighted Korobov spaces in the recent monograph by Dick, Kritzer, and Pillichshammer (2022), the analysis requires the smoothness parameter $α$ to be greater than $1$ and is restricted to product weights. In this paper, we extend this result for multiple rank-1 lattice-based algorithms to the case where $1/2<α\le 1$ and for general weights, covering a broader range of periodic functions with low smoothness and general relative importance of variables. We also provide a summability condition on the weights to ensure strong polynomial tractability for any $α>1/2$. Furthermore, by incorporating random shifts into multiple rank-1 lattice-based algorithms, we prove that the resulting randomized algorithm achieves a nearly optimal convergence rate in terms of the worst-case root mean squared $L_2$ error, while retaining the same tractability property.

math.NA↗
arXiv2026

Disproving the quasi-uniformity of the Halton sequences and of some Halton-type sequences

In this short article, we prove that the Halton sequence, one of the most well-known low-discrepancy sequences, is not quasi-uniform in any dimension $d \ge 2$ with any pairwise relatively prime bases. We further disprove the quasi-uniformity of some Halton-type sequences, including the $p$-dimensional Faure sequence in base $p$, $p \in \mathbb{P}$, which provides an alternative proof of the known results.

math.NT↗
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,α,γ}$ with smoothness $α>1/2$ 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>1$ and an odd prime lattice size $N$, we prove high-probability error bounds in both $L_\infty$ and $L_2$. Interpolation then yields the result for all $1 \le p\le\infty$. In particular, with a high probability, the algorithm satisfies \[ \mathrm{err}(H_{d,α,γ},L_p,A)\ \le\ C_{d,α,β,\boldsymbolγ,p}\, N^{- α+ (\frac12 - \frac1p)_+ + β}, \qquad 1 \le p\le\infty,\ β>0, \] where $(x)_+ = \max\{x, 0\}$, $N$ is the number of function evaluations, and the weights $\boldsymbolγ$ and the constant $C_{d,α,β,\boldsymbolγ,p}$ are independent of $N$. 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

Hidden low-discrepancy structures in random point sets

We study the probabilistic existence of point configurations satisfying the $(0, m, d)$-net property in base $b$ within a randomly generated point set of size $N$ in the $d$-dimensional unit cube. We first derive an upper bound on the number of geometric patterns for $(0, m, d)$-nets in base $b$. By applying the elementary probability bounds together with this counting result, we then give scaling conditions on $N$ as a function of $m$ such that this probability converges to $1$ and $0$, respectively.

math.CO↗
arXiv2026

Space-filling lattice designs for computer experiments

This paper investigates the construction of space-filling designs for computer experiments. The space-filling property is characterized by the covering and separation radii of a design, which are integrated through the unified criterion of quasi-uniformity. We focus on a special class of designs, known as quasi-Monte Carlo (QMC) lattice point sets, and propose two construction algorithms. The first algorithm generates rank-1 lattice point sets as an approximation of quasi-uniform Kronecker sequences, where the generating vector is determined explicitly. As a byproduct of our analysis, we prove that this explicit point set achieves an isotropic discrepancy of $O(N^{-1/d})$. The second algorithm utilizes Korobov lattice point sets, employing the Lenstra--Lenstra--Lovász (LLL) basis reduction algorithm to identify the generating vector that ensures quasi-uniformity. Numerical experiments are provided to validate our theoretical claims regarding quasi-uniformity. Furthermore, we conduct empirical comparisons between various QMC point sets in the context of Gaussian process regression, showcasing the efficacy of the proposed designs for computer experiments.

stat.ME↗
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↗
arXiv2025

$L_2$-approximation using median lattice algorithms

In this paper, we study the problem of multivariate $L_2$-approximation of functions belonging to a weighted Korobov space. We propose and analyze a median lattice-based algorithm, inspired by median integration rules, which have attracted significant attention in the theory of quasi-Monte Carlo methods. Our algorithm approximates the Fourier coefficients associated with a suitably chosen frequency index set, where each coefficient is estimated by taking the median over approximations from randomly shifted rank-1 lattice rules with independently chosen generating vectors. We prove that the algorithm achieves, with high probability, a convergence rate of the $L_2$-approximation error that is arbitrarily close to optimal with respect to the number of function evaluations. Furthermore, we show that the error bound depends only polynomially on the dimension, or is even independent of the dimension, under certain summability conditions on the weights. Numerical experiments illustrate the performance of the proposed median lattice-based algorithm.

math.NA↗
arXiv2025

Universal $L_2$-approximation using median lattice algorithms

We study the problem of multivariate $L_2$-approximation of functions in a weighted Korobov space using a median lattice-based algorithm recently proposed by the authors. In the original work, the algorithm requires knowledge of the smoothness and weights of the Korobov space to construct the hyperbolic cross index set, where each coefficient is estimated via the median of approximations obtained from randomly shifted, randomly chosen rank-1 lattice rules. In this paper, we introduce a \emph{universal median lattice-based algorithm}, which eliminates the need for any prior information on smoothness and weights. Although the tractability property of the algorithm slightly deteriorates, we prove that, for individual functions in the Korobov space with arbitrary smoothness and (downward-closed) weights, it achieves an $L_2$-approximation error arbitrarily close to the optimal rate with respect to the number of function evaluations. Numerical experiments are conducted to support our theoretical claim.

math.NA↗
arXiv2025

$L_2$-approximation using randomized lattice algorithms

We propose a randomized lattice algorithm for approximating multivariate periodic functions over the $d$-dimensional unit cube from the weighted Korobov space with mixed smoothness $α> 1/2$ and product weights $γ_1,γ_2,\ldots\in [0,1]$. Building upon the deterministic lattice algorithm by Kuo, Sloan, and Woźniakowski (2006), we incorporate a randomized quadrature rule by Dick, Goda, and Suzuki (2022) to accelerate the convergence rate. This randomization involves drawing the number of points for function evaluations randomly, and selecting a good generating vector for rank-1 lattice points using the randomized component-by-component algorithm. We prove that our randomized algorithm achieves a worst-case root mean squared $L_2$-approximation error of order $M^{-α(2α+1)/(4α+1)+\varepsilon}$ for an arbitrarily small $\varepsilon > 0$, where $M$ denotes the maximum number of function evaluations, and that the error bound is independent of the dimension $d$ if the weights satisfy $\sum_{j=1}^\infty γ_j^{1/α} < \infty$. Our upper bound converges faster than a lower bound on the worst-case $L_2$-approximation error for deterministic rank-1 lattice-based approximation proved by Byrenheid, Kämmerer, Ullrich, and Volkmer (2017). We also show a lower error bound of order $M^{-α/2-1/2}$ for our randomized algorithm, leaving a slight gap between the upper and lower bounds open for future research.

math.NA↗
arXiv2025

The median trick does not help for fully nested scrambling

In randomized quasi-Monte Carlo methods for numerical integration, average estimators based on digital nets with fully nested and linear scrambling are known to exhibit the same variance. In this note, we show that this equivalence does not extend to the median estimators. Specifically, while the median estimator with linear scrambling can achieve faster convergence for smooth integrands, the median estimator with fully nested scrambling does not exhibit this advantage.

math.NA↗