Wiki
Wiki

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

Updated


Statement

Setting (p. 695). The paper closes with number-theoretic results Erdős had recently obtained by probabilistic methods and had not published; item 1 collects the following. No proofs are given.

Divisors in residue classes (p. 695, quoted). "To every ϵ1\epsilon_1 and ϵ2\epsilon_2 there exists an n0n_0 so that if n>n0n>n_0 and m<2(1−ϵ1)log⁡log⁡nm<2^{(1-\epsilon_1)\log\log n}, then all but ϵ2n\epsilon_2n integers 1⩽u⩽m1\leqslant u\leqslant m [sic] have divisors in every residue class  mod m\bmod m." The range 1≤u≤m1\le u\le m is as printed; the count ϵ2n\epsilon_2n indicates u≤nu\le n.

Complement (p. 695, quoted). The paper calls the result best possible in the sense that "If m>2(1+ϵ1)log⁡log⁡nm>2^{(1+\epsilon_1)\log\log n} then the number of integers u<nu<n which have a divisor in any given residue class mod mm is less than ϵ2n\epsilon_2n if n>n0(ϵ1,ϵ2)n>n_0(\epsilon_1,\epsilon_2)." Read literally, the phrase "any given residue class" fails for the class of 11, since 11 divides every uu; the reading that complements the first statement is that fewer than ϵ2n\epsilon_2n integers u<nu<n have divisors in every residue class mod mm. The print does not say which reading it intends. The paper says the proof of this second statement is comparatively simple and does not need probabilistic arguments.

Random subset products (p. 695). The paper says the proof of the first statement depends on the following. Let GnG_n be an abelian group of nn elements, let k=[(1+ϵ)log⁡n/log⁡2]k=\bigl[(1+\epsilon)\log n/\log2\bigr], and choose kk elements a1,…,aka_1,\ldots,a_k of GnG_n at random. Then for all but o((nk))o\bigl(\binom nk\bigr) choices of a1,…,aka_1,\ldots,a_k, every element of GnG_n can be written as ∏i=1kaiϵi\prod_{i=1}^k a_i^{\epsilon_i} with each ϵi=0\epsilon_i=0 or 11.

Pillai's function (p. 695). Let Q(n)Q(n) be the number of integers m≤nm\le n that have no divisor of the form p(kp+1)p(kp+1). The paper recalls Pillai's bound Q(n)<cn/log⁡log⁡log⁡nQ(n)<cn/\log\log\log n and states that, using the results above, Erdős proved

Q(n)=(1+o(1))e−γnlog⁡2⋅log⁡log⁡n.Q(n)=\bigl(1+o(1)\bigr)\frac{e^{-\gamma}n}{\log2\cdot\log\log n}.

The print does not restate the ranges of pp and kk in Pillai's definition.

Source. P. Erdős, On some applications of probability to analysis and number theory, J. London Math. Soc. 39 (1964), 692--696; item 1 on p. 695. The edition read is named on the source card.

Read depth. Claims checked: the statements were read clause by clause on the page images of the print. The paper gives no proofs.

Proof pointer

None in this paper; the results are announced as not yet published.

Dependencies

The first statement is said to rest on the random subset products result, and the asymptotic for Q(n)Q(n) on the results of item 1.

Bears on

No Erdős problem is recorded as bearing on these statements.