Show that distinct subsets of a specific-cardinality subset have equal sums

Question

For $S\subset\{1,2,...,117\}$ and $|S|=10$, let $A$ and $B$ be distinct subsets of $S$. $s_A$ is the sum of the elements in $A$ and $s_B$ is the sum of those in $B$. How can I prove that there must be at least one such pair for which $s_A=s_B$?

I see that the pigeonhole principle is going to come in handy here through some comparison between the least and greatest possible sums, but I'm rusty on the exact methods for this technique.

This looks quite similar: Prove that there are two subsets of any cardinality-10 subsets of ${1,2\dots,106}$ that sum to the same number, or this one: Any $B \subset {10,11,...,99}$, with $|B| =10$ has two subsets such that $\sum_{a \in B_1} a = \sum_{b \in B_2} b$ — Martin R, Nov 16 '18 at 19:55
Actually, I think this problem proves to be more difficult because the maximum sum is $1125$, which is greater than $2^{10}=1024$, the maximum number of 10-cardinality subsets. — notadoctor, Nov 16 '18 at 20:24
Hint; the maximum sum isn't $1125$. Since we exclude the empty set, the largest the sum could be is $117+116+\cdots +109$. To be sure, if you don't exclude the empty set then you can just use $A=B=\emptyset$...note that these are disjoint even though they coincide (as their intersection is empty). — lulu, Nov 16 '18 at 21:42

Batominovski · Accepted Answer · 2018-11-16T22:33:27.620

Suppose that $m$ is the smallest element of $S$. Let $t$ denote the sum of all elements of $S$. If $$t-m+1<2^{10}-1=1023\,,\text{ or equivalently }t-m\leq 1021\,,$$ then the claim follows, since there are $2^{10}-1$ nonempty subsets of $S$ whose element sums lie (inclusively) betweem $m$ and $t$. Now, prove that $t-m\leq 1021$ must hold.

Well, we have $$t-m\leq \sum\limits_{k=0}^8\,(117-k)=1017\leq 1021\,.$$ The statement is still true if we take $S\subseteq \{1,2,3,\ldots,118\}$ instead. This argument does not work any longer because $$\sum\limits_{k=0}^8\,(118-k)=1026>1021\,.$$
However, note that if $S$ has four consecutive elements, then we are done. In the case that $S$ has no four consecutive elements, we have $$t-m\leq 118+117+116+114+113+112+110+109+108=1017\leq 1021\,.$$ Therefore, the claim is still true. It is a bit more challenging to show that the statement is also true if we take $S\subseteq \{1,2,3,\ldots,119\}$. It would be interesting to find out the largest integer $k$ for which there exists $S\subseteq \{1,2,3,\ldots,k\}$ with $10$ elements such that no two nonempty subsets of $S$ have the same element sum.

Thank you! I was able to solve it in a similar manner, but this is a much more robust proof. I'll mark it as the correct answer. — notadoctor, Nov 17 '18 at 04:36

score 0 · Answer 2 · answered Dec 09 '19 at 13:41

@Batominovski raises the interesting question of finding the maximum value of $k$. In the post

Prove that an $s$ element subset of $1,2,...,n$ must have two distinct subsets with the same sum.

the following simple bound is established, where $s=|S|$, $$k<\frac{s^2-3s+2^{s+1}}{2(s-1)}.$$ This gives @Batominovski's value of $k= 117$ for $s=10$. However, the refined bound given in one of the answers to the previously mentioned post is $$k\le\frac{1}{2w}\left((w+1)(w-2)+2^u\sum_{i=v}^w{ s-u \choose i }+\sum_{i=u}^{s-u} { s \choose i } \right).$$ For $s=10,u=3,v=2,w=5$ this gives the significantly greater value of $k=182$.

Show that distinct subsets of a specific-cardinality subset have equal sums

2 Answers2