such that for each , cannot be represented as a sum of any subset of the preceding elements of the same sequence.
The definition of sum-free sequence is different of that of sum-free set, because in a sum-free set only the sums of two elements must be avoided, while a sum-free sequence must avoid sums of larger sets of elements as well.
The powers of two,
- 1, 2, 4, 8, 16, ...
form a sum-free sequence: each term in the sequence is one more than the sum of all preceding terms, and so cannot be represented as a sum of preceding terms.
Sums of reciprocals
A set of integers is said to be small if the sum of its reciprocals converges to a finite value. For instance, by the prime number theorem, the prime numbers are not small. Paul Erdős (1962) proved that every sum-free sequence is small, and asked how large the sum of reciprocals could be. For instance, the sum of the reciprocals of the powers of two (a geometric series) is two.
If denotes the maximum sum of reciprocals of a sum-free sequence, then through subsequent research it is known that .
It follows from the fact that sum-free sequences are small that they have zero Schnirelmann density; that is, if is defined to be the number of sequence elements that are less than or equal to , then . Erdős (1962) showed that for every sum-free sequence there exists an unbounded sequence of numbers for which where is the golden ratio, and he exhibited a sum-free sequence for which, for all values of , , subsequently improved to by Deshouillers, Erdős and Melfi in 1999 and to by Luczak and Schoen in 2000, who also proved that the exponent 1/2 cannot be furhermore improved.
- Abbott, H. L. (1987), "On sum-free sequences", Acta Arithmetica 48 (1): 93–96, MR 893466.
- Deshouillers, Jean-Marc; Erdős, Pál; Melfi, Giuseppe (1999), "On a question about sum-free sequences", Discrete Mathematics 200: 49–54, MR 1692278.
- Erdős, Pál (1962), "Számelméleti megjegyzések, III. Néhány additív számelméleti problémáról", Matematikai Lapok (in Hungarian) 13: 28–38, MR 0144871.
- Levine, Eugene; O'Sullivan, Joseph (1977), "An upper estimate for the reciprocal sum of a sum-free sequence", Acta Arithmetica 34 (1): 9–24, MR 0466016.
- Luczak, Tomasz; Schoen, Tomasz (2000), Acta Arithmetica 95: 225–229, MR 1793162.
- Yang, Shi Chun (2009), "Note on the reciprocal sum of a sum-free sequence", Journal of Mathematical Research and Exposition 29 (4): 753–755, MR 2549677.