Behrend sequence

If ${\displaystyle A}$ is a sequence of integers greater than one, and if ${\displaystyle M(A)}$ denotes the set of positive integer multiples of members of ${\displaystyle A}$, then ${\displaystyle A}$ is a Behrend sequence if ${\displaystyle M(A)}$ has natural density one. This means that the proportion of the integers from 1 to ${\displaystyle n}$ that belong to ${\displaystyle M(A)}$ converges, in the limit of large ${\displaystyle n}$, to one.

The prime numbers form a Behrend sequence, because every integer greater than one is a multiple of a prime number. More generally, a subsequence ${\displaystyle A}$ of the prime numbers forms a Behrend sequence if and only if the sum of reciprocals of ${\displaystyle A}$ diverges.[1]

The semiprimes, the products of two prime numbers, also form a Behrend sequence. The only integers that are not multiples of a semiprime are the prime powers. But as the prime powers have density zero, their complement, the multiples of the semiprimes, have density one.[1]

The problem of characterizing these sequence was described as "very difficult" by Paul Erdős in 1979.[2]

These sequences were named "Behrend sequences" in 1990 by Richard R. Hall, with a definition using logarithmic density in place of natural density.[3] Hall chose their name in honor of Felix Behrend, who proved that for a Behrend sequence ${\displaystyle A}$, the sum of reciprocals of ${\displaystyle A}$ must diverge.[4] Later, Hall and Gérald Tenenbaum used natural density to define Behrend sequences in place of logarithmic density.[5] This variation in definitions makes no difference in which sequences are Behrend sequences, because the Davenport–Erdős theorem shows that, for sets of multiples, having natural density one and having logarithmic density one are equivalent.[6]

When ${\displaystyle A}$ is a Behrend sequence, one may derive another Behrend sequence by omitting from ${\displaystyle A}$ any finite number of elements.[5]

Every Behrend sequence may be decomposed into the disjoint union of infinitely many Behrend sequences.[1]