Wiki
Wiki

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

Updated


Source. Hough, Lemma 5, printed p. 375 of the published paper. Use the notation in the sieve setup.

Statement. Let k≥1k\ge1 be an integer, B>0B>0, and wn≥0w_n\ge0 for n∈Ni+1n\in\mathcal N_{i+1}. Then

1Tiμi({r∈Si:∑nwnan(r)>B})≤βk(i)kBk(∑nwn)k.\frac1{T_i}\mu_i\left(\left\{r\in S_i: \sum_nw_na_n(r)>B\right\}\right) \le\frac{\beta_k(i)^k}{B^k}\left(\sum_nw_n\right)^k.

Complete proof. If W=∑nwn=0W=\sum_nw_n=0, the weighted sum vanishes identically and both sides are zero. Otherwise put un=wn/Wu_n=w_n/W. The convexity of x↦xkx\mapsto x^k on [0,∞)[0,\infty) gives

(∑nunan(r))k≤∑nunan(r)k.\left(\sum_nu_na_n(r)\right)^k\le\sum_nu_na_n(r)^k.

Average over the probability measure μi/Ti\mu_i/T_i and apply Lemma 4 to every nn. The result is E(∑nunan)k≤βk(i)k\mathbb E(\sum_nu_na_n)^k\le\beta_k(i)^k. For a nonnegative random variable XX, the pointwise inequality 1{X>B}≤Xk/Bk1_{\{X>B\}}\le X^k/B^k implies P(X>B)≤E(Xk)/Bk\mathbb P(X>B)\le\mathbb E(X^k)/B^k by summation. Apply this with X=W∑nunanX=W\sum_nu_na_n to obtain the claim.

Scope. The source excludes the all-zero weight family. Its trivial extension above includes primes not dividing QQ, whose weights in the next application are all zero.

Bears on. Problem 2.