The optimal-order discrepancy conjecture for finite point sets

Let D(m,d):=infTD(T,m,d)D(m,d)_\infty:=\inf_T D(T,m,d)_\infty denote the minimum, over finite point sets TT with mm points in dimension dd, of their star discrepancy. For d3d\geq 3, the conjectured lower bound is

D(m,d)C(d)m1(logm)d1.D(m,d)_\infty\geq C(d)m^{-1}(\log m)^{d-1}.

Optimal-order discrepancy conjecture. For every d3d\geq 3, there is a constant C(d)>0C(d)>0 such that

D(m,d)C(d)m1(logm)d1.D(m,d)_\infty\geq C(d)m^{-1}(\log m)^{d-1}.

The matching upper bound D(m,d)C(d)m1(logm)d1D(m,d)_\infty\leq C(d)m^{-1}(\log m)^{d-1} is known, and the lower bound is known when d=2d=2 by Schmidt's result. Establishing it for dimensions d3d\geq 3 is described as a major open problem in discrepancy theory.

Sources & referencesView supporting material

Primary source

V. N. Temlyakov, “Fixed volume discrepancy in the periodic case”, arXiv:1710.11499 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.