Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


In the growing range of Lemma 2, set q=cnq=cn, pm=(1+eq/m)−1p_m=(1+e^{q/m})^{-1}, and let YmY_m be independent Bernoulli variables of means pmp_m. Put Z=∑mYm/mZ=\sum_mY_m/m, so EZ=x\mathbb EZ=x. Uniformly there,

Var⁡Z≍x0q−1,∑mE∣(Ym−pm)/m∣3=Ox0(q−2).\operatorname{Var}Z\asymp_{x_0}q^{-1},\qquad \sum_m\mathbb E|(Y_m-p_m)/m|^3=O_{x_0}(q^{-2}).

The same estimates hold after removing any one summand; a deterministic shift does not affect them. Berry–Esseen consequently gives normal-approximation error Ox0(q−1/2)O_{x_0}(q^{-1/2}) in either case.

Source: published PDF, p. 5, equations (3)–(5) and the coordinate calculation. Integral/variation bounds replace the source's per-slab lower estimates, which can have empty integer intervals. Absolute third moments, as printed in the published version, are required.

Bears on. Problem 297.

Proof

For fixed r≥1r\ge1 let fr(u)=e−q/u/urf_r(u)=e^{-q/u}/u^r for u>0u>0, with fr(0)=0f_r(0)=0. It is unimodal, with maximum Or(q−r)O_r(q^{-r}) and total variation of that order. The unit-interval Riemann comparison therefore gives

∑m=1ne−q/mmr=q1−r∫c∞e−ttr−2 dt+Or(q−r).(1)\sum_{m=1}^n\frac{e^{-q/m}}{m^r} =q^{1-r}\int_c^\infty e^{-t}t^{r-2}\,dt+O_r(q^{-r}). \tag{1}

For r=2,3r=2,3, c≤C(x0)c\le C(x_0) bounds the integral above and below by positive constants depending only on x0,rx_0,r. Since q→∞q\to\infty uniformly, the error is smaller than the main term. Thus these sums are Θx0,r(q1−r)\Theta_{x_0,r}(q^{1-r}). For later use, r=1r=1 instead gives the upper bound O(1+log⁡+(1/c))O(1+\log_+(1/c)), because the integral has only a logarithmic divergence at zero and q−1≤1q^{-1}\le1 eventually.

For t=q/m>0t=q/m>0,

14e−t≤pm(1−pm)=e−t(1+e−t)2≤e−t.\frac14e^{-t}\le p_m(1-p_m)=\frac{e^{-t}}{(1+e^{-t})^2} \le e^{-t}.

Sum this divided by m2m^2 and use (1) for the variance. For a Bernoulli variable of mean pp,

E∣Y−p∣3=p(1−p)((1−p)2+p2)≤p≤e−q/m.\mathbb E|Y-p|^3 =p(1-p)\bigl((1-p)^2+p^2\bigr)\le p\le e^{-q/m}.

Equation (1) with r=3r=3 proves the third-moment bound. The variance of one summand is at most sup⁡u>0e−q/u/u2=O(q−2)\sup_{u>0}e^{-q/u}/u^2=O(q^{-2}). Removing it from a variance bounded below by a positive multiple of q−1q^{-1} preserves that lower bound for large qq, uniformly in the index. The third-moment upper bound can only decrease. Independence remains. Substitute these estimates into Lemma 3 to get error O(q−2/(q−1)3/2)=O(q−1/2)O(q^{-2}/(q^{-1})^{3/2})=O(q^{-1/2}).