Abstract:For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$. We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$. In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.

Almost-prime values of polynomials at prime arguments

Quadratic polynomials at prime arguments

Primes Representable by Polynomials and the Lower Bound of the Least Primes in Arithmetic Progressions

On the frequency of primes preserving dynamical irreducibility of polynomials

Prime numbers and factorization of polynomials

Prime polynomials in short intervals and in arithmetic progressions

On the degree of polynomials computing square roots mod p

Prime values of $f(a,b^2)$ and $f(a,p^2)$, $f$ quadratic

Prime rational functions over a field

Rational points and prime values of polynomials in moderately many variables

Simultaneous Primitive Root Values Of Polynomials

Largest Prime Factors of Polynomials

Forms in prime variables and differing degrees

On the primitive divisors of quadratic polynomials

Almost primes of the form $[p^{1/γ}]$

Counting Irreducible Polynomials over Finite Fields

Functional degrees and arithmetic applications III: Beyond Prime Exponent

Prime values of reducible polynomials, II

Infinite families of irreducible polynomials over finite fields

A polynomial with a root mod $p$ for every $p$ has a real root

The Proportion of Irreducible p-adic Polynomials