MathLabs

Problem 3

Determine all positive integers kk for which there exist a positive integer mm and a set SS of positive integers such that any integer n>mn>m can be written as a sum of distinct elements of SS in exactly kk ways.
Step 5 of 5: Count representations by residue to force k a power of two
#{T′⊆T:s(T′)≡y(modx)}=k  for every residue,kx=2∣T∣\#\{T'\subseteq T: s(T')\equiv y \pmod x\}=k\ \text{ for every residue},\quad kx=2^{|T|}
Detailed analysis

Since any nonnegative integer has a unique representation as a sum of distinct elements of {x,2x,4x,…}\{x,2x,4x,\ldots\} once it is a large enough multiple of xx, the number of ways to write a large yy as a sum of distinct elements of SS equals the number of subsets T′⊆TT'\subseteq T with s(T′)≡y(modx)s(T')\equiv y\pmod x. This count must equal kk for every one of the xx residue classes, so kxkx equals the total number of subsets of TT, namely 2∣T∣2^{|T|}. Hence kk divides 2∣T∣2^{|T|}, so kk is a power of two, completing the classification.