Skip to content

Problem

erdos:131

Let F(N)F(N) be the maximal size of A{1,,N}A\subseteq\{1,\ldots,N\} such that no aAa\in A divides the sum of any nonempty subset of A{a}A\setminus\{a\}. Estimate F(N)F(N). The lower bound F(N)N1/5F(N)\gg N^{1/5} is classical, from constructions of Erdős and Csaba, and every non-dividing set is non-averaging, which gave F(N)N1/4+o(1)F(N)\leq N^{1/4+o(1)}. The claimed new result is the matching upper bound F(N)N1/5+o(1)F(N)\leq N^{1/5+o(1)}, obtained by running the Pham-Zakharov density-increment argument one dimension lower through a projective normalization, hence F(N)=N1/5+o(1)F(N)=N^{1/5+o(1)}.

Declared status
open
Formalization
not formalized
OEIS
A068063

Matching claims

0
No direct claims
This problem has no directly related claim record.

Search problems.science

Find a Problem, Result, source, or page