3
$\begingroup$

Let $f(x)\in\mathbb{Z}[x]$ be a polynomial of degree $d$ and naive height (maximum of the absolute values of the coefficients) at most $H$. Is there anything known about the number of prime factors of the discriminant of $f$? Particularly upper bounds?

This question is similar, but more restrictive, in that it asks about palindromic polynomials and asks for the prime factors explicitly.

$\endgroup$
2
  • 1
    $\begingroup$ The answer depends on $f$ - are you asking for lower and upper bounds? I guess one expects the best lower bound for the number of prime factors is $1$ so the main question would be upper bounds. $\endgroup$
    – Will Sawin
    Commented Jul 15, 2023 at 2:30
  • $\begingroup$ @WillSawin upper bounds, yes. Basically I want to estimate how many such polynomials might fail Hensel’s lemma. $\endgroup$ Commented Jul 15, 2023 at 3:02

1 Answer 1

3
$\begingroup$

The discriminant is $O(H^{2(d-1)})$ so its number of prime factors is bounded by $$ (1 + o(1)) \frac{ \log (H^{2(d-1)})}{\log \log (H^{2(d-1)})} = (2(d-1) + o(1)) \frac{ \log H}{\log \log H}$$ by the asymptotics for primorials (a consequence of the prime number theorem).

This is not too far from optimal (in the worst case) since the for any set of primes whose product is less than $H$, we can choose a polynomial of height $\leq H$ whose discriminant is divisible for all those primes by the Chinese remainder theorem, and such a set of primes can have size $(1+o(1))\frac{\log H}{\log \log H}$ by the same primorial asymptotics, so the upper bound is sharp (in the worst case) to within a factor of $2(d-1)$.

However, based on your comments, you may be interested in the average case also. For each $p<H$, the fraction of polynomials for which $p$ divides the discriminant is approximately $\frac{1}{p}$, so the average number of prime factors of the discriminant less than $H$ is approximately $\sum_{p<H} \frac{1}{p} \approx \log \log H$, and the maximum number of prime factors of size $\geq H$ is $2(d-1)$ by the $O(H^{2(d-1)})$ bound for the discriminant, so the average number of prime factors is $\log \log H + O_d(1)$.

$\endgroup$
2
  • $\begingroup$ How do you get $O(H^{2(d-1)})$ bound for the discriminant? It seems like you are using that $\prod_{i\neq j} (\alpha_i-\alpha_j)$ is $O(1)$ which I don't see how to prove from that given hypothesis. $\endgroup$ Commented Jul 17, 2023 at 13:38
  • 2
    $\begingroup$ @SaliniMendisi The discriminant is a polynomial of degree $2(d-1)$ in the coefficients of the polynomial. $\endgroup$
    – Will Sawin
    Commented Jul 17, 2023 at 13:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .