Abstract:We make progress on a conjecture of Cilleruelo on the growth of the least common multiple of consecutive values of an irreducible polynomial $f$ on the additional hypothesis that the polynomial be even. This strengthens earlier work of Rudnick--Maynard and Sah subject to that additional hypothesis when the degree of $f$ exceeds two. The improvement rests upon a different treatment of `large' prime divisors of $Q_f(N) = f(1)\cdots f(N)$ by means of certain zero sums amongst the roots of $f$. A similar argument was recently used by Baier and Dey with regard to another problem. The same method also allows for further improvements on a related conjecture of Sah on the size of the radical of $Q_f(N)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the growth estimate of the least common multiple (LCM) of polynomial sequences, especially the Cilleruelo conjecture. Specifically:
1. **Background problems**:
- Understanding the arithmetic properties of polynomial values is a very attractive area in number theory, with a rich history and many long - standing unsolved problems.
- For example, even for the seemingly simple quadratic polynomial \(X^2 + 1\) (or any other polynomial of degree \(d\geq2\) without "local obstacles"), whether it represents infinitely many prime numbers remains an unsolved problem.
2. **Specific problems**:
- Cilleruelo [2] considered the problem of estimating the least common multiple (denoted as \(L_f(N)\)) of polynomials \(f(1), f(2),\ldots, f(N)\) and proved that for an irreducible quadratic polynomial \(f\in\mathbb{Z}[X]\),
\[
\log L_f(N)=N\log N + B_fN+o(N),\quad\text{when}\ N\rightarrow\infty,
\]
where \(B_f\) is a certain explicitly computable constant depending on \(f\).
- For higher - degree polynomials, Cilleruelo conjectured that for all irreducible polynomials \(f\in\mathbb{Z}[X]\) with degree \(d\geq3\),
\[
\log L_f(N)\sim(d - 1)N\log N,\quad\text{when}\ N\rightarrow\infty.
\]
3. **Existing progress**:
- Maynard and Rudnick [6] observed that a careful examination of Cilleruelo's argument has already provided an upper bound
\[
\log L_f(N)\lesssim(d - 1)N\log N.
\]
- Sah [8] further improved the lower bound and proved that
\[
\log L_f(N)\gtrsim N\log N.
\]
4. **Main contributions of this paper**:
- The author strengthened the Cilleruelo conjecture under the additional assumption that the polynomial \(f\) is an even function (i.e., \(f(-X)=f(X)\)). Specifically, the author proved that for any irreducible, monic polynomial \(f\in\mathbb{Z}[X]\) with degree \(d\geq2\), if \(f\) is an even function, then
\[
\log L_f(N)\geq\frac{2(d - 1)}{d}N\log N - O(N).
\]
- In addition, the author also improved Sah's related conjecture, especially when it involves cyclotomic polynomials.
In conclusion, the main goal of this paper is to further promote the understanding of the growth of the least common multiple of polynomial sequences under specific conditions, thus providing new insights for solving the Cilleruelo conjecture.