Exact ${\mathrm{\ell }}^{\mathrm{\infty }}$-separation radius of Sobol' sequences in dimension 2

Quasi-uniformity is a fundamental geometric property of point sets, crucial for applications such as kernel interpolation, Gaussian process regression, and space-filling experimental designs. While quasi-Monte Carlo methods are widely recognized for their low-discrepancy characteristics, understanding their quasi-uniformity remains important for practical applications. For the two-dimensional Sobol’ sequence, Sobol’ and Shukhman (2007) conjectured that the separation radius of the first $N$ points achieves the optimal rate $N^{-1\mathrm{/}2}$, which would imply quasi-uniformity. This conjecture was disproved by Goda (2024), who computed exact values of the ${\mathrm{\ell }}^2$-separation radius for a sparse subsequence $N=2^{2^v-1}$. However, the general behavior of the Sobol’ sequence for arbitrary $N$ remained unclear. In this paper, we derive exact expressions for the ${\mathrm{\ell }}^{\mathrm{\infty }}$-separation radius of the first $N=2^m$ points of the two-dimensional Sobol’ sequence for all $m\in \mathbb{N}$. As an immediate consequence, we show that the separation radius of Sobol’ points is $O(N^{-3\mathrm{/}4})$, which is strictly worse than the optimal rate $N^{-1\mathrm{/}2}$, revealing that the two-dimensional Sobol’ sequence has a suboptimal mesh ratio that grows at least as $N^{1\mathrm{/}4}$.