Wiki
Wiki

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

Updated


Claim. Let AA be an infinite set of pairwise coprime positive integers with property P. Schoen's Theorem (p. 193) gives ∣A∩{1,…,N}∣<2N2/3|A\cap\{1,\ldots,N\}|<2N^{2/3} for infinitely many NN, so for every c<1/3c<1/3 there are infinitely many NN with ∣A∩{1,…,N}∣<N1−c|A\cap\{1,\ldots,N\}|<N^{1-c}: for pairwise coprime sets the second question of Problem 12 has the answer yes. Schoen's P-sets let the two larger elements coincide; on infinite pairwise coprime sets the two readings agree, since a∣2ba\mid2b with gcd⁡(a,b)=1\gcd(a,b)=1 forces a≤2a\le2, and such a set contains neither 11, which divides every sum, nor 22, which divides the sum of any two of its other, odd, elements. The squares of the primes p≡3(mod4)p\equiv3\pmod4 show that the exponent cannot go below 1/21/2 (p. 195).

Covers. The second question for pairwise coprime sets. Not the second question in general, which the DeepMind claim page answers no, and not the first or third.

Acceptance. Refereed: J. Combin. Theory Ser. A 94 (2001), no. 1, 191--195.

Depends on. No page of this wiki.