number-theory / Analytic number theory, sieve methods

Squarefree values of irreducible quartic polynomials, and (d-2)-power-free values in every degree d at least 4

Theorem 1.1: for f∈Z[x]f\in\mathbb Z[x] irreducible over Q\mathbb Q of degree 4≤d≤84\le d\le8 with no fixed prime (d−2)(d-2)th-power divisor, the number of n≤Xn\le X with f(n)f(n) (d−2)(d-2)-free is cf,d−2X+of(X)c_{f,d-2}X+o_f(X) with the Euler-product constant, which is positive; for d=4d=4 this is squarefree values of quartics, e.g. n4+2n^4+2 and n4+1n^4+1. With Browning's theorem for d≥9d\ge9 (Corollary 1.2) the (d−2)(d-2)-free density holds for all d≥4d\ge4; Corollary 1.3 treats separable products. Not shown: a power-saving error term, uniformity in ff, or squarefree values in degree five and above. Priority: Carella's preprint claims n4+1n^4+1 and n4+2n^4+2, and Zapata Ceballos-Jalalvand claim positive density for a class including n4+1n^4+1; the manuscript uses neither.

48Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 24, 2026Significance 48/100Registry: lean checked

Squarefree values of irreducible quartic polynomials, and (d-2)-power-free values in every degree d at least 4

Prior state unknown→proved

Theorem 1.1: for f∈Z[x]f\in\mathbb Z[x] irreducible over Q\mathbb Q of degree 4≤d≤84\le d\le8 with no fixed prime (d−2)(d-2)th-power divisor, the number of n≤Xn\le X with f(n)f(n) (d−2)(d-2)-free is cf,d−2X+of(X)c_{f,d-2}X+o_f(X) with the Euler-product constant, which is positive; for d=4d=4 this is squarefree values of quartics, e.g. n4+2n^4+2 and n4+1n^4+1. With Browning's theorem for d≥9d\ge9 (Corollary 1.2) the (d−2)(d-2)-free density holds for a…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for f∈Z[x]f\in\mathbb Z[x] irreducible over Q\mathbb Q of degree 4≤d≤84\le d\le8 with no fixed prime (d−2)(d-2)th-power divisor, the number of n≤Xn\le X with f(n)f(n) (d−2)(d-2)-free is cf,d−2X+of(X)c_{f,d-2}X+o_f(X) with the Euler-product constant, which is positive; for d=4d=4 this is squarefree values of quartics, e.g. n4+2n^4+2 and n4+1n^4+1. With Browning's theorem for d≥9d\ge9 (Corollary 1.2) the (d−2)(d-2)-free density holds for all d≥4d\ge4; Corollary 1.3 treats separable products. Not shown: a power-saving error term, uniformity in ff, or squarefree values in degree five and above. Priority: Carella's preprint claims n4+1n^4+1 and n4+2n^4+2, and Zapata Ceballos-Jalalvand claim positive density for a class including n4+1n^4+1; the manuscript uses neither.

Theorem 1.1: for f∈Z[x]f\in\mathbb Z[x] irreducible over Q\mathbb Q of degree 4≤d≤84\le d\le8 with no fixed prime (d−2)(d-2)th-power divisor, the number of n≤Xn\le X with f(n)f(n) (d−2)(d-2)-free is cf,d−2X+of(X)c_{f,d-2}X+o_f(X) with the Euler-product constant, which is positive; for d=4d=4 this is squarefree values of quartics, e.g. n4+2n^4+2 and n4+1n^4+1. With Browning's theorem for d≥9d\ge9 (Corollary 1.2) the (d−2)(d-2)-free density holds for all d≥4d\ge4; Corollary 1.3 treats separable products. Not shown: a power-saving error term, uniformity in ff, or squarefree values in degree five and above. Priority: Carella's preprint claims n4+1n^4+1 and n4+2n^4+2, and Zapata Ceballos-Jalalvand claim positive density for a class including n4+1n^4+1; the manuscript uses neither.

Recorded attempts

Evidence graph

Connected research record

Squarefree values of irreducible quartic polynomials, and (d-2)-power-free values in every degree d at least 4 — Mathematical Frontier Network