OPEN

Let $A\subset \mathbb{C}$ be a finite set of fixed size, for any $k\geq 1$ let
\[A_k = \{ z_1+\cdots+z_k : z_i\in A\textrm{ distinct}\}.\]
For $k>2$ does the set $A_k$ (together with the size of $A$) uniquely determine the set $A$?

A problem of Selfridge and Straus [SeSt58], who prove that this is true if $k=2$ and $\lvert A\rvert \neq 2^l$ (for $l\geq 0$). On the other hand, there are examples with two distinct $A,B$ both of size $2^l$ such that $A_2=B_2$.

More generally, they prove that $A$ is uniquely determined by $A_k$ if $n$ is divisible by a prime greater than $k$. Selfridge and Straus sound more cautious than Erdős, and it may well be that for all $k>2$ there exist $A,B$ of the same size with identical $A_k=B_k$.

(In [Er61] Erdős states this problem incorrectly, replacing sums with products. This product formulation is easily seen to be false, as observed by Steinerberger: consider the case $k=3$ and subsets of the 6th roots of unity corresponding to $\{0,1,2,4\}$ and $\{0,2,3,4\}$ (as subsets of $\mathbb{Z}/6\mathbb{Z}$). The correct problem statement can be found in the paper of Selfridge and Straus that Erdős cites.)