On the small ball inequality in three dimensions. (English) Zbl 1202.42007

Bilyk, Dmitriy; Lacey, Michael T.

Duke Math. J. 143, No. 1, 81-115 (2008).

Let \(h_{R}\) denote an \(L^{\infty}\)-normalized Haar function associated to a dyadic rectangle \(R\subseteq [0,1]^{d}\) with volume \(|R|\). The authors show for all integers \(n\) and coefficients \(\alpha (R)\) \[ 2^{-n}\sum_{|R|=2^{-n}} |\alpha(R)|\ll n^{1-\eta}\;\Big\|\sum_{|R|=2^{-n}} \alpha(R)h_{R}\Big\|_{\infty} \] with \(0<\eta <\frac{1}{2}.\) This is an important improvement over the trivial estimate by an amount of \(n^{-\eta}\) while the “small ball conjecture” says that the inequality should hold with \(\eta= \frac{1}{2}.\) In dimension \(d=2\) this was resolved by M. Talagrand [Ann. Probab. 22, No. 3, 1331–1354 (1994; Zbl 0835.60031)]. V. N. Temlyakov [J. Complexity 11, No. 2, 293–307 (1995; Zbl 0830.42015), East J. Approx. 1, No. 1, 61–72 (1995; Zbl 0845.41011)] has given a simpler proof using ideas of Roth, Schmidt and Halasz. The “small ball problem” has its origin in asymptotic estimates for random processes. Furthermore, there is an important application in the theory of irregularities of distribution obtaining lower bounds for the discrepancy of point sequences [see M. Drmota and R. F. Tichy, Sequences, discrepancies and applications. Lecture Notes in Mathematics. 1651. Berlin: Springer (1997; Zbl 0877.11043)]. In dimension \(d=3\), J. Beck [Compos. Math. 72, No. 3, 269–339 (1989; Zbl 0691.10041)] has obtained a weaker inequality with a logarithmic factor replacing \(n^{1-\eta}.\) This implies an improvement of Roth’s lower discrepancy bound by a \(\log\log n\) factor (in dimension \(d=3\)) whereas the present inequality implies an improvement by a factor \(\log n\) (in arbitrary dimensions \(d\geq 3).\)

Reviewer: Robert F. Tichy (Graz)

MSC:

42A05	Trigonometric polynomials, inequalities, extremal problems
11K38	Irregularities of distribution, discrepancy

Keywords:

small ball conjecture

Citations:

Zbl 0835.60031; Zbl 0830.42015; Zbl 0845.41011; Zbl 0877.11043; Zbl 0691.10041

References:

[1]	J. Beck, A two-dimensional van Aardenne-Ehrenfest theorem in irregularities of distribution , Compositio Math. 72 (1989), 269–339. · Zbl 0691.10041
[2]	J. Beck and W. W. L. Chen, Irregularities of Distribution , Cambridge Tracts in Math. 89 , Cambridge Univ. Press, Cambridge, 1987. · Zbl 0617.10039
[3]	D. Bilyk, M. T. Lacey, and A. Vagharshakyan, On the small ball inequality in all dimensions , preprint,\arxiv0705.4619v3[math.CA] · Zbl 1214.42024
[4]	D. L. Burkholder, “Sharp inequalities for martingales and stochastic integrals” in Colloque Paul Lévy sur les Processus Stochastiques (Palaiseau, France, 1987) , Astérisque 157 –158., Soc. Math. France, Montrouge, 1988, 75–94. · Zbl 0656.60055
[5]	S.-Y. A. Chang, J. M. Wilson, and T. H. Wolff, Some weighted norm inequalities concerning the Schrödinger operators , Comment. Math. Helv. 60 (1985), 217–246. · Zbl 0575.42025
[6]	A. CóRdoba, Maximal functions: A proof of a conjecture of A. Zygmund , Bull. Amer. Math. Soc. (N.S.) 1 (1979), 255–257. · Zbl 0431.42011
[7]	R. Fefferman and J. Pipher, Multiparameter operators and sharp weighted inequalities , Amer. J. Math. 119 (1997), 337–369. · Zbl 0877.42004
[8]	G. HaláSz, “On Roth’s method in the theory of irregularities of point distributions” in Recent Progress in Analytic Number Theory, Vol. 2, (Durham, U.K., 1979) , Academic Press, London, 1981, 79–94.
[9]	M. Kolountzakis, personal communication, Jan. 2005.
[10]	J. Kuelbs and W. V. Li, Metric entropy and the small ball problem for Gaussian measures , J. Funct. Anal. 116 (1993), 133–157. · Zbl 0799.46053
[11]	J. Pipher, Bounded double square functions , Ann. Inst. Fourier (Grenoble) 36 (1986), 69–82. · Zbl 0583.60038
[12]	K. F. Roth, On irregularities of distribution , Mathematika 1 (1954), 73–79. · Zbl 0057.28604
[13]	W. M. Schmidt, Irregularities of distribution, VII , Acta Arith. 21 (1972), 45–50. · Zbl 0244.10035
[14]	E. M. Stein, Singular Integrals and Differentiability Properties of Functions , Princeton Math. Ser. 30 , Princeton Univ. Press, Princeton, 1970. · Zbl 0207.13501
[15]	-, Topics in Harmonic Analysis Related to the Littlewood-Paley Theory , Ann. of Math. Stud. 63 , Princeton Univ. Press, Princeton, 1970. · Zbl 0193.10502
[16]	M. Talagrand, The small ball problem for the Brownian sheet , Ann. Probab. 22 (1994), 1331–1354. · Zbl 0835.60031
[17]	V. N. Temlyakov, Approximation of Functions with Bounded Mixed Derivative , Proc. Steklov Inst. Math. 178 , Amer. Math. Soc., Providence, 1989. · Zbl 0668.41024
[18]	-, An inequality for trigonometric polynomials and its application for estimating the entropy numbers , J. Complexity 11 (1995), 293–307. · Zbl 0830.42015
[19]	-, Some inequalities for multivariate Haar polynomials , East J. Approx. 1 (1995), 61–72. · Zbl 0845.41011
[20]	-, An inequality for trigonometric polynomials and its application for estimating the Kolmogorov widths , corrected reprint, East J. Approx. 2 (1996), 253–262. · Zbl 0853.42021
[21]	-, “Cubature formulas, discrepancy, and nonlinear approximation” in Numerical Integration and Its Complexity (Oberwolfach, Germany, 2001) , J. Complexity 19 , Elsevier, Amsterdam, 2003, 352–391. · Zbl 1031.41016
[22]	G. Wang, Sharp square-function inequalities for conditionally symmetric martingales , Trans. Amer. Math. Soc. 328 , no. 1 (1991), 393–419., MR1018577 JSTOR: · Zbl 0738.60036