-
Golden Ratio Nets and Sequences
Authors:
Nathan Kirk,
Christiane Lemieux,
Jaspar Wiart
Abstract:
In this paper we introduce and study nets and sequences constructed in an irrational base, focusing on the case of a base given by the golden ratio $φ$. We provide a complete framework to study equidistribution properties of nets in base $φ$, which among other things requires the introduction of a new concept of prime elementary intervals which differ from the standard definition used for integer…
▽ More
In this paper we introduce and study nets and sequences constructed in an irrational base, focusing on the case of a base given by the golden ratio $φ$. We provide a complete framework to study equidistribution properties of nets in base $φ$, which among other things requires the introduction of a new concept of prime elementary intervals which differ from the standard definition used for integer bases. We define the one-dimensional van der Corput sequence in base $φ$ and two-dimensional Hammersley point sets in base $φ$ and we prove some properties for $(0,1)-$sequences and $(0,m,2)-$nets in base $φ$ respectively. We also include numerical studies of the discrepancy of point sets and sequences in base $φ$ showing an improvement in distribution properties over traditional integer based Hammersley constructions. As motivation for future research, we show how the equidistribution notions that are introduced for base $φ$ can be generalized to other irrational bases.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
On the area of empty axis-parallel rectangles amidst 2-dimensional lattice points
Authors:
Thomas Lachmann,
Jaspar Wiart
Abstract:
The dispersion of a point set in the unit square is defined to be the area of the largest empty axis-parallel box. In this paper we are interested in the dispersion of lattices in the plane, that is, the supremum of the area of the empty axis-parallel boxes amidst the lattice points. We introduce a framework with which to study this based on the continued fractions expansions of the generators of…
▽ More
The dispersion of a point set in the unit square is defined to be the area of the largest empty axis-parallel box. In this paper we are interested in the dispersion of lattices in the plane, that is, the supremum of the area of the empty axis-parallel boxes amidst the lattice points. We introduce a framework with which to study this based on the continued fractions expansions of the generators of the lattice. This framework proves so successful that we were unable to ask a question that we could not answer. We give necessary and sufficient conditions under which a lattice has finite dispersion. We obtain an exact formula for the dispersion of the lattices associated to subgroups of the ring of integer of a quadratic field. We have tight bounds for the dispersion of a lattice based the largest continued fraction coefficient of the generators, accurate to within one half. We know what the $n$-th best lattice is. We provide an equivalent formulation of Zaremba's conjecture. Using our framework we are able to give alternative proofs of the results from two other papers in only a few lines.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
On the distribution of scrambled $(0,m,s)$-nets over unanchored boxes
Authors:
C. Lemieux,
J. Wiart
Abstract:
We introduce a new quality measure to assess randomized low-discrepancy point sets of finite size $n$. This new quality measure, which we call "pairwise sampling dependence index", is based on the concept of negative dependence. A negative value for this index implies that the corresponding point set integrates the indicator function of any unanchored box with smaller variance than the Monte Carlo…
▽ More
We introduce a new quality measure to assess randomized low-discrepancy point sets of finite size $n$. This new quality measure, which we call "pairwise sampling dependence index", is based on the concept of negative dependence. A negative value for this index implies that the corresponding point set integrates the indicator function of any unanchored box with smaller variance than the Monte Carlo method. We show that scrambled $(0,m,s)-$nets have a negative pairwise sampling dependence index. We also illustrate through an example that randomizing via a digital shift instead of scrambling may yield a positive pairwise sampling dependence index.
△ Less
Submitted 7 September, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
Improved dispersion bounds for modified Fibonacci lattices
Authors:
Ralph Kritzinger,
Jaspar Wiart
Abstract:
We study the dispersion of point sets in the unit square; i.e. the size of the largest axes-parallel box amidst such point sets. It is known that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\in \left[\frac54,2\right],$ where $\mathrm{disp}(N,2)$ is the minimal possible dispersion for an $N$-element point set in the unit square. The upper bound 2 is obtained by an explicit point construction - the wel…
▽ More
We study the dispersion of point sets in the unit square; i.e. the size of the largest axes-parallel box amidst such point sets. It is known that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\in \left[\frac54,2\right],$ where $\mathrm{disp}(N,2)$ is the minimal possible dispersion for an $N$-element point set in the unit square. The upper bound 2 is obtained by an explicit point construction - the well-known Fibonacci lattice. In this paper we find a modification of this point set such that its dispersion is significantly lower than the dispersion of the Fibonacci lattice. Our main result will imply that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\leq \varphi^3/\sqrt{5}=1.894427...$
△ Less
Submitted 29 September, 2020; v1 submitted 5 July, 2020;
originally announced July 2020.
-
Walsh functions, scrambled $(0,m,s)$-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
Authors:
Jaspar Wiart,
Elaine Wong
Abstract:
We investigate base $b$ Walsh functions for which the variance of the integral estimator based on a scrambled $(0,m,s)$-net in base $b$ is less than or equal to that of the Monte-Carlo estimator based on the same number of points. First we compute the Walsh decomposition for the joint probability density function of two distinct points randomly chosen from a scrambled $(t,m,s)$-net in base $b$ in…
▽ More
We investigate base $b$ Walsh functions for which the variance of the integral estimator based on a scrambled $(0,m,s)$-net in base $b$ is less than or equal to that of the Monte-Carlo estimator based on the same number of points. First we compute the Walsh decomposition for the joint probability density function of two distinct points randomly chosen from a scrambled $(t,m,s)$-net in base $b$ in terms of certain counting numbers and simplify it in the special case $t$ is zero. Using this, we obtain an expression for the covariance of the integral estimator in terms of the Walsh coefficients of the function. Finally, we prove that the covariance of the integral estimator is negative when the Walsh coefficients of the function satisfy a certain decay condition. To do this, we use creative telescoping and recurrence solving algorithms from symbolic computation to find a sign equivalent closed form expression for the covariance term.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
On the dependence structure and quality of scrambled $(t,m,s)-$nets
Authors:
Jaspar Wiart,
Christiane Lemieux,
Gracia Y. Dong
Abstract:
In this paper we develop a framework to study the dependence structure of scrambled $(t,m,s)$-nets. It relies on values denoted by $C_b(\mathbf{k};P_n)$, which are related to how many distinct pairs of points from $P_n$ lie in the same elementary $\mathbf{k}-$interval in base $b$. These values quantify the equidistribution properties of $P_n$ in a more informative way than the parameter $t$. They…
▽ More
In this paper we develop a framework to study the dependence structure of scrambled $(t,m,s)$-nets. It relies on values denoted by $C_b(\mathbf{k};P_n)$, which are related to how many distinct pairs of points from $P_n$ lie in the same elementary $\mathbf{k}-$interval in base $b$. These values quantify the equidistribution properties of $P_n$ in a more informative way than the parameter $t$. They also play a key role in determining if a scrambled set $\tilde{P}_n$ is negative lower orthant dependent (NLOD). Indeed this property holds if and only if $C_b(\mathbf{k};P_n) \le 1$ for all $\mathbf{k} \in \mathbb{N}^s$, which in turn implies that a scrambled digital $(t,m,s)-$net in base $b$ is NLOD if and only if $t=0$. Through numerical examples we demonstrate that these $C_b(\mathbf{k};P_n)$ values are a powerful tool to compare the quality of different $(t,m,s)$-nets, and to enhance our understanding of how scrambling can improve the quality of deterministic point sets.
△ Less
Submitted 5 August, 2020; v1 submitted 23 March, 2019;
originally announced March 2019.
