Lower Bounds on the Least Common Multiple of a Polynomial Sequence and its Radical

Alexei Entin
2024-01-28
Abstract:Cilleruelo conjectured that for an irreducible polynomial $f \in \mathbb{Z}[X]$ of degree $d \geq 2$, denoting $$L_f(N)=\mathrm{lcm}(f(1),f(2),\ldots f(N))$$ one has $$\log L_f(n)\sim(d-1)N\log N.$$ He proved it in the case $d=2$ but it remains open for every polynomial with $d>2$.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve the problem of estimating the lower bound of the least common multiple (LCM) of polynomial sequences. Specifically, the paper focuses on the estimation of the lower bound of the logarithm value $\log L_f(N)$ of the least common multiple $L_f(N)=\text{lcm}(f(1), f(2), \ldots, f(N))$ for an irreducible polynomial $f\in\mathbb{Z}[X]$. ### Background and Problem Statement - **Chebychev's Observation**: Chebychev observed that $\log \text{lcm}(1, 2, \ldots, N)\sim N$, which is equivalent to the prime number theorem and gives the upper and lower bounds of this quantity. - **The Case of Linear Polynomials**: For the linear polynomial $f(x) = qx + a$, Bateman and Kalb proved that $\log \text{lcm}(f(1), f(2), \ldots, f(N))\sim c_f N$, where $c_f=\frac{q}{\phi(q)}\sum_{1\leq m\leq q, (m, q) = 1}\frac{1}{m}$. - **The Case of Quadratic Polynomials**: Cilleruelo proved that for an irreducible quadratic polynomial $f$, $\log L_f(N)\sim N\log N$. - **The Case of Higher - Degree Polynomials**: Cilleruelo conjectured that for an irreducible polynomial $f$ with degree $d\geq2$, $\log L_f(N)\sim(d - 1)N\log N$. However, this conjecture has not been proven yet when $d>2$. ### Existing Results - **Upper Bound**: It is known that $\log L_f(N)\lesssim(d - 1)N\log N$. - **Lower Bound**: - Maynard and Rudnick provided a lower bound $\log L_f(N)\gtrsim\frac{1}{d}N\log N$. - Sah improved this lower bound and obtained $\log L_f(N)\gtrsim N\log N$. - Sah also studied the root $\ell_f(N)=\text{rad}(L_f(N))$ of $L_f(N)$ and proposed a similar conjecture $\log \ell_f(N)\sim\log L_f(N)\sim(d - 1)N\log N$. ### Main Contributions of the Paper - **Improved Lower Bound**: The paper gives an improved lower bound for irreducible polynomials of a specific form. In particular, for the factored polynomial $f = g\circ h$, where $g, h\in\mathbb{Z}[x]$ and $\deg g, \deg h\geq2$, the author proves that $\log L_f(N)\gtrsim\frac{d - 1}{d-\deg g}N\log N$. - **Special Properties of Roots**: The paper also considers the case where the root set of a polynomial can be divided into several "powerful" subsets, further improving the lower bound. - **Polynomials with Small Galois Groups**: For polynomials with small Galois groups, the paper provides a more refined lower - bound estimate. ### Specific Results - **Theorem 1**: For an irreducible polynomial $f$ with degree $d\geq3$, $\log \ell_f(N)\gtrsim\frac{d - 1}{V_d}N\log N$, where $V_d$ is a specific constant. - **Theorem 2**: For an irreducible polynomial $f$...