Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

The Largest Prime Factor of an Irreducible Cubic Polynomial

../

main_theorem: Gives a positive-density pointwise large-prime-factor result and its running-product consequence for monic irreducible cubics.


Ivan Ermoshin, The Largest Prime Factor of an Irreducible Cubic Polynomial, arXiv:2602.03642v3, updated 12 June 2026.

Copy read. The copy read for this card is the arXiv v3 PDF, which has 28 physical pages. The exact reviewer download time is unknown. That copy establishes a preprint version, not journal publication or independent acceptance. The arXiv record names arXiv's non-exclusive distribution license (arXiv:2602.03642), every other right reserved.

For an integer polynomial ff, the paper defines

P(x,f)=P+ ⁣(∏n≤xf(n)).P(x,f)=P^+\!\left(\prod_{n\leq x}f(n)\right).

The unnumbered main theorem on p. 3 (printed and physical page numbers agree) states that for every monic irreducible cubic f∈Z[X]f\in\mathbb Z[X] there is a constant c>0c>0 such that a positive proportion of the integers n∈[x,2x]n\in[x,2x] have a prime factor of f(n)f(n) exceeding x1+cx^{1+c}; in particular P(x,f)≫x1+cP(x,f)\gg x^{1+c}. The abstract (p. 1) says the exponent depends on the polynomial, and no explicit value is given; the corpus writes cfc_f and ≫f\gg_f for that dependence.

This is unconditional positive-power progress for the full class of monic irreducible cubics. The paper recalls (p. 3) that Heath-Brown asked whether his result for x3+2x^3+2 generalizes to arbitrary cubic polynomials; the theorem does so for the monic irreducible ones. It covers only that class among the irreducible polynomials of degree at least two in Problem 976, and it does not reach the separate x3x^3 target there.

Sections 1.3--5 (pp. 3--27) outline and execute a generalization of Heath-Brown's cubic method. The argument expresses f(n)f(n) as a norm in the cubic field generated by a root of ff, constructs a positive-density set with an excess small-prime logarithmic contribution (Lemma 2, p. 6), separates a main term S0S_0 from an error S1S_1 (p. 7) and reduces the theorem to S0≫1S_0\gg1 and S1=o(X)S_1=o(X) (Lemma 3, p. 8). Section 4 uses a qq-van der Corput estimate to get S1=o(X)S_1=o(X) for δ≤10−3\delta\leq10^{-3} (p. 22), and Section 5 proves S0≫1S_0\gg1 through ideal and fundamental-domain counting (p. 27). This is a proof map only.

Source: https://arxiv.org/abs/2602.03642.

Read status. Claims checked: the main theorem, the definition of P(x,f)P(x,f) (p. 2) and Lemmas 2 and 3 were read on the page images of pp. 1--8, 15--17 and 21--28. The estimates of Sections 2--5 were not re-derived, and nothing here is independently reviewed.

Bears on. #976: for each monic irreducible cubic ff the main theorem gives Ff(n)≫fn1+cfF_f(n)\gg_f n^{1+c_f} with some cf>0c_f>0, the problem's first question for that class only; it gives no exponent uniform in ff, no result for other irreducible polynomials and no bound Ff(n)≫n3F_f(n)\gg n^3.

Result. Main theorem (unnumbered, p. 3).

No file of this source is held: no license on record permits its redistribution, and the card cites the edition it names above.