Abstract:Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide effective bounds for a specific type of polynomial progression. Specifically, the author studied subsets \(S \subseteq \{1, \ldots, N\}\) that avoid non - trivial triples of the form \(x, x + y^2 - 1, x + 2(y^2 - 1)\), and proved that the size of such a set \(S\) satisfies:
\[|S| \ll \frac{N}{\log_m N},\]
where \(\log_m\) represents the \(m\)-fold iterated logarithm, and \(m\in \mathbb{N}\) is an absolute constant. This result answers a question raised by Green.
### Interpretation
1. **Background and Motivation**
- Furstenberg and Sárközy independently proved that subsets of natural numbers with positive upper density must contain non - trivial polynomial progressions of certain forms.
- Sárközy used the circle method to prove that for progressions of the form \(x, x + y^2\), if \(S\subseteq \{1, \ldots, N\}\) does not contain such progressions, then \(|S| \ll N/(\log N)^{1/3 - o(1)}\).
- Subsequent researchers further improved and extended these results, but most focused on homogeneous polynomial progressions.
2. **Research Objectives**
- The goal of this paper is to provide effective bounds for sets that avoid specific non - homogeneous polynomial progressions.
- In particular, the author considered progressions of the form \(x, x + y^2 - 1, x + 2(y^2 - 1)\) and proved the corresponding bounds.
3. **Main Contributions**
- The author proved that for sets \(S\) that avoid the above progressions, their sizes have a significant upper bound.
- This result was achieved by introducing new techniques and methods, especially the degree - lowering method, and provided the first effective result in the integer setting.
4. **Significance**
- This result provides new insights into the effective version of the polynomial Szemerédi theorem.
- It provides a basis and tools for future research on more complex polynomial progressions.
### Formula Display
The main formulas involved in the paper include:
- The size bound of set \(S\):
\[
|S| \ll \frac{N}{\log_m N}
\]
- The form of polynomial progressions:
\[
x, x + y^2 - 1, x + 2(y^2 - 1)
\]
These formulas show how the author, through strict mathematical derivations, obtained effective bounds on the size of set \(S\).