Star Discrepancy of Double-Infinite Random Matrices

• The paper's main contribution is providing dimension-sensitive, non-asymptotic bounds on star discrepancy using optimal covering numbers and dyadic chaining techniques.
• It employs probabilistic methods with union-bound confidence constraints to derive explicit constants and improved error rates for high-dimensional integration.
• The work underpins practical applications in quasi-Monte Carlo integration and uncertainty quantification by ensuring controlled geometric uniformity in random point sets.

The star discrepancy of double-infinite random matrices quantifies the deviation between empirical measures of high-dimensional random point sets and the uniform distribution over $[0,1]^d$. This metric is central to geometric discrepancy theory and underpins error bounds for quasi-Monte Carlo (QMC) integration and probabilistic sampling in high dimensions. Recent advances have produced sharp, non-asymptotic bounds for such matrices by leveraging optimal covering numbers for axis-parallel boxes along with dyadic chaining techniques, resulting in explicitly computable constants and improved error rates. The subject evolves from classical existence results given by Heinrich et al. to probabilistic constructions via random matrices (Aistleitner), dimension-sensitive refinements (Fiedler, Gnewuch, Weiss), and computationally efficient deterministic analogues using lacunary systems (Löbbe).

1. Definitions and Foundational Concepts

Double-Infinite Random Matrix Model:

A double-infinite random matrix is a family $(X_{n,i})_{n\geq 1, i \geq 1}$ of i.i.d.\ uniform $[0,1]$ random variables. For fixed $d$ and $N$, the first $N$ rows and $d$ columns define the random point set

$$\mathbf{X}_{N,d} = \bigl\{\mathbf{X}_d^{(n)} : n=1,\dots,N\bigr\} \subset [0,1]^d, \quad \mathbf{X}_d^{(n)} = (X_{n,1}, ..., X_{n,d})$$

Star Discrepancy:

The star discrepancy of an $N$-point set $\mathbf{P}_{N,d} \subset [0,1]^d$ is

$(X_{n,i})_{n\geq 1, i \geq 1}$0

In probabilistic constructions, the notation $(X_{n,i})_{n\geq 1, i \geq 1}$1 refers to the discrepancy of the above random point set.

Lacunary and Halton Constructions:

Lacunary systems utilize rapidly expanding matrix sequences to mimic independence efficiently. Hybrid schemes combine Halton coordinates and lacunary multipliers to produce deterministic analogues, trading off statistical independence for digit efficiency in simulation (Löbbe, 2014).

2. Main Non-Asymptotic Discrepancy Bounds

Recent results provide non-asymptotic high-probability bounds on the star discrepancy for every $(X_{n,i})_{n\geq 1, i \geq 1}$2-row, $(X_{n,i})_{n\geq 1, i \geq 1}$3-column submatrix of double-infinite random matrices. For $(X_{n,i})_{n\geq 1, i \geq 1}$4, one has

$(X_{n,i})_{n\geq 1, i \geq 1}$5

with universal $(X_{n,i})_{n\geq 1, i \geq 1}$6, explicit series for $(X_{n,i})_{n\geq 1, i \geq 1}$7 satisfying $(X_{n,i})_{n\geq 1, i \geq 1}$8 and $(X_{n,i})_{n\geq 1, i \geq 1}$9, and parameters $[0,1]$0 determined by the union-bound confidence constraints (Xu et al., 27 Dec 2025).

Dimension-Dependent Constants:

Earlier bounds used fixed $[0,1]$1; modern results replace this with dimension-sensitive $[0,1]$2, strictly decreasing for $[0,1]$3 and achieving at least $[0,1]$4 improvement for all $[0,1]$5 (Fiedler et al., 2023, Xu et al., 27 Dec 2025).

Confidence Trade-off:

Probability of bound satisfaction is $[0,1]$6, with $[0,1]$7 tuned to desired confidence. For $[0,1]$8, typical choices are $[0,1]$9, $d$0 (Xu et al., 27 Dec 2025).

3. Covering Numbers and Chaining Methods

Optimal Axis-Parallel Covering Numbers:

A finite set $d$1 is a $d$2-cover if every $d$3 can be trapped between elements of $d$4 so box volume changes no more than $d$5. The minimal cardinality $d$6 yields entropy control for chaining.

For $d$7 and all $d$8,

$d$9

These estimates underpin dyadic chaining analyses and drive improvements in discrepancy constants [(Xu et al., 27 Dec 2025), Gnewuch 2024].

Dyadic Chaining:

Anchored boxes are approximated by a chain of boxes using $N$0-covers, partitioning them into increments $N$1 of bounded measure. Union bounds over these increments, controlled via maximal Bernstein inequalities, aggregate small error probabilities across all scales and dimensions.

4. Proof Strategies and Key Techniques

Maximal Bernstein Inequality:

For each increment $N$2 at scale $N$3, Bernstein's inequality controls deviations:

$N$4

$N$5, with variance and size constraints inherited from the box measure.

Union Bound Over Scales:

Summation of error probabilities across all increment classes $N$6, scales $N$7, and dimensions $N$8 yields an aggregate failure probability matching the union-bound constraint. Threshold selection for deviations balances entropy versus variance, delivering finite summability over the chaining hierarchy.

Explicit Constant Computation:

Numerical summation of series for $N$9 (truncated at $N$0) produces sharp constants. For example, $N$1 compared to former bounds $N$2 (Xu et al., 27 Dec 2025, Fiedler et al., 2023).

5. Computational Efficiency and Lacunary Models

Traditional Monte Carlo simulation in $N$3 dimensions with $N$4 points and precision $N$5 uses $N$6 digits. Lacunary-Halton constructions reduce this to $N$7, capitalizing on deterministic multiplier structure and precomputed seeds (Löbbe, 2014). The lacunary regime simulates independence via exponentially growing multipliers, upholding discrepancy control with drastically reduced random-input cost.

6. Applications and Implications

Quasi-Monte Carlo Integration:

Koksma–Hlawka inequality relates star discrepancy to integration error:

$N$8

Guarantees on $N$9 yield rigorous error and confidence bounds for randomized QMC estimators in high dimensions (Xu et al., 27 Dec 2025, Fiedler et al., 2023).

Uncertainty Quantification:

Non-asymptotic high-probability bounds facilitate confidence bands in Bayesian inference, PDE simulations, and robust numerical analysis where sample reliability in high dimensions is essential.

Discrepancy Theory Benchmarks:

Recent results set new benchmarks for $d$0 regimes, bringing minimax rates up to an explicit $d$1, including controlled logarithmic corrections. These constructions represent the sharpest known “worst-case” guarantees for random matrix-induced geometries, motivating further algorithmic research.

Comparative Table: Main Non-Asymptotic Discrepancy Bounds

Paper / Model	Discrepancy Bound Structure	Notable Constant(s)
Heinrich et al. (2001)	$d$2	$d$3 unspecified
Aistleitner–Weimar (2013)	$d$4	$d$5
Fiedler, Gnewuch, Weiss (2023)	$d$6	$d$7
Gnewuch (2024), present (2025)	$d$8	$d$9
Löbbe (2014), lacunary construction	$$\mathbf{X}_{N,d} = \bigl\{\mathbf{X}_d^{(n)} : n=1,\dots,N\bigr\} \subset [0,1]^d, \quad \mathbf{X}_d^{(n)} = (X_{n,1}, ..., X_{n,d})$$0	explicit via $$\mathbf{X}_{N,d} = \bigl\{\mathbf{X}_d^{(n)} : n=1,\dots,N\bigr\} \subset [0,1]^d, \quad \mathbf{X}_d^{(n)} = (X_{n,1}, ..., X_{n,d})$$1

Significance:

The explicit, dimension-dependent constants and probabilistic bounds established in recent work (Xu et al., 27 Dec 2025, Fiedler et al., 2023) represent the state of the art in controlling the geometric uniformity of high-dimensional random point sets, fundamental for both theoretical and practical advances in numerical computation, uncertainty analysis, and sampling theory.