Digital almost nets

02/25/2021
by   Boris Bukh, et al.
Carnegie Mellon University
0

Digital nets (in base 2) are the subsets of [0,1]^d that contain the expected number of points in every not-too-small dyadic box. We construct sets that contain almost the expected number of points in every such box, but which are exponentially smaller than the digital nets. We also establish a lower bound on the size of such almost nets.

READ FULL TEXT VIEW PDF

Authors

page 1

page 2

page 3

page 4

06/19/2021

The nonzero gain coefficients of Sobol's sequences are always powers of two

When a plain Monte Carlo estimate on n samples has variance σ^2/n, then ...
02/20/2020

Weighted Epsilon-Nets

Motivated by recent work of Bukh and Nivasch on one-sided ε-approximants...
10/05/2019

An algorithm to compute the t-value of a digital net and of its projections

Digital nets are among the most successful methods to construct low-disc...
07/17/2017

On weak ε-nets and the Radon number

We show that the Radon number characterizes the existence of weak nets i...
05/10/2019

Nets and Reverse Mathematics, a pilot study

Nets are generalisations of sequences involving possibly uncountable ind...
06/13/2018

Beyond Bags of Words: Inferring Systemic Nets

Textual analytics based on representations of documents as bags of words...
11/28/2017

When are epsilon-nets small?

In many interesting situations the size of epsilon-nets depends only on ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

We call a subinterval of basic (in base ) if it is of the form . A basic box is a product of basic intervals, i.e., a set of the form . If , a basic interval is called a dyadic interval, and a basic box is called a dyadic box.

We say that a set is a -almost net in base if it is of size for some natural number and

for every basic box of volume .

The case has been well studied. If , almost nets are known as -nets in the literature. They are used extensively in discrepancy theory and numerical integration algorithms, and are subject to numerous works, including a book devoted exclusively to them [6]. It is known [9, Theorem 3] that, for each , there exist arbitrarily large -almost nets with . On the other hand, must grow exponentially with for large enough nets [7] (see also [8]

for asymptotic analysis of the bound in

[7]).

In contrast to these results, for , we construct -almost nets with being only polynomial in .

Theorem 1.

For any prime , any , and any positive integers satisfying , there exists a set of size such that, for any basic box of volume ,

In particular, for every and every , there exist arbitrarily large -almost nets in base with .

Using this result, one can construct sets in without convex holes of size rather than that can be obtained from the conventional nets. See [5] for details.

The construction behind Theorem 1 is a minor modification on the construction in [4]. Whereas the construction in [4] uses primes in , this construction uses irreducible polynomials in . The reason for this change is to make the denominators be powers of the same prime . Furthermore, because addition in satisfies ultrametric inequality, and because we do not need to worry about boxes that are not basic, several details in the new construction are simpler. As such, we do not make any claims about the novelty. Our purpose in writing the present note is to record the details of the construction for its application to convex holes. We also hope that almost nets will find applications in many other areas that currently use the conventional nets.

We do not know when the bound in Theorem 1 is sharp. The following is the best lower bound we were able to prove. Its dependence on is close to optimal, as long as is not too small, but the dependence on is poor. In the special case , we recover the lower bound in -nets via a proof different than those in [7, 8].

Theorem 2.

Assume that there exists an -net in base , then the following holds.

If , then

If , then

where .

In particular, if for some constant , then we have .

If for some constant such that , then we get an exponential lower bound , where .

Open problem.

It would be interesting to prove a result similar to Theorem 1 which applies to all boxes, not only to basic boxes.

Acknowledgment.

We are thankful to Ron Holzman for useful discussions.

2 Proof of Theorem 1

Let . Since the number of irreducible polynomials of degree in is

we may pick distinct irreducible polynomials of degree in . We associate each of these polynomials to the respective coordinate direction. We will be interested in canonical boxes, which are the boxes of the form

for some integers .

We say that a polynomial is a basic polynomial if and all of its coefficients are in .

For an irreducible polynomial of degree and a polynomial , we define the base- expansion of to be , where each is a basic polynomial. Put , where we view the basic polynomials as polynomial functions on . Note that . Define the function by .

Definition 3.

We say that a box is good if is a basic box of volume . Let be the smallest canonical box containing . We call a good pair.

Note that .

Suppose is a canonical box. Write it as , and consider . The set consists of the solutions to the system

where and are the unique basic polynomials satisfying .

By the Chinese Remainder theorem, the set is of the form where and is the unique element in of degree less than . Note that .

Given a good pair , define

Claim 1.

The set is of size at most .

Proof.

Let be a good pair. Write and in the form

The condition is equivalent to

where the sets consist of the basic polynomials such that .

On the other hand,

for some . There are at most different choices for . Also, there are at most different choices for satisfying . Since is determined by , the claim is true. ∎

To each canonical box of volume between and inclusive we assign a type, so that boxes of the same type behave similarly. Formally, let be the polynomial obtained from the polynomial by setting the coefficients of to zero. Similarly, let be the polynomial obtained from by setting the coefficients of to zero. The type of is then the pair .

Note that, from and it follows that

(1)
Claim 2.

The number of types is at most .

Proof.

Since , only the (resp. ) leading coefficients of (resp. ) may be non-zero. Hence, the number of types is at most . ∎

For a type , let . Note that if , then is an approximation to . That is to say, the respective elements of and of differ only in low-degree coefficients.

Let denote polynomials of degree less than in . Our construction will be a union of sets of the form where .

We first prove that there is no difference between the behaviors of and intersecting are the same.

Claim 3.

Suppose . Then for any polynomial and any polynomial , if and only if .

Proof.

If , then . Since and ,it follows that . From the definition of and , the coefficients of in are the same as the respective coefficients in . The opposite direction is similar. ∎

For a type and that satisfy and for some good pair , define

With this definition, is the approximation to induced by the approximation to .

Claim 4.

The set is of size exactly .

Proof.

Let be a good pair such that and . From the previous claim, we know that the size of is the same as the size of . By the Chinese remainder theorem, each of the canonical boxes of volume contains equally many points from . Since , the number of points in is equal to . ∎

Claim 5.

Let be chosen uniformly from . Then is

with probability

and is otherwise.

Proof.

Let be arbitrary. Clearly . The events of the form are mutually disjoint as ranges over . Indeed, suppose and are such that for some . We may write and . Then . Since , this implies that and hence .

In the combination with Claim 4, this implies that

Sample elements uniformly at random from , independently from one another. Let be the resulting multiset, and consider the multiset . For a type and that satisfy and for some good pair

, define the random variable

. This random variable is distributed according to the binomial distribution

.

Let . Note that , and in particular . Hence, . By the tail bounds for the binomial distribution [3, Theorems A.1.11 and A.1.13] we obtain

From Claims 2 and 1 and the union bound it then follows that there exists a choice of such that is bounded between and whenever , and is a good pair. By Claim 3, this implies that the number of points in any good box of volume , the size is bounded between and .

Hence the multiset in is of size exactly and satisfies the conclusion of the theorem. To obtain a set satisfying the same conclusion, we may perturb the points of slightly to ensure distinctness.

3 Proof of Theorem 2

We shall derive Theorem 2 from the following lemma.

Lemma 4.

For any positive integers , prime , and positive real numbers with , and , if there exists an -almost net in base of size , then

for any integer such that and

(2)

holds.

Proof.

Let be the box . For any point , write its coordinates in base as . Noting that the first digits of are zero, we let be the first non-trivial digit of , i.e., . Similarly, let for .

The proof idea is to use almost independence of functions for a randomly chosen point of . However, we do not directly appeal to the known bound on the size of probability spaces supporting almost independent random variables (see e.g. [1, 2]) because those bounds are formulated for -valued random variables, whereas take distinct values.

Let , and . Since is an -almost net, it follows that is between and . Assume are all the points in .

For , let . Let be a -by- matrix, where the rows are indexed by and the columns are indexed by . The general entry of is

Also, define .

Claim 6.

The diagonal terms in are all . The off-diagonal terms are, in absolute value, bounded above by .

Proof.

The general term of is given by

If , this is clearly .

Suppose . Note that, for any choice of , the set

is a basic box of volume . Thus, for any , the region

can be partitioned into many basic boxes of volume each. Since we have , it follows that the number of such that is bounded between and . Thus,

We apply [1, Theorem 2.1] to the matrix . We obtain that, if then . Therefore,

The right hand side of lemma 4 is a decreasing function of for . Therefore, we shall pick as small as possible. If , then we may set and get

If , then we may set . From the assumption on , we have . Therefore,

and so (2) holds. Hence, we may apply Lemma 4 with in place of and obtain

In particular, if for some constant , then is also a constant, and so in this case.

If for some constant such that , then the -net is also an -net, when is large enough. We may apply the result above with in place of . In this case, the calculations above yield , and we get where .

References

  • [1] Noga Alon. Perturbed identity matrices have high rank: proof and applications. Combinatorics, Probability and Computing, 18(1–2):3––15, 2009.
  • [2] Noga Alon, Alexandr Andoni, Tali Kaufman, Kevin Matulef, Ronitt Rubinfeld, and Ning Xie. Testing -wise and almost -wise independence. In

    STOC’07—Proceedings of the 39th Annual ACM Symposium on Theory of Computing

    , pages 496–505. ACM, New York, 2007.
  • [3] Noga Alon and Joel H. Spencer. The Probabilistic Method. Wiley Publishing, 4th edition, 2016.
  • [4] Boris Bukh and Ting-Wei Chao. Empty axis-parallel boxes. arXiv:2009.05820, 2020.
  • [5] Boris Bukh, Ting-Wei Chao, and Ron Holzman. On convex holes in -dimensional point sets. arXiv:2007.08972.
  • [6] Josef Dick and Friedrich Pillichshammer. Digital nets and sequences. Cambridge University Press, Cambridge, 2010. Discrepancy theory and quasi-Monte Carlo integration.
  • [7] William J. Martin and Terry I. Visentin. A dual Plotkin bound for -nets. IEEE Trans. Inform. Theory, 53(1):411–415, 2007.
  • [8] Rudolf Schürer. A new lower bound on the -parameter of -sequences. In Monte Carlo and quasi-Monte Carlo methods 2006, pages 623–632. Springer, Berlin, 2008.
  • [9] Chao Ping Xing and Harald Niederreiter. A construction of low-discrepancy sequences using global function fields. Acta Arith., 73(1):87–102, 1995.