Abstract:We show $A+B$ contains a perfect square if $A,B \subseteq \{1,\dots,N\}$ have $|A|,|B| \ge (\frac{3}{8}+\epsilon)N$. The constant $\frac{3}{8}$ is optimal.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: when two sets \(A\) and \(B\) are subsets of the first \(N\) positive integers and the size of each set is at least \((3/8+\epsilon)N\), whether their sum set \(A + B\) must contain a perfect square number.
Specifically, the main result (Theorem 1) of the paper shows that for any given \(\epsilon> 0\), if \(N\) is large enough and \(A, B\subseteq [N]\) satisfy \(|A|, |B|\geq(3/8 + \epsilon)N\), then \(A + B\) must contain a perfect square number. Here, \([N]\) represents the set \(\{1, 2,\ldots, N\}\).
In addition, the paper also gives a quantitative result, that is, among the element pairs \((a, b)\in A\times B\) of \(A\) and \(B\) that satisfy the above conditions, the lower bound of the number such that \(a + b\) is a perfect square number is \(10^{- 6}\epsilon^{3}N^{3/2}\).
This problem originates from a related problem proposed by Erdős and Silverman. They studied the maximum possible size of the set \(A\subseteq\{1,\ldots, N\}\) under the condition of not containing perfect square numbers. Through a series of historical backgrounds and previous research results, the author finally solved this "bipartite" version of the Erdős - Silverman problem and proved that the constant \(3/8\) is optimal.
Expressed in formula, the core problem of the paper is:
\[ \text{If } |A|, |B|\geq\left(\frac{3}{8}+\epsilon\right)N, \text{ then does } A + B \text{ necessarily contain a perfect square number?} \]
Among them, a perfect square number refers to a number that can be expressed as \(k^{2}\), where \(k\) is an integer.