The discrepancy lower-bound conjecture in dimensions at least three

Let AN\mathcal A_N be an arbitrary set of NN points in [0,1]d[0,1]^d, and define its discrepancy function by

DN(x)=#(AN[0,x))N[0,x),D_N(x)=\#\bigl(\mathcal A_N\cap[0,x)\bigr)-N|[0,x)|,

where [0,x)=j=1d[0,xj)[0,x)=\prod_{j=1}^d[0,x_j). Discrepancy lower-bound conjecture. For d3d\ge3, every such point set satisfies

DNL(logN)d/2.\|D_N\|_{L^\infty}\gtrsim(\log N)^{d/2}.

This would improve Roth's universal (logN)(d1)/2(\log N)^{(d-1)/2} lower bound by a factor of logN\sqrt{\log N}. The assertion is known in dimension two, has partial results in dimension three, and the paper proves only an exponent (d1)/2+η(d-1)/2+\eta for some η(d)>0\eta(d)>0 in dimensions at least three.

Sources & referencesView supporting material

Primary source

Dmitry Bilyk, Michael Lacey and Armen Vagharshakyan, “On the Small Ball Inequality in All Dimensions”, arXiv:0705.4619 (2007).

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.