Behrend's theorem
In arithmetic combinatorics, Behrend's theorem states that the subsets of the integers from 1 to [math]\displaystyle{ n }[/math] in which no member of the set is a multiple of any other must have a logarithmic density that goes to zero as [math]\displaystyle{ n }[/math] becomes large. The theorem is named after Felix Behrend, who published it in 1935.
Statement
The logarithmic density of a set of integers from 1 to [math]\displaystyle{ n }[/math] can be defined by setting the weight of each integer [math]\displaystyle{ i }[/math] to be [math]\displaystyle{ 1/i }[/math], and dividing the total weight of the set by the [math]\displaystyle{ n }[/math]th partial sum of the harmonic series (or, equivalently for the purposes of asymptotic analysis, dividing by [math]\displaystyle{ \log n }[/math]). The resulting number is 1 or close to 1 when the set includes all of the integers in that range, but smaller when many integers are missing, and particularly when the missing integers are themselves small.[1]
A subset of [math]\displaystyle{ \{1,\dots n\} }[/math] is called primitive if it has the property that no subset element is a multiple of any other element. Behrend's theorem states that the logarithmic density of any primitive subset must be small. More precisely, the logarithmic density of such a set must be [math]\displaystyle{ O(1/\sqrt{\log\log n}) }[/math].[1]
For infinite primitive sequences, the maximum possible density is smaller, [math]\displaystyle{ o(1/\sqrt{\log\log n}) }[/math].[2]
Examples
There exist large primitive subsets of [math]\displaystyle{ \{1,\dots n\} }[/math]. However, these sets still have small logarithmic density.
- In the subset [math]\displaystyle{ \{\lceil (n+1)/2 \rceil,\dots n\} }[/math], all pairs of numbers are within a factor of less than two of each other, so no two can be multiples. It includes approximately half of the numbers from [math]\displaystyle{ 1 }[/math] to [math]\displaystyle{ n }[/math]. By Dilworth's theorem (using a partition of the integers into chains of powers of two multiplied by an odd number) this subset has maximum cardinality among all subsets in which no two are multiples. But because all of its elements are large, this subset has low logarithmic density, only [math]\displaystyle{ O(1/\log n) }[/math].
- Another primitive subset is the set of prime numbers. Despite there being fewer prime numbers than the number of elements in the previous example, this set has larger logarithmic density, [math]\displaystyle{ O(\log\log n/\log n) }[/math], according to the divergence of the sum of the reciprocals of the primes.
Both of these subsets have significantly smaller logarithmic density than the bound given by Behrend's theorem. Resolving a conjecture of G. H. Hardy, both Paul Erdős and Subbayya Sivasankaranarayana Pillai showed that, for [math]\displaystyle{ k\approx\log\log n }[/math], the set of numbers with exactly [math]\displaystyle{ k }[/math] prime factors (counted with multiplicity) has logarithmic density
- [math]\displaystyle{ \frac{1+o(1)}{\sqrt{2\pi\log\log n}}, }[/math]
exactly matching the form of Behrend's theorem.[3] This example is best possible, in the sense that no other primitive subset has logarithmic density with the same form and a larger leading constant.[4]
History
This theorem is known as Behrend's theorem because Felix Behrend proved it in 1934,[1] and published it in 1935.[5] Paul Erdős proved the same result, on a 1934 train trip from Hungary to Cambridge to escape the growing anti-semitism in Europe, but on his arrival he discovered that Behrend's proof was already known.[1]
References
- ↑ 1.0 1.1 1.2 1.3 "On divisibility properties of sequences of integers", The mathematics of Paul Erdős, I, Algorithms and Combinatorics, 13 (2nd ed.), Berlin: Springer, 2013, pp. 221–232, doi:10.1007/978-3-642-60408-9_19. See in particular p. 222.
- ↑ "On a theorem of Behrend", Journal of the Australian Mathematical Society 7: 9–16, 1967, https://users.renyi.hu/~p_erdos/1967-09.pdf
- ↑ "On the integers having exactly [math]\displaystyle{ K }[/math] prime factors", Annals of Mathematics, Second Series 49: 53–66, 1948, doi:10.2307/1969113, https://users.renyi.hu/~p_erdos/1948-08.pdf
- ↑ "On an extremal problem concerning primitive sequences", Journal of the London Mathematical Society, Second Series 42: 484–488, 1967, doi:10.1112/jlms/s1-42.1.484, https://users.renyi.hu/~p_erdos/1967-10.pdf
- ↑ "On sequences of numbers not divisible one by another", Journal of the London Mathematical Society s1-10 (1): 42–44, January 1935, doi:10.1112/jlms/s1-10.37.42
![]() | Original source: https://en.wikipedia.org/wiki/Behrend's theorem.
Read more |