The LpL^p discrepancy conjecture below the endpoint

About 20 years old · traced to

Let AN⊂[0,1]d\mathcal A_N\subset[0,1]^d be a set of cardinality NN, and let DND_N be its discrepancy function,

DN(x⃗)=♯(AN∩[0,x⃗))−N∣[0,x⃗)∣.D_N(\vec x)=\sharp\bigl(\mathcal A_N\cap[0,\vec x)\bigr)-N\lvert[0,\vec x)\rvert.

For 0<p<10<p<1, write ∥DN∥p\lVert D_N\rVert_p for its LpL^p quasi-norm.

The subunit-LpL^p discrepancy conjecture. For every dimension d≥2d\geq2 and every 0<p<10<p<1, there is a constant depending only on dd and pp such that

∥DN∥p≳(log⁡N)(d−1)/2.\lVert D_N\rVert_p\gtrsim(\log N)^{(d-1)/2}.

This is presented as an extension of the L1L^1 conjecture. The source states that nothing was known about it, even in dimension two, so it remains open.

References

Primary source

Michael T Lacey, “On the Discrepancy Function in Arbitary Dimension, Close to L ^1”, arXiv:math/0609817 (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.