{"id":"arxiv/2609.06303","url":"https://arxiv.org/abs/2609.06303","tags":["math.CO"],"score":0,"title":"A negative answer to the Erdős-Sárkőzy question","domain":"math.CO","source":"arxiv","authors":["Simone Costa"],"reviews":0,"subject":"math.CO","summary":"For a finite set $A$ of positive integers, let $H(A)$ be its set of subset sums, and let $g_3(n)$ be the least $N$ for which some $n$-element set $A\\subseteq\\{1,\\ldots,N\\}$ has $H(A)$ free of nonconstant three-term arithmetic progressions. Erdős and Sárkőzy asked whether $g_3(n)\\gg 3^n$. We prove \\[ \\liminf_{n\\to\\infty}\\frac{g_3(n)}{3^n}=0. \\] More precisely, for every $ε>0$ there is an integer $d\\ge2$ such that $g_3(d\\ell)\\le ε3^{d\\ell}$ for all sufficiently large $\\ell$. The proof uses Korsky's characterization of the problem in terms of ternary coefficient sums and a consequence of an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-05","reactions":{}}